No Arabic abstract
In this paper we show that an equivalence between Horndeski and beyond Horndeski theories and general relativity with an effective imperfect fluid can be formally established. The formal equivalence is discussed for several particular cases of interest. Working in the cosmological framework, it is shown that, while the effective stress-energy tensor of viable Horndeski theories is formally equivalent to that of an imperfect fluid with anisotropic stresses and vanishing heat flux vector, the effective stress-energy tensor of beyond Horndeski theories is equivalent to the one of a perfect fluid instead.
The Horndeski theories are extended into the Lovelock gravity theory. When the canonical scalar field is uniquely kinetically coupled to the Lovelock tensors, it is named after Lovelock scalar field. The Lovelock scalar field model is a subclass of the new Horndeski theories. A most attractive feature of the Lovelock scalar field is its equation of motion is second order. So it is free of ghosts. We study the cosmology of Lovelock scalar field in the background of $7$ dimensional spacetime and present a class of cosmic solutions. These solutions reveal the physics of the scalar field is rather rich and merit further study.
The gravitational-wave event GW170817 from a binary neutron star merger together with the electromagnetic counterpart showed that the speed of gravitational waves $c_t$ is very close to that of light for the redshift $z<0.009$. This places tight constraints on dark energy models constructed in the framework of modified gravitational theories. We review models of the late-time cosmic acceleration in scalar-tensor theories with second-order equations of motion (dubbed Horndeski theories) by paying particular attention to the evolution of dark energy equation of state and observables relevant to the cosmic growth history. We provide a gauge-ready formulation of scalar perturbations in full Horndeski theories and estimate observables associated with the evolution of large-scale structures, cosmic microwave background, and weak lensing by employing a so-called quasi-static approximation for the modes deep inside the sound horizon. In light of the recent observational bound of $c_t$, we also classify surviving dark energy models into four classes depending on different structure-formation patterns and discuss how they can be observationally distinguished from each other. In particular, the nonminimally coupled theories in which the scalar field $phi$ has a coupling with the Ricci scalar $R$ of the form $G_4(phi) R$, including $f(R)$ gravity, can be tightly constrained not only from the cosmic expansion and growth histories but also from the variation of screened gravitational couplings. The cross correlation of integrated Sachs-Wolfe signal with galaxy distributions can be a key observable for placing bounds on the relative ratio of cubic Galileon density to total dark energy density. The dawn of gravitational-wave astronomy will open up a new window to constrain nonminimally coupled theories further by the modified luminosity distance of tensor perturbations.
We study the structure of scalar-tensor theories of gravity based on derivative couplings between the scalar and the matter degrees of freedom introduced through an effective metric. Such interactions are classified by their tensor structure into conformal (scalar), disformal (vector) and extended disformal (traceless tensor), as well as by the derivative order of the scalar field. Relations limited to first derivatives of the field ensure second order equations of motion in the Einstein frame and hence the absence of Ostrogradski ghost degrees of freedom. The existence of a mapping to the Jordan frame is not trivial in the general case, and can be addressed using the Jacobian of the frame transformation through its eigenvalues and eigentensors. These objects also appear in the study of different aspects of such theories, including the metric and field redefinition transformation of the path integral in the quantum mechanical description. Although sane in the Einstein frame, generic disformally coupled theories are described by higher order equations of motion in the Jordan frame. This apparent contradiction is solved by the use of a hidden constraint: the contraction of the metric equations with a Jacobian eigentensor provides a constraint relation for the higher field derivatives, which allows one to express the dynamical equations in a second order form. This signals a loophole in Horndeskis theorem and allows one to enlarge the set of scalar-tensor theories which are Ostrogradski-stable. The transformed Gauss-Bonnet terms are also discussed for the simplest conformal and disformal relations.
We investigate the propagation of primordial gravitational waves within the context of the Horndeski theories, for this, we present a generalized transfer function quantifying the sub-horizon evolution of gravitational waves modes after they enter the horizon. We compare the theoretical prediction of the modified primordial gravitational waves spectral density with the aLIGO, Einstein telescope, LISA, gLISA and DECIGO sensitivity curves. Assuming reasonable and different values for the free parameters of the theory (in agreement with the event GW170817 and stability conditions of the theory), we note that the gravitational waves amplitude can vary significantly in comparison with general relativity. We find that in some cases the gravitational primordial spectrum can cross the sensitivity curves for DECIGO detector with the maximum frequency sensitivity to the theoretical predictions around 0.05 - 0.30 Hz. From our results, it is clear that the future generations of space based interferometers can bring new perspectives to probing modifications in general relativity.
Determining the most general, consistent scalar tensor theory of gravity is important for building models of inflation and dark energy. In this work we investigate the number of degrees of freedom present in the theory of beyond Horndeski. We discuss how to construct the theory from the extrinsic curvature of the constant scalar field hypersurface, and find a simple expression for the action which guarantees the existence of the primary constraint necessary to avoid the Ostrogradsky instability. Our analysis is completely gauge-invariant. However we confirm that, mixing together beyond Horndeski with a different order of Horndeski, obstructs the construction of this primary constraint. Instead, when the mixing is between actions of the same order, the theory can be mapped to Horndeski through a generalised disformal transformation. This mapping however is impossible with beyond Horndeski alone, since we find that the theory is invariant under such a transformation. The picture that emerges is that beyond Horndeski is a healthy but isolated theory: combined with Horndeski, it either becomes Horndeski, or likely propagates a ghost.