Paper: A Categorical Semantics of Quantum Protocols (at LICS 2004)
Authors: Samson Abramsky Bob CoeckeAbstract
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} }