loading...
A Categorical Semantics of Quantum Protocols
Turku, Finland July 13-July 17
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/LICS.2004.131963619th Annual IEEE Symposium on Logic i ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Samson Abramsky, Oxford University Computing Laboratory
Bob Coecke, Oxford University Computing Laboratory
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.
Citation:
Samson Abramsky, Bob Coecke, "A Categorical Semantics of Quantum Protocols," lics, pp.415-425, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.