We establish an operational rigidity result for a broad class of probability rules in infinite-dimensional settings, applicable under normality and steering assumptions. Starting from a topological generalization of generalized probabilistic theories, we consider probability assignments defined as functions of an operational transition probability between pure states. We show that under three operationally motivated requirements: no superluminal signaling, availability of normal steering via purification in a sigma additive sense, and sigma affinity of probabilities under countable preparation mixtures, any admissible rule within this class must reduce to the identity. In particular, nonlinear deviations generically enable operational signaling distinctions in steering scenarios, while continuity combined with sigma affinity excludes non affine alternatives. This identifies a unique causal fixed point. Within this class of probability rules, the Born rule emerges as the only assignment compatible with no signaling in operational theories admitting normal steering. We connect the operational result to standard infinite-dimensional quantum mechanics through the normal state space of von Neumann algebras and the GNS representation, recovering the conventional Born rule for projective and generalized measurements. We discuss the scope of the assumptions and implications for proposed post quantum modifications in continuous variable and quantum field theoretic regimes.
We establish an operational rigidity result for a broad class of probability rules in infinite-dimensional settings, applicable under normality and steering assumptions. Starting from a topological generalization of generalized probabilistic theories, we consider probability assignments defined as functions of an operational transition probability between pure states. We show that under three operationally motivated requirements: no superluminal signaling, availability of normal steering via purification in a sigma additive sense, and sigma affinity of probabilities under countable preparation mixtures, any admissible rule within this class must reduce to the identity. In particular, nonlinear deviations generically enable operational signaling distinctions in steering scenarios, while continuity combined with sigma affinity excludes non affine alternatives. This identifies a unique causal fixed point. Within this class of probability rules, the Born rule emerges as the only assignment compatible with no signaling in operational theories admitting normal steering. We connect the operational result to standard infinite-dimensional quantum mechanics through the normal state space of von Neumann algebras and the GNS representation, recovering the conventional Born rule for projective and generalized measurements. We discuss the scope of the assumptions and implications for proposed post quantum modifications in continuous variable and quantum field theoretic regimes.
Within finite-dimensional generalized probabilistic theories (GPTs), we distinguish between the geometric transition probability tau(psi,phi), defined as the maximum probability of accepting phi when the state is psi, and the predictive probability P(phi|psi) assigned to measurement outcomes.
We ask what functional relationship P = Phi(tau) is compatible with relativistic causality. We prove that in any GPT satisfying purification, and therefore admitting steering, the only such relationship consistent with no-signaling is the identity Phi(p) = p. Any strictly convex or concave deviation from linearity enables superluminal signaling through steering scenarios.
We provide an explicit qubit example showing how nonlinear probability rules generate detectable signaling channels. Combined with standard reconstruction results, this yields the Born rule |<phi|psi>|^2 as the unique causally consistent probability assignment. Our analysis clarifies the distinction between geometric structure and probabilistic prediction in quantum theory, and identifies steering as the mechanism enforcing the Born rule.
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.
We consider modifications of the Born rule in which measurement-outcome probabilities are reweighted by a relative-entropy functional of the post-measurement branches. Such entropic selectors are a natural candidate for a dynamical account of outcome selection, and fall outside the scope of steering-based derivations of the Born rule, which cover only convex/affine deformations. We prove a no-go result: under the standard branch-wise prescription, every relative-entropy selector that modifies the Born rule permits superluminal signalling, in every dimension d ≥ 2. The proof reduces, via the Gisin–Hughston–Jozsa–Wootters steering theorem, to the strict non-affinity of the selector, for which a closed-form chord witness is given. We then characterise where the rule is safe: for d = 2 it coincides with the Born rule exactly at the maximally mixed state, whereas for d ≥ 3 it signals at every full-rank state — proven on all diagonal states and an open neighbourhood, with the curvature attaining its global minimum (d−2)/ln d at the maximally mixed state. The conclusion: relative entropy can diagnose and constrain quantum dynamics, but promoting it to an active outcome selector reintroduces signalling. GHJW theorem quantum foundations steering
In any finite-dimensional General Probabilistic Theory (GPT), closure-style constraints (context-independence, additivity, normalization, convex mixing) force probability assignment to a unique affine state functional. This paper proves that theorem and shows the Born rule is the matrix-ordered instance. The development is mechanized in Lean 4 as the GPTClosure library in nems-lean. The abstract core has 0 sorrys in QuantumFinite (all three prior gaps — PSD cone pointedness, Born-rule nonnegativity, wiring to busch_gleason_unique — are now fully proved). 0 sorry in all other GPTClosure modules. The proofs of PSD cone pointedness and Born-rule nonnegativity rely on re_trace_psd_mul_psd_nonneg, an explicit axiom stating Re(Tr(AB)) >= 0 for positive-semidefinite Hermitian A and B; this is a standard fact from matrix analysis whose Lean proof is pending a bridge to Mathlib's Matrix.PosSemidef. No other custom axioms.
This work provides a structural derivation of the quadratic form of the Born rule in quantum mechanics. Rather than postulating the probability rule as a foundational axiom, the paper proves that the exponent governing quantum probabilities is uniquely fixed by stability, contractivity, and duality requirements imposed on admissible physical laws. The analysis is carried out within a general operator-theoretic and law-space framework, in which physical laws are treated as fixed points of recursive generative dynamics. By combining strict contractive flow (Kappa Law), topological rigidity (Law of Endogenous Constraint), and algebra–geometry duality (Monad Duality), the paper demonstrates that only the Hilbert–Schmidt geometry is compatible with global stability of law evolution. As a consequence, the quadratic probability rule emerges as a rigid structural invariant rather than a free modeling choice. The result implies that any hypothetical modification of quantum theory based on non-quadratic probability rules would necessarily violate at least one of the fundamental structural requirements of admissible physical law, such as uniform contractivity, spectral stability, or duality consistency. Relation to Tier-1 dynamical formulation: This work develops a law-level (structural) resolution of the Born exponent. A complementary Tier-1 dynamical realization, formulated entirely within a constrained operator framework and independent of law-level recursion language, is developed in: J. Rodgers, Saturation Geometry and the Structural Emergence of Measurement and the Born Rule in a Capacity-Constrained Dirac–Λ System, Zenodo (2026).https://doi.org/10.5281/zenodo.18704783 The Tier-1 formulation may be read independently and derives the quadratic Born rule as a consequence of modular implementability and saturation geometry within the coupled Dirac–Λ system.
This work provides a structural derivation of the quadratic form of the Born rule in quantum mechanics. Rather than postulating the probability rule as a foundational axiom, the paper proves that the exponent governing quantum probabilities is uniquely fixed by stability, contractivity, and duality requirements imposed on admissible physical laws.The analysis is carried out within a general operator-theoretic and law-space framework, in which physical laws are treated as fixed points of recursive generative dynamics. By combining strict contractive flow (Kappa Law), topological rigidity (Law of Endogenous Constraint), and algebra–geometry duality (Monad Duality), the paper demonstrates that only the Hilbert–Schmidt geometry is compatible with global stability of law evolution. As a consequence, the quadratic probability rule emerges as a rigid structural invariant rather than a free modeling choice.The result implies that any hypothetical modification of quantum theory based on non-quadratic probability rules would necessarily violate at least one of the fundamental structural requirements of admissible physical law, such as uniform contractivity, spectral stability, or duality consistency.This work builds directly on the operator-theoretic resolution of quantum measurement: “A Complete Operator-Theoretic Resolution of the Quantum Measurement Problem” (DOI: 10.5281/zenodo.17823241), and on the generative law framework introduced in: “The Tier-0 Framework and the Everything Equation: A Universal Recursion Law for Physics, Mathematics, and Information” (DOI: 10.5281/zenodo.17813117).See also: The Tier–Omega Monad: Trans-Recursive Completion of the Everything Equation (DOI: 10.5281/zenodo.17859631), which establishes the unique trans-recursive invariant that terminates all possible meta-law recursion and completes the Everything Equation. This work provides the structural boundary underlying the entire framework developed in the associated papers. https://doi.org/10.5281/zenodo.17864384