Environment and Classical Channels in Categorical Quantum Mechanics

We present a both simple and comprehensive graphical calculus for quantum computing. In particular, we axiomatize the notion of an environment, which together with the earlier introduced axiomatic notion of classical structure enables us to define classical channels, quantum measurements and classical control. If we moreover adjoin the earlier introduced axiomatic notion of complementarity, we obtain sufficient structural power for constructive representation and correctness derivation of typical quantum informatic protocols.

[1]  A. Carboni,et al.  Cartesian bicategories I , 1987 .

[2]  Noson S. Yanofsky,et al.  Quantum Computing for Computer Scientists , 2008 .

[3]  Peter Selinger,et al.  Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.

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

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

[6]  G. D’Ariano,et al.  Probabilistic theories with purification , 2009, 0908.1583.

[7]  Peter Selinger,et al.  Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) , 2011, QPL/DCM@ICALP.

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

[9]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[10]  Ekert,et al.  Quantum cryptography based on Bell's theorem. , 1991, Physical review letters.

[11]  Bob Coecke,et al.  Axiomatic Description of Mixed States From Selinger's CPM-construction , 2008, QPL.

[12]  Bob Coecke,et al.  De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure , 2005, QPL.

[13]  G. D’Ariano,et al.  Informational derivation of quantum theory , 2010, 1011.6451.

[14]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, LICS 2004.

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

[16]  Simon Perdrix,et al.  Bases in Diagrammatic Quantum Protocols , 2008, MFPS.

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

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

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

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

[21]  S. Abramsky.  No-Cloning In Categorical Quantum Mechanics , 2009, 0910.2401.

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

[23]  Samson Abramsky,et al.  Categorical quantum mechanics , 2008, 0808.1023.

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

[25]  Yongjun Wang,et al.  Graphical Calculus for Quantum Key Distribution (Extended Abstract) , 2011, Electron. Notes Theor. Comput. Sci..

[26]  A. Joyal,et al.  The geometry of tensor calculus, I , 1991 .

[27]  Aleks Kissinger,et al.  The Compositional Structure of Multipartite Quantum Entanglement , 2010, ICALP.

[28]  J. Paz,et al.  Course 8: Environment-Induced Decoherence and the Transition from Quantum to Classical , 2000, quant-ph/0010011.

[29]  Simon Perdrix.  STATE TRANSFER INSTEAD OF TELEPORTATION IN MEASUREMENT-BASED QUANTUM COMPUTATION , 2005 .

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

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

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

[33]  D. Dieks.  Communication by EPR devices , 1982 .

[34]  Schumacher,et al.  Noncommuting mixed states cannot be broadcast. , 1995, Physical review letters.

[35]  Charles H. Bennett,et al.  Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states. , 1992, Physical review letters.

[36]  Samson Abramsky,et al.  Abstract Physical Traces , 2009, ArXiv.