Bases in Diagrammatic Quantum Protocols

This paper contains two new results:(i)We amend the notion of abstract basis in a dagger symmetric monoidal category, as well as its corresponding graphical representation, in order to accommodate non-self-dual dagger compact structures; this is crucial for obtaining a planar diagrammatical representation of the induced dagger compact structure as well as for representing many complementary bases within one diagrammatic calculus. (ii)We (crucially) rely on these basis structures in a purely diagrammatic derivation of the quantum state transfer protocol; this derivation provides interesting insights in the distinct structural resources required for state-transfer and teleportation as models of quantum computing.

[1]  Simon Perdrix.  Towards minimal resources of measurement-based quantum computation , 2007 .

[2]  Simon Perdrix,et al.  Unifying quantum computation with projective measurements only and one-way quantum computation , 2004, Other Conferences.

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

[4]  Scott Morrison,et al.  A diagrammatic category for the representation theory of ( Uqsln ) , 2007, 0704.1503.

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

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

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

[8]  Dominic R. Verity,et al.  Traced monoidal categories , 1996, Mathematical Proceedings of the Cambridge Philosophical Society.

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

[10]  Ian Mackie,et al.  Semantic Techniques in Quantum Computation , 2009 .

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

[12]  Ingo Runkel,et al.  TFT construction of RCFT correlators I: Partition functions , 2002, hep-th/0204148.

[13]  J. Cheney,et al.  A sequent calculus for nominal logic , 2004, LICS 2004.

[14]  Dusko Pavlovic.  Classical and Quantum Structures , 2008 .

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

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

[17]  B. Coecke.  Kindergarten Quantum Mechanics , 2005, quant-ph/0510032.

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

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

[20]  R. Jozsa.  An introduction to measurement based quantum computation , 2005, quant-ph/0508124.

[21]  Joachim Kock,et al.  Frobenius Algebras and 2-D Topological Quantum Field Theories , 2004 .

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