Escape from Ostrogradsky via Hidden Ghost Parity
Pith reviewed 2026-07-02 18:14 UTC · model grok-4.3
The pith
A four-derivative quantum field theory can remain unitary and UV-complete by relying on a hidden ghost parity symmetry.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that a four-derivative, UV-complete quantum field theory with a consistent perturbative expansion exists and describes high-energy scattering processes. The theory is quantized covariantly on an indefinite Krein space of states, perturbative causality and unitarity (via the optical theorem) are preserved to all orders, the Born rule is generalized to Krein spaces, and all tree-level transition probabilities are shown to be positive. The proof relies on a hidden ghost parity symmetry that is made explicit by embedding the four-derivative theory inside a two-derivative, two-field O(1,1)-symmetric theory.
What carries the argument
The hidden ghost parity symmetry, which enforces positivity of probabilities once the four-derivative theory is embedded in an O(1,1)-symmetric two-field model.
If this is right
- Tree-level transition probabilities remain positive despite the presence of ghosts.
- Perturbative causality and unitarity hold to all orders in the expansion.
- The model provides a consistent description of high-energy scattering processes.
- Quantization on a Krein space together with the generalized Born rule replaces the usual Hilbert-space construction.
Where Pith is reading between the lines
- The same embedding technique might be applied to other higher-derivative Lagrangians that are currently dismissed on Ostrogradsky grounds.
- If the symmetry survives loop corrections, it could open a window for renormalizable higher-derivative extensions of the Standard Model.
- The construction suggests that indefinite-metric quantizations may be viable in effective theories once an appropriate discrete symmetry is identified.
Load-bearing premise
The hidden ghost parity symmetry continues to enforce positivity of probabilities and unitarity when the embedding is removed and the theory is treated as a standalone four-derivative model.
What would settle it
An explicit tree-level scattering amplitude in the four-derivative theory that yields a negative probability or violates the optical theorem after the embedding is removed.
read the original abstract
We present a counterexample to Ostrogradsky's famous "no go" theorem as usually interpreted in quantum field theory (QFT), namely a four-derivative, UV-complete QFT with a consistent perturbative expansion which describes high energy scattering processes. We carefully quantize the theory on an $\textit{indefinite}$ space of states - a Krein space - using covariant methods which ensure perturbative causality and unitarity (in the form of the optical theorem) to all orders. We generalize the Born rule to Krein spaces and prove that all tree level transition probabilities are positive in spite of the presence of ghosts. A key role in the proof is played by a hidden "ghost parity" symmetry which becomes explicit when the theory is embedded in a two-derivative, two-field $O(1,1)$-symmetric perturbative field theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to construct a counterexample to the standard interpretation of Ostrogradsky's theorem in QFT: a four-derivative scalar theory that is UV-complete, admits a consistent perturbative expansion, and is quantized covariantly on a Krein space such that causality, the optical theorem (unitarity to all orders), and positive tree-level probabilities (via a generalized Born rule) all hold. The key mechanism is a hidden ghost parity symmetry whose positivity-enforcing properties are derived after embedding the theory in a two-derivative, two-field O(1,1)-symmetric model; the authors assert that these properties survive reduction to the standalone four-derivative theory.
Significance. If the embedding-removal step can be shown to preserve the positivity and unitarity results without additional structure, the result would be significant for higher-derivative QFTs, offering a concrete, perturbatively consistent model that evades the usual ghost-related obstructions while remaining UV-complete. The covariant quantization approach and explicit all-orders claims for the optical theorem are strengths that, if substantiated, would merit attention in the literature on indefinite-metric theories.
major comments (2)
- [Abstract and the section on embedding removal / ghost parity] The central claim that the generalized Born rule yields positive probabilities in the standalone four-derivative theory rests on the assertion that the hidden ghost parity symmetry survives removal of the O(1,1) embedding (Abstract). The manuscript must supply an explicit derivation showing that no step in the positivity or optical-theorem proof implicitly invokes the auxiliary field or the larger symmetry group; otherwise the result reduces to a redefinition rather than an independent counterexample.
- [Section on optical theorem / all-orders unitarity] § on all-orders unitarity: the claim of optical-theorem validity to all orders is stated without an explicit inductive step or check that the Krein-space inner product remains consistent after the embedding is removed; this is load-bearing for the perturbative consistency assertion.
minor comments (2)
- [Section introducing the generalized Born rule] Notation for the generalized Born rule should be introduced with an explicit formula (e.g., Eq. number) before its use in the positivity proof to improve readability.
- [Discussion of Krein space quantization] The manuscript would benefit from a short table or diagram contrasting the spectrum and inner product before and after embedding removal.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. The two major comments correctly identify points where the manuscript's claims would benefit from additional explicit derivations to strengthen the independence from the embedding. We will revise the manuscript to address both concerns directly.
read point-by-point responses
-
Referee: [Abstract and the section on embedding removal / ghost parity] The central claim that the generalized Born rule yields positive probabilities in the standalone four-derivative theory rests on the assertion that the hidden ghost parity symmetry survives removal of the O(1,1) embedding (Abstract). The manuscript must supply an explicit derivation showing that no step in the positivity or optical-theorem proof implicitly invokes the auxiliary field or the larger symmetry group; otherwise the result reduces to a redefinition rather than an independent counterexample.
Authors: We agree that an explicit derivation is required to demonstrate that the positivity and optical-theorem results are intrinsic to the four-derivative theory. The embedding is used only to make the ghost parity symmetry manifest; the subsequent proofs rely on algebraic properties of the Krein-space inner product and the symmetry itself. In the revised version we will add a dedicated subsection (following the current section on ghost parity) that rewrites each step of the generalized Born rule and optical-theorem arguments using only operators and states defined in the original four-derivative theory, with no reference to auxiliary fields or the O(1,1) group. This will confirm that the embedding functions solely as a discovery tool. revision: yes
-
Referee: [Section on optical theorem / all-orders unitarity] § on all-orders unitarity: the claim of optical-theorem validity to all orders is stated without an explicit inductive step or check that the Krein-space inner product remains consistent after the embedding is removed; this is load-bearing for the perturbative consistency assertion.
Authors: The all-orders unitarity statement is formulated directly in the Krein-space quantization of the four-derivative theory. We will insert an explicit inductive argument for the optical theorem in the relevant section, together with a verification that the indefinite inner product and its consistency conditions are preserved under the reduction from the embedded model. The induction will be carried out using only the ghost-parity operator and the original field content, thereby confirming that no auxiliary structure is required at any order. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The paper quantizes the four-derivative theory on a Krein space using covariant methods, generalizes the Born rule, and invokes a hidden ghost parity symmetry whose explicit form is revealed by an auxiliary two-field O(1,1) embedding. No equation or step is shown to reduce the standalone positivity result to a definition or fit performed inside the embedding; the embedding functions as an expository device rather than an input that is renamed as output. The central claims (UV completeness, perturbative unitarity via the optical theorem, and positive tree-level probabilities) are presented as following from the Krein-space quantization and generalized Born rule applied directly to the four-derivative theory. No self-citation chain, ansatz smuggling, or self-definitional loop is exhibited in the provided text.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Perturbative causality and unitarity (optical theorem) hold in Krein-space quantization when ghost parity is preserved.
- ad hoc to paper The O(1,1) embedding can be removed while retaining the positivity properties derived inside the larger theory.
invented entities (1)
-
Hidden ghost parity symmetry
no independent evidence
Reference graph
Works this paper leans on
-
[1]
The invari- ance of QG under diffeomorphisms yields a Ward identity guaranteeing that renormal- ization preserves the special form of the PS Lagrangian
With Anderson and Herzog we have shown that PS theory describes a specific limit – the conformally flat limit – of quadratic gravity (QG), the renormalizable theory of quantum gravity mentioned above [25]. The invari- ance of QG under diffeomorphisms yields a Ward identity guaranteeing that renormal- ization preserves the special form of the PS Lagrangian...
-
[2]
For ex- ample, we have studied the theory of a N-component, four-derivative dimensionless scalar onR×S N−1 which embeds in a O(N, N)-invariant model of two-derivative fields
The perfect square theory is merely the sim- plest of a large class of scalar four-derivative theories with hidden ghost parity which we expect to be quantum consistent. For ex- ample, we have studied the theory of a N-component, four-derivative dimensionless scalar onR×S N−1 which embeds in a O(N, N)-invariant model of two-derivative fields. This class o...
-
[3]
Initial investi- gations (with P
The perfect square theory has a positive Eu- clidean action and hence can be studied non- perturbatively on the lattice. Initial investi- gations (with P. Morandes) show that a mass gap is generated in a manner similar to QCD, and that composite shift-invariant operators, like (∂ϕ) 2 acquire nonzero vacuum expec- tation values when the couplingλbecomes 5 ...
-
[4]
The relevant ob- servation in this paper is that the key to obtaining consistent probabilities is a dis- crete hidden ghost parity, not shift symme- try
Perhaps most exciting, the incorporation of fundamental higher derivative, dimensionless scalars into cosmology may help to explain the origin of the observed large scale struc- ture in the universe [14]. The relevant ob- servation in this paper is that the key to obtaining consistent probabilities is a dis- crete hidden ghost parity, not shift symme- try...
-
[5]
Ostrogradsky, M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres, Mem
M. Ostrogradsky, M´ emoires sur les ´ equations diff´ erentielles, relatives au probl` eme des isop´ erim` etres, Mem. Acad. St. Petersbourg 6, 385 (1850)
-
[6]
Flato and C
M. Flato and C. Fronsdal, Quantum Field Theory of Singletons: The Rac, Lett. Math. Phys.5, 37 (1981); B. Binegar, C. Fronsdal, and W. Heiden- reich, Group theory of the dipole ghost, J. Math. Phys.25, 376 (1984); B. Binegar, On the state space of the dipole ghost, Letters in Mathemati- cal Physics6, 229 (1982)
1981
- [7]
-
[8]
V. O. Rivelles, Triviality of higher derivative the- ories, Physics Letters B577, 137–142 (2003)
2003
-
[9]
C. M. Bender and P. D. Mannheim, No-ghost theorem for the fourth-order derivative Pais- Uhlenbeck oscillator model, Phys. Rev. D78, 025022 (2008), arXiv:0706.0207 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[10]
Mostafazadeh, A hamiltonian formulation of the pais-uhlenbeck oscillator that yields a stable and unitary quantum system, Physics Letters A 375, 93 (2010)
A. Mostafazadeh, A hamiltonian formulation of the pais-uhlenbeck oscillator that yields a stable and unitary quantum system, Physics Letters A 375, 93 (2010)
2010
-
[11]
P. D. Mannheim, Making the Case for Con- formal Gravity, Found. Phys.42, 388 (2012), arXiv:1101.2186 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[12]
Einstein Gravity from Conformal Gravity
J. Maldacena, Einstein gravity from conformal gravity (2011), arXiv:1105.5632 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[13]
V. Errasti D´ ıez, J. Gaset Rif` a, and G. Staudt, Foundations of Ghost Stability, Fortsch. Phys.73, 2400268 (2025), arXiv:2408.16832 [hep-th]
- [14]
-
[15]
K. S. Stelle, Renormalization of Higher Derivative Quantum Gravity, Phys. Rev. D16, 953 (1977)
1977
-
[16]
L. Boyle and N. Turok, Cancelling the vac- uum energy and Weyl anomaly in the standard model with dimension-zero scalar fields (2021), arXiv:2110.06258 [hep-th]
- [17]
-
[18]
N. Turok and L. Boyle, A Minimal Explana- tion of the Primordial Cosmological Perturbations (2023), arXiv:2302.00344 [hep-ph]
-
[19]
B¨ ar, Green-Hyperbolic Operators on Globally Hyperbolic Spacetimes, Communications in Math- ematical Physics333, 1585 (2015)
C. B¨ ar, Green-Hyperbolic Operators on Globally Hyperbolic Spacetimes, Communications in Math- ematical Physics333, 1585 (2015)
2015
-
[20]
’t Hooft and M
G. ’t Hooft and M. J. G. Veltman, Diagrammar (1973)
1973
-
[21]
Bateman and N
S. Bateman and N. Turok, Unitarity and Positiv- ity in Higher Derivative QFTs from Hidden Ghost Parity (2026), to appear
2026
-
[22]
T. Y. Azizov, Y. P. Ginsburg, and H. Langer, On M. G. Krein’s papers in the theory of spaces with an indefinite metric, Ukrainian Mathematical Journal46, 3 (1994)
1994
-
[23]
Holdom, Making sense of ghosts, Nucl
B. Holdom, Making sense of ghosts, Nucl. Phys. B 1008, 116696 (2024), arXiv:2408.04089 [hep-th]
-
[24]
Morchio and F
G. Morchio and F. Strocchi, Infrared singulari- ties, vacuum structure and pure phases in local quantum field theory, Annales de l’institut Henri Poincar´ e. Section A, Physique Th´ eorique33, 251 (1980)
1980
-
[25]
Holdom, Running couplings and unitarity in a 4-derivative scalar field theory, Phys
B. Holdom, Running couplings and unitarity in a 4-derivative scalar field theory, Phys. Lett. B843, 138023 (2023), arXiv:2303.06723 [hep-th]
-
[26]
Holdom, UV-complete 4-derivative scalar field theory, Nucl
B. Holdom, UV-complete 4-derivative scalar field theory, Nucl. Phys. B1000, 116472 (2024), arXiv:2402.09223 [hep-th]
-
[27]
Anderson, S
M. Anderson, S. Bateman, F. Herzog, and N. Turok, Renormalization of a Four-Derivative Theory (2026), to appear
2026
-
[28]
N. N. Bogolubov, A. A. Logunov, A. I. Oksak, and I. T. Todorov, eds.,General Principles of Quan- tum Field Theory, Mathematical Physics and Ap- plied Mathematics, Vol. 10 (Springer, 1990)
1990
-
[29]
Anderson, S
M. Anderson, S. Bateman, F. Herzog, and N. Turok, Conformally Flat Limit of Quadratic Gravity (2026), to appear
2026
-
[30]
Symanzik, A field theory with computable large-momenta behavior, Lett
K. Symanzik, A field theory with computable large-momenta behavior, Lett. Nuovo Cim.6S2, 77 (1973)
1973
-
[31]
P. Romatschke, Phase Diagram and Finite Tem- perature Properties of Negative Coupling Scalar Field Theory (2026), arXiv:2603.19877 [hep-th]
-
[32]
R. J. Riegert, The particle content of linearized conformal gravity, Phys. Lett. B134, 56 (1984). 6 Appendix A: Coherent states and consistency with Ostrogradsky Consider a free scalar fieldϕwhich satisfies the covariant commutation relation [ϕ(x), ϕ(y)] = i∆(x−y). Letϕ(f) = R dx ϕ(x)f(x) denote the operator smoothed over space-time by the real test funct...
1984
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.