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.
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.
We derive the Born rule as a consequence of two physical processes: environment-induced decoherence, which selects the pointer-basis decomposition of the density matrix, and a contraction map on projective Hilbert space, which assigns each pointer state to a definite outcome basin. The contraction map partitions projective space into basins of attraction whose boundaries are determined by the measurement projectors. We prove that the decoherence-selected decomposition of the reduced density matrix, combined with the basin assignment, reproduces the Born probabilities p_i = ⟨ψ|Π_i|ψ⟩ exactly for projective measurements in any finite dimension, including dimension 2 where Gleason's theorem does not apply. For generalized measurements (POVMs), the result extends via Naimark dilation. The derivation resolves the "probability problem" of decoherence-based approaches: standard decoherence produces the correct diagonal density matrix but leaves open why diagonal entries should be interpreted as outcome probabilities. Our answer is geometric — each diagonal component corresponds to a pointer state lying deep inside a definite basin of the contraction map, and the mixture weights become outcome probabilities through the basin assignment. The derivation is geometric rather than decision-theoretic, does not assume the probability interpretation of the density matrix, requires no ensemble averaging, and applies to single systems. Perturbations to the contraction map produce bounded corrections to the Born probabilities, providing a falsifiable prediction: any measured deviation from Born statistics constrains the perturbation strength. This work connects quantum measurement theory to the geometry of projective Hilbert space and contraction dynamics, offering a new perspective on the origin of quantum probabilities that complements existing approaches by Gleason, Zurek, and Deutsch-Wallace.
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 rule as a consequence of two physical processes: environment-induced decoherence, which selects the pointer-basis decomposition of the density matrix, and a contraction map on projective Hilbert space, which assigns each pointer state to a definite outcome basin. The contraction map partitions projective space into basins of attraction whose boundaries are determined by the measurement projectors. We prove that the decoherence-selected decomposition of the reduced density matrix, combined with the basin assignment, reproduces the Born probabilities p_i = ⟨ψ|Π_i|ψ⟩ exactly for projective measurements in any finite dimension, including dimension 2 where Gleason's theorem does not apply. For generalized measurements (POVMs), the result extends via Naimark dilation. The derivation resolves the "probability problem" of decoherence-based approaches: standard decoherence produces the correct diagonal density matrix but leaves open why diagonal entries should be interpreted as outcome probabilities. Our answer is geometric — each diagonal component corresponds to a pointer state lying deep inside a definite basin of the contraction map, and the mixture weights become outcome probabilities through the basin assignment. The derivation is geometric rather than decision-theoretic, does not assume the probability interpretation of the density matrix, requires no ensemble averaging, and applies to single systems. Perturbations to the contraction map produce bounded corrections to the Born probabilities, providing a falsifiable prediction: any measured deviation from Born statistics constrains the perturbation strength. This work connects quantum measurement theory to the geometry of projective Hilbert space and contraction dynamics, offering a new perspective on the origin of quantum probabilities that complements existing approaches by Gleason, Zurek, and Deutsch-Wallace.
We derive the Born rule as a consequence of two physical processes: environment-induced decoherence, which selects the pointer-basis decomposition of the density matrix, and a contraction map on projective Hilbert space, which assigns each pointer state to a definite outcome basin. The contraction map partitions projective space into basins of attraction whose boundaries are determined by the measurement projectors. We prove that the decoherence-selected decomposition of the reduced density matrix, combined with the basin assignment, reproduces the Born probabilities p_i = ⟨ψ|Π_i|ψ⟩ exactly for projective measurements in any finite dimension, including dimension 2 where Gleason's theorem does not apply. For generalized measurements (POVMs), the result extends via Naimark dilation. The derivation resolves the "probability problem" of decoherence-based approaches: standard decoherence produces the correct diagonal density matrix but leaves open why diagonal entries should be interpreted as outcome probabilities. Our answer is geometric — each diagonal component corresponds to a pointer state lying deep inside a definite basin of the contraction map, and the mixture weights become outcome probabilities through the basin assignment. The derivation is geometric rather than decision-theoretic, does not assume the probability interpretation of the density matrix, requires no ensemble averaging, and applies to single systems. Perturbations to the contraction map produce bounded corrections to the Born probabilities, providing a falsifiable prediction: any measured deviation from Born statistics constrains the perturbation strength. This work connects quantum measurement theory to the geometry of projective Hilbert space and contraction dynamics, offering a new perspective on the origin of quantum probabilities that complements existing approaches by Gleason, Zurek, and Deutsch-Wallace.
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 .
We derive the Born rule as a consequence of two physical processes: environment-induced decoherence, which selects the pointer-basis decomposition of the density matrix, and a contraction map on projective Hilbert space, which assigns each pointer state to a definite outcome basin. The contraction map partitions projective space into basins of attraction whose boundaries are determined by the measurement projectors. We prove that the decoherence-selected decomposition of the reduced density matrix, combined with the basin assignment, reproduces the Born probabilities p_i = ⟨ψ|Π_i|ψ⟩ exactly for projective measurements in any finite dimension. For generalized measurements (POVMs), the result extends via Naimark dilation. Perturbations to the contraction map (modeling external bias) shift the basin boundaries, producing corrections bounded by the perturbation strength. The derivation is geometric rather than decision-theoretic, does not assume the probability interpretation of the density matrix, and applies to single systems without ensemble averaging.