A graphical approach to measurement-based quantum computing

Quantum computations are easily represented in the graphical notation known as the ZX-calculus, a.k.a. the red-green calculus. We demonstrate its use in reasoning about measurement-based quantum computing, where the graphical syntax directly captures the structure of the entangled states used to represent computations, and show that the notion of information flow within the entangled states gives rise to rewriting strategies for proving the correctness of quantum programs.

[1]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[2]  E. Kashefi,et al.  Determinism in the one-way model , 2005, quant-ph/0506062.

[3]  Bill Edwards,et al.  Toy quantum categories , 2008, 0808.1037.

[4]  Elham Kashefi,et al.  The measurement calculus , 2004, JACM.

[5]  E. Kashefi,et al.  Generalized flow and determinism in measurement-based quantum computation , 2007, quant-ph/0702212.

[6]  Dusko Pavlovic,et al.  Quantum measurements without sums , 2007 .

[7]  Samson Abramsky,et al.  Introduction to Categories and Categorical Logic , 2011, ArXiv.

[8]  G. M. Kelly.  Many-variable functorial calculus. I. , 1972 .

[9]  Simon Perdrix,et al.  Rewriting Measurement-Based Quantum Computations with Generalised Flow , 2010, ICALP.

[10]  G. M. Kelly.  An abstract approach to coherence , 1972 .

[11]  P. Selinger.  A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.

[12]  B. Coecke,et al.  Categories for the practising physicist , 2009, 0905.3010.

[13]  J. Girard.  PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY , 1996 .

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

[15]  B. Coecke.  Quantum picturalism , 2009, 0908.1787.

[16]  I. Chuang,et al.  Quantum Teleportation is a Universal Computational Primitive , 1999, quant-ph/9908010.

[17]  Bob Coecke,et al.  Interacting Quantum Observables , 2008, ICALP.

[18]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[19]  H. Briegel,et al.  Measurement-based quantum computation , 2009, 0910.1116.

[20]  Simon Perdrix,et al.  Graph States and the Necessity of Euler Decomposition , 2009, CiE.

[21]  Bob Coecke,et al.  Interacting quantum observables: categorical algebra and diagrammatics , 2009, ArXiv.

[22]  Robert RAUßENDORF.  MEASUREMENT-BASED QUANTUM COMPUTATION WITH CLUSTER STATES , 2009 .

[23]  Aleks Kissinger,et al.  Open-graphs and monoidal theories† , 2010, Mathematical Structures in Computer Science.

[24]  Dusko Pavlovic,et al.  A new description of orthogonal bases , 2008, Mathematical Structures in Computer Science.

[25]  R. Raussendorf,et al.  Computational Model for the One‐Way Quantum Computer: Concepts and Summary , 2005 .

[26]  Bob Coecke,et al.  POVMs and Naimark's Theorem Without Sums , 2006, QPL.

[27]  B. Coecke,et al.  Classical and quantum structuralism , 2009, 0904.1997.

[28]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

[29]  Bill Edwards,et al.  Phase Groups and the Origin of Non-locality for Qubits , 2010, QPL@MFPS.

[30]  S. Braunstein,et al.  Impossibility of deleting an unknown quantum state. , 1999, Nature.

[31]  W. Wootters,et al.  A single quantum cannot be cloned , 1982, Nature.

[32]  Mehdi Mhalla,et al.  Finding Optimal Flows Efficiently , 2007, ICALP.

[33]  Raymond Laflamme,et al.  An Introduction to Quantum Computing , 2007, Quantum Inf. Comput..

[34]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and EPR channels , 1993 .

[35]  R. Blute,et al.  Natural deduction and coherence for weakly distributive categories , 1996 .

[36]  William Edwards,et al.  Non-locality in Categorical Quantum Mechanics , 2009 .

[37]  Ross Duncan,et al.  Types for quantum computing , 2006 .

[38]  N. Mermin.  Quantum Computer Science , 2007 .

[39]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[40]  Dominic Horsman,et al.  Quantum picturalism for topological cluster-state computing , 2011, 1101.4722.