We study a functional equation obtained by treating computational-basis outcome probabilities as an unknown evaluation rule. The rule is assumed to satisfy only diagonal anchoring, compatibility with partial traces and classical marginalization, and continuity. No record-creation or deferred-measurement axiom is imposed. We first classify all real-valued, not necessarily positive, solutions. Every such solution has a unique representation in terms of continuous scalar functionals indexed by subsystems. These functionals contribute through Walsh parity characters and may be interpreted as slack fields invisible to proper marginals. This result shows that uniqueness without positivity fails in an infinite-dimensional way. We next explain why diagonal-unitary twirling and envariance do not supply the missing constraint: the axioms contain no covariance principle, and explicit phase-dependent positive solutions exist through two qubits. Positivity nevertheless produces strong rigidity. Generalized GHZ states on three or more qubits obey the Born rule exactly, as does a one-bit value copied into at least two computational-basis records. Linear, fixed-pattern, site-local, and sequential deformations are excluded. The remaining problem is reduced to the existence of a continuous point in an explicit positivity region linking all finite subsystem levels.Keywords: Born rule; functional equations; quantum probability; GHZ states; marginal compatibility; Walsh transform; measurement records; quantum foundations
We study a functional equation obtained by treating computational-basis outcome probabilities as an unknown evaluation rule. The rule is assumed to satisfy only diagonal anchoring, compatibility with partial traces and classical marginalization, and continuity. No record-creation or deferred-measurement axiom is imposed. We first classify all real-valued, not necessarily positive, solutions. Every such solution has a unique representation in terms of continuous scalar functionals indexed by subsystems. These functionals contribute through Walsh parity characters and may be interpreted as slack fields invisible to proper marginals. This result shows that uniqueness without positivity fails in an infinite-dimensional way. We next explain why diagonal-unitary twirling and envariance do not supply the missing constraint: the axioms contain no covariance principle, and explicit phase-dependent positive solutions exist through two qubits. Positivity nevertheless produces strong rigidity. Generalized GHZ states on three or more qubits obey the Born rule exactly, as does a one-bit value copied into at least two computational-basis records. Linear, fixed-pattern, site-local, and sequential deformations are excluded. The remaining problem is reduced to the existence of a continuous point in an explicit positivity region linking all finite subsystem levels.Keywords: Born rule; functional equations; quantum probability; GHZ states; marginal compatibility; Walsh transform; measurement records; quantum foundations
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 Enter calculus is a linear quantum programming language in which measurement is represented by an explicit operation that consumes quantum resources and returns classical records. This paper studies abstract evaluation strategies for that operation. Five operational requirements are imposed: composability of measurements on disjoint subsystems, no-signaling, nullity of outcomes orthogonal to the state, continuity, and equivalence between immediate evaluation and coherent record creation followed by delayed readout. The main result is that these requirements determine both Born probabilities and projective state updates. The central step is a derivation of diagonal anchoring rather than an assumption of it. No-signaling first implies that a local outcome law depends only on the reduced density operator. Equal-amplitude states with distinct correlated labels are then shown to have uniform outcome laws. A naïve fine-graining argument fails because its refined register retains intra-block coherence. The repaired construction exports a within-block index to an additional register, producing distinct companion states for every refined label. Uniformity and fiber counting then determine all rational diagonal probabilities, while continuity extends the result to the general case. The record principle transfers this result to arbitrary coherent states, and comparison with all later experiments fixes the residual state. The results extend to mixed states, adaptive protocols, rotated projective measurements, POVM outcome laws, and, after adding explicit discard, quantum instruments. A restricted compatibility theorem for sharp contexts is applied to the Frauchiger–Renner protocol. The paper also distinguishes this operational result from the static functional equation studied in a companion work. Keywords: Born rule, quantum measurement, quantum programming languages, linear types, no-signaling, deferred measurement, quantum instruments, Frauchiger–Renner paradox.
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.
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.
An operational strategy assigns to each pure state and each subregister an outcome law for a computational measurement together with a residual state. We study the axioms of sequential composability (C), nullity (N), continuity (K), and records (R), and ask whether these axioms already force exact no-signaling. Three results are proved. First, for strategies with Lüders residuals, sequential composability and nullity alone imply marginalisation, tensor stability, and block factorisation. Consequently, only a remote unitary can ever produce signaling, while uniform delta-no-signaling for any delta less than 1 collapses to exact no-signaling, without assuming factorisation. Second, we linearise the strategy around the Born rule. The first-order data is described by a single family of guarded functionals satisfying an explicit four-term cocycle relation, whose transport form has three independent instances for each state and pair of sites. Within the class of guarded quadratic purity-overlap functionals, the record axiom removes exactly the overlap and marginal-distance directions, leaving a six-dimensional space of exact record invariants, three of which are signaling. The cocycle condition annihilates all six directions. This is established by a finite exact rational computation carried out by hand. Third, an order-by-order bootstrap promotes the result to analytic rigidity, leaving one precisely formulated infinitesimal problem.
AbstractThe Born rule—assigning quantum probabilities as —remains a postulate in standard quantummechanics. Despite numerous attempts (Gleason's theorem, decoherence, envariance, decision theory), noderivation has eliminated the need for an additional probabilistic axiom. This paper presents a geometric derivationof the Born rule from three minimal principles: (1) physical states are complex linear fields, (2) reality includes anunobservable scale dimension , and (3) observers are restricted to fixed-scale hypersurfaces. Under theseconditions, the unique operational density consistent with linearity, conservation, and phase invariance is thequadratic form . Marginalizing over unobservable scale degrees of freedom yields . Under scale-localization or scale-decoherence, this reduces to , reproducing the Born rulewithout assumption. If the ultraviolet limit of the manifold is a compact genus- surface, topological constraintsproduce structured statistical signatures: for , a 138-mode periodic correction emerges, providing afalsifiable experimental prediction. Measurement is reinterpreted as dimensional projection, not wavefunctioncollapse. Quantum probabilities arise as geometric shadows of deterministic higher-dimensional dynamics.Keywords: Born rule, quantum probability, dimensional flow, marginalization, scale space, genus, quantumfoundations, measurement problem Full Theory Portfolio at: https://drive.google.com/drive/folders/1fdKdo3edGqXVx95IntIumXlzKq22s-yw?usp=drive_link