Graphical calculus for quantum key distribution (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 270, Issue 2, 2011, Pages 231-249

  Coecke, Bob ^a   Wang, Quanlong ^b,c   Wang, Baoshan ^b   Wang, Yongjun ^b   Zhang, Qiye ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b BEIHANG UNIVERSITY   (China)

^c UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

categorical semantics; complementary observables; graphical calculus; quantum key distribution

Indexed keywords

CATEGORICAL SEMANTICS; COMPLEMENTARY OBSERVABLES; EXTENDED ABSTRACTS; GRAPHICAL CALCULUS; INTERCEPT-RESEND ATTACKS; MONOIDAL CATEGORIES; QUANTUM KEY DISTRIBUTION; QUANTUM KEY DISTRIBUTION PROTOCOLS;

CALCULATIONS; QUANTUM CHEMISTRY; SEMANTICS;

QUANTUM CRYPTOGRAPHY;

EID: 79751474370     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2011.01.034     Document Type: Conference Paper

References (23)

1. S. Abramsky, and B. Coecke A categorical semantics of quantum protocols Proceedings of 19th IEEE conference on Logic in Computer Science 2004 IEEE Press 415 425 arXiv:quant-ph/0402130 Revised and extended version arXiv:0808.1023
2. C.H. Bennett and G. Brassard. Quantum cryptography: Public key distribution and coin tossing. In Proceedings of IEEE International Conference on Computers, Systems, and Signal Processing, pages 175-179, Bangalore, India, 1984. IEEE, New York.
3. A. Carboni, and R.F.C. Walters Cartesian bicategories I Journal of Pure and Applied Algebra 49 1987 11 32
4. B. Coecke, and R. Duncan Interacting quantum observables Proceedings of the 35th International Colloquium on Automata, Languages and Programming (ICALP) Lecture Notes in Computer Science 5126 2008 Springer-Verlag 298 310 arXiv:0906.4725 Revised and extended version
5. B. Coecke and B. Edwards. Toy quantum categories. Electronic Notes in Theoretical Computer Science, to appear. arXiv:0808.1037.
6. B. Coecke, E.O. Paquette and D. Pavlovic. Classical and quantum structuralism. In: Semantic Techniques for Quantum Computation, I. Mackie and S. Gay (eds), pages 29-69, Cambridge University Press. arXiv:0904.1997.
7. B. Coecke, E.O. Paquette, and S. Perdrix Bases in diagrammatic quantum protocols Electronic Notes in Theoretical Computer Science 218 2008 131 152 arXiv:0808.1037
8. B. Coecke, and D. Pavlovic Quantum measurements without sums G. Chen, L. Kauffman, S. Lamonaco, Mathematics of Quantum Computing and Technology 2007 Taylor and Francis 567 604 arXiv:quant-ph/0608035
9. B. Coecke, and E.O. Paquette Categories for the practicing physicist B. Coecke, New Structures for Physics Lecture Notes in Physics 2010 Springer-Verlag 167 271 arXiv:0905.3010
10. B. Coecke, D. Pavlovic, and J. Vicary A new description of orthogonal bases arXiv:0810.0812
11. R. Duncan, and S. Perdrix Graph states and the necessity of Euler decomposition Proceedings of Computability in Europe: Mathematical Theory and Computational Practice (CiE'09) Lecture Notes in Computer Science 5635 2009 Springer-Verlag 167 177 arXiv:0902.0500
12. A. Ekert Quantum cryptography based on Bell's theorem Physical Review Letters 67 1991 661 663
13. J. Evans, R. Duncan, A. Lang, and P. Panangaden Classifying all mutually unbiased bases in Rel arXiv:0909.4453
14. C. Heunen Compactly accessible categories and quantum key distribution Logical Methods in Computer Science 4 4 2008 paper 9. arXiv:0811.2113
15. C. Heunen (2009) Categorical Quantum Models and Logics. Ph.D. Thesis, Radboud Universiteit Nijmegen.
16. A. Joyal, and R. Street The Geometry of tensor calculus I Advances in Mathematics 88 1991 55 112
17. G.M. Kelly, and M.L. Laplaza Coherence for compact closed categories Journal of Pure and Applied Algebra 19 1980 193 213
18. S. Lack Composing PROPs Theory and Applications of Categories 13 2004 147 163 (Pubitemid 43678207)
19. G. Lowe An attack on the Needham-Schroeder public key authentication protocol Information Processing Letters 56 1995 131 136
20. D. Pavlovic Quantum and classical structures in nondeterministic computation Lecture Notes in Computer Science 5494 2009 Springer 143 157 arXiv:0812.2266
21. R. Penrose Applications of negative dimensional tensors D. Welsh, Combinatorial Mathematics and its Applications 1971 Academic Press 221 244
22. P. Selinger Dagger compact closed categories and completely positive maps Electronic Notes in Theoretical Computer Science 170 2007 139 163
23. P. Selinger A survey of graphical languages for monoidal categories B. Coecke, New Structures for Physics Lecture Notes in Physics 2010 Springer-Verlag 275 337 arXiv:0908.3347