Covariant scalar-tensor theories beyond second derivatives

Abstract: We propose a covariant, gauge-independent construction of foliation-based scalar-tensor theories, yielding diffeomorphism-invariant operators involving only gradients on the hypersurfaces where the scalar field is constant, assumed to be spacelike. This defines a basis of independent invariants up to four derivatives of $φ$, including the first nontrivial parity-odd pseudoscalar at this order, with a straightforward extension to higher derivatives. Our framework goes beyond degenerate higher-order scalar-tensor (DHOST) theories and provides a nonlinear extension of U-DHOST (where $\nabla_μφ$ is supposed to be timelike) directly in covariant form, without using unitary gauge as a starting point or imposing degeneracy a priori. After minimal coupling to gravity, we analyze the theory through its Hamiltonian constraint structure and linear cosmological perturbations about an FLRW background, and show that it propagates three physical degrees of freedom.

• The paper develops a covariant framework that systematically constructs scalar-tensor theories with Lagrangians beyond second derivatives using a foliation-adapted invariant basis.
• It extends DHOST and U-DHOST models by incorporating arbitrary functions of higher-order spatial invariants, including novel parity-odd structures.
• A Hamiltonian and perturbative analysis shows that the theory propagates two tensor modes and one scalar DoF, with scalar kinetic terms modified at high wavenumbers.

Covariant Construction of Scalar-Tensor Theories Beyond Second Derivatives

Introduction

"Covariant scalar-tensor theories beyond second derivatives" (2604.09170) presents a systematic covariant formulation for constructing scalar-tensor gravitational theories whose Lagrangians include higher-than-second derivatives of the scalar field $\phi$, while remaining adapted to a foliation defined by constant scalar field hypersurfaces. The approach avoids unitary-gauge-dependent constructions and does not impose degeneracy conditions a priori, enabling the identification of genuinely new covariant invariants—including parity-odd structures—organized by derivative order. The resulting framework extends the landscape of scalar-tensor theories, generalizing both DHOST and U-DHOST models, and clarifies the mapping to effective field theories frequently used in cosmological contexts.

Covariant Foliation-Adapted Operator Basis

A central contribution is the development of a gauge-independent and fully diffeomorphism-invariant basis for constructing Lagrangians built from $\phi$ and its derivatives, restricted such that only spatial directions tangent to the constant-$\phi$ hypersurfaces are probed. This is enacted by systematically utilizing Gram determinants (wedge products), guaranteeing that all constructed invariants are insensitive to contributions parallel to the foliation normal vector.

The procedure is recursive in derivative order:

• Zeroth and First Order: Operators include $\phi$ itself and $X=g^{\mu\nu}\nabla_\mu\phi\nabla_\nu\phi$.
• Second Order: The principal spatial operator is $B = XZ - Y^2$ with $Y = \nabla^\mu X_\mu$ and $Z = X^\mu X_\mu$; $B$ captures purely spatial derivatives projected on the foliation.
• Third and Fourth Orders: Higher-rank operators are generated by taking covariant gradients of the lower-order invariants, always projecting tangentially, yielding invariants such as $C^{[1]}$, $\phi$0, $\phi$1, $\phi$2 (as enumerated in the text).
• Parity-Odd Structures: The existence of nontrivial parity-odd scalar invariants appears for the first time at fourth derivative order, with explicit construction via the Levi-Civita tensor contracting gradients up to $\phi$3.

The result is a compact covariant basis (Eq. 2.40 in the paper), providing an organizing scheme for possible Lagrangian terms up to any desired derivative order and tracking both parity-even and parity-odd contributions. Redundancies and scalar independence are proved using dimensional identities and explicit field configurations, ensuring the algebraic sufficiency of the proposed basis.

Extension Beyond DHOST and Relation to U-DHOST

The framework goes beyond the established DHOST paradigm, which classifies theories by imposing degeneracy conditions to avoid Ostrogradsky ghosts and keep only one scalar DoF (plus the two graviton polarizations).** Unlike DHOST, the present construction does not start from degeneracy constraints, instead allowing arbitrary functions of the covariant, foliation-adapted invariants in the action.

Additionally, it presents a nonlinear, covariant extension of U-DHOST, which previously relied on unitary gauge and degeneracy analysis only after partial gauge fixing. Importantly, third and higher derivative operators in this basis are not equivalent to simple combinations of the quadratic DHOST invariants or their cubic extensions, introducing genuinely new classes of scalar-tensor models.

Hamiltonian and Cosmological Perturbation Analysis

Through Hamiltonian constraint analysis in unitary gauge, it is shown that the resulting theory propagates, generically, two tensor polarizations plus a single scalar DoF: higher time derivatives do not introduce additional propagating modes in the physical sector. Parity-odd invariants do not contribute at the level of homogeneous FLRW cosmological backgrounds or quadratic (linear) fluctuations, their effects entering only at the nonlinear/interaction level.

All higher-derivative building blocks constructed vanish on cosmological backgrounds, with their leading influence emerging in perturbations. At quadratic order, only $\phi$4 contributes, manifesting as modifications to the kinetic terms of the scalar mode, characterized by a new parameter $\phi$5 representing the effect of the higher derivative terms. The dispersion relation for scalar perturbations is altered at high wavenumber, yielding UV suppression of group velocity without introducing gradient instabilities.

Tensor perturbations retain precisely the same dynamics as in standard GR for the minimal coupling case due to the construction's deliberate omission of nonminimal curvature couplings.

Theoretical and Phenomenological Implications

This construction yields a systematic platform for building and analyzing a new class of covariant scalar-tensor theories. The resulting models are suitable for exploring cosmological phenomenology, especially in regimes where higher-order spatial derivatives could affect structure formation, primordial fluctuations, or deviations from GR in strong gravity environments. The extension to parity-odd invariants and higher-derivative terms offers new handles for model building beyond k-essence, Horndeski, and DHOST.

Importantly, the clarity of the covariant, gauge-independent basis allows for straightforward analysis of perturbative stability, as well as the controlled introduction of further generalizations—such as nonminimal curvature couplings and more general field redefinitions (conformal/disformal transformations). The framework aligns with recent progress on generalized third derivative scalar-tensor theories (see "Healthy scalar-tensor theories with third-order derivatives" (Michiwaki et al., 14 Jan 2026)), further hinting at a larger landscape of healthy higher-order field theories.

Future directions include:

• Systematic inclusion and analysis of nonminimal curvature couplings;
• Application to less symmetric backgrounds (e.g., spherically symmetric, black hole spacetimes);
• Study of transformation properties under higher-derivative conformal/disformal mappings;
• Exploration of UV completions and strong-coupling behavior in the context of cosmological and astrophysical observables.

Conclusion

This work provides a rigorous, geometric, and covariant construction method for higher-derivative scalar-tensor theories adapted to a foliation by constant scalar field hypersurfaces, extending the known families of DHOST and U-DHOST. By systematically enumerating all independent invariants—including both parity-even and parity-odd contributions—the authors show that these theories propagate only the intended physical modes and are suitable for both phenomenological application and further theoretical development. This approach lays the groundwork for exploring broader classes of healthy scalar-tensor gravities and their cosmological implications.