Operational reconstruction of Feynman rules for quantum amplitudes via composition algebras

Jens K\"oplinger; Michael Habeck; Philip Goyal

arxiv: 2508.14822 · v3 · submitted 2025-08-20 · 🪐 quant-ph

Operational reconstruction of Feynman rules for quantum amplitudes via composition algebras

Jens K\"oplinger , Michael Habeck , Philip Goyal This is my paper

Pith reviewed 2026-05-18 22:23 UTC · model grok-4.3

classification 🪐 quant-ph

keywords quantum reconstructioncomposition algebrastransition amplitudesBorn ruleoperational modelFeynman rulesquaternionscomplex numbers

0 comments

The pith

Quantum transition amplitudes are reconstructed operationally from model axioms and observer choices, restricting them to real associative composition algebras and yielding quadratic probabilities like the Born rule.

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

This paper builds an operational model for transition amplitudes between measurements in the quantum reconstruction program. It separates mathematical axioms from physical choices to derive the full structure of scalar fields and vector spaces, including units and inverses, without assuming two-dimensional amplitudes upfront. The approach shows that only the real associative composition algebras qualify as allowable structures for amplitudes. Observed probabilities then emerge as quadratic forms in these amplitudes, matching the form of the Born rule. A sympathetic reader would care because this supplies a first-principles route to the number systems used in quantum theory and to the operational meaning of amplitudes.

Core claim

The paper claims that an operational model for transition amplitudes, when axioms are distinguished from physical choices, identifies the allowable amplitude algebras as the real associative composition algebras: the complex numbers, the quaternions, and their split forms. All scalar-field and vector-space properties follow directly from the model axioms and observer questions. Probabilities are quadratic in the amplitudes, reproducing the functional form of the Born rule, and the framework is coordinate-independent with broad applicability to later reconstruction work.

What carries the argument

Real associative composition algebras (complex numbers, quaternions, and split forms) that classify allowable amplitude structures by carrying all algebraic consequences of the model axioms and observer questions.

If this is right

All additive and multiplicative units, inverses, and vector-space operations for amplitudes follow from the model axioms and observer questions alone.
Observer questions can be reformulated without coordinate dependence or prior two-dimensional assumptions.
Feynman rules for quantum amplitudes can be derived operationally from the same axioms.
The framework extends to selected implications for subsequent discovery in quantum reconstruction programs.

Where Pith is reading between the lines

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

The restriction to associative composition algebras may link this reconstruction to other algebraic approaches that derive the Born rule from quadratic forms.
Split forms of the algebras could be tested for relevance in contexts where indefinite metrics or hyperbolic structures appear in physical models.
If the axioms hold, the same operational steps might classify amplitudes in generalized measurement scenarios beyond standard quantum theory.

Load-bearing premise

The amplitude structure must be a composition algebra whose properties are fully determined by the chosen model axioms and observer questions without additional physical input.

What would settle it

An experiment or calculation that produces transition probabilities not quadratic in the amplitudes, or that requires amplitude values outside the complex numbers, quaternions, or their split forms, would falsify the reconstruction.

read the original abstract

This article explores an operational model for transition amplitudes between measurements proposed by Goyal et al. within the quantum reconstruction program. To classify suitable amplitude algebras, we distinguish mathematical axioms, physical choices, and their consequences. This leads to several improvements on the published work: Our coordinate-independent approach requires no two-dimensional amplitudes a priori. All scalar field and vector space axioms are traced from model axioms and observer choices, including additive and multiplicative units and inverses. Existing mathematical characterizations identify allowable amplitude algebras as the real associative composition algebras, namely the complex numbers and the quaternions, as well as their split forms. Observed probabilities are quadratic in amplitudes, akin to the Born rule. We examine selected implications of the proposed axioms, reformulate observer questions, and highlight the broad applicability of our framework to subsequent discovery.

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.

Desk Editor's Note private letter to a colleague

This paper sharpens Goyal et al.'s operational model with a coordinate-free setup and explicit axiom tracing, but the quadratic norm may enter through the probability rule rather than emerging purely from the transition axioms.

read the letter

This paper refines an operational model for quantum transition amplitudes that was laid out in earlier work by Goyal and others. The key advance is a coordinate-free treatment that does not presuppose two-dimensional amplitudes, along with a more thorough tracing of scalar field and vector space axioms back to the underlying model rules and observer choices. From there the authors apply existing mathematical results to conclude that the allowable algebras are the real associative composition algebras, specifically the complexes, quaternions, and their split forms, with observed probabilities emerging as quadratic in the amplitudes. The strength of the paper lies in its careful distinction between mathematical axioms, physical choices, and the consequences that follow. This separation helps clarify what is forced by the setup and what is not, and it removes some of the coordinate dependence that limited the earlier versions. The framework is presented as applicable to further discovery in quantum information and foundations. The softer part is the dependence on the prior operational model. The central classification rests on mathematical characterizations that assume a multiplicative quadratic form, and it is not entirely clear whether this form is derived strictly from the transition rules or introduced via the probability interpretation. If the latter, then the result is partly definitional within the chosen framework rather than a pure consequence of operational axioms. There is also no new external benchmark or independent test mentioned that would reduce the circularity burden. Readers already engaged with the quantum reconstruction program will find this useful for its added transparency and generality. It is not a standalone discovery but an incremental clarification that fits within an ongoing line of work. The paper shows clear thinking and honest engagement with the relevant literature, so it deserves to go through peer review rather than a desk rejection. I recommend sending it out for refereeing, with the expectation that reviewers will want to see the explicit derivations of the axioms and the norm.

Referee Report

2 major / 2 minor

Summary. The paper develops an operational model for quantum transition amplitudes based on the framework of Goyal et al., distinguishing mathematical axioms from physical choices and consequences. It presents a coordinate-independent derivation that traces all scalar-field and vector-space axioms (units, inverses, etc.) directly from the model axioms and observer questions, without presupposing two-dimensional amplitudes. The central result classifies allowable amplitude algebras as the real associative composition algebras (complex numbers, quaternions, and their split forms), with observed probabilities shown to be quadratic in the amplitudes, analogous to the Born rule. Selected implications are examined and the framework's applicability to further discovery is highlighted.

Significance. If the derivations hold, the work strengthens the quantum reconstruction program by supplying an explicit, parameter-free route from operational axioms to the algebraic structure of amplitudes. The coordinate-independent treatment and systematic tracing of all field and vector axioms constitute clear improvements over prior presentations. The classification via composition algebras, together with the quadratic probability rule, offers a mathematically grounded explanation for why quantum amplitudes take the observed forms.

major comments (2)

[Abstract and section on consequences of the axioms] The manuscript invokes existing theorems on real associative composition algebras to classify allowable structures, yet the load-bearing step is whether the operational model independently forces a multiplicative quadratic norm on the amplitude space. If the quadratic form is introduced via the probability interpretation rather than constructed solely from the transition rules and observer questions, the classification risks becoming partly definitional (see the abstract paragraph on consequences and the section deriving the Born-like rule).
[Section tracing scalar/vector axioms] The claim that all scalar and vector axioms (additive/multiplicative units and inverses) are traced from model axioms and observer choices is central; however, the manuscript must exhibit the explicit mapping for the multiplicative inverse and the quadratic norm without circular appeal to the composition property itself.

minor comments (2)

Add a short table or explicit list comparing the new axiom set to the original Goyal et al. formulation to make the claimed improvements concrete.
Define the reformulated observer questions with precise notation before discussing their implications.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance of the work, and constructive comments. We address each major comment below and indicate the revisions planned for the next version of the manuscript.

read point-by-point responses

Referee: [Abstract and section on consequences of the axioms] The manuscript invokes existing theorems on real associative composition algebras to classify allowable structures, yet the load-bearing step is whether the operational model independently forces a multiplicative quadratic norm on the amplitude space. If the quadratic form is introduced via the probability interpretation rather than constructed solely from the transition rules and observer questions, the classification risks becoming partly definitional (see the abstract paragraph on consequences and the section deriving the Born-like rule).

Authors: We agree that the logical independence of the quadratic norm must be made fully explicit to avoid any appearance of definitional circularity. In the operational model the composition property (including the multiplicative quadratic norm) is derived directly from the axioms governing transition amplitudes and the consistency requirements on observer questions, prior to any probability interpretation. The quadratic probability rule is then obtained as a derived consequence. In the revised manuscript we will insert a new subsection that sequences the argument explicitly: (i) derivation of the algebra structure and norm from the transition rules alone, (ii) identification of the allowable real associative composition algebras via existing theorems, and (iii) subsequent demonstration that probabilities are quadratic in the resulting amplitude magnitudes. This reorganization will eliminate any ambiguity about the order of derivation. revision: yes
Referee: [Section tracing scalar/vector axioms] The claim that all scalar and vector axioms (additive/multiplicative units and inverses) are traced from model axioms and observer choices is central; however, the manuscript must exhibit the explicit mapping for the multiplicative inverse and the quadratic norm without circular appeal to the composition property itself.

Authors: We accept that the current presentation would benefit from more granular, step-by-step mappings. The revised manuscript will contain an expanded appendix (or dedicated subsection) that derives each axiom in turn: the additive unit and inverse from the existence of a null transition, the multiplicative unit from the identity transition, and the multiplicative inverse from the operational requirement that every non-null transition possesses a reciprocal transition that restores the original state. The quadratic norm is obtained as the unique bilinear form compatible with the composition law enforced by associativity of sequential transitions and the observer-question consistency axioms; the derivation does not presuppose the composition property but constructs it from these operational constraints. We will label each step with the precise model axiom or observer choice from which it follows. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation remains self-contained via external math classification.

full rationale

The paper traces scalar/vector axioms directly from its stated operational model and observer choices, then invokes independent existing mathematical results on real associative composition algebras to classify allowable structures. The quadratic probability rule is presented as a derived consequence (akin to Born) rather than an input fit or definitional premise. Self-citation to Goyal et al. exists but is not load-bearing for the central classification step, which rests on external theorems rather than reducing to a prior unverified claim by construction. No equation or step equates a prediction to its own fitted input or renames a known result as novel.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper distinguishes mathematical axioms from physical choices but does not introduce new fitted parameters or postulated entities; all scalar and vector-space properties are claimed to follow from the operational model.

axioms (1)

domain assumption Transition amplitudes form an algebra whose additive and multiplicative units and inverses are fixed by observer measurement choices.
Abstract states that all scalar field and vector space axioms are traced from model axioms and observer choices.

pith-pipeline@v0.9.0 · 5662 in / 1237 out tokens · 36388 ms · 2026-05-18T22:23:05.346588+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel; RCL family with product composition 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.

p-functions satisfy p(a ⊙ b) = p(a)p(b); Q(a)1 := a ⊙ a is quadratic form with Q(ab)=Q(a)Q(b); allowable algebras are real associative composition algebras (C, H, splits)
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean costAlphaLog_high_calibrated_iff; J uniquely calibrated refines

?

refines
Relation between the paper passage and the cited Recognition theorem.

Continuous p-functions are positively homogeneous of degree α; identified as α=2 quadratic forms from sum-to-1 over symmetric paths

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.