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

Multisetting Bell inequalities for N spin-1 systems avoiding the Kochen-Specker contradiction

Arijit Dutta, Marcin Wieśniak, Marek Żukowski

Published Sep 13, 2012• 1 citation
arXivHTMLPDF

Abstract

Bell's theorem for systems more complicated than two qubits faces a hidden, as yet undiscussed, problem. One of the methods to derive Bell inequalities is to assume the existence of a joint probability distribution for measurement results for all settings in the given experiment. However, for spin-1 systems, one faces the problem that the eigenvalues of observables do not allow a consistent algebra if one allows all possible settings on each side (Bell's 1966 contradiction), or some specific sets (leading to a Kochen-Specker 1967 contradiction). We show here that by choosing a special set of settings which never lead to inconsistent algebra of eigenvalues, one can still derive multisetting Bell inequalities, and that they are robustly violated. Violation factors increase with the number of subsystems. The inequalities involve only spin observables, we do not allow all possible qutrit observables, still the violations are strong.

DOI
10.1103/physreva.86.032111

Related papers

Multideviations: The hidden structure of Bell's theorems

Brandon Fogel

Specification of the strongest possible Bell inequalities for arbitrarily complicated physical scenarios -- any number of observers choosing between any number of observables with any number of possible outcomes -- is currently an open problem. Here I provide a new set of tools, which I refer to as "multideviations", for finding and analyzing these inequalities for the fully general case. In Part I, I introduce the multideviation framework and then use it to prove an important theorem: the Bell distributions can be generated from the set of joint distributions over all observables by deeming specific degrees of freedom unobservable. In Part II, I show how the theorem provides a new method for finding tight Bell inequalities. I then specify a set of new tight Bell inequalities for arbitrary event spaces -- the "even/odd" inequalities -- which have a straightforward interpretation when expressed in terms of multideviations. The even/odd inequalities concern degrees of freedom that are independent of those involved in parameter independence, raising the possibility of a new Bell's theorem with stronger philosophical implications. Also, contrary to expectations, the violation of the inequalities by quantum mechanics increases in size with the number of systems.

arXiv:1512.04974•Dec 14, 2015•0 citations

Relaxed Bell inequalities and Kochen-Specker theorems

Michael J. W. Hall

The combination of various physically plausible properties, such as no signaling, determinism, and experimental free will, is known to be incompatible with quantum correlations. Hence, these properties must be individually or jointly relaxed in any model of such correlations. The necessary degrees of relaxation are quantified here via natural distance and information-theoretic measures. This allows quantitative comparisons between different models in terms of the resources, such as the number of bits of randomness, communication, and/or correlation, that they require. For example, measurement dependence is a relatively strong resource for modeling singlet-state correlations, with only 1/15 of one bit of correlation required between measurement settings and the underlying variable. It is shown how various ``relaxed'' Bell inequalities may be obtained, which precisely specify the complementary degrees of relaxation required to model any given violation of a standard Bell inequality. The robustness of a class of Kochen-Specker theorems, to relaxation of measurement independence, is also investigated. It is shown that a theorem of Mermin remains valid unless measurement independence is relaxed by 1/3. The Conway-Kochen ``free will'' theorem and a result of Hardy are less robust, failing if measurement independence is relaxed by only 6.5% and 4.5%, respectively. An appendix shows that existence of an outcome-independent model is equivalent to existence of a deterministic model.

arXiv:1102.4467•Physical Review A•Aug 2, 2011•172 citations

Logical Bell inequalities

Samson Abramsky, Lucién Hardy

Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of situations. There is a single clear conceptual principle, based on purely logical consistency conditions, which underlies our notion of logical Bell inequalities. We show that in a precise sense, all Bell inequalities can be taken to be of this form. Our approach is very general. It applies directly to any family of sets of commuting observables. Thus it covers not only the $n$-partite scenarios to which Bell inequalities are standardly applied, but also Kochen-Specker configurations, and many other examples. There is much current work on experimental tests for contextuality. Our approach directly yields, in a systematic fashion, testable inequalities for a very general notion of contextuality. There has been much work on obtaining proofs of Bell's theorem ``without inequalities'' or ``without probabilities.'' These proofs are seen as being in a sense more definitive and logically robust than the inequality-based proofs. On the hand, they lack the fault-tolerant aspect of inequalities. Our approach reconciles these aspects, and in fact shows how the logical robustness can be converted into systematic, general derivations of inequalities with provable violations. Moreover, the kind of strong non-locality or contextuality exhibited by the GHZ argument or by Kochen-Specker configurations can be shown to lead to maximal violations of the corresponding logical Bell inequalities. Thus the qualitative and the quantitative aspects are combined harmoniously.

arXiv:1203.1352•Physical Review A•Jun 20, 2012•110 citations

Joint distributions, quantum correlations, and commuting observables

Arthur I. Fine

We provide necessary and sufficient conditions for several observables to have a joint distribution. When applied to the bivalent observables of a quantum correlation experiment, we show that these conditions are equivalent to the Bell inequalities, and also to the existence of deterministic hidden variables. We connect the no-hidden-variables theorem of Kochen and Specker to these conditions for joint distributions. We conclude with a new theorem linking joint distributions and commuting observables, and show how violations of the Bell inequalities correspond to violations of commutativity, as in the theorem.

Journal of Mathematical Physics•Jul 1, 1982•337 citations

Inequalities for experimental tests of the Kochen-Specker theorem

Koji Nagata

We derive inequalities for n-partite states under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this assumption is connected to the no-hidden-variables theorem of Kochen and Specker (KS theorem). These inequalities give a way to experimentally test the KS theorem. The fidelity to the Bell states which is larger than 1∕2 is sufficient for the experimental confirmation of the KS theorem. Hence, the Werner state is enough to test experimentally the KS theorem. Furthermore, it is possible to test the KS theorem experimentally using uncorrelated states. An n-partite uncorrelated state violates the n-partite inequality derived here by an amount that grows exponentially with n.

arXiv:quant-ph/0312052•Journal of Mathematical Physics•Oct 1, 2005•8 citations

Multipartite bound entanglement and multisetting Bell inequalities

Dong Pyo Chi, Kabgyun Jeong, Tae‐Wan Kim +2 more

D\"ur [Phys. Rev. Lett. 87, 230402 (2001)] constructed $N$-qubit bound entangled states which violate a Bell inequality for $N\ensuremath{\ge}8$, and his result was recently improved by showing that there exists an $N$-qubit bound entangled state violating the same Bell inequality if and only if $N\ensuremath{\ge}6$ [Phys. Rev. A 79, 032309 (2009)]. On the other hand, it has been also shown that the states which D\"ur considered violate Bell inequalities different from the inequality for $N\ensuremath{\ge}6$. In this paper, by employing different forms of Bell inequalities, in particular, a specific form of Bell inequalities with $M$ settings of the measuring apparatus for sufficiently large $M$, we prove that there exists an $N$-qubit bound entangled state violating the $M$-setting Bell inequality if and only if $N\ensuremath{\ge}4$.

arXiv:0904.4818•Physical Review A•Sep 28, 2009•3 citations
Bell's theorem for systems more complicated than two qubits faces a hidden, as yet undiscussed, problem. One of the methods to derive Bell inequalities is to assume the existence of a joint probability distribution for measurement results for all settings in the given experiment. However, for spin-1 systems, one faces the problem that the eigenvalues of observables do not allow a consistent algebra if one allows all possible settings on each side (Bell's 1966 contradiction), or some specific sets (leading to a Kochen-Specker 1967 contradiction). We show here that by choosing a special set of settings which never lead to inconsistent algebra of eigenvalues, one can still derive multisetting Bell inequalities, and that they are robustly violated. Violation factors increase with the number of subsystems. The inequalities involve only spin observables, we do not allow all possible qutrit observables, still the violations are strong.
Specification of the strongest possible Bell inequalities for arbitrarily complicated physical scenarios -- any number of observers choosing between any number of observables with any number of possible outcomes -- is currently an open problem. Here I provide a new set of tools, which I refer to as "multideviations", for finding and analyzing these inequalities for the fully general case. In Part I, I introduce the multideviation framework and then use it to prove an important theorem: the Bell distributions can be generated from the set of joint distributions over all observables by deeming specific degrees of freedom unobservable. In Part II, I show how the theorem provides a new method for finding tight Bell inequalities. I then specify a set of new tight Bell inequalities for arbitrary event spaces -- the "even/odd" inequalities -- which have a straightforward interpretation when expressed in terms of multideviations. The even/odd inequalities concern degrees of freedom that are independent of those involved in parameter independence, raising the possibility of a new Bell's theorem with stronger philosophical implications. Also, contrary to expectations, the violation of the inequalities by quantum mechanics increases in size with the number of systems.
The combination of various physically plausible properties, such as no signaling, determinism, and experimental free will, is known to be incompatible with quantum correlations. Hence, these properties must be individually or jointly relaxed in any model of such correlations. The necessary degrees of relaxation are quantified here via natural distance and information-theoretic measures. This allows quantitative comparisons between different models in terms of the resources, such as the number of bits of randomness, communication, and/or correlation, that they require. For example, measurement dependence is a relatively strong resource for modeling singlet-state correlations, with only 1/15 of one bit of correlation required between measurement settings and the underlying variable. It is shown how various ``relaxed'' Bell inequalities may be obtained, which precisely specify the complementary degrees of relaxation required to model any given violation of a standard Bell inequality. The robustness of a class of Kochen-Specker theorems, to relaxation of measurement independence, is also investigated. It is shown that a theorem of Mermin remains valid unless measurement independence is relaxed by 1/3. The Conway-Kochen ``free will'' theorem and a result of Hardy are less robust, failing if measurement independence is relaxed by only 6.5% and 4.5%, respectively. An appendix shows that existence of an outcome-independent model is equivalent to existence of a deterministic model.
Bell inequalities play a central role in the study of quantum nonlocality and entanglement, with many applications in quantum information. Despite the huge literature on Bell inequalities, it is not easy to find a clear conceptual answer to what a Bell inequality is, or a clear guiding principle as to how they may be derived. In this paper, we introduce a notion of logical Bell inequality which can be used to systematically derive testable inequalities for a very wide variety of situations. There is a single clear conceptual principle, based on purely logical consistency conditions, which underlies our notion of logical Bell inequalities. We show that in a precise sense, all Bell inequalities can be taken to be of this form. Our approach is very general. It applies directly to any family of sets of commuting observables. Thus it covers not only the nnn-partite scenarios to which Bell inequalities are standardly applied, but also Kochen-Specker configurations, and many other examples. There is much current work on experimental tests for contextuality. Our approach directly yields, in a systematic fashion, testable inequalities for a very general notion of contextuality. There has been much work on obtaining proofs of Bell's theorem ``without inequalities'' or ``without probabilities.'' These proofs are seen as being in a sense more definitive and logically robust than the inequality-based proofs. On the hand, they lack the fault-tolerant aspect of inequalities. Our approach reconciles these aspects, and in fact shows how the logical robustness can be converted into systematic, general derivations of inequalities with provable violations. Moreover, the kind of strong non-locality or contextuality exhibited by the GHZ argument or by Kochen-Specker configurations can be shown to lead to maximal violations of the corresponding logical Bell inequalities. Thus the qualitative and the quantitative aspects are combined harmoniously.
We provide necessary and sufficient conditions for several observables to have a joint distribution. When applied to the bivalent observables of a quantum correlation experiment, we show that these conditions are equivalent to the Bell inequalities, and also to the existence of deterministic hidden variables. We connect the no-hidden-variables theorem of Kochen and Specker to these conditions for joint distributions. We conclude with a new theorem linking joint distributions and commuting observables, and show how violations of the Bell inequalities correspond to violations of commutativity, as in the theorem.
We derive inequalities for n-partite states under the assumption that the hidden-variable theoretical joint probability distribution for any pair of commuting observables is equal to the quantum mechanical one. Fine showed that this assumption is connected to the no-hidden-variables theorem of Kochen and Specker (KS theorem). These inequalities give a way to experimentally test the KS theorem. The fidelity to the Bell states which is larger than 1∕2 is sufficient for the experimental confirmation of the KS theorem. Hence, the Werner state is enough to test experimentally the KS theorem. Furthermore, it is possible to test the KS theorem experimentally using uncorrelated states. An n-partite uncorrelated state violates the n-partite inequality derived here by an amount that grows exponentially with n.
D\"ur [Phys. Rev. Lett. 87, 230402 (2001)] constructed NNN-qubit bound entangled states which violate a Bell inequality for $N\ensuremath{\ge}8$, and his result was recently improved by showing that there exists an NNN-qubit bound entangled state violating the same Bell inequality if and only if $N\ensuremath{\ge}6$ [Phys. Rev. A 79, 032309 (2009)]. On the other hand, it has been also shown that the states which D\"ur considered violate Bell inequalities different from the inequality for $N\ensuremath{\ge}6$. In this paper, by employing different forms of Bell inequalities, in particular, a specific form of Bell inequalities with MMM settings of the measuring apparatus for sufficiently large MMM, we prove that there exists an NNN-qubit bound entangled state violating the MMM-setting Bell inequality if and only if $N\ensuremath{\ge}4$.