Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
arXiv:quantph/0402130 A categorical semantics of quantum protocols
 

Summary: arXiv:quant­ph/0402130
v4
30
Apr
2004
A categorical semantics of quantum protocols
Samson Abramsky and Bob Coecke
Oxford University Computing Laboratory,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
samson.abramsky  bob.coecke@comlab.ox.ac.uk
Abstract
We study quantum information and computation from a
novel point of view. Our approach is based on recasting
the standard axiomatic presentation of quantum mechan­
ics, due to von Neumann [28], at a more abstract level, of
compact closed categories with biproducts. We show how
the essential structures found in key quantum information
protocols such as teleportation [5], logic­gate teleportation
[12], and entanglement swapping [29] can be captured at
this abstract level. Moreover, from the combination of the

  

Source: Abramsky, Samson - Computing Laboratory, University of Oxford

 

Collections: Computer Technologies and Information Sciences