Higher Semantics of Quantum Protocols

We propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the resulting framework. This 2-categorical semantics has a graphical calculus, the diagrams of which correspond exactly to physically-implementable quantum procedures. Quantum teleportation in its most general sense is reformulated as the ability to remove correlations between a quantum system and its environment, and is represented by an elegant graphical identity. We use this new formalism to describe two new families of quantum protocols.

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

[2]  Simon Perdrix,et al.  Environment and Classical Channels in Categorical Quantum Mechanics , 2010, CSL.

[3]  Samson Abramsky,et al.  Temperley−Lieb algebra: From knot theory to logic and computation via quantum mechanics , 2009, 0910.2737.

[4]  J. Baez,et al.  Physics, Topology, Logic and Computation: , 2009 .

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

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

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

[8]  Samson Abramsky,et al.  Physics from Computer Science: a Position Statement , 2007, Int. J. Unconv. Comput..

[9]  M. Schlosshauer.  Decoherence, the measurement problem, and interpretations of quantum mechanics , 2003, quant-ph/0312059.

[10]  John C. Baez.  Higher-Dimensional Algebra II. 2-Hilbert Spaces☆ , 1996 .

[11]  Aaron D. Lauda.  FROBENIUS ALGEBRAS AND AMBIDEXTROUS ADJUNCTIONS , 2005 .

[12]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

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

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

[15]  Aaron D. Lauda,et al.  A Prehistory of n-Categorical Physics , 2009, 0908.2469.

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

[17]  John C. Baez,et al.  Physics, Topology, Logic and Computation: A Rosetta Stone , 2009, 0903.0340.

[18]  Bob Coecke,et al.  The Logic of Entanglement , 2004, Horizons of the Mind.

[19]  Dov M. Gabbay,et al.  Handbook of Quantum logic and Quantum Structures , 2007 .

[20]  S. Lack.  A 2-Categories Companion , 2007, math/0702535.