Abstract Physical Traces

Abstract

We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". 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 Categorical Semantics of Quantum Protocols. 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.

14 pages

References in corpus (1)

• The logic of entanglement

Cited by in corpus (18)

• Categorical formulation of quantum algebras
• Kindergarten Quantum Mechanics
• Introducing categories to the practicing physicist
• The algebra of entanglement and the geometry of composition
• Categories for the practising physicist
• Teleportation, Braid Group and Temperley--Lieb Algebra
• Conjugates, Filters and Quantum Mechanics
• Charged Rényi Entropies in CFTs with Einstein-Gauss-Bonnet Holographic Duals
• Non-Commutative Geometry, Categories and Quantum Physics
• Quantum information-flow, concretely, and axiomatically
• Some Nearly Quantum Theories
• POVMs and Naimark's theorem without sums
• De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure
• What are the fundamental structures of concurrency? We still don't know!
• A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract
• Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
• Process-theoretic characterisation of the Hermitian adjoint
• Deficient Mathematical Models of Quantum Theory