Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Born Rule as a Theorem Deductive Derivation from Temporal Field Dynamics and LA-ODR Flow

Andriy V Lemeshko, Isamu Ohnishi

Published Apr 22, 2026• 0 citations
Publisher

Abstract

This work presents a deductive solution to the Born rule problem within the framework of the Temporal Theory of the Universe (TTU) and Lie-Algebraic Observable-Dependent Renormalization (LA-ODR). Probability is derived as the energetic response of the temporal field τ, with quadratic scaling fixed by the global attractor u* ≈ 0.945531. The proof (Theorem D.0) establishes that P(Oᵢ) = Tr(ρ P̂ᵢ) emerges from pointer-sector decomposition, Lindblad decoherence, and a Gleason-type uniqueness argument supplemented by an operational proof of affine linearity. The derivation combines (i) dynamical sector selection via the temporal drift generator X̂_time, (ii) exponential suppression of orthogonal components via infrared Lindblad attractors, and (iii) CPTP-consistent measure uniqueness. The Born rule is thus a theorem of the TTU/LA-ODR measurement sector rather than an independent postulate. A single remaining model-specific condition — primitivity of the infrared LA-ODR measurement channel — is explicitly isolated and formulated as an open problem (Appendix W). Keywords: Born rule theorem; Temporal Theory of the Universe (TTU); LA-ODR renormalization; temporal susceptibility χτ; global attractor u*; pointer sectors; Lindblad semigroup; CPTP consistency; Gleason uniqueness; disformal geometry; nucleon mass scaling; FPGA/TPLL; SQUID detection.

DOI
10.5281/zenodo.19695722

Related papers

Measurement and the Born Rule from Temporal Sampling in the Scalar Temporal Field Ontology

Cale Scott Howe

This work provides an ontological and operational grounding of the Born rule within the Scalar Temporal Field Ontology (STFO), in which time is represented as a monotonic scalar field τ(x). Measurement is modeled as an irreversible process of environmentally-induced temporal stabilization of macroscopic records. Probabilities are defined as τ-sampling weights over stabilized record sectors under repeated trials. It is shown that the disjointness and objective identity of stabilized records compel the standard probability axioms on quantum events, including normalization, additivity over exclusive outcomes, and noncontextuality. Established Gleason- and Busch-type representation theorems then uniquely yield the trace rule p(P)=Tr(ρP), and hence the Born rule for pure states. The paper does not modify quantum mechanics or its empirical predictions. Instead, it supplies a physical justification for the probability axioms traditionally assumed in quantum theory by grounding them in temporal stabilization along τ. The Born rule is thereby reinterpreted as the unique τ-consistent sampling measure on stabilized quantum events rather than an independent postulate.

•Jan 10, 2026•0 citations

Born Rule from Projector Measures in SU(N)-Covariant Time–Scalar Spectral Geometry

Jordan Gabriel Farrell

We derive the Born probability rule as a theorem within the Time–Scalar Field Theory (TSFT) spectral-geometry program. Assuming only that measurement outcomes correspond to orthogonal spectral projectors on the TSFT Hilbert space and that probability assignments are additive on exclusive outcomes and noncontextual with respect to commuting decompositions, we obtain a unique projector measure. By Gleason-type arguments (with a qubit patch via ancilla embedding or POVM extension), the probability of an outcome projector P must take the trace form μ(P) = Tr(ρP) for some density operator ρ. For pure states this reduces to μ(P) = ⟨ψ|P|ψ⟩, yielding the Born rule without invoking external quantum axioms.

•Feb 27, 2026•0 citations

The Born Rule From First Principles A Geometric Derivation via Dimensional Marginalization and Topological Constraints

Koenig, Andy, Karma

AbstractThe Born rule—assigning quantum probabilities as —remains a postulate in standard quantummechanics. Despite numerous attempts (Gleason's theorem, decoherence, envariance, decision theory), noderivation has eliminated the need for an additional probabilistic axiom. This paper presents a geometric derivationof the Born rule from three minimal principles: (1) physical states are complex linear fields, (2) reality includes anunobservable scale dimension , and (3) observers are restricted to fixed-scale hypersurfaces. Under theseconditions, the unique operational density consistent with linearity, conservation, and phase invariance is thequadratic form . Marginalizing over unobservable scale degrees of freedom yields . Under scale-localization or scale-decoherence, this reduces to , reproducing the Born rulewithout assumption. If the ultraviolet limit of the manifold is a compact genus- surface, topological constraintsproduce structured statistical signatures: for , a 138-mode periodic correction emerges, providing afalsifiable experimental prediction. Measurement is reinterpreted as dimensional projection, not wavefunctioncollapse. Quantum probabilities arise as geometric shadows of deterministic higher-dimensional dynamics.Keywords: Born rule, quantum probability, dimensional flow, marginalization, scale space, genus, quantumfoundations, measurement problem Full Theory Portfolio at: https://drive.google.com/drive/folders/1fdKdo3edGqXVx95IntIumXlzKq22s-yw?usp=drive_link

•May 6, 2026•0 citations

Reduction of the Born Rule to a Liouville–Holonomy Equivariance Problem in TS5D

Noel COPINET

What if the Born rule were not a postulate, but a theorem? Since 1926, the Born rule — which assigns probability ∣⟨φ∣ψ⟩∣2|\langle\varphi|\psi\rangle|^2 ∣⟨φ∣ψ⟩∣2 to a quantum measurement outcome — has been imposed as an axiom. No derivation from non-quantum premises is universally accepted: neither Bohm, Nelson, Valentini, nor Deutsch-Wallace has closed the debate. This paper proposes a radically new approach. Within the framework of the **Five-Dimensional Solitonic Theory (TS5D)** — an extended classical theory on the manifold M4×S1/Z6\mathcal{M}^4 \times S^1/\mathbb{Z}_6 M4×S1/Z6 —, we prove that the derivation of Born *reduces* to a hierarchized system of **two precise mathematical locks**: Technical lock: regularization of the Liouville measure on field-theoretic phase space (three routes identified: modal truncation, cylindrical measures, Gaussian regularization). Dynamical lock: Liouville–holonomy equivariance under soliton-apparatus interaction dynamics. If both locks are removed, Gleason's theorem automatically locks in the ∣ψ∣2|\psi|^2 ∣ψ∣2 form. Four partial results structure the program: Emergence of Hermitian structure via Noether U(1)U(1) U(1) — *established*. Identification of the 5D holonomy phase as a geometric hidden variable — structurally established. Preservation of the Liouville measure by Hamiltonian flow — classical. Gleason's theorem applied to the effective Hilbert space — established under conditions. Decisive contribution: Appendix E presents a Bernoulli reference model in which the full chain leading to Born is explicitly proved — strong mixing ⟹ exponential thresholds ⟹ rates Γk∝∣ck∣2\Gamma_k \propto |c_k|^2 Γk∝∣ck∣2 ⟹ pointer competition ⟹ P(k)=∣ck∣2\mathbb{P}(k) = |c_k|^2 P(k)=∣ck∣2. Numerical validation with Monte Carlo error ∼10−3\sim 10^{-3} ∼10−3 over 50,000 samples. Candidate experimental signatures distinguishing TS5D from standard quantum mechanics and from Bohm-Valentini: Topological mass splitting in ratios 13:15:17 2π/62\pi/6 2π/6 periodicity in Bell-type correlations Gaussian decay of CHSH visibility with spectral marking What this work claims to do: transform a vague question — "how does TS5D derive Born?" — into a precise, hierarchized mathematical problem, attackable by the standard tools of functional analysis and ergodic theory. Following Hilbert's tradition of structuring mathematics in 1900, this work proposes a theorematic reduction rather than a closure, and unambiguously identifies the remaining research directions. Compatibility with no-go theorems: Bell (5D geometric exit), Kochen-Specker (natural contextuality), PBR (ontic field in 5D) — all explicitly analyzed.

•May 20, 2026•0 citations

Born Rule as a Closure Fixed Point: { Uniqueness of Quantum Probability in Perfectly Self-Contained Theories}

Nova Spivack

Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. Status as of October 2026. We prove that the Born rule is the unique consistent probability assignment for any perfectly self-contained (PSC) theory whose records carry quantum effect structure. The argument has two interlocking stages. Formal stage. We machine-check in Lean 4 that any normalized, POVM-additive probability assignment \mu on n-dimensional quantum effects has at most one density operator \rho representing it: [ \mu(E) = \re\bigl(\Tr(\rho E)\bigr) \quad\textfor all effects E. ] What is machine-checked here is the uniqueness of the density-operator representation under the closure constraints. Existence of such a representation is imported from known Busch/Gleason-type results. The uniqueness theorem busch_gleason_unique is fully proved with zero sorrys, using three families of test effects that together span \Herm(n) and extract every matrix entry of \rho. Physical stage. PSC forces any record-level probability assignment to be noncontextual and POVM-additive, because probabilities that depend on external measurement context introduce semantic externality that PSC excludes. Therefore, if a Born-rule density operator exists (Busch/Gleason existence, acknowledged as a known result), it is provably unique by our machine-checked argument. The Born rule is thus not a postulate but the only fixed point of closure. The approach generalizes standard Gleason-type derivations: it applies to POVMs (not only projectors), requires no dimension lower bound, and is interlocked with the NEMS record-closure framework. The Lean artifact constitutes the first machine-verified uniqueness proof for quantum probability in an operationally grounded formalization. This overview presents the core NEMS theorem engine and selected applications; stronger domain-specific derivation and ontological synthesis claims belong to separate release surfaces with their own premise bundles and formal artifacts. Trust boundary. Machine-checked content is the density-operator uniqueness lemma under stated effect constraints (nems-lean ); Busch/Gleason existence is imported as classical mathematics. PSC⇒noncontextual semantics links are premise-sensitive. See .

•Apr 5, 2026•0 citations

The Born Rule from Configurational Stability: A Timeless Derivation

Ilja Schots

The Born rule, assigning probabilities via |ψ|², is traditionally introduced as an independent axiom of quantum mechanics. Despite its empirical success, its foundational origin remains unresolved. In this paper we derive the Born rule as a necessary consequence of configurational stability in a timeless, pre-metric configuration space. Physical states are described by field configurations Φ, weighted by a stability functional S[Φ]. Quantum states ψ arise as representational coordinates encoding relative stability rather than as ontological wave objects. We show that requiring: projective invariance, factorizability for independent subsystems, and classical additivity under phase degradation, uniquely selects the quadratic probability map |ψ|², without assuming Hilbert space structure, Gleason-type theorems, or temporal dynamics. Measurement is identified as a topological transition at a stability threshold Σ*, where the Hessian spectrum becomes marginally stable. This leads to a distinctive, non-analytic “kink” in decoherence behavior. Unlike stochastic collapse models, the framework predicts pure dephasing without energy injection, avoiding existing experimental heating constraints. The theory yields explicit, falsifiable experimental signatures, including structure-dependent decoherence effects in mesoscopic systems, accessible to current matter-wave interferometry and levitated nanosphere experiments. The framework is fully timeless at the fundamental level; laboratory time emerges only as an epistemic ordering parameter. This work is self-contained and does not rely on gravitational, cosmological, or dark-matter assumptions. Keywords quantum foundations; Born rule; measurement problem; decoherence; timeless physics; configuration space; stability theory; quantum-classical boundary

•Dec 30, 2025•0 citations
This work presents a deductive solution to the Born rule problem within the framework of the Temporal Theory of the Universe (TTU) and Lie-Algebraic Observable-Dependent Renormalization (LA-ODR). Probability is derived as the energetic response of the temporal field τ, with quadratic scaling fixed by the global attractor u* ≈ 0.945531. The proof (Theorem D.0) establishes that P(Oᵢ) = Tr(ρ P̂ᵢ) emerges from pointer-sector decomposition, Lindblad decoherence, and a Gleason-type uniqueness argument supplemented by an operational proof of affine linearity. The derivation combines (i) dynamical sector selection via the temporal drift generator X̂_time, (ii) exponential suppression of orthogonal components via infrared Lindblad attractors, and (iii) CPTP-consistent measure uniqueness. The Born rule is thus a theorem of the TTU/LA-ODR measurement sector rather than an independent postulate. A single remaining model-specific condition — primitivity of the infrared LA-ODR measurement channel — is explicitly isolated and formulated as an open problem (Appendix W). Keywords: Born rule theorem; Temporal Theory of the Universe (TTU); LA-ODR renormalization; temporal susceptibility χτ; global attractor u*; pointer sectors; Lindblad semigroup; CPTP consistency; Gleason uniqueness; disformal geometry; nucleon mass scaling; FPGA/TPLL; SQUID detection.
This work provides an ontological and operational grounding of the Born rule within the Scalar Temporal Field Ontology (STFO), in which time is represented as a monotonic scalar field τ(x). Measurement is modeled as an irreversible process of environmentally-induced temporal stabilization of macroscopic records. Probabilities are defined as τ-sampling weights over stabilized record sectors under repeated trials. It is shown that the disjointness and objective identity of stabilized records compel the standard probability axioms on quantum events, including normalization, additivity over exclusive outcomes, and noncontextuality. Established Gleason- and Busch-type representation theorems then uniquely yield the trace rule p(P)=Tr(ρP), and hence the Born rule for pure states. The paper does not modify quantum mechanics or its empirical predictions. Instead, it supplies a physical justification for the probability axioms traditionally assumed in quantum theory by grounding them in temporal stabilization along τ. The Born rule is thereby reinterpreted as the unique τ-consistent sampling measure on stabilized quantum events rather than an independent postulate.
We derive the Born probability rule as a theorem within the Time–Scalar Field Theory (TSFT) spectral-geometry program. Assuming only that measurement outcomes correspond to orthogonal spectral projectors on the TSFT Hilbert space and that probability assignments are additive on exclusive outcomes and noncontextual with respect to commuting decompositions, we obtain a unique projector measure. By Gleason-type arguments (with a qubit patch via ancilla embedding or POVM extension), the probability of an outcome projector P must take the trace form μ(P) = Tr(ρP) for some density operator ρ. For pure states this reduces to μ(P) = ⟨ψ|P|ψ⟩, yielding the Born rule without invoking external quantum axioms.
AbstractThe Born rule—assigning quantum probabilities as —remains a postulate in standard quantummechanics. Despite numerous attempts (Gleason's theorem, decoherence, envariance, decision theory), noderivation has eliminated the need for an additional probabilistic axiom. This paper presents a geometric derivationof the Born rule from three minimal principles: (1) physical states are complex linear fields, (2) reality includes anunobservable scale dimension , and (3) observers are restricted to fixed-scale hypersurfaces. Under theseconditions, the unique operational density consistent with linearity, conservation, and phase invariance is thequadratic form . Marginalizing over unobservable scale degrees of freedom yields . Under scale-localization or scale-decoherence, this reduces to , reproducing the Born rulewithout assumption. If the ultraviolet limit of the manifold is a compact genus- surface, topological constraintsproduce structured statistical signatures: for , a 138-mode periodic correction emerges, providing afalsifiable experimental prediction. Measurement is reinterpreted as dimensional projection, not wavefunctioncollapse. Quantum probabilities arise as geometric shadows of deterministic higher-dimensional dynamics.Keywords: Born rule, quantum probability, dimensional flow, marginalization, scale space, genus, quantumfoundations, measurement problem Full Theory Portfolio at: https://drive.google.com/drive/folders/1fdKdo3edGqXVx95IntIumXlzKq22s-yw?usp=drive_link
What if the Born rule were not a postulate, but a theorem? Since 1926, the Born rule — which assigns probability ∣⟨φ∣ψ⟩∣2|\langle\varphi|\psi\rangle|^2 ∣⟨φ∣ψ⟩∣2 to a quantum measurement outcome — has been imposed as an axiom. No derivation from non-quantum premises is universally accepted: neither Bohm, Nelson, Valentini, nor Deutsch-Wallace has closed the debate. This paper proposes a radically new approach. Within the framework of the **Five-Dimensional Solitonic Theory (TS5D)** — an extended classical theory on the manifold M4×S1/Z6\mathcal{M}^4 \times S^1/\mathbb{Z}_6 M4×S1/Z6 —, we prove that the derivation of Born *reduces* to a hierarchized system of **two precise mathematical locks**: Technical lock: regularization of the Liouville measure on field-theoretic phase space (three routes identified: modal truncation, cylindrical measures, Gaussian regularization). Dynamical lock: Liouville–holonomy equivariance under soliton-apparatus interaction dynamics. If both locks are removed, Gleason's theorem automatically locks in the ∣ψ∣2|\psi|^2 ∣ψ∣2 form. Four partial results structure the program: Emergence of Hermitian structure via Noether U(1)U(1) U(1) — *established*. Identification of the 5D holonomy phase as a geometric hidden variable — structurally established. Preservation of the Liouville measure by Hamiltonian flow — classical. Gleason's theorem applied to the effective Hilbert space — established under conditions. Decisive contribution: Appendix E presents a Bernoulli reference model in which the full chain leading to Born is explicitly proved — strong mixing ⟹ exponential thresholds ⟹ rates Γk∝∣ck∣2\Gamma_k \propto |c_k|^2 Γk∝∣ck∣2 ⟹ pointer competition ⟹ P(k)=∣ck∣2\mathbb{P}(k) = |c_k|^2 P(k)=∣ck∣2. Numerical validation with Monte Carlo error ∼10−3\sim 10^{-3} ∼10−3 over 50,000 samples. Candidate experimental signatures distinguishing TS5D from standard quantum mechanics and from Bohm-Valentini: Topological mass splitting in ratios 13:15:17 2π/62\pi/6 2π/6 periodicity in Bell-type correlations Gaussian decay of CHSH visibility with spectral marking What this work claims to do: transform a vague question — "how does TS5D derive Born?" — into a precise, hierarchized mathematical problem, attackable by the standard tools of functional analysis and ergodic theory. Following Hilbert's tradition of structuring mathematics in 1900, this work proposes a theorematic reduction rather than a closure, and unambiguously identifies the remaining research directions. Compatibility with no-go theorems: Bell (5D geometric exit), Kochen-Specker (natural contextuality), PBR (ontic field in 5D) — all explicitly analyzed.
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. Status as of October 2026. We prove that the Born rule is the unique consistent probability assignment for any perfectly self-contained (PSC) theory whose records carry quantum effect structure. The argument has two interlocking stages. Formal stage. We machine-check in Lean 4 that any normalized, POVM-additive probability assignment \mu on n-dimensional quantum effects has at most one density operator \rho representing it: [ \mu(E) = \re\bigl(\Tr(\rho E)\bigr) \quad\textfor all effects E. ] What is machine-checked here is the uniqueness of the density-operator representation under the closure constraints. Existence of such a representation is imported from known Busch/Gleason-type results. The uniqueness theorem busch_gleason_unique is fully proved with zero sorrys, using three families of test effects that together span \Herm(n) and extract every matrix entry of \rho. Physical stage. PSC forces any record-level probability assignment to be noncontextual and POVM-additive, because probabilities that depend on external measurement context introduce semantic externality that PSC excludes. Therefore, if a Born-rule density operator exists (Busch/Gleason existence, acknowledged as a known result), it is provably unique by our machine-checked argument. The Born rule is thus not a postulate but the only fixed point of closure. The approach generalizes standard Gleason-type derivations: it applies to POVMs (not only projectors), requires no dimension lower bound, and is interlocked with the NEMS record-closure framework. The Lean artifact constitutes the first machine-verified uniqueness proof for quantum probability in an operationally grounded formalization. This overview presents the core NEMS theorem engine and selected applications; stronger domain-specific derivation and ontological synthesis claims belong to separate release surfaces with their own premise bundles and formal artifacts. Trust boundary. Machine-checked content is the density-operator uniqueness lemma under stated effect constraints (nems-lean ); Busch/Gleason existence is imported as classical mathematics. PSC⇒noncontextual semantics links are premise-sensitive. See .
The Born rule, assigning probabilities via |ψ|², is traditionally introduced as an independent axiom of quantum mechanics. Despite its empirical success, its foundational origin remains unresolved. In this paper we derive the Born rule as a necessary consequence of configurational stability in a timeless, pre-metric configuration space. Physical states are described by field configurations Φ, weighted by a stability functional S[Φ]. Quantum states ψ arise as representational coordinates encoding relative stability rather than as ontological wave objects. We show that requiring: projective invariance, factorizability for independent subsystems, and classical additivity under phase degradation, uniquely selects the quadratic probability map |ψ|², without assuming Hilbert space structure, Gleason-type theorems, or temporal dynamics. Measurement is identified as a topological transition at a stability threshold Σ*, where the Hessian spectrum becomes marginally stable. This leads to a distinctive, non-analytic “kink” in decoherence behavior. Unlike stochastic collapse models, the framework predicts pure dephasing without energy injection, avoiding existing experimental heating constraints. The theory yields explicit, falsifiable experimental signatures, including structure-dependent decoherence effects in mesoscopic systems, accessible to current matter-wave interferometry and levitated nanosphere experiments. The framework is fully timeless at the fundamental level; laboratory time emerges only as an epistemic ordering parameter. This work is self-contained and does not rely on gravitational, cosmological, or dark-matter assumptions. Keywords quantum foundations; Born rule; measurement problem; decoherence; timeless physics; configuration space; stability theory; quantum-classical boundary