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/0404014

Deriving Tight Bell Inequalities for 2 Parties with Many 2-valued Observables from Facets of Cut Polytopes

David Avis, Imai, Hiroshi, Tsuyoshi Ito, Yuuya Sasaki

Published Apr 2, 2004• 14 citations
arXivHTMLPDF

Abstract

Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, I_{mm22}, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case of many observables. For example, 44,368,793 inequivalent tight Bell inequalities other than CHSH are obtained for the case of 2 parties each with 10 2-valued observables. This is accomplished by first establishing a relationship between the Bell inequalities and the facets of the cut polytope, a well studied object in polyhedral combinatorics. We then prove a theorem allowing us to derive new facets of cut polytopes from facets of smaller polytopes by a process derived from Fourier-Motzkin elimination, which we call triangular elimination. These new facets in turn give new tight Bell inequalities. We give additional results for projections, liftings, and the complexity of membership testing for the associated Bell polytope.

DOI
10.48550/arxiv.quant-ph/0404014

Related papers

for 2 Parties with Many 2-valued Observables from Facets of Cut Polytopes

David Avis, Hiroshi Imai, Tsuyoshi Ito +1 more

Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, Imm22, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case of many observables. For example, 44,368,793 inequivalent tight Bell inequalities other than CHSH are obtained for the case of 2 parties each with 10 2-valued observables. This is accomplished by first establishing a relationship between the Bell inequalities and the facets of the cut polytope, a well studied object in polyhedral combinatorics. We then prove a theorem allowing us to derive new facets of cut polytopes from facets of smaller polytopes by a process derived from FourierMotzkin elimination, which we call triangular elimination. These new facets in turn give new tight Bell inequalities. We give additional results for projections, liftings, and the complexity of membership testing for the associated Bell polytope.

•Jan 1, 2004•0 citations

Two-party Bell inequalities derived from combinatorics via triangular elimination

David Avis, Hiroshi Imai, Tsuyoshi Ito +1 more

We establish a relation between the two-party Bell inequalities for two-valued measurements and a high-dimensional convex polytope called the cut polytope in polyhedral combinatorics. Using this relation, we propose a method, triangular elimination , to derive tight Bell inequalities from facets of the cut polytope. This method gives two hundred million inequivalent tight Bell inequalities from currently known results on the cut polytope. In addition, this method gives general formulae which represent families of infinitely many Bell inequalities. These results can be used to examine general properties of Bell inequalities.

arXiv:quant-ph/0505060•Journal of Physics A Mathematical and General•Nov 30, 2005•48 citations

Two-Party Bell Inequalities Derived from Combinatorics via Triangular Elimination

David Avis, Hiroshi Imai, Tsuyoshi Ito +1 more

Bell inequalities, originally introduced as a method to prove that some quantum states show nonlocal behavior, are now studied as a method to capture the extent of the nonlocality of quantum states. Tight Bell inequalities are considered to be more important than redundant ones. Despite the increasing importance of the study of Bell inequalities, few kinds of tight Bell inequalities have been found. Examples include the Clauser-Horne-Shimony-Holt inequality, the I_{mmvv} inequalities, the CGLMP inequalities, and the Bell inequalities in systems small enough to generate all the Bell inequalities by exhaustive search. In this paper, we establish a relation between the two-party Bell inequalities for two-valued measurements and a high-dimensional convex polytope called the cut polytope in polyhedral combinatorics. Using this relation, we propose a method, triangular elimination, to derive tight Bell inequalities from facets of the cut polytope. This method gives two hundred million inequivalent tight Bell inequalities from currently known results on the cut polytope. In addition, this method gives general formulas which represent families of infinitely many Bell inequalities. These results can be used to examine general properties of Bell inequalities.

•Jan 1, 2005•39 citations

New Classes of Facets of Cut Polytope and Tightness of I_{mm22} Bell Inequalities

David Avis, Tsuyoshi Ito

The Grishukhin inequality Gr_7 is a facet of CutP_7, the cut polytope on seven points, which is ``sporadic'' in the sense that its proper generalization has not been known. In this paper, we extend Gr_7 to an inequality I(G,H) valid for CutP_{n+1} where G and H are graphs with n nodes satisfying certain conditions, and prove a necessary and sufficient condition for I(G,H) to be a facet. This result combined with the triangular elimination theorem of Avis, Imai, Ito and Sasaki settles Collins and Gisin's conjecture in quantum theory affirmatively: the I_{mm22} Bell inequality is a facet of the correlation polytope CorP(K_{m,m}) of the complete bipartite graph K_{m,m} for all m>=1. We also extend the Gr_8 facet inequality of CutP_8 to an inequality I'(G,H,C) valid for CutP_{n+2}, and provide a sufficient condition for I'(G,H,C) to be a facet.

arXiv:math/0505143•May 9, 2005•0 citations

Bell inequalities from variable-elimination methods

Costantino Budroni, Adán Cabello

Tight Bell inequalities are facets of Pitowsky's correlation polytope and are usually obtained from its extreme points by solving the hull problem.Here, we present an alternative method based on a combination of algebraic results on extensions of measures and variable-elimination methods, e.g., the Fourier-Motzkin method.Our method is shown to overcome some of the computational difficulties associated with the hull problem in some nontrivial cases.Moreover, it provides an explanation for the arising of only a finite number of families of Bell inequalities in measurement scenarios where one experimenter can choose between an arbitrary number of different measurements.

arXiv:1112.5876•Journal of Physics A Mathematical and Theoretical•Sep 5, 2012•20 citations

Bell inequalities stronger than the Clauser-Horne-Shimony-Holt inequality for three-level isotropic states

Tsuyoshi Ito, Hiroshi Imai, David Avis

We show that some two-party Bell inequalities with two-valued observables are stronger than the CHSH inequality for $3\ensuremath{\bigotimes}3$ isotropic states in the sense that they are violated by some isotropic states in the $3\ensuremath{\bigotimes}3$ system that do not violate the CHSH inequality. These Bell inequalities are obtained by applying triangular elimination to the list of known facet inequalities of the cut polytope on nine points. This gives a partial solution to an open problem posed by Collins and Gisin. The results of numerical optimization suggest that they are candidates for being stronger than the ${\mathrm{I}}_{3322}$ Bell inequality for $3\ensuremath{\bigotimes}3$ isotropic states. On the other hand, we found no Bell inequalities stronger than the CHSH inequality for $2\ensuremath{\bigotimes}2$ isotropic states. In addition, we illustrate an inclusion relation among some Bell inequalities derived by triangular elimination.

arXiv:quant-ph/0508210•Physical Review A•Apr 21, 2006•20 citations
Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, I_{mm22}, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case of many observables. For example, 44,368,793 inequivalent tight Bell inequalities other than CHSH are obtained for the case of 2 parties each with 10 2-valued observables. This is accomplished by first establishing a relationship between the Bell inequalities and the facets of the cut polytope, a well studied object in polyhedral combinatorics. We then prove a theorem allowing us to derive new facets of cut polytopes from facets of smaller polytopes by a process derived from Fourier-Motzkin elimination, which we call triangular elimination. These new facets in turn give new tight Bell inequalities. We give additional results for projections, liftings, and the complexity of membership testing for the associated Bell polytope.
Relatively few families of Bell inequalities have previously been identified. Some examples are the trivial, CHSH, Imm22, and CGLMP inequalities. This paper presents a large number of new families of tight Bell inequalities for the case of many observables. For example, 44,368,793 inequivalent tight Bell inequalities other than CHSH are obtained for the case of 2 parties each with 10 2-valued observables. This is accomplished by first establishing a relationship between the Bell inequalities and the facets of the cut polytope, a well studied object in polyhedral combinatorics. We then prove a theorem allowing us to derive new facets of cut polytopes from facets of smaller polytopes by a process derived from FourierMotzkin elimination, which we call triangular elimination. These new facets in turn give new tight Bell inequalities. We give additional results for projections, liftings, and the complexity of membership testing for the associated Bell polytope.
We establish a relation between the two-party Bell inequalities for two-valued measurements and a high-dimensional convex polytope called the cut polytope in polyhedral combinatorics. Using this relation, we propose a method, triangular elimination , to derive tight Bell inequalities from facets of the cut polytope. This method gives two hundred million inequivalent tight Bell inequalities from currently known results on the cut polytope. In addition, this method gives general formulae which represent families of infinitely many Bell inequalities. These results can be used to examine general properties of Bell inequalities.
Bell inequalities, originally introduced as a method to prove that some quantum states show nonlocal behavior, are now studied as a method to capture the extent of the nonlocality of quantum states. Tight Bell inequalities are considered to be more important than redundant ones. Despite the increasing importance of the study of Bell inequalities, few kinds of tight Bell inequalities have been found. Examples include the Clauser-Horne-Shimony-Holt inequality, the I_{mmvv} inequalities, the CGLMP inequalities, and the Bell inequalities in systems small enough to generate all the Bell inequalities by exhaustive search. In this paper, we establish a relation between the two-party Bell inequalities for two-valued measurements and a high-dimensional convex polytope called the cut polytope in polyhedral combinatorics. Using this relation, we propose a method, triangular elimination, to derive tight Bell inequalities from facets of the cut polytope. This method gives two hundred million inequivalent tight Bell inequalities from currently known results on the cut polytope. In addition, this method gives general formulas which represent families of infinitely many Bell inequalities. These results can be used to examine general properties of Bell inequalities.
The Grishukhin inequality Gr_7 is a facet of CutP_7, the cut polytope on seven points, which is ``sporadic'' in the sense that its proper generalization has not been known. In this paper, we extend Gr_7 to an inequality I(G,H) valid for CutP_{n+1} where G and H are graphs with n nodes satisfying certain conditions, and prove a necessary and sufficient condition for I(G,H) to be a facet. This result combined with the triangular elimination theorem of Avis, Imai, Ito and Sasaki settles Collins and Gisin's conjecture in quantum theory affirmatively: the I_{mm22} Bell inequality is a facet of the correlation polytope CorP(K_{m,m}) of the complete bipartite graph K_{m,m} for all m>=1. We also extend the Gr_8 facet inequality of CutP_8 to an inequality I'(G,H,C) valid for CutP_{n+2}, and provide a sufficient condition for I'(G,H,C) to be a facet.
Tight Bell inequalities are facets of Pitowsky's correlation polytope and are usually obtained from its extreme points by solving the hull problem.Here, we present an alternative method based on a combination of algebraic results on extensions of measures and variable-elimination methods, e.g., the Fourier-Motzkin method.Our method is shown to overcome some of the computational difficulties associated with the hull problem in some nontrivial cases.Moreover, it provides an explanation for the arising of only a finite number of families of Bell inequalities in measurement scenarios where one experimenter can choose between an arbitrary number of different measurements.
We show that some two-party Bell inequalities with two-valued observables are stronger than the CHSH inequality for $3\ensuremath{\bigotimes}3$ isotropic states in the sense that they are violated by some isotropic states in the $3\ensuremath{\bigotimes}3$ system that do not violate the CHSH inequality. These Bell inequalities are obtained by applying triangular elimination to the list of known facet inequalities of the cut polytope on nine points. This gives a partial solution to an open problem posed by Collins and Gisin. The results of numerical optimization suggest that they are candidates for being stronger than the I3322{\mathrm{I}}_{3322}I3322​ Bell inequality for $3\ensuremath{\bigotimes}3$ isotropic states. On the other hand, we found no Bell inequalities stronger than the CHSH inequality for $2\ensuremath{\bigotimes}2$ isotropic states. In addition, we illustrate an inclusion relation among some Bell inequalities derived by triangular elimination.