---
title: Tsirelson's Bound & Quantum Correlations
url: https://www.emergentmind.com/topics/tsirelson-s-bound
type: topic
---

# Tsirelson's Bound & Quantum Correlations

Tsirelson's Bound establishes the maximal strength of quantum violations of the Bell-Clauser-Horne-Shimony-Holt (CHSH) inequality and, by extension, quantum nonlocality. It describes a precise boundary for correlations achievable in quantum mechanics for bipartite systems subjected to local measurements, separating quantum mechanics from both classical local hidden-variable theories and hypothetical post-quantum no-signaling models. The bound delineates the capabilities and limitations of entanglement-based protocols, plays a fundamental role in the foundations of quantum information theory, and motivates a broad range of conceptual, mathematical, and experimental research.

## 1. Definition and Mathematical Formulation

Tsirelson's Bound is formulated in the context of the CHSH scenario, where two spacelike-separated parties, Alice and Bob, make binary measurements (with outcomes $x, y \in \{0,1\}$) based on independent binary inputs $a, b \in \{0,1\}$. The key object is the CHSH parameter
\[
S = E_{00} + E_{01} + E_{10} - E_{11}
\]
where $E_{ab} = \operatorname{Pr}[x \oplus y = 0|a, b] - \operatorname{Pr}[x \oplus y = 1|a, b]$ is the correlator for settings $a$, $b$. 

- **Classical bound:** $|S| \leq 2$ for all local realistic theories.
- **Quantum bound (Tsirelson's Bound):** $|S| \leq 2\sqrt{2}$. 

This quantum maximal value is achieved by local projective measurements on a maximally entangled (Bell) state, for explicitly constructed observables. The associated maximal probability of winning the CHSH game using quantum resources is $w_{\rm CHSH}^{\rm max} = \cos^2(\pi/8) \approx 0.8536$, in contrast to the optimal classical value $w_{\rm LHV} = 0.75$ [2201.10188].

## 2. Operator-Theoretic Derivation and Generalizations

The standard proof constructs the CHSH operator,
\[
\widehat{S} = A_0 \otimes B_0 + A_0 \otimes B_1 + A_1 \otimes B_0 - A_1 \otimes B_1
\]
where $A_i$, $B_j$ are $\pm 1$-valued Hermitian observables. The spectral norm is
\[
\|\widehat{S}\| \leq 2\sqrt{2}
\]
due to the algebraic identity $\widehat{S}^2 = 4I - [A_0, A_1] \otimes [B_0, B_1]$ and the maximal commutator norm of $2$ for such binary observables. Consequently, for any quantum state $|\psi\rangle$, $|\langle\psi|\widehat{S}|\psi\rangle| \leq 2\sqrt{2}$ [2306.12535, 1501.01406].

This derivation extends to generalized Bell inequalities. The critical result is that for a generic "correlation-type" Bell expression of the form $S = \sum_{x_1, x_2} g_{x_1 x_2}E(x_1, x_2)$, the maximal quantum value is upper-bounded by the largest singular value of the coefficient matrix $g$:
\[
S_Q \leq \sqrt{M_1 M_2} \|g\|_2
\]
with the CHSH case corresponding to $M_1 = M_2 = 2$ and $\|g\|_2 = \sqrt{2}$ [1306.3805, 1501.01406].

## 3. Information-Theoretic and Foundational Principles

The question of "why" quantum mechanics saturates the CHSH bound at $2\sqrt{2}$ rather than the algebraic maximum $4$ has motivated numerous attempts to derive Tsirelson's Bound from physical or informational constraints.

- **No-signaling, Information Causality, and Chain Rule:**
  No-signaling alone permits post-quantum (PR-box) correlations up to $|S| = 4$. Principles such as information causality, the data processing inequality (DPI), and the chain rule for generalized mutual information have been shown to yield Tsirelson's Bound as a necessary consequence [1108.4549, 1207.2286, 2011.08284, 2011.08284, 2512.18105]. For instance, if the data processing inequality for entropy holds in a general probabilistic theory, then Tsirelson's Bound necessarily follows [1108.4549].

- **Global Determinism and Causal Locality:**
  Arguments relying on global determinism and counterfactual parameter independence provide an information-theoretic pathway to Tsirelson’s Bound, connecting the prohibition of causal loops or supersignaling to the quantum limit [2011.08284, 2512.18105].

- **Thermodynamics and Reversibility:**
  There is a direct link between Tsirelson's Bound and the reversibility of operations. Landauer's principle constrains the entropic cost of irreversible operations; quantum mechanics, being unitary, cannot erase information, naturally leading to the bound [1806.05624]. Any further increase in Bell-inequality violation would require entropy dissipation.

## 4. Experimental Verification and Physical Realization

Tsirelson's Bound has been extensively verified experimentally with precise optical and atomic systems. Notable results include:

- **Single-qubit Photonic Tests:**
  Implementation of the CHSH* protocol with a single photonic qubit achieves $w_\mathrm{exp} = 0.8536 \pm 0.0018$ and $S_\mathrm{exp} = 2.8288 \pm 0.0144$, in excellent agreement with $2\sqrt{2}$ [2201.10188].

- **Photon Pair Experiments:**
  High-precision measurements report $S = 2.82759 \pm 0.00051$, providing direct and precise evidence for saturation of Tsirelson’s Bound and ruling out certain theoretical proposals predicting a slightly lower upper limit [1506.01865].

- **Quantum Field Theory Constructions:**
  Analytical and numerical constructions demonstrate the approach to Tsirelson's Bound in quantum field theoretic settings (e.g., using bumpified Haar wavelets in the free massless 1+1D spinor field vacuum), reducing the problem to spectral properties of infinite-dimensional block-Toeplitz matrices [2410.13362].

## 5. Beyond the Bipartite Case: Multipartite and Temporal Extensions

Generalizations to multipartite Bell inequalities yield corresponding quantum bounds:

- **Refined Multipartite Bounds:**
  For Svetlichny and Mermin-Klyshko (MK) inequalities, the quantum bounds depend on local (anti)commutators or lower-party correlation terms, and can be strictly tighter than $2^{N-1}\sqrt{2}$ depending on subsystem anticommutators [2406.16202].

- **Temporal Tsirelson's Bound:**
  In time-ordered scenarios (temporal Bell inequalities), the divisibility property (Markovianity) of quantum channels enforces the same Tsirelson bound on time-separated correlations, while entanglement-breaking channels ensure the classical Bell bound [1510.04425].

- **Resource Constraints:**
  In finite-time measurement scenarios, the extent of Bell violation is dynamically limited, with Tsirelson’s Bound representing an asymptotic plateau reached as the allowed measurement time increases [1105.2268].

## 6. Supra-Quantum Theories and Violations

The Tsirelson bound is not the maximal violation compatible with no-signaling. Models such as PR-boxes (Popescu-Rohrlich boxes) admit $|S|=4$. Tsirelson's bound is thus a uniquely quantum boundary, not a consequence of no-signaling alone.

- **Emergent Quantum Theories:**
  In trace dynamics, where quantum theory emerges statistically from a more fundamental matrix model, transient violations of Tsirelson’s Bound are theoretically possible before the thermodynamic equilibrium is reached; only at equilibrium does the $2\sqrt{2}$ limit reemerge [2208.02209].

- **Supersymmetry and Negative Probabilities:**
  In supersymmetric extensions (“superqubits”), the choice of map from Grassmann-valued amplitudes to real transition probabilities can allow CHSH violations beyond $2\sqrt{2}$ (e.g., $p_\text{win} \simeq 0.9265$ versus $0.8536$), although such constructions are not universally positive and may permit negative probabilities under basis change [1206.6934].

- **Statistical and Causal Principles:**
  Violations of Tsirelson's Bound generally permit exotic causal phenomena, such as communication through statistically disconnected channels, thus violating causal-statistical independence or statistical no-signaling [1507.07514].

## 7. Geometric and Algebraic Interpretations

The Tsirelson bound is also explainable from a geometric (and algebraic) perspective:

- **Singular-Value and Vector-Geometry Methods:**
  For any correlation-type Bell inequality, the maximal quantum value is the product of the operator norm of the relevant coefficient matrix and the Euclidean norm of assigned unit vectors—a result directly linked to the geometric structure of Hilbert space [1306.3805, 1501.01406].

- **Parity Symmetry Generalizations:**
  For generalized families of correlation functions obeying parity and monotonicity conditions, one obtains a "generalized Tsirelson bound" parametrized by the value of the correlation at a particular angle (e.g., $|F_E| \leq 4|E(\pi/4)|$), with quantum mechanics saturating $E(\pi/4)=1/\sqrt{2}$ [2005.11802].

---

Together, these results establish Tsirelson's Bound as a structural feature of quantum theory, with wide-ranging implications for nonlocality, device-independent protocols, cryptographic security, and the exploration of post-quantum models. It serves as a critical benchmark for distinguishing physically admissible quantum correlations from mathematically possible but nonphysical (superquantum) behaviors.

Source: https://www.emergentmind.com/topics/tsirelson-s-bound