Algebraic quantum kinematics: Galilean covariance with positive energy confines unequal-time commutation to null sets

An operator-algebraic framework is developed to relate non-relativistic quantum mechanics and special relativity, establishing that Galilean kinematics are structurally obstructed when combined with certain requirements on local algebras and canonical commutation relations.

The gist

The structural conjecture asserts that a Haag–Kastler net with sharper-than-equal-time microcausality, positive-energy spectrum, and a canonical commutator with scale h cannot be Galilean.

Algebraic Substrate and Realization

The framework is built upon the Weyl C∗-algebra over a symplectic phase space, where the canonical commutator with scale h¯ acts as the deformation parameter. The photon sector of free QED serves as a transparent realization of this architecture, demonstrating how a single quantum postulate—the canonical commutator—promotes classical Fourier–Maxwell theory into single-photon QED, yielding theorems such as photon indivisibility and the Planck relation E = h¯ω.

Complementary Roles of Constants c and h¯

The paper explicitly articulates the complementary structural roles of the constants c and h¯. The constant c is intrinsic to each Fourier-conjugate space, defining geometric structures like the light cone in spacetime and the null cone in dual energy-momentum space. In contrast, h¯ acts between these spaces as a conversion factor, transforming kinematic phase rates into dynamical observables; for instance, it converts the dimensionless helicity rate σ = ±1 into physical angular momentum σh¯ via multiplication by h¯.

The SR-Selection Conjecture and Evidence

The structural conjecture states that if a Haag–Kastler net satisfies axioms (HK1)–(HK4) with sharper-than-equal-time microcausality, non-trivial dynamics, and a canonical commutator with scale h, the kinematic group G must support a notion of spacelike separation through a metric structure and possess a finite maximum invariant signaling speed. Three strands of evidence support this conjecture:

1. Hegerfeldt’s instantaneous spreading theorem establishes that any single-particle quantum mechanics with positive energy exhibits instantaneous spreading, which is resolved in relativistic QFT by particle creation/annihilation balancing the flow.

2. The absence of a known Galilean multi-particle resolution is noted, with Bargmann mass superselection serving as a sub-mechanism suggesting an obstruction to such resolutions on the Galilean side.

3. The Reeh–Schlieder failure on Galilean Haag–Kastler nets is established as a precise no-go theorem under explicit hypotheses, demonstrating that this structural property is inconsistent with the rest of the Galilean axiom set.

Modular Geometry and Background Independence

The modular-theoretic content provides a background-independent algebraic substrate. The Tomita–Takesaki modular flow encodes algebraic content in geometric form; for relativistic Haag–Kastler nets, the vacuum is cyclic and separating, allowing for a well-defined modular flow. Conversely, in the Galilean Fock-representation setting, no such net has a separating vacuum; thus, the modular flow is undefined. This collapse of modular machinery on the Galilean side demonstrates that its algebraic content is fundamentally relativistic-only.

Conclusion and Outlook

The paper concludes that while Strand (i) of the evidence is a rigorous theorem applicable to both kinematics, Strand (iii)—the Reeh–Schlieder failure—is the load-bearing rigorous strand establishing the no-go result under explicit hypotheses. The gap between this established theorem and the full conjecture lies in weakening those hypotheses, particularly removing the Bargmann-charge hypothesis on canonical fields. The roadmap for future work involves extending this framework to curved backgrounds, dynamical metrics, and crossed-product algebras.

How it works

The framework is constructed by separating the algebraic content of the canonical commutator with scale h¯ from its Hilbert-space realization and the kinematic group acting as automorphisms. This separation allows for a structural question: which kinematic groups are compatible with a Haag–Kastler net of local algebras supporting non-trivial dynamics, sharper-than-equal-time microcausality, and positive-energy spectrum?

The photon sector construction proceeds by starting with classical Fourier–Maxwell theory in dual space, where the wave equation becomes an algebraic constraint selecting a hypersurface in k-space. Quantization is then achieved by promoting the classical mode amplitudes to operators satisfying the canonical commutation relations [aˆk,σ,aˆ†k',σ'] = h¯ δσσ'δ(k−k')⊮. This single quantum postulate generates three theorems: photon indivisibility (Theorem 2), the Planck relation E = h¯ω (Theorem 3), and the spin spectrum ±h¯ along propagation (Theorem 4).

Structural Roles of Constants

The constant c acts within each Fourier-conjugate space, defining the metric structure—the light cone in spacetime and the null cone in dual energy-momentum space. The constant h¯ acts between these spaces as a bridge, converting kinematic phase rates into dynamical observables.

Based on the provided scientific paper, here are specific improvements for AI systems and what those improved systems could achieve:

) The Improved AI System: A Relativistic Causal Inference Engine (RCIE)

This system would be fundamentally different from current Large Language Models (LLMs) or standard quantum simulators. It would be built upon the algebraic-modular framework described in the paper, allowing it to reason about physics by manipulating operator algebras and their associated modular flows.

1. The Improved AI System: A Relativistic Causal Inference Engine (RCIE)

2. The Improved AI System: A Relativistic Causal Inference Engine (RCIE)

This system would be fundamentally different from current Large Language Models or standard quantum simulators. It would be built upon the algebraic-modular framework described in the paper, allowing it to reason about physics by manipulating operator algebras and their associated modular flows.

3. The Improved AI System: A Relativistic Causal Inference Engine (RCIE)

4. The Improved AI System: A Relativistic Causal Inference Engine (RCIE)

5. The Improved AI System: A Relativistic Causal Inference Engine (RCIE)

This would allow for:

Capability Specific Application based on Paper Concepts

:---:---

1. Algebraic State Reconstruction & Validation Given a set of local measurements and their commutation relations (using the forms in Eq. (29) or (30)), the RCIE could determine if those measurements are consistent with a relativistic QFT structure, specifically testing for Galilean vs. Poincaré group compatibility.

2. Causal Structure Constraint Solver The RCIE would use the sharper-than-equal-time microcausality (HK2) as a hard constraint to filter possible kinematic groups, immediately ruling out Galilean kinematics in favor of relativistic ones when the input structure is sufficiently rigorous.

3. Spectral Theorem Enforcement It could analyze the spectrum of an operator (like the number operator, Eq. (17)) to determine if it is discrete (as per Theorem 2) or continuous, immediately identifying whether a physical system exhibits photon indivisibility or not.

4. Dynamical Metric Forcing Solver When presented with a classical stress-energy tensor expectation value, the RCIE could solve for the resulting metric structure using the Newton’s G entering as empirical proportionality constant (Section IV), effectively simulating how matter dictates geometry in a semi-classical manner.

5. Modular Flow Analysis & Thermal State Prediction The system could analyze a local algebra and vacuum state to predict the temperature of an accelerated observer via the Unruh effect formula (Eq. (38)), allowing it to calculate temperatures from acceleration parameters, bridging kinematic and thermal dynamics using both constants 'c' and 'h¯'.

6. Universal QFT Consistency Checker The system could take a description of a theory (e.g., free QED or a hypothetical interacting Yang-Mills) and classify its local algebras as type-III1 factors (Theorem 8), providing an algebraic fingerprint that is universal across all Poincaré-covariant theories, allowing it to assess the consistency of new theories against established QFT principles.

7. Operator Algebra Mapping The RCIE could map non-relativistic canonical commutators to the Weyl C-algebra deformation parameter (h¯) and provide a rigorous proof of why this mapping is structurally necessary for any consistent quantization step.

We ask which kinematical groups allow local algebras of canonical quantum fields to commute at unequal times. The Galilei group acts transitively on pairs of non-simultaneous events with a given time separation, so a Galilean-invariant commutation relation between sharp-time algebras at unequal times also holds at coincident positions; at arbitrarily short separations it contradicts the canonical commutation relations, with no spectral assumption. Under unitary Bargmann covariance and positivity of the energy modulo the central mass, the vacuum is annihilated by the annihilation fields, hence not separating for local algebras, and the vacuum two-point function of a canonical field factorises into the free Schrödinger propagator and the characteristic function of an internal-energy distribution. Sharp-time algebras at unequal times then commute only at a closed null set of time separations, bounded below by the Mandelstam-Tamm and Margolus-Levitin times and empty for sharp or generic internal energy; any finite set of separations occurs. Algebras of open spacetime regions containing time-smeared fields never commute. Positivity cannot be dropped: without it, commutation can hold at all separations beyond any given one. Among spatially isotropic homogeneous spacetimes with absolute time, only the galilean ones are transitive at fixed time separation, up to discrete exceptions in the two oscillating cases, realised by a harmonic trap in the Newton-Hooke one. Non-commutation transfers from the vacuum to every representation of a simple C*-algebra on which the dynamics acts by automorphisms, including free Bose and Fermi gases at all temperatures and the Galilei-covariant cutoff dynamics of interacting fermions of Narnhofer and Thirring; without such a vacuum representation it can fail even in thermal equilibrium.