A Categorical Reconstruction of Quantum Theory

Abstract

We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a generalised finite-dimensional quantum theory over a suitable ring $S$. The principles used resemble those due to Chiribella, D'Ariano and Perinotti. Unlike previous reconstructions, our axioms and proof are fully categorical in nature, in particular not requiring tomography assumptions. Specialising the result to probabilistic theories we obtain either traditional quantum theory with $S$ being the complex numbers, or that over real Hilbert spaces with $S$ being the reals.

References in corpus (9)

• Informational derivation of Quantum Theory
• Quantum Theory From Five Reasonable Axioms
• Probabilistic theories with purification
• Reformulating and Reconstructing Quantum Theory
• Categorical formulation of quantum algebras
• Causal categories: relativistically interacting processes
• Categorical Operational Physics
• Completeness of Ordered Fields
• Distinguishability and copiability of programs in general process theories

Cited by in corpus (4)

• Categorical Operational Physics
• Derivation of quantum theory with superselection rules
• A computer scientist's reconstruction of quantum theory
• Deriving Dagger Compactness