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

Theoretical and Experimental Investigation of Gauge-like Equivalent Quantum Noncontextual Inequalities

Shihao Ru, Weidong Tang, Yunlong Wang, Feiran Wang, Pei Zhang, Fuli li

Published Oct 11, 2020• 1 citation
OpenAlex

Abstract

Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processes. In this letter, we derive a class of gauge-like equivalent noncontextual inequalities from different noncontextual models of the proofs for Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items holding both for noncontextual hidden variable theories and quantum mechanics, and can be converted to an extreme simplest Mermin-like inequality. Then, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path and orbital angular momentum, we experimentally test all these state-dependent noncontextual models of the proofs for the Kochen-Specker theorem only by checking the extreme simplest Mermin-like inequality. The experiment results show that the Mermin-like inequality can be obviously violated and quantum mechanics is exclusively contextual.

Related papers

Verification of Kochen-Specker-type quantum contextuality with a single photon

Shihao Ru, Weidong Tang, Yunlong Wang +3 more

Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities from different noncontextual models of the proofs for the Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items which hold both for noncontextual hidden variable theories and quantum mechanics. Therefore, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path, and orbital angular momentum, we experimentally verify several state-dependent noncontextual models of the proofs for the Kochen-Specker theorem by testing an extreme simplest Mermin-like inequality.

arXiv:2010.05266•Physical Review A•Jan 27, 2022•4 citations

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

Experimental implementation of an eight-dimensional Kochen-Specker set and observation of its connection with the Greenberger-Horne-Zeilinger theorem

Gustavo Cañas, S. Etcheverry, Esteban S. Gómez +4 more

For eight-dimensional quantum systems there is a Kochen-Specker (KS) set of 40 quantum yes-no tests that is related to the Greenberger-Horne-Zeilinger (GHZ) proof of Bell's theorem. Here we experimentally implement this KS set using an eight-dimensional Hilbert space spanned by the transverse momentum of single photons. We show that the experimental results of these tests violate a state-independent noncontextuality inequality. In addition, we show that, if the system is prepared in states that are formally equivalent to a three-qubit GHZ and W states, then the results of a subset of 16 tests violate a noncontextuality inequality that is formally equivalent to the three-party Mermin's Bell inequality, but for single eight-dimensional quantum systems. These experimental results highlight the connection between quantum contextuality and nonlocality for eight-dimensional quantum systems.

arXiv:1308.6336•Physical Review A•Jul 31, 2014•36 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

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

Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen–Specker theorem: the Peres–Mermin square

Anirudh Krishna, Robert W. Spekkens, Elie Wolfe

When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen–Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen–Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres–Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres–Mermin square.

arXiv:1704.01153•New Journal of Physics•Oct 5, 2017•31 citations
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processes. In this letter, we derive a class of gauge-like equivalent noncontextual inequalities from different noncontextual models of the proofs for Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items holding both for noncontextual hidden variable theories and quantum mechanics, and can be converted to an extreme simplest Mermin-like inequality. Then, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path and orbital angular momentum, we experimentally test all these state-dependent noncontextual models of the proofs for the Kochen-Specker theorem only by checking the extreme simplest Mermin-like inequality. The experiment results show that the Mermin-like inequality can be obviously violated and quantum mechanics is exclusively contextual.
Contextuality provides one of the fundamental characterizations of quantum phenomena, and can be used as a resource in lots of quantum information processing. In this paper, we summarize and derive some equivalent noncontextual inequalities from different noncontextual models of the proofs for the Kochen-Specker theorem based on Greenberger-Horne-Zeilinger states. These noncontextual inequalities are equivalent up to some correlation items which hold both for noncontextual hidden variable theories and quantum mechanics. Therefore, using single-photon hyperentangled Greenberger-Horne-Zeilinger states encoded by spin, path, and orbital angular momentum, we experimentally verify several state-dependent noncontextual models of the proofs for the Kochen-Specker theorem by testing an extreme simplest Mermin-like inequality.
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.
For eight-dimensional quantum systems there is a Kochen-Specker (KS) set of 40 quantum yes-no tests that is related to the Greenberger-Horne-Zeilinger (GHZ) proof of Bell's theorem. Here we experimentally implement this KS set using an eight-dimensional Hilbert space spanned by the transverse momentum of single photons. We show that the experimental results of these tests violate a state-independent noncontextuality inequality. In addition, we show that, if the system is prepared in states that are formally equivalent to a three-qubit GHZ and W states, then the results of a subset of 16 tests violate a noncontextuality inequality that is formally equivalent to the three-party Mermin's Bell inequality, but for single eight-dimensional quantum systems. These experimental results highlight the connection between quantum contextuality and nonlocality for eight-dimensional quantum systems.
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.
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.
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen–Specker theorem rules out models of quantum theory that satisfy a particular assumption of context-independence: that sharp measurements are assigned outcomes both deterministically and independently of their context. This notion of noncontextuality is not suited to a direct experimental test because realistic measurements always have some degree of unsharpness due to noise. However, a generalized notion of noncontextuality has been proposed that is applicable to any experimental procedure, including unsharp measurements, but also preparations as well, and for which a quantum no-go result still holds. According to this notion, the model need only specify a probability distribution over the outcomes of a measurement in a context-independent way, rather than specifying a particular outcome. It also implies novel constraints of context-independence for the representation of preparations. In this article, we describe a general technique for translating proofs of the Kochen–Specker theorem into inequality constraints on realistic experimental statistics, the violation of which witnesses the impossibility of a noncontextual model. We focus on algebraic state-independent proofs, using the Peres–Mermin square as our illustrative example. Our technique yields the necessary and sufficient conditions for a particular set of correlations (between the preparations and the measurements) to admit a noncontextual model. The inequalities thus derived are demonstrably robust to noise. We specify how experimental data must be processed in order to achieve a test of these inequalities. We also provide a criticism of prior proposals for experimental tests of noncontextuality based on the Peres–Mermin square.