Quantum Records Force the Born Rule

A new mathematical result reveals that the Born rule, the cornerstone of quantum probability, emerges as the only consistent way to assign weights to stable internal records within quantum systems. This finding, detailed in a recent paper by Marko Lela, offers a fresh perspective on why quantum mechanics uses squared amplitudes for probabilities, moving beyond traditional derivations that rely on global measure theory or decision-theoretic axioms. The theorem identifies specific structural conditions under which the quadratic assignment becomes unavoidable, providing a clearer target for debates about quantum foundations.

The researchers discovered that when focusing on robust record sectors—stable, internally readable components of a quantum system—the Born rule is forced as the unique non-negative weight assignment that remains stable under admissible refinements. Under two explicit structural conditions, internal equivalence of admissible binary refinement profiles and sufficient admissible refinement richness, the quadratic assignment is the only non-negative refinement-stable induced weight on these sectors. This means that for any global state Ψ and robust record sector R, the induced weight must take the form WΨ(R) = c ∥ΠR Ψ∥², where c is a non-negative constant, reducing to the standard Born assignment WΨ(R) = ∥ΠR Ψ∥² under normalization. The theorem thus isolates a precise threshold: once the additive primitive is placed on continuation bundles and the structural conditions are met, no other weight assignment can be refinement-stable.

Ology shifts the logical location of the additive step from the full projector lattice to disjoint admissible continuation bundles. Instead of postulating additivity on all projectors, as in Gleason-type approaches, the paper places the additive primitive on an extensive bundle valuation µ on continuation bundles, with finite additivity on disjoint bundles. The sector-level additive law is then inherited from continuation partition under admissible refinement, as shown in Lemma 1 (Continuation partition under admissible refinement). This framework restricts the analysis to robust record sectors within an admissible Hilbert record layer, defined by conditions like internal discriminability and short-horizon persistence, ensuring that only physically meaningful record structures are considered. The reduction to a one-variable weight function g(r) depends on combining the internal equivalence principle with admissible binary saturation, which classifies profiles by the norm of the projected component.

Demonstrate that under the stated conditions, the induced weight reduces to a function g of the norm r = ∥ΠR Ψ∥, satisfying the functional equation g(√(r₁² + r₂²)) = g(r₁) + g(r₂) for all r₁, r₂ ≥ 0. Non-negativity then forces g(r) = c r² via Lemma 2 (Non-negative additive functions on R≥0 are linear), leading to the quadratic form. The main theorem (Theorem 3) formalizes this: assuming an extensive bundle valuation with finite additivity, the internal equivalence principle, and admissible binary saturation, the quadratic assignment is the only non-negative refinement-stable induced weight. A supplementary proposition shows that dense admissible saturation suffices if continuity of the profile function is added, broadening the applicability. The paper includes a toy structural example of a two-outcome spin system, verifying that the definitions are satisfiable and the theorem yields the expected Born assignment in that minimal case.

Of this work are significant for understanding quantum probability without invoking external rationality or global measures. By focusing on robust record sectors, the theorem connects the Born rule to the internal structure of quantum systems that can function as stable records, such as decoherence-stabilized pointer sectors. This offers a new angle for foundational debates, making the assumptions explicit and tying the conclusion to clearly identifiable structural commitments rather than hidden background. For general readers, it means that the weirdness of quantum probabilities might stem from how quantum systems internally track information, with the squared-amplitude rule emerging as the only consistent way to weight stable records under natural refinement conditions. The conditional form of the theorem also clarifies what remains open: whether physically relevant systems in dimensions greater than two satisfy the required structural conditions, such as admissible binary saturation.

Limitations of the approach are carefully outlined in the paper. The theorem does not derive Hilbert structure itself, nor does it assign weights to arbitrary projectors or claim that every orthogonal decomposition is physically meaningful. It is restricted to robust record sectors within an admissible Hilbert record layer, and its conclusions depend on the two structural conditions, which define the domain of application. The paper notes that whether systems like decoherence-stabilized pointer sectors meet these conditions in higher dimensions is an open empirical and structural question. Additionally, the internal equivalence principle and admissible binary saturation are substantive assumptions that may be contested, but their explicitness allows for targeted evaluation. The result is thus a conditional uniqueness theorem, identifying a precise structural threshold rather than providing a universal derivation of the Born rule.