Phase groups and the origin of non-locality for qubits
arXiv:1003.5005 · doi:10.1016/j.entcs.2011.01.021
Abstract
We describe a general framework in which we can precisely compare the structures of quantum-like theories which may initially be formulated in quite different mathematical terms. We then use this framework to compare two theories: quantum mechanics restricted to qubit stabiliser states and operations, and Spekkens's toy theory. We discover that viewed within our framework these theories are very similar, but differ in one key aspect - a four element group we term the phase group which emerges naturally within our framework. In the case of the stabiliser theory this group is Z4 while for Spekkens's toy theory the group is Z2 x Z2. We further show that the structure of this group is intimately involved in a key physical difference between the theories: whether or not they can be modelled by a local hidden variable theory. This is done by establishing a connection between the phase group, and an abstract notion of GHZ state correlations. We go on to formulate precisely how the stabiliser theory and toy theory are `similar' by defining a notion of `mutually unbiased qubit theory', noting that all such theories have four element phase groups. Since Z4 and Z2 x Z2 are the only such groups we conclude that the GHZ correlations in this type of theory can only take two forms, exactly those appearing in the stabiliser theory and in Spekkens's toy theory. The results point at a classification of local/non-local behaviours by finite Abelian groups, extending beyond qubits to finitary theories whose observables are all mutually unbiased.
24 pages, many pictures
References in corpus (4)
Cited by in corpus (43)
- Quantum from principles
- Quasi-quantization: classical statistical theories with an epistemic restriction
- Introduction to the book "Quantum Theory: Informational Foundations and Foils"
- The completeness of quantum theory for predicting measurement outcomes
- Are quantum states real?
- Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction
- The ZX-calculus is complete for stabilizer quantum mechanics
- Generalized Probabilistic Theories Without the No-Restriction Hypothesis
- Causal categories: relativistically interacting processes
- A no-go theorem on the nature of the gravitational field beyond quantum theory
- Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
- Strong Complementarity and Non-locality in Categorical Quantum Mechanics
- Lectures on Quantum Tensor Networks
- Quantum cube: A toy model of a qubit
- A general framework for phase and interference
- The GHZ/W-calculus contains rational arithmetic
- Quantum Picturalism: Learning Quantum Theory in High School
- Quantum Protocols within Spekkens' Toy Model
- Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
- Depicting qudit quantum mechanics and mutually unbiased qudit theories
- A complete graphical calculus for Spekkens' toy bit theory
- A Graphical Calculus for Lagrangian Relations
- Compositional resource theories of coherence
- Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
- Complete set of circuit equations for Stabilizer Quantum Mechanics
- Quantum Darwinism and the spreading of classical information in non-classical theories
- Compositional Quantum Logic
- Picturing Counting Reductions with the ZH-Calculus
- Categorical Quantum Dynamics
- Generalised Mermin-type non-locality arguments
- Trichromatic Open Digraphs for Understanding Qubits
- Mermin Non-Locality in Abstract Process Theories
- Categorifying the ZX-calculus
- Toys can't play: physical agents in Spekkens' theory
- The Abstract Structure of Quantum Algorithms
- Process-theoretic characterisation of the Hermitian adjoint
- Causality in Higher Order Process Theories
- Rewriting Structured Cospans: A Syntax For Open Systems
- A Diagrammatic Axiomatisation for Qubit Entanglement
- A classical groupoid model for quantum networks
- Geometric Quantization and Epistemically Restricted Theories: The Continuous Case
- Categorical Generalization and Physical Structuralism
- A Functorial Construction of Quantum Subtheories