A Functorial Construction of Quantum Subtheories
arXiv:1705.02971 · doi:10.3390/e19050220
Abstract
We apply the geometric quantization procedure via symplectic groupoids proposed by E. Hawkins to the setting of epistemically restricted toy theories formalized by Spekkens. In the continuous degrees of freedom, this produces the algebraic structure of quadrature quantum subtheories. In the odd-prime finite degrees of freedom, we obtain a functor from the Frobenius algebra in \textbf{Rel} of the toy theories to the Frobenius algebra of stabilizer quantum mechanics.
arXiv comment19 pages
References in corpus (10)
- In defense of the epistemic view of quantum states: a toy theory
- Hudson's Theorem for finite-dimensional quantum systems
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- Quantization Methods: A Guide for Physicists and Analysts
- The ZX-calculus is complete for stabilizer quantum mechanics
- Phase groups and the origin of non-locality for qubits
- Categorical formulation of quantum algebras
- Relative Frobenius algebras are groupoids
- A complete graphical calculus for Spekkens' toy bit theory
- Quantum circuit dynamics via path integrals: Is there a classical action for discrete-time paths?