pith. sign in

arxiv: 2606.23734 · v1 · pith:5HDXKWLFnew · submitted 2026-06-20 · 🌀 gr-qc · hep-th

Removing Ostrogradsky modes in multi-field higher-order scalar-tensor theories

Hamed Bouzari Nezhad This is my paper

Pith reviewed 2026-06-26 11:32 UTC · model grok-4.3

classification 🌀 gr-qc hep-th
keywords multi-field scalar-tensor theoriesOstrogradsky modesdegeneracy conditionsHamiltonian analysisADM decompositionconstraint algebrahigher-order gravitydegrees of freedom
0
0 comments X

The pith

A matrix degeneracy condition in field space plus generated consistency conditions suffice to remove Ostrogradsky modes from multi-field higher-order scalar-tensor theories.

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

The paper examines how to eliminate extra Ostrogradsky ghost modes in scalar-tensor theories that involve multiple scalar fields and depend quadratically on their second derivatives. After an ADM decomposition it carries out Hamiltonian analysis in the branch where the metric kinetic block remains invertible. The primary degeneracy condition appears as a matrix equation over the scalar-field indices, yet in the multi-field setting this alone does not close the constraint algebra; preservation of the primary constraints produces further conditions, some of them antisymmetric, that have no single-field counterpart. When these extra conditions together with a final rank requirement on the constraint algebra are satisfied, the theory propagates precisely the two tensor modes of gravity plus one scalar mode per field and no additional ghosts.

Core claim

For theories with an arbitrary number N of scalar fields and quadratic second-derivative dependence, the primary degeneracy condition (a matrix condition in field space), the consistency conditions generated by time preservation of the primary constraints, and a rank condition on the final constraint algebra together guarantee that the theory contains exactly 2 + N degrees of freedom with no Ostrogradsky mode.

What carries the argument

Primary degeneracy condition as a matrix condition in field space, augmented by generated consistency conditions and a rank condition on the constraint algebra.

If this is right

  • The single-field limit recovers the known degeneracy conditions that remove Ostrogradsky modes.
  • Quadratic Horndeski-type multi-field models can be arranged to satisfy the full set of conditions.
  • An explicit degenerate multi-field subclass demonstrates that the required matrix and consistency conditions can be met simultaneously.
  • The resulting theories propagate exactly two tensor modes and one scalar mode per field.

Where Pith is reading between the lines

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

  • The antisymmetric consistency conditions may restrict the allowed field-space couplings in ways invisible to single-field constructions.
  • The same degeneracy requirements could be applied to other higher-derivative multi-field models outside the quadratic class considered here.
  • Stable multi-field cosmologies with higher-order scalar terms become possible once the full set of conditions is imposed.

Load-bearing premise

The Hamiltonian analysis is performed only in the branch where the metric kinetic block is invertible.

What would settle it

An explicit multi-field Lagrangian that obeys the primary degeneracy matrix condition yet violates one of the generated consistency conditions, and whose constraint counting then yields more than 2 + N degrees of freedom.

read the original abstract

We study multi-field higher-order scalar-tensor theories and examine how the unwanted Ostrogradsky modes can be removed. For a general class of theories with an arbitrary number $\mathcal{N}$ of scalar fields and quadratic dependence on their second derivatives, we perform an ADM decomposition and develop the Hamiltonian analysis in the branch where the metric kinetic block is invertible. The primary degeneracy condition takes the form of a matrix condition in field space, but in a genuine multi-field theory it is not by itself sufficient: preserving the primary degeneracy constraints generates additional consistency conditions, some of which are antisymmetric in the field-space indices and have no direct analogue in the single-field case. Together with the primary degeneracy condition and a final rank condition on the constraint algebra, these conditions are sufficient for the theory to propagate $2+\mathcal{N}$ degrees of freedom, the two tensor modes of gravity together with one scalar mode per field, and no additional Ostrogradsky mode. We illustrate the construction in the single-field limit, in a multi-field quadratic Horndeski-type subclass, and in an explicit degenerate multi-field subclass that shows these conditions can be satisfied.

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.

Referee Report

0 major / 3 minor

Summary. The paper studies multi-field higher-order scalar-tensor theories with quadratic dependence on second derivatives of an arbitrary number 𝒩 of scalar fields. It performs an ADM decomposition and Hamiltonian analysis restricted to the branch where the metric kinetic block is invertible. The primary degeneracy condition is formulated as a matrix condition in field space; preserving the associated primary constraints generates further consistency conditions (including antisymmetric ones in field space with no single-field analogue). Together with these and a final rank condition on the constraint algebra, the conditions are stated to be sufficient for the theory to propagate exactly 2 + 𝒩 degrees of freedom (two tensor modes plus one scalar per field) with no Ostrogradsky modes. The construction is illustrated in the single-field limit, a multi-field quadratic Horndeski-type subclass, and an explicit degenerate multi-field subclass.

Significance. If the stated conditions hold under the given branch restriction, the work supplies a systematic extension of degeneracy criteria to the multi-field setting and isolates the additional antisymmetric consistency conditions that appear only when 𝒩 > 1. The explicit examples demonstrate that the full set of conditions can be satisfied, which is useful for model building. The reliance on standard ADM and Hamiltonian techniques, together with the explicit scoping to the invertible kinetic block, constitutes a clear strength.

minor comments (3)
  1. [Abstract and § on primary degeneracy condition] The abstract and introduction should explicitly reference the section or equation that presents the explicit matrix form of the primary degeneracy condition and the derivation of the antisymmetric consistency conditions, to facilitate direct verification.
  2. [Explicit degenerate multi-field subclass] In the explicit degenerate multi-field subclass example, the verification that the final rank condition on the constraint algebra yields precisely the required number of second-class constraints should be shown step-by-step (including the explicit matrix rank computation) rather than asserted.
  3. [Hamiltonian analysis] Notation for the field-space indices and the antisymmetric tensors arising in the consistency conditions should be introduced once and used uniformly to avoid ambiguity when comparing the multi-field and single-field cases.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the report, so we have no point-by-point responses to provide. We will address any minor editorial suggestions in a revised version if requested by the editor.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation applies standard ADM decomposition and Hamiltonian constraint analysis to a general class of multi-field higher-order scalar-tensor theories (quadratic in second derivatives) within the explicitly scoped branch where the metric kinetic block is invertible. The primary degeneracy condition is introduced as a matrix condition in field space; consistency conditions (including antisymmetric ones) and the final rank condition on the constraint algebra are generated from the Poisson bracket structure of the primary constraints. These steps follow directly from the Lagrangian without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The single-field limit and explicit subclasses function only as verification examples that the conditions can be satisfied, not as inputs that define the general result. The central claim of propagating exactly 2 + N degrees of freedom is therefore obtained from the constraint algebra itself and remains independent of the target count.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the validity of the ADM decomposition and Hamiltonian constraint analysis for the quadratic higher-derivative class, plus the restriction to the invertible metric kinetic block branch; no free parameters, new entities, or ad-hoc axioms beyond standard GR techniques are indicated.

axioms (2)
  • standard math ADM decomposition of the metric is valid and the Hamiltonian analysis applies to count physical degrees of freedom
    Standard technique invoked for the primary degeneracy condition and constraint algebra.
  • domain assumption The theory is restricted to the branch where the metric kinetic block is invertible
    Explicitly stated as the setting in which the matrix degeneracy condition is derived.

pith-pipeline@v0.9.1-grok · 5729 in / 1519 out tokens · 34852 ms · 2026-06-26T11:32:07.063512+00:00 · methodology

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

20 extracted references · 17 linked inside Pith

  1. [1]

    Horndeski,Second-order scalar-tensor field equations in a four-dimensional space,Int

    G.W. Horndeski,Second-order scalar-tensor field equations in a four-dimensional space,Int. J. Theor. Phys.10(1974) 363. – 37 –

    1974

  2. [2]

    Nicolis, R

    A. Nicolis, R. Rattazzi and E. Trincherini,The Galileon as a local modification of gravity, Phys. Rev. D79(2009) 064036 [0811.2197]

    Pith/arXiv arXiv 2009

  3. [3]

    Deffayet, S

    C. Deffayet, S. Deser and G. Esposito-Farese,Generalized Galileons: All scalar models whose curved background extensions maintain second-order field equations and stress-tensors,Phys. Rev. D80(2009) 064015 [0906.1967]

    Pith/arXiv arXiv 2009

  4. [4]

    Deffayet, X

    C. Deffayet, X. Gao, D.A. Steer and G. Zahariade,From k-essence to generalised Galileons, Phys. Rev. D84(2011) 064039 [1103.3260]

    Pith/arXiv arXiv 2011

  5. [5]

    Kobayashi, M

    T. Kobayashi, M. Yamaguchi and J. Yokoyama,Generalized G-inflation: Inflation with the most general second-order field equations,Prog. Theor. Phys.126(2011) 511 [1105.5723]

    Pith/arXiv arXiv 2011

  6. [6]

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

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

    Pith/arXiv arXiv 2015

  7. [7]

    Gleyzes, D

    J. Gleyzes, D. Langlois, F. Piazza and F. Vernizzi,Healthy theories beyond Horndeski,Phys. Rev. Lett.114(2015) 211101 [1404.6495]

    Pith/arXiv arXiv 2015

  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]

    Langlois and K

    D. Langlois and K. Noui,Hamiltonian analysis of higher derivative scalar-tensor theories, JCAP07(2016) 016 [1512.06820]

    Pith/arXiv arXiv 2016

  10. [10]

    Crisostomi, K

    M. Crisostomi, K. Koyama and G. Tasinato,Extended Scalar-Tensor Theories of Gravity, JCAP04(2016) 044 [1602.03119]

    Pith/arXiv arXiv 2016

  11. [11]

    de Rham and A

    C. de Rham and A. Matas,Ostrogradsky in Theories with Multiple Fields,JCAP06(2016) 041 [1604.08638]

    Pith/arXiv arXiv 2016

  12. [12]

    Motohashi, K

    H. Motohashi, K. Noui, T. Suyama, M. Yamaguchi and D. Langlois,Healthy degenerate theories with higher derivatives,JCAP07(2016) 033 [1603.09355]

    Pith/arXiv arXiv 2016

  13. [13]

    Klein and D

    R. Klein and D. Roest,Exorcising the Ostrogradsky ghost in coupled systems,JHEP07 (2016) 130 [1604.01719]

    Pith/arXiv arXiv 2016

  14. [14]

    Crisostomi, R

    M. Crisostomi, R. Klein and D. Roest,Higher Derivative Field Theories: Degeneracy Conditions and Classes,JHEP06(2017) 124 [1703.01623]

    Pith/arXiv arXiv 2017

  15. [15]

    Padilla, P.M

    A. Padilla, P.M. Saffin and S.-Y. Zhou,Multi-galileons, solitons and Derrick’s theorem,Phys. Rev. D83(2011) 045009 [1008.0745]

    Pith/arXiv arXiv 2011

  16. [16]

    Padilla and V

    A. Padilla and V. Sivanesan,Covariant multi-galileons and their generalisation,JHEP04 (2013) 032 [1210.4026]

    Pith/arXiv arXiv 2013

  17. [17]

    Ohashi, N

    S. Ohashi, N. Tanahashi, T. Kobayashi and M. Yamaguchi,The most general second-order field equations of bi-scalar-tensor theory in four dimensions,JHEP07(2015) 008 [1505.06029]

    Pith/arXiv arXiv 2015

  18. [18]

    Gourgoulhon,3+1 formalism and bases of numerical relativity,gr-qc/0703035

    E. Gourgoulhon,3+1 formalism and bases of numerical relativity,gr-qc/0703035

    Pith/arXiv arXiv

  19. [19]

    Dirac,Lectures on Quantum Mechanics, Belfer Graduate School of Science, Yeshiva University, New York (1964)

    P.A.M. Dirac,Lectures on Quantum Mechanics, Belfer Graduate School of Science, Yeshiva University, New York (1964)

    1964

  20. [20]

    Henneaux and C

    M. Henneaux and C. Teitelboim,Quantization of Gauge Systems, Princeton University Press, Princeton, New Jersey (1992). – 38 –

    1992