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.
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.
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.
Tsirelson’s 2√2 ceiling is a finite-dimensional operator theorem; it does not require acontinuum quantum field theory. We formulate the exact two-site result needed by the Treoshared-closure programme and separate it from the framework-specific physical identification.In the one-excitation subspace span{|01⟩, |10⟩}, imposing a definite exchange parity uniquelyselects (|01⟩ ± |10⟩)/√2, up to phase. These are maximally entangled Bell states. For any twodichotomic observables at each site, the CHSH operator obeys ∥B∥ ≤ 2√2; suitable local axessaturate the bound exactly. No-signaling follows from the tensor-product trace rule.Two shortcuts must be avoided. Equality of the two reduced states alone does not implymaximal mixing, and the printed + Bell state does not automatically have the singlet correlationE(a, b) = −a · b in the same local basis. A local unitary maps the Bell states into one another,so their maximal CHSH value is the same, but the observable convention must be transformedwith the state. The remaining Treo burden is therefore not the algebraic bound. It is to derivethe local two-level register, the one-excitation shared-closure constraint, the allowed detectorobservables, and their spacelike operational readout from the native finite dynamics. The C9successor is not a premise of this two-site theorem.
FINDING: Tsirelson bound is the maximal quantum violation of the CHSH inequality, equal to 22, and recent work explores its algebraic structure via C*-algebra tensor products (Tsirelson pairs). MATH: CHSH inequality: ⟨AB⟩+⟨AB′⟩+⟨A′B⟩−⟨A′B′⟩≤2 (classical). Quantum bound: 22≈2.828. Tsirelson's theorem: for any quantum observables A,A′,B,B′ with ±1 eigenvalues, the maximum is 22. The ratio 22/2=2≈1.414. CONNECTION: 2 is the diagonal of a unit square, linking to 2D Euclidean geometry and the root system A1×A1 (or D2). The ratio 1.414 is not a golden ratio (1.618) but appears in octonion norm and Clifford algebra structures. No direct link to 0.382, 0.618, 0.786, 2.618, or base-60. Crystallographic: 2 appears in square lattice and body-centered tetragonal symmetries. DEPTH: 8 — Tsirels Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
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.
FINDING: Bell inequalities quantify the maximum classical correlation limit; quantum entanglement violates this bound, and new generalized rules (Buscemi) unify entanglement tests across operational scenarios. MATH: - CHSH form: S=E(a,b)+E(a,b′)+E(a′,b)−E(a′,b′)≤2 (local hidden variables) - Quantum maximum: SQM=22≈2.828 (Tsirelson bound) - Ratio: 22/2=2≈1.414 — not a golden ratio, but note 2 is the diagonal of unit square (crystallographic root system A1×A1) - Buscemi's extension: replaces measurement choices with quantum inputs, yielding *nonlocal* inequalities with no classical analogue — the bound becomes state-dependent, often expressed via semidefinite programming (SDP) hierarchies (NPA hierarchy). CONNECTION: - The Tsirelson bound 22 is the maximal algebraic value of a Clifford algebra generator pair — linked to the octonionic/split-octonionic s Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Despite their importance, there is an ongoing challenge characterizing multipartite quantum correlations. The Seevinck-Svetlichny (SS) and Mermin-Klyshko (MK) inequalities present constraints on correlations in multipartite systems, a violation of which allows to classify the correlations by using the nonseparability property. In this work we present refined Tsirelson (quantum) bounds on these inequalities, derived from inequalities stemming from a fundamental constraint, tightly akin to quantum uncertainty. Unlike the original, known inequalities, our bounds do not consist of a single constant point but rather depend on correlations in specific subsystems (being local correlations for our bounds on the SS operators and bipartite correlations for our bounds on the MK operators). We analyze concrete examples in which our bounds are strictly tighter than the known bounds, i.e., lie beneath the previously found constants, thus better characterizing the set of allowed quantum correlations. We interpret the results as complementarity relations between multipartite and local correlations, as well as multipartite and bipartite correlations.