Bases in Diagrammatic Quantum Protocols

Electronic Notes in Theoretical Computer Science

Volumn 218, Issue C, 2008, Pages 131-152

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

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

abstract bases; categorical semantics; diagrammatic calculus; quantum protocols

Indexed keywords

ABSTRACTING; ACCESS CONTROL; DIFFERENTIATION (CALCULUS); GRAPHIC METHODS; INFORMATION THEORY; MATHEMATICAL TECHNIQUES; NETWORK PROTOCOLS; POWDERS; QUANTUM COMPUTERS; QUANTUM OPTICS;

AS MODELS; CATEGORICAL SEMANTICS; COMPACT STRUCTURES; COMPLEMENTARY BASES; DIAGRAMMATIC CALCULUS; GRAPHICAL REPRESENTATIONS; MONOIDAL CATEGORIES; NEW RESULTS; QUANTUM COMPUTING; QUANTUM PROTOCOLS; QUANTUM STATES;

COMPUTER NETWORKS;

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

References (25)

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 2004 (2004), IEEE Computer Society Press 415-425
2. Bennett C.H., Brassard G., Crépeau C., Jozsa R., Peres A., and Wootters W.K. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Physical Review Letters 70 (1993) 1895-1899
3. Carboni A., and Walters R.F.C. Cartesian bicategories I. Advances in Mathematics 49 (1987) 11-32
4. Coecke B. Kindergarten quantum mechanics. Quantum Theory: Reconsiderations of the Foundations III (2005), AIP Press 81-98. arXiv:quant-ph/0510032
5. Coecke B. De-linearizing linearity: projective quantum axiomatics from strong compact closure. Electronic Notes in Theoretical Computer Science 170 (2007) 49-72. arXiv:quant-ph/0506134.v2
6. B. Coecke and R. Duncan. Interacting quantum observables. In Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008. Lecture Notes in Computer Science, 2008. to appear
7. Coecke B., and Paquette E.O. Generalized measurements and Naimarks theorem without sums. In: Selinger P. (Ed). Proceedings of Quantum Programming Languages IV (2006). arXiv:quant-ph/0608072.v2
8. B. Coecke, E.O. Paquette, and D. Pavlovic. Semantic Techniques in Quantum Computation, S. Gay and I. Mackie, Eds., chapter Classical and quantum structures. Cambridge University Press, 2008. to appear
9. Coecke B., and Pavlovic D. The Mathematics of Quantum Computation and Technology. In: Chen G., Kauffman L., and Lamonaco S. (Eds). chapter Quantum measurements without sums (2007), Taylor and Francis 567-604. CRC Applied Mathematics Nonlinear Science arXiv:quant-ph/0608035
10. B. Coecke, D. Pavlovic, and J. Vicary. Commutative dagger Frobenius algebras in FdHilb are bases. Oxford University Computing Laboratory Research Report RR-08-03, 2008
11. Fuchs J., Runkel I., and Schweigert C. TFT construction of RCFT correlators I: Partition functions. Nuclear Physics B 646 (2002) 353-497. hep-th/0204148
12. Jorrand Ph., and Perdrix S. Unifying quantum computation with projective measurements only and one-way quantum computation. Quantum Informatics 2004. Proceedings of the SPIE volume 5833 (2005) 44-51
13. Joyal A., and Street R. The geometry of tensor calculus I. Advances in Mathematics 88 (1991) 55-112
14. Joyal A., Street R., and Verity D. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society 3 (1996) 447-468
15. Jozsa R. An introduction to measurement based quantum computation. arXiv:quant-ph/0508124v2
16. Kelly G.M., and Laplaza M.L. Coherence for compact closed categories. Journal of Pure and Applied Algebra 19 (1980) 194-213
17. Kock J. Frobenius Algebras and 2D Topological Quantum Field Theories (2003), Cambridge UP
18. Lack S. Composing PROPs. Theory and Applications of Categories 13 (2004) 147-163
19. n) . PhD thesis, University of California at Berkeley, 2007
20. Penrose R. Applications of negative dimensional tensors. Combinatorial Mathematics and its Applications (1971), Academic Press 221-244
21. Perdrix S. State transfer instead of teleportation in measurement-based quantum computation. International Journal of Quantum Information 3 (2005) 219-223
22. Perdrix S. Towards minimal resources of measurement-based quantum computation. New Journal of Physics 9 (June 2007) 206
23. Selinger P. Dagger compact closed categories and completely positive maps. Proceedings of the 3rd International Workshop on Quantum Programming Languages. (QPL 2005), Chicago. ENTCS 170 (2007) 139-163
24. J. Vicary. Categorical formulation of C*-algebras. In Proceedings of the Quantum Physics and Logic/Development of Computational Models Joint Workshop (QPL-DCM), B. Coecke. Ed., Electronic Notes in Theoretical Computer Science. Elsevier, 2008. to appear
25. Wootters W.K., and Zurek W.H. A single quantum cannot be cloned. Nature 299 (1982) 802-803