Tsirelson's Bound & Quantum Correlations

• Tsirelson's Bound is a fundamental limit in quantum mechanics that caps the CHSH parameter at 2√2, defining the maximum strength of quantum correlations.
• It is derived via operator norm techniques and singular-value analysis, illustrating the interplay between entanglement, no-signaling, and measurement constraints.
• The bound underpins device-independent protocols and distinguishes quantum nonlocality from classical and post-quantum models through both theoretical derivations and experimental verifications.

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$ (Tian et al., 2022).

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}$$ (Echenim et al., 2023, Epping et al., 2015).

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}$ (Epping et al., 2013, Epping et al., 2015).

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 (Dahlsten et al., 2011, Wakakuwa et al., 2012, Adlam, 2020, Adlam, 2020, Barandes et al., 19 Dec 2025). For instance, if the data processing inequality for entropy holds in a general probabilistic theory, then Tsirelson's Bound necessarily follows (Dahlsten et al., 2011).

• 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 (Adlam, 2020, Barandes et al., 19 Dec 2025).

• 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 (Henaut et al., 2018). 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}$ (Tian et al., 2022).

• 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 (Poh et al., 2015).

• 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 (Dudal et al., 2024).

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 (Lenny et al., 2024).

• 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 (Le et al., 2015).

• 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 (Doherty et al., 2011).

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 (Ahmed et al., 2022).

• 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 (Borsten et al., 2012).

• 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 (Carmi et al., 2015).

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 (Epping et al., 2013, Epping et al., 2015).

• 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}$ (Oaknin, 2020).

---

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.