Phase groups and the origin of non-locality for qubits

Electronic Notes in Theoretical Computer Science

Volumn 270, Issue 2, 2011, Pages 15-36

  Coecke, Bob ^a,b   Edwards, Bill ^a,b   Spekkens, Robert W ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b PERIMETER INSTITUTE FOR THEORETICAL PHYSICS   (Canada)

Author keywords

GHZ correlation; Phase group; qubit stabilizer state; Spekkens toy theory; stabilizer theory

Indexed keywords

GHZ CORRELATION; PHASE GROUP; QUBIT STABILIZER STATE; SPEKKENS TOY THEORY; STABILIZER THEORY;

QUANTUM ENTANGLEMENT;

EID: 79751474072     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2011.01.021     Document Type: Conference Paper

References (27)

1. S. Abramsky, and B. Coecke A categorical semantics of quantum protocols Proceedings of 19th IEEE conference on Logic in Computer Science 2004 IEEE Press 415 425 arXiv:quant-ph/0402130
2. Revised version Categorical quantum mechanics K. Engesser, D.M. Gabbay, D. Lehmann, Handbook of Quantum Logic and Quantum Structures 2009 Elsevier 261 323 arXiv:0808.1023
3. S. Abramsky, and N. Tzevelekos Introduction to categories and categorical logic B. Coecke, New Structures for Physics Lecture Notes in Physics 2009 Springer-Verlag 3 89
4. J. Baez, and M. Stay Physics, topology, logic and computation: a Rosetta Stone B. Coecke, New Structures for Physics Lecture Notes in Physics 2009 Springer-Verlag 91 166 arXiv:0903.0340
5. H. Barnum, J. Barrett, M. Leifer and A. Wilce, Teleportation in general probabilistic theories, in Proceedings of the Clifford Lectures, Tulane University, March 12-15, 2008, to appear in Proceedings of Symposia in Applied Mathematics (AMS); also arXiv:0805.3553 (2008).
6. J. Barrett Information processing in generalized probabilistic theories Physical Review A 75 2007 032304
7. B. Coecke Introducing categories to the practicing physicist What is Category Theory? Advanced Studies in Mathematics and Logic 30 2006 Polimetrica Publishing 45 74 arXiv:0808.1032
8. B. Coecke De-linearizing linearity: projective quantum axiomatics from strong compact closure Electronic Notes in Theoretical Computer Science 170 2007 47 72 arXiv:quant-ph/0506134
9. B. Coecke, and R.W. Duncan Interacting quantum observables Proceedings of the 35th International Colloquium on Automata, Languages and Programming Lecture Notes in Computer Science 5126 2008 Springer-Verlag 298 310 Extended version: arXiv:0906.4725
10. B. Coecke and B. Edwards (2008) Toy quantum categories. Electronic Notes in Theoretical Computer Science, to appear. arXiv:0808.1037.
11. B. Coecke, and E.O. Paquette POVMs and Naimark's theorem without sums Electronic Notes in Theoretical Computer Science 210 2006 131 152 arXiv:quant-ph/0608072
12. B. Coecke, and E.O. Paquette Categories for the practicing physicist B. Coecke, New Structures for Physics Lecture Notes in Physics 2009 Springer-Verlag 167 271 arXiv:0905.3010
13. B. Coecke, and D. Pavlovic Quantum measurements without sums G. Chen, L. Kauffman, S. Lamonaco, Mathematics of Quantum Computing and Technology 2007 Taylor and Francis 567 604 arXiv:quant-ph/0608035
14. B. Coecke, D. Pavlovic, and J. Vicary A new description of orthogonal bases arXiv:0810.0812 2008
15. D.M. Greenberger, M.A. Horne, A. Shimony, and A. Zeilinger Bell's theorem without inequalities American Journal of Physics 58 1990 1131 1143
16. A. Joyal, and R. Street The Geometry of tensor calculus I Advances in Mathematics 88 1991 55 112
17. G.M. Kelly, and M.L. Laplaza Coherence for compact closed categories Journal of Pure and Applied Algebra 19 1980 193 213
18. J. Kock Frobenius Algebras and 2D Topological Quantum Field Theories 2003 Cambridge University Press
19. S. Lack Composing PROPs Theory and Applications of Categories 13 2004 147 163 (Pubitemid 43678207)
20. S. MacLane Categories for the Working Mathematician 2nd edition 1998 Springer-Verlag
21. N.D. Mermin Quantum mysteries revisited American Journal of Physics 58 1990 731 734
22. D. Pavlovic Quantum and classical structures in nondeterministic computation Lecture Notes in Computer Science 5494 2008 Springer 143 157 arXiv:0812.2266
23. R. Penrose Applications of negative dimensional tensors Combinatorial Mathematics and its Applications 1971 Academic Press 221 244
24. P. Selinger Dagger compact categories and completely positive maps Electronic Notes in Theoretical Computer Science 170 2007 139 163
25. P. Selinger A survey of graphical languages for monoidal categories B. Coecke, New Structures for Physics Lecture Notes in Physics 2009 Springer-Verlag 275 337 arXiv:0908.3347
26. R.W. Spekkens Evidence for the epistemic view of quantum states: A toy theory Physical Review A 75 2007 032110 arXiv:quant-ph/0401052
27. R.W. Spekkens and O. Schreiber (2008) The power of epistemic restrictions in axiomatizing quantum theory: from trits to qutrits. Talk, July 17, University of Oxford. categorieslogicphysics.wikidot.com/people#robspekkens.