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.
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.
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.
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.
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.
MIP*=RE implies that correlations of commuting observables on an infinite-dimensional Hilbert space (C_qc) can lie at a finite distance from every limit of finite-dimensional tensor-product correlations (C_qa). Such correlations would let a finite experiment detect an actual infinity with a modest number of rounds. In earlier work this was identified as the only route that escapes the resource bounds on certifying Hilbert-space dimension. Here we ask whether relativistic quantum field theory allows Bell correlations in this gap. Under standard structural assumptions, it does not. Suppose the theory has the split property, which follows from the Buchholz–Wichmann nuclearity condition and holds for free fields. Then the correlations of local measurements in strictly spacelike separated regions are tensor-product correlations and lie in C_qa. If the local algebras are hyperfinite, the same holds for regions that are merely spacelike, with no gap between them. Buchholz, D'Antoni and Fredenhagen showed this hyperfiniteness under a scaling-limit assumption. We give a self-contained proof based on semidiscreteness. Alice's measurements are compressed through matrix algebras by unital completely positive maps, and the resulting correlations converge to the original ones. The same applies to the type II₁ observer algebra of a de Sitter static patch, constructed by Chandrasekaran, Longo, Penington and Witten. This algebra is a corner of a crossed product of such an algebra by ℝ, so it is again injective. Within these frameworks, local measurements in spacelike separated regions cannot realise the gap found by MIP*=RE. This excludes the fourth of the logical possibilities listed by Cabello, Quintino and Kleinmann. We then bound, from the state side, how much dimension a Bell test can certify. Compressing each party to the support of its ε-smoothed reduced state reproduces all correlations to within 2(√ε_A + √ε_B) + ε_A + ε_B. Since N rounds resolve correlations only to N^(-1/2), an experiment with N rounds certifies at most the smooth max-entropy of the local state at smoothing ε ~ 1/N. We compute this effective dimension exactly for the vacuum of a lattice free scalar field. The single-particle entanglement energies form two towers, one per block endpoint, with a spacing set by the mass, so only a handful of modes are active. The effective dimension follows an area law: it is at most 9 bits for a 128-site block at ε = 10⁻⁶, against 553 bits from naive counting. As ε decreases from 10⁻¹ to 10⁻¹², it grows only from 2.3 to 13.1 bits. A product bound over thermal modes shows that the growth is polylogarithmic in 1/ε for any regularised block. In the continuum, the corresponding object is the canonical splitting type I factor of Doplicher and Longo, whose vacuum entropy coincides with the reflected entropy. Evaluating its smooth max-entropy as a function of the splitting distance is left for future work. Together with the certification budget of the companion paper, the result gives a coherent picture. Physics uses infinite-dimensional Hilbert spaces and type III algebras. Yet, within these frameworks, the correlations that local measurements can produce are reproduced to any finite precision by finite-dimensional models. The size of these models is controlled by entanglement entropy. Code, data and figures: https://github.com/Ruqing1963/qft-tsirelson-loophole
Union Dipole Theory postulates two distinct channels of transfer: the particle moves through the permeable medium at a bounded speed, while a disturbance within that medium is stated to propagate at an unbounded one (Al-Mayahi, 2014). This paper asks what that structure implies for correlated pairs, and obtains the singlet joint distribution and the Tsirelson value from a single principle. The principle is single-valuedness of the internal phase — the same condition that produced the phase-closure result of the companion paper. Applied to a pair, it does two things at once. It indexes admissible transitions by integers, so that a shared pair quantum resolves into one channel and not partly into both. And, applied to the two pair channels as degrees of freedom of the medium, it fixes their action integrals, which for a linear medium are proportional to the stored energy. The channel weights are therefore not an added rule about rates: they are what closure gives. One condition supplies both the counting and the quadratic weighting. The consequences follow without further assumption. Writing the pair on its shared internal phase, the two channel amplitudes are 2cos(θ/2)cos φ and −2sin(θ/2)sin φ. Their closed action integrals stand in the ratio cos²(θ/2) to sin²(θ/2); a single shared quantum normalises them; and the correlation is E = −a·b with a CHSH maximum of exactly 2√2. An inversion symmetry then fixes the four joint outcome probabilities uniquely and makes the single-station marginals exactly one half at every angle, so no-signalling holds for the construction and not only for the architecture. Three negative controls are computed rather than asserted, and each is derived in closed form. Extracting outcomes by any local rule gives −(1 − 2θ/π) and |S| = 2 exactly. Sending the indivisible transition to the channel of larger instantaneous drive gives the same linear correlation and the same value 2, and no threshold weight repairs it. Weighting the channels by amplitude rather than by action gives S = 1.657 at the standard settings and, on optimisation over the four settings, exactly 2. All three controls therefore terminate at the Bell bound, and the distance between 2 and 2√2 is attributable to the closure measure and to nothing else in the construction. Two structural results complete the account. The correlation is independent of distance because it is a ratio: any common factor multiplying both channel weights — the inverse-square attenuation of the medium included — cancels identically between numerator and denominator, so the disturbance law is obeyed in full while the correlation does not register it. And a residual anisotropy of the medium leaves every prediction unchanged: perfect anticorrelation at zero angle survives at every order, and the CHSH maximum remains exactly 2√2 on the circular sections of the response ellipsoid. Finally, generalising the channel weighting to an arbitrary exponent shows that the correlation is an ordinary cosine for exactly one value, n = 2, and that the maximal CHSH value is strictly increasing in the exponent and passes through 2√2 at exactly that value. The position of the quantum ceiling is thereby tied to a constitutive property — the quadratic, that is linearly elastic, response of the medium — which is itself what the closure condition selects. The framework is not a local hidden-variable theory, does not evade Bell’s theorem, and lies outside the class the theorem constrains; this is stated as a classification and not as an achievement. What is read rather than derived is named, and what remains open is named: in particular, no dynamical account is given of how the shared medium delivers the single transition to one channel across two separated stations. Two appendices follow. The first compares the predicted angular form with Bell correlations reported on three physically unrelated platforms, spanning CHSH values from 2.07 to 2.71, all of which report the same angular form: strength varies, shape does not. The second sets out a two-coordinate hardware diagnostic which follows from the result and which is the subject of United Kingdom patent application GB 2619873.9, filed 26 August 2026. Companion papers: Al-Mayahi, A. (2026a). Internal Time as a Counted Quantity. https://doi.org/10.5281/zenodo.22110704 — Al-Mayahi, A. (2026b). Union-Dipole Continuum Electrodynamics. https://doi.org/10.5281/zenodo.22110528
Based on the three axioms of Geometric Theory and all theorems in the 0.X series, this article reconstructs the theory of quantum entanglement with zero external assumptions. The work includes: (I) Within the framework of holographic screen pixel structure, strictly deriving the minimum resolvable angle Δξmin=π/(2√λ2); (II) Establishing the geometric definition of entanglement—two S-minima on the geometric constraint section Ση achieve geometric maximum entanglement through I-sector freezing and M-sector antipodal locking; (III) Proving the two-level theorem—the low-energy excitation space of a geometric maximum entanglement pair is exactly 2-dimensional, with its ground state spanned by the first zonal harmonic function of the M-sector; (IV) Under the physical mapping convention, deriving the correlation function C(→a,→b)=−→a⋅→b, where the readout directions →a,→b are unit vectors on the M-sector S3; (V) In the hypothetical limit λ2→∞, proving information field localization and that the algebraic upper limit of the CHSH combination is 2; (VI) With finite λ2 and accepting the correlation mapping, proving that the supremum of the CHSH combination is 2√2, with equality conditions →b1⊥→b2 and →a1∥(→b1+→b2), →a2∥(→b1−→b2); (VII) Under the external input assumption of double-slit topological defects, proving that a single S-minimum flowing around the double-slit topological defects produces a phase difference Δϕ=√λ1ΔL, with fringe spacing Δx=2πL/(√λ1d), and providing numerical verification after dimensional bridge conversion. The full text does not use wave function assumptions, does not use Bell's original derivation, and does not introduce Planck's constant as an external input.