Abstract Physical Traces

We revise our 'Physical Traces' paper (Abramsky and Coecke CTCS'02) in the light of the results in (Abramsky and Coecke LiCS'04). The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in (Abramsky and Coecke LiCS'04). This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors.

[1]  Samson Abramsky,et al.  A categorical quantum logic , 2006, Math. Struct. Comput. Sci..

[2]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[3]  Charles H. Bennett,et al.  Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.

[4]  Isaac L. Chuang,et al.  Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations , 1999, Nature.

[5]  Samson Abramsky,et al.  Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories , 2005, CALCO.

[6]  Samson Abramsky,et al.  Retracing some paths in Process Algebra , 1996, CONCUR.

[7]  Samson Abramsky,et al.  Geometry of Interaction and linear combinatory algebras , 2002, Mathematical Structures in Computer Science.

[8]  J. Neumann.  Mathematische grundlagen der Quantenmechanik , 1935 .

[9]  J. Baez.  Quantum Quandaries: a Category-Theoretic Perspective , 2004, quant-ph/0404040.

[10]  I. Chuang,et al.  Quantum Teleportation is a Universal Computational Primitive , 1999, quant-ph/9908010.

[11]  Samson Abramsky,et al.  Physical Traces: Quantum vs. Classical Information Processing , 2002, CTCS.

[12]  R. A. G. Seely,et al.  Linear Logic, -Autonomous Categories and Cofree Coalgebras , 1989 .

[13]  Ekert,et al.  "Event-ready-detectors" Bell experiment via entanglement swapping. , 1993, Physical review letters.

[14]  Rajagopal Nagarajan,et al.  Interaction categories and the foundations of typed concurrent programming , 1996, NATO ASI DPD.

[15]  Dominic R. Verity,et al.  Traced monoidal categories , 1996, Mathematical Proceedings of the Cambridge Philosophical Society.

[16]  Samson Abramsky,et al.  A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..