Logic in Computer Science (LICS 2004)

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

Authors: Samson Abramsky Bob Coecke

Abstract

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.

BibTeX

  @InProceedings{AbramskyCoecke-ACategoricalSemanti,
    author = 	 {Samson Abramsky and Bob Coecke},
    title = 	 {A Categorical Semantics of Quantum Protocols},
    booktitle =  {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004},
    year =	 2004,
    editor =	 {Harald Ganzinger},
    month =	 {July}, 
    pages =      {415--425},
    location =   {Turku, Finland}, 
    publisher =	 {IEEE Computer Society Press}
  }