De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
From MaRDI portal
Publication:2864168
DOI10.1016/j.entcs.2006.12.011zbMath1277.18006arXivquant-ph/0506134MaRDI QIDQ2864168
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0506134
quantum mechanics; projective geometry; quantum logic; categorical trace; strong compact closure; global phases
46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
81P68: Quantum computation
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
03G12: Quantum logic
Related Items
Interacting quantum observables: categorical algebra and diagrammatics, Bases in Diagrammatic Quantum Protocols, Pictures of complete positivity in arbitrary dimension, A diagrammatic derivation of the Hermitian adjoint, Phase Groups and the Origin of Non-locality for Qubits, Axiomatic Description of Mixed States From Selinger's CPM-construction
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
- Coherence for compact closed categories
- Dagger Compact Closed Categories and Completely Positive Maps
- POVMs and Naimark's Theorem Without Sums
- Abstract Physical Traces
- Towards a quantum programming language
- Traced monoidal categories
- A categorical quantum logic
- Algebra and Coalgebra in Computer Science