Classical probability theory and standard derivations of the CHSH inequality rely on the assumption of a single global probability space—an implicit form of ownership of all possible values. Under this assumption, Bell’s bound |S| ≤ 2 follows pointwise. The Trans–Integral (TI) framework removes this assumption of ownership. Each measurement context θ generates its own measurable space (Ω_θ, F_θ, P_θ), and expectation is computed as a double integral over context-indexed domains: E_{\mathrm{TI}}[X] = \int_{\theta \in C} \left( \int_{\Omega_\theta} X_\theta \, dP_\theta \right) \, \Pi(d\theta). Within the Trans–Integral program, space itself is not primitive but appears as a trace of generative time. TI01 derives the Tsirelson bound 2√2 as a necessary constraint on relations between such already generated spaces, once global ownership is abandoned. The bound is thus interpreted as a relational–spatial limit rather than a purely probabilistic artifact. Important note. The observer-dependent, generative foundation of Trans–Integral integration and the emergence of Assembler Time are developed in TI03 – Trans–Integral: Observer–Dependent Measure and the Emergence of Time https://doi.org/10.5281/zenodo.17671551 Important note (update). The same bound 2√2 is re-derived dynamically as a curvature limit of generative time (time fusion / Assembler Time) in TI07 – Generative Time and the Reconstruction of the Path Integral https://doi.org/10.5281/zenodo.17844994
Classical probability theory and standard derivations of the CHSH inequality rely on the assumption of a single global probability space—an implicit form of ownership of all possible values. Under this assumption, Bell’s bound |S| ≤ 2 follows pointwise. The Trans–Integral (TI) framework removes this assumption of ownership. Each measurement context θ generates its own measurable space (Ω_θ, F_θ, P_θ), and expectation is computed as a double integral over context-indexed domains: E_{\mathrm{TI}}[X] = \int_{\theta \in C} \left( \int_{\Omega_\theta} X_\theta , dP_\theta \right) , \Pi(d\theta). Within the Trans–Integral program, space itself is not primitive but appears as a trace of generative time. TI01 derives the Tsirelson bound 2√2 as a necessary constraint on relations between such already generated spaces, once global ownership is abandoned. The bound is thus interpreted as a relational–spatial limit rather than a purely probabilistic artifact. Important note. The observer-dependent, generative foundation of Trans–Integral integration and the emergence of Assembler Time are developed in TI03 – Trans–Integral: Observer–Dependent Measure and the Emergence of Time https://doi.org/10.5281/zenodo.17671551 Important note (update). The same bound 2√2 is re-derived dynamically as a curvature limit of generative time (time fusion / Assembler Time) in TI07 – Generative Time and the Reconstruction of the Path Integral https://doi.org/10.5281/zenodo.17844994
This paper develops the mathematical core of the Trans–Integral (TI) framework by treating the observational frame not as a fixed backgroundbut as a variable generated within the structure itself. Classical measure theory assumes a single observational system:a fixed σ–algebra, a fixed time axis, and a globally owned measure.TI replaces this assumption with an evolving distribution of observersνt\nu_tνt on a Polish space Θ\ThetaΘ.This distribution generates both measurability and temporal depth, andLebesgue measure appears as a Dirac–limit corresponding to a frozen observer. We introduce the calculus of generated time dτθ=ρθ(t) dt,d\tau_\theta = \rho_\theta(t)\, dt,dτθ=ρθ(t)dt, showing that differentiation is naturally taken with respect to τ\tauτ,not the external parameter ttt.This yields a consistent theory of observer–dependent integration,dynamic σ–algebras, and measure flows. A central result of the paper is a structural bridge:the TI–measure introduced here is precisely the mathematical layerunderlying the time–generation formalism developed in TI–Lorentz (TI06).Integration, time, and symmetry emerge from a single kernel. The paper also reinterprets the Feynman path integral as the trace left byclassical measure theory when it attempts to force a single global measureon a plurality of observational frames.In this sense, quantum non–determinacy is not a physical anomaly buta boundary phenomenon of classical integration. TI05 thus stands between TI03 (observer–dependent measure)and TI06 (generative time and TI–Lorentz),providing the mathematical foundation for the TI program andmarking a step toward a unified account in which measure, time,and physical symmetries arise from a common generative principle.Mathematical context and dependencies: TI05 — Measure Flows, Dynamic σ–Algebras, and the Calculus of Generated Time https://doi.org/10.5281/zenodo.17772983 TI00 — Generative Time, RN Flows, and the Geometric Foundations of Path Integrals https://doi.org/10.5281/zenodo.17834833 TI06math — Foundations of TGG Timehttps://doi.org/10.5281/zenodo.17834992 TI06 — Generative Time and Emergent Lorentz Geometryhttps://doi.org/10.5281/zenodo.17835394
This preprint introduces TI-M0, a minimal algebraic model capturing the core transformation structures appearing in the TI03–TI05 framework of observer-dependent representations. A finite family of contexts is equipped with transformation maps forming a small category. Rigid designation appears as a fixed-point condition of commutative diagrams. Doppler-type transformations are realized as one-dimensional linear deformations, while a two-component lifting provides the smallest extension compatible with observer-dependent time scaling. The model shows that rigidity, Doppler deformations, and two-component observer transformations form three levels of a single algebraic hierarchy. TI-M0 functions as a transparent finite instance of key transformation principles and serves as a conceptual bridge toward more elaborate observer-indexed systems. This short paper is mathematically self-contained and does not rely on any unpublished material. Important note. The structural and measure-theoretic foundations of observer-indexed measurable spaces used here are developed in:Trans–Integral: Observer–Dependent Measure and the Emergence of Time (TI03)https://doi.org/10.5281/zenodo.17671551
This paper began as an experiment.Not an attempt to check a physical theory against mathematics,but an attempt to ask what mathematics might discoverif it were allowed to complete one of physics’ unfinished ideas. Feynman’s path integral is often pictured as a device that slices time intoever finer pieces and collects every possible trajectory.But—as no cross-section of a fiber bundle reveals the network it sustains—temporal slicing cannot uncover the structure from which histories unfold. The Trans–Integral (TI) framework replaces the homogeneous temporal axiswith generated-time densities(dτ_γ = ρ_γ(t),dt),allowing each history to produce time at its own rate.When these densities evolve through Radon–Nikodym flows,integration becomes not a summation over frozen trajectoriesbut a geometric comparison of temporal production. At that moment, Grothendieck’s six operations—originally static devicesfor transporting information across spaces—admit a natural dynamic deformation.We call this structure SGY (Six–Generativity Yoga).It furnishes the correct mathematical language for describinghow histories interact, synchronize, or diverge inside generative time. From this viewpoint, interference and Bell-type correlations revealthemselves as two faces of the same geometry.Both are governed by the Hellinger overlap of RN-flows.The familiar value 2√2 appears not as an artifact of operator algebra,but as a curvature bound inherent in generative time itself—a mathematical inevitability expressing the maximal synchrony thatmultiple histories can achieve without collapsing the plurality thatkeeps them distinct. Thus the classical path integral becomes visible as a degenerate limit,one in which generated time has been compressed into a single homogeneous axis.Quantum theory, seen from here, appears as the linear shadowof a deeper measure-theoretic structure. This revised edition reflects a full reconstruction of the exposition,including corrected references and a clearer articulation of thegenerative geometry underlying the path integral.A forthcoming TI07 Companion will develop the intrinsic TI calculusand the SGY formalism in full mathematical and physical detail,together with their implications for generative action, correlation geometry,and new possibilities for integration theory. TI07 occupies a central place in the TI series:it reveals how generative time reshapes one of physics’ most iconic constructions. Related : • TI00 — Generative Time, RN Flows, and the Geometric Foundations of Path Integralshttps://doi.org/10.5281/zenodo.17791192 • TI01 — Expectation Without Ownershiphttps://doi.org/10.5281/zenodo.17604751 • TI04 — A Measure-Theoretic Unification of Statistical, Quantum, and Cosmological Doppler Shiftshttps://doi.org/10.5281/zenodo.17731306 • TI05 — Measure Flows, Dynamic σ–Algebras, and the Calculus of Generated Timehttps://doi.org/10.5281/zenodo.17772983 • TI06 — Generative Time and Emergent Lorentz Geometryhttps://doi.org/10.5281/zenodo.17835394 • TIM0 — A Minimal Transformational Model of Observer-Dependent Representationshttps://doi.org/10.5281/zenodo.17791192
This paper develops a measure-theoretic unification of statistical, quantum, and cosmological Doppler phenomena. Although these effects arise in distinct physical contexts—thermal velocity distributions, recoil-induced quantum spectral shifts, and cosmological expansion—they share a common mathematical structure: each is generated by an observer-dependent measurable transformation acting on a spectral measure. The central contribution of this work is the introduction of the Trans-Integral (TI) framework, a minimal generalization of Lebesgue integration that internalizes observer parameters into the measure space itself. TI treats Doppler transformations as families of measurable maps D_\theta : X \to X, \qquad \nu_\theta = (D_\theta)_\# \nu_S, \mathcal{T}_{D,\mu}[\nu_S] = \int_\Theta (D_\theta)_\# \nu_S \, d\mu(\theta). This formulation reveals a structural unity hidden in traditional treatments of Doppler effects. Statistical Doppler broadening, quantum spectral deformation, and cosmological redshift—typically presented by unrelated formalisms—are shown to be instances of the same underlying pushforward geometry. The paper also outlines mathematical and physical open problems suggested by the TI viewpoint, including: geometry of parameterized measure spaces, stability and singularity formation under TI operators, TI flows and semigroup structures, categorical interpretations (Kan extensions and enriched colimits), and potential extensions to time-generation models. Appendices provide the foundational measure-theoretic background, diagrammatic intuition, and a structural analysis of observer-dependent qualitative emergence. This work does not propose new physical laws. Instead, it identifies a measure-theoretic skeleton common to diverse Doppler phenomena and places it within a coherent mathematical framework that may aid future developments in spectral theory, quantum foundations, and cosmological analysis. Important note. The present paper develops an application of the observer-dependent measure framework introduced in [Trans–Integral: Observer–Dependent Measure and the Emergence of Time (TI03)](https://doi.org/10.5281/zenodo.17671551), which provides the mathematical backbone of the Trans-Integral (TI) program. For a minimal algebraic core that isolates the transformation structure used here in a finite and self-contained model, see [TI-M0: A Minimal Transformational Model of Observer-Dependent Representations](https://doi.org/10.5281/zenodo.17791192). This version contains the PDF file only, replacing the previous ZIP+PDF combination for clarity.
We derive the Bell–CHSH inequality as a conditional theorem inside Charlton Geometry (CG), rather than as an independent axiom about “local realism”. The key CG primitive is non-invertibility, η(ω) = η(−ω), which forces an observational quotient and produces irrecoverable “lost state” carried by polarity and intrinsic phase. In a bipartite experiment, Bell’s bound is recovered exactly when one adds an additional factorization condition asserting that outcomes depend only on local settings and a local lift choice, i.e. that the lost-state fiber decomposes into independent local fibers. Within CG, the natural geometric coupling of two regions through shared lift and holonomy generically violates that factorization while preserving operational no-signaling, so the Bell inequality becomes a theorem about a restricted subclass of quotients rather than a universal constraint. Using the Born brick as an upstream theorem that fixes the unique binary law cos2(θ/2) on the spin-lifted setting space, we recover the standard singlet correlation E(a, b) = −a °§ b and the Tsirelson bound 2√2 as the sharp CG-compatible CHSH maximum. In this framing, Bell violation is not an ontic miracle but the expected signature of a globally shared, non-invertible geometric substate whose reversal cannot be represented Original DOI: 10.5281/zenodo.18216032 Version: 0.9.0
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.