POVMs and Naimark's Theorem Without Sums

Electronic Notes in Theoretical Computer Science

Volumn 210, Issue C, 2008, Pages 15-31

  Coecke, Bob ^a   Paquette, Éric Oliver ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

compact category; classical object; CPM construction; Naimark's theorem; POVM

Indexed keywords

ABSTRACTING; BANACH SPACES; HILBERT SPACES; MATHEMATICAL TECHNIQUES; QUANTUM COMPUTERS; QUANTUM OPTICS; QUANTUM THEORY; STATISTICS;

(OTDR) TECHNOLOGY; ABSTRACT LEVELS; E PRINTS; HILBERT; NORMAL FORM (NF); OBJECT STRUCTURE; PROJECTIVE MEASUREMENTS; QUANTUM COMPUTING; QUANTUM MEASUREMENTS; TENSOR PRODUCT (TP);

TENSORS;

EID: 46449103625     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.015     Document Type: Article

References (21)

1. Abramsky S. Abstract scalars, loops, free traced and strongly compact closed categories. Proceedings of CALCO 2005. Springer Lecture Notes in Computer Science 3629 (2005) 1-31
2. Abramsky S., and Coecke B. A categorical semantics of quantum protocols. Proceedings of the 19th IEEE Conference on Logic in Computer Science (2004), IEEE Computer Science Press 415-425. E-print arXiv:quant-ph/0402130
3. Abramsky S., and Coecke B. Abstract physical traces. Theory and Applications of Categories 14 (2005) 111-124. Available from www.tac.mta.ca/tac/volumes/14/6/14-06abs.html
4. Baez J. Quantum quandaries: a category-theoretic perspective. Structural Foundations of Quantum Gravity (2004), Oxford University Press. E-print arXiv:quant-ph/0404040
5. Baez J., and Dolan J. Higher-dimensional algebra and topological quantum field theory. Journal of Mathematical Physics 36 (1995) 6073-6105. E-print arXiv:q-alg/9503002
6. Busch P., Lahti P.J., and Mittelstaedt P. The Quantum Theory of Measurement. Springer Lecture Notes in Physics 2 (1991)
7. Coecke B. Kindergarten quantum mechanics - lecture notes. Quantum Theory: Reconsiderations of the Foundations III (2005), AIP Press 81-98. E-print arXiv:quant-ph/0510032
8. Coecke B. Quantum information-flow, concretely, and axiomatically. Proceedings of Quantum Informatics 2004. Proceedings of SPIE Vol. 5833 (2005) 15-29. E-print available from arXiv:quant-ph/0506132
9. Coecke B. Introducing categories to the practicing physicist. What is Category Theory?. Advanced Studies in Mathematics and Logic 30 (2006), Polimetrica Publishing 45-74 Available from Bob Coecke's homepage
10. Coecke B. Axiomatic description of mixed states from Selinger's CPM-construction. Proceedings of the 4th International Workshop on Quantum Programming Languages. (QPL 2006). Electronic Notes in Theoretical Computer Science (2008)
11. B. Coecke, É. O. Paquette and D. Pavlovic. In preparation
12. Coecke B., and Pavlovic D. Quantum measurements without sums. Mathematics of Quantum Computing and Technology (2007), Chapman & Hall 559-596. E-print available from arXiv:quant-ph/0608035
13. Davies E.B. Quantum Theory of Open Systems (1976), Academic Press
14. Freyd P., and Yetter D. Braided compact closed categories with applications to low-dimensional topology. Advances in Mathematics 77 (1989) 156-182
15. Joyal A., and Street R. The geometry of tensor calculus I. Advances in Mathematics 88 (1991) 55-112
16. Joyal A., Street R., and Verity D. Traced monoidal categories. Proceedings of the Cambridge Philosophical Society 119 (1996) 447-468
17. Kelly G.M. Many-variable functorial calculus I. Coherence in Categories. Springer Lecture Notes in Mathematics 281 (1972) 66-105
18. Kelly G.M., and Laplaza M.L. Coherence for compact closed categories. Journal of Pure and Applied Algebra 19 (1980) 193-213
19. Kraus K. States, Effects, and Operations (1983), Springer-Verlag
20. Penrose R. Applications of negative dimensional tensors. Combinatorial Mathematics and its Applications (1971), Academic Press 221-244
21. Selinger P. Dagger compact closed categories and completely positive maps. Proceedings of the 3rd International Workshop on Quantum Programming Languages. (QPL 2005). Electronic Notes in Theoretical Computer Science 170 (2007) 139-163 Available from Peter Selinger's homepage