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

Minimal state-dependent proof of measurement contextuality for a qubit

Ravi Kunjwal, Sibasish Ghosh A

Published Apr 25, 2014• 29 citations
arXivHTMLPDF

Abstract

We show that three unsharp binary qubit measurements are enough to violate a generalized noncontextuality inequality, the Liang-Spekkens-Wiseman inequality, in a state-dependent manner. For the case of trine spin axes we calculate the optimal quantum violation of this inequality. In addition, we show that unsharp qubit measurements do not allow a state-independent violation of this inequality. We thus provide a minimal state-dependent proof of measurement contextuality requiring one qubit and three unsharp measurements. Our result rules out generalized noncontextual models of these measurements which were previously conjectured to exist. More importantly, this class of generalized noncontextual models includes the traditional Kochen-Specker (KS) noncontextual models as a proper subset, so our result rules out a larger class of models than those ruled out by a violation of the corresponding KS inequality in this scenario.

DOI
10.1103/physreva.89.042118

Related papers

Experimental generalized contextuality with single-photon qubits

Xiang Zhan, Eric G. Cavalcanti, Jian Li +4 more

Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important goal. The traditional form of contextuality -- as violation of a Kochen-Specker inequality -- requires a quantum system with at least three levels, and the status of the assumption of determinism used in deriving those inequalities has been controversial. By considering `unsharp' observables, Liang, Spekkens and Wiseman (LSW) derived an inequality for generalized noncontextual models that doesn't assume determinism, and applies already to a qubit. We experimentally implement the LSW test using the polarization states of a heralded single photon and three unsharp binary measurements. We violate the LSW inequality by more than 16 standard deviations, thus showing that our results cannot be reproduced by a noncontextual subset of quantum theory.

arXiv:1505.06825•Optica•Aug 8, 2017•31 citations

Qubit measurements for testing contextuality through the violation of Liang-Spekkens-Wiseman-Yu-Oh inequality

Meng Yan, Hao-Zhan Zou, Xiang Zhan

Abstract Contextuality is a striking feature of our nature predicted by quantum theory and tested by various experiments. In a qubit system, testing contextuality requires scenarios distinct from traditional ones for systems with dimension of three or greater. In this paper, we consider the noncontextuality inequality developed by Liang-Spekkens-Wiseman and Yu-Oh, and investigate the set of three qubit measurements that can be used to test and violate this inequality. Our numerical results show that two of the three measurements can be almost arbitrary. Moreover, we have singled out several extremely interesting sets of measurements, e.g. one measurements can be white noise while the other two are arbitrarily close to white noise. These sets fulfill our knowledge about contextuality in this minimum quantum system.

New Journal of Physics•Aug 1, 2023•0 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

Quantum contextuality and joint measurement of three observables of a qubit

Sixia Yu, Changhun Oh

Whereas complementarity manifests itself via two incompatible observables, quantum contextuality can only be revealed via the joint measurements among at least three observables. By incorporating unsharp measurements and joint measurements into a realistic model, we reestablish an inequality due to Liang, Spekkens, and Wiseman rigorously based on the assumption of noncontextuality alone. Its violation therefore unambiguously pinpoints the quantum contextuality of a two-level system. The maximal violation is attained by three triplewise jointly measurable observables that are pairwise jointly measured in an incompatible way. We also present the necessary and sufficient condition of triplewise joint measurability of three unbiased observables of a qubit.

arXiv:1312.6470•Dec 23, 2013•12 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

Fine's theorem, noncontextuality, and correlations in Specker's scenario

Ravi Kunjwal

A characterization of noncontextual models which fall within the ambit of Fine's theorem is provided. In particular, the equivalence between the existence of three notions is made explicit: a joint probability distribution over the outcomes of all the measurements considered, a measurement-noncontextual and outcome-deterministic (or KS-noncontextual, where KS stands for Kochen-Specker) model for these measurements, and a measurement-noncontextual and factorizable model for them. A KS inequality, therefore, is implied by each of these three notions. Following this characterization of noncontextual models that fall within the ambit of Fine's theorem, nonfactorizable noncontextual models which lie outside the domain of Fine's theorem are considered. While outcome determinism for projective (sharp) measurements in quantum theory can be shown to follow from the assumption of preparation noncontextuality, such a justification is not available for nonprojective (unsharp) measurements which ought to admit outcome-indeterministic response functions. The Liang-Spekkens-Wiseman (LSW) inequality is cited as an example of a noncontextuality inequality that should hold in any noncontextual model of quantum theory without assuming factorizability. Three other noncontextuality inequalities, which turn out to be equivalent to the LSW inequality under relabelings of measurement outcomes, are derived for Specker's scenario. The polytope of correlations admissible in this scenario, given the no-disturbance condition, is characterized.

arXiv:1410.7760•Physical Review A•Feb 12, 2015•17 citations
We show that three unsharp binary qubit measurements are enough to violate a generalized noncontextuality inequality, the Liang-Spekkens-Wiseman inequality, in a state-dependent manner. For the case of trine spin axes we calculate the optimal quantum violation of this inequality. In addition, we show that unsharp qubit measurements do not allow a state-independent violation of this inequality. We thus provide a minimal state-dependent proof of measurement contextuality requiring one qubit and three unsharp measurements. Our result rules out generalized noncontextual models of these measurements which were previously conjectured to exist. More importantly, this class of generalized noncontextual models includes the traditional Kochen-Specker (KS) noncontextual models as a proper subset, so our result rules out a larger class of models than those ruled out by a violation of the corresponding KS inequality in this scenario.
Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important goal. The traditional form of contextuality -- as violation of a Kochen-Specker inequality -- requires a quantum system with at least three levels, and the status of the assumption of determinism used in deriving those inequalities has been controversial. By considering `unsharp' observables, Liang, Spekkens and Wiseman (LSW) derived an inequality for generalized noncontextual models that doesn't assume determinism, and applies already to a qubit. We experimentally implement the LSW test using the polarization states of a heralded single photon and three unsharp binary measurements. We violate the LSW inequality by more than 16 standard deviations, thus showing that our results cannot be reproduced by a noncontextual subset of quantum theory.
Abstract Contextuality is a striking feature of our nature predicted by quantum theory and tested by various experiments. In a qubit system, testing contextuality requires scenarios distinct from traditional ones for systems with dimension of three or greater. In this paper, we consider the noncontextuality inequality developed by Liang-Spekkens-Wiseman and Yu-Oh, and investigate the set of three qubit measurements that can be used to test and violate this inequality. Our numerical results show that two of the three measurements can be almost arbitrary. Moreover, we have singled out several extremely interesting sets of measurements, e.g. one measurements can be white noise while the other two are arbitrarily close to white noise. These sets fulfill our knowledge about contextuality in this minimum quantum system.
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.
Whereas complementarity manifests itself via two incompatible observables, quantum contextuality can only be revealed via the joint measurements among at least three observables. By incorporating unsharp measurements and joint measurements into a realistic model, we reestablish an inequality due to Liang, Spekkens, and Wiseman rigorously based on the assumption of noncontextuality alone. Its violation therefore unambiguously pinpoints the quantum contextuality of a two-level system. The maximal violation is attained by three triplewise jointly measurable observables that are pairwise jointly measured in an incompatible way. We also present the necessary and sufficient condition of triplewise joint measurability of three unbiased observables of a qubit.
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.
A characterization of noncontextual models which fall within the ambit of Fine's theorem is provided. In particular, the equivalence between the existence of three notions is made explicit: a joint probability distribution over the outcomes of all the measurements considered, a measurement-noncontextual and outcome-deterministic (or KS-noncontextual, where KS stands for Kochen-Specker) model for these measurements, and a measurement-noncontextual and factorizable model for them. A KS inequality, therefore, is implied by each of these three notions. Following this characterization of noncontextual models that fall within the ambit of Fine's theorem, nonfactorizable noncontextual models which lie outside the domain of Fine's theorem are considered. While outcome determinism for projective (sharp) measurements in quantum theory can be shown to follow from the assumption of preparation noncontextuality, such a justification is not available for nonprojective (unsharp) measurements which ought to admit outcome-indeterministic response functions. The Liang-Spekkens-Wiseman (LSW) inequality is cited as an example of a noncontextuality inequality that should hold in any noncontextual model of quantum theory without assuming factorizability. Three other noncontextuality inequalities, which turn out to be equivalent to the LSW inequality under relabelings of measurement outcomes, are derived for Specker's scenario. The polytope of correlations admissible in this scenario, given the no-disturbance condition, is characterized.