The computational power of the W And GHZ States

It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their multipartite generalizations. However, in the multipartite case it is known that there are several inequivalent classes of states, such as those represented by the W-state and the GHZ-state. Our main contribution is a demonstration of the special computational power of these states in the context of paradigmatic problems from classical distributed computing. Concretely, we show that the W-state is the only pure state that can be used to exactly solve the problem of leader election in anonymous quantum networks. Similarly we show that the GHZ-state is the only one that can be used to solve the problem of distributed consensus when no classical post-processing is considered. These results generalize to a family of W- and GHZ-like states. At the heart of the proofs of these impossibility results lie symmetry arguments.

[1]  Gérard Le Lann,et al.  Distributed Systems - Towards a Formal Approach , 1977, IFIP Congress.

[2]  Charles H. Bennett,et al.  Exact and asymptotic measures of multipartite pure-state entanglement , 1999, Physical Review A.

[3]  R Raussendorf,et al.  A one-way quantum computer. , 2001, Physical review letters.

[4]  J. Cirac,et al.  Three qubits can be entangled in two inequivalent ways , 2000, quant-ph/0005115.

[5]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[6]  Keiji Matsumoto,et al.  Exact Quantum Algorithms for the Leader Election Problem , 2005, STACS.

[7]  H. Briegel,et al.  Persistent entanglement in arrays of interacting particles. , 2000, Physical review letters.

[8]  I. Chuang,et al.  Quantum Computation and Quantum Information: Bibliography , 2010 .

[9]  Sudebkumar Prasant Pal,et al.  Multi-partite Quantum Entanglement versus Randomization: Fair and Unbiased Leader Election in Networks , 2003, quant-ph/0306195.

[10]  Gerard Tel,et al.  Introduction to Distributed Algorithms: Contents , 2000 .

[11]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1985, JACM.

[12]  Alon Itai,et al.  Symmetry breaking in distributed networks , 1990, Inf. Comput..

[13]  Dana Angluin,et al.  Local and global properties in networks of processors (Extended Abstract) , 1980, STOC '80.

[14]  Catuscia Palamidessi,et al.  Comparing the expressive power of the synchronous and asynchronous $pi$-calculi , 2003, Mathematical Structures in Computer Science.