De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure

DOI10.1016/j.entcs.2006.12.011zbMath1277.18006arXivquant-ph/0506134MaRDI QIDQ2864168

Bob Coecke

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

zbMATH Keywords

quantum mechanics; projective geometry; quantum logic; categorical trace; strong compact closure; global phases

Mathematics Subject Classification ID

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

• QPL

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