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:1109.4396 · Physical Review Letters

State-Independent Proof of Kochen-Specker Theorem with 13 Rays

Sixia Yu, C. H. Oh

Published Jan 18, 2012• 235 citations
arXivHTMLPDF

Abstract

Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified. However, for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all noncontextual realistic models while being violated by all qutrit states. Thus our inequality facilitates a state-independent test of the quantum contextuality for an indivisible quantum system. We also provide a record-breaking state-independent proof of the Kochen-Specker theorem with 13 directions determined by 26 points on the surface of a magic cube.

DOI
10.1103/physrevlett.108.030402

Related papers

A proof of the Kochen–Specker theorem can always be converted to a state-independent noncontextuality inequality

Xiao-Dong Yu, Yan-Qing Guo, D M Tong

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 found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether this is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prove that all kinds of proofs of the Kochen-Specker theorem, based on rays or any other observables, can always be converted to state-independent noncontextuality inequalities. Besides, our constructive proof also provides a general approach for deriving a state-independent noncontextuality inequality from a proof of the KS theorem.

arXiv:1505.02603•New Journal of Physics•Sep 2, 2015•16 citations

State-independent experimental test of quantum contextuality in solid state system

Xinyu Pan, Yanchun Chang, Gang‐Qin Liu +1 more

Quantum mechanics implies that not all physical properties can be simultaneously well defined, such as the momentum and position due to Heisenberg uncertainty principle. Some alternative theories have been explored, notably the non-contextual hidden variable theories in which the properties of a system have pre-defined values which are independent of the measurement contextual. However, the Kochen-Specker theorem showed that such non-contextual hidden variable theories are in conflict with quantum mechanics. Recently, a state-independent inequality satisfied by non-contextual hidden variable theories and violated by quantum mechanics is proposed in the simplest three-state system (a qutrit) by the least 13 projection measurement rays. Here, we report an experimental demonstration of the violation of this inequality. This provides a state-independent experimental test of quantum contextuality, for the first time in solid state system, by a natural qutrit of nitrogen-vacancy center in diamond at room temperature.

arXiv:1209.2901•Sep 13, 2012•0 citations

Proposed experiments of qutrit state-independent contextuality and two-qutrit contextuality-based nonlocality

Adán Cabello, Elias Amselem, Kate Blanchfield +2 more

Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in a three-path setup. In addition, we show that if the same measurements are performed on two entangled qutrits, rather than sequentially on the same qutrit, then the noncontextual inequality becomes a Bell inequality. We show that this connection also applies to other recently introduced noncontextual inequalities.

arXiv:1203.0981•Physical Review A•Mar 5, 2012•37 citations

Experimental demonstration of quantum contextuality with nine observables on a single photonic qutrit

Xiao-Xiao Chen, Jian Li, Mairikena Aili +3 more

The violation of contextuality inequalities shows a strong conflict between the noncontextual hidden variable theory and quantum mechanics. A single qutrit is the simplest indivisible quantum system that can allow a state-dependent contextuality test with five observables and a state-independent contextuality test with 13 observables. For any qutrit states, except for the maximally mixed state, one can always find a set of nine observables for which the corresponding inequality is violated [P. Kurzynski and D. Kaszlikowski, Phys. Rev. A 86, 042125 (2012)]. In this paper, we demonstrate the violation of this inequality using single-photon experiments. Our experiments not only enrich the tests of quantum contextuality, but also deepen the understanding of the physical nature of quantum mechanics.

Physical Review A•Apr 25, 2023•2 citations

Optical scheme to demonstrate state-independent quantum contextuality

Ya-Ping He, Dengke Qu, Lei Xiao +2 more

The contradiction between classical and quantum physics can be identified through quantum contextuality, which does not need composite systems or spacelike separation. Contextuality is proven either by a logical contradiction between the noncontextuality hidden variable predictions and those of quantum mechanics or by the violation of noncontextual inequality. We propose an experimental scheme of state-independent contextual inequality derived from the Mermin proof of the Kochen–Specker (KS) theorem in eight-dimensional Hilbert space, which could be observed either in an individual system or in a composite system. We also show how to resolve the compatibility problems. Our scheme can be implemented in optical systems with current experiment techniques.

Chinese Physics B•Sep 1, 2021•0 citations

Construction of state-independent proofs for quantum contextuality

Weidong Tang, Sixia Yu

Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the noncontextual hidden variable theory of our nature at the microscopic scale. The conflict between the noncontextual hidden variable theory and quantum mechanics is commonly revealed by Kochen-Specker sets of yes-no tests, represented by projectors (or rays), via either logical contradictions or noncontextuality inequalities in a state-(in)dependent manner. Here we propose a systematic and programmable construction of a state-independent proof from a given set of nonspecific rays in ${\mathbb{C}}^{3}$ according to their Gram matrix. This approach brings us a greater convenience in the experimental arrangements. Besides, our proofs in ${\mathbb{C}}^{3}$ can also be generalized to any higher-dimensional systems by a recursive method.

arXiv:1707.05626•Physical Review A•Dec 21, 2017•5 citations
Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified. However, for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all noncontextual realistic models while being violated by all qutrit states. Thus our inequality facilitates a state-independent test of the quantum contextuality for an indivisible quantum system. We also provide a record-breaking state-independent proof of the Kochen-Specker theorem with 13 directions determined by 26 points on the surface of a magic cube.
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 found that some proofs of the Kochen-Specker theorem, such as those based on rays, can be converted to a state-independent noncontextuality inequality, but it remains open whether this is true in general, i.e., whether any proof of the Kochen-Specker theorem can always be converted to a noncontextuality inequality. In this paper, we address this issue. We prove that all kinds of proofs of the Kochen-Specker theorem, based on rays or any other observables, can always be converted to state-independent noncontextuality inequalities. Besides, our constructive proof also provides a general approach for deriving a state-independent noncontextuality inequality from a proof of the KS theorem.
Quantum mechanics implies that not all physical properties can be simultaneously well defined, such as the momentum and position due to Heisenberg uncertainty principle. Some alternative theories have been explored, notably the non-contextual hidden variable theories in which the properties of a system have pre-defined values which are independent of the measurement contextual. However, the Kochen-Specker theorem showed that such non-contextual hidden variable theories are in conflict with quantum mechanics. Recently, a state-independent inequality satisfied by non-contextual hidden variable theories and violated by quantum mechanics is proposed in the simplest three-state system (a qutrit) by the least 13 projection measurement rays. Here, we report an experimental demonstration of the violation of this inequality. This provides a state-independent experimental test of quantum contextuality, for the first time in solid state system, by a natural qutrit of nitrogen-vacancy center in diamond at room temperature.
Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in a three-path setup. In addition, we show that if the same measurements are performed on two entangled qutrits, rather than sequentially on the same qutrit, then the noncontextual inequality becomes a Bell inequality. We show that this connection also applies to other recently introduced noncontextual inequalities.
The violation of contextuality inequalities shows a strong conflict between the noncontextual hidden variable theory and quantum mechanics. A single qutrit is the simplest indivisible quantum system that can allow a state-dependent contextuality test with five observables and a state-independent contextuality test with 13 observables. For any qutrit states, except for the maximally mixed state, one can always find a set of nine observables for which the corresponding inequality is violated [P. Kurzynski and D. Kaszlikowski, Phys. Rev. A 86, 042125 (2012)]. In this paper, we demonstrate the violation of this inequality using single-photon experiments. Our experiments not only enrich the tests of quantum contextuality, but also deepen the understanding of the physical nature of quantum mechanics.
The contradiction between classical and quantum physics can be identified through quantum contextuality, which does not need composite systems or spacelike separation. Contextuality is proven either by a logical contradiction between the noncontextuality hidden variable predictions and those of quantum mechanics or by the violation of noncontextual inequality. We propose an experimental scheme of state-independent contextual inequality derived from the Mermin proof of the Kochen–Specker (KS) theorem in eight-dimensional Hilbert space, which could be observed either in an individual system or in a composite system. We also show how to resolve the compatibility problems. Our scheme can be implemented in optical systems with current experiment techniques.
Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the noncontextual hidden variable theory of our nature at the microscopic scale. The conflict between the noncontextual hidden variable theory and quantum mechanics is commonly revealed by Kochen-Specker sets of yes-no tests, represented by projectors (or rays), via either logical contradictions or noncontextuality inequalities in a state-(in)dependent manner. Here we propose a systematic and programmable construction of a state-independent proof from a given set of nonspecific rays in C3{\mathbb{C}}^{3}C3 according to their Gram matrix. This approach brings us a greater convenience in the experimental arrangements. Besides, our proofs in C3{\mathbb{C}}^{3}C3 can also be generalized to any higher-dimensional systems by a recursive method.