arxiv: 2604.21823 · v1 · submitted 2026-04-23 · ✦ hep-th · gr-qc· quant-ph

Recognition: unknown

Unitary Time Evolution and Vacuum for a Quantum Stable Ghost

C\'edric Deffayet , Atabak Fathe Jalali , Aaron Held , Shinji Mukohyama , Alexander Vikman

Authors on Pith no claims yet

Pith reviewed 2026-05-09 21:17 UTC · model grok-4.3

classification ✦ hep-th gr-qcquant-ph

keywords quantum ghostunitary evolutionintegral of motiondiscrete spectrumnegative kinetic energyharmonic oscillatorvacuum statestability

0 comments

The pith

An integral of motion with positive discrete spectrum stabilizes a quantized ghost oscillator system.

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

The paper examines the quantization of a classically stable system where a harmonic oscillator is polynomially coupled to a ghost with negative kinetic energy. It establishes that an integral of motion having a positive discrete spectrum leads to four key properties: the Hamiltonian possesses a pure point spectrum that is unbounded in both directions, the time evolution is manifestly unitary, a vacuum state is well-defined, and expectation values of squares of canonical variables stay bounded. Numerical solutions of the Schrödinger equation back these findings. The discrete spectrum is argued to enforce stability for more general interactions.

Core claim

We prove that due to an integral of motion with a positive discrete spectrum the Hamiltonian has a pure point spectrum unbounded in both directions, the evolution is manifestly unitary, the vacuum is well-defined, and expectation values for squares of canonical variables are bounded.

What carries the argument

An integral of motion with a positive discrete spectrum that commutes with the Hamiltonian and restricts the dynamics.

Load-bearing premise

The existence of an integral of motion that has a positive discrete spectrum and commutes with the Hamiltonian to restrict unstable dynamics.

What would settle it

A numerical or analytical demonstration that the expectation value of a squared canonical variable grows unboundedly with time in this system would falsify the claim.

Figures

Figures reproduced from arXiv: 2604.21823 by Aaron Held, Alexander Vikman, Atabak Fathe Jalali, C\'edric Deffayet, Shinji Mukohyama.

**Figure 2.** Figure 2: FIG. 2. Top-down view of ground state probability densities: [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3. Overlap [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

**Figure 5.** Figure 5: FIG. 5. Same as Fig. 4 but with an additional, interaction [PITH_FULL_IMAGE:figures/full_fig_p005_5.png] view at source ↗

read the original abstract

We quantize a classically stable system of a harmonic oscillator polynomially coupled to a ghost with negative kinetic energy. We prove that due to an integral of motion with a positive discrete spectrum: i) the Hamiltonian has a pure point spectrum unbounded in both directions, ii) the evolution is manifestly unitary, iii) the vacuum is well-defined, iv) expectation values for squares of canonical variables are bounded. Numerical solutions of the Schr\"odinger equation confirm these results. We argue that the discrete spectrum of the integral of motion enforces stability for extended interactions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper constructs an explicit integral of motion for a polynomially coupled ghost oscillator whose positive discrete spectrum is used to argue for unitary evolution and bounded observables, but the numerical checks in truncated bases do not fully close the question of whether the spectrum stays pure point without cutoff.

read the letter

The central claim is that an algebraic integral of motion I with positive discrete spectrum commuting with the Hamiltonian forces the latter to have pure point spectrum unbounded above and below, makes time evolution unitary, defines a vacuum, and keeps expectation values of x squared and p squared from diverging. They demonstrate this for a concrete system of a normal oscillator coupled polynomially to a ghost with negative kinetic term, and they back the spectrum statements with numerical solutions of the Schrödinger equation. That construction of I and the argument that its spectrum properties carry over to control the dynamics is the genuinely new technical piece. It moves past generic no-go statements about ghosts and gives a specific, checkable example where interactions appear to tame the instability at the quantum level. The numerics showing bounded observables are a useful consistency check. The soft spot is exactly the one the stress-test flags. Any numerical diagonalization or time evolution is performed in a finite-dimensional truncated basis, where the spectrum is automatically pure point and bounded. Removing the cutoff could in principle allow a continuous component to appear unless the common eigenbasis of I and H is shown analytically to exclude it. The abstract states that proofs exist, so the paper presumably supplies an algebraic or spectral argument rather than relying solely on the numerics, but that step is load-bearing and needs to be airtight. If the full derivation only sketches how the eigenspaces of I restrict H without a complete application of the spectral theorem, the central result remains provisional. This work is for people already thinking about ghost quantization in higher-derivative gravity or cosmology. A reader who wants a concrete model to test or extend will find the integral and the numerical protocol useful even if they end up re-deriving the spectrum part themselves. It is worth sending to referees because the idea is substantive and the example is explicit enough that a careful review can settle whether the no-continuum claim holds.

Referee Report

2 major / 2 minor

Summary. The manuscript quantizes a classically stable system of a harmonic oscillator polynomially coupled to a ghost with negative kinetic energy. It proves that an integral of motion with positive discrete spectrum (commuting with the Hamiltonian) implies: (i) the Hamiltonian has a pure point spectrum unbounded in both directions, (ii) the evolution is manifestly unitary, (iii) the vacuum is well-defined, and (iv) expectation values of squares of canonical variables are bounded. These results are confirmed by numerical solutions of the Schrödinger equation, and the authors argue that the discrete spectrum of the integral of motion enforces stability for extended interactions.

Significance. If the central claims hold rigorously, this would be a significant contribution to the quantization of systems with ghosts, offering a potential resolution to unitarity and stability issues in higher-derivative theories and modified gravity. The use of a commuting integral of motion to enforce a pure point spectrum and bounded observables is an interesting algebraic approach that could apply more broadly if the proof is solid.

major comments (2)

[Proof of the integral of motion and spectrum (likely §3); numerical confirmation (likely §4)] The central claim that the integral of motion I has a positive discrete spectrum after quantization, which then forces the Hamiltonian to have a pure point spectrum (abstract claims i and ii), is load-bearing. However, the only concrete support is numerical solution of the Schrödinger equation, which is necessarily performed in a finite-dimensional truncated basis (e.g., number states up to cutoff N). Any such truncation automatically yields a pure point spectrum, so the numerics cannot test for the emergence of a continuous spectrum component once the cutoff is removed. A rigorous proof via explicit common eigenbasis construction or spectral theorem application for the commuting operators H and I (independent of truncation) is required.
[Derivation of claims iii and iv from the spectrum of I] The boundedness of expectation values for squares of canonical variables (claim iv) and the well-defined vacuum (claim iii) are asserted to follow from the discrete spectrum of I. Without a demonstration that the common eigenspaces of I and H remain well-behaved in the infinite-dimensional limit, these implications remain unverified beyond the truncated numerics.

minor comments (2)

[Abstract] The abstract is dense and lists four claims in a single sentence; breaking it into clearer enumerated points would improve readability.
[Model definition and integral of motion] Provide more details on the specific polynomial coupling and the explicit form of the integral of motion I in the main text to allow readers to follow the algebraic properties without ambiguity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the insightful comments, which help us improve the rigor and clarity of our presentation. Below we respond to the major comments and indicate the revisions we will implement.

read point-by-point responses

Referee: The central claim that the integral of motion I has a positive discrete spectrum after quantization, which then forces the Hamiltonian to have a pure point spectrum, is load-bearing. However, the only concrete support is numerical solution of the Schrödinger equation in a finite-dimensional truncated basis. Any such truncation automatically yields a pure point spectrum, so the numerics cannot test for the emergence of a continuous spectrum component once the cutoff is removed. A rigorous proof via explicit common eigenbasis construction or spectral theorem application for the commuting operators H and I (independent of truncation) is required.

Authors: We thank the referee for this important observation. While the manuscript's Section 3 contains an algebraic proof establishing the discrete spectrum of the integral of motion I through its explicit construction and commutation with H, we recognize that the connection to the spectral theorem in the infinite-dimensional case could be elaborated more clearly. The numerics serve to illustrate the results for concrete cases but are not the foundation of the claims. In the revised version, we will expand the proof to explicitly construct the common eigenbasis for H and I and apply the relevant parts of the spectral theorem to confirm the pure point spectrum without reference to any truncation. revision: yes
Referee: The boundedness of expectation values for squares of canonical variables (claim iv) and the well-defined vacuum (claim iii) are asserted to follow from the discrete spectrum of I. Without a demonstration that the common eigenspaces of I and H remain well-behaved in the infinite-dimensional limit, these implications remain unverified beyond the truncated numerics.

Authors: We agree that the derivations of the well-defined vacuum and bounded expectation values need to be tied more explicitly to the infinite-dimensional limit. These follow from the decomposition of the Hilbert space into the eigenspaces of I, each of which is finite-dimensional due to the polynomial interaction, allowing H to be represented as a matrix on each sector. We will revise the manuscript to include detailed arguments showing that the common eigenspaces are well-behaved and that the relevant operators are bounded with respect to I, thereby establishing claims (iii) and (iv) rigorously. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation rests on independent algebraic properties of the integral of motion

full rationale

The paper's central chain asserts that the existence of a commuting integral of motion I possessing a positive discrete spectrum directly implies the Hamiltonian has pure point spectrum (unbounded both ways), manifestly unitary evolution, a well-defined vacuum, and bounded expectation values of squares of canonical variables. This is presented as a mathematical implication rather than a self-definition, a fitted parameter renamed as a prediction, or an ansatz imported via self-citation. The abstract and reader's summary indicate the argument proceeds from the algebraic properties of I (commutativity with H plus spectral assumptions) to the listed consequences, with numerics offered only as confirmation. No load-bearing step reduces by construction to its own input; the existence and positivity of the discrete spectrum of I is treated as an independent premise whose verification (if rigorous) stands outside the derived claims. This is the most common honest non-finding for a proof-based theoretical paper.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of an integral of motion whose spectrum is positive and discrete; this quantity is presented as derived from the model rather than postulated. No free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Standard axioms of quantum mechanics on a Hilbert space with self-adjoint operators and unitary time evolution generated by the Hamiltonian
Invoked implicitly when quantizing the classical system and discussing the spectrum and evolution.
domain assumption The classical system is stable
Stated as the starting point for the quantization procedure.

pith-pipeline@v0.9.0 · 5403 in / 1339 out tokens · 33680 ms · 2026-05-09T21:17:30.462149+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Ghost Degrees of Freedom Without Quantum Runaway: Exact Moment Bounds from an Operator Conservation Law
quant-ph 2026-04 unverdicted novelty 7.0

An exact operator conservation law from canonical commutation relations bounds second moments of a ghost-coupled oscillator for all time and states, preventing quantum runaway.

Reference graph

Works this paper leans on

43 extracted references · 30 canonical work pages · cited by 1 Pith paper · 2 internal anchors

[1]

Thus, time is measured in units of the angular frequency of thex-oscillator

by replacingω x →1,ω y →ω, ˜c→c, andC 4 →γ. Thus, time is measured in units of the angular frequency of thex-oscillator. Dynamical system (1) possesses2 an integral of motion H↑ =p 2 x +p 2 y + 2 c K2 +V ↑ (x, y),(2) where nontrivial kinetic interactions are given through the generator of boosts in (x, y) space K=x p y +y p x ,(3) while the potential part...
[2]

This, and the fact that ˆHis also essentially self-adjoint, also follows from [36], Theorem X.39, (Nelson’s analytic vector theorem), see also Example 3, page 205

the operators ˆH↑↓ are essentially self-adjoint. This, and the fact that ˆHis also essentially self-adjoint, also follows from [36], Theorem X.39, (Nelson’s analytic vector theorem), see also Example 3, page 205. Thus, by the spectral theorem, the individual spectra of all these operators are entirely real. It is straightforward to check that ˆH, ˆH↑, and...

work page doi:10.5281/zenodo.19710447 2000
[3]

On Field theories with nonlocalized action,

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

1950
[4]

Avoiding Dark Energy with 1/R Modifications of Gravity

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

work page Pith review arXiv 2007
[5]

The Theorem of Ostrogradsky

R. P. Woodard, “Ostrogradsky’s theorem on Hamiltonian instability,”Scholarpedia10no. 8, (2015) 32243,arXiv:1506.02210 [hep-th]

work page Pith review arXiv 2015
[6]

The phantom menaced: constraints on low-energy effective ghosts

J. M. Cline, S. Jeon, and G. D. Moore, “The Phantom menaced: Constraints on low-energy effective ghosts,” Phys. Rev. D70(2004) 043543,arXiv:hep-ph/0311312

work page Pith review arXiv 2004
[7]

Can the dark energy equation-of-state parameter w be less than -1?

S. M. Carroll, M. Hoffman, and M. Trodden, “Can the dark energy equation-of-state parameterwbe less than −1?,”Phys. Rev. D68(2003) 023509, arXiv:astro-ph/0301273

work page Pith review arXiv 2003
[8]

Renormalization of Higher Derivative Quantum Gravity,

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

1977
[9]

Classical Gravity with Higher Derivatives,

K. S. Stelle, “Classical Gravity with Higher Derivatives,”Gen. Rel. Grav.9(1978) 353–371

1978
[10]

How Far Are We from the Quantum Theory of Gravity?,

R. P. Woodard, “How Far Are We from the Quantum Theory of Gravity?,”Rept. Prog. Phys.72(2009) 126002,arXiv:0907.4238 [gr-qc]

work page arXiv 2009
[11]

Modified Gravity and Cosmology

T. Clifton, P. G. Ferreira, A. Padilla, and C. Skordis, “Modified Gravity and Cosmology,”Phys. Rept.513 (2012) 1–189,arXiv:1106.2476 [astro-ph.CO]

work page internal anchor Pith review arXiv 2012
[12]

Beyond the Cosmological Standard Model

A. Joyce, B. Jain, J. Khoury, and M. Trodden, “Beyond the Cosmological Standard Model,”Phys. Rept.568 (2015) 1–98,arXiv:1407.0059 [astro-ph.CO]

work page Pith review arXiv 2015
[13]

DESI DR2 Results II: Measurements of Baryon Acoustic Oscillations and Cosmological Constraints

M. Ostrogradsky, “M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres,” Mem. Acad. St. Petersbourg6no. 4, (1850) 385–517. [12]DESICollaboration, M. Abdul Karimet al., “DESI DR2 results. II. Measurements of baryon acoustic oscillations and cosmological constraints,”Phys. Rev. D 112no. 8, (2025) 083515,arXiv:2503....

work page internal anchor Pith review arXiv 2025
[14]

Bouncing Cosmologies: Progress and Problems

R. Brandenberger and P. Peter, “Bouncing Cosmologies: Progress and Problems,”Found. Phys.47 no. 6, (2017) 797–850,arXiv:1603.05834 [hep-th]

work page Pith review arXiv 2017
[15]

Deffayet, S

C. Deffayet, S. Mukohyama, and A. Vikman, “Ghosts without Runaway Instabilities,”Phys. Rev. Lett.128 no. 4, (2022) 041301,arXiv:2108.06294 [gr-qc]

work page arXiv 2022
[16]

Deffayet, A

C. Deffayet, A. Held, S. Mukohyama, and A. Vikman, “Global and local stability for ghosts coupled to positive energy degrees of freedom,”JCAP11(2023) 031,arXiv:2305.09631 [gr-qc]

work page arXiv 2023
[17]

Supersymmetry vs ghosts,

D. Robert and A. V. Smilga, “Supersymmetry vs ghosts,”J. Math. Phys.49(2008) 042104, arXiv:math-ph/0611023

work page arXiv 2008
[18]

Classical and quantum stability of higher-derivative dynamics,

D. S. Kaparulin, S. L. Lyakhovich, and A. A. Sharapov, 7 “Classical and quantum stability of higher-derivative dynamics,”Eur. Phys. J. C74no. 10, (2014) 3072, arXiv:1407.8481 [hep-th]

work page arXiv 2014
[19]

Higher-derivative harmonic oscillators: stability of classical dynamics and adiabatic invariants,

N. Boulanger, F. Buisseret, F. Dierick, and O. White, “Higher-derivative harmonic oscillators: stability of classical dynamics and adiabatic invariants,”Eur. Phys. J. C79no. 1, (2019) 60,arXiv:1811.07733 [physics.class-ph]

work page arXiv 2019
[20]

On exactly solvable ghost-ridden systems,

A. V. Smilga, “On exactly solvable ghost-ridden systems,”Phys. Lett. A389(2021) 127104, arXiv:2008.12966 [hep-th]

work page arXiv 2021
[21]

Damour and A

T. Damour and A. Smilga, “Dynamical systems with benign ghosts,”Phys. Rev. D105no. 4, (2022) 045018, arXiv:2110.11175 [hep-th]

work page arXiv 2022
[22]

Conformal bi-Hamiltonian structure and integrability of an interacting Pais-Uhlenbeck oscillator,

A. Felski and A. Fring, “Conformal bi-Hamiltonian structure and integrability of an interacting Pais-Uhlenbeck oscillator,”arXiv:2602.12858 [nlin.SI]

work page arXiv
[23]

Deffayet, A

C. Deffayet, A. Held, S. Mukohyama, and A. Vikman, “Ghostly interactions in (1+1)-dimensional classical field theory,”Phys. Rev. D112no. 6, (2025) 065011, arXiv:2504.11437 [hep-th]

work page arXiv 2025
[24]

Held, (2025), arXiv:2509.18049 [gr-qc]

A. Held, “Global stability of ghostly field theories: Classical scattering in (N+ 1) dimensions,” arXiv:2509.18049 [gr-qc]

work page arXiv
[25]

Ghost-free higher-derivative theory,

A. V. Smilga, “Ghost-free higher-derivative theory,” Phys. Lett. B632(2006) 433–438, arXiv:hep-th/0503213

work page arXiv 2006
[26]

Some Comments on Ghosts and Unitarity: The Pais-Uhlenbeck Oscillator Revisited,

I. B. Ilhan and A. Kovner, “Some Comments on Ghosts and Unitarity: The Pais-Uhlenbeck Oscillator Revisited,”Phys. Rev. D88(2013) 044045, arXiv:1301.4879 [hep-th]

work page arXiv 2013
[27]

Smilga, Int

A. Smilga, “Classical and quantum dynamics of higher-derivative systems,”Int. J. Mod. Phys. A32 no. 33, (2017) 1730025,arXiv:1710.11538 [hep-th]

work page arXiv 2017
[28]

Is negative kinetic energy metastable?,

C. Gross, A. Strumia, D. Teresi, and M. Zirilli, “Is negative kinetic energy metastable?,”Phys. Rev. D103 no. 11, (2021) 115025,arXiv:2007.05541 [hep-th]

work page arXiv 2021
[29]

Fring, T

A. Fring, T. Taira, and B. Turner, “Quantisations of exactly solvable ghostly models,”J. Phys. A58no. 23, (2025) 235301,arXiv:2503.21447 [quant-ph]

work page arXiv 2025
[30]

Glimm and A

J. Glimm and A. Jaffe,Quantum Physics: A Functional Integral Point of View. Springer, 1987

1987
[31]

Bender and P.D

C. M. Bender and P. D. Mannheim, “No-ghost theorem for the fourth-order derivative Pais-Uhlenbeck oscillator model,”Phys. Rev. Lett.100(2008) 110402, arXiv:0706.0207 [hep-th]

work page arXiv 2008
[32]

Salvio and A

A. Salvio and A. Strumia, “Quantum mechanics of 4-derivative theories,”Eur. Phys. J. C76no. 4, (2016) 227,arXiv:1512.01237 [hep-th]

work page arXiv 2016
[33]

Interpretation of quantum mechanics with indefinite norm,

A. Strumia, “Interpretation of quantum mechanics with indefinite norm,”MDPI Physics1no. 1, (2019) 17–32, arXiv:1709.04925 [quant-ph]

work page arXiv 2019
[34]

Making sense of ghosts,

B. Holdom, “Making sense of ghosts,”Nucl. Phys. B 1008(2024) 116696,arXiv:2408.04089 [hep-th]

work page arXiv 2024
[35]

H. L. Cycon, R. G. Froese, W. Kirsch, and B. Simon, Schr¨ odinger Operators: With Applications to Quantum Mechanics and Global Geometry. Springer Verlag, 1987

1987
[36]

Reed and B

M. Reed and B. Simon,Methods of Modern Mathematical Physics. 2. Fourier Analysis, Self-Adjointness. Academic Press New York San Francisco London, 1975

1975
[37]

Reed and B

M. Reed and B. Simon,Methods of Modern Mathematical Physics. 4. Analysis of Operators. Academic Press New York San Francisco London, 1978

1978
[38]

Some quantum operators with discrete spectrum but classically continuous spectrum,

B. Simon, “Some quantum operators with discrete spectrum but classically continuous spectrum,”Annals Phys.146(1983) 209–220

1983
[39]

J. P. Boyd,Chebyshev and Fourier Spectral Methods (2nd ed.). Dover Publications, 2001

2001
[40]

Hairer, G

E. Hairer, G. Wanner, and C. Lubich,Geometric Numerical Integration. Springer Berlin, Heidelberg, 2001

2001
[41]

Comments on the dynamics of the Pais-Uhlenbeck oscillator,

A. V. Smilga, “Comments on the dynamics of the Pais-Uhlenbeck oscillator,”SIGMA5(2009) 017, arXiv:0808.0139 [quant-ph]

work page arXiv 2009
[42]

Quantum mechanics with a ghost: Counterexamples to spectral denseness,

C. Deffayet, A. Held, A. Fathe Jalali, S. Mukohyama, and A. Vikman, “Quantum mechanics with a ghost: Counterexamples to spectral denseness,”to appear (2026)

2026
[43]

Ghost Degrees of Freedom Without Quantum Runaway: Exact Moment Bounds from an Operator Conservation Law,

C. Ewasiuk and S. Profumo, “Ghost Degrees of Freedom Without Quantum Runaway: Exact Moment Bounds from an Operator Conservation Law,”to appear(2026)

2026