We study the phenomenology of a class of minimally modified gravity theories called $f(\mathcal{H})$ theories, in which the usual general relativistic Hamiltonian constraint is replaced by a free function of it. After reviewing the construction of the theory and a consistent matter coupling, we analyze the dynamics of cosmology at the levels of both background and perturbations, and present a concrete example of the theory with a $3$-parameter family of the function $f$. Finally, we compare this example model to Planck data as well as some later-time probes, showing that such a realization of $f(\mathcal{H})$ theories fits the data significantly better than the standard $\Lambda$CDM model, in particular by modifying gravity at intermediate redshifts, $z\simeq743$.

We study the late cosmological evolution, from the nonrelativistic matter dominated era to the dark energy era, in modified gravity models described by Degenerate Higher-Order Scalar-Tensor (DHOST) theories. They represent the most general scalar-tensor theories propagating a single scalar degree of freedom and include Horndeski and Beyond Horndeski theories. We provide the homogeneous evolution equations for any quadratic DHOST theory, without restricting ourselves to theories where the speed of gravitational waves coincides with that of light since the present constraints apply to wavelengths much smaller than cosmological scales. To illustrate the potential richness of the cosmological background evolution in these theories, we consider a simple family of shift-symmetric models, characterized by three parameters and compute the evolution of dark energy and of its equation of state. We also identify the regions in parameter space where the models are perturbatively stable.

We show that theories of mimetic gravity can be viewed as degenerate higher-order scalar-tensor (DHOST) theories that admit an extra local (gauge) symmetry in addition to the usual diffeomorphism invariance. We reformulate and classify mimetic theories in this perspective. Using the effective theory of dark energy, recently extended to include DHOST theories, we then investigate the linear perturbations about a homogeneous and isotropic background for all mimetic theories. We also include matter, in the form of a $k$-essence scalar field, and we derive the quadratic action for linear perturbations in this case.

In the context of Degenerate Higher-Order Scalar-Tensor (DHOST) theories, we study cosmological solutions and their stability properties. In particular, we explicitly illustrate the crucial role of degeneracy by showing how the higher order homogeneous equations in the physical frame (where matter is minimally coupled) can be recast in a system of equations that do not involve higher order derivatives. We study the fixed points of the dynamics, finding the conditions for having a de Sitter attractor at late times. Then we consider the coupling to matter field (described for convenience by a k-essence Lagrangian) and find the conditions to avoid gradient and ghost instabilities at linear order in cosmological perturbations, extending previous work. Finally, we apply these results to a simple subclass of DHOST theories, showing that de Sitter attractor conditions, no ghost and no gradient instabilities conditions (both in the self-accelerating era and in the matter dominated era) can be compatible.

Theories of dark energy and modified gravity can be strongly constrained by astrophysical or cosmological observations, as illustrated by the recent observation of the gravitational wave event GW170817 and of its electromagnetic counterpart GRB 170817A, which shows that the speed of gravitational waves, $c_g$, is the same as the speed of light, within deviations of order $10^{-15}$. This observation implies very severe restrictions on scalar-tensor theories, in particular theories whose action depends on second derivatives of a scalar field. Working in the very general framework of Degenerate Higher-Order Scalar-Tensor (DHOST) theories, which encompass Horndeski and Beyond Horndeski theories, we present the DHOST theories that satisfy $c_g=c$. We then examine, for these theories, the screening mechanism that suppresses scalar interactions on small scales, namely the Vainshtein mechanism, and compute the corresponding gravitational laws for a non-relativistic spherical body. We show that it can lead to a deviation from standard gravity inside matter, parametrized by three coefficients which satisfy a consistency relation and can be constrained by present and future astrophysical observations.

We consider theories describing the dynamics of a four-dimensional metric, whose Lagrangian is diffeomorphism invariant and depends at most on second derivatives of the metric. Imposing degeneracy conditions we find a set of Lagrangians that, apart form the Einstein-Hilbert one, are either trivial or contain more than two degrees of freedom. Among the partially degenerate theories, we recover Chern-Simons gravity, endowed with constraints whose structure suggests the presence of instabilities. Then, we enlarge the class of parity violating theories of gravity by introducing new "chiral scalar-tensor theories". Although they all raise the same concern as Chern-Simons gravity, they can nevertheless make sense as low energy effective field theories or, by restricting them to the unitary gauge (where the scalar field is uniform), as Lorentz breaking theories with a parity violating sector.

Most existing theories of dark energy and/or modified gravity, involving a scalar degree of freedom, can be conveniently described within the framework of the Effective Theory of Dark Energy, based on the unitary gauge where the scalar field is uniform. We extend this effective approach by allowing the Lagrangian in unitary gauge to depend on the time derivative of the lapse function. Although this dependence generically signals the presence of an extra scalar degree of freedom, theories that contain only one propagating scalar degree of freedom, in addition to the usual tensor modes, can be constructed by requiring the initial Lagrangian to be degenerate. Starting from a general quadratic action, we derive the dispersion relations for the linear perturbations around Minkowski and a cosmological background. Our analysis directly applies to the recently introduced Degenerate Higher-Order Scalar-Tensor (DHOST) theories. For these theories, we find that one cannot recover a Poisson-like equation in the static linear regime except for the subclass that includes the Horndeski and so-called "beyond Horndeski" theories. We also discuss Lorentz-breaking models inspired by Horava gravity.

We present all scalar-tensor Lagrangians that are cubic in second derivatives of a scalar field, and that are degenerate, hence avoiding Ostrogradsky instabilities. Thanks to the existence of constraints, they propagate no more than three degrees of freedom, despite having higher order equations of motion. We also determine the viable combinations of previously identified quadratic degenerate Lagrangians and the newly established cubic ones. Finally, we study whether the new theories are connected to known scalar-tensor theories such as Horndeski and beyond Horndeski, through conformal or disformal transformations.

In the context of classical mechanics, we study the conditions under which higher-order derivative theories can evade the so-called Ostrogradsky instability. More precisely, we consider general Lagrangians with second order time derivatives, of the form $L(\ddot\phi^a,\dot\phi^a,\phi^a;\dot q^i,q^i)$ with $a = 1,\cdots, n$ and $i = 1,\cdots, m$. For $n=1$, assuming that the $q^i$'s form a nondegenerate subsystem, we confirm that the degeneracy of the kinetic matrix eliminates the Ostrogradsky instability. The degeneracy implies, in the Hamiltonian formulation of the theory, the existence of a primary constraint, which generates a secondary constraint, thus eliminating the Ostrogradsky ghost. For $n>1$, we show that, in addition to the degeneracy of the kinetic matrix, one needs to impose extra conditions to ensure the presence of a sufficient number of secondary constraints that can eliminate all the Ostrogradsky ghosts. When these conditions that ensure the disappearance of the Ostrogradsky instability are satisfied, we show that the Euler-Lagrange equations, which involve a priori higher order derivatives, can be reduced to a second order system.

Theories with higher order time derivatives generically suffer from ghost-like instabilities, known as Ostrogradski instabilities. This fate can be avoided by considering "degenerate" Lagrangians, whose kinetic matrix cannot be inverted, thus leading to constraints between canonical variables and a reduced number of physical degrees of freedom. In this work, we derive in a systematic way the degeneracy conditions for scalar-tensor theories that depend quadratically on second order derivatives of a scalar field. We thus obtain a classification of all degenerate theories within this class of scalar-tensor theories. The quartic Horndeski Lagrangian and its extension beyond Horndeski belong to these degenerate cases. We also identify new families of scalar-tensor theories with the intriguing property that they are degenerate despite the nondegeneracy of the purely scalar part of their Lagrangian.

We consider all degenerate scalar-tensor theories that depend quadratically on second order derivatives of a scalar field, which we have identified in a previous work. These theories, whose degeneracy in general ensures the absence of Ostrogradski instability, include the quartic Horndenski Lagrangian as well as its quartic extension beyond Horndeski, but also other families of Lagrangians. We study how all these theories transform under general conformal-disformal transformations and find that they can be separated into three main classes that are stable under these transformations. This leads to a complete classification modulo conformal-disformal transformations. Finally, we show that these higher order theories include mimetic gravity and some particular khronometric theories. They also contain theories that do not correspond, to our knowledge, to already studied theories, even up to field redefinitions.

We perform a Hamiltonian analysis of a large class of scalar-tensor Lagrangians which depend quadratically on the second derivatives of a scalar field. By resorting to a convenient choice of dynamical variables, we show that the Hamiltonian can be written in a very simple form, where the Hamiltonian and the momentum constraints are easily identified. In the case of degenerate Lagrangians, which include the Horndeski and beyond Horndeski quartic Lagrangians, our analysis confirms that the dimension of the physical phase space is reduced by the primary and secondary constraints due to the degeneracy, thus leading to the elimination of the dangerous Ostrogradski ghost. We also present the Hamiltonian formulation for nondegenerate theories and find that they contain four degrees of freedom, as expected. We finally discuss the status of the unitary gauge from the Hamiltonian perspective.