IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Nineteenth Annual IEEE Symposium on

Logic in Computer Science (LICS 2004)

Paper: A Categorical Semantics of Quantum Protocols (at LICS 2004)

Authors: Samson Abramsky Bob Coecke


Quantum information and computation is concerned with the use of quantum-mechanical systems to carry out computational and information-processing tasks [Quantum computation and quantum information]. In the few years that this approach has been studied, a number of remarkable concepts and results have emerged. Our particular focus in this paper is on quantum information protocols, which exploit quantum-mechanical effects in an essential way. The particular examples we shall use to illustrate our approach will be teleportation [Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels], logic-gate teleportation [Quantum teleportation is a universal computational primitive], and entanglement swapping [Event-ready-detectors' Bell experiment via entanglement swapping]. The ideas illustrated in these protocols form the basis for novel and potentially very important applications to secure and fault-tolerant communication and computation.


    author = 	 {Samson Abramsky and Bob Coecke},
    title = 	 {A Categorical Semantics of Quantum Protocols},
    booktitle =  {Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2004)},
    year =	 {2004},
    month =	 {July}, 
    pages =      {415--425},
    location =   {Turku, Finland}, 
    publisher =	 {IEEE Computer Society Press}

Last modified: 2018-06-2121:59
Andrzej Murawski