Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0809.5193

Testing the Kochen-Specker theorem with Josephson qubits

L. F. Wei, Koji Maruyama, X. B. Wang, J. Q. You, Franco Nori

Published Sep 30, 2008• 0 citations
arXivHTMLPDF

Abstract

We propose an experimental approach to {\it macro}scopically test the Kochen-Specker theorem (KST) with superconducting qubits. This theorem, which has been experimentally tested with single photons or neutrons, concerns the conflict between the contextuality of quantum mechnaics (QM) and the noncontextuality of hidden-variable theories (HVTs). We first show that two Josephson charge qubits can be controllably coupled by using a two-level data bus produced by a Josephson phase qubit. Next, by introducing an approach to perform the expected joint quantum measurements of two separated Josephson qubits, we show that the proposed quantum circuits could demonstrate quantum contextuality by testing the KST at a macroscopic level.

DOI
10.48550/arxiv.0809.5193

Related papers

Testing quantum contextuality with macroscopic superconducting circuits

L. F. Wei, Koji Maruyama, Xiang‐Bin Wang +2 more

We propose an experimental procedure to macroscopically test the Kochen-Specker theorem with superconducting qubits. This theorem, which has been experimentally tested with single photons and neutrons, elucidates the conflict between quantum mechanics and noncontextual hidden variable theories. Two Josephson charge qubits can be controllably coupled by using a two-level data bus built with a phase qubit. Then, by performing joint nondestructive quantum measurements of two distinct qubits, we show that the proposed circuits could demonstrate quantum contextuality at a macroscopic level.

Physical Review B•May 13, 2010•8 citations

Kochen–Specker theorem studied with neutron interferometer

Yuji Hasegawa, Katharina Durstberger-Rennhofer, Stephan Sponar +1 more

The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.

arXiv:1004.2836•Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment•Jul 2, 2010•44 citations

Experimental Test of Quantum Contextuality in Neutron Interferometry

Hannes Bartosik, Jürgen Klepp, Claus Schmitzer +4 more

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 al. [Phys. Rev. Lett. 100, 130404 (2008)10.1103/PhysRevLett.100.130404], a Bell-like state was generated, and three expectation values were determined. The observed violation 2.291 +/- 0.008 not less, dbl equals1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden-variable theories.

arXiv:0904.4576•Physical Review Letters•Jul 23, 2009•239 citations

An experimental test of the non-classicality of quantum mechanics using an unmovable and indivisible system

Xi Kong, Mingjun Shi, Fazhan Shi +7 more

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.

arXiv:1210.0961•Oct 3, 2012•3 citations

Quantum Contextuality

Costantino Budroni, Adán Cabello, Otfried Gühne +2 more

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.

•Feb 25, 2021•7 citations

Proposed Experimental Tests of the Bell-Kochen-Specker Theorem

Adán Cabello, Guillermo García Alcaine

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 permits a simple all-or-nothing state-independent experimental verification of the Bell-Kochen-Specker theorem.

arXiv:quant-ph/9709047•Physical Review Letters•Mar 2, 1998•116 citations
We propose an experimental approach to {\it macro}scopically test the Kochen-Specker theorem (KST) with superconducting qubits. This theorem, which has been experimentally tested with single photons or neutrons, concerns the conflict between the contextuality of quantum mechnaics (QM) and the noncontextuality of hidden-variable theories (HVTs). We first show that two Josephson charge qubits can be controllably coupled by using a two-level data bus produced by a Josephson phase qubit. Next, by introducing an approach to perform the expected joint quantum measurements of two separated Josephson qubits, we show that the proposed quantum circuits could demonstrate quantum contextuality by testing the KST at a macroscopic level.
We propose an experimental procedure to macroscopically test the Kochen-Specker theorem with superconducting qubits. This theorem, which has been experimentally tested with single photons and neutrons, elucidates the conflict between quantum mechanics and noncontextual hidden variable theories. Two Josephson charge qubits can be controllably coupled by using a two-level data bus built with a phase qubit. Then, by performing joint nondestructive quantum measurements of two distinct qubits, we show that the proposed circuits could demonstrate quantum contextuality at a macroscopic level.
The Kochen-Specker theorem shows the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well tested in experiments using Bell inequalities. Within neutron interferometry we performed an experimental test of the Kochen-Specker theorem with an inequality, which identifies quantum contextuality, by using spin-path entanglement of single neutrons. Here entanglement is achieved not between different particles, but between degrees of freedom of a single neutron, i.e., between spin and path degree of freedom. Appropriate combinations of the spin analysis and the position of the phase shifter allow an experimental verification of the violation of an inequality derived from the Kochen-Specker theorem. The observed violation 2.291±0.008≰1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden variable theories.
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 al. [Phys. Rev. Lett. 100, 130404 (2008)10.1103/PhysRevLett.100.130404], a Bell-like state was generated, and three expectation values were determined. The observed violation 2.291 +/- 0.008 not less, dbl equals1 clearly shows that quantum mechanical predictions cannot be reproduced by noncontextual hidden-variable theories.
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.
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.