Abstract Bell's theorem is refuted by presenting a counterexample that correctly predicts the expectation values of QM. As Bell only ruled out non-contextual models, a contextual model with hidden variables can refute his theorem. Such a model, which is able to explain the spin measurement results with entangled photons or electrons, is presented herein. It is not ruled out by the Kochen-Specker theorem. A physical justification for the contextual behaviour of entangled systems is provided. Consequences for the feasibility of quantum computers are discussed.
Abstract Bell's theorem is refuted by presenting a counterexample that correctly predicts the expectation values of QM. As Bell only ruled out non-contextual models, a contextual model with hidden variables can refute his theorem. Such a model, which is able to explain the spin measurement results with entangled photons or electrons, is presented herein. It is not ruled out by the Kochen-Specker theorem. A physical justification for the contextual behaviour of entangled systems is provided. Consequences for the feasibility of quantum computers are discussed.
Abstract In chapter 12 we give an overview of the historical development of hidden-variable theories aiming to attribute ‘hidden’ definite outcomes to any potential measurement on a quantum system. We start with a discussion of von Neumann’s assumption on hidden-variable models, which was later realized not to hold by Hermann, Kochen, Specker, and Bell, going into detail on Bell’s refutation of von Neumann’s arguments. We then turn to the notion of contextuality, which severely restricts hidden-variable models: we discuss Gleason’s theorem before stating and proving the famous Kochen-Specker theorem, as well as the simpler versions of Peres’ nonet and Mermin’s pentagram. These results show that quantum mechanics is not compatible with the assignment of definite measurement outcomes to all possible measurements, and such assignments can hence only be made once a restricted set of observables, a context, is selected
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for by some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of locality, Bell's theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS). Noncontextuality is independent of nonlocality, and the contextuality manifests itself even in a single object. Here we report an experimental verification of quantum contextuality by a single spin-1 electron system at room temperature. Such a three-level system is indivisible and then we close the compatibility loophole which exists in the experiments performed on bipartite systems. Our results confirm the quantum contextuality to be the intrinsic property of single particles.
The Kochen-Specker theorem, Bell inequalities, and several other tests that were designed to rule out hidden-variable theories, assume the existence of observables having infinitely sharp eigenvalues. A paradigmatic example is spin-1/2. It is measured with a Stern-Gerlach array whose outputs are divided into two classes, spin-up and spin-down, in correspondence to the two spots observed on a detection screen. The spot's finite size is attributed to imperfections of the measuring device. This assumption turns the experimental output into a dichotomic, discrete one, thereby allowing the assignment of each spot to an infinitely sharp eigenvalue. Alternatively, one can assume that the spot's finite size stems from eigenvalues spanning a continuous range. Can we disprove such an assumption? Can we rule out hidden-variable theories that reproduce quantum predictions by assuming that, e.g., the electron's magnetic moment is not exactly the same for all electrons? We address these questions by focusing on the Peres-Mermin version of the Bell-Kochen-Specker theorem. It is shown that the assumption of unsharp eigenvalues precludes ruling out non-contextual hidden-variable theories and hence quantum contextuality does not arise. Analogous results hold for Bell-like inequalities. This represents a new loophole that spoils several fundamental tests of quantum mechanics and issues the challenge to close it.
Bell nonlocality and Kochen-Specker contextuality are among the main topics in the foundations of quantum theory. Both of them are related to stronger-than-classical correlations, with the former usually referring to spatially separated systems, while the latter considers a single system. In recent works, a unified framework for these phenomena was presented. This article reviews, expands, and obtains new results regarding this framework. Contextual and disturbing features inside the local models are explored, which allows for the definition of different local sets with a non-trivial relation among them. The relations between the set of quantum correlations and these local sets are also considered, and post-quantum local behaviours are found. Moreover, examples of correlations that are both local and non-contextual but such that these two classical features cannot be expressed by the same hidden variable model are shown. Extensions of the Fine-Abramsky-Brandenburger theorem are also discussed.
Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of classicality, the Bell theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS) . Tests of the Bell inequality and the BKS theorem are both of fundamental interests and of great significance . The Bell theorem has already been experimentally verified extensively on many different systems , while the quantum contextuality, which is independent of nonlocality and manifests itself even in a single object, is experimentally more demanding. Moreover, the contextuality has been shown to play a critical role to supply the `magic' for quantum computation, making more extensive experimental verifications in potential systems for quantum computing even more stringent. Here we report an experimental verification of quantum contextuality on an individual atomic nuclear spin-1 system in solids under ambient condition. Such a three-level system is indivisible and thus the compatibility loophole, which exists in the experiments performed on bipartite systems, is closed. Our experimental results confirm that the quantum contextuality cannot be explained by nonlocal entanglement, revealing the fundamental quantumness other than locality/nonlocality within the intrinsic spin freedom of a concrete natural atomic solid-state system at room temperature.
The Kochen–Specker (KS) theorem reveals the nonclassicality of single quantum systems. In contrast, Bell's theorem and entanglement concern the nonclassicality of composite quantum systems. Accordingly, unlike incompatibility, entanglement and Bell non-locality are not necessary to demonstrate KS-contextuality. However, here we find that for multiqubit systems, entanglement and non-locality are both essential to proofs of the Kochen–Specker theorem. Firstly, we show that unentangled measurements (a strict superset of local measurements) can never yield a logical (state-independent) proof of the KS theorem for multiqubit systems. In particular, unentangled but nonlocal measurements—whose eigenstates exhibit ''nonlocality without entanglement"—are insufficient for such proofs. This also implies that proving Gleason's theorem on a multiqubit system necessarily requires entangled projections, as shown by Wallach [Contemp Math, 305: 291-298 (2002)]. Secondly, we show that a multiqubit state admits a statistical (state-dependent) proof of the KS theorem if and only if it can violate a Bell inequality with projective measurements. We also establish the relationship between entanglement and the theorems of Kochen–Specker and Gleason more generally in multiqudit systems by constructing new examples of KS sets. Finally, we discuss how our results shed new light on the role of multiqubit contextuality as a resource within the paradigm of quantum computation with state injection.