Pith. sign in

REVIEW 4 minor 1 cited by

Covariant phase space lets you quantize theories when a velocity-dependent perturbation changes how many degrees of freedom the system has.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-12 12:31 UTC pith:VPFAEEEE

load-bearing objection Solid, explicit demonstration that CPS gives a workable perturbative quantization when a velocity-dependent term changes the constraint structure and phase-space dimension; verified through O(λ^{2}) against the exact solvable model.

arxiv 2606.24442 v2 pith:VPFAEEEE submitted 2026-06-23 hep-th

Canonical quantization for effective theories with perturbations altering degrees of freedom: a covariant phase space approach

Jie-qiang Wu , Jinan Zhao This is my paper
classification hep-th
keywords covariant phase spacecanonical quantizationeffective field theoryvelocity-dependent perturbationshigher-derivative theoriessecond-class constraintsperturbative solutions
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Standard canonical quantization breaks when a small velocity-dependent term is added to a constrained theory: the unperturbed and perturbed systems live on phase spaces of different dimensions, so their basic commutation relations cannot be related by ordinary perturbation theory. This paper shows that the covariant phase space construction avoids the obstruction by building the symplectic form directly on the space of solutions rather than on constrained momenta. The method is demonstrated on an exactly solvable model of a charged particle in a magnetic field plus harmonic potential, treating kinetic energy as the small perturbation. Order-by-order solution of the equations of motion yields a symplectic form whose inverse supplies the correct low-energy commutators; the resulting energy spectrum and unequal-time correlators match the expansion of the exact quantum theory through second order. The procedure is offered as a systematic route to the canonical quantization of more complex effective theories that contain higher-derivative or velocity-dependent corrections.

Core claim

The covariant phase space formalism supplies a consistent perturbative canonical quantization for systems whose velocity-dependent perturbations alter both the kinetic structure and the dimension of the phase space. On the solvable model, the energy spectrum and unequal-time commutators obtained this way agree with the low-energy expansion of the exact theory through O(λ²).

What carries the argument

The covariant symplectic form Ω constructed on the space of solutions of the equations of motion; its inverse is promoted to the equal-time commutator of the perturbative modes, automatically incorporating the correct low-energy canonical structure without reference to constraints.

Load-bearing premise

That discarding the non-analytic fast mode whose frequency diverges as 1/λ leaves a perturbative series that still captures every observable low-energy effect for finite observation times.

What would settle it

Compute the O(λ³) energy shift or unequal-time commutator from the exact closed-form solution of the model and check whether the covariant-phase-space expansion continues to match it; any mismatch at that order would falsify the claim that the slow-mode sector alone is sufficient.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper argues that the covariant phase space (CPS) formalism enables a consistent perturbative canonical quantization for effective theories whose velocity-dependent (or higher-derivative) perturbations alter the kinetic structure and the dimension of the phase space—situations in which the standard Dirac–Bergmann algorithm fails because the unperturbed and perturbed theories live on phase spaces of different dimensions with inequivalent commutation relations. The method is illustrated on an exactly solvable model (a 2D non-relativistic charged particle in a uniform magnetic field plus harmonic confinement, with the kinetic term treated as a small parameter λ). The authors construct the symplectic form and Hamiltonian from the Lagrangian, solve the equations of motion order by order in λ (retaining only the slow mode continuously connected to the λ=0 theory), promote the inverse symplectic form to a commutator, and compute the energy spectrum and unequal-time commutators through O(λ²). These results are shown to match the low-energy expansion of the exact closed-form solution of the full theory.

Significance. If the procedure generalizes, it supplies a practical, systematic route to the canonical quantization of a broad class of effective field theories (including higher-derivative gravity models that evade Ostrogradsky instabilities via constraints) in which the kinetic structure is modified by the perturbation. The work’s concrete strengths are fully explicit analytic calculations, self-contained appendices that verify the Dirac brackets, the exact diagonalization, the symplectic-form cancellation and the Hamiltonian reduction, and an independent, parameter-free cross-check against the exact solution; the fast mode is correctly identified as non-analytic in λ and is shown to decouple for finite-time observations. These features make the paper a useful methodological template rather than a mere formal observation.

minor comments (4)
  1. The finite-time validity window |t| ≪ 1/(λω^{2}) of the perturbative solution (Sec. 4.2 and the accompanying footnote) is stated clearly but could be flagged earlier—e.g., in the abstract or the list of steps in the Introduction—so that readers immediately understand the regime in which the unequal-time commutators are under control.
  2. In Sec. 4.2 the particular solutions (4.9) and (4.13) are chosen so that a and a† retain the standard oscillator algebra after quantization. A one-sentence remark explaining that any homogeneous solution can be absorbed into a redefinition of a, a† would make the uniqueness of this choice more transparent.
  3. A short paragraph in the Conclusion comparing the present CPS route with existing perturbative treatments of higher-derivative systems (e.g., the reduction-of-order methods cited in Refs. [19,20,28–30]) would help situate the novelty for readers less familiar with the covariant phase-space literature.
  4. Typographical consistency: the arXiv identifier appears as 2606.24442 while the manuscript header carries the date “July 7, 2026”; a single consistent citation format would avoid minor confusion.

Circularity Check

0 steps flagged

No significant circularity: CPS perturbative quantization is constructed independently of the exact solution and then verified against its low-energy expansion.

full rationale

The paper first obtains the exact closed-form solution and its O(λ^{2}) expansion of the spectrum and unequal-time commutators (Secs. 3.2.2–3.2.5, Eqs. 3.34, 3.46–3.51). Separately, Sec. 4 explicitly assumes the exact solution is unknown, solves the EOMs order-by-order from the unperturbed solution (Eqs. 4.5–4.14), substitutes into the CPS symplectic form and Hamiltonian (Eqs. 4.3, 4.4), and quantizes via the inverse symplectic form (Eq. 4.16). The resulting spectrum and commutators (Eqs. 4.17–4.22) are then compared to the independent exact expansion and shown to match. Appendix C performs the explicit cancellations that leave Ω = −δx_{0} ∧ δy_{0} + O(λ^{3}). No parameters are fitted to data; the particular solutions for the corrections are residual homogeneous freedoms fixed so that a, a† retain the standard algebra (a conventional mode redefinition). Citations (Basu, Iyer–Wald, forthcoming [18]) supply background or equivalence statements but are not used as load-bearing premises that force the O(λ^{2}) results. The derivation chain is therefore self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard symplectic geometry, the Iyer–Wald definition of the covariant phase space, and the ordinary rules of Heisenberg-picture quantization. No free parameters are fitted; λ is an expansion parameter. No new physical entities are postulated. The only domain-level assumptions are that the fast mode decouples and that the CPS symplectic form continues to supply the correct commutators once solutions are expanded perturbatively.

axioms (3)
  • domain assumption The symplectic form on the space of solutions is closed and non-degenerate (up to gauge) and its inverse yields the Poisson structure that is promoted to commutators.
    Taken from the Iyer–Wald–Zoupas covariant phase space formalism (cited Refs. 13–17); used throughout Sec. 4.
  • domain assumption The fast mode whose frequency diverges as 1/λ is non-perturbative and decouples from all low-energy observables for finite observation times.
    Stated in Sec. 3.2.5 and 4.2; required for the claim that the slow-mode expansion captures the effective theory.
  • standard math Standard Heisenberg-picture quantization: [A,B]=i ħ {A,B} with ħ=1, and the Hamiltonian generates time evolution.
    Used to convert the inverse symplectic form into commutators and to obtain the spectrum (Secs. 3–4).

pith-pipeline@v1.1.0-grok45 · 21966 in / 2263 out tokens · 21602 ms · 2026-07-12T12:31:18.154264+00:00 · methodology

0 comments
read the original abstract

The standard approach to canonical quantization encounters difficulties in dealing with perturbations that alter the kinetic structure of unperturbed theories. We show that the covariant phase space formalism provides a natural and technically efficient way to circumvent this obstruction. We illustrate the method with an exactly solvable model: a two-dimensional non-relativistic charged particle moving in a magnetic field and a harmonic confining potential, with its kinetic energy viewed as a perturbation. We quantize this model with covariant phase space formalism by constructing the solution perturbatively. We then calculate the energy spectrum and the unequal-time commutators of this model, and obtain the results that agree with the expansion of the exact theory. The procedure developed here is intended to serve as a systematic framework for the canonical quantization of more complex effective theories with higher-derivative or velocity-dependent perturbations.

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Canonical quantization of the Pais-Uhlenbeck oscillator with a higher-derivative perturbation: a covariant phase space approach

    quant-ph 2026-07 conditional novelty 5.0

    A covariant phase-space perturbation scheme for the Pais-Uhlenbeck oscillator reproduces the exact low-energy spectrum and commutator while decoupling the Ostrogradsky ghost.

Reference graph

Works this paper leans on

35 extracted references · 17 linked inside Pith · cited by 1 Pith paper

  1. [1]

    P. G. Bergmann,Non-Linear Field Theories,Phys. Rev.75(1949) 680–685

    1949

  2. [2]

    P. A. M. Dirac,Generalized Hamiltonian dynamics,Can. J. Math.2(1950) 129–148

    1950

  3. [3]

    P. A. M. Dirac,The Hamiltonian form of field dynamics,Can. J. Math.3(1951) 1–23

    1951

  4. [4]

    J. L. Anderson and P. G. Bergmann,Constraints in covariant field theories,Phys. Rev. 83(1951) 1018–1025

    1951

  5. [5]

    P. G. Bergmann and I. Goldberg,Dirac bracket transformations in phase space,Phys. Rev.98(1955) 531–538

    1955

  6. [6]

    P. A. M. Dirac,Lectures on Quantum Mechanics. Yeshiva University Press, New York, 1964

    1964

  7. [7]

    J. D. Brown,Singular Lagrangians, Constrained Hamiltonian Systems and Gauge Invariance: An Example of the Dirac–Bergmann Algorithm,Universe8(2022) 171, [2201.06558]

    Pith/arXiv arXiv 2022

  8. [8]

    J. D. Brown,Singular Lagrangians and the Dirac–Bergmann algorithm in classical mechanics,Am. J. Phys.91(2023) 214–224, [2207.00074]

    Pith/arXiv arXiv 2023

  9. [9]

    Witten,Interacting Field Theory of Open Superstrings,Nucl

    E. Witten,Interacting Field Theory of Open Superstrings,Nucl. Phys. B276(1986) 291–324

    1986

  10. [10]

    G. J. Zuckerman,ACTION PRINCIPLES AND GLOBAL GEOMETRY,Conf. Proc. C 8607214(1986) 259–284

    1986

  11. [11]

    Crnkovic and E

    C. Crnkovic and E. Witten,Covariant description of canonical formalism in geometrical theories, inThree hundred years of gravitation(S. W. Hawking and W. Israel, eds.), pp. 676–684. Cambridge University Press, Cambridge, 1987. 21

    1987

  12. [12]

    Crnkovic,Symplectic Geometry of the Covariant Phase Space, Superstrings and Superspace,Class

    C. Crnkovic,Symplectic Geometry of the Covariant Phase Space, Superstrings and Superspace,Class. Quant. Grav.5(1988) 1557–1575

    1988

  13. [13]

    Lee and R

    J. Lee and R. M. Wald,Local symmetries and constraints,J. Math. Phys.31(1990) 725–743

    1990

  14. [14]

    R. M. Wald,Black hole entropy is the Noether charge,Phys. Rev. D48(1993) R3427–R3431, [gr-qc/9307038]

    Pith/arXiv arXiv 1993

  15. [15]

    Iyer and R

    V. Iyer and R. M. Wald,Some properties of Noether charge and a proposal for dynamical black hole entropy,Phys. Rev. D50(1994) 846–864, [gr-qc/9403028]

    Pith/arXiv arXiv 1994

  16. [16]

    Iyer and R

    V. Iyer and R. M. Wald,A Comparison of Noether charge and Euclidean methods for computing the entropy of stationary black holes,Phys. Rev. D52(1995) 4430–4439, [gr-qc/9503052]

    Pith/arXiv arXiv 1995

  17. [17]

    R. M. Wald and A. Zoupas,A General definition of ’conserved quantities’ in general relativity and other theories of gravity,Phys. Rev. D61(2000) 084027, [gr-qc/9911095]

    Pith/arXiv arXiv 2000

  18. [18]

    Canonical quantization for the free massive vector field in the global AdS 3 spacetime with the covariant phase space formalism

    Z.-e. Gao, Z.-q. Hu, J.-d. Pan, X.-S. Wang, Y.-t. Wen and J.-q. Wu, “Canonical quantization for the free massive vector field in the global AdS 3 spacetime with the covariant phase space formalism.” in preparation

  19. [19]

    Cheng, P.-M

    T.-C. Cheng, P.-M. Ho and M.-C. Yeh,Perturbative approach to higher derivative and nonlocal theories,Nucl. Phys. B625(2002) 151–165, [hep-th/0111160]

    Pith/arXiv arXiv 2002

  20. [20]

    X. Jaen, J. Llosa and A. Molina,A Reduction of order two for infinite order lagrangians, Phys. Rev. D34(1986) 2302

    1986

  21. [21]

    Basu,Perturbation theory in covariant canonical quantization,Phys

    S. Basu,Perturbation theory in covariant canonical quantization,Phys. Rev. D71 (2005) 084001, [gr-qc/0410015]

    Pith/arXiv arXiv 2005

  22. [22]

    Weinberg,The Quantum theory of fields

    S. Weinberg,The Quantum theory of fields. Vol. 1: Foundations. Cambridge University Press, 6, 2005, 10.1017/CBO9781139644167

    doi:10.1017/cbo9781139644167 2005

  23. [23]

    Kubo,Statistical mechanical theory of irreversible processes

    R. Kubo,Statistical mechanical theory of irreversible processes. 1. General theory and simple applications in magnetic and conduction problems,J. Phys. Soc. Jap.12(1957) 570–586

    1957

  24. [24]

    Harlow and J.-Q

    D. Harlow and J.-Q. Wu,Covariant phase space with boundaries,JHEP10(2020) 146, [1906.08616]. 22

    Pith/arXiv arXiv 2020

  25. [25]

    Henneaux, C

    M. Henneaux, C. Teitelboim and J. Zanelli,Gauge Invariance and Degree of Freedom Count,Nucl. Phys. B332(1990) 169–188

    1990

  26. [26]

    Henneaux and C

    M. Henneaux and C. Teitelboim,Quantization of Gauge Systems. Princeton University Press, 1992

    1992

  27. [27]

    J. M. Pons,On Dirac’s incomplete analysis of gauge transformations,Stud. Hist. Phil. Sci. B36(2005) 491–518, [physics/0409076]

    Pith/arXiv arXiv 2005

  28. [28]

    Cheng, P.-M

    T.-C. Cheng, P.-M. Ho and M.-C. Yeh,Perturbative approach to higher derivative theories with fermions,Phys. Rev. D66(2002) 085015, [hep-th/0206077]

    Pith/arXiv arXiv 2002

  29. [29]

    Andrzejewski, K

    K. Andrzejewski, K. Bolonek, J. Gonera and P. Maslanka,Canonical formalism and quantization of perturbative sector of higher-derivative theories,Phys. Rev. A76(1,

  30. [30]

    032110, [quant-ph/0701228]

    Pith/arXiv arXiv

  31. [31]

    X. Dong, D. Marolf and P. Rath,Geometric entropies and their Hamiltonian flows, JHEP05(2025) 085, [2501.12438]

    Pith/arXiv arXiv 2025

  32. [32]

    R. P. Woodard,Ostrogradsky’s theorem on Hamiltonian instability,Scholarpedia10 (2015) 32243, [1506.02210]

    Pith/arXiv arXiv 2015

  33. [33]

    R. P. Woodard,Avoiding dark energy with 1/r modifications of gravity,Lect. Notes Phys.720(2007) 403–433, [astro-ph/0601672]

    Pith/arXiv arXiv 2007

  34. [34]

    Langlois and K

    D. Langlois and K. Noui,Degenerate higher derivative theories beyond Horndeski: evading the Ostrogradski instability,JCAP02(2016) 034, [1510.06930]

    Pith/arXiv arXiv 2016

  35. [35]

    Ganz and K

    A. Ganz and K. Noui,Reconsidering the Ostrogradsky theorem: Higher-derivatives Lagrangians, Ghosts and Degeneracy,Class. Quant. Grav.38(2021) 075005, [2007.01063]. 23

    Pith/arXiv arXiv 2021