Colouring the rational quantum sphere and the Kochen-Specker theorem

  title={Colouring the rational quantum sphere and the Kochen-Specker theorem},
  author={Hans Havlicek and Guenther Krenn and Johann Summhammer and Karl Svozil},
  journal={Journal of Physics A},
We review and extend recent findings of Godsil and Zaks, who published a constructive colouring of the rational unit sphere with the property that for any orthogonal tripod formed by rays extending from the origin of the points of the sphere, exactly one ray is red, one white and one black. They also showed that any consistent colouring of the real sphere requires an additional colour. We discuss some of the consequences for the Kochen-Specker theorem. 

Figures from this paper

Generalised Kochen–Specker Theorem in Three Dimensions
We show that there is no non-constant assignment of zeros and ones to points of a unit sphere in $$\mathbb{R}^3$$ R 3 such that for every three pairwisely orthogonal vectors, an odd number
The Bell–Kochen–Specker theorem
Abstract Meyer, Kent and Clifton (MKC) claim to have nullified the Bell–Kochen–Specker (Bell-KS) theorem. It is true that they invalidate Kochen and Specker's account of the theorem's physical
Noncontextual coloring of orthogonality hypergraphs
We discuss chromatic constructions on orthogonality hypergraphs which are classical set representable or have a faithful orthogonal representation. The latter ones have a quantum mechanical
ec 2 00 4 Kochen-Specker Vectors
We give a constructive and exhaustive definition of Kochen-Specker (KS) vectors in a Hilbert space of any dimension as well as of all the remaining vectors of the space. KS vectors are elements of
Quantum interval-valued probability: Contextuality and the Born rule
We present a mathematical framework based on quantum interval-valued probability measures to study the effect of experimental imperfections and finite precision measurements on defining aspects of
Algebraic partial Boolean algebras
Partial Boolean algebras, first studied by Kochen and Specker in the 1960s, provide the structure for Bell–Kochen–Specker theorems which deny the existence of non-contextual hidden variable theories.
Quantum Mechanics: From Realism to Intuitionism
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called
Kochen-Specker theorem for finite precision spin-one measurements.
  • T. Breuer
  • Medicine, Physics
    Physical review letters
  • 2002
A Kochen-Specker theorem follows: There are finite sets of directions such that not all the unsharp spin observables in these directions can consistently be assigned approximate truth values in a noncontextual way.
Group-Valued Measures on the Lattice of Closed Subspaces of a Hilbert Space
We show there are no non-trivial finite Abelian group-valued measures on the lattice of closed subspaces of an infinite-dimensional Hilbert space, and we use this to establish that the unigroup of
Kochen-Specker Qubits
We give a constructive and exhaustive definition of Kochen-Specker (KS) qubits in the Hilbert space of any dimension as well as all the remaining vectors of the space. KS qubits are orthonormal


Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker‐type constructions
We use Greechie diagrams to construct finite orthomodular lattices ‘‘realizable’’ in the orthomodular lattice of subspaces in a three‐dimensional Hilbert space such that the set of two‐valued states
Density conditions for quantum propositions
As has already been pointed out by Birkhoff and von Neumann, quantum logic can be formulated in terms of projective geometry. In three‐dimensional Hilbert space, elementary logical propositions are
Finite Precision Measurement Nullifies the Kochen-Specker Theorem
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S 2 , can be
Collinearity-preserving functions between Desarguesian planes.
  • D. S. Carter, A. Vogt
  • Mathematics, Medicine
    Proceedings of the National Academy of Sciences of the United States of America
  • 1980
A key theorem is that, with the exception of certain embeddings defined on planes of order 2 and 3, every collinearity-preserving function from one affine Desarguesian plane into another can be extended to a collinearserving function between enveloping projective planes.
Noncontextual Hidden Variables and Physical Measurements
Meyer [Phys. Rev. Lett. 83, 3751 (1999)] recently showed that the Kochen-Specker theorem, which demonstrates the impossibility of a deterministic hidden variable description of ideal spin
The Problem of Hidden Variables in Quantum Mechanics
Forty years after the advent of quantum mechanics the problem of hidden variables, that is, the possibility of imbedding quantum theory into a classical theory, remains a controversial and obscure
On the Problem of Hidden Variables in Quantum Mechanics
The demonstrations of von Neumann and others, that quantum mechanics does not permit a hidden variable interpretation, are reconsidered. It is shown that their essential axioms are unreasonable. It
Quantum theory and measurement
The forty-nine papers collected here illuminate the meaning of quantum theory as it is disclosed in the measurement process. Together with an introduction and a supplemental annotated bibliography,
Quantum Theory: Concepts and Methods
Preface. Part I: Gathering the Tools. 1. Introduction to Quantum Physics. 2. Quantum Tests. 3. Complex Vector Space. 4. Continuous Variables. Part II: Cryptodeterminism and Quantum Inseparability. 5.
Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
Consideration of the problem of making predictions concerning a system on the basis of measurements made on another system that had previously interacted with it leads to the result that one is led to conclude that the description of reality as given by a wave function is not complete.