Ostrogradsky theorem states that Hamiltonian is unbounded when Euler-Lagrange equations are higher than second-order differential equations under the nondegeneracy assumption. Since higher-order nondegenerate Lagrangian can be always recast into an equivalent system with at most first-order derivatives by introducing auxiliary variables and constraints, it is conceivable that the link between ghost and higher derivatives may be reinterpreted as a link between ghost and constraints and/or auxiliary variables. We find that the latter point of view actually provides more general perspective than the former, by exploring the un/boundedness of the Hamiltonian for general theories containing auxiliary variables, for which Euler-Lagrange equations can be essentially second order or lower than that. For Lagrangians including auxiliary variables nonlinearly, we derive the degeneracy condition to evade the Ostrogradsky ghost that can apply even if auxiliary variables can be solved only locally. For theories with constraints with Lagrange multipliers, we establish criteria for inclusion of nonholonomic (velocity-dependent) constraints leading to the absence of local minimum of Hamiltonian. Our criteria include the Ostrogradsky theorem as a special case, and can detect not only ghost associated with higher-order derivatives, but also ghost coming from lower-order derivatives in system with constraints. We discuss how to evade such a ghost. We also provide various specific examples to highlight application and limitation of our general arguments.
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…
We propose a framework for Lorentz-invariant Lagrangian field theories where Ostrogradsky's scalar ghosts could be absent. A key ingredient is the generalized Kronecker delta. The general Lagrangians are reformulated in the language of differential forms. The absence of higher order equations of motion for the scalar modes stems from the basic fact that every exact form is closed. The well-established Lagrangian theories for spin-0, spin-1, p-form, spin-2 fields have natural formulations in this framework. We also propose novel building blocks for Lagrangian field theories. Some of them are no…
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…
Ostrogradsky's Theorem is Incompatible with Background Independence in Quantum Gravity
Institute of Particle and Nuclear Studies, KEK（高能加速器研究机构粒子核物理研究所）；Department of Particle and Nuclear Physics, The Graduate University for Advanced Studies (SOKENDAI)（高级研究院粒子核物理系）
We construct no-ghost theories of analytic mechanics involving arbitrary higher-order derivatives in Lagrangian. It has been known that for theories involving at most second-order time derivatives in the Lagrangian, eliminating linear dependence of canonical momenta in the Hamiltonian is necessary and sufficient condition to eliminate Ostrogradsky ghost. In the previous work we showed for the specific quadratic model involving third-order derivatives that the condition is necessary but not sufficient, and linear dependence of canonical coordinates corresponding to higher time-derivatives also …
We remark that Ostrogradsky ghosts in higher-derivative gravity, with a finite number of derivatives, are fictitious as they result from an unjustified truncation performed in a complete theory containing infinitely many curvature invariants. The apparent ghosts can then be projected out of the quadratic gravity spectrum by redefining the boundary conditions of the theory in terms of an integration contour that does not enclose the ghost poles. This procedure does not alter the renormalizability of the theory. One can thus use quadratic gravity as a quantum field theory of gravity that is both…
We discuss the role of higher dimensional operators in the spontaneous breaking of internal symmetry and scale invariance, in the context of the Lorentz invariant scalar field theory. Using the $\varepsilon$-expansion we determine phase diagrams and demonstrate that (un)stable RG flows computed with a certain basis of dimension 6 operators in the Lagrangian, map to (un)stable RG flows of another basis related to the first by field redefinitions. Crucial is the presence of reparametrization ghosts if Ostrogradsky ghosts appear.
Ghost-spins, 2-level spin-like variables with indefinite norm have been studied in previous work. Here we explore various $N$-level generalizations of ghost-spins. First we discuss a flavoured generalization comprising $N$ copies of the ghost-spin system, as well as certain ghost-spin chains which in the continuum limit lead to 2-dim $bc$-ghost CFTs with $O(N)$ flavour symmetry. Then we explore a symplectic generalization that involves antisymmetric inner products, and finally a ghost-spin system exhibiting $N$ irreducible levels. We also study entanglement properties. In all these cases, we s…
We propose a new class of higher derivative scalar-tensor theories without the Ostrogradsky's ghost instabilities. The construction of our theory is originally motivated by a scalar field with spacelike gradient, which enables us to fix a gauge in which the scalar field appears to be non-dynamical. We dub such a gauge as the spatial gauge. Though the scalar field loses its dynamics, the spatial gauge fixing breaks the time diffeomorphism invariance and thus excites a scalar mode in the gravity sector. We generalize this idea and construct a general class of scalar-tensor theories through a non…
The aim of this work is to discuss some aspects of the reduction of order formalism in the context of the Fadeev-Jackiw symplectic formalism, both at the classical and the quantum level. We start by reviewing the symplectic analysis in a regular theory (a higher derivative massless scalar theory), both using the Ostrogradsky prescription and also by reducing the order of the Lagrangian with an auxiliary field, showing the equivalence of these two approaches. The interpretation of the degrees of freedom is discussed in some detail. Finally, we perform the similar analysis in a singular higher d…
The almost simultaneous detection of gravitational waves and a short gamma-ray burst from a neutron star merger has put a tight constraint on the difference between the speed of gravity and light. In the four-dimensional scalar-tensor theory with second order equations of motion, the Horndeski theory, this translates into a significant reduction of the viable parameter space of the theory. Recently, extensions of Horndeski theory, which are free from Ostrogradsky ghosts despite the presence of higher order derivatives in the equations of motion, have been identified and classified exploiting t…
We extend the effective field theory of inflation to a general Lagrangian constructed from Arnowitt-Deser-Misner variables that encompasses the most general interactions with up to second derivatives of the scalar field whose background breaks temporal diffeomorphism invariance. Degeneracy conditions, corresponding to 8 distinct types -- only one of which corresponds to known degenerate higher-order scalar-tensor models -- provide necessary conditions for eliminating the Ostrogradsky ghost in a covariant theory at the level of the quadratic action in unitary gauge. Novel implications of the de…
We consider a higher-derivative generalization of disformal transformations in $D$-dimensional spacetime and clarify the conditions under which they form a group with respect to the matrix product and the functional composition. These conditions allow us to systematically construct the inverse transformation in a fully covariant manner. Applying the invertible generalized disformal transformation to known ghost-free scalar-tensor theories, we obtain a novel class of ghost-free scalar-tensor theories, whose action contains the third- or higher-order derivatives of the scalar field as well as no…
In this work we explore general leading singularities of one-loop amplitudes in higher-derivative Yang-Mills and quadratic gravity. These theories are known to possess propagators which contain quadratic and quartic momentum dependence, which leads to the presence of an unstable ghostlike resonance. However, unitarity cuts are not to be taken through unstable particles and therefore unitarity is still satisfied. On the other hand, this could engender issues when calculating leading singularities which are generalizations of unitarity cuts. Nevertheless, we will show with explicit examples how …
Asymptotically nonlocal field theories represent a sequence of higher-derivative theories whose limit point is a ghost-free, infinite-derivative theory. Here we extend this framework, developed previously in a theory of real scalar fields, to gauge theories. We focus primarily on asymptotically nonlocal scalar electrodynamics, first identifying equivalent gauge-invariant formulations of the Lagrangian, one with higher-derivative terms and the other with auxiliary fields instead. We then study mass renormalization of the complex scalar field in each formulation, showing that an emergent nonloca…
