In 1964, John Bell showed that any local hidden‑variable theory must satisfy a specific inequality on correlations between distant measurements. In its CHSH form (Clauser, Horne, Shimony, Holt 1969), the inequality reads |S| = |E(a,b) + E(a,b′) + E(a′,b) − E(a′,b′)| ≤ 2, where E(a,b) is the correlation between measurement outcomes at two separated parties using settings a and b. Any local realist theory respects this bound. Quantum mechanics violates it. Experiments confirm the violation. The standard quantum prediction for a maximally entangled state with optimal measurement angles is |S| = 2√2 ≈ 2.828. In 1980, Boris Tsirelson proved that 2√2 is not just one quantum prediction — it is the *maximum* value any quantum correlation can produce. No quantum state, no measurement scheme, no clever protocol can push |S| beyond 2√2. The bound is sharp, the value is exact, and it has been measured in laboratories around the world to experimental precision. The Tsirelson bound is one of the deepest empirical structures in physics. It tells us that quantum correlations exceed classical correlations by a specific, finite amount — there is room to violate Bell’s inequality, but only so much room. The number 2√2 has no obvious physical interpretation. It does not appear in the formulation of quantum mechanics. It emerges from the mathematics of the bipartite Hilbert space when the CHSH operator is constructed and bounded. The question is where it comes from. In standard QM, the answer is that it falls out of the Hilbert‑space structure plus Cauchy–Schwarz plus an operator‑norm bound on the CHSH operator. Technically correct, and Tsirelson’s 1980 proof remains the canonical derivation — but it leaves the deeper structure unanswered. The Hilbert space is postulated. The inner product that makes Cauchy–Schwarz available is postulated. The bipartite tensor‑product structure on H_A ⊗ H_B is postulated. The 2√2 value is what those postulates produce when run through the CHSH operator. This walkthrough shows how the Event Density framework derives the Tsirelson bound from a smaller set of structural commitments. The Hilbert‑space structure, the inner product, and the bipartite tensor‑product structure all emerge as forced consequences of the substrate ontology rather than being postulated. With those structures forced rather than assumed, Tsirelson’s 1980 argument applies directly, and the 2√2 value is no longer the output of a chain of postulates but the output of a chain of derived theorems. Like Heisenberg, Bell–Tsirelson is a place where the framework’s contribution is upstream. The bound itself is mathematical physics already in the literature; what changes is the foundational status of the structures the argument requires. ED does not produce a new derivation step beyond standard QM here — it removes the postulational status of the structures the standard derivation already uses. The 2√2 value is now a derived consequence of the substrate ontology, all the way down.
In 1964, John Bell showed that any local hidden‑variable theory must satisfy a specific inequality on correlations between distant measurements. In its CHSH form (Clauser, Horne, Shimony, Holt 1969), the inequality reads |S| = |E(a,b) + E(a,b′) + E(a′,b) − E(a′,b′)| ≤ 2, where E(a,b) is the correlation between measurement outcomes at two separated parties using settings a and b. Any local realist theory respects this bound. Quantum mechanics violates it. Experiments confirm the violation. The standard quantum prediction for a maximally entangled state with optimal measurement angles is |S| = 2√2 ≈ 2.828. In 1980, Boris Tsirelson proved that 2√2 is not just one quantum prediction — it is the maximum value any quantum correlation can produce. No quantum state, no measurement scheme, no clever protocol can push |S| beyond 2√2. The bound is sharp, the value is exact, and it has been measured in laboratories around the world to experimental precision. The Tsirelson bound is one of the deepest empirical structures in physics. It tells us that quantum correlations exceed classical correlations by a specific, finite amount — there is room to violate Bell’s inequality, but only so much room. The number 2√2 has no obvious physical interpretation. It does not appear in the formulation of quantum mechanics. It emerges from the mathematics of the bipartite Hilbert space when the CHSH operator is constructed and bounded. The question is where it comes from. In standard QM, the answer is that it falls out of the Hilbert‑space structure plus Cauchy–Schwarz plus an operator‑norm bound on the CHSH operator. Technically correct, and Tsirelson’s 1980 proof remains the canonical derivation — but it leaves the deeper structure unanswered. The Hilbert space is postulated. The inner product that makes Cauchy–Schwarz available is postulated. The bipartite tensor‑product structure on H_A ⊗ H_B is postulated. The 2√2 value is what those postulates produce when run through the CHSH operator. This walkthrough shows how the Event Density framework derives the Tsirelson bound from a smaller set of structural commitments. The Hilbert‑space structure, the inner product, and the bipartite tensor‑product structure all emerge as forced consequences of the substrate ontology rather than being postulated. With those structures forced rather than assumed, Tsirelson’s 1980 argument applies directly, and the 2√2 value is no longer the output of a chain of postulates but the output of a chain of derived theorems. Like Heisenberg, Bell–Tsirelson is a place where the framework’s contribution is upstream. The bound itself is mathematical physics already in the literature; what changes is the foundational status of the structures the argument requires. ED does not produce a new derivation step beyond standard QM here — it removes the postulational status of the structures the standard derivation already uses. The 2√2 value is now a derived consequence of the substrate ontology, all the way down.
The term Bell's theorem refers to a set of closely related results which imply that quantum mechanics is incompatible with local hidden variable theories. Bell's inequality is the statement that if measurements are performed independently on two space-like separated particles of an entangled pair, the assumption that outcomes depend on hidden variables implies an upper bound on the correlations between the outcomes. Quantum mechanics predicts correlations which violate this upper bound. The CHSH inequality is a specific Bell inequality in which classical correlation (i.e. if local hidden variables exist) can take the maximum value of 2. Quantum mechanics violates this bound, allowing for a higher bound on the correlation, which can take the maximum value 22, known as the Tsirelson bound. Popescu and Rohrlich showed that the assumption of relativistic causality allows for an even higher bound on the CHSH correlation, this value being 4. Why is the bound coming from causality higher than the Tsirelson bound? Are there relativistic causal dynamical theories which violate the Tsirelson bound? In the present paper we answer this question in the affirmative. We show that the pre-quantum theory of trace dynamics, from which quantum theory is emergent as a thermodynamic approximation, permits the CHSH correlation to take values higher than 22. We interpret our findings to suggest that quantum theory is approximate, and emergent from the more general theory of trace dynamics.
Tsirelson's bound is the upper bound for a Bell inequality which is valid for all quantum mechanical systems. We discuss why Tsirelson's bound was developed by looking at some historical arguments in quantum physics, such as the Einstein-Podolsky-Rosen (EPR) paradox, an argument for the quantum mechanical description of physical reality being incomplete, and local hidden variables. We present the counterargument to those theories, Bell's inequality, which later expanded to include any inequality that a local system fulfills, but that an entangled quantum system can violate. We present the proof of two specific Bell inequalities: the Clauser-Horne-Shimony-Holt (CHSH) inequality and the I3322 inequality. Then the Tsirelson's bound for the CHSH inequality is proven with a simple system of two entangled spin-1/2 particles and with a general argument that is valid for all entangled systems. We give the upper quantum bound for the generalized CHSH inequality, which describes the situation that we have more than two measurement options, by using semidefinite programming. We prove the Tsirelson's bound for the I3322 inequality by using maximally entangled systems and semidefinite programming. Finally, we discuss the upper bounds that are obtained from these different methods.
Abstract The violation of Bell inequalities by quantum systems is among the most precisely tested predictions in physics, yet the origin of the Tsirelson bound CHSH ≤ 2√2 is rarely stated in fully algebraic terms. We show that this bound is an instance of the stabiliser-range theorem first established for check-digit codes over finite alphabets. The three-element framework (G, F, E) of that work translates to the quantum bipartite setting as follows: the state group G is the unitary group U(HA ⊗ HB), the fold F is the singlet state |ψ−⟩, and the perturbation family E is the set of local unitary transformations. The product stabiliser Stab× (the classical, local-hidden-variable description) is a strict subset of the tensor stabiliser Stab⊗ (the quantum description); the difference is exactly the diagonal SU(2) subgroup {U ⊗ U : U ∈ SU(2)}. We prove a Lie-algebra stretch factor theorem: every generator X ∈ su(2) satisfies ‖dφdiag(X)‖HS = √2 · ‖dφprod(X)‖HS, where φdiag and φprod are the diagonal and product embeddings of SU(2) into U(4). This stretch factor is the algebraic source of the √2 in the Tsirelson bound. We further establish a Stab-Tsirelson equivalence chain: the diagonal stabiliser condition (U ⊗ U)|ψ−⟩ = |ψ−⟩ implies, through a single algebraic sequence, that the CHSH operator has eigenvalue −2√2 on |ψ−⟩. For N-particle systems we prove inductively that the MABK (Mermin-Ardehali-Belinskii-Klyshko) ratio satisfies M(N) = 2(N−1)/2, confirmed numerically for N = 1, …, 5. No-signaling emerges as a corollary: the diagonal stabiliser is inaccessible from either subsystem alone. The framework places the Tsirelson bound, the multiparticle scaling, and the no-signaling principle within a single algebraic structure, providing a unified account of quantum nonlocality that is traceable to the check-digit symmetry-matching condition Stab(G, F) ∩ E = {e}. Complete proofs are provided in the supplementary document.
The Tsirelson bound, ∣S∣ ≤ 2√2, is the maximum violation of the CHSH inequality permitted by quantum mechanics. While the standard derivations use operator algebra or Cauchy–Schwarz inequalities, we present a compact geometric–dimensional interpretation: the quantum maximum is the product of the classical Bell bound (2) and the Hilbert-space geometry factor (√2). Moreover, since (√2)³ = 2√2, the Tsirelson bound can be seen as a 3-D extension of the 2-D Hilbert geometry factor. This algebraic loop highlights the number 2 as both the classical ceiling and the denominator linking logical and geometric amplification.
A no-signaling theory may, in principle, be more nonlocal than quantum mechanics: the Popescu--Rohrlich box reaches the algebraic Clauser--Horne--Shimony--Holt value 4, whereas nature stops at the Tsirelson value 22. Absolute Frame Theory (AFT) produces nonlocal correlations---two systems entangled in M share a single point of the substratum A (Axiom II)---and forbids superluminal signaling (the channel is Bremermann-bounded). We ask where those correlations fall, and we establish, by two independent routes, that they cannot exceed the Tsirelson bound: AFT admits no super-quantum correlations. The operator route proves, inside the reconstructed Hilbert theory, the Tsirelson operator identity, with the local commutativity [Ai,Bj]=0 itself derived from AFT structure---the tensor factorization that local tomography supplies and the field microcausality of the constrained embedding---rather than assumed. The information route reduces the bound to a physical principle: AFT's shared resource is read out through a completely positive, trace-preserving channel of finite classical capacity (a theorem of the channel, founded on action quantization and the trace over the inaccessible fiber), this channel obeys the data-processing inequality, and the combination places AFT in the class that satisfies Information Causality, which singles out 22 among the no-signaling theories. We state plainly what this does and does not achieve. It does not close the question of why the bound is 22 rather than some other value: both routes, chased to their foundations, terminate at the same posited fact---the M--A signature transition (the Wick rotation) that installs the complex-Hilbert structure---and finite capacity alone, stripped of that structure, does not exclude a Popescu--Rohrlich box. The two routes are thus the operator-algebraic and information-theoretic faces of one ceiling, and they reduce the selection of 22 to a single substratum fact, with the residue an instance of the deepest open question of the programme rather than a problem specific to nonlocal correlations.
When two particles are created together in a single quantum event, they can become entangled: their properties remain correlated no matter how far apart they travel. Measure one, and the outcome of measuring the other is no longer independent. This correlation is the central puzzle of quantum mechanics. Classical physics sets a hard limit on how strong such correlations can be. The CHSH inequality (Clauser, Horne, Shimony, and Holt, 1969) formalises that limit: for any theory in which each particle carries its own independent set of predetermined answers, the correlation measure S cannot exceed 2. Bell-type experiments consistently violate this bound, with the maximum ideal value predicted by quantum mechanics being S = 2√2. Something does not fit. Several explanations have been proposed. Some invoke extra dimensions. Others appeal to wormhole geometries connecting the particles. The mainstream position is that the outcomes "collapse and become correlated," which states the observation without explaining the mechanism. All of these either add dramatic ontological furniture or repackage the mystery as an answer. This paper proposes a simpler reading. The value 2√2 is not a mystery to be explained by exotic physics. It is the geometric signature of a jointly structured bipartite state whose correlation was fixed at the source, at the moment of entanglement, not at measurement time. The two particles are not two independent objects that later communicate. They are two readout surfaces of a single joint preparation. The cosine correlation law, the Tsirelson bound, and the full Bell violation follow directly from the geometry of the two-qubit state space and the relative orientation of the measurement settings. No signal, no extra dimension, no new physics is required. Three companion papers in this series explored the opposite hypothesis: The Speed of Light and Its Limits [1] examined whether entanglement could circumvent relativistic constraints; Quantum Entanglement as a Communication Channel [2] proposed a synchronized-clock experiment to detect timing signatures; and Parametrizing Correlation Timing [3] developed a Lorentz-structured ansatz for concurrence-dependent delays. If those experimental proposals return null, the present reading is reinforced: not by proof, but by elimination of the alternatives that require more. A final section develops geometric and regime-based frameworks consistent with the source-structural reading, including the measurement torus as the natural geometry of Bell experiments, a jointness index based on Concurrence, and connections to emergent spacetime programmes. These are offered as directions for future development.