Axiomatic Description of Mixed States From Selinger's CPM-construction

Electronic Notes in Theoretical Computer Science

Volumn 210, Issue C, 2008, Pages 3-13

  Coecke, Bob ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

compact category; completely positive maps; internal trace; purification

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SOFTWARE; INFORMATION THEORY; LINGUISTICS; MAPS; OPTICAL PROJECTORS; PHASE MODULATION; POWDERS; PROGRAM INTERPRETERS; PROGRAMMING THEORY; QUANTUM OPTICS; TURBULENT FLOW;

AXIOMATICS; AXIOMATIZATION; COMPLETELY POSITIVE MAPS; E PRINTS; ELSEVIER (CO); HOME PAGES; INTERNATIONAL (CO); MAXIMALLY MIXED STATES; MIXED STATES; PHYSICAL INTERPRETATIONS; QUANTUM INFORMATION THEORY (QIT); QUANTUM PROGRAMMING LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

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

References (11)

1. Abramsky S., and Coecke B. A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science. (LiCS'04) (2004), IEEE Computer Science Press. E-print arXiv:quant-ph/0402130
2. 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
3. Coecke B. De-linearizing linearity: projective quantum axiomatics from strong compact closure. Proceedings of the 3rd International Workshop on Quantum Programming Languages. (QPL 2005). Electronic Notes in Theoretical Computer Science 170 (2007) 49-72. E-print: arXiv:quant-ph/0506134
4. 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
5. Delbecque, Y. (2005) Internal traces and abstract measurements. Short presentation at the 20th IEEE Symposium on Logic in Computer Science
6. Devetak I., Harrow A.W., and Winter A. A resource framework for quantum Shannon theory (2005). arXiv:quant-ph/0512015
7. Joyal A., Street R., and Verity D. Traced monoidal categories. Proceedings of the Cambridge Philosophical Society 119 (1996) 447-468
8. Jozsa R. Fidelity for mixed quantum states. Journal of Modern Optics 12 (1994) 2315-2323
9. Kretschmann D., and Werner R.F. Tema con variazioni: quantum channel capacity. New Journal of Physics 6 (2004) 26
10. Schumacher B. Sending entanglement through noisy quantum channels. Physical Review A 54 (1996) 2614-2628
11. 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