Higher Quantum Theory
arXiv:1207.4563
Abstract
We propose a 2-categorical formalism for describing classical information, quantum systems, and their interactions, based on the principle that classical information can be encoded as correlations between quantum systems. Applying this in the 2-category of 2-Hilbert spaces recovers ordinary quantum theory. The formalism gives a simple, graphical way to describe the specification and implementation of certain quantum procedures, which we use to investigate quantum teleportation, dense coding, complementarity and quantum erasure, verifying our results computationally using a software package.
46 pages
References in corpus (9)
- Decoherence, the measurement problem, and interpretations of quantum mechanics
- An Invitation to Higher Gauge Theory
- The Classification of Two-Dimensional Extended Topological Field Theories
- Higher-Dimensional Algebra and Planck-Scale Physics
- On the Classification of Topological Field Theories
- A Prehistory of n-Categorical Physics
- Higher-Dimensional Algebra VII: Groupoidification
- Examples of categorification
- A strict totally coordinatized version of Kapranov and Voevodsky's 2-category {\bf 2Vect}
Cited by in corpus (12)
- A compositional approach to quantum functions
- Biunitary constructions in quantum information
- The Morita theory of quantum graph isomorphisms
- Quons: A 3D Language for Quantum Information
- Charged Rényi Entropies in CFTs with Einstein-Gauss-Bonnet Holographic Duals
- A covariant Stinespring theorem
- Frobenius structures over Hilbert C*-modules
- Categories of Quantum and Classical Channels (extended abstract)
- Groupoid Semantics for Thermal Computing
- Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
- Shaded tangles for the design and verification of quantum circuits
- A classical groupoid model for quantum networks