Higher semantics of quantum protocols

Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012

Volumn , Issue , 2012, Pages 606-615

  Vicary, Jamie ^a,b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

category theory; higher categories; quantum computing

Indexed keywords

2-CATEGORIES; CATEGORY THEORY; CLASSICAL INFORMATION; HIGHER CATEGORIES; INFORMATION TRANSFERS; QUANTUM COMPUTING; QUANTUM PROTOCOLS; QUANTUM SYSTEM; QUANTUM TELEPORTATION;

QUANTUM COMPUTERS; QUANTUM ELECTRONICS; QUANTUM OPTICS; SEMANTICS;

COMPUTATION THEORY;

EID: 84867175359     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2012.70     Document Type: Conference Paper

References (21)

1. S. Abramsky. Mathematics of Quantum Computing and Technology, chapter Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics. Taylor and Francis, 2007.
2. S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pages 415-425, 2004. IEEE Computer Science Press.
3. S. Abramsky and B. Coecke. Physics from computer science - a position statement. International Journal of Unconventional Computing, 3(3):179-197, 2007.
4. S. Abramsky and B. Coecke. Handbook of Quantum Logic and Quantum Structures, volume 2, chapter Categorical Quantum Mechanics. Elsevier, 2008.
5. J. C. Baez. Higher-dimensional algebra II: 2-Hilbert spaces. Advances in Mathematics, 127:125-189, 1997.
6. J. C. Baez and A. Lauda. A prehistory of n-categorical physics. In H. Halvorson, editor, Deep Beauty: Understanding the Quantum World through Mathematical Innovation. Cambridge University Press, 2011.
7. J. C. Baez and M. Stay. New Structures for Physics, chapter Physics, Topology, Logic and Computation: A Rosetta Stone, pages 95-172. Springer, 2010.
8. C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters, 70(13):1895-1899, 1993.
9. F. Borceux. Handbook of Categorical Algebra: Volume 1. CUP, 1994.
10. B. Coecke. The logic of entanglement: An invitation. Technical report, University of Oxford, 2003. Computing Laboratory Research Report PRG-RR-03-12.
11. B. Coecke. Complete positivity without positivity and without compactness. Technical Report PRG-RR-07-05, Oxford University Computing Laboratory, 2007.
12. B. Coecke and C. Heunen. Pictures of complete positivity in arbitrary dimension. In Proceedings of QPL VIII, ENTCS, 2011. To appear.
13. B. Coecke and D. Pavlovic. The Mathematics of Quantum Computation and Technology, chapter Quantum Measurements Without Sums. Taylor and Francis, 2006.
14. B. Coecke, D. Pavlovic, and J. Vicary. Commutative dagger-Frobenius algebras in FdHilb are orthogonal bases. (RR-08-03), 2008. Technical Report.
15. B. Coecke and S. Perdrix. Environment and classical channels in categorical quantum mechanics. In Proceedings of the 19th EACSL Annual Conference on Computer Science Logic, number 6247 in Lecture Notes in Computer Science, 2010.
16. A. Joyal and R. Street. The geometry of tensor calculus I. Advances in Mathematics, 88:55-112, 1991.
17. S. Lack. Towards Higher Categories, chapter A 2-Categories Companion. Springer, 2009.
18. A. D. Lauda. Frobenius algebras and ambidextrous adjunctions. Theory and Applications of Categories, 16(4):84-122, 2006.
19. M. Schlosshauer. Decoherence, the measurement problem, and interpretations of quantum mechanics. Rev. Mod. Phys., 76(4):1267-1305, 2005.
20. P. Selinger. Dagger compact closed categories and completely positive maps. In Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), 2007.
21. P. Selinger. New Structures for Physics, chapter A Survey of Graphical Languages for Monoidal Categories, pages 289-355. Number 813 in Lecture Notes in Physics. Springer, 2011.