Phase Groups and the Origin of Non-locality for Qubits

DOI10.1016/j.entcs.2011.01.021zbMath1348.81050arXiv1003.5005OpenAlexW1993746088WikidataQ113318317 ScholiaQ113318317MaRDI QIDQ2825362

Bill Edwards, Robert W. Spekkens, Bob Coecke

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Spekkens' toy theoryphase groupGHZ correlationqubit stabilizer statestabilizer theory

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items

Causal categories: relativistically interacting processes, Big toy models. Representing physical systems as Chu spaces, Geometric Quantization and Epistemically Restricted Theories: The Continuous Case, Mermin Non-Locality in Abstract Process Theories, Toys can’t play: physical agents in Spekkens’ theory, Categorifying the ZX-calculus, Picturing Counting Reductions with the ZH-Calculus, A diagrammatic derivation of the Hermitian adjoint, Unnamed Item, Interacting quantum observables: categorical algebra and diagrammatics, A framework for phase and interference in generalized probabilistic theories, Compositional Quantum Logic, Generalised Mermin-type non-locality arguments, The ZX-calculus is complete for stabilizer quantum mechanics, Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}, Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories, Arithmetic, mutually unbiased bases and complementary observables, ARE QUANTUM STATES REAL?, A complete graphical calculus for Spekkens' toy bit theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• Categorical quantum mechanics
• De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
• Dagger Compact Closed Categories and Completely Positive Maps
• Introduction to Categories and Categorical Logic
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Categories for the Practising Physicist
• A Survey of Graphical Languages for Monoidal Categories
• Interacting Quantum Observables
• Introducing categories to the practicing physicist
• Quantum and Classical Structures in Nondeterminstic Computation
• Bell’s theorem without inequalities