[Paper Review] All tight multipartite Bell correlation inequalities for three dichotomic observables per observer

Marek Żukowski|ArXiv.org|Nov 8, 2006

Quantum Mechanics and Applications4 citations

TL;DR

This paper derives the complete set of tight Bell correlation inequalities for N-partite systems with three dichotomic observables per party, generalizing CHSH-type inequalities. Using a geometric approach based on the local realistic polytope, it identifies necessary and sufficient conditions for local realism via sign functions and Fourier decomposition, yielding a synthetic formula for all tight inequalities in the 3×3×...×3 setting, with explicit construction for two and three parties and extension to higher parties.

ABSTRACT

A derivation of the full set of Bell inequalities involving correlation functions, for two parties, with binary observables, and three possible local settings. The procedure can be extended straightforwardly to multiparty correlations.

Motivation & Objective

• To derive the full set of tight Bell correlation inequalities for multipartite systems with three dichotomic observables per observer.
• To generalize CHSH-type inequalities to N-parties with three settings per party, extending beyond two-setting cases.
• To provide a systematic method for generating all tight inequalities using the geometry of the local realistic polytope.
• To establish a formalism that can be extended to include lower-order correlation functions and full experimental data sets.
• To demonstrate the method's validity and generality through detailed derivation for the two-party (3×3) case and straightforward extension to three or more parties.

Proposed method

• Uses the geometric structure of the local realistic polytope to characterize deterministic orders as tensor products of local settings for each observer.
• Defines a hidden probability distribution over all possible deterministic outcomes for three settings per party, ensuring proper reproduction of all N-partite correlation functions.
• Applies a Fourier decomposition of sign functions S that exclude products of indices from the same observer, ensuring the inequalities are tight and correspond to facets of the polytope.
• Constructs a synthetic inequality form using coefficients q^{[N]}(a,b,...,S^{[N]}) derived from the dot product of the correlation tensor E and basis vectors V^{[N]}_{abcdef,S^{[N]}}.
• Imposes positivity constraints on the unphysical probability distribution to derive necessary and sufficient conditions for local realism.
• Extends the formalism to include lower-order correlations by reinterpreting vertices of the polytope to include local averages, recovering CH-type inequalities.

Experimental results

Research questions

• RQ1 What is the complete set of tight Bell correlation inequalities for N-partite systems with three dichotomic observables per party?
• RQ2 How can the geometry of the local realistic polytope be used to derive necessary and sufficient conditions for local realism in the 3×3×...×3 setting?
• RQ3 Can the method used for the two-party case be systematically generalized to three or more parties with three settings each?
• RQ4 How do the derived inequalities relate to previously known families of Bell inequalities, such as CHSH or CH?
• RQ5 What is the role of sign functions and their Fourier decomposition in characterizing the facets of the correlation polytope?

Key findings

• The paper derives a complete set of tight Bell inequalities for the 3×3 problem (two parties, three settings per party) using a geometric and algebraic method based on sign functions and Fourier decomposition.
• For the two-party case, the necessary and sufficient condition for local realism is given by the positivity of a specific unphysical probability distribution, proven via a detailed derivation of the sign function structure.
• The method generalizes straightforwardly to N-parties, yielding a synthetic inequality form: -1 ≤ ∑ q^{[N]}(a,b,...,S^{[N]}) ≤ 1, where the coefficients are defined via correlation tensor dot products with basis vectors.
• The derived inequalities are equivalent to the full set of tight Bell inequalities for the 3×3×...×3 scenario, with explicit construction for three-party systems provided.
• The formalism can be extended to include lower-order correlations by reinterpreting the vertices of the polytope, thereby recovering CH-type inequalities.
• The method is shown to be generalizable to higher numbers of settings and provides a systematic framework for generating all tight inequalities in the multipartite, three-setting case.