Quantum Physics Commons^™

Proofs Of The Kochen-Specker Theorem Based On The N-Qubit Pauli Group, Padmanabhan Aravind, Mordecai Waegell

Padmanabhan K. Aravind

We present a number of observables-based proofs of the KochenSpecker (KS) theorem based on the N-qubit Pauli group for N ≥ 4, thus adding to the proofs that have been presented earlier for the 2- and 3-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 …