TOPICS
Search

Correlation Polytope


The correlation polytope C_n is the convex hull of the vectors v(b)=(b_1,...,b_n,(b_ib_j)_(1<=i<j<=n)) for b in {0,1}^n, where n is a positive integer. Equivalently,

 C_n={sum_(b in {0,1}^n)lambda_bv(b):lambda_b>=0,sum_(b)lambda_b=1}.

It has 2^n vertices and dimension n(n+1)/2 (Pitowsky 1991).

A vector (p_i,p_(ij)) belongs to C_n iff there are events E_1, ..., E_n on one probability space with p_i=Pr(E_i) and p_(ij)=Pr(E_i intersection E_j). Indeed, the coefficients lambda_b are the probabilities of the possible joint assignments of the indicator functions of those events. They therefore define a joint distribution, and conversely any such joint distribution gives a convex combination of the vertices.

For n=2, C_2 is the tetrahedron with vertices (0,0,0), (1,0,0), (0,1,0), and (1,1,1). Its inequalities can be written as

 max(0,p_1+p_2-1)<=p_(12)<=min(p_1,p_2).

The four joint probabilities are 1-p_1-p_2+p_(12), p_1-p_(12), p_2-p_(12), and p_(12) (Filipp and Svozil 2003).

Keeping only selected pair coordinates gives a projection of C_n. Bell inequalities, including the Clauser-Horne inequality, constrain such projected polytopes (Pitowsky and Svozil 2001, Trott 2006).


See also

Bell Inequality, Clauser-Horne Inequality, Convex Hull, Joint Distribution, Polytope

Explore with Wolfram|Alpha

References

Filipp, S. and Svozil, K. "Boole-Bell-Type Inequalities in Mathematica." In Challenging the Boundaries of Symbolic Computation (Ed. P. Mitic, P. Ramsden, and J. Carne). London: Imperial College Press, pp. 215-222, 2003. https://doi.org/10.1142/9781848161313_0028.Pitowsky, I. Quantum Probability--Quantum Logic. Berlin, Germany: Springer-Verlag, 1989. https://doi.org/10.1007/BFb0021186.Pitowsky, I. "Correlation Polytopes: Their Geometry and Complexity." Math. Programming 50, 395-414, 1991. https://doi.org/10.1007/BF01594946.Pitowsky, I. and Svozil, K. "Optimal Tests of Quantum Nonlocality." Phys. Rev. A 64, 014102, 2001. https://doi.org/10.1103/PhysRevA.64.014102.Trott, M. "Polynomials in Inequalities." §1.2.3 in The Mathematica GuideBook for Symbolics. New York: Springer-Verlag, 2006. https://doi.org/10.1007/0-387-28815-5. https://www.mathematicaguidebooks.org/.Werner, R. F. and Wolf, M. M. "Bell Inequalities and Entanglement." Quantum Inform. Comput. 1, 1-25, 2001. https://doi.org/10.26421/QIC1.3-1.

Cite this as:

Weisstein, Eric W. "Correlation Polytope." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/CorrelationPolytope.html

Subject classifications