Galilean One-Particle Kinematics from a Smooth Family of Reference States
Pith reviewed 2026-05-10 17:40 UTC · model grok-4.3
The pith
A smooth family of reference states around equilibrium produces the standard Galilean kinematics for a free particle with spin.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Starting from a smooth family of reference states around an isotropic equilibrium that supplies time, translation, rotation, and boost directions, the local observable-generator correspondence is obtained by differentiating a smooth extension of the single-state duality map. The norm-one property of localization observables follows from a fiducial focusing assumption together with covariance, which together with the standard smearing form yields sharp localization. Imposing local inertial composition, the spin-cover action of rotations, and a central boost-translation holonomy, every irreducible sector is unitarily equivalent to the Hilbert space L²(ℝ³) tensor a (2s+1)-dimensional spin space
What carries the argument
The smooth family of reference states supplying directional information, combined with differentiation of the duality map and the central boost-translation holonomy that supplies a scalar mass.
If this is right
- Translations act by shifting wave functions and are generated by the canonical momentum operator.
- Boosts at t=0 act by shifting momentum and are generated by mass times the position operator.
- The Hamiltonian reduces to the free-particle kinetic energy p²/2m plus an additive constant.
- Total angular momentum is the sum of orbital angular momentum and intrinsic spin.
- Each mass m and spin s labels an irreducible sector with the expected degeneracy.
Where Pith is reading between the lines
- The construction indicates that Galilean symmetry can arise from local relations among reference states instead of being imposed at the outset.
- Relaxing local inertial composition may allow derivation of interacting or composite-particle kinematics within the same framework.
- The approach could be tested by preparing controlled families of reference states in atom interferometry and checking whether the derived boost-position relation holds.
- Similar differentiation over reference families might yield the Poincaré algebra or other spacetime symmetries.
Load-bearing premise
That a fiducial focusing assumption together with covariance forces localization observables to have unit norm, and that the representation is assembled from local inertial composition.
What would settle it
An observation that the generator of a boost at fixed time is not equal to mass times the position operator, or that the extracted mass parameter is not a scalar.
read the original abstract
Giannelli and Chiribella derived an observable-generator duality for energy from a collision model of informational nonequilibrium. We study a continuous-variable version aimed at the Galilean one-particle sector. A smooth family of reference states around an isotropic equilibrium supplies time, translation, rotation, and boost directions. The local observable-generator correspondence is obtained by differentiating a smooth extension of the single-state duality map, and the norm-one property of localization is obtained from a fiducial focusing assumption together with covariance. Combined with the standard smearing form of covariant localization observables, this yields sharp localization. With local inertial composition, the spin-cover action of rotations, and a central boost-translation holonomy, every irreducible sector is unitarily equivalent to the Hilbert space L2(R3) tensored with a (2s+1)-dimensional spin space. In that representation translations are generated by the canonical momentum, the holonomy is a scalar mass m > 0, boosts at t = 0 are generated by m times the position observable, the Hamiltonian is the free-particle kinetic term plus a constant E0, and the total angular momentum is orbital plus spin.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends an observable-generator duality for energy (from Giannelli and Chiribella) to a continuous-variable Galilean one-particle setting. A smooth family of reference states around an isotropic equilibrium supplies directions for time, translations, rotations, and boosts. Differentiating a smooth extension of the single-state duality map yields the local observable-generator correspondence. The norm-one property of localization observables is obtained from a fiducial focusing assumption together with covariance; combined with the standard smearing form, this produces sharp localization. With the additional assumptions of local inertial composition, the spin-cover action of rotations, and a central boost-translation holonomy, every irreducible sector is shown to be unitarily equivalent to L²(ℝ³) ⊗ ℂ^{2s+1}. In that representation, translations are generated by canonical momentum, the holonomy supplies a scalar mass m > 0, boosts at t=0 are generated by m times the position observable, the Hamiltonian is the free-particle kinetic term plus constant E₀, and total angular momentum is orbital plus spin.
Significance. If the derivations are free of circularity and the assumptions are independent, the result would supply a notable foundational derivation of standard Galilean quantum kinematics from reference-state and duality principles in quantum information. The use of a smooth family to generate all required directions and the recovery of the free-particle form (with only m and E₀ as free parameters) are strengths; the construction also attempts to make the final operators emerge without ad-hoc fitting.
major comments (3)
- [Fiducial focusing assumption and localization derivation] The step deriving the norm-one property of localization observables from the fiducial focusing assumption plus covariance (abstract and the section immediately following the definition of the smooth reference-state family) is load-bearing for the subsequent sharp-localization claim. The manuscript must demonstrate explicitly that the fiducial focusing assumption is defined and motivated independently of the norm-one condition it is invoked to produce; if the assumption already encodes the target localization property, the argument from local duality to the standard position representation becomes circular.
- [Assembly of global representation and holonomy] The local inertial composition assumption (used to assemble the global representation from the local duality map) and the central boost-translation holonomy are invoked to obtain the mass parameter m and the boost generators m·x. These must be shown to be independent of the target Galilean kinematics; the manuscript should supply the precise statement of local inertial composition and the explicit computation showing that the holonomy reduces to a scalar m without additional parameters or fitting.
- [Unitary equivalence and generator identification] The unitary-equivalence claim (every irreducible sector equivalent to L²(ℝ³) ⊗ ℂ^{2s+1} with the listed generators) requires explicit verification. The paper should include at least one concrete check, such as the s=0 reduction to the standard position representation or consistency with the known irreps of the Galilean group, to confirm that no hidden parameters remain.
minor comments (2)
- [Differentiation of the duality map] The abstract sketches the logical sequence but the main text should supply the explicit differentiation step that produces the local observable-generator map, including any error estimates or limits checked.
- [Notation and definitions] Notation for the smooth family of reference states and the extended duality map should be introduced once and used consistently; avoid overloading symbols for the fiducial state and the isotropic equilibrium.
Simulated Author's Rebuttal
We thank the referee for the thorough and constructive report. The comments correctly identify areas where greater explicitness is needed to establish independence of assumptions and to verify the final representation. We have revised the manuscript to supply the requested clarifications, precise statements, and concrete checks. Our point-by-point responses follow.
read point-by-point responses
-
Referee: The step deriving the norm-one property of localization observables from the fiducial focusing assumption plus covariance is load-bearing for the subsequent sharp-localization claim. The manuscript must demonstrate explicitly that the fiducial focusing assumption is defined and motivated independently of the norm-one condition it is invoked to produce; if the assumption already encodes the target localization property, the argument becomes circular.
Authors: The fiducial focusing assumption is introduced as a first-order orthogonality condition on the smooth family of reference states at the fiducial point, motivated by the requirement that the family supplies an orthonormal frame for the local inertial directions (time, space, rotation, boost) without presupposing any norm on the resulting observables. This definition appears in the section immediately after the family is constructed and is justified by the duality-map extension alone. The norm-one property is then derived by imposing covariance of the localization observables under the group action generated by the differentiated duality map. We have added a new paragraph and a short appendix that separates the two steps, showing that focusing constrains only the first derivatives of the reference states while covariance supplies the norm. The argument is therefore not circular. revision: yes
-
Referee: The local inertial composition assumption and the central boost-translation holonomy are invoked to obtain the mass parameter m and the boost generators m·x. These must be shown to be independent of the target Galilean kinematics; the manuscript should supply the precise statement of local inertial composition and the explicit computation showing that the holonomy reduces to a scalar m without additional parameters or fitting.
Authors: We agree that explicitness is required. Local inertial composition is defined as the condition that the integrated duality map along any piecewise-inertial path reproduces the same local generators up to a central phase, with no external potentials or interaction terms introduced. The central holonomy is the U(1) factor obtained by composing a boost followed by a translation and then the inverse operations; its explicit computation (now included in the revised section on global assembly) shows that the factor is necessarily a scalar multiple of the identity whose coefficient is a single positive real number m. Irreducibility forces all other parameters to vanish, so m emerges uniquely from the representation theory of the central extension without fitting. The revised text states the definition verbatim and displays the four-line commutator calculation that isolates m. revision: yes
-
Referee: The unitary-equivalence claim requires explicit verification. The paper should include at least one concrete check, such as the s=0 reduction to the standard position representation or consistency with the known irreps of the Galilean group, to confirm that no hidden parameters remain.
Authors: We have added an explicit verification subsection. For s=0 the construction reduces directly to the standard Schrödinger representation on L²(ℝ³): the translation generators become -i∇, the boost generators at t=0 become multiplication by m x, and the Hamiltonian is p²/2m + E₀. We also verify that the resulting operators satisfy the known commutation relations of the Galilean Lie algebra (including the central mass extension) and that the representation is irreducible precisely when the spin space is (2s+1)-dimensional. These checks confirm that no additional parameters survive. revision: yes
Circularity Check
No significant circularity; derivation uses independent assumptions
full rationale
The paper obtains the norm-one property of localization observables from a fiducial focusing assumption together with covariance, then combines this with local inertial composition, spin-cover action, and central boost-translation holonomy to reach unitary equivalence to L²(ℝ³) ⊗ ℂ^{2s+1}. The abstract presents the focusing assumption as an input that yields the norm-one property rather than presupposing it by definition. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear. The central claim extends a prior duality map via differentiation and adds physical assumptions whose independence from the target Galilean kinematics is maintained in the stated construction.
Axiom & Free-Parameter Ledger
free parameters (2)
- mass m
- constant E0
axioms (3)
- ad hoc to paper Fiducial focusing assumption
- domain assumption Local inertial composition
- domain assumption Spin-cover action of rotations
invented entities (1)
-
Smooth family of reference states around isotropic equilibrium
no independent evidence
Reference graph
Works this paper leans on
-
[1]
for each σ 2 U , the class A(σ) is the observable class selected by the Giannelli-Chiribella duality for Gσ
-
[2]
the map A is Fréchet differentiable at χ
-
[3]
(3) Assumption 2 is where the smooth continuous-variable completion of Ref
for any representative A(σ) 2 A(σ), the reversible generator on the inertial sector is implemented as Gσ(ρ) = i ¯h [A(σ), ρ]. (3) Assumption 2 is where the smooth continuous-variable completion of Ref. [ 1] enters. The quotient by scalars is natural because additive constants do not affect the reversible channel generated by Eq. ( 3). Proposition 1 (Deriv...
-
[4]
A smooth family of reference states around an isotropic equilibrium, together with a smooth local completion of the Giannelli-Chiribella single-state observable assignment
-
[5]
From these, the directional observable-generator duality on the tangent space of the reference-state manifold
-
[6]
A covariant localization POVM together with fidu- cial focusing at the origin and the standard smear- ing structure for covariant localization observables
-
[7]
From these, the global norm-one property of local- ization, sharp localization, and hence the canonical position PVM
-
[8]
Local inertial frame composition, including time- rotation compatibility, and a central boost- translation holonomy
-
[9]
From these, the representation L2(R3) C2s+1, canonical momentum, scalar mass, the boost gen- erator mX, the free Hamiltonian P 2/2m + E0, the relation P = m ˙X, and the orbital-spin decomposi- tion of angular momentum. The paper therefore isolates a route to the nonrela- tivistic one-particle sector without claiming a derivation of infinite-dimensional qu...
-
[10]
L. Giannelli and G. Chiribella, Information-theoretic derivation of energy, speed bounds, and quantum theory, Physical Review Letters 136, 060202 (2026)
work page 2026
-
[11]
Bargmann, On unitary ray representations of contin- uous groups, Annals of Mathematics 59, 1 (1954)
V. Bargmann, On unitary ray representations of contin- uous groups, Annals of Mathematics 59, 1 (1954)
work page 1954
-
[12]
J.-M. Lévy-Leblond, Galilei group and nonrelativistic quantum mechanics, Journal of Mathematical Physics 4, 776 (1963)
work page 1963
- [13]
-
[14]
J. M. Figueroa-O’Farrill, S. Pekar, A. Pérez, and S. Pro- hazka, Galilei particles revisited, SciPost Physics Lecture Notes 10.21468/SciPostPhysLectNotes.93 (2025)
-
[15]
L. Loveridge, T. Miyadera, and P. Busch, Symmetry, ref- erence frames, and relational quantities in quantum me- chanics, Foundations of Physics 48, 135 (2018)
work page 2018
-
[16]
F. Giacomini, E. Castro-Ruiz, and Č. Brukner, Quantum mechanics and the covariance of physical laws in quan- tum reference frames, Nature Communications 10, 494 (2019)
work page 2019
-
[17]
A.-C. de la Hamette and T. D. Galley, Quantum reference frames for general symmetry groups, Quantum 4, 367 (2020)
work page 2020
-
[18]
C. Carmeli, T. Heinonen, and A. Toigo, Position and mo- mentum observables on mathbbR and on mathbbR3, Journal of Mathematical Physics 45, 2526 (2004)
work page 2004
-
[19]
G. W. Mackey, Induced representations of groups and quantum mechanics (W. A. Benjamin, New York, 1968)
work page 1968
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.