Quantum picturalism

Contemporary Physics

Volumn 51, Issue 1, 2010, Pages 59-83

  Coecke, Bob ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Axiomatic quantum theory; Diagrammatic reasoning; Monoidal categories and linear logic; Quantum foundations; Quantum information and computation

Indexed keywords

EID: 77449106940     PISSN: 00107514     EISSN: 13665812     Source Type: Journal    
DOI: 10.1080/00107510903257624     Document Type: Article

References (76)

1. J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Springer-Verlag, Berlin, 1932.
2. G. Birkhoff, von Neumann and lattice theory, Bull. Am. Math. Soc. 64 (1958), pp. 50-56.
3. M. Redei, Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead), Stud. Hist. Phil. Mod. Phys. 27 (1997), pp. 493-510.
4. G. Birkhoff and J. von Neumann, The logic of quantum mechanics, Ann. Math. 37 (1936), pp. 823-843.
5. B. Coecke, D.J. Moore, and A. Wilce, Operational quantum logic: an overview, in Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Springer, Berlin, 2000, pp. 1-36 [arXiv: quant-ph/0008019].
6. J. Bub, Interpreting the Quantum World, Cambridge University Press, Cambridge, 1997.
7. A. Peres, Interpreting the quantum world, Stud. Hist. Phil. Mod. Phys. 29 (1998), p. 611 [arXiv:quant-ph/9711003].
8. C.H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W.K. Wooters, Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels, Phys. Rev. Lett. 70 (1993), pp. 1895-1899.
9. A. Ekert, Quantum cryptography based on Bell's theorem, Phys. Rev. Lett. 67 (1991), pp. 661-663.
10. http://en.wikipedia.org/wiki/Quantum cryptography.
11. E. Schrödinger, Discussion of probability relations between separated systems, Proc. Cam. Phil. Soc. 31 (1935), pp. 555-563.
12. http://en.wikipedia.org/wiki/Sequent calculus
13. J.-Y. Girard, Linear logic, Theor. Comp. Sc. 50 (1987), pp. 1-102. See also http://en.wikipedia.org/wiki/Linearlogic
14. D.G.B.J. Dieks, Communication by EPR devices, Phys. Lett. A 92 (1982), pp. 271-272.
15. W. Wootters and W. Zurek, A single quantum cannot be cloned, Nature 299 (1982), pp. 802-803.
16. http://en.wikipedia.org/wiki/No cloning theorem
17. A.K. Pati and S.L. Braunstein, Impossibility of deleting an unknown quantum state, Nature 404 (2000), pp. 164-165.
18. V. Danos and L. Reignier, The structure of multiplicatives, Arch. Math. Logic 28 (1989), pp. 181-203.
19. R.W. Duncan, Types for Quantum Computing, D.Phil. thesis, University of Oxford, 2006.
20. S. Eilenberg and S. MacLane, General theory of natural equivalences, Trans. Am. Math. Soc. 58 (1945), pp. 231-294.
21. B. Coecke, Introducing categories to the practicing physicist, in What is Category Theory? Advanced Studies in Mathematics and Logic 30, Polimetrica Publishing, Milan, 2006, pp. 45-74.
22. J.C. Baez, Quantum quandaries: a category-theoretic perspective, in The Structural Foundations of Quantum Gravity, D. Rickles, S. French, and J.T. Saatsi, eds., Oxford University Press, 2006, pp. 240-266 [arXiv: quant-ph/0404040].
23. B. Coecke and E.O. Paquette, Categories for the practising physicist, in New Structures for Physics, B. Coecke, ed., Springer Lecture Notes in Physics, Springer, Berlin, 2009 [arXiv:0905.3010].
24. J. Baez and M. Stay, Physics, topology, logic and computation: a Rosetta Stone, in New Structures for Physics, B. Coecke, ed., Springer Lecture Notes in Physics, Springer, Berlin, 2009.
25. S. Abramsky and N. Tzevelekos, Introduction to categories and categorical logic, in New Structures for Physics, B. Coecke, ed., Springer Lecture Notes in Physics, Springer, Berlin, 2009.
26. P. Selinger, A survey of graphical languages for monoidal categories, in New Structures for Physics, B. Coecke, ed., Springer Lecture Notes in Physics, Springer, Berlin, 2009.
27. F.W. Lawvere and S.H. Schanuel, Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge, 1997.
28. S. MacLane, Categories for the Working Mathematician, 2nd ed., Springer-Verlag, Berlin, 1998.
29. B. Coecke, The logic of entanglement, Research Report PRG-RR-03-12, 2003, arXiv:quant-ph/0402014 (8 page short version), http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-03-12.html (full 160 page version).
30. D. Gottesman and I.L. Chuang, Quantum teleportation is a universal computational primitive, Nature 402 (1999), pp. 390-393 [arXiv:quant-ph/9908010].
31. M.Zukowski, A. Zeilinger, M.A. Horne, and A.K. Ekert, 'Event-ready-detectors' Bell experiment via entanglement swapping, Phys. Rev. Lett. 71 (1993), pp. 4287-4290.
32. M. Laforest, J. Baugh, and R. Laflamme, Time-reversal formalism applied to maximal bipartite entanglement: theoretical and experimental exploration, Phys. Rev. A 73 (2006),032323 [arXiv:quant-ph/0510048].
33. J. Bénabou, Categories avec multiplication, Compt. Rend. Séanc. Acad Sci. Paris 256 (1963), pp. 1887-1890.
34. R. Haag, Local Quantum Physics: Fields, Particles, Algebras, Springer-Verlag, Berlin, 1992.
35. A. Joyal and R. Street, The geometry of tensor calculus I, Adv. Math. 88 (1991), pp. 55-112.
36. S. Abramsky and B. Coecke, A categorical semantics of quantum protocols, in Proceedings of 19th IEEE Conference on Logic in Computer Science, IEEE Press, Piscataway, NJ, 2004, pp. 415-425 [arXiv:quant-ph/0402130].
37. P. Selinger, Dagger compact closed categories and completely positive maps, ENTCS 170 (2007), pp. 139-163.
38. B. Coecke, Complete positivity without positivity and without compactness, Research Report PRG-RR-07-05, 2007, http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-07-05.html
39. A. Joyal, R. Street, and D. Verity, Traced monoidal categories, Proc. Camb. Phil. Soc. 119 (1996), pp. 447-468.
40. B. Coecke, E.O. Paquette, and S. Perdrix, Bases in diagrammatic quantum protocols, ENTCS 218 (2008), pp. 131-152 [arXiv:0808.1037].
41. G.M. Kelly and M.L. Laplaza, Coherence for compact closed categories, J. Pure Appl. Alg. 19 (1980), pp. 193-213.
42. M. Hasegawa, M. Hofmann, and G. Plotkin, Finite dimensional vector spaces are complete for traced symmetric monoidal categories, LNCS 4800, 2008, pp. 367-385.
43. P. Selinger, Finite dimensional Hilbert spaces are complete for dagger compact closed categories, Proceedings of the 5th International Workshop on Quantum Physics and Logic, Reykjavik, Iceland, 2008.
44. S. Abramsky. No-cloning in categorical quantum mechanics, in Semantic Techniques for Quantum Computation, I. Mackie, and S. Gay, eds., Cambridge University Press, Cambridge, 2009, to appear. Available at http://www.cambridge.org/uk/catalogue.asp?isbn1/49780521513746.
45. B. Coecke and D. Pavlovic, Quantum measurements without sums, in Mathematics of Quantum Computing and Technology, G. Chen, L. Kauffman, and S. Lamonaco, eds., Taylor and Francis, Abingdon, 2007, pp. 567-604 [arXiv:quant-ph/0608035].
46. B. Coecke, D. Pavlovic, and J. Vicary, A new description of orthogonal bases, arXiv:0810.0812, 2008.
47. B. Coecke and E.O. Paquette, POVMs and Naimark's theorem without sums, ENTCS 210 (2008), pp. 15-31. arXiv:quant-ph/0608072.
48. A. Carboni and R.F.C. Walters, Cartesian bicategories I, J. Pure Appl. Alg. 49 (1987), pp. 11-32.
49. S. Lack, Composing PROPs, Theor. Appl. Cat. 13 (2004), pp. 147-163.
50. B. Coecke, E.O. Paquette, and D. Pavlovic, Classical and quantum structuralism, in Semantic Techniques for Quantum Computation, I. Mackie, and S. Gay, eds., Cambridge University Press, Cambridge, 2009 [arXiv:0904.1997].
51. B. Coecke and R. W. Duncan, Interacting quantum observables, in Proceedings of the 35th International Colloquium on Automata, Languages and Programming, LNCS 5126, Springer, Berlin, 2008 pp. 298-310 [extended version: arXiv:0906.4725].
52. K. Kraus, Complementary observables and uncertainty relations, Phys. Rev. D 35 (1987), pp. 3070-3075.
53. J. Schwinger, Unitary operator bases, Proc. Nat. Acad. Sci. USA 46 (1960), pp. 570-579.
54. W. Dür, G. Vidal, and J.I. Cirac, Three qubits can be entangled in two inequivalent ways, Phys. Rev. A 62 (2000), 062314.
55. M.A. Nielsen and L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, 2000.
56. R. Duncan and S. Perdrix, Graphs States and the necessity of Euler Decomposition, arXiv:0902.0500, 2009.
57. R. Raussendorf, D.E. Browne, and H.-J. Briegel, Measurement based quantum computation on cluster states, Phys. Rev. A 68 (2003), 022312 [arXiv:quant-ph/ 0301052].
58. B. Coecke, B. Edwards, and R. Spekkens, The group theoretic origin of non-locality for qubits, web.comlab. ox.ac.uk/publications/publication3026-abstract.html
59. A. Einstein, B. Podolsky, and N. Rosen, Can quantummechanical description of physical reality be considered complete? Phys. Rev. 47 (1935), pp. 777-780.
60. J. Bell, On the Einstein Podolsky Rosen paradox, Physics 1 (1964), p. 195.
61. A. Aspect, J. Dalibard, and G. Roger, Experimental test of Bell's inequalities using time-varying analyzers, Phys. Rev. Lett. 49 (1982), pp. 1804-1807.
62. D.M. Greenberger, M.A. Horne, A. Shimony, and A. Zeilinger, Bell's theorem without inequalities, Am. J. Phys. 58 (1990), pp. 1131-1143.
63. R. Spekkens, Evidence for the epistemic view of quantum states: a toy theory, Phys. Rev. A 75 (2007), 032110.
64. B. Coecke and B. Edwards, Toy quantum categories, arXiv:0808.1037, 2008.
65. G. Svetlichny, Tensor universality, quantum information flow, Coecke's theorem, and generalizations, unpublished [arXiv:quant-ph/0601093].
66. B. Coecke, Kindergarten quantum mechanics, in Quantum Theory: Reconsiderations of the Foundations III, AIP Press, New York, 2005, pp. 81-98 [arXiv:quant-ph/0510032].
67. R. Penrose, Applications of negative dimensional tensor calculus, in Combinatorial Mathematics and its Applications, Academic Press, New York, 1971, pp. 221-244.
68. J.C. Baez and J. Dolan, Higher-dimensional algebra and topological quantum field theory, J. Math. Phys. 36 (1995), pp. 6073-6105 [arXiv:q-alg/9503002].
69. G. Kuperberg, Spiders for rank 2 Lie algebras, Comm. Math. Phys. 180 (1996), pp. 109-115 [arXiv:q-alg/9712003].
70. J. Fuchs, I. Runkel, and C. Schweigert, TFT construction of RCFT correlators I: Partition Functions, Nuc. Phys. B. 646 (2002), pp. 353-497 [arXiv:hep-th/0204148].
71. S.E. Morrison, A diagrammatic category for the representation theory of Uq(sln), Ph.D. thesis, University of California at Berkeley, 2007.
72. J.C. Baez, This weeks finds in mathematical physics 1-256, (1993-2009). http://www.math.ucr.edu/home/baez/TWF.html - see also the n-category cafe: http://golem.ph.utexas.edu/category/
73. L. Dixon, R.W. Duncan, and A. Kissinger. http://dream.inf.ed.ac.uk/projects/quantomatic/
74. B. Coecke, De-linearizing linearity: projective quantum axiomatics from strong compact closure, ENTCS 170 (2007), pp. 47-72 [arXiv:quant-ph/0506134].
75. M. Atiyah, Topological quantum field theories, Inst. Hautes Éudes Sci. Publ. Math. 68 (1989), pp. 175-186.
76. J. Kock, Frobenius Algebras and 2D Topological Quantum Field Theories, Cambridge University Press, Cambridge, 2003.