Quantum measurements without sums

Mathematics of Quantum Computation and Quantum Technology

Volumn , Issue , 2007, Pages 559-596

  Coecke, Bob ^a   Pavlovic, Dusko ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70350727792     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (38)

1. Abramsky, S. (2005) Abstract scalars, loops, free traced and strongly compact closed categories. In: Proceedings of CALCO 2005, pp. 1–31, Springer Lecture Notes in Computer Science 3629.
2. Abramsky, S. and Coecke, B. (2004) A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 415–425, IEEE Computer Science Press. arXiv:quant-ph/0402130
3. Abramsky, S. and Coecke, B. (2005) Abstract physical traces. Theory and Applications of Categories 14, 111–124. www.tac.mta.ca/tac/volumes/14/6/14-06abs.html
4. Baez, J. (2004) Quantum quandaries: a category-theoretic perspective. In: Structural Foundations of Quantum Gravity, Oxford University Press. arXiv:quant-ph/0404040
5. Browne, D. E. and Rudolph, T. (2005) Resource-efficient linear optical quantum computation. Physical Review Letters 95, 010501.
6. Carboni, A. and Walters, R. F. C. (1987) Cartesian bicategories I. Journal of Pure and Applied Algebra 49, 11–32.
7. Coecke, B. (2005) Quantum information-flow, concretely, and axiomatically. In: Proceedings of Quantum Informatics 2004, pp. 15–29, Proceedings of SPIE Vol. 5833. arXiv:quant-ph/0506132
8. Coecke, B. (2005) De-linearizing linearity: projective quantum axiomatics from strong compact closure. Electronic Notes in Theoretical Computer Science, to appear. arXiv:quant-ph/0506134
9. Coecke, B. (2005) Kindergarten quantum mechanics—lecture notes. In: Quantum Theory: Reconsiderations of the Foundations III, pp. 81–98, AIP Press. arXiv:quant-ph/0510032
10. Coecke, B. (2006) Introducing categories to the practicing physicist. In: What is Category Theory? Advanced Studies in Mathematics and Logic 30, pp.45–74, Polimetrica Publishing.
11. Coecke, B. and Paquette, E. O. (2006) POVMs and Naimark’s theorem without sums. Electronic Notes in Theoretical Computer Science, to appear.
12. Coecke, B., Paquette, E. O. and Pavlovic, D. (2007) Classical and quantum structures. Preprint.
13. Devetak, I., Harrow, A. W. and Winter, A. (2004) A family of quantum protocols. Physical Review Letters 93, 230504. arXiv:quantph/0307091
14. Dirac, P. A. M. (1947) The Principles of Quantum Mechanics, 3rd edition. Oxford University Press.
15. Duncan, R. (2007) Types for Quantum Computing. D.Phil. thesis, Oxford University Computing Laboratory.
16. Fox, T. (1976) Coalgebras and cartesian categories. Communications in Algebra 4, 665–667.
17. Gisin, N. and Piron, C. (1981) Collapse of the wave packet without mixture. Letters on Mathematical Physics 5, 379–385.
18. Greenberger, D. M., Horne, M. A. and Zeilinger, A. (1989) Going beyond Bell’s theorem. In: Bell’s theorem, quantum theory, and conceptions (ed. Kafatos, M.).
19. Greenberger, D.M., Horne, M. A., Shimony, A. and Zeilinger, A. (1990) Bell’s theorem without inequalities. American Journal of Physics 58, 1131–1143.
20. Harrow, A. (2004) Coherent communication of classical messages. Physical Review Letters 92, 097902. arXiv:quant-ph/0307091
21. Joyal, A. and Street, R. (1991) The Geometry of tensor calculus I. Advances in Mathematics 88, 55–112.
22. Joyal, A., Street, R. and Verity, D. (1996) Traced monoidal categories. Proceedings of the Cambridge Philosophical Society 119, 447–468.
23. Kauffman, L. H. (2005) Teleportation topology. Optics and Spectroscopy 99, 227–232. arXiv:quant-ph/0407224
24. Kelly, G. M. (1972) Many-variable functorial calculus I. In: Coherence in Categories, pp.66–105, G. M. Kelly, M. Laplaza, G. Lewis and S. Mac Lane, Eds., Lecture Notes in Mathematics 281, Springer.
25. Kelly, G. M. and Laplaza, M. L. (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra 19, 193–213.
26. Kock, J. (2003) Frobenius Algebras and 2D Topological Quantum Field Theories. Cambridge University Press.
27. Lauda, A. T. (2005) Frobenius algebras and planar open string topological field theories. arXiv:math.QA/0508349
28. Mac Lane, S. (1963) Natural associativity and commutativity. Rice Univ. Studies 49, 28–46.
29. Mac Lane, S. (1971) Categories for the Working Mathematician. Springer–Verlag.
30. Pati, A. K. and Braunstein, S. L. (2000) Impossibility of deleting an unknown quantum state. Nature 404, 164–165.
31. Pavlovic, D. (1997) Categorical logic of names and abstraction in action calculus. Mathematical Structures in Computer Science 7, 619–637.
32. Penrose, R. (1971) Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications, pp. 221–244, Academic Press.
33. Piron, C. (1976) Foundations of Quantum Physics. W. A. Benjamin.
34. Rédei, M. (1997) Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Studies in History and Philosophy of Modern Physics 27, 493–510.
35. Selinger, P. (2005) Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, to appear.
36. Street, R. (2004) Frobenius monads and pseudomonads. Journal of Mathematical Physics 45, 3930–3948.
37. Verstraete, F. and Cirac, J. I. (2004) Valence-bond states for quantum computation. Physical Review A 70, 060302(R).
38. Wootters, W. and Zurek, W. (1982) A single quantum cannot be cloned. Nature 299, 802–803.