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