---
title: 'Beyond Horndeski: Extended Scalar-Tensor Theories'
url: https://www.emergentmind.com/topics/beyond-horndeski
type: topic
---

# Beyond Horndeski: Extended Scalar-Tensor Theories

Searching arXiv for recent and foundational papers on Beyond Horndeski to ground the article.
Beyond Horndeski denotes a class of scalar–tensor theories that extends the original Horndeski construction by allowing higher-derivative equations of motion while preserving the same physical number of propagating degrees of freedom, namely two tensor modes and one scalar mode, through degeneracy or constraint structures rather than manifest second-order field equations [1404.6495]. In the covariant Gleyzes–Langlois–Piazza–Vernizzi (GLPV) formulation, these extensions are generated by the quartic and quintic operators weighted by functions \(F_4(\phi,X)\) and \(F_5(\phi,X)\), added to the usual Horndeski sector built from \(G_2,G_3,G_4,G_5\) [1404.6495]. They occupy a distinguished place within the broader degenerate higher-order scalar–tensor (DHOST) framework, where higher derivatives are permitted provided the Lagrangian is degenerate enough to avoid an Ostrogradski ghost [1901.07183]. Across cosmology, modified gravity phenomenology, and compact-object physics, beyond-Horndeski interactions are notable because they alter scalar–metric mixing, can modify gravitational-wave propagation and matter clustering, and can evade several no-go theorems that constrain pure Horndeski models [2204.05889].

## 1. Covariant structure and relation to Horndeski

Horndeski theory is the most general four-dimensional scalar–tensor theory with one scalar field and second-order equations of motion. In the notation common to the literature, its action is built from four pieces \(\mathcal{L}_2,\mathcal{L}_3,\mathcal{L}_4,\mathcal{L}_5\) involving arbitrary functions \(G_i(\phi,X)\), where \(X\equiv -\frac12 \nabla_\mu\phi\nabla^\mu\phi\) [1404.6495]. Beyond Horndeski extends the quartic and quintic sectors by adding the Levi–Civita-tensor structures
\[
{}^{\rm BH}\mathcal{L}_4[F_4], \qquad {}^{\rm BH}\mathcal{L}_5[F_5],
\]
or equivalently \(L^{\rm bH}_4\) and \(L^{\rm bH}_5\) in shift-symmetric notation, with \(F_4\) and \(F_5\) arbitrary functions of \((\phi,X)\) or of \(X\) in shift-symmetric sectors [2204.05889]. Ordinary Horndeski is recovered by setting
\[
F_4=F_5=0
\]
[1404.6495].

The defining conceptual shift is that second-order equations are no longer treated as necessary for consistency. Beyond-Horndeski theories allow equations of motion with higher derivatives, but the Hamiltonian or ADM structure is degenerate, so the extra Ostrogradski mode does not propagate [1404.6495]. This degeneracy-based viewpoint later became the organizing principle of DHOST theory, of which beyond Horndeski is a prominent subclass [1901.07183]. A recurrent formulation employs the ADM decomposition in unitary gauge, where the scalar defines the preferred foliation. In that language, the action depends on the lapse \(N\), the spatial metric \(h_{ij}\), the extrinsic curvature \(K_{ij}\), and the intrinsic spatial curvature \(R_{ij}\), and Horndeski corresponds to specific relations among the ADM coefficient functions, while beyond Horndeski arises when those relations are relaxed [1404.6495].

A distinct but related terminology is the \(G^3\) formulation, introduced as a systematic realization of healthy scalar–tensor theories beyond Horndeski. There the action takes a simple ADM form in the foliation aligned with constant-\(\phi\) hypersurfaces, with arbitrary functions \(A_a(t,N)\) and \(B_a(t,N)\) for the terms \(\mathcal{L}_2\) through \(\mathcal{L}_5\). Horndeski appears when the quartic and quintic functions satisfy specific relations such as
\[
A_4 = -B_4 + 2X B_{4X},\qquad A_5 = -\frac{X B_{5X}}{3},
\]
while dropping these relations yields the beyond-Horndeski extension with two additional functional freedoms [1408.1952].

## 2. Degrees of freedom, degeneracy, and disformal relations

A central result of the foundational literature is that beyond-Horndeski theories propagate only three gravitational degrees of freedom despite their higher-order covariant equations [1404.6495]. In the ADM treatment of the quartic and quintic sectors, the lapse and shift remain nondynamical, spatial diffeomorphism constraints remain first class, and the lapse sector yields a second-class constraint pair. The resulting counting leaves precisely two tensor polarizations and one scalar mode [1408.1952]. This same conclusion was re-examined in a fully gauge-invariant way by constructing the theory from the geometry of constant-scalar hypersurfaces and identifying the primary constraint that removes the would-be Ostrogradski mode [1601.04658].

The relation to Horndeski is subtle. Disformal metric transformations of the form
\[
\hat g_{\mu\nu}= C(\pi,X) g_{\mu\nu} + \Gamma(\pi,X)\pi_{,\mu}\pi_{,\nu}
\]
or, in restricted cases,
\[
\hat g_{\mu\nu}=g_{\mu\nu}+\Gamma(\pi,X)\pi_{,\mu}\pi_{,\nu},
\]
map parts of Horndeski into beyond Horndeski and vice versa [2204.05889]. When the transformation is invertible, the number of physical degrees of freedom is preserved. This explains why some beyond-Horndeski theories can be viewed as field-redefined Horndeski theories [1601.04658]. However, the equivalence is not unrestricted. A generic beyond-Horndeski theory with arbitrary \((F_4,F_5)\) cannot necessarily be mapped back to Horndeski by a regular disformal transformation; the covariant relation must satisfy a constraint such as
\[
F_4 G_{5X} X = - 3F_5 \left(G_4 -2XG_{4X} + X G_{5\pi}\right)
\]
[2204.05889].

The structure of the equivalence classes is further constrained by mixing different sectors. A gauge-invariant analysis found that pure beyond Horndeski is healthy, and mixing beyond Horndeski with Horndeski of the same order can still preserve a primary constraint and may be mapped to Horndeski by a generalized disformal transformation. By contrast, mixing beyond Horndeski with Horndeski of a different order obstructs the construction of the primary constraint and likely reintroduces a ghost [1601.04658]. This suggests that beyond Horndeski is not merely Horndeski in disguise; rather, it is a healthy but structurally restricted extension.

## 3. Cosmological EFT description and perturbation variables

At the level of linear cosmological perturbations, beyond Horndeski is efficiently characterized by the Bellini–Sawicki or EFT-of-dark-energy parameterization. In that language, the background and linear perturbations are specified by the effective Planck mass \(M^2(t)\) together with functions
\[
\alpha_B,\quad \alpha_K,\quad \alpha_M,\quad \alpha_T,\quad \alpha_H,
\]
representing braiding, kineticity, Planck-mass running, tensor speed excess, and the beyond-Horndeski parameter [1902.10687]. The parameter \(\alpha_H\) vanishes in Horndeski and is nonzero only in beyond Horndeski. In one standard convention,
\[
M_*^2 \alpha_H = 8X^2(F_4 - 3F_5 H\dot\phi)
\]
[1902.10687]. In the shift- and mirror-symmetric GLPV sector used to study dark-matter-like behavior, one finds instead
\[
\alpha_T = \frac{2X^2F_4}{M^2},\qquad \alpha_H = \frac{2X^2F_4}{M^2},
\]
so in that particular model \(\alpha_T\) and \(\alpha_H\) coincide [1803.00014].

The role of \(\alpha_H\) is not merely classificatory. It encodes new scalar–matter mixing even when matter is minimally coupled to the metric [1902.10687]. In the original “Healthy theories beyond Horndeski” analysis, the scalar degree of freedom was found to affect the speed of sound of matter even when matter is minimally coupled to gravity [1404.6495]. In the quadratic action for coupled scalar and matter perturbations, the high-\(k\) dispersion relation contains a mixing term between the scalar gravitational mode and the matter fluctuation. In Horndeski that mixing vanishes in the short-scale limit, but in beyond Horndeski it survives and modifies the matter sound speed and clustering properties [1404.6495].

The same EFT variables also control tensor propagation. For tensor perturbations,
\[
S^{(2)}_{\rm tensor} = \frac{M^2}{8}\int dt\,d^3x\, a^3 \left[\dot h_{ij}^2 - (1+\alpha_T)\frac{(\nabla h_{ij})^2}{a^2}\right],
\]
so the tensor speed is \(c_T^2=1+\alpha_T\) [1803.00014]. This became especially important after multimessenger gravitational-wave observations sharply restricted \(\alpha_T\) at low redshift.

## 4. Non-singular cosmologies and the evasion of Horndeski no-go theorems

One of the clearest arenas in which beyond Horndeski differs qualitatively from Horndeski is non-singular cosmology. In pure Horndeski, under mild assumptions, a no-go theorem forbids geodesically complete, fully stable, non-singular cosmological solutions such as bounces or Genesis if one requires that tensor and scalar kinetic and gradient coefficients remain positive and bounded away from zero [2204.05889]. The key quantity in Horndeski is
\[
\Xi(t) \equiv \frac{a G_T^2}{\Theta},
\]
whose time derivative is forced to remain positive in a stable non-singular background [2204.05889].

Beyond Horndeski changes this structure by introducing an additional coefficient \(D\), so that the relevant combination becomes
\[
\Xi_{\rm BH}(t) \equiv \frac{a G_T(G_T + D\dot\pi)}{\Theta}.
\]
Because \(G_T + D\dot\pi\) is not constrained to stay positive, \(\Xi_{\rm BH}\) can cross zero without forcing a singularity or instability. This invalidates the Horndeski no-go argument and permits stable NEC-violating evolutions [2204.05889]. Explicit examples were constructed in “Cosmological bounce and Genesis beyond Horndeski,” where a spatially flat bouncing solution with
\[
H(t) = \frac{t}{3(1+t^2)},\qquad a(t)=(1+t^2)^{1/6}
\]
and a Genesis solution with
\[
H(t)=\frac{1}{3\sqrt{1+t^2}}
\]
were shown to be non-singular and stable throughout the whole evolution [1705.06626]. In those models, the scalar is beyond Horndeski at early times but approaches a massless scalar minimally coupled to gravity at late times [1705.06626].

The disformal perspective clarifies why this does not contradict the relation to Horndeski. For a fully stable non-singular cosmology in beyond Horndeski, the same combination \(G_T + D\dot\pi\) that allows \(\Xi_{\rm BH}\) to cross zero also appears in the denominator of the disformal mapping to Horndeski. The transformation becomes singular precisely when the non-singular solution exploits the beyond-Horndeski structure to evade the Horndeski no-go theorem [2204.05889]. This suggests that the Horndeski and beyond-Horndeski descriptions are only locally equivalent in field space, not globally equivalent along such backgrounds.

## 5. Matter coupling, structure formation, and dark-matter-like behavior

Beyond Horndeski modifies large-scale structure both through linear growth and through nonlinear mode coupling. At the level of linear cosmological phenomenology, the class can be characterized by one extra function of time, \(\alpha_H\), in addition to the usual Horndeski functions. A phenomenological analysis found that \(\alpha_H\) is directly related to damping of the matter power spectrum on both large and small scales, enhancement of the low-\(\ell\) CMB temperature power spectrum, and a reduction of the lensing potential [1902.10687]. In the quasi-static approximation, the Poisson equations acquire new terms proportional to the matter velocity potential when \(\alpha_H\neq 0\), and these terms are absent in Horndeski [1902.10687]. The consequence is a modified growth equation with an effective gravitational coupling and an additional friction-like contribution, leading generically to suppressed structure growth for positive \(\alpha_H\) in the simple parameterizations studied there [1902.10687].

At the nonlinear level, the matter bispectrum provides a sharper discriminator. In the GLPV subclass with \(G_5=F_5=0\), the second-order density kernel takes the form
\[
F_2(t,\mathbf{k}_1,\mathbf{k}_2)=\kappa(t)\,\alpha_s(\mathbf{k}_1,\mathbf{k}_2)-\lambda(t)\,\gamma(\mathbf{k}_1,\mathbf{k}_2).
\]
In GR and in Horndeski one has \(\kappa(t)=1\), whereas beyond Horndeski generates a new time-dependent coefficient \(\kappa(t)\neq 1\) through terms proportional to \(\alpha_H\) [1801.07885]. This deforms the matter bispectrum in folded triangle configurations \(k_1+k_2=k_3\), a deformation that is not possible within Horndeski [1801.07885]. This suggests that folded-shape bispectrum measurements offer a probe of beyond-Horndeski operators distinct from standard Horndeski signatures.

The question of whether the scalar can mimic cold dark matter was examined in a particularly symmetric GLPV sector with shift symmetry and a \(\mathbb{Z}_2\) mirror symmetry. In vacuum and at linear order, the scalar mode clusters exactly like standard nonrelativistic cold dark matter, and this remains true even in the subsector where the speed of gravitational waves equals that of light [1803.00014]. However, once ordinary matter is included, the beyond-Horndeski structure induces nontrivial couplings between the scalar and baryons. In the Bellini–Sawicki variables, no parameter choice was found that makes the scalar plus baryon system indistinguishable from standard CDM plus baryons. The unavoidable scalar–baryon coupling alters baryon clustering and lensing, preventing exact CDM mimicry [1803.00014]. A plausible implication is that beyond Horndeski can reproduce some dark-matter-like features in restricted regimes, but not a complete phenomenological replacement of CDM in a realistic matter-filled universe.

## 6. Compact objects, wormholes, and strong-field configurations

Beyond Horndeski also modifies the space of static and stationary solutions. In shift-symmetric Horndeski and beyond-Horndeski theories, asymptotically flat black-hole solutions with nontrivial scalar hair have been constructed [1702.01938]. The quartic beyond-Horndeski term \(F_4(X)\) can support asymptotically flat hairy black holes with finite current norm, and pure quartic sectors can admit Schwarzschild or even Kerr metrics with a nontrivial scalar field as stealth solutions [1702.01938]. The same analysis showed that in suitable pure quartic sectors, any vacuum GR solution can remain a solution of the quartic theory provided certain conditions on \(G_4\) and \(F_4\) hold at a constant \(X_0\) [1702.01938]. This indicates that agreement with a GR background metric does not necessarily exclude a beyond-Horndeski scalar sector.

Wormholes provide a more dramatic contrast with Horndeski. In Horndeski theory, static, spherically symmetric wormholes generically suffer from ghost or gradient instabilities in parity-even perturbations [1812.07022]. Beyond Horndeski modifies the relevant kinetic coefficients by introducing \(F_4\)-dependent terms. In the no-ghost condition, the key quantity
\[
\xi = \frac{\sqrt{A}}{\sqrt{B}}\,
\frac{J^2\mathcal{H}(\mathcal{H} -2F_4 B^2\pi'^4)} {2\mathcal{H}JJ' + \Xi\pi'}
\]
can cross zero because \(\mathcal{H}-2F_4 B^2\pi'^4\) changes sign while \(\mathcal{H}\) stays positive [1812.07022]. This breaks the logic of the Horndeski no-go theorem and allows static wormhole solutions satisfying the analyzed ghost and radial-gradient stability conditions [1812.07022]. An explicit model with
\[
A(r)=1,\qquad B(r)=1,\qquad J(r)=\sqrt{r^2+\tau^2}
\]
and a suitable scalar profile was constructed as an existence proof [1812.07022].

At the same time, the wormhole literature highlights a persistent caveat. A different construction found that ghost instabilities can indeed be avoided beyond Horndeski, but only with strong fine tuning, because the function \(\mathcal{Q}\) entering the kinetic determinant tends to become singular at the throat unless a precise condition is imposed there [1811.05832]. That work emphasized that even if the Horndeski no-go theorem is circumvented, the resulting wormholes are likely unstable or suffer from other pathologies not fully analyzed, including possible angular or radial gradient instabilities and slow tachyonic modes [1811.05832]. This suggests that beyond Horndeski enlarges the solution space, but not every formally allowed exotic geometry is likely to be dynamically robust.

## 7. Quantum generation and EFT robustness

Beyond-Horndeski interactions need not arise only as classical inputs. A quantum-field-theoretic analysis showed that a specific beyond-Horndeski matter coupling is generated by quantum gravity effects even when one starts from the minimal action
\[
\mathcal{A} = \int d^4 x \sqrt{-g} \Bigg[ -\frac{1}{16 \pi G}\, R +\frac12\,g^{\mu\nu}\, \nabla_\mu \phi \, \nabla_\nu\phi + \mathcal{L}_\text{matter} \left[\Psi,g_{\mu\nu}\right]\Bigg]
\]
[2102.08025]. The induced local interaction is
\[
-4 \kappa^4 \nabla_\mu\phi \nabla_\nu\phi\, T^{\mu\nu}
+ 2\kappa^4 (\nabla\phi)^2 T,
\]
which corresponds to the general beyond-Horndeski matter coupling
\[
\sqrt{-g}\,\big[C(\phi,X) g_{\mu\nu}+D(\phi,X)\nabla_\mu\phi\nabla_\nu\phi\big]T^{\mu\nu}
\]
with specific coefficients [2102.08025]. The paper stressed that the amplitude generating this term is free of ultraviolet divergences and independent of UV details, so it is a universal low-energy prediction of the effective field theory of gravity [2102.08025]. This suggests that beyond-Horndeski couplings are radiatively natural in the EFT sense, even if absent at tree level.

A complementary EFT analysis asked which higher-derivative scalar–tensor interactions can be simultaneously ghost-free, parametrically important, and robust under quantum corrections. Using a weakly broken galileon power counting with scales \(\Lambda_2\) and \(\Lambda_3\), it found that the structurally robust class up to quadratic order in \(\nabla\nabla\phi\) is precisely a subset of quartic Horndeski plus quartic beyond Horndeski [1806.10073]. In particular, the general robust quartic action
\[
S_4^{\text{H}+\text{bH}}
\]
was identified with Horndeski \(G_4(X)\) plus beyond-Horndeski \(F_4(X)\) subject to the weakly broken galileon consistency conditions [1806.10073]. This suggests that beyond Horndeski is not just algebraically allowed by degeneracy; certain subsets are also selected by quantum consistency as especially natural EFTs.

## 8. Gravitational-wave constraints and the post-GW170817 landscape

The observation of GW170817 and its electromagnetic counterpart profoundly reshaped the viable space of beyond-Horndeski theories. In GLPV and related EFT descriptions, tensor propagation is controlled by
\[
c_T^2 = 1+\alpha_T,
\]
and the multimessenger constraint requires \(|c_T-1|\lesssim 10^{-15}\) at low redshift [1803.00014]. In the symmetric sector studied as a dark-matter analogue, this implies
\[
\alpha_T \simeq 0 \quad\Rightarrow\quad X^2F_4 \simeq 0
\]
unless the functions satisfy the luminal relation
\[
F_4(X)=\frac{2G_{4X}(X)}{X},
\]
which yields
\[
\alpha_T=0,\qquad \alpha_H=-\alpha_B
\]
[1803.00014]. A phenomenological study of beyond Horndeski likewise imposed \(\alpha_T=0\) in response to GW170817 and found that this reduces the number of free parameters but does not significantly change cosmological constraints on the remaining ones [1902.10687].

The review literature summarized the broader consequence: after GW170817, many quartic and quintic Horndeski and beyond-Horndeski interactions are either ruled out or confined to narrow subclasses with luminal tensor speed [1901.07183]. In quadratic DHOST language, requiring \(c_{\rm GW}=1\) removes large parts of the theory space, and avoiding graviton decay into scalar fluctuations constrains it further [1901.07183]. Still, a nontrivial beyond-Horndeski sector survives, particularly within the luminal subclasses relevant to late-time cosmology.

A persistent point of clarification is that luminal tensor speed does not force \(\alpha_H\) to vanish identically. Depending on the subclass, one can retain beyond-Horndeski effects in scalar–matter mixing or nonlinear structure formation while satisfying the tensor-speed bound [1902.10687]. This suggests that the observational status of beyond Horndeski is not determined by gravitational-wave speed alone; large-scale structure, lensing, bispectrum measurements, compact-object tests, and matter couplings remain essential diagnostics.

## 9. Conceptual synthesis

Beyond Horndeski is best understood as a shift from a “second-order equations” criterion to a “degenerate dynamics” criterion for healthy scalar–tensor gravity. The theory permits the quartic and quintic \(F_4\) and \(F_5\) operators that lie outside the original Horndeski construction, yet through degeneracy or primary constraints it still propagates only \(2+1\) degrees of freedom [1404.6495]. In cosmology, this extra structure appears in the EFT parameter \(\alpha_H\), modifies scalar–matter coupling even for minimally coupled matter, and can change the matter sound speed, the growth of structure, and the matter bispectrum in ways unavailable to Horndeski [1404.6495]. In the early universe, it provides a route to fully stable non-singular bounces and Genesis scenarios by evading Horndeski no-go theorems, though the disformal relation to Horndeski becomes singular precisely where that evasion occurs [2204.05889]. In strong gravity, it enlarges the family of hairy black holes and can support wormholes that evade Horndeski no-go arguments, albeit often with fine tuning or incomplete stability control [1702.01938].

This suggests a balanced interpretation. Beyond Horndeski is neither a trivial field-redefinition artifact nor an unrestricted enlargement of scalar–tensor gravity. It is a sharply constrained extension whose healthy sectors are selected by degeneracy, by disformal equivalence classes, by gravitational-wave observations, and, in some EFT constructions, by quantum robustness [1806.10073]. Its continued relevance lies in the fact that it opens physical possibilities—stable NEC violation, distinctive matter coupling, nonlinear large-scale-structure signatures, and stealth strong-field configurations—that pure Horndeski either forbids or realizes only in restricted form [1705.06626].

Source: https://www.emergentmind.com/topics/beyond-horndeski