• Corpus ID: 119328126

Kochen-Specker theorem revisited

  title={Kochen-Specker theorem revisited},
  author={Del Rajan and Matt Visser},
  journal={arXiv: Quantum Physics},
The Kochen-Specker theorem is a basic and fundamental 50 year old non-existence result affecting the foundations of quantum mechanix, strongly implying the lack of any meaningful notion of "quantum realism", and typically leading to discussions of "contextuality" in quantum physics. Original proofs of the Kochen-Specker theorem proceeded via brute force counter-examples; often quite complicated and subtle (albeit mathematically "elementary") counter-examples. Only more recently have somewhat… 
2 Citations

Figures from this paper

Quantum Entanglement in Time
This thesis describes how the entanglement in time provides the quantum advantage over a classical blockchain, namely a quantum blockchain, and explores this temporal effect within the study of quantum information and its foundations as well as through relativistic quantum information.
Considering Measurement Dynamics In Classical Mechanics
  • N. Matjelo
  • Physics
    Advanced Studies in Theoretical Physics
  • 2021
Following this line of thinking about the two systems as intertwined/coupled, in the classical picture, naturally leads to the general dynamics analogous to Schrodinger’s wave dynamics.


Explicit construction of the density matrix in Gleason's theorem
Gleason's theorem is a fundamental 60 year old result in the foundations of quantum mechanix, setting up and laying out the surprisingly minimal assumptions required to deduce the existence of
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
Contextuality Supplies the Magic for Quantum Computation
It is established that quantum contextuality, a generalization of nonlocality identified by Bell and Kochen-Specker almost 50 years ago, is a critical resource for quantum speed-up within the leading model for fault-tolerant quantum computation, known as magic state distillation (MSD).
A Proof with 18 Vectors of the Bell-Kochen-Specker Theorem
A state-independent, additive proof of the Bell-Kochen-Specker theorem with 18 four-dimensional vectors is presented. These vectors can be physically interpreted as a set of 18 propositions
Incomplete Kochen-Specker coloring
A particular incomplete Kochen-Specker coloring, suggested by Appleby [Stud. Hist. Philos. Mod. Phys. 36, 1 (2005)] in dimension three, is generalized to arbitrary dimension. We investigate its
Kochen-Specker Theorem: Two Geometric Proofs
We present two geometric proofs of the Kochen-Specker theorem. A quite similar argument has been used by Cooke, Keane, and Moran, as well as by Kalmbach in her book to derive the Gleason theorem.
On Gleason’s Theorem without Gleason
The original proof of Gleason’s Theorem is very complicated and therefore, any result that can be derived also without the use of Gleason’s Theorem is welcome both in mathematics and mathematical
What's Wrong with these Elements of Reality?
The subject of Einstein-PodolskyRosen correlations—those strong quantum correlations that seem to imply "spooky actions at a distance"—has just been given a new and beautiful twist. Daniel