pith. sign in

arxiv: 2604.07418 · v1 · submitted 2026-04-08 · 🪐 quant-ph

Borns Rule from Reversible Evolution and Irreversible Outcomes

Oskar Axelsson This is my paper

Pith reviewed 2026-05-10 17:56 UTC · model grok-4.3

classification 🪐 quant-ph
keywords Born rulequantum measurementreversible evolutionirreversible recordsquadratic weightsfoundations of probabilitymeasurement problem
0
0 comments X

The pith

The Born rule emerges uniquely from consistency between additive reversible evolution and multiplicative record formation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the quadratic weights of the Born rule follow from matching two structural features of physical processes rather than from any probabilistic axiom. Reversible evolution treats configurations as additive through a compatibility parameter, while the creation of persistent records requires weights of realized outcomes to combine multiplicatively. Demanding that these descriptions agree on the same set of weights forces the assignment to be the square of the amplitude. This derivation applies without assuming any specific quantum formalism or prior probability interpretation. A reader should care because it grounds a core quantum rule in the contrast between reversible dynamics and irreversible record-keeping.

Core claim

The quadratic measure need not be postulated, but follows from the compatibility of two structural features of physical processes: linear reversible evolution prior to the formation of persistent records, and multiplicative composition of outcome weights once such records are established. Reversible evolution combines configurations additively at the level of a compatibility parameter, while the formation of persistent records induces a multiplicative structure on the weights assigned to physically realized outcomes. Requiring consistency between these two regimes constrains the admissible weight assignment to be quadratic in the associated amplitude. The Born rule therefore emerges as the唯一

What carries the argument

The compatibility constraint linking additive combination under reversible evolution at the compatibility-parameter level with multiplicative weight composition induced by persistent records.

If this is right

  • The Born rule is the only weight assignment compatible with both regimes.
  • No separate probabilistic postulate or quantum formalism is required.
  • Irreversible record formation supplies the multiplicative structure that selects the quadratic form.
  • The result applies to any system possessing these two structural features.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same compatibility argument might derive other emergent measures in systems with clear reversible and recording stages.
  • This framing could link the appearance of the Born rule to the thermodynamic arrow of time.
  • Controlled analog platforms with tunable reversibility and recording could provide direct tests of the weight constraint.

Load-bearing premise

The formation of persistent records necessarily induces a multiplicative structure on the weights assigned to physically realized outcomes, and consistency with additive reversible evolution at the compatibility-parameter level forces those weights to be quadratic in amplitude.

What would settle it

A concrete model or experiment exhibiting reversible linear evolution together with persistent record formation yet producing non-quadratic outcome weights would falsify the uniqueness claim.

Figures

Figures reproduced from arXiv: 2604.07418 by Oskar Axelsson.

Figure 1
Figure 1. Figure 1: Physical evolution alternates between reversible dynamics and [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

We show that the quadratic measure need not be postulated, but follows from the compatibility of two structural features of physical processes: linear reversible evolution prior to the formation of persistent records, and multiplicative composition of outcome weights once such records are established. Reversible evolution combines configurations additively at the level of a compatibility parameter, while the formation of persistent records induces a multiplicative structure on the weights assigned to physically realized outcomes. Requiring consistency between these two regimes constrains the admissible weight assignment to be quadratic in the associated amplitude. The Born rule therefore emerges as the unique measure compatible with reversible linear evolution and irreversible record formation, without assuming a probabilistic interpretation or a specific quantum formalism.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper claims that the Born rule (quadratic measure on amplitudes) is not postulated but follows uniquely from the compatibility of two structural features: linear reversible evolution, which combines configurations additively through a compatibility parameter, and the multiplicative composition of weights on physically realized outcomes once persistent records form. Requiring consistency between these additive and multiplicative regimes constrains the admissible weight assignment to be quadratic in amplitude, without assuming a probabilistic interpretation or any specific quantum formalism.

Significance. If the derivation is sound, the result would provide a derivation of the Born rule from general physical principles of reversible linear dynamics and irreversible record formation, offering a potential resolution to the measurement problem by showing the quadratic form as the unique measure compatible with these regimes. This approach avoids assuming probabilities upfront and could have broad implications for foundational quantum mechanics if the consistency argument holds without hidden assumptions.

major comments (2)
  1. [Main text derivation of record-induced structure] The central step—that formation of persistent records necessarily induces a multiplicative structure on outcome weights—is introduced as an induced feature but not derived from the definition of irreversibility or record persistence. If alternative composition laws (e.g., additive weights or non-associative rules) are compatible with the same record persistence, the uniqueness of the quadratic solution does not follow. This assumption carries the entire constraint and requires explicit justification from the irreversibility condition alone.
  2. [Consistency condition between regimes] The consistency requirement between additive reversible evolution at the compatibility-parameter level and the multiplicative regime is said to force quadratic weights, yet no explicit equations or consistency condition are supplied in the abstract, and the full derivation must demonstrate that the quadratic form emerges independently rather than being implicitly defined by the choice of multiplicative structure. Without this, the claim that the measure is 'unique' and 'parameter-free' cannot be verified for gaps or circularity.
minor comments (1)
  1. [Abstract] The abstract summarizes the logical steps at a high level but supplies no equations, explicit consistency condition, or derivation showing how the two regimes constrain the measure to quadratic; the full manuscript should include these to allow direct checking.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight areas where greater explicitness in the derivation would strengthen the manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: The central step—that formation of persistent records necessarily induces a multiplicative structure on outcome weights—is introduced as an induced feature but not derived from the definition of irreversibility or record persistence. If alternative composition laws (e.g., additive weights or non-associative rules) are compatible with the same record persistence, the uniqueness of the quadratic solution does not follow. This assumption carries the entire constraint and requires explicit justification from the irreversibility condition alone.

    Authors: We agree that the link between record persistence and multiplicative weights requires a more explicit derivation from the irreversibility condition. In the revised manuscript we will insert a new subsection that starts from the definition of a persistent record (an outcome that remains fixed and does not interfere with or depend on other realized outcomes) and shows that any consistent weight assignment on independent records must be multiplicative. Additive or non-associative alternatives are ruled out because they would permit residual interference between records, violating the irreversibility built into the definition. This step is therefore not an extra assumption but follows directly from the record-formation condition. revision: yes

  2. Referee: The consistency requirement between additive reversible evolution at the compatibility-parameter level and the multiplicative regime is said to force quadratic weights, yet no explicit equations or consistency condition are supplied in the abstract, and the full derivation must demonstrate that the quadratic form emerges independently rather than being implicitly defined by the choice of multiplicative structure. Without this, the claim that the measure is 'unique' and 'parameter-free' cannot be verified for gaps or circularity.

    Authors: The consistency condition is stated in the body of the paper as the requirement that the weight function w must satisfy w(α₁ + α₂) = w(α₁) w(α₂) whenever the reversible evolution combines amplitudes additively at the compatibility-parameter level and the records form independently. The functional equation together with the normalization and positivity conditions on w yields the unique solution w(α) ∝ α² (up to an irrelevant overall scale). We acknowledge that the abstract omits the equation; in the revision we will display the functional equation explicitly in the main text, solve it step by step, and verify that the quadratic form is not presupposed but is the only solution compatible with both regimes. This removes any appearance of circularity. revision: yes

Circularity Check

1 steps flagged

Multiplicative structure on outcome weights introduced as 'induced' by records without derivation from irreversibility

specific steps
  1. self definitional [Abstract]
    "Reversible evolution combines configurations additively at the level of a compatibility parameter, while the formation of persistent records induces a multiplicative structure on the weights assigned to physically realized outcomes. Requiring consistency between these two regimes constrains the admissible weight assignment to be quadratic in the associated amplitude."

    The paper asserts that record formation 'induces' multiplicativity without deriving this composition law from the irreversibility or persistence properties; the multiplicativity is then used as the second input whose consistency with additivity forces the quadratic form. The Born rule therefore follows by construction once the two regimes and their composition laws are stipulated, rather than being the unique measure required by reversible evolution plus irreversible outcomes.

full rationale

The central derivation posits that persistent record formation induces multiplicative composition of weights, then shows consistency with additive reversible evolution forces quadratic dependence on amplitude. This is not shown to follow necessarily from the definition of a persistent record or irreversibility; the multiplicative rule is stated as a structural feature of the second regime. The uniqueness of the quadratic (Born) measure therefore reduces to the choice of that structural feature plus the consistency requirement, rather than being independently forced by the physical assumptions alone. No self-citations or external uniqueness theorems are invoked, but the load-bearing step is the un-derived induction of multiplicativity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on two domain assumptions about physical processes (additive reversible evolution before records and multiplicative weights after records) whose compatibility is asserted to force quadratic weights; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Linear reversible evolution prior to the formation of persistent records combines configurations additively at the level of a compatibility parameter.
    Explicitly stated in the abstract as one of the two structural features.
  • domain assumption Formation of persistent records induces a multiplicative structure on the weights assigned to physically realized outcomes.
    Explicitly stated in the abstract as the second structural feature required for consistency.

pith-pipeline@v0.9.0 · 5394 in / 1359 out tokens · 51820 ms · 2026-05-10T17:56:53.050970+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • Cost.FunctionalEquation washburn_uniqueness_aczel echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    Reversible evolution combines configurations additively at the level of a compatibility parameter, while the formation of persistent records induces a multiplicative structure on the weights... f(α1 + α2) = f(α1)f(α2)

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

  1. [1]

    Quantum theory of probability and decisions.Proceed- ings of the Royal Society A, 455:3129–3137, 1999

    David Deutsch. Quantum theory of probability and decisions.Proceed- ings of the Royal Society A, 455:3129–3137, 1999

    work page 1999

  2. [2]

    Andrew M. Gleason. Measures on the closed subspaces of a hilbert space. Journal of Mathematics and Mechanics, 6:885–893, 1957

    work page 1957

  3. [3]

    On the isometries of certain function spaces.Pacific Journal of Mathematics, 8:459–466, 1958

    John Lamperti. On the isometries of certain function spaces.Pacific Journal of Mathematics, 8:459–466, 1958

    work page 1958

  4. [4]

    Decoherence, the measurement problem, and interpretations of quantum mechanics.Reviews of Modern Physics, 76:1267, 2005

    Maximilian Schlosshauer. Decoherence, the measurement problem, and interpretations of quantum mechanics.Reviews of Modern Physics, 76:1267, 2005

    work page 2005

  5. [5]

    Wojciech H. Zurek. Probabilities from entanglement, born’s rulep k = |ψk|2 from envariance.Physical Review A, 71:052105, 2005. 9

    work page 2005