What singles out the Born probability distribution in Bohmian mechanics when the same probability assignment must remain consistent across different physical controls? This paper proves a conditional uniqueness theorem for quantum equilibrium in nonrelativistic interacting systems. Under explicit regularity assumptions, a normalized probability assignment depending only on the current wavefunction must equal the Born distribution if it is consistent with Schrödinger evolution and Bohmian guidance across the admitted local scalar potentials. The pair interactions remain fixed, connect the particles, and have genuine mixed spatial dependence. The proof does not require additional controllable many-body potentials. The required controls can be reduced to translates and real amplitudes of a single suitable spatial profile for each particle. The manuscript also provides extensions to effective spin and identical-particle sectors, a separate characterization based on binary-flag heredity, and continuity conditions extending the results to wavefunctions with nodes. Consequences for apparatus records are stated under explicit preparation and measurement-coupling assumptions. The result characterizes the Born law within the stated statistical framework. It does not derive the control-consistency premise from deterministic dynamics or establish relaxation from arbitrary initial distributions. This revised preprint presents the theorem statements and proofs in a self-contained form for independent scholarly assessment.
What singles out the Born probability distribution in Bohmian mechanics when the same probability assignment must remain consistent across different physical controls? This paper proves a conditional uniqueness theorem for quantum equilibrium in nonrelativistic interacting systems. Under explicit regularity assumptions, a normalized probability assignment depending only on the current wavefunction must equal the Born distribution if it is consistent with Schrödinger evolution and Bohmian guidance across the admitted local scalar potentials. The pair interactions remain fixed, connect the particles, and have genuine mixed spatial dependence. The proof does not require additional controllable many-body potentials. The required controls can be reduced to translates and real amplitudes of a single suitable spatial profile for each particle. The manuscript also provides extensions to effective spin and identical-particle sectors, a separate characterization based on binary-flag heredity, and continuity conditions extending the results to wavefunctions with nodes. Consequences for apparatus records are stated under explicit preparation and measurement-coupling assumptions. The result characterizes the Born law within the stated statistical framework. It does not derive the control-consistency premise from deterministic dynamics or establish relaxation from arbitrary initial distributions. This revised preprint presents the theorem statements and proofs in a self-contained form for independent scholarly assessment.
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 Born rule—that measurement probabilities equal the squared amplitude of the wavefunction—has been treated as a fundamental postulate of quantum mechanics since 1926. Every major interpretation either assumes it or struggles to derive it from other postulates. This paper derives the Born rule as the uniform-coupling limit of a physical measurement interaction within the Field Intrinsic Gravity Induced Density (FIGID) framework. A companion paper [1] established that quantum measurement is gradient-driven localization: the field density gradient of a macroscopic apparatus forces a diffuse field condensation to concentrate at the point of strongest interaction. Here we formalize this mechanism as an interaction Hamiltonian coupling the apparatus gradient profile G(x) to the system’s condensation density ρ₂(x) = |ψ(x)|². The apparatus gradient is a macroscopic, static field configuration—the system responds to it as a background potential, not as a propagating quantum exchange. This static-coupling structure, which parallels FIGID’s treatment of gravitational interactions, yields a measurement law with the transition rate linear in G. In the uniform-coupling limit—when the apparatus gradient varies negligibly across the system’s coherence length—the measurement probabilities reduce exactly to the Born rule. Deviations from Born statistics are predicted when the dimensionless parameter L₂|∇G|/G₀ approaches unity, where L₂ is the coherence length determined by the inverse-roughness law L₂ = Kₗₐₘ/Rₙ [2]. The derivation requires one structural assumption—local scalar coupling between apparatus and system—and produces the Born rule as its leading-order consequence, with quantitative correction terms that are experimentally testable.
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 .
Under what conditions does a quantum probability current determine complete, deterministic configuration histories, including nodes, singular interactions, and dynamical source coordinates? This paper establishes a theorem framework connecting quantum continuity equations to deterministic flows under explicit regularity, integrability, and boundary assumptions. The main result proves avoidance of wave nodes throughout a finite time interval and deterministic selection of reference-compatible paths. Uniqueness is established within a specified class of path laws whose time marginals are bounded by a finite multiple of the reference density. Any original configuration law absolutely continuous with respect to the initial wave density is then transported by reweighting those same paths, without introducing a new statistical population during evolution.The paper also proves approximation and stability results for entire histories. These require control of both the complete density and current, and explicitly account for trajectories leaving the region where the comparison estimates apply. Applications include discontinuous radial interactions with finite spin and quantum sources, bare Coulomb interactions, and a Coulomb electron coupled to a retained quantum oscillator. A separate theorem bounds endpoint and crossing errors for suitably regular comparison currents with a signed continuity defect. Counterexamples identify failures caused by omitted source currents, singular initial laws, and insufficient control near nodes. These results provide mathematical foundations for deterministic quantum transport and record analysis. They do not select an initial Born distribution or independently establish a complete measurement apparatus.
We show that the quadratic measure associated with the Born rule need not be introduced as an independent probabilistic postulate, but follows, under the stated structural and regularity assumptions, from the compatibility between reversible linear evolution and the formation of stable records. Physical processes alternate between reversible dynamics and episodes of record formation. Quantities that remain well defined throughout such processes must therefore admit a representation that remains consistent across both regimes. Prior to record formation, alternatives combine additively at the level of complex amplitudes, whereas successive record-forming distinctions admit a multiplicative representation through refinement. Requiring compatibility between these compositional structures constrains the admissible weight assignment to the family of weights proportional to the pth power of the amplitude magnitude. The finite-dimensional specialization of Lamperti's isometry theorem then singles out p = 2 as the unique value compatible with continuous reversible linear mixing while preserving total weight. The Born rule therefore emerges as the unique weight assignment compatible with reversible linear composition, multiplicative record refinement, phase invariance, and continuous reversible invariance, without invoking probabilistic assumptions or a specific interpretation of quantum measurement.
The Schrödinger equation and the Born rule constitute two of the most successful structures in quantum mechanics. The former governs the continuous evolution of the wave function, while the latter connects its squared amplitude to the statistical distribution of experimental outcomes. Yet these two structures operate at different descriptive levels: the Schrödinger state is continuous, spatially extended, and phase-sensitive, whereas individual experiments terminate in localized physical events. This paper develops a theoretical framework for reconstructing the physical relation between these two levels. Rather than proceeding only in the conventional direction from Schrödinger dynamics to Born probabilities, we introduce an inverse explanatory strategy: from Born back to Schrödinger. Born statistics are treated as an empirical constraint from which the physical role of the wave function is reconsidered. We propose that, for the single-particle regime examined here, the wave function may be interpreted functionally as a dynamical propagation structure rather than as the localized particle itself. Its amplitude, phase, conserved current, gauge-covariant propagation momentum, and associated velocity field jointly define a structured family of possible motions. This interpretation leads to three separations: propagation from localization, propagation from physical population, and arrival from detector registration. A physical preparation generates a source measure (\mu_0^{\rm phys}); Schrödinger dynamics generates a propagation map (\Phi_\Psi); and microscopic detector dynamics is represented by a response map (\mathcal R_D). The Born problem can then be formulated as the closure condition RD[(ΦΨ)∗μ0phys]=?μBorn,D. This relation is not claimed here as a derived law, but as the central dynamical problem that a physical reconstruction of quantum probability must solve without inserting the Born measure at either boundary. The paper synthesizes six preceding studies on wave-packet localization, Born's scattering interpretation, the emergence of probability, the physical meaning of the wave function, source-to-detector transport, and unified propagation dynamics. It places the resulting framework in dialogue with Madelung and Hamilton–Jacobi formulations, Bohmian mechanics, decoherence, Quantum Darwinism, structural and symmetry-based derivations of the Born rule, Everettian approaches, objective-collapse theories, and detector models. The resulting proposal is best understood as a propagation-first theoretical reconstruction program: Schrödinger dynamics organizes possible propagation, while Born statistics constrain how that propagation becomes physically realized. Keywords: Schrödinger equation; Born rule; wave function; quantum foundations; propagation structure; quantum probability; quantum trajectories; source-to-detector transport; detector response; wave–particle duality; Bohmian mechanics; quantum measurement