Abstract. I prove a local uniqueness theorem for the Born rule in the setting of small categories equipped with complex morphism weights and path-amplitude probability functionals. Given (i) non-negativity, (ii) polynomiality of bounded total degree, (iii) global U(1) invariance, (iv) classical-limit additivity over mutually exclusive paths, and (v) normalization, I show that the probability assignment P : ℂ → ℝ≥₀ is uniquely determined to be P(z) = |z|^2. The notion of mutually exclusive paths is given a precise categorical formulation as the absence of a shared factorization through any common morphism. I relate the result to reconstructions of quantum probability due to Gleason, Hardy, and Chiribella–D’Ariano–Perinotti, and identify the extension to global coherence under morphism composition as an open problem connected to synthetic probability theory in Markov categories. The Born rule emerges as the unique locally consistent probability law on complex amplitudes, fixed solely by phase invariance and classical-limit behavior, independent of any Hilbert-space framework.
Abstract. I prove a local uniqueness theorem for the Born rule in the setting of small categories equipped with complex morphism weights and path-amplitude probability functionals. Given (i) non-negativity, (ii) polynomiality of bounded total degree, (iii) global U(1) invariance, (iv) classical-limit additivity over mutually exclusive paths, and (v) normalization, I show that the probability assignment P : ℂ → ℝ≥₀ is uniquely determined to be P(z) = |z|^2. The notion of mutually exclusive paths is given a precise categorical formulation as the absence of a shared factorization through any common morphism. I relate the result to reconstructions of quantum probability due to Gleason, Hardy, and Chiribella–D’Ariano–Perinotti, and identify the extension to global coherence under morphism composition as an open problem connected to synthetic probability theory in Markov categories. The Born rule emerges as the unique locally consistent probability law on complex amplitudes, fixed solely by phase invariance and classical-limit behavior, independent of any Hilbert-space framework.
I prove a local uniqueness theorem for the Born rule in the setting of quiver-generated categories equipped with complex morphism weights and path-amplitude probability functionals. Given (i) non-negativity, (ii) invariance of bounded total degree, (iii) global U(1) invariance, (iv) classical-limit additivity over mutually exclusive paths, and (v) normalization, I show that the probability assignment P: C -> R>=0 is uniquely determined to be P(z) = |z|^2. The notion of mutually exclusive paths is given a precise categorical formulation as the absence of a shared factorization through any common morphism. I relate the result to reconstructions of quantum probability due to Gleason, Hardy, Chiribella-D'Ariano-Perinotti, and several further, more recent reconstructions, and identify the extension to global coherence under morphism composition as an open problem connected to synthetic probability theory in Markov categories. The Born rule emerges as the unique locally consistent probability law on complex amplitudes, fixed by phase invariance and classical-limit behavior together with polynomiality and normalization, independent of any Hilbert-space framework.
We prove a conditional uniqueness theorem for projective measurements on pure states: given the L2 Hilbert space structure of quantum mechanics, the Born rule P=∣ψ∣2 is the only outcome-local probability assignment compatible with five operational postulates (outcome-locality, normalization, phase independence of the classical record, tensor product factorization, and continuity), with interference consistency used only as a post-hoc check. Physically, the theorem addresses a boundary problem: amplitudes support interference and cancellation before measurement, whereas a stabilized classical record cannot retain the full relative-phase distinction structure in accessible form. Irreversible record formation motivates this phase-insensitivity requirement, although no thermodynamic quantity enters the formal proof. Mathematically, phase independence reduces the map to a function of modulus, factorization and continuity force a power law, and consistency with L2 normalization fixes the exponent to 2. Within this framework, the squared modulus is the unique classicalization map from phase-sensitive amplitudes to accessible record weights. The result is complementary in physical motivation to Gleason-type derivations but narrower in scope: it is confined to the pure-state projective setting and does not derive the general trace rule for mixed states and POVMs.
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.
Unity Survives Distinction develops a structural interpretation of the Born rule as the quadratic law by which the unity of a quantum state is preserved across operational distinction. For a normalized state |ψ⟩ and a complete projective measurement {Π_j}, Hilbert-space Pythagoras gives: 1 = ||ψ||² = Σ_j ||Π_jψ||² = Σ_j ⟨ψ|Π_j|ψ⟩ The Born weights are therefore not merely numerical assignments attached to outcomes. They are the non-negative quadratic quantities through which the norm of one complex state is distributed across an exhaustive family of orthogonal alternatives without loss of totality. The paper extends this structure to compatible nested refinements and generalized measurements. Under refinement, probability closure is preserved through the zero-residual identity: P_α = Σ_k P_αk For a generalized measurement effect E, the same internal quadratic structure is expressed as: P(E) = ⟨ψ|E|ψ⟩ = ||E^(1/2)ψ||² The paper distinguishes this quantum claim from ordinary classical additivity. Additivity alone is measure-theoretic and is not uniquely quantum. The specifically quantum architecture lies in the conjunction of complex amplitudes, conjugate quadratic form, global-phase invariance, interference-sensitive recombination, operator-defined measurement contexts, and exact preservation of the total norm. Gleason’s theorem and related results for effects and positive operator-valued measures are used to explain why, under standard noncontextual additivity assumptions, the trace form of quantum probability is essentially forced rather than arbitrarily selected. Within the ENSO framework, this structure is formulated as Born intrinsic closure: fixed unity, zero refinement residual, and an internal quadratic witness. The paper does not claim a new formula for the Born rule, a new proof of Gleason’s theorem, or a derivation of Hilbert space from pre-quantum principles. It develops the structural and interpretive significance of established quantum mathematics. Its central conclusion is: The Born rule is the quadratic law by which unity survives distinction.
Schmieke (2026l) derived the Born rule from the Haar measure on Ms and the symmetry of the tension functional Φ (Theorem 4.2). The Erratum (Schmieke, 2026z) identified a gap: the classical Haar theorem requires a locally compact group, which fails when dim(Ms) = ∞. This paper closes the gap. Using the canonical Hessian inner product (Schmieke, 2026aa, Theorem 4.1), we construct the Gaussian reference measure μG on Ms determined by the tension functional: μG = Z⁻¹ exp(−Φ/Ds) dμ0, where μ0 is the abstract Wiener measure associated with the Hessian. We prove three results. First, μG is the unique measure that is (i) quasi-invariant under the symmetry group of Φ, (ii) consistent with the equilibrium distribution of the Mother Equation, and (iii) determined by Φ and Ds alone (Theorem 3.1). Second, the projection of μG onto the fibers of πΘ yields the Born rule: pk = |ck|² (Theorem 4.1). Third, in the finite-dimensional limit, μG reduces to the Haar measure on the unit sphere in Hilbert space, recovering the original derivation (Theorem 5.1). The Born rule is therefore derived in full generality, without any assumption of local compactness.
Abstract All known derivations of the Born rule — Gleason's theorem, envariance, decision-theoretic and information-reconstruction approaches (including Masanes–Galley–Müller) — establish the internal uniqueness of the quadratic probability measure given the Hilbert-space and unitary structure of quantum theory. What remains open is the ontological ground of quadraticity prior to that structure. We present a derivation route from the C(r) correlation-field framework, whose primitives are a correlation operator C = 𝒟⁻¹ (Postulate I) and its geometric self-consistency (Postulate II + Theorem 0), with no state-vector, inner-product, or unitarity axioms. Within this framework, a readout ("severance") event requires two insertions of the correlation propagator, so record weights are bilinear in amplitudes. Three independent machine-adjudicated screens — (i) invariance of total weight under readout-basis reparametrization, (ii) multiplicativity under serial composition, (iii) vanishing of Sorkin third-order interference — uniquely select p = |ψ|² from the candidate family p = |ψ|ⁿ, with gate margins of at least nine orders of magnitude. The result is graded ■_struct (machine-certified within the lattice-family toolchain with certified continuum limit). The framework makes a falsifiable signature: third-order interference is identically zero; any measured I₃ ≠ 0 refutes the framework at this level. All gates, criteria, and failure trees were pre-registered before computation; one referee-layer veto (#35) was recorded and repaired without altering the registered criteria. ORCID: 0009-0007-1999-0293 Email: 1352533302@qq.com phone:+86 18278275520(china)