1207.2029 (Alastair A. Abbott et al.)

Kochen-Specker Theorem Revisited and Strong Incomputability of Quantum
Randomness    [PDF]

Alastair A. Abbott, Cristian S. Calude, Jonathan Conder, Karl Svozil

We present a stronger variant of the Kochen-Specker theorem in which some quantum observables are identified to be provably value indefinite. This result is utilised for the construction and certification of a dichotomic quantum random number generator operating in a three-dimensional Hilbert space.

View original: http://arxiv.org/abs/1207.2029