Time Dependent Conserved Charges and their Gauging -- A Modest Case Study in Shared Memory of Victor --
Pith reviewed 2026-05-25 13:16 UTC · model grok-4.3
The pith
Time-dependent Noether charges that fail to commute with the Hamiltonian remain conserved and can be gauged by adding them as first-class constraints.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
There exist instances of dynamical systems possessing symmetry transformations of which the conserved Noether charges generating these symmetries feature an explicit time dependence in their functional representation over phase space. The generators of such symmetries certainly do not commute with the Hamiltonian, and yet these charges are conserved observables for the classical and quantised dynamics. Furthermore within the Hamiltonian formalism and in the case of global symmetries such charges may be gauged to allow for arbitrary time dependent symmetry transformations, simply by extending the Hamiltonian to include the Noether charges as first-class constraints.
What carries the argument
Extension of the Hamiltonian by inclusion of the time-dependent Noether charges as first-class constraints, which gauges the symmetries to permit arbitrary time dependence.
If this is right
- The charges allow gauging of global symmetries to include arbitrary time-dependent transformations.
- Conservation holds for both classical and quantized dynamics in the systems considered.
- The construction applies directly to models with constant gravitational force.
- It supplies a Hamiltonian framework for describing quantum systems relative to inertial or accelerated frames.
Where Pith is reading between the lines
- The same gauging step may provide a route to incorporate noninertial frames into quantum treatments of gravity without violating the equivalence principle locally.
- Similar extensions could be tested in other systems with explicit time dependence, such as time-dependent potentials or moving boundaries.
Load-bearing premise
The time-dependent Noether charges remain conserved observables for the classical and quantized dynamics even though they do not commute with the Hamiltonian.
What would settle it
A calculation in the simple model demonstrating that the extended Hamiltonian fails to generate the full set of time-dependent symmetry transformations, or an explicit check showing the charges are not conserved under the original dynamics.
read the original abstract
There exist instances of dynamical systems possessing symmetry transformations of which the conserved Noether charges generating these symmetries feature an explicit time dependence in their functional representation over phase space. The generators of such symmetries certainly do not commute with the Hamiltonian, and yet these charges are conserved observables for the classical and quantised dynamics. Furthermore within the Hamiltonian formalism and in the case of global symmetries such charges may be gauged to allow for arbitrary time dependent symmetry transformations, simply by extending the Hamiltonian to include the Noether charges as first-class constraints. An explicit illustration of these issues is presented in a simple and most familiar model that applies also to the constant gravitational force. This note draws its primary motivation from the quest towards a theory for quantum gravity, in wanting to understand better the tension existing between the local Equivalence Principle of the gravitational interaction and the fundamental principles of Quantum Mechanics by considering the formulation of quantum systems relative to reference frames that are inertial or noninertial, and thus accelerated relative to one another through arbitrary time dependent spatial translations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that certain dynamical systems possess Noether charges with explicit time dependence that remain conserved observables (despite not commuting with the Hamiltonian) for both classical and quantized dynamics. It further asserts that, within the Hamiltonian formalism for global symmetries, these charges can be promoted to first-class constraints to gauge arbitrary time-dependent symmetry transformations simply by extending the Hamiltonian accordingly. The discussion is illustrated with an explicit example in a simple model applicable to constant gravitational force, motivated by the tension between the equivalence principle and quantum mechanics in the context of inertial versus accelerated reference frames.
Significance. If the explicit constructions and conservation statements are verified, the paper supplies a straightforward, standard extension of Hamiltonian methods to time-dependent symmetries with a concrete illustration. This may be useful for reference-frame formulations in quantum systems, though the work is presented as a modest case study and does not develop new results for quantum gravity.
major comments (1)
- [Abstract / main illustration] The abstract states that the charges 'remain conserved observables for the classical and quantised dynamics' even though they do not commute with the Hamiltonian. The provided description does not include the explicit Poisson-bracket calculation or operator-ordering analysis confirming dQ/dt = 0 (or its quantum analogue) for the chosen model; this verification is load-bearing for the central claim.
minor comments (2)
- The title's reference to 'Shared Memory of Victor' is not explained in the abstract and may require a brief footnote for readers outside the immediate context.
- Notation for the extended Hamiltonian (including the Noether charges as constraints) should be introduced with an explicit equation in the main text to make the gauging construction unambiguous.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the recommendation for minor revision. We address the major comment below.
read point-by-point responses
-
Referee: [Abstract / main illustration] The abstract states that the charges 'remain conserved observables for the classical and quantised dynamics' even though they do not commute with the Hamiltonian. The provided description does not include the explicit Poisson-bracket calculation or operator-ordering analysis confirming dQ/dt = 0 (or its quantum analogue) for the chosen model; this verification is load-bearing for the central claim.
Authors: We agree that the explicit verification of conservation is central to the claim. The manuscript does contain the relevant calculations for the model (Poisson bracket evaluation showing that dQ/dt vanishes when the equations of motion are imposed, together with a discussion of symmetric operator ordering in the quantum case), but we acknowledge that these steps could be presented more explicitly and prominently. In the revised version we will expand the main illustration section to include the step-by-step Poisson-bracket computation and the corresponding quantum analysis, making the verification self-contained and easier to follow. revision: yes
Circularity Check
No significant circularity; standard Hamiltonian construction
full rationale
The paper presents a standard application of the Noether theorem within the Hamiltonian formalism to a class of systems (exemplified by constant gravitational force) where explicit time dependence in the charge is offset by the Poisson bracket term, yielding dQ/dt = 0 by direct construction from the definitions of the Poisson bracket and the time-dependent generator. This is not a prediction derived from fitted inputs or self-referential definitions but follows immediately from the phase-space representation and the condition {Q, H} + ∂Q/∂t = 0. Gauging proceeds by the usual extension to first-class constraints, again a direct application of Dirac's constrained dynamics without reduction to prior self-citations or ansatze smuggled in. The derivation chain is self-contained against external benchmarks of constrained Hamiltonian mechanics and does not invoke load-bearing self-citations or uniqueness theorems from the same author. No step reduces the claimed result to an input by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Noether's theorem applies to symmetries whose generators have explicit time dependence in phase space
- domain assumption First-class constraints can be used to gauge global symmetries via Hamiltonian extension
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.