Operational reconstruction of Feynman rules for quantum amplitudes via composition algebras

1. Problem Statement

The paper addresses the challenge of Quantum Reconstruction: deriving the mathematical structure of quantum mechanics (specifically the use of complex numbers and the Born rule) from fundamental physical principles rather than accepting them as axiomatic.

Previous attempts, particularly the operational model proposed by Goyal et al. (2010) based on Feynman's path integral formulation, faced limitations:

• A Priori Assumptions: They often assumed a two-dimensional configuration space (complex numbers) from the start, ruling out other algebraic possibilities.
• Ad Hoc Solutions: The derivation of symmetry equations relied on specific, non-generalizable mathematical choices.
• Lack of Derivation for Units: The existence of additive/multiplicative identities and inverses was not fully traced from operational axioms.

The authors aim to reconstruct the rules for transition amplitudes coordinate-independently, distinguishing between fundamental model axioms and observer choices, to determine which algebras are mathematically permissible for representing quantum amplitudes.

2. Methodology

The authors employ a three-axis methodology: Axiomatic Definition, Choice Postulates, and Derivation Validation.

A. The Operational Model (Axioms)

The model constructs experiments as sequences of measurements ($M$) and paths ($A$) consisting of detector outcomes. Key operations defined on this space include:

• Chaining ($\cdot$): Sequential composition of paths (associative, partially non-commutative).
• Coarsening ($\vee$): Simultaneous merging of detector outcomes (commutative, partially associative).
• Reversal ($\dagger$): An involution acting as an anti-isomorphism (reverses order of chaining).
• Insertion/Unchaining/Refinement: Inverse operations allowing the recovery of prior states.

The model distinguishes between atomic (single detector) and coarse-grained (multiple detectors) measurements. It introduces Weak Repeatability: if a system passes through weakly equivalent detectors, the underlying atomic outcome must be preserved.

B. The Probability Question (Choice)

The authors introduce the concept of closure: the probability of a path depends only on the current state, not the history prior to the first measurement (Markov property). They define Impossible Paths (probability 0) and Trivial Paths (redundant sequences).

C. Amplitude Representation (Choice & Derivation)

To answer probability questions, the authors map paths to an Amplitude Algebra $\mathcal{A}$:

1. Mapping: A function $\phi$ maps paths to amplitudes $a \in \mathcal{A}$.
2. Operations: Coarsening maps to addition ($\oplus$), and chaining maps to multiplication ($\odot$).
3. Identities: Impossible paths map to the additive identity ($0$); trivial paths map to the multiplicative identity ($1$).
4. Scalars: The authors postulate that symmetric (palindromic) paths are represented by real scalars ($\mathbb{R}$), embedding $\mathbb{R}$ into $\mathcal{A}$.
5. Invertibility: The model requires additive inverses for all elements and multiplicative inverses for non-zero probability paths.

3. Key Contributions and Results

A. Derivation of the Born Rule

The authors prove that the probability function $p(a)$ must be quadratic in the amplitudes.

• By analyzing symmetric experiments and the requirement that the sum of probabilities for all mutually exclusive outcomes equals 1, they show that the probability function $p$ must satisfy $p(\lambda a) = |\lambda|^\alpha p(a)$.
• Through the analysis of quadratic forms and the sum of probabilities, they demonstrate that $\alpha = 2$.
• Thus, $p(a) = Q(a)$, where $Q$ is a quadratic form. This recovers the Born rule ($P = |a|^2$) as a necessary consequence of the operational axioms.

B. Classification of Amplitude Algebras

By establishing that the amplitude space is a vector space over the reals with a bilinear product and a non-degenerate quadratic form $Q$ satisfying the composition property ($Q(ab) = Q(a)Q(b)$), the authors invoke the classification of Composition Algebras.

The allowable algebras are restricted to the associative real composition algebras:

1. Real Numbers ($\mathbb{R}$): Dimension 1.
2. Complex Numbers ($\mathbb{C}$): Dimension 2.
3. Quaternions ($\mathbb{H}$): Dimension 4.
4. Split-Forms ($\mathbb{C}'$, $\mathbb{H}'$): Algebras with indefinite signatures (hyperbolic).

Crucial Exclusion: The Octonions ($\mathbb{O}$) and split-octonions are ruled out because they are non-associative, and the model's chaining operation is strictly associative.

C. Coordinate Independence

Unlike previous works, this derivation does not assume a 2D space. The dimensionality (1, 2, or 4) emerges naturally from the algebraic constraints of composition algebras. The complex numbers are not postulated but derived as one of the few valid solutions.

4. Significance and Outlook

A. Theoretical Impact

• Justification of Complex Numbers: The paper provides a rigorous operational justification for why quantum mechanics uses complex numbers (or quaternions) rather than other number systems.
• Separation of Axioms and Choices: It clarifies which properties are intrinsic to the operational model (e.g., associativity of chaining) and which are choices made to answer specific questions (e.g., representing symmetric paths with reals).
• Generalization: The framework allows for the inclusion of split-algebras (with indefinite metrics), which were previously excluded. This opens the door to exploring alternative physical theories.

B. Connection to Fundamental Physics

The authors highlight a surprising convergence: the algebras permitted under a "weak closure" hypothesis (where histories do matter for amplitudes but not for probabilities) include non-associative algebras (Octonions).

• This links their operational model to contemporary research in Standard Model symmetries and particle physics, where tensor products of division algebras ($\mathbb{R} \otimes \mathbb{C} \otimes \mathbb{H} \otimes \mathbb{O}$) and Clifford algebras are used to describe fundamental particles and forces.
• The paper suggests that the "complex numbers" of standard QM might be a specific case of a broader algebraic structure that becomes apparent when relaxing the "history doesn't matter" constraint.

C. Future Directions

The authors propose that relaxing the "closure" axiom (allowing amplitudes to depend on history while keeping probabilities history-independent) could permit non-associative algebras. This offers a potential bridge between operational quantum reconstruction and theories involving superdeterminism or deeper geometric structures of spacetime (e.g., Causal Sets, Loop Quantum Gravity).

Summary Conclusion

This paper successfully reconstructs the core rules of quantum amplitudes (Feynman rules) from a minimal set of operational axioms. By utilizing the theory of composition algebras, it derives the quadratic nature of probabilities (Born rule) and identifies the complex numbers and quaternions as the only associative algebras capable of representing quantum transitions. The work provides a robust, coordinate-independent foundation for quantum theory and offers a pathway to explore non-associative generalizations relevant to fundamental particle physics.