---
title: Bell-CHSH Inequalities Overview
url: https://www.emergentmind.com/topics/bell-chsh-inequalities
type: topic
---

# Bell-CHSH Inequalities Overview

The Bell-CHSH inequalities, formulated by Clauser, Horne, Shimony, and Holt in 1969, generalize Bell's original theorem to provide a practical, experimentally testable criterion distinguishing quantum-mechanical correlations from those explainable by local hidden variable (LHV) theories. These inequalities have a foundational role in quantum information theory, experimental quantum physics, and in the study of nonlocality and contextuality. The inequalities have been generalized by various authors to multipartite systems, higher-dimensional Hilbert spaces, and continuous-variable states, with their violation being a hallmark of quantum entanglement and non-classicality. This article presents a comprehensive survey of the principles, mathematical structures, methodologies, and interpretational subtleties of Bell-CHSH inequalities and their generalizations, drawing upon detailed technical results across a broad array of research fields.

## 1. Mathematical Structure and Generalizations

The standard Bell-CHSH inequality concerns two spatially separated observers (commonly Alice and Bob), each choosing between two dichotomic observables. In the LHV framework, the correlation functions for measurement settings $(a,a')$ by Alice and $(b,b')$ by Bob satisfy
\[
|\, \langle AB \rangle + \langle AB' \rangle + \langle A'B \rangle - \langle A'B' \rangle\,| \leq 2,
\]
with each observable’s spectrum contained in $\{\pm 1\}$.

Quantum mechanics predicts stronger correlations for certain entangled states. For the maximally entangled Bell singlet state, the quantum mechanical prediction (the "Tsirelson bound") is
\[
|\, \langle AB \rangle + \langle AB' \rangle + \langle A'B \rangle - \langle A'B' \rangle\,| \leq 2\sqrt{2}.
\]
The explicit construction of the relevant Bell operator in quantum mechanics is $B = \mathbf{a}\cdot\boldsymbol{\sigma} \otimes (\mathbf{b} + \mathbf{b}')\cdot\boldsymbol{\sigma} + \mathbf{a}'\cdot\boldsymbol{\sigma} \otimes (\mathbf{b} - \mathbf{b}')\cdot\boldsymbol{\sigma}$ [1204.3437]. Quantum mechanical noncommutativity underpins the violations: for example, the spectrum of $(1/\sqrt{2})(\sigma_z+\sigma_x) + (1/\sqrt{2})(\sigma_z-\sigma_x) = \sqrt{2}\, \sigma_z$ is $\{\pm \sqrt{2}\}$, rather than subset sums over $\{\pm 1\}$ eigenvalues [1005.4966].

Sophisticated generalizations include systematic construction via noncommutativity [1005.4966], transformations of CH-type to CHSH-type inequalities via homogenization (adding additional measurement settings while preserving tightness) [1112.2827], and recursion methods for multipartite “compact” inequalities that reduce the number of measured correlation functions necessary in highly multi-partite settings [1302.6698]. For multipartite systems,
\[
\mathcal{S}_n := \sum_{\mathrm{settings}} \pm \langle X_{i_1} X_{i_2} \cdots X_{i_n} \rangle
\]
can exhibit quantum violations exponentially stronger than classical bounds, and concise forms (involving as few as four correlation functions for eight parties) now exist, optimizing experimental overhead [1302.6698].

## 2. Physical Interpretation and Quantum-Classical Boundary

The violation of a Bell-CHSH inequality is widely interpreted as evidence ruling out descriptions based on local realism. However, the specifics of this interpretation are nuanced and depend upon the mathematical formulation of the underlying probability space [2107.02808, 2202.08353]. Two prevalent interpretations are:

- **Locality/contextuality** (Probability Space 1): The violation implies that any hidden variables model must be non-local or contextual (outcomes depend on measurement setting and possibly distant events).
- **Contextuality and joint probability** (Probability Space 2): The violation indicates the impossibility of assigning global joint probabilities to all quantum observables simultaneously, i.e., nonexistence of non-contextual hidden variables.

The violation is traceable, in all rigorous formulations, to the structure of quantum observables, specifically noncommutativity and the failure of joint (dispersion-free) value assignments to incompatible observables [1005.4966, 1204.3437]. Notably, standard derivations assume compliance with Kolmogorov’s axioms; if these are modified (as in some propensity or frequentist views), the interpretation, and even applicability, of certain forms of the inequality changes significantly [2202.08353].

## 3. Methodologies for Deriving and Generalizing Inequalities

### 3.1. Noncommutativity-Based Construction

Systematic construction methods begin with combinations of commuting observables and inject “noncommutativity” to generate generalized Bell quantities that yield nontrivial quantum-classical separation [1005.4966]. For example, the operator
\[
T = 2\sqrt{2}\left( \sigma_x \otimes \sigma_x + \sigma_y \otimes \sigma_y + \sigma_z \otimes \sigma_z \right)
\]
is recast as a sum of products of newly defined local observables, leading to new forms of Bell-type inequalities with a “type 2” structure, i.e., partial quantum–LHV prediction overlap with possible mismatches at the boundary [1005.4966].

### 3.2. Homogenization

Homogenization transforms CH-type inequalities, involving lower-order correlations (e.g., single-party marginal terms), into full-correlation CHSH-type inequalities with more measurement settings per party. This is achieved by the introduction of auxiliary settings and algebraic substitutions that convert inhomogeneous expressions into homogeneous polynomials over the outcomes [1112.2827]. Tightness, i.e., facet-defining property in correlation polytopes, is preserved under this transformation, ensuring that no redundant inequalities are introduced.

### 3.3. Singular Value Analysis and Tsirelson Bound

The maximal quantum bounds for any CHSH-type Bell inequality are captured by the maximal singular value $\|\mathbf{g}\|_2$ of the coefficient matrix $\mathbf{g}$:
\[
S_\mathrm{quantum} \leq \sqrt{M_1 M_2} \|\mathbf{g}\|_2,
\]
where $M_{1,2}$ are the number of settings per party [1501.01406]. The optimal observables are extracted from the SVD decomposition directly and are necessary for achieving Tsirelson’s bound. Dimensionality analysis in this framework provides insights into device-independent dimension witnesses: if a Bell value exceeds the maximal value permitted for qubits (Hilbert space dimension $d=2$), the state must reside in a higher-dimensional Hilbert space.

## 4. Interpretational Subtleties and Probability Theories

The logical and statistical interpretation of experimental violations hinges on the probability framework employed [2107.02808, 2202.08353]:

- **Frequentism** rejects expressions requiring counterfactual assignments (as only outcomes from realized experimental contexts pertain to the same collective), rendering some versions of the inequality inadmissible.
- **Long-run propensities** permit counterfactual attributions provided all probabilities are conditioned on the same experimental situation, admitting both standard and counterfactual-based inequalities.
- **Single-case propensities** struggle to connect formal probability assignments directly with observed frequencies, limiting their utility in analyzing Bell tests.

Analyses in mathematical psychology draw parallels: the requirements of “marginal selectivity” and “selective influence” in cognitive experiments are structurally identical to the assumptions required for the Bell-CHSH inequality, and their violation signals contextual “contamination” between responses or non-classicality, respectively [1211.2342].

## 5. Experimental Procedures, Loopholes, and Robustness

The practical implementation of Bell-CHSH experiments is nontrivial; detection inefficiencies and necessity of post-selection can open “loopholes” whereby classical, locally deterministic models can fake quantum-like violations. Explicit construction of such classical attacks, representing multi-mode squeezed light via Gaussian random vectors and applying deterministic detection thresholds, can result in reconstructed quantum states exceeding 96% fidelity with target Bell states and CHSH scores of $S = 2.69 \pm 0.04$, challenging the classical limit but remaining below Tsirelson’s bound [2501.06331]. High BSM thresholds, squeezing strength, and QST thresholds critically affect the efficiency and fidelity of this attack, underlining the importance of closing all detection loopholes in definitive Bell tests. Parameters must be adequately optimized to safeguard quantum protocols against attack strategies exploiting detection dependencies.

## 6. Advanced Generalizations: Quantum Field Theory, Squeezed States, Continuous Variables, and Topology

Recent progress extends Bell-CHSH analyses to more general settings:

- **Quantum Field Theory (QFT):** Weyl operators built from smeared quantum fields localized in distinct regions (e.g., Rindler wedges) are used to recast Bell operators in Lorentz-invariant terms. The magnitude of violation is evaluated numerically, taking into account causality checks (vanishing Pauli-Jordan commutators outside the light cone) and mass-dependent clustering properties. Violations of the CHSH bound are found in the vacuum of scalar QFT, with extent decreasing as particle mass increases [2406.20033].

- **Gauge Theories and BRST Invariance:** Application to Maxwell and Abelian Higgs models via BRST invariant squeezed states enables formulation of Bell-CHSH inequalities in a way compatible with gauge symmetries; large quantum violations up to Tsirelson’s bound are attainable on physical (cohomology) sectors [2304.01028].

- **Continuous-Variable and Infinite-Dimensional Systems:** Entangled coherent states and cat states in infinite-dimensional spaces can violate Bell-CHSH inequalities using appropriately defined pseudospin operations, though violation saturating Tsirelson’s bound typically requires small coherent amplitudes and carefully optimized measurement settings [2305.04674].

- **Topological Phases:** The presence of topological phases (Aharonov-Casher and He-McKellar-Wilkens effects) in Mach-Zehnder-type interferometers modifies the effective “Bell angles” and maximal CHSH violation, yielding an explicit dependence on the phase parameter via $S = \sqrt{2} + \sqrt{2}| \cos(2\mu\lambda) |$ [2312.10837].

- **Spatial Decoherence:** For entangled photons produced via SPDC, spatial separation leads to an attenuation of the correlation function; at sufficient distances, the product of the spatial and spin part of the correlation reduces Bell-CHSH violation, yielding a crossover to classical limits as the spatial overlap decays ($R \sim \mathcal{K}/z$), reconciling quantum theory with locality at large scales [2312.07499].

## 7. Entanglement, Nonlocality, and Boundary Conditions

Detailed connections are established between entanglement quantifiers (concurrence, negativity), mixedness (linear entropy), and the violation of Bell-CHSH inequalities, particularly in structured families like W-class three-qubit states [2501.03373]:
- For the two-qubit reduction of W-class states, CHSH violation occurs if concurrence $C_{ij} > 1/\sqrt{2}$.
- The boundaries for violation are defined by inequalities relating negativity $N_{ij}$ to concurrence, e.g.,
\[
\frac{1}{2}\left( -1 + \sqrt{1-C_{ij}^2} + \sqrt{2+3 C_{ij}^2 - 2\sqrt{1-C_{ij}^2}} \right) < N_{ij} \leq C_{ij}
\]
for $C_{ij} \leq 1/\sqrt{2}$, and tighter for larger concurrence.
- For fixed $C_{ij}$, the maximal allowed mixedness (linear entropy) for CHSH violation scales as $E_{ij} < \frac{2}{3}C_{ij}^2$ for $C_{ij} \leq 1/\sqrt{2}$, with no violation possible above $E_{ij} \simeq 0.55$.

This mapping is crucial for the design and verification of quantum resources in cryptography, teleportation, and dense coding, and highlights the monogamy of nonlocality in multipartite entangled systems.

---

The Bell-CHSH inequalities thus represent an interface of algebraic, probabilistic, geometric, and physical principles, with their generalizations and violations elucidating the boundary between classical and quantum descriptions, advancing both foundational and applied quantum science [1005.4966, 1112.2827, 1204.3437, 1211.2342, 1302.6698, 1501.01406, 2107.02808, 2202.08353, 2301.02245, 2304.01028, 2305.04674, 2312.07499, 2312.10837, 2406.20033, 2501.03373, 2501.06331].

Source: https://www.emergentmind.com/topics/bell-chsh-inequalities