Bell-CHSH Inequality

Definition

Consider a bipartite scenario with two parties (Alice and Bob) each performing one of two measurements. Alice’s observables $A_1,A_2$ and Bob’s observables $B_1,B_2$ are Hermitian operators with eigenvalues in $\{-1,+1\}$ (dichotomic). The CHSH combination is

$\mathcal{C}=⟨A_1{B}_1⟩+⟨A_1{B}_2⟩+⟨A_2{B}_1⟩-⟨A_2{B}_2⟩.$

Classical (local hidden-variable) bound: $|\mathcal{C}|\le 2$. Suppose the outcomes are fixed by a hidden variable $\lambda$ through local response functions $A_i(\lambda )$, $B_j(\lambda )$ with values in $[-1,1]$, and that the distribution $\rho (\lambda )$ does not depend on the settings. Grouping the four terms for each $\lambda$,

$|A_1(B_1+B_2)+A_2(B_1-B_2)|\le |B_1+B_2|+|B_1-B_2|=2\max (|B_1|,|B_2|)\le 2,$

and averaging over $\lambda$ gives $|\mathcal{C}|\le 2$. For dichotomic outcomes one of $B_1\pm B_2$ vanishes and the other equals $\pm 2$. The triangle inequality applied term by term, with $|A_i(\lambda )B_j(\lambda )|\le 1$, only gives $|\mathcal{C}|\le 4$.

Tsirelson bound: In quantum mechanics, $|\mathcal{C}|\le 2\sqrt{2}\approx 2.828$. This is a tight bound, achieved by the singlet state with optimal measurement settings.

In quantum field theory, the dichotomic operators are not spin operators but bounded functions of field operators. A Weyl operator $W(f)$ is a unitary with spectrum on the unit circle, so it is not itself dichotomic; what serves is its normalized real and imaginary parts, $\frac{1}{2}(W(f)+W(f{)}^{†})$ and $\frac{i}{2}(W(f)-W(f{)}^{†})$, which satisfy $\Vert A\Vert \le 1$. Alice’s two settings come from two different test functions $f_1,f_2$ supported in her region, and Bob’s from modular conjugation. With this construction (Phys. Rev. D 108, 085026; 2023) the free scalar vacuum violates the inequality on complementary Rindler wedges, and the choice of test functions pushes the violation toward the Tsirelson bound.

Role in Research

Bell-CHSH violations in QFT are the central object of study in the bell-inequalities-qft research line, which has produced 21+ publications since 2023.

Key results:

• Maximal violation (Tsirelson bound) achieved for massless spinors using bumpified Haar wavelets as test functions (Phys. Rev. D 108, L081701; 10 citations). The bound $2\sqrt{2}$ is saturated, confirming the QFT vacuum saturates quantum information limits.

• Systematic Weyl + Tomita-Takesaki framework (Phys. Rev. D 108, 085026; 15 citations): Alice’s observables are Weyl operators in the right Rindler wedge; Bob’s are obtained via modular conjugation $J$, which maps $\mathcal{M}(R)$ to $\mathcal{M}(L)$.

• BRST-invariant Bell-CHSH in gauge theories (SciPost Phys. 15, 2023): First formulation compatible with BRST symmetry, necessary for working in gauge-fixed non-abelian Yang-Mills theory.

• Extension to causal diamonds (Eur. Phys. J. C 85, 2025): Goes beyond the infinite Rindler wedge to compact diamond regions, which are more physically accessible.

• Cat states (Phys. Rev. D 113, 065008; 2026): Superpositions of coherent states produce Bell violations with new interference-driven features.

• Mass and dimension dependence: The violation generically exceeds 2 for any non-zero mass, with the maximum 2√2 approached in the massless limit for certain test functions.

Relations

• weyl-operators — the dichotomic observables used in QFT Bell tests are constructed from Weyl operators; the closed-form vacuum expectation values make the CHSH correlator computable
• tomita-takesaki-modular-theory — modular conjugation $J$ maps Alice’s wedge algebra to Bob’s, providing a systematic construction of the bipartite setup
• rindler-wedges — the standard causal regions for the bipartite split in QFT Bell tests; complementary wedges R and L are spacelike separated
• causal-diamonds — compact alternative to Rindler wedges; important for realistic experimental relevance
• mermin-inequalities — multipartite generalization to three or more parties; uses the same Weyl operator machinery
• type-iii-von-neumann-algebras — the type III₁ structure of local algebras guarantees existence of cyclic separating states and underlies the embezzlement connection
• coherent-states, squeezed-states, cat-states — excited states for which CHSH violations are computed explicitly and compared with the vacuum result
• brst-symmetry — in gauge theories, Bell observables must respect BRST invariance to be physical

Papers

See bell-inequalities-qft for full paper list.

Notes

• The CHSH combination is named after Clauser, Horne, Shimony, and Holt (1969). Bell’s original 1964 inequality is slightly different; CHSH is the standard form for bipartite two-setting experiments.
• In the QFT setting, Alice and Bob’s measurement regions must be spacelike separated (or at least causally disjoint) for the Bell inequality to be physically meaningful. The locality assumption is automatic from microcausality.
• Common confusion: the Tsirelson bound $2\sqrt{2}$ is not achievable in all quantum states or with all observables — it requires optimization over measurement operators. In QFT, reaching it requires specific test function choices.
• The question of whether Bell violations in gauge theories are modified by the Gribov horizon is an open problem; see bell-inequalities-qft open problems.