# Colouring the rational quantum sphere and the Kochen-Specker theorem

@article{Havlicek1999ColouringTR, 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}, year={1999}, volume={34}, pages={3071-3077} }

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

## 33 Citations

Generalised Kochen–Specker Theorem in Three Dimensions

- MathematicsFoundations of Physics
- 2021

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

- Mathematics, Physics
- 2003

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

- Physics
- 2021

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

- 2006

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

- Physics, Mathematics
- 2018

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

- Mathematics
- 2003

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

- Mathematics, Physics
- 2010

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.

- Medicine, PhysicsPhysical 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

- Mathematics
- 2005

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

- 2004

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…

## References

SHOWING 1-10 OF 43 REFERENCES

Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker‐type constructions

- Mathematics
- 1996

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

- Mathematics, Physics
- 1996

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

- Physics, Mathematics
- 1999

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.

- Mathematics, MedicineProceedings 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

- Mathematics, Physics
- 1999

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

- Mathematics
- 1967

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

- Physics
- 1966

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

- Physics
- 1983

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

- Physics
- 1993

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?

- Physics, Computer Science
- 1935

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.