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:1707.05626 · Physical Review A

Construction of state-independent proofs for quantum contextuality

Weidong Tang, Sixia Yu

Published Dec 21, 2017• 5 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physreva.96.062126

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

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

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

Sixia Yu, C. H. Oh

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.

arXiv:1109.4396•Physical Review Letters•Jan 18, 2012•235 citations

Systematic construction of quantum contextuality scenarios with rank advantage

Pascal Höhn, Zhen‐Peng Xu, Matthias Kleinmann

A set of quantum measurements exhibits quantum contextuality when any consistent value assignment to the measurement outcomes leads to a contradiction with quantum theory. In the original Kochen-Specker-type of argument the measurement projectors are assumed to be rays, that is, of unit rank. Only recently a contextuality scenario has been identified where state-independent contextuality requires measurements with projectors of rank two. Using the disjunctive graph product, we provide a systematic method to construct contextuality scenarios which require non-unit rank. We construct explicit examples requiring ranks greater than rank one up to rank five.

arXiv:2207.11183•Jul 22, 2022•0 citations

From the Kochen-Specker Theorem to Noncontextuality Inequalities without Assuming Determinism

Ravi Kunjwal, Robert W. Spekkens

The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and noncontextually. A noncontextual value assignment to a projector is one that does not depend on which other projectors-the context-are measured together with it. Using a generalization of the notion of noncontextuality that applies to both measurements and preparations, we propose a scheme for deriving inequalities that test whether a given set of experimental statistics is consistent with a noncontextual model. Unlike previous inequalities inspired by the Kochen-Specker theorem, we do not assume that the value assignments are deterministic and therefore in the face of a violation of our inequality, the possibility of salvaging noncontextuality by abandoning determinism is no longer an option. Our approach is operational in the sense that it does not presume quantum theory: a violation of our inequality implies the impossibility of a noncontextual model for any operational theory that can account for the experimental observations, including any successor to quantum theory.

arXiv:1506.04150•Physical Review Letters•Sep 9, 2015•87 citations

State-Independent Proof of Kochen—Specker Theorem with Thirty Rank-Two Projectors

S. P. Toh

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 rank-2 projectors, associated with the Mermin pentagram for a three-qubit system.

arXiv:1310.0190•Chinese Physics Letters•Oct 1, 2013•4 citations
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.
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.
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.
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.
A set of quantum measurements exhibits quantum contextuality when any consistent value assignment to the measurement outcomes leads to a contradiction with quantum theory. In the original Kochen-Specker-type of argument the measurement projectors are assumed to be rays, that is, of unit rank. Only recently a contextuality scenario has been identified where state-independent contextuality requires measurements with projectors of rank two. Using the disjunctive graph product, we provide a systematic method to construct contextuality scenarios which require non-unit rank. We construct explicit examples requiring ranks greater than rank one up to rank five.
The Kochen-Specker theorem demonstrates that it is not possible to reproduce the predictions of quantum theory in terms of a hidden variable model where the hidden variables assign a value to every projector deterministically and noncontextually. A noncontextual value assignment to a projector is one that does not depend on which other projectors-the context-are measured together with it. Using a generalization of the notion of noncontextuality that applies to both measurements and preparations, we propose a scheme for deriving inequalities that test whether a given set of experimental statistics is consistent with a noncontextual model. Unlike previous inequalities inspired by the Kochen-Specker theorem, we do not assume that the value assignments are deterministic and therefore in the face of a violation of our inequality, the possibility of salvaging noncontextuality by abandoning determinism is no longer an option. Our approach is operational in the sense that it does not presume quantum theory: a violation of our inequality implies the impossibility of a noncontextual model for any operational theory that can account for the experimental observations, including any successor to quantum theory.