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

The Born Rule from Projection Measures: Why Probabilities are Quadratic in Amplitudes

Travis Bergen

Published May 4, 2026• 0 citations
Publisher

Abstract

Theorem (Quadratic Projection Measure) + Ansatz (Hilbert Embeddability) + Proposition (Standard Born Rule). Under three structural constraints (basis invariance, projection-integration stability, orientation independence), the projection-induced measure on coherent informational states is forced to be ||^2. The standard quantum-mechanical Born rule emerges as a Proposition under the Hilbert Embeddability Ansatz, with Gleason's theorem providing the converse on the Hilbert representation. Inherits from Paper 0 (axioms A4, A5, A6).

DOI
10.5281/zenodo.20042361

Related papers

IMM Paper 4: Born Rule from Projection Measures

Travis Bergen

Three conditions (basis invariance, orientation independence, projection-integration stability) force μ(αm)=|α|²μ(m) without assuming Hilbert space (Theorem). Under Hilbert Embeddability Ansatz and six explicit Gleason conditions, P(i)=|⟨i|ψ⟩|² follows uniquely (Proposition). Ansatz labeled with bilateral operational consequences. Soler's theorem pathway to deriving the Ansatz identified. Qubit case (dim H=2) explicitly excluded.

•Jun 14, 2026•0 citations

Geometric Origin of the Born Rule from Spectral Projection

BORA AKTAŞ

Abstract The Born rule, which assigns probabilities as squared amplitudes, is traditionally introduced as an independent postulate of quantum mechanics. In this work, we demonstrate that the quadratic structure of probability is instead a geometric necessity. Within a multi-channel phase algebra admitting a spectral decomposition, measurement is identified as a projection onto a single stable sector of an underlying linear state space. The norm is not postulated independently; its quadratic form is forced by the requirement that measurement produce a positive, phase-insensitive scalar while discarding unobservable phase information. Probability thus emerges as the squared norm preserved under projection, rather than as an additional axiom. In this perspective, the Born rule is revealed as a direct consequence of phase geometry and measurement stability, grounded in the geometric structure of the state space itself.

•Jan 1, 2026•0 citations

Born's Rule from Record-Formation Constraints: A Thermodynamic-Information Axiomatics

Moses Rahnama

Given the standard Hilbert space structure of quantum mechanics (including L^2 normalization from unitary dynamics), we show that the Born rule P = |psi|^2 is the unique probability rule compatible with phase-independent record formation. The derivation uses one thermodynamic axiom (classical records cannot retain quantum phase, an irreversible operation with Landauer cost k_B T ln 2 per bit) together with three structural axioms (normalization, tensor product factorization, continuity) and an operational interference consistency condition. The squared modulus is the unique function satisfying all five constraints; alternative powers |alpha|^n with n != 2 fail because the L^2 unit sphere is not an L^n unit sphere. This result complements Gleason's theorem: where Gleason proves the Born rule is mathematically necessary given non-contextuality, we identify the physical mechanism (phase information loss during record formation at finite temperature) that makes it realizable. The L^2 structure itself is not derived here; it is inherited from the requirement that unitary evolution preserve the inner product. The contribution is to show that, conditional on that structure, thermodynamics selects the squared modulus as the unique admissible probability map.

•Feb 15, 2026•0 citations

Unity Survives Distinction: The Born Rule as Quadratic Closure Hilbert Geometry, Refinement Consistency, and Intrinsic Closure

Eric Needham

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.

•Aug 2, 2026•0 citations

Born's Rule from Record-Formation Constraints: A Conditional Uniqueness Theorem

Moses Rahnama

We prove a conditional uniqueness theorem for projective measurements on pure states: given the \( L^2 \) Hilbert space structure of quantum mechanics, the Born rule \( P = |\psi|^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 \( L^2 \) 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.

•Apr 1, 2026•0 citations

From Primitives to the Born Rule

Allen Proxmire

Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.

•May 12, 2026•0 citations
Theorem (Quadratic Projection Measure) + Ansatz (Hilbert Embeddability) + Proposition (Standard Born Rule). Under three structural constraints (basis invariance, projection-integration stability, orientation independence), the projection-induced measure on coherent informational states is forced to be ||^2. The standard quantum-mechanical Born rule emerges as a Proposition under the Hilbert Embeddability Ansatz, with Gleason's theorem providing the converse on the Hilbert representation. Inherits from Paper 0 (axioms A4, A5, A6).
Abstract The Born rule, which assigns probabilities as squared amplitudes, is traditionally introduced as an independent postulate of quantum mechanics. In this work, we demonstrate that the quadratic structure of probability is instead a geometric necessity. Within a multi-channel phase algebra admitting a spectral decomposition, measurement is identified as a projection onto a single stable sector of an underlying linear state space. The norm is not postulated independently; its quadratic form is forced by the requirement that measurement produce a positive, phase-insensitive scalar while discarding unobservable phase information. Probability thus emerges as the squared norm preserved under projection, rather than as an additional axiom. In this perspective, the Born rule is revealed as a direct consequence of phase geometry and measurement stability, grounded in the geometric structure of the state space itself.
Given the standard Hilbert space structure of quantum mechanics (including L^2 normalization from unitary dynamics), we show that the Born rule P = |psi|^2 is the unique probability rule compatible with phase-independent record formation. The derivation uses one thermodynamic axiom (classical records cannot retain quantum phase, an irreversible operation with Landauer cost k_B T ln 2 per bit) together with three structural axioms (normalization, tensor product factorization, continuity) and an operational interference consistency condition. The squared modulus is the unique function satisfying all five constraints; alternative powers |alpha|^n with n != 2 fail because the L^2 unit sphere is not an L^n unit sphere. This result complements Gleason's theorem: where Gleason proves the Born rule is mathematically necessary given non-contextuality, we identify the physical mechanism (phase information loss during record formation at finite temperature) that makes it realizable. The L^2 structure itself is not derived here; it is inherited from the requirement that unitary evolution preserve the inner product. The contribution is to show that, conditional on that structure, thermodynamics selects the squared modulus as the unique admissible probability map.
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.
We prove a conditional uniqueness theorem for projective measurements on pure states: given the L2 L^2 L2 Hilbert space structure of quantum mechanics, the Born rule P=∣ψ∣2 P = |\psi|^2 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 L^2 L2 normalization fixes the exponent to 2 2 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.
Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.