A categorical semantics of quantum protocols

S. Abramsky B. Coecke 2004 A categorical semantics of quantum protocols Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on 415 – 425 10.1109/LICS.2004.1319636 C. Bennett 1992 Quantum cryptography using any two nonorthogonal states Physical Review Letters 68 21 3121–3124 10.1103/PhysRevLett.68.3121 C. Bennett G. Brassard 1984 Quantum cryptography: Public key distribution and coin tossing 175–179 175 Bangalore, India 10.1016/j.tcs.2011.08.039 http://www.cs.ucsb.edu/~chong/290N-W06/BB84.pdf C. Bennett G. Brassard N. Mermin 1992 Quantum cryptography without Bell's theorem Physical Review Letters 68 5 557–559 10.1103/PhysRevLett.68.557 C. Bennett S. Wiesner 1992 Communication via one- and two-particle operators on Einstein-Podolsky-łinebreak Rosen states Phys. Rev. Lett. 69 20 2881–2884 10.1103/PhysRevLett.69.2881 D. Bruss A. Ekert S. F. Huelga J.-W. Pan A. Zeilinger 1997 Quantum Computing with Controlled-Not and Few Qubits 355 The Royal Society 10.1098/rsta.1997.0124 http://www.jstor.org/stable/54931 J. L. Cereceda 2001 Quantum Dense coding using three qubits ArXiv Quantum Physics e-prints http://arxiv.org/abs/quant-ph/0105096 R. Cleve D. Gottesman H.-K. Lo 1999 How to share a quantum secret Physical Review Letters 83 648–651 10.1103/PhysRevLett.83.648 http://link.aps.org/doi/10.1103/PhysRevLett.83.648 B. Coecke 2006 Kindergarten Quantum Mechanics: Lecture Notes AIP Conference Proceedings 810 1 81–98 10.1063/1.2158713 http://link.aip.org/link/?APC/810/81/1 B. Coecke 2010 Quantum Picturalism Contemporary Physics 51 59–83 http://arxiv.org/abs/0908.1787 B. Coecke R. Duncan 2011 Interacting quantum observables: categorical algebra and diagrammatics New Journal of Physics 13 4 043016 10.1088/1367-2630/13/4/043016 http://stacks.iop.org/1367-2630/13/i=4/a=043016 B. Coecke B. Edwards 2010 Three qubit entanglement within graphical Z/X-calculus HPC 22–33 http://arxiv.org/abs/1103.2811 B. Coecke S. Perdrix 2010 Environment and classical channels in categorical quantum mechanics Proceedings of the 24th international conference/19th annual conference on Computer science logic CSL'10/EACSL'10 Springer-Verlag 230–240 10.1007/978-3-642-15205-4 20 http://arxiv.org/abs/1004.1598 F.-G. Deng X.-H. Li C.-Y. Li P. Zhou H.-Y. Zhou 2005 Multiparty quantum-state sharing of an arbitrary two-particle state with Einstein-Podolsky-Rosen pairs Physical Review A 72 4 044301 10.1103/PhysRevA.72.044301 W. Dür G. Vidal J. I. Cirac 2000 Three qubits can be entangled in two inequivalent ways Physical Review A 62 6 062314 10.1103/PhysRevA.62.062314 A. Ekert 1991 Quantum cryptography based on Bell's theorem Physical Review Letters 67 6 661–663 10.1103/PhysRevLett.67.661 V. N. Gorbachev A. I. Trubilko A. I. Zhiliba E. S. Yakovleva 2000 Teleportation of entangled states and dense coding using a multiparticle quantum channel Technical Report http://arxiv.org/abs/quant-ph/0011124 A. M. Hillebrand 2011 Quantum Protocols involving Multiparticle Entanglement and their Representationsłinebreak in the ZX-calculus University of Oxford http://www.cs.ox.ac.uk/people/bob.coecke/Anne.pdf H. Imai J. Mueller-Quade A. C. A. Nascimento P. Tuyls A. Winter 2003 A Quantum Information Theoretical Model for Quantum Secret Sharing Schemes ArXiv Quantum Physics e-prints http://arxiv.org/abs/quant-ph/0311136 T. Jennewein C. Simon G. Weihs H. Weinfurter A. Zeilinger 2000 Quantum Cryptography with Entangled Photons Physical Review Letters 84 20 4729–4732 10.1103/PhysRevLett.84.4729 J. Joo J. Lee J. Jang Y.-J. Park 2002 Quantum secure Communication via W states ArXiv Quantum Physics e-prints http://arxiv.org/abs/quant-ph/0204003 A. Joyal R. Street 1991 The geometry of tensor calculus, I Advances in Mathematics 88 1 55 – 112 10.1016/0001-8708(91)90003-P http://www.sciencedirect.com/science/article/pii/000187089190003P A. Kissinger 2009 Exploring a Quantum Theory with Graph Rewriting and Computer Algebra J. Carette L. Dixon C. Coen S. Watt Intelligent Computer Mathematics Lecture Notes in Computer Science 5625 Springer Berlin / Heidelberg 90–105 10.1007/978-3-642-02614-0_12 A. Kissinger A. Merry B. Frot L. Dixon M. Soloviev R. Duncan 2008-present Quantomatic http://sites.google.com/site/quantomatic/home H.-K. Lo X. Ma K. Chen 2005 Decoy State Quantum Key Distribution Physical Review Letters 94 23 10.1103/PhysRevLett.94.230504 A. Nascimento J. Mueller-Quade H. Ima 2001 Improving quantum secret-sharing schemes Physical Review A 64 10.1103/PhysRevA.64.042311 R. Penrose 1971 Application of negative dimensional tensors. Combinatorial Mathematics and its Applications 221–244. http://www.math.uic.edu/~kauffman/Penrose.pdf K. Rietjens 2004 Quantum Secret Sharing Schemes Technische Universiteit Eindhoven www.win.tue.nl/~henkvt/images/VerslagKarinRietjens.pdf P. Selinger 2007 Dagger Compact Closed Categories and Completely Positive Maps Electronic Notes in Theoretical Computer Science (ENTCS) 170 139–163 10.1016/j.entcs.2006.12.018 http://portal.acm.org/citation.cfm?id=1229185.1229207 S. Singh R. Srikanth 2005 Generalized quantum secret sharing Phys. Rev. A 71 10.1103/PhysRevA.71.012328 http://link.aps.org/doi/10.1103/PhysRevA.71.012328 C. Wang F. Deng G. Long 2005 Multi-step quantum secure direct communication using multi-particlełinebreak Green-Horne-Zeilinger state Optics Communications 253 1-3 15 – 20 10.1016/j.optcom.2005.04.048 http://www.sciencedirect.com/science/article/pii/S0030401805003949