<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">jmp</journal-id>
      <journal-title-group>
        <journal-title>Journal of Modern Physics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2153-120X</issn>
      <issn pub-type="ppub">2153-1196</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/jmp.2026.1710056</article-id>
      <article-id pub-id-type="publisher-id">jmp-154381</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Born’s Rule from Reversible Evolution and Record Formation</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0000-0003-3209-7241</contrib-id>
          <name name-style="western">
            <surname>Axelsson</surname>
            <given-names>Oskar</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Independent Researcher, Höör, Sweden </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The author declares no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>08</day>
        <month>10</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>10</month>
        <year>2026</year>
      </pub-date>
      <volume>17</volume>
      <issue>10</issue>
      <fpage>1282</fpage>
      <lpage>1294</lpage>
      <history>
        <date date-type="received">
          <day>20</day>
          <month>06</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>06</day>
          <month>10</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>09</day>
          <month>10</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/jmp.2026.1710056">https://doi.org/10.4236/jmp.2026.1710056</self-uri>
      <abstract>
        <p>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 <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>| α |</p>
        <p>p</p>
        <p>. The finite-dimensional specialization of Lamperti’s isometry theorem then singles out <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>p=2</p>
        <p>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.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Born’s Rule</kwd>
        <kwd>Quantum Measurement</kwd>
        <kwd>Reversible Dynamics</kwd>
        <kwd>Irreversible Record Formation</kwd>
        <kwd>Quantum Foundations</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>The Born rule plays a central role in quantum theory, connecting the mathematical formalism of amplitudes with experimentally observed outcome frequencies. In the standard formulation it is introduced as a postulate, and considerable effort has been devoted to deriving it from more primitive physical principles.</p>
      <p>Several approaches have been proposed. Decision-theoretic arguments in the Everett interpretation attempt to recover the rule from rational consistency requirements [<xref ref-type="bibr" rid="B1">1</xref>]. Envariance-based derivations relate the rule to symmetry properties of entangled states [<xref ref-type="bibr" rid="B2">2</xref>]. Other approaches derive the quadratic measure from structural features of Hilbert space or Gleason-type theorems [<xref ref-type="bibr" rid="B3">3</xref>]. Derivations based on time-reversal symmetry have also been proposed [<xref ref-type="bibr" rid="B4">4</xref>]. The present approach differs in deriving a general weight assignment from the compatibility between reversible evolution and irreversible record formation, without assuming a probabilistic interpretation from the outset.</p>
      <p>As emphasized in several reviews, derivations of the Born rule generally require assumptions beyond the standard dynamical postulates of quantum mechanics [<xref ref-type="bibr" rid="B5">5</xref>]. At the same time, the role of these assumptions remains a matter of debate. Recurring criticisms include the implicit introduction of probabilistic concepts through auxiliary assumptions and the absence of a clear account of physical outcomes within the formalism. A recent review likewise highlights the variety of existing formulations of the Born rule, their differing domains of validity, and the continuing lack of a universally accepted account of the emergence of definite physical outcomes [<xref ref-type="bibr" rid="B6">6</xref>].</p>
      <p>The present derivation differs from representative existing approaches primarily in the assumptions from which it begins. It does not invoke decision-theoretic rationality, probabilistic symmetry arguments, expectation values, or a pre-existing quadratic measure. Instead, it starts from reversible linear composition, persistent record formation, and consistency of the weight assignment across these two regimes. A broader comparison of existing Born-rule derivations and their assumptions is provided in Refs. [<xref ref-type="bibr" rid="B5">5</xref>][<xref ref-type="bibr" rid="B6">6</xref>].</p>
      <p>The present work addresses these concerns from a different perspective. Probabilities are not introduced as primitive quantities, and outcomes are represented by stable records, understood as persistent physical outcomes that can be identified after their formation. Recent analyses have also emphasized the indispensable role of the superposition principle, that is, the additive composition of amplitudes, in many proposed derivations of the Born rule [<xref ref-type="bibr" rid="B7">7</xref>]. In the present work, additive composition is not derived independently but taken directly from the linear structure of reversible quantum evolution.</p>
      <p>We therefore pursue a structural route based on the compatibility between reversible evolution and irreversible record formation. Reversible evolution is described by the Schrödinger equation and possesses continuous symmetries together with the associated conservation laws. Physical processes, however, are not composed exclusively of reversible evolution, but repeatedly alternate between reversible dynamics and episodes of record formation.</p>
      <p>Both ingredients are independently motivated by established physical practice. Reversible evolution is a central element of the standard quantum formalism, while stable records are the operational basis by which outcomes are identified and compared in experiment. The physical starting points of the present derivation are therefore structures that already play a fundamental role in the description of physical processes, rather than on additional assumptions concerning observers, decision-making, or subjective probabilities. We do not attempt to explain the origin of irreversibility or the arrow of time. Rather, we start from the empirical coexistence of reversible quantum evolution and persistent records, and investigate the constraints imposed by requiring that quantities associated with possible outcomes remain consistently represented across both regimes (<xref ref-type="fig" rid="fig1">Figure 1</xref>).</p>
      <fig id="fig1">
        <label>Figure 1</label>
        <graphic xlink:href="https://html.scirp.org/file/7506220-rId19.jpeg?20261009095033" />
      </fig>
      <p><bold>Figure 1.</bold> Physical evolution alternates between reversible dynamics and the formation of stable records. Reversible evolution is linear and time symmetric, while record formation produces effectively irreversible outcomes. Each record distinguishes a single realized outcome, after which reversible evolution continues from the recorded configuration.</p>
      <p>If quantities such as energy remain well defined throughout a physical process, their representation cannot be determined independently in these two regimes. Reversible and irreversible processes must therefore admit a common structural description. The present work leverages the constraints imposed by this requirement on admissible outcome weights.</p>
      <p>In this setting, reversible evolution combines alternatives additively at the amplitude level, whereas record formation composes multiplicatively through successive refinement, whereby each new record further specifies the realized outcome. Any quantity that remains consistently represented across both regimes must therefore be compatible with these distinct compositional structures.</p>
      <p>The distinction between reversible evolution and irreversible record-forming processes has been explored in various forms in the literature. In particular, related ideas appear in the work of Horodecki, where reversible and irreversible aspects of quantum processes are discussed in a broader informational context [<xref ref-type="bibr" rid="B8">8</xref>].</p>
      <p>The derivation presented here is formulated within the standard framework of quantum mechanics, assuming reversible linear evolution with complex amplitudes together with the occurrence of irreversible record formation. No specific interpretation or mechanism for this process is assumed. Nor does the derivation assume probabilities or expectation values as primitive concepts. Instead, the admissible weight assignment is derived from the compatibility of reversible evolution and irreversible record formation. A probabilistic interpretation is considered only after the quadratic form has been derived.</p>
      <p>We show that additive reversible composition and multiplicative record refinement, together with the requirement that outcome weights remain consistently represented across both regimes, uniquely select a quadratic assignment of outcome weights. The Born rule therefore emerges as the unique weighting compatible with reversible linear evolution and multiplicative irreversible refinement. To make this argument precise, we first identify the structural features of the reversible and irreversible regimes separately before examining the constraints imposed by their compatibility.</p>
    </sec>
    <sec id="sec2">
      <title>2. Two Operational Regimes</title>
      <p>Measurement interactions are commonly described as involving two operationally distinct regimes: reversible linear evolution prior to record formation and effectively irreversible formation of persistent records associated with measurement outcomes [<xref ref-type="bibr" rid="B9">9</xref>]. This operational distinction is widely used in both textbook and research treatments of quantum measurement.</p>
      <p><bold>1) Reversible</bold><bold>regime.</bold> Prior to formation of a stable record, evolution is reversible and linear at the amplitude level. States associated with different potential outcomes remain operationally interconvertible.</p>
      <p><bold>2) Irreversible</bold><bold>regime.</bold> Once a stable record forms, configurations corresponding to distinct outcomes become operationally distinguishable and are no longer reversibly interconvertible. </p>
      <p>Here irreversibility refers to operational irreversibility: the recorded configurations cannot be returned to their pre-record state by physically accessible reversible transformations, even though the underlying microscopic dynamics may remain time symmetric.</p>
      <p>For clarity, the derivation below uses the following physical (<bold>P</bold>) and mathematical <bold>(M</bold>) assumptions.</p>
      <p><bold>P1. Reversible</bold><bold>linear</bold><bold>composition.</bold> Prior to record formation, alternatives are represented by complex amplitudes and combine linearly.</p>
      <p><bold>P2. Persistent</bold><bold>record</bold><bold>formation.</bold> Physical processes may produce stable records that render distinct outcomes operationally distinguishable and whose recorded distinction remains available under subsequent evolution and is not erased by the reversible transformations under consideration.</p>
      <p><bold>P3.</bold><bold>Cross-regime</bold><bold>consistency.</bold> A non-negative weight assigned to a possible record before its formation retains the same physical meaning when that record becomes established.</p>
      <p><bold>P4.</bold><bold>Phase</bold><bold>invariance.</bold> States differing only by an overall complex phase receive the same weight.</p>
      <p><bold>M1.</bold><bold>Regularity.</bold> The weight assignment and the composition laws introduced below are taken to be continuous on their stated domains. Where stronger regularity properties are required, they are stated explicitly at the point of use. </p>
      <p>No probabilistic interpretation of the weight is assumed at this stage. Additional structural requirements associated with sequential record refinement and reversible invariance are introduced explicitly where they enter the derivation.</p>
      <sec id="sec2dot1">
        <title>2.1. Reversible Composition</title>
        <p>At the microscopic level, the dynamical laws governing physical systems are reversible. If a quantum state evolves according to a deterministic dynamical law, the same law also determines how the earlier state can be reconstructed from its later state.</p>
        <p>A familiar example is the Schrödinger equation, </p>
        <disp-formula id="FD1">
          <label>(1)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>i</mml:mi>
              <mml:mi>ℏ</mml:mi>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>ψ</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>∂</mml:mo>
                  <mml:mi>t</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mo>=</mml:mo>
              <mml:mi>H</mml:mi>
              <mml:mi>ψ</mml:mi>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>which generates unitary evolution. Given a solution <inline-formula><mml:math><mml:mrow><mml:mi> ψ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the state at an earlier time can be obtained by evolving with the inverse unitary operator <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> U </mml:mi><mml:mrow><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> U </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> − </mml:mo><mml:mi> t </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The equation itself therefore contains no intrinsic direction of time.</p>
        <p>This microscopic reversibility contrasts with everyday experience. Macroscopic processes such as measurement or record formation appear irreversible because they involve the creation of persistent records that are impossible to erase in practice through local physical interactions. Such irreversibility reflects operational limitations rather than a fundamental asymmetry of the underlying dynamical laws.</p>
        <p>The coexistence of reversible evolution and irreversible record formation raises the question of how quantities that remain well defined throughout a physical process can be represented consistently across both regimes. This compatibility requirement imposes strong constraints on how non-negative weights, rather than probabilities, may be assigned to possible outcomes. The term weight is used because no probabilistic interpretation is assumed a priori; the relation to probability emerges only after the quadratic form has been established.</p>
        <p>The present work does not attempt to derive the additive composition of amplitudes, which is taken directly from the linear structure of reversible quantum evolution [<xref ref-type="bibr" rid="B7">7</xref>].</p>
        <p>If two alternatives lead to the same subsequent state without leaving a record of their distinction, they cannot be operationally distinguished and must be represented by a single effective alternative. Since reversible evolution is linear, the corresponding amplitudes combine additively,</p>
        <disp-formula id="FD2">
          <label>(2)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mrow>
                  <mml:mtext>combined</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mi>α</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Addition is therefore the fundamental composition law of the reversible regime.</p>
        <p>Reversible evolution admits a continuous symmetry corresponding to global phase transformations, </p>
        <disp-formula id="FD3">
          <label>(3)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>α</mml:mi>
              <mml:mo>↦</mml:mo>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>θ</mml:mi>
                </mml:mrow>
              </mml:msup>
              <mml:mi>α</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>A weight is a non-negative quantity assigned to a possible persistent record prior to its realization. The realized record retains this same assignment upon record formation. Throughout the present work, the term <italic>weight</italic> refers to this single assignment both before and after record formation.</p>
        <p>States differing only by a global phase are operationally indistinguishable prior to record formation and must therefore be assigned the same weight. Outcome weights are therefore invariant under global phase transformations.</p>
        <p>It follows that weights cannot depend on the overall phase of <inline-formula><mml:math><mml:mi> α </mml:mi></mml:math></inline-formula> , and can therefore be written as a function of its magnitude,</p>
        <disp-formula id="FD4">
          <label>(4)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>μ</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mi>f</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>|</mml:mo>
                    <mml:mi>α</mml:mi>
                    <mml:mo>|</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
      </sec>
      <sec id="sec2dot2">
        <title>2.2. Irreversible Regime</title>
        <p>The preceding discussion identifies the composition law and symmetry properties of the reversible regime. We now turn to the corresponding structure associated with irreversible record formation.</p>
        <p>Physical processes consist of alternating stages of reversible evolution and irreversible record formation. At discrete stages, irreversible record formation occurs, selecting a single outcome from a set of alternatives. No specific mechanism for this selection is assumed.</p>
        <p>Once a stable record forms, configurations become operationally distinguishable. Subsequent evolution proceeds within the configuration consistent with the recorded outcome until a further irreversible record forms. Upon record formation, the realized record inherits the corresponding weight <inline-formula><mml:math><mml:mi> μ </mml:mi></mml:math></inline-formula> .</p>
        <p>The present derivation does not assume a particular microscopic mechanism by which persistent records are established. In modern quantum theory, effective record formation is commonly described in decoherence-based approaches through environmental interaction, where the global evolution remains reversible while local subsystems acquire effectively irreversible records [<xref ref-type="bibr" rid="B2">2</xref>][<xref ref-type="bibr" rid="B10">10</xref>]. The present argument is compatible with such descriptions. It requires only that a regime exists in which persistent records can be treated as operationally established. The derivation therefore concerns the structural consequences of record formation rather than its microscopic origin.</p>
      </sec>
      <sec id="sec2dot3">
        <title>2.3. Consistency of Sequential Refinement</title>
        <p>Successive record formation progressively specifies the realized outcome: each new record introduces information not contained in previous records. When multiple record-formation events occur in sequence, the final record encodes all distinctions introduced at each stage.</p>
        <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> R </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> denote the non-negative weight assigned to a record <inline-formula><mml:math><mml:mi> R </mml:mi></mml:math></inline-formula> . We require that this assignment respect the compositional structure of successive refinement. In particular, the weight assigned to a final record must not depend on how the refinement leading to that record is partitioned into intermediate stages.</p>
        <p>Suppose the composition law for successive refinements is represented by an operation <inline-formula><mml:math><mml:mo> ∘ </mml:mo></mml:math></inline-formula> ,</p>
        <disp-formula id="FD5">
          <label>(5)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>μ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mrow>
                      <mml:mn>12</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>μ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∘</mml:mo>
              <mml:mi>μ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>For positive weights, we require the composition law <inline-formula><mml:math><mml:mo> ∘ </mml:mo></mml:math></inline-formula> to be continuous, associative, and strictly increasing in each argument. Associativity expresses independence of the grouping of successive refinements,</p>
        <disp-formula id="FD6">
          <label>(6)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>∘</mml:mo>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>∘</mml:mo>
              <mml:msub>
                <mml:mi>μ</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>μ</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>∘</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                  <mml:mo>∘</mml:mo>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>3</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>while strict monotonicity expresses that increasing the contribution of either refinement increases the weight of the cumulative record.</p>
        <p><bold>Proposition.</bold>Let <inline-formula><mml:math><mml:mo> ∘ </mml:mo></mml:math></inline-formula> be a binary operation on a real interval of positive weights. If <inline-formula><mml:math><mml:mo> ∘ </mml:mo></mml:math></inline-formula> is continuous, associative, and strictly increasing in each argument, then, up to a continuous strictly monotonic reparameterization, it admits an additive representation.</p>
        <p>By Aczél’s representation theorem for continuous, associative, strictly monotonic operations on a real interval [<xref ref-type="bibr" rid="B11">11</xref>], there exists a continuous strictly monotonic function <inline-formula><mml:math><mml:mi> h </mml:mi></mml:math></inline-formula> such that</p>
        <disp-formula id="FD7">
          <label>(7)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>h</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>∘</mml:mo>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>h</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>+</mml:mo>
              <mml:mi>h</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>μ</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Defining the reparameterized weight</p>
        <disp-formula id="FD8">
          <label>(8)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>μ</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mtext>exp</mml:mtext>
              <mml:mrow>
                <mml:mo>[</mml:mo>
                <mml:mrow>
                  <mml:mi>h</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mo>]</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>therefore gives</p>
        <disp-formula id="FD9">
          <label>(9)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>μ</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mrow>
                      <mml:mn>12</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mover accent="true">
                <mml:mi>μ</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mover accent="true">
                <mml:mi>μ</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>We henceforth choose this multiplicative representation and suppress the tilde, writing</p>
        <disp-formula id="FD10">
          <label>(10)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>μ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mrow>
                      <mml:mn>12</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mi>μ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mi>μ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The distinguished zero-weight case is treated separately as the boundary corresponding to absence of an alternative. Multiplication extends continuously to this boundary through</p>
        <disp-formula id="FD11">
          <label>(11)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>0</mml:mn>
              <mml:mo>⋅</mml:mo>
              <mml:mi>μ</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mi>μ</mml:mi>
              <mml:mo>⋅</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>=</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Thus multiplication is not assumed as the primitive refinement law. It is the canonical representation, up to continuous monotonic reparameterization, of any continuous, associative, strictly monotonic composition law for positive refinement weights.</p>
        <p>This relation expresses the cumulative character of record formation: each stage contributes an additional distinction while preserving those already encoded in previous records.</p>
      </sec>
    </sec>
    <sec id="sec3">
      <title>3. Compatibility between Regimes</title>
      <p>We now examine how the two regimes must connect. The central question is how quantities that remain well defined throughout a physical process can survive transitions between reversible evolution and record formation.</p>
      <p>In the reversible regime, alternatives combine additively at the amplitude level. In the irreversible regime, distinctions accumulate through multiplicative refinement. The compatibility problem is therefore to identify a weight assignment that remains consistently defined across regimes whose fundamental composition laws are addition and multiplication, respectively.</p>
      <p>The refinement associated with record formation changes the relative prominence of an existing alternative without altering its identity. For a nonzero amplitude magnitude, we characterize a particular refinement by its relative change</p>
      <disp-formula id="FD12">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>λ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mi>α</mml:mi>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>′</mml:mo>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>λ</mml:mi>
            <mml:mo>&gt;</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>so that, equivalently,</p>
      <disp-formula id="FD13">
        <label>(13)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mi>λ</mml:mi>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mi>α</mml:mi>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This relation defines the refinement factor <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> ; it does not assert that every continuous transformation fixing zero is intrinsically linear.</p>
      <p>Successive refinement factors compose multiplicatively. If</p>
      <disp-formula id="FD14">
        <label>(14)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>λ</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mi>α</mml:mi>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>′</mml:mo>
                <mml:mtext>
                </mml:mtext>
                <mml:mo>′</mml:mo>
              </mml:mrow>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>λ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>then</p>
      <disp-formula id="FD15">
        <label>(15)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>′</mml:mo>
                <mml:mtext>
                </mml:mtext>
                <mml:mo>′</mml:mo>
              </mml:mrow>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>λ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:msub>
              <mml:mi>λ</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mi>α</mml:mi>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>To represent the same refinement consistently at different initial amplitude magnitudes, we further require that its effect on the weight depend only on the refinement factor <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> , rather than separately on the initial magnitude. Thus</p>
      <disp-formula id="FD16">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>λ</mml:mi>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Successive rescalings do not represent independent physical dynamics. Rather, they provide a mathematical representation of successive stages of record formation. Each stage further suppresses competing alternatives while preserving the realized alternative. If the description is to remain independent of how the refinement is partitioned into intermediate stages, successive rescalings must compose consistently in the same manner as the corresponding sequence of record refinements.</p>
      <p>Since weights represent physically meaningful quantities associated with continuously varying amplitudes, we assume that the scaling function <inline-formula><mml:math><mml:mrow><mml:mi> g </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> λ </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is positive and satisfies the mild regularity condition of continuity (or, equivalently for the present purpose, measurability). These assumptions exclude pathological solutions without restricting physically admissible behavior.</p>
      <p>Consistency therefore requires</p>
      <disp-formula id="FD17">
        <label>(17)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>λ</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:msub>
                  <mml:mi>λ</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>λ</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>λ</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This is the standard multiplicative functional equation, whose positive continuous (or measurable) solutions are</p>
      <disp-formula id="FD18">
        <label>(18)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>λ</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mi>λ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>for some real <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Substituting this result into Equation (16) gives</p>
      <disp-formula id="FD19">
        <label>(19)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>λ</mml:mi>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mi>λ</mml:mi>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since this relation holds for every positive scaling parameter <inline-formula><mml:math><mml:mi> λ </mml:mi></mml:math></inline-formula> , for <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> α </mml:mi><mml:mo> | </mml:mo></mml:mrow><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> we may choose</p>
      <disp-formula id="FD20">
        <label>(20)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>λ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This choice specifies the scaling transformation; it does not impose a condition on the original amplitude. Under this particular transformation,</p>
      <disp-formula id="FD21">
        <label>(21)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mi>λ</mml:mi>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mi>α</mml:mi>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Consequently,</p>
      <disp-formula id="FD22">
        <label>(22)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:mi>p</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>or equivalently,</p>
      <disp-formula id="FD23">
        <label>(23)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Absorbing the constant factor <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 1 </mml:mn><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> into the normalization yields</p>
      <disp-formula id="FD24">
        <label>(24)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>μ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Compatibility between reversible evolution and record formation therefore restricts the admissible weight assignments to the family <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> α </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mi> p </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . To determine which member of this family is physically admissible, we must now impose the additional requirement that continuous reversible evolution preserve the total weight assigned to mutually exclusive alternatives.</p>
    </sec>
    <sec id="sec4">
      <title>4. Reversible Invariance</title>
      <p>Consider a finite set of <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> mutually exclusive alternatives, represented by the complex amplitude vector</p>
      <disp-formula id="FD25">
        <label>(25)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>α</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>α</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:mo>⋯</mml:mo>
                <mml:mo>,</mml:mo>
                <mml:msub>
                  <mml:mi>α</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>∈</mml:mo>
            <mml:msup>
              <mml:mi>ℂ</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Prior to record formation, states evolve according to reversible linear dynamics. Such transformations are represented by invertible complex-linear maps</p>
      <disp-formula id="FD26">
        <label>(26)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>α</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mi>U</mml:mi>
            <mml:mi>α</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> is an invertible <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> × </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> complex matrix.</p>
      <p>By continuous reversible evolution we mean continuous families of such invertible linear transformations, including transformations that smoothly mix distinct amplitude components.</p>
      <p>The weight assignment must be compatible with this reversible evolution.</p>
      <p>A reversible transformation changes the amplitudes describing a state but does not itself create or remove possible outcomes. We therefore require that, if the same weight assignment is to remain consistently defined during reversible evolution, reversible transformations may redistribute weight among alternatives but may not change the total weight associated with the complete set. This is a separate cross-regime consistency requirement and does not follow from multiplicative record refinement alone. At this stage neither the exponent <inline-formula><mml:math><mml:mi> p </mml:mi></mml:math></inline-formula> nor any normalization is assumed.</p>
      <p>If the weight associated with an amplitude is</p>
      <disp-formula id="FD27">
        <label>(27)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>μ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>then the total weight assigned to a complete set of mutually exclusive records is</p>
      <disp-formula id="FD28">
        <label>(28)</label>
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>α</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The reversible-invariance requirement is therefore</p>
      <disp-formula id="FD29">
        <label>(29)</label>
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>U</mml:mi>
                            <mml:mi>α</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>α</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>for every amplitude vector <inline-formula><mml:math display="inline"><mml:mi> α </mml:mi></mml:math></inline-formula> and every admissible reversible transformation <inline-formula><mml:math><mml:mi> U </mml:mi></mml:math></inline-formula> .</p>
      <p>The relevant finite-dimensional specialization of Lamperti’s isometry theorem is the following [<xref ref-type="bibr" rid="B12">12</xref>]. For <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> p </mml:mi><mml:mo> &lt; </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , an invertible complex-linear transformation preserving</p>
      <disp-formula id="FD30">
        <label>(30)</label>
        <mml:math>
          <mml:mrow>
            <mml:munder>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mi>i</mml:mi>
            </mml:munder>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>α</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>p</mml:mi>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>for every amplitude vector has the form of a generalized permutation: it permutes the components and multiplies each component by a complex factor of unit modulus. Such transformations cannot continuously mix distinct amplitude components.</p>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , by contrast, the invariant quantity</p>
      <disp-formula id="FD31">
        <label>(31)</label>
        <mml:math>
          <mml:mrow>
            <mml:munder>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mi>i</mml:mi>
            </mml:munder>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>α</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>is the squared Hermitian norm, whose linear isometry group is the unitary group. This group contains continuous transformations that smoothly mix distinct components.</p>
      <p>A useful geometric intuition can be given for the special role of <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> . The constant-weight surfaces <inline-formula><mml:math><mml:mrow><mml:mstyle displaystyle="true"><mml:msub><mml:mo> ∑ </mml:mo><mml:mi> i </mml:mi></mml:msub><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:mstyle><mml:mo> = </mml:mo><mml:mtext> const </mml:mtext><mml:mo> . </mml:mo></mml:mrow></mml:math></inline-formula> are hyperspheres, which admit continuous rotations mixing their components while preserving the total weight. For <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , the corresponding linear isometries reduce to generalized permutations and componentwise phase transformations.</p>
      <p>Consequently, <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> is uniquely singled out by compatibility with continuous reversible linear mixing.</p>
    </sec>
    <sec id="sec5">
      <title>5. Result</title>
      <p>The preceding analysis first restricts admissible weight assignments to the family <inline-formula><mml:math><mml:mrow><mml:msup><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mi> α </mml:mi><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mi> p </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> and then uses reversible invariance to select the unique value <inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Under the stated structural and regularity assumptions, the unique weight assignment compatible with:</p>
      <p>Reversible linear composition, Multiplicative representation of record refinement, Phase invariance, Cross-regime consistency, and Continuous reversible linear invariance, </p>
      <p>Is</p>
      <disp-formula id="FD32">
        <label>(32)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>μ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>α</mml:mi>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The uniquely selected weight coincides with the standard quadratic measure of quantum theory. Normalization gives these non-negative weights, with the additive aggregation used above for mutually exclusive alternatives, the mathematical form of a finite probability distribution. The further physical interpretation of this measure as probabilities of individual outcomes or as relative frequencies in repeated experiments depends on the interpretation of quantum measurement and is not assumed in the present derivation.</p>
      <p>The derivation shows that the quadratic form arises from the requirement that outcome weights remain consistently represented across reversible evolution and irreversible record formation, without invoking probabilities or expectation values as primitive quantities.</p>
      <p>The emergence of the same quadratic structure from both Hilbert-space measure theory and compatibility between reversible and irreversible processes suggests that the Born rule reflects a deeper structural constraint rather than a feature of any particular formalism.</p>
    </sec>
    <sec id="sec6">
      <title>6. Conclusions</title>
      <p>The goal of this work was to determine whether the quadratic measure associated with the Born rule can be derived from structural properties of physical processes rather than introduced as an independent postulate.</p>
      <p>We have shown that, under the stated structural and regularity assumptions, the quadratic measure of Born’s rule need not be introduced as an independent probabilistic postulate, but follows from the compatibility between reversible linear evolution and persistent record formation.</p>
      <p>The central motivation for this compatibility requirement is that physical processes are not composed exclusively of reversible evolution, but alternate between reversible dynamics and episodes of record formation. Quantities that remain well defined throughout a physical process must therefore admit a representation that remains consistent across both regimes. The present derivation leverages the constraints imposed by this requirement on admissible outcome weights.</p>
      <p>The argument takes reversible linear evolution and operationally irreversible record formation as its physical starting point and imposes the structural and regularity conditions stated explicitly in Section 2. Weights are associated with possible persistent records and are retained after record formation. Weights are assigned only to physically realized records, which include the full conditions of their formation. Different interpretations may describe the emergence of such records differently—for example as single-outcome selection or as branching into multiple outcomes—but the underlying structural distinction between reversible evolution and irreversible record formation remains the same.</p>
      <p>A recurring concern in derivations of the Born rule is the possibility of circularity, whereby probabilistic concepts enter implicitly through auxiliary assumptions and subsequently reappear in the final result. The present derivation avoids this route by introducing neither probabilities nor expectation values as primitive quantities. Instead, the argument begins with structural assumptions concerning reversible evolution, record formation, and the compatibility of their respective composition laws. The quadratic measure emerges from these structural requirements rather than from probabilistic postulates.</p>
      <p>The present formulation characterizes measurement through the formation of stable records, understood as physically persistent outcomes that remain identifiable after their formation. This shifts the discussion from a concept whose precise role varies across interpretations to a physical process characterized by the formation and persistence of recorded outcomes.</p>
      <p>In this way, the Born rule emerges as a structural consequence of the requirement that outcome weights remain consistently represented across reversible evolution and irreversible record formation. The quadratic measure is therefore not introduced as an additional dynamical law, but appears as the unique weight assignment compatible with additive reversible composition, multiplicative record refinement, and continuous reversible invariance.</p>
    </sec>
    <sec id="sec7">
      <title>Use of Large Language Models, AI and Machine Learning Tools</title>
      <p>ChatGPT was used to improve language, checking consistency, literature search, and translation.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="confproc">Deutsch, D. (1999) Quantum Theory of Probability and Decisions. <italic>Proceedings of the Royal Society of London. Series A</italic>: <italic>Mathematical</italic>, <italic>Physical and Engineering Sciences</italic>, 455, 3129-3137. https://doi.org/10.1098/rspa.1999.0443 <pub-id pub-id-type="doi">10.1098/rspa.1999.0443</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1098/rspa.1999.0443">https://doi.org/10.1098/rspa.1999.0443</ext-link></mixed-citation>
          <element-citation publication-type="confproc">
            <person-group person-group-type="author">
              <string-name>Deutsch, D.</string-name>
              <string-name>Mathematical, P</string-name>
            </person-group>
            <year>1999</year>
            <article-title>Quantum Theory of Probability and Decisions</article-title>
            <source>Proceedings of the Royal Society of London. Series A: Mathematical</source>
            <volume>455</volume>
            <pub-id pub-id-type="doi">10.1098/rspa.1999.0443</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Zurek, W.H. (2005) Probabilities from Entanglement, Born’s Rule <italic>p</italic><italic><sub>k</sub></italic> = ∣ <italic>ψ</italic><italic><sub>k</sub></italic>∣ <sup>2</sup> from Envariance. <italic>Physical Review A</italic>, 71, Article ID: 052105. https://doi.org/10.1103/physreva.71.052105 <pub-id pub-id-type="doi">10.1103/physreva.71.052105</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physreva.71.052105">https://doi.org/10.1103/physreva.71.052105</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Zurek, W.H.</string-name>
              <string-name>Entanglement, B</string-name>
            </person-group>
            <year>2005</year>
            <article-title>Probabilities from Entanglement, Born’s Rule pk = ∣ψk∣2 from Envariance</article-title>
            <source>Physical Review A</source>
            <volume>71</volume>
            <fpage>052105</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1103/physreva.71.052105</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Gleason, A. (1957) Measures on the Closed Subspaces of a Hilbert Space. <italic>Indiana University Mathematics Journal</italic>, 6, 885-893. https://doi.org/10.1512/iumj.1957.6.56050 <pub-id pub-id-type="doi">10.1512/iumj.1957.6.56050</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1512/iumj.1957.6.56050">https://doi.org/10.1512/iumj.1957.6.56050</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Gleason, A.</string-name>
            </person-group>
            <year>1957</year>
            <article-title>Measures on the Closed Subspaces of a Hilbert Space</article-title>
            <source>Indiana University Mathematics Journal</source>
            <volume>6</volume>
            <pub-id pub-id-type="doi">10.1512/iumj.1957.6.56050</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Ilyin, A.V. (2016) The Born Rule and Time-Reversal Symmetry of Quantum Equations of Motion. <italic>Foundations of Physics</italic>, 46, 845-851. https://doi.org/10.1007/s10701-016-0006-y <pub-id pub-id-type="doi">10.1007/s10701-016-0006-y</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s10701-016-0006-y">https://doi.org/10.1007/s10701-016-0006-y</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Ilyin, A.V.</string-name>
            </person-group>
            <year>2016</year>
            <article-title>The Born Rule and Time-Reversal Symmetry of Quantum Equations of Motion</article-title>
            <source>Foundations of Physics</source>
            <volume>46</volume>
            <pub-id pub-id-type="doi">10.1007/s10701-016-0006-y</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Vaidman, L. (2020) Derivations of the Born Rule. In: Hemmo, M. and Shenker, O., Eds., <italic>Quantum</italic>, <italic>Probability</italic>, <italic>Logic</italic>, Springer, 567-584.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Vaidman, L.</string-name>
              <string-name>Hemmo, M.</string-name>
              <string-name>Shenker, O.</string-name>
              <string-name>Quantum, P</string-name>
              <string-name>Logic, S</string-name>
            </person-group>
            <year>2020</year>
            <article-title>Derivations of the Born Rule</article-title>
            <source>In: Hemmo</source>
            <volume>567</volume>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Neumaier, A. (2025) The Born Rule—100 Years Ago and Today. <italic>Entropy</italic>, 27, Article 415. https://doi.org/10.3390/e27040415 <pub-id pub-id-type="doi">10.3390/e27040415</pub-id><pub-id pub-id-type="pmid">40282650</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3390/e27040415">https://doi.org/10.3390/e27040415</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Neumaier, A.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>The Born Rule—100 Years Ago and Today</article-title>
            <source>Entropy</source>
            <volume>27</volume>
            <elocation-id>415</elocation-id>
            <pub-id pub-id-type="doi">10.3390/e27040415</pub-id>
            <pub-id pub-id-type="pmid">40282650</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Zhang, J.X. (2026) Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule. <italic>Physical Review A</italic>. https://doi.org/10.1103/mqy7-s2db <pub-id pub-id-type="doi">10.1103/mqy7-s2db</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/mqy7-s2db">https://doi.org/10.1103/mqy7-s2db</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Zhang, J.X.</string-name>
            </person-group>
            <year>2026</year>
            <article-title>Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule</article-title>
            <pub-id pub-id-type="doi">10.1103/mqy7-s2db</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Horodecki, R. (2025) Does Quantum Information Require Additional Structure? arXiv: 2408.11183.</mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Horodecki, R.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Does Quantum Information Require Additional Structure? arXiv: 2408</article-title>
            <fpage>2408</fpage>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Schlosshauer, M. (2005) Decoherence, the Measurement Problem, and Interpretations of Quantum Mechanics. <italic>Reviews of Modern Physics</italic>, 76, 1267-1305. https://doi.org/10.1103/revmodphys.76.1267 <pub-id pub-id-type="doi">10.1103/revmodphys.76.1267</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/revmodphys.76.1267">https://doi.org/10.1103/revmodphys.76.1267</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Schlosshauer, M.</string-name>
            </person-group>
            <year>2005</year>
            <article-title>Decoherence, the Measurement Problem, and Interpretations of Quantum Mechanics</article-title>
            <source>Reviews of Modern Physics</source>
            <volume>76</volume>
            <pub-id pub-id-type="doi">10.1103/revmodphys.76.1267</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Zurek, W.H. (2003) Decoherence, Einselection, and the Quantum Origins of the Classical. <italic>Reviews of Modern Physics</italic>, 75, 715-775. https://doi.org/10.1103/revmodphys.75.715 <pub-id pub-id-type="doi">10.1103/revmodphys.75.715</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/revmodphys.75.715">https://doi.org/10.1103/revmodphys.75.715</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Zurek, W.H.</string-name>
              <string-name>Decoherence, E</string-name>
            </person-group>
            <year>2003</year>
            <article-title>Decoherence, Einselection, and the Quantum Origins of the Classical</article-title>
            <source>Reviews of Modern Physics</source>
            <volume>75</volume>
            <pub-id pub-id-type="doi">10.1103/revmodphys.75.715</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Aczel, J. (1948) Sur les opérations définies pour nombres réels. <italic>Bulletin de la Société mathématique de France</italic>, 2, 59-64. https://doi.org/10.24033/bsmf.1396 <pub-id pub-id-type="doi">10.24033/bsmf.1396</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.24033/bsmf.1396">https://doi.org/10.24033/bsmf.1396</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Aczel, J.</string-name>
            </person-group>
            <year>1948</year>
            <article-title>Sur les opérations définies pour nombres réels</article-title>
            <source>Bulletin de la Société mathématique de France</source>
            <volume>2</volume>
            <pub-id pub-id-type="doi">10.24033/bsmf.1396</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Lamperti, J. (1958) On the Isometries of Certain Function-Spaces. <italic>Pacific Journal of Mathematics</italic>, 8, 459-466. https://doi.org/10.2140/pjm.1958.8.459 <pub-id pub-id-type="doi">10.2140/pjm.1958.8.459</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2140/pjm.1958.8.459">https://doi.org/10.2140/pjm.1958.8.459</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Lamperti, J.</string-name>
            </person-group>
            <year>1958</year>
            <article-title>On the Isometries of Certain Function-Spaces</article-title>
            <source>Pacific Journal of Mathematics</source>
            <volume>8</volume>
            <pub-id pub-id-type="doi">10.2140/pjm.1958.8.459</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>