Pith. sign in

REVIEW 3 major objections 4 minor 33 references

Treating the acceleration-squared term as a perturbation, covariant phase space quantization of the Pais-Uhlenbeck oscillator yields the positive spectrum of the exact low-energy sector and leaves the Ostrogradsky ghost out.

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 · deepseek-v4-flash

2026-08-04 01:14 UTC pith:4YJAS4WF

load-bearing objection Correct perturbative spectrum and algebra, but 'automatic ghost decoupling' is actually a hand-picked truncation, and the O(λ²) Hamiltonian depends on a homogeneous-mode choice the paper does not justify. the 3 major comments →

arxiv 2608.00108 v1 pith:4YJAS4WF submitted 2026-07-31 quant-ph hep-th

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

Jie-qiang Wu , Jinan Zhao This is my paper
classification quant-ph hep-th
keywords Pais-Uhlenbeck oscillatorhigher-derivative theoryOstrogradsky ghostcovariant phase spacecanonical quantizationperturbative quantizationlow-energy sectorunequal-time commutator
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.

This paper claims that a higher-derivative oscillator can be quantized without inheriting the Ostrogradsky instability, provided the higher-derivative term is treated as a weak perturbation. Working in the covariant phase space formalism, the paper constructs the symplectic form on the low-energy solution space spanned by the unperturbed harmonic mode, discards the fast mode, and obtains a positive Hamiltonian whose spectrum matches the expansion of the low-energy branch of the exact theory. The unequal-time commutator also matches the slow-sector expansion. The paper argues that the ghost is automatically decoupled by the geometry of the solution space, though Appendix A shows the full covariant phase space is isomorphic to Ostrogradsky's construction, so the decoupling rests on the restriction to the slow mode. If the claim holds, it offers a concrete recipe for perturbative quantization of ghost-free low-energy sectors in higher-derivative theories.

Core claim

The central claim is that perturbative covariant phase space quantization of L = ½x˙² − ½ω²x² − λ/2 x¨², with λω² ≪ 1, selects the physical low-frequency branch and reproduces the exact low-energy physics. Using the ansatz x0(t) = (ae^{−iωt} + a†e^{iωt})/√(2ω), solving the fourth-order equation order by order in λ, and evaluating the symplectic form on this restricted solution space, the paper finds Ω = −i δa∧δa† + O(λ³), commutation [a, a†] = 1, and Hamiltonian H = ω(1 + ½λω² + ⅞λ²ω⁴)(a†a + ½) + O(λ³). The unequal-time commutator [x(t1), x(t2)] equals the expansion of the slow branch of the exact commutator. The paper concludes that the Ostrogradsky ghost is absent from the perturbative con

What carries the argument

The key machinery is the covariant phase space symplectic form Ω = (δx˙ + λδx⃛)∧δx − λδx¨∧δx˙, evaluated on the perturbative solution restricted to the slow mode x0(t) = (ae^{−iωt} + a†e^{iωt})/√(2ω), with corrections x1 and x2 chosen so that a and a† keep the standard creation-annihilation algebra. The corrections to Ω from the higher-derivative terms cancel through O(λ²), leaving −iδa∧δa†; this cancellation is what makes the quantization identical to a simple oscillator with a shifted frequency. Appendix A proves that, without this restriction, the CPS symplectic structure is equivalent to Ostrogradsky's and contains the ghost.

Load-bearing premise

The load-bearing premise is that the physical Hilbert space is exactly the single slow mode x0(t), with the fast Ostrogradsky mode f− simply discarded; the paper imposes this restriction in Secs. 3.4 and 4.2 rather than deriving it from the covariant phase space formalism.

What would settle it

Compute the exact commutator [x(t1), x(t2)] and spectrum to O(λ³) from the full solution and compare with the order-by-order CPS result; if the coefficient of λ³ω⁶ in the slow-mode expansion differs, the truncation misses a correction. A faster check is to include the fast mode f− in the symplectic form: if Ω receives any correction proportional to δa∧δa− at O(λ), the ghost is not automatically decoupled.

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

If this is right

  • The low-energy sector of the PU oscillator is quantizable as a single positive-energy harmonic oscillator with frequency ω(1 + ½λω² + ⅞λ²ω⁴), so no vacuum decay from the ghost arises in this sector.
  • The unequal-time commutator (4.17) determines the linear response; matching the exact slow branch means external probes see the same response as in the full theory at low energy.
  • Because the full CPS phase space is isomorphic to Ostrogradsky's phase space (Appendix A), the method does not modify the underlying classical theory; it changes which subspace is quantized.
  • The perturbative series is valid only for |t| ≪ 1/(λω³), so the predictions are short-time, weak-coupling statements.
  • The method extends the earlier perturbative CPS quantization scheme to genuine higher-derivative perturbations, offering a template for higher-derivative field theories.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A natural test of 'automatic decoupling' is to keep the fast mode f− in the perturbative solution and compute whether Ω develops any O(λ) mixing terms δa∧δa−; the paper's truncation sets those to zero by hand, so a non-vanishing mixing term would show the decoupling is a choice of boundary conditions rather than a theorem.
  • If the same recipe is applied to a higher-derivative field theory, the unequal-time commutator would be the natural object to check for microcausality; the slow-mode projection here gives a commutator that vanishes outside the light cone only if the projection commutes with spacelike separation.
  • The specific coefficient 7/8 λ²ω⁴ could be verified independently by a direct order-by-order canonical perturbation calculation that keeps both modes and then projects; a disagreement would reveal operator-ordering or scheme dependence of the CPS result.
  • The choice of particular solutions x1(t) and x2(t) fixes the a, a† algebra; a different choice would shift the Hamiltonian unless the symplectic form changes correspondingly, so the scheme's reparametrization invariance is a worthwhile check.

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

3 major / 4 minor

Summary. The paper applies the covariant phase space (CPS) formalism to the Pais-Uhlenbeck oscillator L = (1/2)xdot^2 - (ω^2/2)x^2 - (λ/2)xddot^2, treating the λ-term as a perturbation. It constructs the symplectic form on a solution space built from the unperturbed oscillator mode x0, computes the perturbative Hamiltonian, and obtains the positive spectrum H|n⟩ = ω(1 + ½λω² + ⅞λ²ω⁴)(n+½)|n⟩ + O(λ³) and the unequal-time commutator (4.17), claiming agreement with the expansion of the exact low-energy sector. Appendix A shows that the full CPS phase space of a nondegenerate higher-derivative system is isomorphic to Ostrogradsky's phase space. The algebraic calculations in Sec. 4 and Apps. B–C are internally consistent, but the paper's central 'automatic ghost decoupling' claim is stronger than what is demonstrated.

Significance. If properly qualified as a quantization of a deliberately chosen low-energy projection, the paper provides a clean worked example of perturbative CPS quantization of a higher-derivative system. The explicit two-loop-order expansions and the matching of the spectrum and commutator to the slow-mode sector are useful and carefully presented. The main advertised advance, however—that the ghost is decoupled automatically by the covariant phase space geometry—is not established: the fast mode is discarded by hand in Sec. 3.4 and the ansatz (4.6), and App. A shows that the full CPS formalism reproduces the Ostrogradsky ghost. The paper would be a solid contribution if reframed as a low-energy effective quantization, but in its current form it overstates its novelty and leaves a real ambiguity in the choice of perturbative particular solutions.

major comments (3)
  1. [Abstract; Sec. 3.4, 4.2, 5; App. A] The claim that the Ostrogradsky ghost is 'automatically decoupled' and that the decoupling 'emerges naturally from the geometry of the solution space' is not supported. Appendix A proves that the full CPS phase space of a nondegenerate higher-derivative Lagrangian is isomorphic to Ostrogradsky's four-dimensional phase space, including the ghost. Sec. 3.4 explicitly states 'We therefore restrict the perturbative expansion to the slow mode f_+', and the ansatz (4.6) contains only the unperturbed oscillator frequency ω. The f_- mode is nonperturbative in λ and is absent from the power series (4.5). Thus the ghost is removed by an external projection, not by the CPS formalism. The abstract and conclusions should be revised to say that CPS is applied to the low-energy sector after truncation, not that the ghost decouples automatically.
  2. [Sec. 4.2, Eqs. (4.8)–(4.12), footnote 3] The perturbative solution is not unique: to the inhomogeneous equations (4.7) and (4.10) one may add arbitrary homogeneous solutions, e.g. c x0(t) to x1 at first order, with corresponding adjustments at higher orders. The paper fixes one particular solution and justifies it in footnote 3 by demanding that a and a† satisfy the standard algebra. But the symplectic form (4.13) is computed from the chosen solution, so this is an imposed Darboux-coordinate condition, not a consequence of the CPS dynamics. The authors should show that the physical spectrum and commutator are invariant under such redefinitions of the phase-space coordinates, or derive the particular solution from a stated principle. Without such a demonstration, Eq. (4.16) may reflect a coordinate choice rather than a unique prediction of the method.
  3. [Sec. 3.4 vs Sec. 4.3, Eqs. (3.15), (4.16)] The benchmark against which the perturbative result is tested is itself defined by the same truncation. Eqs. (3.15) and (3.16) are obtained by discarding the f_- sector in the exact solution (3.5), and the perturbative ansatz (4.6) contains only the slow mode by construction. The agreement between (4.16)/(4.17) and (3.15)/(3.16) therefore demonstrates consistency of two versions of the same low-energy projection; it does not independently validate the method as a way to 'bypass' the Ostrogradsky construction. The paper should state clearly that the CPS calculation quantizes the projected low-energy theory, and that the dynamical decoupling of the ghost in a more general, interacting or nonlinear setting is not addressed.
minor comments (4)
  1. [Eq. (3.10)] There is a typo: the first two commutators on the right-hand side are identical, '[a_+, a_+†] = [a_+, a_+†]'. Presumably one of them should involve the minus-mode operators, e.g. [a_+, a_-] = 0.
  2. [Sec. 4.1] The notation 'y' in the definition of X_ξ is undefined. Please specify that x and y denote the coordinates on the solution space, or use a clearer notation.
  3. [Footnote 3] The stated validity bound |t| ≪ 1/(λω³) is not reflected in Eq. (4.17), which is written for arbitrary t1, t2. A sentence about the uniform validity of the λ-expansion for unequal-time commutators would help avoid confusion.
  4. [References] Reference [32] appears to have an incomplete bibliographic entry (journal/pages missing). Please format it consistently.

Circularity Check

2 steps flagged

Ghost decoupling is imposed by the slow-mode truncation; the spectrum itself is computed and matches, so circularity is partial.

specific steps
  1. self definitional [Sec. 3.4 (p. 5); Sec. 4 opening (p. 6); App. A.5 (p. 11)]
    "We therefore restrict the perturbative expansion to the slow mode f_+ in what follows. ... By constructing the symplectic form directly on the low-energy sector of the solution space, the ghost mode is automatically decoupled. ... The covariant phase space formalism ... produces the canonical structure that is identical to the Ostrogradsky's construction."

    The 'low-energy sector' is chosen by hand in Sec. 3.4 before CPS is applied. App. A proves the full CPS phase space is isomorphic to Ostrogradsky's, so the CPS geometry itself does not discard the f_- ghost. Therefore the advertised 'automatic decoupling' is true by construction: the Hilbert space is defined on the span of x0 in (4.6) only. The benchmark (3.15)-(3.16) is obtained by the same slow-mode truncation, so the matching checks consistency of the truncation but does not derive the decoupling.

  2. other [Sec. 4.2, footnote 3; Eqs. (4.13)-(4.16)]
    "The specific solutions x1(t) and x2(t) are determined such that operators a and a† satisfy the standard creation-annihilation algebra upon quantization."

    The homogeneous parts of x1 and x2 are not fixed by the EOMs (4.7) and (4.10); footnote 3 says they are selected to enforce [a,a†]=1. Thus the symplectic-form result (4.13) and the quantization condition (4.14) are partly imposed by the ansatz rather than derived from the CPS geometry. This makes the harmonic-oscillator form of H in (4.15) a property of the chosen representation. The coefficient is still computed and agrees with the exact f_+ expansion, so this is a partial normalization issue rather than a complete reduction.

full rationale

The numerical results are not fitted: the frequency coefficient ω(1+1/2 λω^2 + 7/8 λ^2ω^4) follows from solving the perturbative EOM and evaluating the Hamiltonian (App. C), and the unequal-time commutator (4.17) follows from (4.9) and (4.14); both agree with the expansion of the exact slow branch, which is an independent benchmark within the truncated sector. The circular content is concentrated in the 'automatic ghost decoupling' claim: Sec. 3.4 restricts the solution space to the slow mode by hand, and App. A shows the full CPS formalism is identical to Ostrogradsky's, so the decoupling is an input, not an output. The footnote-3 choice of particular solutions to enforce the standard creation-annihilation algebra is a legitimate normalization, but it means the canonical structure is partly built into the ansatz. The self-citation [25] for the decoupling is accompanied by physical reasons (large frequency, high excitation energy), so it is not independently load-bearing. Overall, the main spectral computation retains independent content, but the central 'natural decoupling' claim reduces to the truncation choice; score 4.

Axiom & Free-Parameter Ledger

1 free parameters · 4 axioms · 0 invented entities

The central computation rests on a standard ODE existence result, the standard CPS-to-Ostrogradsky equivalence, and an ad hoc truncation to the slow mode. No new entities are introduced. The only hand-chosen numbers are the particular-solution coefficients, selected to keep the symplectic form canonical.

free parameters (1)
  • Homogeneous-solution coefficients in x1(t), x2(t) = e.g. 3/4, 1/2, 61/32, 5/4, -1/8 (ω-scaled)
    Footnote 3 states the specific solutions are chosen so that a and a† obey the standard algebra; this fixes the symplectic form to be canonical and is an input, not derived from initial conditions.
axioms (4)
  • standard math Solutions to the fourth-order EOM are uniquely determined by four initial data (q, qdot, qddot, qdddot).
    Used in App. A.2 to identify CPS and Ostrogradsky phase spaces.
  • standard math The covariant phase space symplectic form reproduces the canonical Ostrogradsky structure for non-degenerate higher-derivative Lagrangians.
    App. A establishes the equivalence; relies on standard results [26-31].
  • ad hoc to paper The physical low-energy sector is described by the two-dimensional phase space generated by the slow frequency f_+; the fast mode f_- decouples and can be discarded.
    Invoked in Sec. 3.4 and used to set the ansatz Eq. (4.6). This is the load-bearing truncation; without it the full CPS phase space still contains the Ostrogradsky ghost (App. A).
  • domain assumption The perturbative expansion x = x0 + λx1 + λ²x2 is valid for |t| ≪ 1/(λω³).
    Footnote 3; needed to justify neglecting higher-order terms in the unequal-time commutator.

pith-pipeline@v1.3.0-alltime-deepseek · 9130 in / 15554 out tokens · 166289 ms · 2026-08-04T01:14:57.204742+00:00 · methodology

0 comments
read the original abstract

In this paper, we apply the covariant phase space formalism to the perturbative canonical quantization of the Pais-Uhlenbeck oscillator, with the acceleration-squared term treated as a perturbation. We quantize this model by constructing the symplectic form on the low-energy solution space. We then compute the energy spectrum and the unequal-time commutator in a perturbative way, and obtain the results that agree with the expansion of the exact low-energy theory. The perturbation method bypasses the standard Ostrogradsky construction and naturally decouples the Ostrogradsky ghost. This work extends our previous perturbative quantization scheme to genuine higher-derivative theories.

discussion (0)

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

Reference graph

Works this paper leans on

33 extracted references · 21 linked inside Pith

  1. [1]

    Pais and G

    A. Pais and G. E. Uhlenbeck,On Field theories with nonlocalized action,Phys. Rev.79 (1950) 145–165

    1950

  2. [2]

    D. A. Eliezer and R. P. Woodard,The Problem of Nonlocality in String Theory,Nucl. Phys. B325(1989) 389

    1989

  3. [3]

    Moeller and B

    N. Moeller and B. Zwiebach,Dynamics with infinitely many time derivatives and rolling tachyons,JHEP10(2002) 034, [hep-th/0207107]

    Pith/arXiv arXiv 2002

  4. [4]

    K. S. Stelle,Renormalization of Higher Derivative Quantum Gravity,Phys. Rev. D16 (1977) 953–969

    1977

  5. [5]

    Julve and M

    J. Julve and M. Tonin,Quantum Gravity with Higher Derivative Terms,Nuovo Cim. B 46(1978) 137–152

    1978

  6. [6]

    Nojiri, S

    S. Nojiri, S. D. Odintsov and S. Ogushi,Cosmological and black hole brane world universes in higher derivative gravity,Phys. Rev. D65(2002) 023521, [hep-th/0108172]

    Pith/arXiv arXiv 2002

  7. [7]

    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

  8. [8]

    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

  9. [9]

    H. Lu, A. Perkins, C. N. Pope and K. S. Stelle,Black Holes in Higher-Derivative Gravity,Phys. Rev. Lett.114(2015) 171601, [1502.01028]. 13

    Pith/arXiv arXiv 2015

  10. [10]

    Shankaranarayanan and J

    S. Shankaranarayanan and J. P. Johnson,Modified theories of gravity: Why, how and what?,Gen. Rel. Grav.54(2022) 44, [2204.06533]

    Pith/arXiv arXiv 2022

  11. [11]

    Kristensen and C

    P. Kristensen and C. MollerKongelige Danske Videnskabernes Selskab, Matematisk-fysiske Meddelelser27(1952) 7

    1952

  12. [12]

    Connes, M

    A. Connes, M. R. Douglas and A. S. Schwarz,Noncommutative geometry and matrix theory: Compactification on tori,JHEP02(1998) 003, [hep-th/9711162]

    Pith/arXiv arXiv 1998

  13. [13]

    Seiberg and E

    N. Seiberg and E. Witten,String theory and noncommutative geometry,JHEP09 (1999) 032, [hep-th/9908142]

    Pith/arXiv arXiv 1999

  14. [14]

    M. R. Douglas and N. A. Nekrasov,Noncommutative field theory,Rev. Mod. Phys.73 (2001) 977–1029, [hep-th/0106048]

    Pith/arXiv arXiv 2001

  15. [15]

    R. J. Szabo,Quantum field theory on noncommutative spaces,Phys. Rept.378(2003) 207–299, [hep-th/0109162]

    Pith/arXiv arXiv 2003

  16. [16]

    Ostrogradsky,M´ emoire sur les ´ equations diff´ erentielles relatives au probl` eme des isop´ erim` etres,M´ emoires de l’Acad´ emie Imp´ eriale des Sciences de St

    M. Ostrogradsky,M´ emoire sur les ´ equations diff´ erentielles relatives au probl` eme des isop´ erim` etres,M´ emoires de l’Acad´ emie Imp´ eriale des Sciences de St. P´ etersbourgVI (1850) 385

  17. [17]

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

    Pith/arXiv arXiv 2015

  18. [18]

    Barua and S

    D. Barua and S. N. Gupta,Canonical Quantization of Fields with Higher Derivative Couplings,Phys. Rev. D16(1977) 413–416

    1977

  19. [19]

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

    1986

  20. [20]

    J. Z. Simon,Higher Derivative Lagrangians, Nonlocality, Problems and Solutions,Phys. Rev. D41(1990) 3720

    1990

  21. [21]

    C. M. Reyes,Testing symmetries in effective models of higher derivative field theories, Phys. Rev. D80(2009) 105008, [0901.1341]

    Pith/arXiv arXiv 2009

  22. [22]

    T.-j. Chen, M. Fasiello, E. A. Lim and A. J. Tolley,Higher derivative theories with constraints: Exorcising Ostrogradski’s Ghost,JCAP02(2013) 042, [1209.0583]

    Pith/arXiv arXiv 2013

  23. [23]

    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]. 14

    Pith/arXiv arXiv 2002

  24. [24]

    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

  25. [25]

    Wu and J

    J.-q. Wu and J. Zhao,Canonical quantization for effective theories with perturbations altering degrees of freedom: a covariant phase space approach,2606.24442

    Pith/arXiv arXiv

  26. [26]

    Lee and R

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

    1990

  27. [27]

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

    Pith/arXiv arXiv 1993

  28. [28]

    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

  29. [29]

    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

  30. [30]

    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

  31. [31]

    Harlow and J.-Q

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

    Pith/arXiv arXiv 2020

  32. [32]

    S. V. Ketov, G. Michiaki and T. Yumibayashi,Quantizing with a higher time derivative, 10, 2011.1110.1155

    arXiv 2011

  33. [33]

    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. 15

    1957