Proofs of the Kochen-Specker theorem based on the N-qubit Pauli group

Abstract

We present a number of observables-based proofs of the Kochen-Specker (KS) theorem based on the N-qubit Pauli group for N >= 4, thus adding to the proofs that have been presented earlier for the two- and three-qubit groups. These proofs have the attractive feature that they can be presented in the form of diagrams from which they are obvious by inspection. They are also irreducible in the sense that they cannot be reduced to smaller proofs by ignoring some subset of qubits and/or observables in them. A simple algorithm is given for transforming any observables-based KS proof into a large number of projectors-based KS proofs; if the observables-based proof has O observables, with each observable occurring in exactly two commuting sets and any two commuting sets having at most one observable in common, the number of associated projectors-based parity proofs is 2^O. We introduce symbols for the observables- and projectors-based KS proofs that capture their important features and also convey a feeling for the enormous variety of both these types of proofs within the N-qubit Pauli group. We discuss an infinite family of observables-based proofs, whose members apply to all numbers of qubits from two up, and show how it can be used to generate projectors-based KS proofs involving only nine bases (or experimental contexts) in any dimension of the form 2^N for N >= 2. Some implications of our results are discussed.

18 pages, 6 figures and 11 tables. More typos were caught and corrected as the paper went to press

References in corpus (13)

• Hidden Variables and the Two Theorems of John Bell
• A simple test for hidden variables in spin-1 system
• Experimentally testable state-independent quantum contextuality
• State-independent experimental test of quantum contextuality
• Experimental test of quantum contextuality in neutron interferometry
• State-independent quantum contextuality with single photons
• Preparation contextuality powers parity-oblivious multiplexing
• Logical Bell Inequalities
• Universality of state-independent violation of correlation inequalities for noncontextual theories
• Graphical Nonbinary Quantum Error-Correcting Codes
• Three criteria for quantum random number generators based on beam splitters
• State-independent contextuality with identical particles
• Bertlmann's chocolate balls and quantum type cryptography

Cited by in corpus (28)

• Kochen-Specker Contextuality
• Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen-Specker theorem: the Peres-Mermin square
• Rotational covariance and GHZ contradictions for three or more particles of any dimension
• Confined Contextuality in Neutron Interferometry: Observing the Quantum Pigeonhole Effect
• Quantum Contextuality
• Parity proofs of the Kochen-Specker theorem based on the Lie algebra E8
• Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces
• Arbitrarily exhaustive hypergraph generation of 4-, 6-, 8-, 16-, and 32-dimensional quantum contextual sets
• Parity proofs of the Kochen-Specker theorem based on the 120-cell
• The magic three-qubit Veldkamp line: A finite geometric underpinning for form theories of gravity and black hole entropy
• Mermin pentagrams arising from Veldkamp lines for three qubits
• A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality
• Benchmarks of Nonclassicality for Qubit Arrays
• Automated generation of Kochen-Specker sets
• The Minimum Complexity of Kochen-Specker Sets Does Not Scale with Dimension
• Primitive Nonclassical Structures of the $N$-qubit Pauli Group
• Hypergraph Contextuality
• The Inferential Design of Entropy and its Application to Quantum Measurements
• Scalable noncontextuality inequalities and certification of multiqubit quantum systems
• Irreducible magic sets for $n$-qubit systems
• On the connection between the theorems of Gleason and of Kochen and Specker
• A Class of Three-Qubit Contextual Configurations Located in Fano Pentads
• Generalized parity proofs of the Kochen-Specker theorem
• Vector Generation of Contextual Sets
• Nonclassical Structures within the N-qubit Pauli Group
• Hexagons govern three-qubit contextuality
• Entropic Dynamics: A hybrid-contextual theory of Quantum Mechanics
• Arbitrarily large violations of non-contextuality in single mode photon states with positive Wigner function