Related papers: Finite-precision measurement does not nullify the …
We give a short geometric proof of the Kochen-Specker no-go theorem for non-contextual hidden variables models. Note added to this version: I understand from Jan-Aake Larsson that the construction we give here actually contains the original…
Recently a new impulse has been given to the experimental investigation of contextuality. In this paper we show that for a widely used definition of contextuality there can be no decisive experiment on the existence of contextuality. To…
Efforts to construct deeper, realistic, level of physical description, in which individual systems have, like in classical physics, preexisting properties revealed by measurements are known as hidden-variable programs. Demonstrations that a…
Using a quantum like algebraic formulation we give proof of Kochen-Specker theorem. We introduce new criteria in order to account for the contextual nature of measurements in quantum mechanics.
A suggestion for an observational test of the difference between quantum mechanics and noncontextual hidden variables theories requires the measurement of a product of two commuting observables without measuring either observable…
We performed an experimental test of the Kochen-Specker theorem based on an inequality derived from the Peres-Mermin proof, using spin-path (momentum) entanglement in a single neutron system. Following the strategy proposed by Cabello et…
The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental…
We derive inequalities for $n$ spin-1/2 systems under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this…
For a two-particle two-state system, sets of compatible propositions exist for which quantum mechanics and noncontextual hidden-variable theories make conflicting predictions for every individual system whatever its quantum state. This…
One implication of Bell's theorem is that there cannot in general be hidden variable models for quantum mechanics that both are noncontextual and retain the structure of a classical probability space. Thus, some hidden variable programs aim…
The Kochen-Specker theorem shows that it is impossible to assign sharp values to all dynamical variables in quantum mechanics in such a way that the algebraic relations among the values of dynamical variables whose self-adjoint operators…
Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are…
The Kochen-Specker theorem states that noncontextual hidden variable theories are incompatible with quantum mechanics. We provide a state independent proof of the Kochen-Specker theorem using the smallest number of projectors, i.e., thirty…
Recently Cator & Landsman made a comparison between Bell's Theorem and Conway & Kochen's Strong Free Will Theorem. Their overall conclusion was that the latter is stronger in that it uses fewer assumptions, but also that it has two…
This paper discusses a possible resolution of the nonobjectivity-nonlocality dilemma in quantum mechanics in 'the light of experimental tests of the Bell inequality for two entangled photons and a Bell-like inequality for a single neutron.…
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 impossibility proofs for hidden variable…
It will be shown that the Peres-Mermin square admits value-definite noncontextual hidden-variable models if the observables associated with the operators can be measured only sequentially but not simultaneously. Namely, sequential…
We discuss the problem of hidden variables and the motivation for introducting them in quantum mechanics. These include determinism, and the problem of meassurement and incompleteness. We first discuss Von-Neumann's imposisbility proof and…
A Gleason-type theorem is proved for two restricted classes of informationally complete POVMs in the qubit case. A particular (incomplete) Kochen-Specker colouring, suggested by Appleby in dimension three, is generalized to arbitrary…
The testability of the Kochen-Specker theorem is a subject of ongoing controversy. A central issue is that experimental implementations relying on sequential measurements cannot achieve perfect compatibility between the measurements and…