Tsirelson Inequality in Quantum Nonlocality

• Tsirelson inequality is a precise quantitative boundary that limits quantum CHSH violations to 2√2, clearly distinguishing quantum correlations from classical and no-signaling predictions.
• It is derived using operator formulations in finite-dimensional Hilbert spaces and verified through formal methods like Isabelle/HOL, ensuring rigorous bounds on measurement outcomes.
• The bound’s tightness is demonstrated with maximally entangled states and generalized to multipartite and many-outcome scenarios, providing key insights into quantum nonlocality.

Tsirelson inequality is the precise quantitative statement of how much quantum mechanics can violate the CHSH Bell inequality, and no more. In the standard bipartite scenario with two dichotomic measurements per party, local hidden-variable models satisfy $|S|\le 2$, quantum theory satisfies $|S|\le 2\sqrt{2}$, and no-signaling correlations can reach the algebraic maximum $|S|\le 4$; the inequality therefore locates the quantum boundary between classical Bell correlations and the larger no-signaling set in the CHSH scenario (Echenim et al., 2023, Zohren et al., 2010).

1. CHSH form and the standard quantum bound

In the CHSH setting, Alice chooses between two measurements $A$ and $A'$, Bob between $B$ and $B'$, and each outcome is represented by $\pm 1$. The correlators are expectation values of outcome products, $E(A_xB_y)=E[a_xb_y]$. A standard CHSH combination is

$S=E(AB)+E(AB')+E(A'B)-E(A'B').$

Equivalent sign conventions are common; in a formal Isabelle/HOL treatment the corresponding CHSH operator is written as $|S|\le 2\sqrt{2}$0, which differs only by relabeling and sign choices (Echenim et al., 2023).

The classical Bell–CHSH inequality is

$|S|\le 2\sqrt{2}$1

Quantum theory permits stronger correlations but imposes the Tsirelson bound

$|S|\le 2\sqrt{2}$2

In the same scenario, no-signaling theories can attain the algebraic maximum $|S|\le 2\sqrt{2}$3, so Tsirelson inequality is neither a classical nor a purely algebraic constraint; it is specifically quantum (Zohren et al., 2010, Dahlsten et al., 2011).

A useful equivalent form employs the CHSH “success probability”

$|S|\le 2\sqrt{2}$4

which is linearly related to the correlator form. In that parameterization, Tsirelson’s range is $|S|\le 2\sqrt{2}$5 (Dahlsten et al., 2011).

2. Operator formulation and proof structure

In finite-dimensional Hilbert-space form, a bipartite quantum state is represented by a density operator $|S|\le 2\sqrt{2}$6, i.e. a positive semidefinite Hermitian operator with $|S|\le 2\sqrt{2}$7. Projective measurements yield probabilities $|S|\le 2\sqrt{2}$8, and for an observable $|S|\le 2\sqrt{2}$9 the expectation value is $|S|\le 4$0. For bipartite observables,

$|S|\le 4$1

In the CHSH context one introduces the CHSH operator

$|S|\le 4$2

with assumptions that $|S|\le 4$3 and $|S|\le 4$4 are Hermitian, satisfy $|S|\le 4$5, and commute across subsystems, $|S|\le 4$6 (Echenim et al., 2023).

Under these assumptions the crucial identity is

$|S|\le 4$7

Since $|S|\le 4$8 and similarly for Bob’s operators, one obtains $|S|\le 4$9, hence

$A$0

Because $A$1 for density operators, this yields Tsirelson’s inequality (Echenim et al., 2023).

This derivation has been formalized mechanically in Isabelle/HOL. In that formalization, CHSH-expect-gen-leq proves the quantum upper bound $A$2, while CHSH-expect-lhv-leq proves the local hidden-variable bound $A$3. The same paper formalizes density matrices, projective measurements, tensor products, and the measure-theoretic structure of hidden-variable models, making the contradiction between local hidden variables and quantum predictions a checked theorem rather than an informal calculation (Echenim et al., 2023).

The same analytic pattern has been generalized to operator inequalities for bipartite tensor sums $A$4, with dimension-free bounds controlled by commutator and anticommutator norms. In that framework, Tsirelson’s CHSH estimate appears as a special case of a more general family of graph-structured operator inequalities (Tian, 3 Nov 2025).

3. Tightness, canonical realizations, and experiment

Tsirelson’s bound is tight: there are quantum states and measurements for which the CHSH value is exactly $A$5. In the formal Isabelle/HOL development, the saturating example is the singlet Bell state

$A$6

with

$A$7

$A$8

where

$A$9

For these observables and $A'$0, the formalized CHSH expectation is exactly $A'$1 (Echenim et al., 2023).

Experimental work with polarization-entangled photons has approached this limit closely. A Sagnac polarization-entangled source reported

$A'$2

together with brightness $A'$3 pairs/s/mW, concurrence $A'$4, and fidelity to an ideal Bell state $A'$5. The same study attributes the dominant reduction in $A'$6 to the precision of the collection focal point inside the crystal, and notes that some individual runs gave $A'$7 only within statistical error bars, not as evidence for super-quantum correlations (Meraner et al., 2020).

In the two-qubit Bell–CHSH setting, that experimental paper states that only maximally entangled states can achieve $A'$8 (Meraner et al., 2020). At the same time, the operator-algebraic mechanism behind saturation is broader than the standard Pauli-matrix example. Large random dichotomic observables and freely independent “free observables” also yield $A'$9; in that sense, near-maximal CHSH violation is not restricted to explicit anticommuting qubit observables, although anticommutation remains the textbook construction (Yin et al., 2015).

4. Generalizations beyond binary-outcome CHSH

Tsirelson-type bounds extend beyond CHSH. In the $B$0 CGLMP setting, a simplified equivalent inequality can be written as

$B$1

For local realistic models, $B$2. In the infinite-outcome limit $B$3, the quantum problem becomes minimizing $B$4, and the resulting tight quantum inequality is

$B$5

Thus the local bound remains $B$6, while the quantum bound in the $B$7 setting is $B$8 and is asymptotically attainable (Zohren et al., 2010).

A notable feature of that many-outcome setting is that the maximal quantum violation is attained by a pure but not maximally entangled state. An approximate near-optimal family is

$B$9

and its entanglement entropy satisfies

$B'$0

This sharply contrasts with CHSH, where the maximal value is attained by the standard maximally entangled two-qubit realization (Zohren et al., 2010).

In multipartite Bell theory, refined Tsirelson bounds need not be fixed constants. For Svetlichny operators $B'$1, one obtains

$B'$2

so the quantum bound depends on a local anticommutator for one party. For odd-$B'$3 Mermin–Klyshko operators,

$B'$4

with $B'$5 determined by bipartite anticommutators. These formulas make the multipartite quantum limit depend explicitly on lower-order subsystem correlations, and the paper interprets them as complementarity relations between local or bipartite correlations and higher-order nonlocality (Lenny et al., 2024).

5. Dual geometry, extremal inequalities, and self-testing

In the $B'$6 Bell scenario, Tsirelson inequality can be studied from the dual perspective of the quantum set $B'$7. The dual set

$B'$8

consists of Bell expressions normalized by their quantum bound. In that picture, the standard Tsirelson point

$B'$9

is exposed not by a unique Bell functional but by a two-dimensional face of $\pm 1$0 whose intersection with a natural affine slice is a regular octagon (Barizien et al., 2024).

Within that slice, the CHSH expression is not extremal. Rather, it decomposes into extremal Tsirelson inequalities; the paper shows explicitly that CHSH is the average of two such extremal inequalities. This gives a finer description of the local geometry of the quantum boundary than the usual statement that CHSH alone defines the Tsirelson point (Barizien et al., 2024).

The same dual analysis identifies all Bell expressions in that octagonal region that self-test the Tsirelson realization

$\pm 1$1

Any Bell expression in the octagon interior has quantum bound $\pm 1$2 and is strictly maximized only by $\pm 1$3, hence self-tests the Tsirelson realization (Barizien et al., 2024).

For general bipartite correlation-type Bell inequalities with coefficient matrix $\pm 1$4, a broad Tsirelson-type estimate is

$\pm 1$5

where $\pm 1$6 is the maximal singular value of $\pm 1$7. The paper giving this bound also provides a tightness criterion in terms of the singular vectors of $\pm 1$8 and a common ellipsoid condition for their row vectors. In this way, Tsirelson-type bounds become a constructive tool for designing Bell inequalities and dimension witnesses, rather than only upper bounds on pre-existing expressions (Epping et al., 2013).

6. Principles, reinterpretations, and nonstandard proposals

One information-theoretic route to Tsirelson inequality proceeds through generalized entropy. In the framework of convex probabilistic theories, if an entropy $\pm 1$9 satisfies three properties—agreement with Shannon entropy on classical systems, conditional entropy defined by $E(A_xB_y)=E[a_xb_y]$0, and a generalized data processing inequality stating that conditional entropy cannot decrease under local operations—then the theory necessarily obeys Tsirelson’s bound for CHSH. In that sense, Tsirelson’s inequality can be derived from a generalized DPI rather than directly from Hilbert-space operator algebra (Dahlsten et al., 2011).

Other papers recast the bound in alternative conceptual terms. One geometric-algebra treatment argues that the derivation of the CHSH and Tsirelson inequalities depends crucially on the assumption that values of physical magnitudes are scalars, and reformulates the $E(A_xB_y)=E[a_xb_y]$1 limit as a geometric constraint for vector-valued magnitudes. This is presented there as a reinterpretation of the origin of the bound, not as a modification of its numerical value within ordinary quantum mechanics (Held, 2020).

Several papers also investigate generalized theories in which the standard $E(A_xB_y)=E[a_xb_y]$2 ceiling is modified. In minimal-length quantum mechanics, the physical spin operator becomes momentum dependent,

$E(A_xB_y)=E[a_xb_y]$3

and the CHSH maximum becomes

$E(A_xB_y)=E[a_xb_y]$4

which exceeds the ordinary Tsirelson bound for suitable momentum states. In the pre-quantum theory of trace dynamics, the paper derives

$E(A_xB_y)=E[a_xb_y]$5

again allowing values larger than $E(A_xB_y)=E[a_xb_y]$6 while preserving no-signaling under the probability prescription adopted there (Bosso et al., 2022, Ahmed et al., 2022).

Within standard quantum theory, however, the status of Tsirelson inequality remains unchanged. It is the sharp quantitative limit on CHSH nonlocality under the assumptions of Hermitian $E(A_xB_y)=E[a_xb_y]$7-valued observables, tensor-product bipartite structure, and quantum state expectations. Its importance lies precisely in this role: it fixes the maximum nonlocality of quantum theory, distinguishes the quantum set from both local and no-signaling models, and continues to organize work on Bell inequalities, self-testing, formal verification, many-outcome generalizations, and multipartite nonlocality (Echenim et al., 2023, Barizien et al., 2024).