Categorical Quantum Mechanics

Handbook of Quantum Logic and Quantum Structures: Quantum Logic

Volumn , Issue , 2008, Pages 261-323

  Abramsky, Samson ^a   Coecke, Bob ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85133842433     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-444-52869-8.50010-4     Document Type: Chapter

References (104)

1. Abramsky S. Retracing some paths in process algebra. Proceedings of CONCUR 96, Lectures Notes in Computer Science Volume 1119 1996, 1-17. Springer-Verlag.
2. S. Abramsky. High-level methods for quantum computation and information. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Science Press, 2004.
3. S. Abramsky. Abstract scalars, loops, and free traced and strongly compact closed categories. In: Proceedings of CALCO 2005, pages 1-31. Springer Lecture Notes in Computer Science 3629, 2005.
4. Abramsky S. Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics. Mathematics of Quantum Computing and Technology 2007, 415l458. Taylor and Francis. G. Chen, L. Kau. man, S. Lamonaco (Eds.).
5. Abramsky S., Blute R., Panangaden P. Nuclear and trace ideals in tensored categories. Journal of Pure and Applied Algebra 1999, 143:3-47.
6. S. Abramsky and B. Coecke. Physical traces: Quantum vs. classical information processing. Electronic Notes in Theoretical Computer Science 69. arXiv:cs/0207057, 2003.
7. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In: Proceedings of 19th IEEE conference on Logic in Computer Science, pages 415-425. IEEE Press. arXiv:quant-ph/0402130, 2004.
8. Abramsky S., Coecke B. Abstract physical traces. Theory and Applications of Categories 14, 111-124 http://www.tac.mta.ca/tac/volumes/14/6/14-06abs.html.
9. Abramsky S., Duncan R.W. A categorical quantum logic. Mathematical Structures in Computer Science 2006, 16:469-489. arXiv:quant-ph/0512114.
10. Abramsky S., Gay S.J., Nagarajan R. Interaction categories and the foundations of typed concurrent programming. Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, NATO Advanced Science Institutes Series F 1995, 35-113. Springer-Verlag.
11. Abramsky S., Tzevelekos N. Introduction to categories and categorical logic. New Structures for Physics 2008, Springer lecture Notes in Physics. B. Coecke (Ed.).
12. Atiyah M.F. Topological quantum field theory. Publications Mathématiques de l'IHES 1998, 68:175-186.
13. Baez J.C. Quantum quandaries: a category-theoretic perspective. The Structural Foundations of Quantum Gravity 2006, 240-266. Oxford University Press, arXiv:quant-ph/0404040. D. Rickles, S. French, J.T. Saatsi (Eds.).
14. Baez J.C., Dolan J. Higher-dimensional algebra and topological quantum field theory. Journal of Mathematical Physics 1995, 36:60736105. arXiv:q-alg/9503002, 1995.
15. Baez J.C., Stay M. Physics, topology, logic and computation: A Rosetta Stone. New Structures for Physics 2008, Springer lecture Notes in Physics, (2008). B. Coecke (Ed.).
16. Barendregt H. The Lambda Calculus: Revised Edition 1984, Elsevier.
17. Barnum H., Caves C.M., Fuchs C.A., Jozsa R., Schumacher B. Noncommuting mixed states cannot be broadcast. Physical Review Letters 1996, 76:2818-2821.
18. Barr M. Autonomous Categories. Lecture Notes in Mathematics 752 1979, Springer.
19. Bell J.S. On the Einstein Podolsky Rosen paradox. Physics 1 1964, 195.
20. Bennett C.H., rassard G., Crépeau C., Jozsa R., Peres A., Wooters W.K. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters 1993, 70:1895-1899.
21. Birkhoff G., von Neumann J. The logic of quantum mechanics. Annals of Mathematics 1936, 37:823-843.
22. The Physics of Quantum Information 2001, Springer-Verlag. D. Bouwmeester, A. Ekert, A. Zeilinger (Eds.).
23. Carboni A., Walters R.F.C. Cartesian bicategories I. Journal of Pure and Applied Algebra 1987, 49:11-32.
24. Clarke E.M. O. Grumberg and D. Peled. Model Checking 1999, Springer.
25. Cockett R., Seely R.A.G. Weakly distributive categories. Journal of Pure and Applied Algebra 1997, 114:85-131.
26. B. Coecke. The logic of entanglement. An invitation. Technical Report PRG-RR-03-12. web.comlab.ox.ac.uk/oucl/publications/tr/rr-03-12.html, 2003.
27. B. Coecke. The logic of entanglement. arXiv:quant-ph/0402014, 2004.
28. Coecke B. Complete positivity without positivity and without compactness. Oxford University Computing Laboratory Research Report PRG-RR-07-05, 2007 http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-07-05.html.
29. Coecke B. De-linearizing linearity: projective quantum axiomatics from strong compact closure. Electronic Notes in Theoretical Computer Science 2007, 170:47-72. arXiv:quant-ph/0506134.
30. B. Coecke. Axiomatic description of mixed states from Selinger's CPM-construction. Proceedings of QPL'06. Electronic Notes in Theoretical Computer Science (to appear, 2008).
31. B. Coecke and R.W. Duncan. Interacting quantum observables. In: Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP), pages 298-310, Lecture Notes in Computer Science 5126, Springer-Verlag, 2008.
32. B. Coecke and W.A. Edwards. Toy quantum categories. In: Proc. Quantum Physics and Logic/Development of Computational Models (QPL-DCM). Electronic Notes in Theoretical Computer Science, to appear 2008.
33. B. Coecke and E.O. Paquette. POVMs and Naimark's theorem without sums. Electronic Notes in Theoretical Computer Science (To appear). arXiv:quantph/0608072, 2006.
34. Coecke B., Paquette E.O. Categories for the practising physicist. New Structures for Physics 2008, Springer lecture Notes in Physics. B. Coecke (Ed.).
35. B. Coecke, E. O. Paquette and S. Perdrix. Bases in diagramatic quantum protocols. In: Proc. Mathematical Foundations for Programming Semantics XXIV, to appear, 2008.
36. Coecke B., Pavlovic D. Quantum measurements without sums. Mathematics of Quantum Computing and Technology 2007, 567-604. Taylor and Francis, arXiv:quant-ph/0608035. G. Chen, L. Kauffman, S. Lamonaco (Eds.).
37. Coecke B., Pavlovic D., Vicary J. Commutative †-Frobenius algebras in FdHilb are bases. New Structures for Physics 2008, Springer Lecture Notes in Physics. B. Coecke (Ed.).
38. L. Crane. Categorical geometry and the mathematical foundations of quantum general relativity, 2006. arXiv:gr-qc/0602120v.
39. Danos V., Kashe E., Panangaden P. The Measurement Calculus. Journal of the ACM 2007, 54. arXiv:quant-ph/0412135.
40. P. Deligne. Catégories tannakiennes. In: The Grothendieck Festschrift Volume II, Progress in Mathematics 87, pages 111-196. Birkhäuser, 1990.
41. Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences 1985, 400:97-117.
42. Deutsch D. Quantum computational networks. Proceedings of the Royal Society of London, Series A. Mathematical and Physical Sciences 1989, 425:73-90.
43. Dieks D.G.B.J. Communication by EPR devices. Physics Letters A 1982, 92:271-272.
44. Dirac P.A.M. The Principles of Quantum Mechanics 1947, Oxford University Press, (1947). third edition.
45. Dixon L., Duncan R.W. Extending graphical representations for compact closed categories with applications to symbolic quantum computation. Proceedings of AISC'08, Lecture Notes in Artificial Intelligence 2008, Springer.
46. Doëring A., Isham C.J. A topos foundation for theories of physics: I. Formal languages for physics 2007, arXiv:quant-ph/0703060.
47. Doplicher S., Roberts J.E. A new duality theory for compact groups. Inventiones Mathematicae 1989, 98:157.
48. R.W. Duncan. Quantum entanglement and multiplicative linear logic. Transfer Report Oxford University, November 2003, 2003.
49. R.W. Duncan. Types for Quantum Computing. D. Phil. thesis. University of Oxford, 2006.
50. Einstein A., Podolsky B., Rosen N. Can quantum-mechanical description of physical reality be considered complete?. Physical Review 1935, 47:777.
51. Ekert A.K. Quantum cryptography based on Bell's theorem. Physical review letters 1991, 67:661-663.
52. E. Farhi, J. Goldstone, S. Gutmann and M. Sipser (2000) Quantum computation by adiabatic evolution, 2000. arXiv:quant-ph/0001106.
53. M. Fiore. An axiomatics and a combinatorial model for creation/annihilation operators and differential structure. Talk given at the workshop on Categorical Quantum Logic, Oxford University, Jul. 2007. Slides available at . http://se10.comlab.ox.ac.uk:8080/FOCS/CQLprogramen.html.
54. M.H. Freedman, A. Kitaev, M. J. Larsen and Z. Wang. Topological quantum computation, 2004. arXiv:quant-ph/0101025.
55. Freyd P., Yetter D. Braided compact closed categories with applications to low-dimensional topology. Advances in Mathematics 1989, 77:156-182.
56. Girard J.-Y. Linear logic. Theoretical Computer Science 1987, 50:1-102.
57. Girard J.-Y. Geometry of Interaction I: Interpretation of System F. Logic Colloquium'88 1989, 221-260. North-Holland. R. Ferro (Ed.).
58. Gottesman D., Chuang I.L. Quantum teleportation is a universal computational primitive. Nature 1999, 402:390-393. arXiv:quant-ph/9908010.
59. J. Harding, Some quantum logic and a few categories. Talk given at the workshop on Categorical Quantum Logic, Oxford University, Jul. 2007. Slides available at . http://se10.comlab.ox.ac.uk:8080/FOCS/CQLprogramen.html.
60. J. Harding. Orthomodularity in dagger biproduct categories. Preprint, 2008.
61. Houston R. Finite products are biproducts in a compact closed category. Journal of Pure and Applied Algebra 2006, 212. arXiv:math/0604542.
62. Isham C.J. Lectures on Quantum Theory 1995, Imperial College Press.
63. Isham C.J., Butterfield J. Topos perspective on the Kochen-Specker theorem: I. Quantum states as generalized valuations. International Journal of Theoretical Physics 1998, 37:2669-2733. arXiv:quant-ph/9803055.
64. R. Jagadeesan. Private communication, 2004.
65. Joyal A., Street R. The geometry of tensor calculus I. Advances in Mathematics 1991, 88:55-112.
66. Joyal A., Street R., Verity D. Traced monoidal categories. Proceedings of the Cambridge Philosophical Society 1996, 119:447-468.
67. R. Jozsa. An introduction to measurement based quantum computation, 2005. arXiv:quant-ph/0508124.
68. Kaufman L.H. Knots and Physics 1991, World Scientific.
69. Kauffman L.H., Lomonaco S.J. Quantum entanglement and topological entanglement. New Journal of Physics 2002, 4:1-18.
70. Kauffman L.H. Teleportation topology. Optics and Spectroscopy 2005, 99:227-232. arXiv:quant-ph/0407224.
71. Kelly G.M. Many-variable functorial calculus. Coherence in Categories, Lecture notes in Mathematics 281 1972, 66-105. Springer-Verlag. G.M. Kelly, M.L. Laplaza, G. Lewis, S. Mac Lane (Eds.).
72. Kelly G.M., Laplaza M.L. Coherence for compact closed categories. Journal of Pure and Applied Algebra 1980, 19:193-213.
73. Kock J. Frobenius Algebras and 2D Topological Quantum Field Theories 2003, Cambridge University Press.
74. Lambek J., Scott P.J. Introduction to Higher-Order Categorical Logic 1986, Cambridge University Press.
75. MacLane S. Categories for the Working Mathematician 1998, Springer. 2nd edition.
76. Mackey G.M. The mathematical foundations of quantum mechanics 1963, W. A. Benjamin.
77. Milner R. Communication and Concurrency 1989, Prentice Hall.
78. Mitchell B. Theory of Categories 1965, Academic Press.
79. Nielsen M.A., Chuang L. Quantum computation and quantum information 2000, Cambridge University Press.
80. Pati A.K., Braunstein S.L. Impossibility of deleting an unknown quantum state. Nature 2000, 404:164-165. arXiv:quant-ph/9911090.
81. Penrose R. Applications of negative dimensional tensors. Combinatorial Mathematics and its Applications 1971, 221-244. Academic Press.
82. C.A. Petri. Non-sequential processes. Technical Report ISF-77-5, GMD, St-Augustin, 1977.
83. Piron C. Foundations of Quantum Physics 1976, W. A. Benjamin.
84. Raussendorf R., Briegel H.-J. A one-way quantum computer. Physical Review Letters 2001, 86:5188.
85. Raussendorf R., Browne D.E., Briegel H.-J. Measurement-based quantum computation on cluster states. Physical Review A 2003, 68:022312. arXiv:quant-ph/0301052.
86. R.A. G. Seely. Linear logic,*-autonomous categories and cofree algebras. In: Categories in Computer Science and Logic, Contemporary Mathematics 92, 1989.
87. Selinger P. Towards a quantum programming language. Mathematical Structures in Computer Science 2004, 14:527-586.
88. P. Selinger. Dagger compact categories and completely positive maps. Electronic Notes in Theoretical Computer Science 170, 139-163. Extended version to appear in New Structures for Physics, B. Coecke (ed). Springer Lecture Notes in Physics, 2007.
89. P. Selinger. Finite dimensional Hilbert spaces are complete for dagger compact closed categories. In: Proc. Quantum Physics and Logic/Development of Computational Models (QPL-DCM). Electronic Notes in Theoretical Computer Science, to appear, 2008.
90. Selinger P. TBA 2008, Springer lecture Notes in Physics. B. Coecke (Ed.).
91. Shor P.W. Algorithms for quantum computation: discrete logarithms and factoring. Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science 1994, IEEE Computer Science Press.
92. Shor P.W. Fault-tolerant quantum computation. Proceedings of the 37nd Annual Symposium on Foundations of Computer Science 1996, 56-65. IEEE Computer Society Press.
93. Simpson S.G. Subsystems of Second-Order Arithmetic 1999, Springer-Verlag.
94. Spekkens R. Evidence for the epistemic view of quantum states: A toy theory. Physical Review A 2007, 75:032110. arXiv:quant-ph/0401052.
95. R. Street. Quantum Groups: A Path to Current Algebra. Cambridge UP, 207.
96. V. Turaev. Quantum Invariants of Knots and 3-Manifolds, de Gruyter, 1994.
97. A. van Tonder. Quantum computation, categorical semantics, and linear logic, 2003. arXiv:quant-ph/0312174.
98. J. Vicary. A categorical framework for the quantum harmonic oscillator. International Journal of Theoretical Physics, to appear, 2007. arXiv:0706. 0711.
99. J. Vicary (2008) Categorical formulation of C*-algebras. In: Proc. Quantum Physics and Logic/Development of Computational Models (QPL-DCM). Electronic Notes in Theoretical Computer Science, to appear, 2008.
100. von Neumann J. Mathematische grundlagen der quantenmechanik 1932, Springer-Verlag.
101. Witten E. Topological quantum field theory. Communications in Mathematical Physics 1988, 117:353-386.
102. Wootters W.K., Zurek W. A single quantum cannot be cloned. Nature 1982, 299:802-803.
103. Yetter D.N. Functorial Knot Theory. Categories of Tangles, Coherence, Categorical Deformations, and Topological Invariants 2001, World Scientific.
104. Zukowski M., Zeilinger A., Horne M.A., Ekert A.K. Event-ready-detectors'Bell experiment via entanglement swapping. Physical Review Letters 1993, 71:4287-4290.