Related papers: Strong Kochen-Specker theorem and incomputability …
Quantum contextuality is one of the fundamental notions in quantum mechanics. Proofs of the Kochen-Specker theorem and noncontextuality inequalities are two means for revealing the contextuality phenomenon in quantum mechanics. It has been…
In this talk I present a simple derivation of an old result of Kochen and Specker, which is apparently unrelated to the famous work of Bell on hidden variables, but is presumably equally important. Kochen and Specker showed in 1967 that…
We describe an explicitly non-contextual statistical model of hidden variables for the qutrit, which fully reproduces the predictions of quantum mechanics and, thus, bypasses the constraints imposed by the Kochen-Specker theorem and its…
The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the partial Boolean algebra structure of projectors on a Hilbert…
By probabilistic means, the concept of contextuality is extended so that it can be used in non-ideal situations. An inequality is presented, which at least in principle enables a test to discard non-contextual hidden-variable models at low…
A key ingredient of the Kochen-Specker theorem is the so-called functional composition principle, which asserts that hidden states must ascribe values to observables in a way that is consistent with all functional relations between them.…
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…
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 colored so that the contradiction with hidden…
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.
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.…
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…
A very simple illustration of the Bell-Kochen-Specker contradiction is presented using continuous observables in infinite dimensional Hilbert space. It is shown that the assumption of the \emph{existence} of putative values for position and…
A number of new proofs of the Kochen-Specker theorem are given based on the observables of the three-qubit Pauli group. Each proof is presented in the form of a diagram from which it is obvious by inspection. Each of our observable-based…
In contrast to conventional, dynamical entanglement, in which particles with definite identity have uncertain properties, in so-called statistical entanglement, which arises between indistinguishable particles because of quantum symmetry…
In the paper it is shown that the Kochen-Specker theorem follows from Burnside's theorem on noncommutative algebras. Accordingly, contextuality (as an impossibility of assigning binary values to projection operators independently of their…
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…
This article delves into the concept of quantum contextuality, specifically focusing on proofs of the Kochen-Specker theorem obtained by assigning Pauli observables to hypergraph vertices satisfying a given commutation relation. The…
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…
We show that (1) the violation of the Ekert 91 inequality is a sufficient condition for certification of the Kochen-Specker (KS) theorem, and (2) the violation of the Bennett-Brassard-Mermin 92 (BBM) inequality is, also, a sufficient…
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…