A categorical semantics of quantum protocols

Proceedings - Symposium on Logic in Computer Science

Volumn 19, Issue , 2004, Pages 415-425

  Abramsky, Samson ^a   Coecke, Bob ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; LINEAR ALGEBRA; LOGIC GATES; NETWORK PROTOCOLS; NUMBER THEORY; SEMANTICS;

INFORMATION FLOW; QUANTUM COMPUTATION; QUANTUM INFORMATION PROCESSING; QUANTUM TELEPORTATION;

QUANTUM THEORY;

EID: 4544315795     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/lics.2004.1319636     Document Type: Conference Paper

References (28)

1. S. Abramsky, R. Blute, and P. Panangaden. Nuclear and trace ideals in tensored *categories. Journal of Pure and Applied Algebra, 143:3-47, 1999.
2. S. Abramsky and B. Coecke. Physical traces: Quantum vs. classical information processing. In Proceedings of Category Theory and Computer Science 2002 (CTCS'02), volume 69 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2003. arXiv:cs/0207057.
3. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. arXiv:quant-ph/0402130, 2004.
4. S. Abramsky, S. J. Gay, and R. Nagarajan. Interaction categories and foundations of typed concurrent programming. In Deductive Program Design, NATO ASI Series F, pages 35-113. Springer-Verlag, 1995.
5. M. Barr. *Autonomous Categories, volume 752 of Lecture Notes in Mathematics. Springer-Verlag, 1979.
6. 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. Physical Review Letters, 70:1895-1899, 1993.
7. G. Birkhoff and J. von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823-843, 1936.
8. D. Bouwmeester, A. Ekert, and A. Zeilinger, editors. The physics of quantum information. Springer-Verlag, 2001.
9. B. Coecke. The logic of entanglement. An invitation. Technical Report PRG-RR-03-12, Oxford University, 2003, web.comlab.ox.ac.uk/oucl/publications/tr/ rr-03-12.html.
10. B. Coecke. The logic of entanglement. arXiv:quant-ph/0402014, 2004.
11. P. Deligne. Catégories tannakiennes, volume 87 of Progress in Mathematics, pages 111-196. Birkhäuser, 1990.
12. R. Duncan. Quantum entanglement and multiplicative linear logic. Transfer Report Oxford University, November 2003.
13. D. Gottesman and I. L. Chuang. Quantum teleportation is a universal computational primitive. Nature, 402:390-393, 1999. arXiv:quant-ph/9908010.
14. C. Isham. Lectures on Quantum Theory. Imperial College Press, 1995.
15. C. J. Isham and J. Butterfield. A topos perspective on the Kochen-Specker theorem I: Quantum states as generalized valuations. International Journal of Theoretical Physics, 37:2669-2733, 1998.
16. G. M. Kelly. An abstract approach to coherence. Lecture Notes in Mathematics, 281:106-147, 1972.
17. G. M. Kelly and M. L. Laplaza. Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19:193-213, 1980.
18. S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
19. B. Mitchell. Theory of Categories. Academic Press, 1965.
20. M. A. Nielsen and L. Chuang. Quantum computation and quantum information. Cambridge University Press, 2000.
21. C. A. Petri. Non-sequential processes. Technical Report ISF-77-5, GMD, St-Augustin, Germany, 1977.
22. R. A. G. Seely. Linear logic, *autonomous categories and cofree algebras. In Categories in Computer Science and Logic, volume 92 of Contemporary Mathematics, pages 371-382, June 1987, Boulder, Colorado, 1989.
23. P. Selinger. Towards a quantum programming language. Mathematical Structures in Computer Science, 2004.
24. P. W. Shor. Fault-tolerant quantum computation. In Proc. of the 37nd Annual Symposium on Foundations of Computer Science, pages 56-65. IEEE Computer Society Press, 1996.
25. S. G. Simpson. Subsystems of Second-Order Arithmetic. Springer-Verlag, 1999.
26. A. van Tonder. Quantum computation, categorical semantics, and linear logic. arXiv:quant-ph/0312174, 2003.
27. J. von Neumann. Mathematische grundlagen der quantenmechanik. Springer-Verlag, Berlin, 1932.
28. M. Żukowski, A. Zeilinger, M. A. Horne, and A. K. Ekert. Event-ready-detectors' Bell experiment via entanglement swapping. Physical Review Letters, 71:4287-4290, 1993.