Collapse-free quantum theories face a specific probability problem. If unitary evolution contains every measurementoutcome, an internal observer still needs a principled way to weight alternatives unequally. This article formulates threerequirements on such a weighting rule: coherence under changes of descriptive grain, stability under branch-preservingdynamics, and convergence between observers who share the same data. The main result is that the Born rule isforced along two independent routes. First, grain coherence, together with positivity, normalisation, and a minimalnull-support axiom, yields the hypotheses needed for Gleason’s theorem. In this route, the usual non-contextualityassumption is not postulated; it follows from refinement coherence itself. Second, dynamical stability and the samenull-support axiom recover the Born rule by importing Short’s theorem (2023), then extend the result to coarser grainsby refinement. Intersubjective convergence is therefore not an independent axiom but a corollary. The central theorem ofthe descriptive route has been mechanically verified in Lean 4 with Mathlib for an arbitrary perspective and cell, moduloa single explicitly isolated Gleason axiom. This verification does not prove Gleason’s theorem itself, and the dynamicalroute remains dependent on Short’s published proof. The result clarifies what the formal derivation establishes and whatremains outside it: the remaining step is the normative bridge from the characterised measure to rational expectation.
Collapse-free quantum theories face a specific probability problem. If unitary evolution contains every measurementoutcome, an internal observer still needs a principled way to weight alternatives unequally. This article formulates threerequirements on such a weighting rule: coherence under changes of descriptive grain, stability under branch-preservingdynamics, and convergence between observers who share the same data. The main result is that the Born rule isforced along two independent routes. First, grain coherence, together with positivity, normalisation, and a minimalnull-support axiom, yields the hypotheses needed for Gleason’s theorem. In this route, the usual non-contextualityassumption is not postulated; it follows from refinement coherence itself. Second, dynamical stability and the samenull-support axiom recover the Born rule by importing Short’s theorem (2023), then extend the result to coarser grainsby refinement. Intersubjective convergence is therefore not an independent axiom but a corollary. The central theorem ofthe descriptive route has been mechanically verified in Lean 4 with Mathlib for an arbitrary perspective and cell, moduloa single explicitly isolated Gleason axiom. This verification does not prove Gleason’s theorem itself, and the dynamicalroute remains dependent on Short’s published proof. The result clarifies what the formal derivation establishes and whatremains outside it: the remaining step is the normative bridge from the characterised measure to rational expectation.
Everett's interpretation is best known under the name "many worlds", a name Everett never used in his published writings and which has concentrated the criticism directed at it: how many worlds are there? when do they split? what can probability mean if everything happens? We argue that these questions target the popularization of the theory rather than the theory itself, and that the last of them can now be retired on a precise ground. The probability problem divides into a quantitative question (why the Born weights?) and a question of meaning (what is there to be uncertain about?). The quantitative question is closed by a theorem, T*: the Born rule is the unique weighting of alternatives that is independent of the chosen grain of description, convergent among observers sharing the same records, and stable under branching. T* is established in a companion article by reduction to two published theorems, Gleason (1957) and Short (2023); non-contextuality, the traditionally contested premise of Gleason-type arguments, is derived there from grain coherence rather than postulated; convergence turns out to be a corollary; and the central theorem is verified end to end in Lean 4 with Mathlib, in full generality, with Gleason's theorem as the single declared axiom. The question of meaning is answered by internality: an observer who is part of the state is, by theorem, ignorant of their own location in it, and self-locates on accessible records. What then remains is one posited principle, the bridge between an objective measure and rational expectation, and we show step by step that it is the same principle a deterministic coin already exacts from classical physics. Everett's interpretation, properly formulated, therefore has no special problem of probability: it carries the normative residue that all probabilistic physics carries, and one postulate fewer, since the Born measure is derived and nothing collapses.
The emergence of intrinsic probability has long been one of the most important and puzzling problems in quantum mechanics, and the law most directly related to this problem is the Born rule. For a century, there have been many attempts to derive the Born rule as a theorem rather than postulating it. However, existing derivations of the Born rule are each based on different frameworks and have attracted different criticisms. The assumptions from which they start are also highly divergent, and the connections between them have not been sufficiently studied. These possible connections are very likely to be the key to answering questions about the origin of probability in quantum mechanics.
This paper focuses on proving the necessity and indispensability of the additivity assumption in the derivation of the Born rule. This supports the view that the Born rule cannot be derived solely from other non-probabilistic quantum or additional postulates. We first prove that additivity cannot be derived from two other commonly used non-probabilistic additional assumptions, non-contextuality and normalization. Then we analyze the crucial role of the additivity assumption in five important existing derivations of the Born rule. These include Gleason's Theorem, Busch's extension of Gleason's Theorem, the Deutsch-Wallace Theorem, Zurek's envariance proof, and the Finkelstein-Hartle Theorem. We show that these derivations either depend heavily on the additivity assumption or lead to obvious loopholes due to the lack of additivity. We also point out some problems arised from the lack of a non-contextuality assumption.
Our results provide a novel insight into the important role of additivity assumption in quantum measurement, as well as into the origin of probability in quantum mechanics.
The Projective Dynamic Logo (PDL) framework derives quantum dynamics from combinatorial axioms on finite signed graphs. This paper addresses the measurement problem at Level 1: it proves that the Born rule P₊ = |⟨+θ|ψ⟩|² emerges from the (A)∧(B) stability criterion without presupposing probability or the Hilbert space inner product. The derivation proceeds in three steps. First, the coherence indicator χ(τ; σ) ∈ {+1, −1} is defined as a purely combinatorial quantity over triangle orientations, with no probabilistic content. Second, the coherence cost εcoh(σ₊; θ, ψ) = |⟨−θ|ψ⟩|² is established from the (A)∧(B) apparatus symmetry conditions, with numerical residual 5.55×10⁻¹⁶ over 20,000 state-angle pairs. Third, P₊ = 1 − εcoh = |⟨+θ|ψ⟩|² follows by normalisation, algebraically. All five Gleason axioms are verified for this assignment with residuals ≤ 1.1×10⁻¹⁵, and the Gleason uniqueness theorem — stated in full as a self-contained result — guarantees that this is the unique admissible probability assignment on the Hilbert space of spin-½ states. A structural diagnostic is provided: uniform triangle weights α_τ = 1/N_T yield the Heaviside function Θ(cosθ), with maximum discrepancy 1.00 (exact), confirming that the Born cos²(θ/2) distribution is not trivial and requires the specific geometric weight structure of K₄⊗G_app. This result closes OP5 of D32 at Level 1. Level 2 — the derivation of triangle weights α_τ from PDL axioms without presupposing the spin Hilbert space inner product — remains open.
In a previous article we presented an argument to obtain (or rather infer) Born's rule, based on a simple set of axioms named "Contexts, Systems and Modalities" (CSM). In this approach, there is no "emergence", but the structure of quantum mechanics can be attributed to an interplay between the quantized number of modalities that is accessible to a quantum system and the continuum of contexts that are required to define these modalities. The strong link of this derivation with Gleason's theorem was emphasized, with the argument that CSM provides a physical justification for Gleason's hypotheses. Here, we extend this result by showing that an essential one among these hypotheses-the need of unitary transforms to relate different contexts-can be removed and is better seen as a necessary consequence of Uhlhorn's theorem.
The Born rule stands as the fundamental probability postulate of quantum mechanics, yet its first-principle derivation remains a longstanding open problem. This paper presents a rigorous, collapse-free, and observer-independent derivation of the Born rule. Starting from four physically natural and minimal axioms—unitary dynamics, uniqueness of classical records, unitary invariance, and consistency with the classical limit and ergodicity—we uniquely deduce the Born rule from first principles. We prove that the Born rule is not an independent postulate, but a necessary mathematical consequence of the core axiomatic structure. Our approach is self-contained, assumption-free, and purely unitary, establishing that the Born rule is canonically determined by the fundamental mathematical and physical principles of quantum mechanics.
The Born rule — that the probability of obtaining outcome |phi> in a measurement of a quantum system in state |psi> is P = |<phi|psi>|^2 — is one of the most empirically well-confirmed and conceptually contested statements in physics. Existing derivation attempts (Gleason’s theorem; Deutsch–Wallace decision theory; Zurek envariance; many-worlds branch counting) each establish it under their own assumptions, but none has achieved universal acceptance. We show that in the Three Time Dimensions (3+3) spacetime framework (de Haan 2026, book DOI 10.5281/zenodo.19633127), in which the third time dimension t_3 is compactified as a discrete two-sphere S^2 with 2^152 Planck-area cells, the Born rule emerges through three independent geometric routes that all converge on the same result P = |<phi|psi>|^2. Route 1 (Malus’s Law on S^2): the wavefunction is literally a direction on the t_3 S^2; the Bloch sphere IS this S^2; Malus’s 1809 law P = cos^2(theta) is identical to the Born rule for bosons, with SU(2) double cover giving cos^2(theta/2) for fermions. Route 2 (Gleason + S^2 non-contextuality): Gleason’s 1957 theorem uniquely selects |<phi|psi>|^2 given non-contextuality, which in (3+3) is a consequence of the S^2 Riemannian metric rather than an independent postulate. Route 3 (Lévy measure + t_2 isotropy): the t_2 expansion perturbs all t_3 directions isotropically; the unique continuous binary-outcome probability measure is the Lévy / Haar-invariant spherical measure, which gives P(+n_A) = cos^2(theta/2). The three routes use distinct mathematical tools (projection, Hilbert-space theorem, stochastic analysis) and distinct physical inputs (geometry, Riemannian metric, dynamical isotropy). They must converge if the geometric identification is correct; they would diverge if it were wrong. Malus’s 1809 law is the Born rule avant la lettre. The empirical optical law taught to undergraduates as a fact is, under this reading, a direct geometric consequence of photon polarisations being directions on S^2 — a statement about projection geometry that predates quantum mechanics by a century. The same geometric identification simultaneously resolves four foundational puzzles: (1) Schrödinger’s cat is never in superposition (the cat’s ~10^29 t_3 modes are entrained by environmental t_2 perturbation within femtoseconds of the first atomic interaction); (2) the three-polariser paradox dissolves (non-commuting measurements are non-commuting rotations on S^2); (3) the Bell/Tsirelson bound 2sqrt(2) is a geometric consequence of S^2 having dimension exactly 2 — empirical confirmation by loophole-free Bell tests (Hensen, Giustina, Shalm 2015) confirms the S^2 identification; (4) the cosmological decoherence floor tau_cosm = 1/H_0 ~ 14.5 Gyr is a structural upper bound on quantum coherence set by the t_2 cosmic expansion — distinguishing the framework from many-worlds interpretations. Three supporting elegance claims establish the framework’s quantum-foundational coherence: (A) the complex-valuedness of psi in C follows from t_2 being a rotation (the imaginary unit i is the generator of the t_2 precession rotation); (B) the Schrödinger equation i hbar dpsi/dt = H psi is the infinitesimal form of t_2 precession rotating the phase of the t_3 configuration; (C) the canonical commutation [x, p] = i hbar follows from the foam lattice structure. The paper is complementary to the companion Quantum Computing preprint [DOI 10.5281/zenodo.19651560] which uses the Bloch-sphere-as-S^2 identification for applied hardware-level proposals. The Born Rule paper provides the foundational underpinning for why that identification is correct at the level of quantum-mechanical first principles. The paper is honest about what remains open. Four specific items are explicitly acknowledged (§11): (1) the framework does not yet have a 6D Lagrangian formulation from which the Born rule would fall out of path-integral quantisation; (2) the uniqueness of the S^2 identification is only partially addressed — higher-dimensional spheres are ruled out by the Tsirelson bound, but tori and Calabi–Yau alternatives are not examined; (3) the path-integral reformulation of quantum mechanics within (3+3) has not been constructed; (4) detailed comparison with QBism, relational quantum mechanics, and consistent histories is outside the paper’s scope. Falsifiability. Six routes: Tsirelson-bound overshoot/undershoot beyond 2sqrt(2) + measurement precision; indefinite quantum coherence beyond cosmological timescales; real-valued QM experimental confirmation (already ruled out by Renou et al. 2021, reconfirmed by independent tests); detection of genuine contextuality; detection of discrete S^2 cell structure at near-Planck scales. The Born rule, in (3+3), is not a mysterious postulate; it is Malus’s Law on a compact sphere that nobody knew was there.