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:quant-ph/0503179 · Journal of Mathematical Physics

Lifting Bell inequalities

Stefano Pironio

Published Jun 1, 2005• 122 citations
arXivHTMLPDF

Abstract

A Bell inequality defined for a specific experimental configuration can always be extended to a situation involving more observers, measurement settings, or measurement outcomes. In this article, such “liftings” of Bell inequalities are studied. It is shown that if the original inequality defines a facet of the polytope of local joint outcome probabilities then the lifted one also defines a facet of the more complex polytope.

DOI
10.1063/1.1928727

Related papers

Lifting noncontextuality inequalities

Raman Choudhary, Rui Soares Barbosa, Adán Cabello

Kochen--Specker contextuality is a fundamental feature of quantum mechanics and a crucial resource for quantum computational advantage and reduction of communication complexity. Its presence is witnessed in empirical data by the violation of noncontextuality inequalities. However, all known noncontextuality inequalities corresponding to facets of noncontextual polytopes are either Bell inequalities or refer to cyclic or state-independent contextuality scenarios. We introduce a general method for lifting noncontextuality inequalities, deriving facets of noncontextual polytopes for more complex scenarios from known facets of simpler subscenarios. Concretely, starting from an arbitrary scenario, the addition of a new measurement or a new outcome preserves the facet-defining nature of any noncontextuality inequality. This extends the results of Pironio [J. Math. Phys. 46, 062112 (2005)] from Bell nonlocality scenarios to contextuality scenarios, unifying liftings of Bell and noncontextuality inequalities. Our method produces facet-defining noncontextuality inequalities in all scenarios with contextual correlations, and we present examples of facet-defining noncontextuality inequalities for scenarios where no examples were known. Our results shed light on the structure of noncontextuality polytopes and the relationship between such polytopes across different scenarios.

arXiv:2401.12349•Physical Review A•May 13, 2024•3 citations

Looking for symmetric Bell inequalities

Jean-Daniel Bancal, Nicolas Gisin, Stefano Pironio

Finding all Bell inequalities for a given number of parties, measurement settings and measurement outcomes is in general a computationally hard task. We show that all Bell inequalities which are symmetric under the exchange of parties can be found by examining a symmetrized polytope which is simpler than the full Bell polytope. As an illustration of our method, we generate 238 885 new Bell inequalities and 1085 new Svetlichny inequalities. We find, in particular, facet inequalities for Bell experiments involving two parties and two measurement settings that are not of the Collins–Gisin–Linden–Massar–Popescu type.

arXiv:1004.4146•Journal of Physics A Mathematical and Theoretical•Aug 6, 2010•77 citations

Tight Bell inequality for d-outcome measurements correlations

Lluís Masanes

In this paper we prove that the inequality introduced by Collins, Gisin, Linden, Massar and Popescu is tight, or in other words, it is a facet of the convex polytope generated by all local-realistic joint probabilities of d-outcomes. This means that this inequality is optimal. We also show that, for correlation functions generalized to deal with three-outcome measurements, the satisfyability of this inequality is a necessary and sufficient condition for the existence of a local-realistic model accounting for them.

arXiv:quant-ph/0210073•Quantum Information and Computation•Jul 1, 2003•92 citations

Tight Bell inequalities from polytope slices

José Jesus, Emmanuel Zambrini Cruzeiro

We derive tight bipartite Bell inequalities for various scenarios. A bipartite Bell scenario $(X,Y,A,B)$ is defined by the numbers of settings and outcomes per party, $X,A$, and $Y,B$ for Alice and Bob, respectively. We derive the complete set of facets of the local polytopes of (6,3,2,2), (3,3,3,2), (3,2,3,3), and (2,2,3,5). We provide extensive lists of facets for (2,2,4,4), (3,3,4,2), and (4,3,3,2). For each inequality we compute the maximum quantum violation, the resistance to noise, and the minimal symmetric detection efficiency required to close the detection loophole, for qubits, qutrits, and ququarts. Based on these results, we identify scenarios which perform better in terms of visibility, resistance to noise, or both, when compared to the Clauser-Horne-Shimony-Holt inequality. Such scenarios could find important applications in quantum communication.

arXiv:2212.03212•Physical Review A•Nov 27, 2023•4 citations

Classifying the simplest Bell inequalities beyond qubits and their applications towards self-testing

Palash Pandya, Shubhayan Sarkar, Remigiusz Augusiak

Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest $(2,2,2)$ scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the $(2,2,3)$ scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.

quant-pharXiv:2602.08469•Feb 10, 2026•0 citations

Detection loophole in Bell experiments: How postselection modifies the requirements to observe nonlocality

Cyril Branciard

A common problem in Bell-type experiments is the well-known detection loophole: if the detection efficiencies are not perfect and if one simply postselects the conclusive events, one might observe a violation of a Bell inequality, even though a local model could have explained the experimental results. In this paper, we analyze the set of all postselected correlations that can be explained by a local model, and show that it forms a polytope, larger than the Bell local polytope. We characterize the facets of this postselected local polytope in the Clauser-Horne-Shimony-Holt scenario, where two parties have binary inputs and outcomes. Our approach gives interesting insights on the detection loophole problem.

arXiv:1010.1178•Physical Review A•Mar 31, 2011•65 citations
A Bell inequality defined for a specific experimental configuration can always be extended to a situation involving more observers, measurement settings, or measurement outcomes. In this article, such “liftings” of Bell inequalities are studied. It is shown that if the original inequality defines a facet of the polytope of local joint outcome probabilities then the lifted one also defines a facet of the more complex polytope.
Kochen--Specker contextuality is a fundamental feature of quantum mechanics and a crucial resource for quantum computational advantage and reduction of communication complexity. Its presence is witnessed in empirical data by the violation of noncontextuality inequalities. However, all known noncontextuality inequalities corresponding to facets of noncontextual polytopes are either Bell inequalities or refer to cyclic or state-independent contextuality scenarios. We introduce a general method for lifting noncontextuality inequalities, deriving facets of noncontextual polytopes for more complex scenarios from known facets of simpler subscenarios. Concretely, starting from an arbitrary scenario, the addition of a new measurement or a new outcome preserves the facet-defining nature of any noncontextuality inequality. This extends the results of Pironio [J. Math. Phys. 46, 062112 (2005)] from Bell nonlocality scenarios to contextuality scenarios, unifying liftings of Bell and noncontextuality inequalities. Our method produces facet-defining noncontextuality inequalities in all scenarios with contextual correlations, and we present examples of facet-defining noncontextuality inequalities for scenarios where no examples were known. Our results shed light on the structure of noncontextuality polytopes and the relationship between such polytopes across different scenarios.
Finding all Bell inequalities for a given number of parties, measurement settings and measurement outcomes is in general a computationally hard task. We show that all Bell inequalities which are symmetric under the exchange of parties can be found by examining a symmetrized polytope which is simpler than the full Bell polytope. As an illustration of our method, we generate 238 885 new Bell inequalities and 1085 new Svetlichny inequalities. We find, in particular, facet inequalities for Bell experiments involving two parties and two measurement settings that are not of the Collins–Gisin–Linden–Massar–Popescu type.
In this paper we prove that the inequality introduced by Collins, Gisin, Linden, Massar and Popescu is tight, or in other words, it is a facet of the convex polytope generated by all local-realistic joint probabilities of d-outcomes. This means that this inequality is optimal. We also show that, for correlation functions generalized to deal with three-outcome measurements, the satisfyability of this inequality is a necessary and sufficient condition for the existence of a local-realistic model accounting for them.
We derive tight bipartite Bell inequalities for various scenarios. A bipartite Bell scenario (X,Y,A,B)(X,Y,A,B)(X,Y,A,B) is defined by the numbers of settings and outcomes per party, X,AX,AX,A, and Y,BY,BY,B for Alice and Bob, respectively. We derive the complete set of facets of the local polytopes of (6,3,2,2), (3,3,3,2), (3,2,3,3), and (2,2,3,5). We provide extensive lists of facets for (2,2,4,4), (3,3,4,2), and (4,3,3,2). For each inequality we compute the maximum quantum violation, the resistance to noise, and the minimal symmetric detection efficiency required to close the detection loophole, for qubits, qutrits, and ququarts. Based on these results, we identify scenarios which perform better in terms of visibility, resistance to noise, or both, when compared to the Clauser-Horne-Shimony-Holt inequality. Such scenarios could find important applications in quantum communication.
Bell inequalities reveal the fundamentally nonlocal character of quantum mechanics. In this regard, one of the interesting problems is to explore all possible Bell inequalities that demonstrate a gap between local and nonlocal quantum behaviour. This is useful for the geometric characterisation of the set of nonlocal correlations achievable within quantum theory. Moreover, it provides a systematic way to construct Bell inequalities that are tailored to specific quantum information processing tasks. This characterisation is well understood in the simplest (2,2,2)(2,2,2)(2,2,2) scenario, namely two parties performing two binary outcome measurements. However, beyond this setting, relatively few Bell inequalities are known, and the situation becomes particularly scarce in scenarios involving a greater number of outcomes. Here, we consider the (2,2,3)(2,2,3)(2,2,3) scenario, or two parties performing two three-outcome measurements, and characterise all Bell inequalities that can arise from the simplest sum-of-squares decomposition and are maximally violated by the maximally entangled state of local dimension three. We then utilise them to self-test this state, along with a class of three-outcome measurements.
A common problem in Bell-type experiments is the well-known detection loophole: if the detection efficiencies are not perfect and if one simply postselects the conclusive events, one might observe a violation of a Bell inequality, even though a local model could have explained the experimental results. In this paper, we analyze the set of all postselected correlations that can be explained by a local model, and show that it forms a polytope, larger than the Bell local polytope. We characterize the facets of this postselected local polytope in the Clauser-Horne-Shimony-Holt scenario, where two parties have binary inputs and outcomes. Our approach gives interesting insights on the detection loophole problem.