A complete graphical calculus for Spekkens' toy bit theory

DOI10.1007/s10701-015-9957-7zbMath1347.81019arXiv1411.1618OpenAlexW3099533840MaRDI QIDQ262336

Miriam Backens, Ali Nabi Duman

Publication date: 29 March 2016

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.1618

zbMATH Keywords

\(\psi\)-epistemic theorygraph statesgraphical languageSpekkens' toy theorystabilizer quantum mechanics

Mathematics Subject Classification ID

Graphs and linear algebra (matrices, eigenvalues, etc.) (05C50) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Related Items

Toys can’t play: physical agents in Spekkens’ theory, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}

Cites Work

• Unnamed Item
• Unnamed Item
• Stabilizer notation for Spekkens' toy theory
• The geometry of tensor calculus. I
• Toy Quantum Categories (Extended Abstract)
• Phase Groups and the Origin of Non-locality for Qubits
• Categorical quantum mechanics
• Dagger Compact Closed Categories and Completely Positive Maps
• POVMs and Naimark's Theorem Without Sums
• Spekkens's toy theory as a category of processes
• Categories for the Practising Physicist
• Quantum computational networks
• Quantum Computation and Quantum Information
• The ZX-calculus is complete for stabilizer quantum mechanics
• Interacting Quantum Observables
• Graph States and the Necessity of Euler Decomposition
• Quantum Error Correction and Orthogonal Geometry
• Interacting quantum observables: categorical algebra and diagrammatics