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ϕ^a,\dotϕ^a,ϕ^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.
We study the particle content of higher derivative theories of gravity built with contractions of the Riemann tensor and its covariant derivatives. In the absence of the latter, there is a family of theories exhibiting an Einsteinian spectrum known as generalized quasi-topological gravities. In turn, we present a no-go result for the construction of Einsteinian gravities involving covariant derivatives of the Riemann tensor. We find evidences suggesting that (truncated series) finite order Lagrangians with covariant derivatives of the Riemann tensor generically present ghosts in their spectrum…
We show a new class of interaction terms with higher derivatives that can be added to every low derivative real scalar, such that the theory is degenerate, and the equation of motion remains of second order. In contrast to previous setups, the necessary constraints that eliminate the ghosts also have a clear physical motivation: they impose and preserve at all times the low derivative dynamics of the real scalar as a background, on top of which, the fluctuations induced by these higher derivative terms are degenerate, and ghost-free. We summarize the setup for these constrained ghost-free real…
Newtons second law, Schrodingers equation and Maxwells equations are all theories composed of at most second-time derivatives. Indeed, it is not often we need to take the time derivative of the acceleration. So why are we not seeing more higher-order derivative theories? Although several studies present higher derivatives usefulness in quadratic gravity and scalar-field theories, one will eventually encounter a problem. In 1850, the physicist Mikhail Ostrogradsky presented a theorem that stated that a non-degenerate Lagrangian composed of finite higher-order time derivatives results in a Hamil…
The Einstein-Hilbert action with a cosmological constant is the most general local four-dimensional action leading to second-order derivative equations of motion that are symmetric and divergence free. In higher dimensions, additional terms can appear. We investigate a generalised metric decomposition involving a scalar degree of freedom to express the higher-dimensional action as an effective four-dimensional scalar-tensor theory. From the higher-dimensional Ricci scalar alone and a subclass of our metric ansatz, we recover the subset of Horndeski theories with luminal speed of gravitational …
We review the fate of the Ostrogradsky ghost in higher-order theories. We start by recalling the original Ostrogradsky theorem and illustrate, in the context of classical mechanics, how higher-derivatives Lagrangians lead to unbounded Hamiltonians and then lead to (classical and quantum) instabilities. Then, we extend the Ostrogradsky theorem to higher-derivatives theories of several dynamical variables and show the possibility to evade the Ostrogradsky instability when the Lagrangian is "degenerate", still in the context of classical mechanics. In particular, we explain why higher-derivatives…
