This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

YITP-20-74

New measures to test modified gravity cosmologies

Jiro Matsumoto,11footnotetext: Corresponding author.    Teppei Okumura    and Misao Sasaki
Abstract

The observed accelerated expansion of the Universe may be explained by dark energy or the breakdown of general relativity (GR) on cosmological scales. When the latter case, a modified gravity scenario, is considered, it is often assumed that the background evolution is the same as the Λ\LambdaCDM model but the density perturbation evolves differently. In this paper, we investigate more general classes of modified gravity, where both the background and perturbation evolutions are deviated from those in the Λ\LambdaCDM model. We introduce two phase diagrams, αfσ8\alpha{\rm-}f\sigma_{8} and Hfσ8H{\rm-}f\sigma_{8} diagrams; HH is the expansion rate, fσ8f\sigma_{8} is a combination of the growth rate of the Universe and the normalization of the density fluctuation which is directly constrained by redshift-space distortions, and α\alpha is a parameter which characterizes the deviation of gravity from GR and can be probed by gravitational lensing. We consider several specific examples of Horndeski’s theory, which is a general scalar-tensor theory, and demonstrate how deviations from the Λ\LambdaCDM model appears in the αfσ8\alpha{\rm-}f\sigma_{8} and Hfσ8H{\rm-}f\sigma_{8} diagrams. The predicted deviations will be useful for future large-scale structure observations to exclude some of the modified gravity models.

1 Introduction

The accelerated expansion of the current Universe has been clarified by the observations of type Ia supernovae in the late 1990s [1, 2] and supported by observations of cosmic microwave background radiation (CMB) [3, 4, 5] and baryon acoustic oscillations (BAO) [6, 7, 8, 9, 10, 11, 12]. Broadly speaking, there are two approaches to explain the accelerating Universe; (i) introducing an additional energy component, called dark energy, to the total energy budget and (ii) modifying the action of gravity from the one predicted by Einstein’s theory of relativity. In dark energy models, one adopts the Einstein-Hilbert action and introduces a fluid matter with the equation-of-state parameter w<1/3w<-1/3, where w=1w=-1 corresponds to a cosmological constant. The simplest dark energy model is Λ\LambdaCDM, and more generally, the wwCDM or quintessence model has been considered [13, 14, 15, 16]. On the other hand, the Einstein-Hilbert action itself is modified in the models of modified gravity theories. The models include F(R)F(R) gravity [17, 18, 19, 20, 21, 22], massive gravity [23, 24, 25], and Horndeski’s theory [26].

The differences of the models appear both in the background equations and in the linear perturbation equations. While Λ\LambdaCDM is consistent with most of the observations, a tension between the values of the Hubble constant, H0H_{0}, constrained from early universe and late universe started to be recognized after the Planck mission reported the first results [4]. The descrepancy in the H0H_{0} values between local observarions and CMB observations was first reported using Cepheid variables [27, 28, 29], and it has also been seen in the observations of strong lensing time delay and so on [30, 31, 32, 33, 34, 35]. Moreover, there is another tension in a parameter, fσ8f\sigma_{8}, where ff is the growth rate of the universe and σ8\sigma_{8} is the normalization of the density fluctuation amplitude. This parameter can be directly constrained through peculiar velocities of galaxies in galaxy redshift surveys, known as redshift-space distortions (RSD) [36, 37], and is used to distinguish modified gravity models [38, 39, 40, 41, 42]. However, the fσ8f\sigma_{8} values observed so far at z<1z<1 are systematically lower than the prediction of the best-fitting Λ\LambdaCDM model from the Planck result [43, 44, 45, 46, 47, 48], as pointed out by, e.g., Refs. [49, 50]. Therefore, the importance of reconsidering the dynamics of the Universe in modified gravity models is increasing.

Modified gravity theories, in general, have too many degrees of freedom to be completely analyzed. Consequently, the observables of perturbation quantities (e.g. growth rate of the matter density perturbation) have been investigated only for simple models or for phenomenologically parametrized models. Moreover, the background evolution in modified gravity models is often assumed to be the same as that in the Λ\LambdaCDM model. In this paper we take account of both the variations of background dynamics and those of perturbation quantities. For this purpose, we introduce new phase diagrams; the αfσ8\alpha{\rm-}f\sigma_{8} and Hfσ8H{\rm-}f\sigma_{8} diagrams. Similar diagrams can be found in Refs. [51, 52, 53, 54, 55]. Here α\alpha describes the effect on gravitational lensing and is defined in Eq. (2.4) below in terms of the deflection potential Ψdefl\Psi_{\rm defl}, and α=0\alpha=0 in the case of general relativity (e.g., [56, 57, 58, 59, 60, 61]). Thus, these diagrams will enable us to investigate how each of the two key observations of large-scale structures, RSD and gravitational lensing, can constrain a given modified gravity model.

In this paper, we consider Horndeski’s theory, which is a general scalar-tensor theory. We do not adopt phenomenological parameterizations which have been commonly used in the literature. We focus several specific examples of Horndeski’s gravity and demonstrate how deviations from the Λ\LambdaCDM model appear in the αfσ8\alpha{\rm-}f\sigma_{8} and Hfσ8H{\rm-}f\sigma_{8} diagrams.

The contents of the paper are as follows. We briefly overview how models of dark energy and modified gravity behave on the αfσ8\alpha{\rm-}f\sigma_{8} and Hfσ8H{\rm-}f\sigma_{8} diagrams in Sec. 2. For this purpose we present the former and latter diagrams for the simple representative cases of dark energy and modified gravity, the wwCDM and F(R)F(R) gravity models, respectively. Then we describe Horndeski’s theory in Sec. 3, and considering its typical examples, we present their αfσ8\alpha{\rm-}f\sigma_{8} and Hfσ8H{\rm-}f\sigma_{8} diagrams in Sec. 4. Our concluding remarks are given in Sec. 5. A more detailed description of Horndeski’s theory is presented in Appendix A. A short note on the possibility of having negative α\alpha is given in Appendix B.

Throughout this paper, we adopt Natural units, =c=kB=1\hbar=c=k_{B}=1, and the gravitational constant 8πG8\pi G is denoted by κ28π/MPl2{\kappa}^{2}\equiv 8\pi/{M_{Pl}}^{2} with the Planck mass of MPl=G1/2=1.2×1019M_{Pl}=G^{-1/2}=1.2\times 10^{19}GeV.

2 Dark energy and modified gravity

In models in which dark energy is given by a matter field, commonly its energy momentum tensor is decoupled from the other matter components. In this case, the main effect of dark energy is to modify the background evolution of the Universe, and hence its effect to the growth of linear perturbations is indirect. On the other hand, in modified gravity theories of dark energy, its effective energy momentum tensor is likely to be coupled to the matter components. As a result, not only the background evolution of the Universe but also the linear perturbation equations may significantly deviate from those in the Λ\LambdaCDM model.

In the following, we assume the metric,

ds2=(1+2Ψ(t,x))dt2+a2(t)(1+2Φ(t,x))δijdxidxj,\displaystyle ds^{2}=-(1+2\Psi(t,x))dt^{2}+a^{2}(t)(1+2\Phi(t,x))\delta_{ij}dx^{i}dx^{j}\,, (2.1)

and adopt notations in Fourier space as

Ψ(t,k)+(1+α(t,k))Φ(t,k)=0,\displaystyle\Psi(t,k)+(1+\alpha(t,k))\Phi(t,k)=0, (2.2)
δρ(t,k)/ρ(t)=δ(t,k)=δ^(k)D(t,k),\displaystyle\delta\rho(t,k)/\rho(t)=\delta(t,k)=\hat{\delta}(k)D(t,k), (2.3)

where kk is the wave number, D(t,k)D(t,k) is the growing mode of the matter density perturbation, and δ^(k)\hat{\delta}(k) describes the scale dependence of δ(t,k)\delta(t,k) at initial time t=tit=t_{i} under the normalization of DD as D(ti,k)=1D(t_{i},k)=1.

In Eq. (2.2), we introduced a quantity α\alpha, which vanishes in Einstein gravity (i.e., Ψ+Φ=0\Psi+\Phi=0). The relation of α\alpha with the well-known gravitational slip parameter, ηΦ/Ψ\eta\equiv-\Phi/\Psi [39], is η=1/(1+α)\eta=1/(1+\alpha). Thus α\alpha characterizes how much a given gravity model deviates from General Relativity (GR). Because the strength of gravitational lensing is determined by the deflection potential [62],

ΨdeflΨΦ=2+α1+αΨ=(2α1+α)Ψ,\Psi_{\rm defl}\equiv\Psi-\Phi=\frac{2+\alpha}{1+\alpha}\Psi=\left(2-\frac{\alpha}{1+\alpha}\right)\Psi\,, (2.4)

we see that the gravitational lensing effect is reduced if α>0\alpha>0 or α<2\alpha<-2 and enhanced if 2<α<0-2<\alpha<0. We note that there is a subtlety in this interpretation. It will be shown in section 4 that, for a class of modified gravity models considered in this paper, the lensing effect is unaffected if we compare it for the same mass distribution.

To see this, let us first introduce GeffG_{\rm eff} which relates the Newton potential to the matter density perturbation in modified gravity:

ΔΨ=4πGeffδρa2.\Delta\Psi=4\pi G_{\rm eff}\delta\rho\,a^{2}\,. (2.5)

Let us also introduce GlightG_{\rm light} that would relate the deflection potential Ψdefl\Psi_{\rm defl} to δρ\delta\rho,

ΔΨdefl=4πGlightδρa2.\Delta\Psi_{\rm defl}=4\pi G_{\rm light}\delta\rho\,a^{2}\,. (2.6)

We have Geff=GG_{\rm eff}=G and Glight=2GG_{\rm light}=2G in GR. On the other hand, for modified gravity, the α\alpha-dependence of GeffG_{\rm eff} is found in section 4 as

Geff=2(1+α)2+αG.G_{\rm eff}=\frac{2(1+\alpha)}{2+\alpha}G\,. (2.7)

From Eqs. (2.4) and (2.5), we find

ΔΨdefl=2+α1+αΔΨ=2+α1+α4πGeffδρa2.\Delta\Psi_{\rm defl}=\frac{2+\alpha}{1+\alpha}\Delta\Psi=\frac{2+\alpha}{1+\alpha}\cdot 4\pi G_{\rm eff}\delta\rho\,a^{2}\,. (2.8)

Hence we obtain

Glight=2+α1+αGeff.G_{\rm light}=\frac{2+\alpha}{1+\alpha}G_{\rm eff}\,. (2.9)

Inserting Eq. (2.7) into the above GeffG_{\rm eff} gives Glight=2GG_{\rm light}=2G, that is, the resulting Ψdefl\Psi_{\rm defl} will be the same as that in GR, independent of α\alpha.

However, as the mass distribution is measured by its gravitational effect that includes the modification in the effective gravitational constant, what can be compared is the lensing effect for the same Ψ\Psi. This means our original interpretation is correct from an observational point of view. More precisely speaking, it is the gravitationally inferred mass distribution that is overestimated if α>0\alpha>0 or α<2\alpha<-2 and otherwise if 2<α<0-2<\alpha<0, while the gravitational lensing effect remains the same.

To quantify the growth of linear perturbations, one usually considers the combination, fσ8f\sigma_{8}, inferred from galaxy surveys, where f=dlnD/dlnaf=d\ln D/d\ln a and σ8\sigma_{8} is the normalization parameter of the density perturbation spectrum. In the following, to test modified gravity models, we evaluate the ratio of fσ8f\sigma_{8} in a given model to that in the Λ\LambdaCDM model, fσ8/fσ8,ΛCDMf\sigma_{8}/f\sigma_{8,\Lambda{\rm CDM}}. Note that the value of ff should approach unity in any viable model of gravity in the high-redshift limit. We also assume that the value of σ8\sigma_{8} coincides with that of the Λ\LambdaCDM model in the high redshift limit. Thus, this ratio becomes unity at high redshifts. Since fσ8f\sigma_{8} depends not only on the modifications of the linear perturbation equations but also on the background evolution of the Universe, below we will study correlations between fσ8f\sigma_{8} and α\alpha and between fσ8f\sigma_{8} and the Hubble expansion rate HH in various models of gravity. The evolution equation of the quasi-static mode of the matter density contrast δ=δρm/ρm\delta=\delta\rho_{m}/\rho_{m} is expressed as [63, 61]

δ¨+2Hδ˙4πGeffρmδ=0.\ddot{\delta}+2H\dot{\delta}-4\pi G_{\mathrm{eff}}\rho_{m}\delta=0. (2.10)

The parameter fσ8f\sigma_{8} will be evaluated by using Eq. (2.10) with appropriate initial conditions.

Before presenting detailed studies on modified gravity models, let us first consider the simplest dark energy model, i.e. the wwCDM model. Note that α=0\alpha=0 because there is no deviation from GR in this model. The Hfσ8H{\rm-}f\sigma_{8} diagram is depicted in Fig. 2. The initial conditions are set at z=10z=10 where they coincides with those of the Λ\LambdaCDM model. The figure shows that the deviation in fσ8f\sigma_{8} is almost proportional to that in the Hubble rate at each redshift, with negative proportionality coefficients. Thus fσ8f\sigma_{8} in wwCDM models becomes smaller than that in the Λ\LambdaCDM model for models with a larger Hubble rate HH which corresponds to w<1w<-1. We note that the linear perturbation equations in the wwCDM model are unchanged from those of the Λ\LambdaCDM model. Therefore, the smaller value of fσ8f\sigma_{8} due to a larger HH may be regarded as a purely background effect. We should note that if we apply a different boundary condition, e.g., HwCDM=HΛCDMH_{wCDM}=H_{\Lambda CDM} and Ωm=0.31\Omega_{m}=0.31 at z=0z=0, the quantitative results will be different though the qualitative tendency will remain the same.

Refer to caption
Refer to caption
Figure 1: (Left) HfσH{\rm-}f\sigma diagram for the wwCDM model for various values of the equation of state parameter ww. Dark matter density is set to be the same as that in the Λ\LambdaCDM model. Triangles, Squares, and Circles correspond to redshift 1.01.0, 0.50.5, and 0.10.1, respectively. In order to clarify the redshift dependences, the best-fitting quadratic curves are shown for the redshifts 1.0 (dotted), 0.5 (dashed) and 0.1 (solid).
Figure 2: (Right) αfσ8\alpha{\rm-}f\sigma_{8} diagram for the F(R)F(R) gravity model with F(R)=R2Λ+|fR0|R02/RF(R)=R-2\Lambda+|f_{R0}|R_{0}^{2}/R for various values of |fR0||f_{R0}|.

As we mentioned in the above, the behavior of the matter density perturbation is not independent from the background evolution of the Universe in general. In some theories, e.g. F(R)F(R) gravity theories, even if the difference between the model and GR at the background level is negligibly small, there can be O(1)O(1) difference at perturbation level due to the scale dependence of the matter density perturbation that enhances the deviation from GR on small scales. As a characteristic example for such a case, let us consider F(R)F(R) gravity with

F(R)=R2Λ+|FR0|R02R,\displaystyle F(R)=R-2\Lambda+|F_{R0}|\frac{R_{0}^{2}}{R}\,, (2.11)

where R0R_{0} and Λ\Lambda are the current values of the Ricci scalar and the cosmological constant, respectively. For the parameter FR0F_{R0} in the range 106<|FR0|<104Λ/R010^{-6}<|F_{R0}|<10^{-4}\ll\Lambda/R_{0}, this model is known to reproduce the background evolution of the Λ\LambdaCDM model almost exactly [64]. In Fig. 2, we plot the predicted values of α\alpha and fσf\sigma for several redshifts. In general, the function δ(t,k)\delta(t,k) is not separable, in the other words, the kk-dependence of D(t,k)D(t,k) in (2.3) cannot be ignored in F(R)F(R) gravity theories. Here, for definiteness, we plot fσ8f\sigma_{8}, i.e. fσf\sigma at k=(8h1k=(8h^{-1}Mpc)1)^{-1}. It shows that the density perturbation in this model always evolves faster than that in the case of the Λ\LambdaCDM model, and α\alpha is always positive.

3 More general modified gravity models

In the previous section, we studied two examples; wwCDM model and F(R)F(R) gravity theory. In the wwCDM case, the linear perturbation equations are the same as those in the Λ\LambdaCDM model, while the background evolution of the Universe is different. On the other hand, in the F(R)F(R) gravity case, the background evolution of the Universe is the same as the Λ\LambdaCDM model, while the linear perturbation equations are different. In more general modified gravity theories, both of them will be different from the Λ\LambdaCDM model. Here we consider Horndeski’s theory. It is a general scalar-tensor theory which includes F(R)F(R) gravity as a special case [63, 65, 66].

The action in Horndeski’s theory is given by [26, 67, 68]

SH=i=25d4xgi,S_{H}=\sum^{5}_{i=2}\int d^{4}x\sqrt{-g}{\cal L}_{i}, (3.1)

where

2\displaystyle{\cal L}_{2} =K(ϕ,X),\displaystyle=K(\phi,X), (3.2)
3\displaystyle{\cal L}_{3} =G3(ϕ,X)ϕ,\displaystyle=-G_{3}(\phi,X)\Box\phi, (3.3)
4\displaystyle{\cal L}_{4} =G4(ϕ,X)R+G4X[(ϕ)2(μνϕ)2],\displaystyle=G_{4}(\phi,X)R+G_{4X}\left[(\Box\phi)^{2}-(\nabla_{\mu}\nabla_{\nu}\phi)^{2}\right], (3.4)
5\displaystyle{\cal L}_{5} =G5(ϕ,X)GμνμνϕG5X6[(ϕ)33(ϕ)(μνϕ)2+2(μνϕ)3].\displaystyle=G_{5}(\phi,X)G_{\mu\nu}\nabla^{\mu}\nabla^{\nu}\phi-\frac{G_{5X}}{6}\left[(\Box\phi)^{3}-3(\Box\phi)(\nabla_{\mu}\nabla_{\nu}\phi)^{2}+2(\nabla_{\mu}\nabla_{\nu}\phi)^{3}\right]. (3.5)

Here, KK, G3G_{3}, G4G_{4}, and G5G_{5} are generic functions of ϕ\phi and X=μϕμϕ/2X=-\partial_{\mu}\phi\partial^{\mu}\phi/2, and the subscript XX means a derivative with respect to XX. The total action is the sum of SHS_{H} and the matter action SmatterS_{\mathrm{matter}} which contains baryons and cold dark matter. More details are referred to Appendix A

The recent observations of gravitational wave event GW170817 [69] and its electromagnetic counterparts [70, 71, 72] showed that the propagation speed of gravitational waves should satisfy

|cT21|1015,|c_{T}^{2}-1|\lesssim 10^{-15}, (3.6)

in the relatively recent Universe. This bound implies the sound speed of the tensor mode, given by

cT2=G4XG5ϕXG5Xϕ¨G42XG4XX(G5Xϕ˙HG5ϕ),c_{T}^{2}=\frac{G_{4}-XG_{5\phi}-XG_{5X}\ddot{\phi}}{G_{4}-2XG_{4X}-X(G_{5X}\dot{\phi}H-G_{5\phi})}, (3.7)

should be almost unity, where and below the subscript ϕ\phi means a derivative with respect to ϕ\phi. If the terms XG5ϕXG_{5\phi}, XG4XXG_{4X}, \cdots are relevant for the evolution of the Universe, then one expects a substantial deviation of cT2c_{T}^{2} from unity. Therefore, it is reasonable to assume that the terms proportional to G4XG_{4X}, G5ϕG_{5\phi}, and G5XG_{5X} are not relevant for the current accelerated expansion of the Universe. Hence we set G4X=G5=0G_{4X}=G_{5}=0 in the following.

Even after this simplification, the theory still remains quite complicated. For example, the effective Newton constant that can be defined on sufficiently small scales k2a2H2k^{2}\gg a^{2}H^{2} takes the form [61],

Geff\displaystyle G_{\rm eff} =\displaystyle= 116πG4(𝒜+O(a2H2/k2));\displaystyle\dfrac{1}{16\pi G_{4}}\left(\dfrac{{\cal A}}{{\cal B}}+O(a^{2}H^{2}/k^{2})\right)\,; (3.8)
𝒜\displaystyle{\cal A} G4Ckin+4G4ϕ2,\displaystyle\equiv G_{4}C_{\rm kin}+4G_{4\phi}^{2}, (3.9)
\displaystyle{\cal B} G4Ckin14ϕ˙4G3X2ϕ˙2G3XG4ϕ+3G4ϕ2,\displaystyle\equiv G_{4}C_{\rm kin}-\frac{1}{4}\dot{\phi}^{4}G_{3X}^{2}-\dot{\phi}^{2}G_{3X}G_{4\phi}+3G_{4\phi}^{2}, (3.10)

where we have introduced an effective coefficient of the kinetic term CkinC_{\rm kin}

Ckin=KX2G3ϕ+ϕ¨(2G3X+ϕ˙2G3XX)+ϕ˙2G3ϕX+4Hϕ˙G3X.C_{\rm kin}=K_{X}-2G_{3\phi}+\ddot{\phi}(2G_{3X}+\dot{\phi}^{2}G_{3XX})+\dot{\phi}^{2}G_{3\phi X}+4H\dot{\phi}G_{3X}. (3.11)

As for α\alpha which describes the modification of the lensing effect, it is expressed using Eq. (3.11) as [61]

α=G4ϕ(2G4ϕ+ϕ˙2G3X)G4Ckin+G4ϕ(ϕ˙2G3X+2G4ϕ)+O(a2H2/k2).\displaystyle\alpha=\frac{G_{4\phi}(2G_{4\phi}+\dot{\phi}^{2}G_{3X})}{G_{4}C_{\rm kin}+G_{4\phi}(-\dot{\phi}^{2}G_{3X}+2G_{4\phi})+O(a^{2}H^{2}/k^{2})}. (3.12)

The above equation shows that α\alpha is non-vanishing only if G4G_{4} is non-trivial, i.e. is ϕ\phi-dependent. It also shows that α<0\alpha<0 is realized only if G3X0G_{3X}\neq 0 provided that we have KX>0K_{X}>0 and G4>0G_{4}>0 which are satisfied for most healthy theories of gravity (see Fig. 3). Thus α=0\alpha=0 if G4ϕ=0G_{4\phi}=0, α>0\alpha>0 if G4ϕ0G_{4\phi}\neq 0 and G3=0G_{3}=0, while α\alpha can be positive or negative if G30G_{3}\neq 0 and G4ϕ0G_{4\phi}\neq 0.

Refer to caption
Figure 3: Classification of Horndeski’s models in terms of α\alpha and ff under the assumptions KX>0K_{X}>0 and G4>0G_{4}>0. Nonzero α\alpha is only realized when G4ϕ0G_{4\phi}\neq 0, and α<0\alpha<0 is realized only if G4ϕ0G_{4\phi}\neq 0 and G3X0G_{3X}\neq 0.

In passing we note that f(R)f(R) gravity theories correspond to the case [63, 65, 66];

K=Mpl216π(FRF,R),G3=G5=0,G4=128πMplϕ,ϕ=18πMplF,R.K=\frac{M_{\mathrm{pl}}^{2}}{16\pi}(F-RF_{,R}),\quad G_{3}=G_{5}=0,\quad G_{4}=\frac{1}{2\sqrt{8\pi}}M_{\mathrm{pl}}\phi,\quad\phi=\frac{1}{\sqrt{8\pi}}M_{\mathrm{pl}}F_{,R}\,. (3.13)

Because G3=0G_{3}=0, α\alpha is always positive in f(R)f(R) gravity with KX>0K_{X}>0. We should note that O(a2H2/k2)O(a^{2}H^{2}/k^{2}) terms in Eqs. (3.8) and (3.12) are to be taken into account in F(R) gravity models [63]. The case KX0K_{X}\leq 0 with G3=0G_{3}=0 or KX2G3ϕ0K_{X}-2G_{3\phi}\leq 0 may be also acceptable if instabilities are absent. Such a case is discussed in Appendix B, but we will not consider it in the main text for simplicity.

4 Specific examples

Let us now consider a few specific examples of Horndeski’s gravity that show small but observationally interesting deviations from the Λ\LambdaCDM model. To compare with the Λ\LambdaCDM model, we will assume the same amount of matter as that in the Λ\LambdaCDM model, i.e. Ωm,0h2\Omega_{m,0}h^{2} is fixed, and fix the ratio fσ8,ΛCDM/fσ8=1f\sigma_{8,\Lambda CDM}/f\sigma_{8}=1 at sufficiently high redshifts, z10z\geq 10. In what follows, to evaluate the effects of functions K(ϕ,X)K(\phi,X), G3(ϕ,X)G_{3}(\phi,X), and G4(ϕ)G_{4}(\phi), we assume their forms as

K(ϕ,X)\displaystyle K(\phi,X) =\displaystyle= X+K2X2(V0+V1ϕ+m2ϕ2),\displaystyle X+K_{2}X^{2}-\left(V_{0}+V_{1}\phi+m^{2}\phi^{2}\right), (4.1)
G3(ϕ)\displaystyle G_{3}(\phi) =\displaystyle= gϕ,\displaystyle g\phi\,, (4.2)
G4(ϕ)\displaystyle G_{4}(\phi) =\displaystyle= 12κ2exp[λϕMpl],\displaystyle\frac{1}{2\kappa^{2}}\exp\left[\lambda\frac{\phi}{M_{pl}}\right]\,, (4.3)

where K2K_{2}, V0V_{0}, V1V_{1}, m2m^{2}, gg and λ\lambda are constant parameters.

In this above class of models, the expressions for α\alpha and GeffG_{\rm eff} are greatly simplified as

α\displaystyle\alpha =2G4ϕ2G4Ckin+2G4ϕ2,\displaystyle=\frac{2G_{4\phi}^{2}}{G_{4}C_{\rm kin}+2G_{4\phi}^{2}}\,, (4.4)
Geff\displaystyle G_{\rm eff} =G4Ckin+4G4ϕ216πG4(G4Ckin+3G4ϕ2),\displaystyle=\frac{G_{4}C_{kin}+4G_{4\phi}^{2}}{16\pi G_{4}(G_{4}C_{\rm kin}+3G_{4\phi}^{2})}\,, (4.5)

where CkinC_{\rm kin} defined in Eq. (3.11) is also simplified as

Ckin=KX2G3ϕ.C_{\rm kin}=K_{X}-2G_{3\phi}\,. (4.6)

As G4ϕG_{4\phi} should be small enough to guarantee the proximity to Newton gravity in the large scale structure formation, the above two equations imply that α\alpha is small and positive if Ckin=O(1)C_{\rm kin}=O(1) and >0>0, and GeffGG_{\rm eff}\approx G.

Now we are in a position to evaluate the effect of α\alpha on gravitational lensing for the same mass density distribution. Since the resulting gravitational potential is proportional to the effective gravitational constant GeffG_{\rm eff}, the resulting gravitational lensing effect is proportional to the deflection potential given by

Ψdefl=2+α1+αΨ=2+α1+αGeffGΨGR,\displaystyle\Psi_{\rm defl}=\frac{2+\alpha}{1+\alpha}\Psi=\frac{2+\alpha}{1+\alpha}\frac{G_{\rm eff}}{G}\Psi_{GR}\,, (4.7)

where ΨGR\Psi_{GR} is the gravitational potential of the mass distribution if gravity were GR. Using Eqs. (4.4) and (4.5), we find

Geff=1κ2G41+α2+αG=1+α2+αexp[λϕMpl]G,G_{\rm eff}=\frac{1}{\kappa^{2}G_{4}}\frac{1+\alpha}{2+\alpha}G=\frac{1+\alpha}{2+\alpha}\exp\left[-\lambda\frac{\phi}{M_{pl}}\right]G\,, (4.8)

which gives

Ψdefl=2exp[λϕMpl]ΨGR=exp[λϕMpl]Ψdefl,GR,\displaystyle\Psi_{\rm defl}=2\exp\left[-\lambda\frac{\phi}{M_{pl}}\right]\Psi_{GR}=\exp\left[-\lambda\frac{\phi}{M_{pl}}\right]\Psi_{{\rm defl},GR}\,, (4.9)

where Ψdefl,GR\Psi_{{\rm defl},GR} is the deflection potential in the case of GR. Thus we see that the gravitational lensing effect is independent of α\alpha for the same mass density distribution. In particular, it remains essentially the same as that in GR if λϕ/Mpl1\lambda\phi/M_{pl}\ll 1, as we mentioned in section 2.

4.1 Linear potential, minimally coupled with gravity

Refer to caption
Figure 4: Hfσ8H{\rm-}f\sigma_{8} diagram in the case K=X(V0+V1ϕ)K=X-(V_{0}+V_{1}\phi), G3=0G_{3}=0 and G4=const.G_{4}=const. for various of V1V_{1}. The initial conditions are set as ϕ=0.5Mpl\phi=0.5M_{pl} and ϕ˙=2V1/(9H)\dot{\phi}=-2V_{1}/(9H) at z=10z=10. The best-fitting quadratic curves are shown for the redshifts 1.0 (dotted), 0.5 (dashed) and 0.1 (solid).

First we consider the case K=X(V0+V1ϕ)K=X-(V_{0}+V_{1}\phi) with G3=0G_{3}=0 and G4=const.G_{4}=const., which represents a quintessential field [14]. In this case, α\alpha always vanishes as seen from Eq. (3.12). Figure 4 shows the correlations between fσ8f\sigma_{8} and HH for various values of V1V_{1} at several different redshifts. One sees that a higher Hubble rate is accompanied with a lower growth rate of the matter density perturbation, which is similar to the case of the wwCDM model shown in Fig. 2. Note that α=0\alpha=0 also in the wwCDM model. These similarities are due to the fact that both models have no non-minimal coupling with gravity.

4.2 Flat potential, non-minimally coupled with gravity

Refer to caption
Refer to caption
Figure 5: Hfσ8H-f\sigma_{8} (left) and αfσ8\alpha-f\sigma_{8} (right) diagrams for the case K=XV0K=X-V_{0}, G3=0G_{3}=0 and G4=exp[λϕ/Mpl]/(2κ2)G_{4}=\exp[\lambda\phi/M_{pl}]/(2\kappa^{2}) for various values of λ\lambda. The initial conditions are ϕ=0.5Mpl\phi=0.5M_{pl} and ϕ˙=λexp[λϕ/Mpl]/(18πH)\dot{\phi}=\lambda\exp[\lambda\phi/M_{pl}]/(18\pi H) at z=10z=10. In the left panel the best-fitting quadratic curves are shown for the redshifts 1.0 (dotted), 0.5 (dashed) and 0.1 (solid).

Next we consider the effect of non-minimal coupling with gravity, namely, the case where G4=exp[λϕ/Mpl]/(2κ2)G_{4}=\exp[\lambda\phi/M_{pl}]/(2\kappa^{2}) with K=XV0K=X-V_{0} and G3=0G_{3}=0 (e.g., see [73, 74]). Figure 5 shows the correlations between fσ8f\sigma_{8} and HH and between fσ8f\sigma_{8} and α\alpha. The Hfσ8H{\rm-}f\sigma_{8} diagram on the left is similar to that of the minimally coupled linear potential case except for the inclinations of the fitted curves. On the other hand, the αfσ8\alpha{\rm-}f\sigma_{8} diagram is quite different: α\alpha is always non-negative as in the case of F(R)F(R) gravity, see Fig. 2 while it vanishes in the minimally coupled linear potential case. We also note that the ratio fσ8/fσ8,ΛCDMf\sigma_{8}/f\sigma_{8,\Lambda CDM} can be greater or smaller than unity depending on the sign of λ\lambda in contrast to the F(R)F(R) gravity case where the ratio is always greater than unity. The similarity and difference from the F(R)F(R) gravity case can be explained by the fact that α\alpha does not depend on the sign of λ\lambda or G4ϕG_{4\phi}, while GeffG_{\rm eff} may increase or decrease depending on the sign of λ\lambda.

4.3 Quadratic potential, non-minimally coupled gravity

Refer to caption
Refer to caption
Figure 6: Same as Fig. 5, but for the case K=X(V0+m2ϕ2)K=X-(V_{0}+m^{2}\phi^{2}), G3=0G_{3}=0 and G4=exp[λϕ/Mpl]/(2κ2)G_{4}=\exp[\lambda\phi/M_{pl}]/(2\kappa^{2}). The initial conditions are ϕ=0.03Mpl\phi=-0.03M_{pl} and ϕ˙=0.04H0Mpl\dot{\phi}=0.04H_{0}M_{pl} at z=10z=10.

The third case we consider is the model which can explain the reconstructed equation-of-state parameter from recent observations [75]. The Lagrangian of the model is given by

K=X(V0+m2ϕ2),G3=0,G4=12κ2eλϕ/Mpl.K=X-(V_{0}+m^{2}\phi^{2}),\quad G_{3}=0,\quad G_{4}=\frac{1}{2\kappa^{2}}\mathrm{e}^{\lambda\phi/M_{pl}}. (4.10)

This model is similar to a combination of the models considered in subsections 4.1 and 4.2. However, it differs from such a model in that there is an oscillation of the equation of state parameter induced by the oscillation of the scalar field, which gives rise to an oscillatory evolution in the Hubble rate as can be seen in the left panel of Fig. 6. We find fσ8f\sigma_{8} in this model is always smaller than that in the Λ\LambdaCDM model even at z=0.5z=0.5 at which H/HΛCDM<1H/H_{\Lambda CDM}<1. This result may be understood if we note the fact that f(z)=dlnD/dlnaf(z)=d\ln D/d\ln a, which σ8(z)\sigma_{8}(z) is proportional to, depends non-locally on time, or it is a hysteresis effect of the oscillatory evolution in the present case. We also note that α\alpha does not vary much within the range of parameters we adopted, with the values in the range 0.020.040.02\sim 0.04.

Actually the small positiveness of α\alpha is a common feature in models that satisfy KX2G3ϕ=O(1)K_{X}-2G_{3\phi}=O(1) and G4ϕ0G_{4\phi}\neq 0, provided that the background evolution does not deviate much from that in the Λ\LambdaCDM model. This may be seen by comparing Eqs. (4.4) and (4.5). If we require G4ϕG_{4\phi} to be small enough to guarantee the proximity to Newton gravity, namely, G4ϕ2/G41G_{4\phi}^{2}/G_{4}\ll 1, these two equations implies that α\alpha is small and positive if Ckin=O(1)C_{kin}=O(1) and GeffGG_{\rm eff}\approx G.

4.4 Non-canonical kinetic term

Refer to caption
Refer to caption
Figure 7: Same as Fig. 5, but for the case G3(ϕ,X)=ϕ/2G_{3}(\phi,X)=\phi/2 and K(ϕ,X)=X+K2X2ΛK(\phi,X)=X+K_{2}X^{2}-\Lambda for various values of K2/(H02Mpl2)K_{2}/(H_{0}^{2}M_{pl}^{2}). The initial conditions are ϕ=0.5Mpl\phi=0.5M_{pl} and ϕ˙=0.4H0Mpl\dot{\phi}=0.4H_{0}M_{pl} at z=10z=10.

If we want to consider models with larger values of α\alpha and possibly substantial deviations of GeffG_{\rm eff} from Newton gravity, we need to relax the assumption Ckin=KX2G3ϕ=O(1)C_{kin}=K_{X}-2G_{3\phi}=O(1). From Eq. (3.12), one notices that α=O(1)\alpha=O(1) can be realized if 2G4ϕ(ϕ)2CkinG42G_{4\phi}(\phi)^{2}\gg C_{kin}G_{4}. Since KX=1K_{X}=1 and G3=0G_{3}=0 for a canonical scalar field, one has to resort to a non-canonical scalar field model to achieve it. For definiteness, we propose the following model,

K(ϕ,X)=X+K2X2V0,G3=ϕ2,\displaystyle K(\phi,X)=X+K_{2}X^{2}-V_{0}\,,\quad G_{3}=\frac{\phi}{2}\,, (4.11)

which gives Ckin=2K2XC_{kin}=2K_{2}X. For K2=O(H02Mpl2)K_{2}=O(H_{0}^{2}M_{pl}^{2}), Ckin=O(ϕ˙2/V0)1C_{kin}=O(\dot{\phi}^{2}/V_{0})\ll 1 for a slowly rolling scalar field. Thus this model can achieve Ckin1C_{kin}\ll 1 and hence α=O(1)\alpha=O(1). Here we focus on the case K2>0K_{2}>0 because the scalar field would become non-dynamical if K2=0K_{2}=0 and it would become a ghost if K2<0K_{2}<0.

Figure 7 shows the Hfσ8H{\rm-}f\sigma_{8} and αfσ8\alpha{\rm-}f\sigma_{8} diagrams in this case for various values of K2K_{2} in units of K2/(H02Mpl2)K_{2}/(H_{0}^{2}M_{pl}^{2}). As seen from the left panel, the background evolution of the Universe is almost same as that in the Λ\LambdaCDM, with fσ8/fσ8,ΛCDM>1f\sigma_{8}/f\sigma_{8,\Lambda CDM}>1. This behavior is similar to F(R)F(R) gravity. The right figure shows that α=1\alpha=1 is certainly realized in this case. α=1\alpha=1 means that the gravitational lensing effect is enhanced by a factor 3/23/2. We note that, for a more general form of Ckin=KX2G3ϕC_{kin}=K_{X}-2G_{3\phi}, we may achieve any value of α\alpha in the range 0<α<10<\alpha<1 while keeping the Λ\LambdaCDM like background evolution intact. We also note that GeffG_{\rm eff} would substantially deviate from the Newtonian GG if G4(2κ2)G_{4}\approx(2\kappa^{2}) as seen from Eq. (4.8).

The initial value of the scalar field is chosen rather arbitrarily, except for the model discussed in Sec. 4.3, but in a way that it can exhibit characteristic, qualitative features of each model. For example, in the case of the model considered in Sec. 4.1, the tendency shown in Fig. 4 remains the same for other choices of the initial conditions. As for Sec. 4.3, the initial condition is chosen so that it reproduces the observationally constrained/indicated evolution of ww. One may worry about the validity of the small scale approximation k2/(a2H2)1k^{2}/(a^{2}H^{2})\gg 1 because some of modified gravity theories have strong dependence on the wave number kk. In fact, the matter density perturbation can strongly depend on the scale in Horndeski’s theory if there is a hierarchy between |K(ϕX)||K(\phi X)|, MplH2|G3(ϕ,X)|M_{pl}H^{2}|G_{3}(\phi,X)|, and H2G4H^{2}G_{4} or if there is a hierarchy between their derivatives. In the case of F(R)F(R) gravity, |K,ϕϕ|1/fRRH2|K_{,\phi\phi}|\sim 1/f_{RR}\gg H^{2} should be satisfied to accord with observations and these conditions cause the scale dependence of the matter density perturbation. The reason why the scale dependence appears is that there are two limits [76]: k2/(a2H2)1k^{2}/(a^{2}H^{2})\gg 1 and 1H2fRR1\gg H^{2}f_{RR}. The Compton wavelength is determined by balancing these two conditions, then the condition k2/(a2H2)1k^{2}/(a^{2}H^{2})\gg 1 is superior to 1H2fRR1\gg H^{2}f_{RR} inside the Compton wavelength. The cases we considered in this section do not have such a hierarchy, therefore, the small scale approximation k2/(a2H2)1k^{2}/(a^{2}H^{2})\gg 1 is always valid if we focus on a scale which is deep inside the horizon.

5 Conclusion

We have investigated a class of dark energy models based on Horndeski’s theory of modified gravity which exhibit small but interesting deviations from the Λ\LambdaCDM model not only in the background evolution but also in the linear perturbation level. The models include the wwCDM, F(R)F(R) gravity, and four kinds of Horndeski gravity models. To classify the properties of these models, we have introduced two diagrams; Hfσ8H{\rm-}f\sigma_{8} and αfσ8\alpha{\rm-}f\sigma_{8} diagrams. We have found that these two diagrams provide a useful tool to distinguish the differences in the observational predictions of different models from each other.

Refer to caption
Figure 8: Summary of the HfσH{\rm-}f\sigma (left) and αfσ8\alpha{\rm-}f\sigma_{8} (right) diagrams for various dark energy models at redshift z=0.5z=0.5. In the legend, V1, G4, G4m2, and G4Kx represent the cases studied in subsections 4.1, 4.2, 4.3, and 4.4, respectively. The wwCDM model and F(R)F(R) gravity model are also plotted, respectively, in the HfσH{\rm-}f\sigma diagram and αfσ8\alpha{\rm-}f\sigma_{8} diagram for comparison. The black cross expresses on the left panel 1σ1\sigma constraint from the observation by Alam etal.etal. [77]. Note that the horizontal axis of the right panel mixes linear and logarithmic scales for clarity.

Figure 8 shows the summary of our results. The right panel shows the αfσ8\alpha-f\sigma_{8} diagram, which exhibits deviations in the behavior of linear perturbations from GR, at z=0.5z=0.5 for various models with various parameters. The canonical scalar model with linear potential (denoted by V1, discussed in section 4.1) does not have a direct coupling to gravity, hence α=0\alpha=0. The non-minimally coupled scalar model with flat potential (denoted by G4, discussed in section 4.2) gives non-vanishing α\alpha but the values are too small (O(0.01)\sim O(0.01)) to be seen in the figure, whereas the non-minimally coupled scalar model with quadratic potential (denoted by G4m2, discussed in section 4.3) . As for the non-minimally coupled scalar model with non-canonical kinetic term (denoted by G4Kx, discussed in section 4.4), α=1\alpha=1, that is the dynamics of the linear perturbation is quite different from GR.

In all of the models studied in this paper, we have found α>0\alpha>0. As discussed in Appendix B, there exist theoretically acceptable models with negative α\alpha, but they all satisfy α<2\alpha<-2. In fact, the condition α<2\alpha<-2 is necessary to guarantee the positivity of GeffG_{\rm eff} as can be seen from Eq. (4.8). Thus either α>0\alpha>0 or α<2\alpha<-2, our result implies that gravity becomes effectively stronger than GR in all the models. In other words, if we are to measure the mass density distribution, we would overestimate it if we use the gravitational dynamics, while we would obtain a correct estimate if we use gravitational lensing observations. Whether this has any substantial implications to observational data analysis is an issue to be studied.

The left panel shows the Hfσ8H{\rm-}f\sigma_{8} diagram at z=0.5z=0.5 for various models with various parameters. It shows the dependence of the growth rate of linear perturbations on the difference in the background evolution of the Universe. We see that in all models except for the non-minimally coupled scalar model with quadratic potential or non-canonical kinetic term, there is a tendency that larger HH gives smaller fσ8f\sigma_{8} in comparison with Λ\LambdaCDM. In the case of the quadratic potential model (G4m2), because of the oscillatory feature in HH, the fact that fσ8f\sigma_{8} are smaller for smaller HH depends on the redshift, as well as on the choice of the model parameters. So it is difficult to discuss a general tendency in this model. In the case of the non-canonical kinetic term model (G4Kx), the dependence of fσ8f\sigma_{8} on HH seems very small. This is explained by the fact that this model can mimic the Λ\LambdaCDM model very well as long as the background evolution of the Universe is concerned.

The cosmic shear power spectrum in weak lensing surveys and the redshift-space power spectrum in galaxy surveys directly constrain α\alpha and fσ8f\sigma_{8}, respectively. The latter observable can further probe HH using BAO as a standard ruler. The blue bars denote observational 1σ1\sigma error bars obtained by Alam etal.et\leavevmode\nobreak\ al. [77]. Since it is a 1σ1\sigma constraint, no reliable conclusion can be drawn, but it seems that when compared to the Λ\LambdaCDM model, those models that yield slightly larger HH with slightly smaller fσ8f\sigma_{8} are preferred. It is, however, important to note that most of the current observational analyses have been performed assuming Λ\LambdaCDM and GR, a so-called consistency test. In order to test a modified gravity model, one needs to use a theoretical template of the power spectrum with the given gravity model [78, 79, 47]. Ref. [80] has derived an analytic formula of the matter power spectrum in real space under Horndeski’s theory. Further theoretical efforts are required in order to constrain general modified gravity models on the Hfσ8αH-f\sigma_{8}-\alpha diagrams proposed in this paper.

So far, observational constraints are not so severe yet to exclude any of these models. But eventually we will be able to exclude most of the models as observational accuracies improve. The HfσH{\rm-}f\sigma and αfσ8\alpha{\rm-}f\sigma_{8} diagrams we introduced, or their variants, may play an important role at such a stage.

Acknowledgments

We would like to thank T. Namikawa for discussions in the early stage of this work. T. O. acknowledges support from the Ministry of Science and Technology of Taiwan under Grants No. MOST 106-2119-M-001-031-MY3 and the Career Development Award, Academia Sinina (AS-CDA-108-M02) for the period of 2019 to 2023. The work of M. S. is supported in part by JSPS KAKENHI No. 20H04727.

Appendix A Horndeski’s theory

Let us first recapitulate the action in Horndeski’s theory [26, 67, 68],

SH=i=25d4xgi,S_{H}=\sum^{5}_{i=2}\int d^{4}x\sqrt{-g}{\cal L}_{i}, (A.1)

where

2\displaystyle{\cal L}_{2} =K(ϕ,X),\displaystyle=K(\phi,X), (A.2)
3\displaystyle{\cal L}_{3} =G3(ϕ,X)ϕ,\displaystyle=-G_{3}(\phi,X)\Box\phi, (A.3)
4\displaystyle{\cal L}_{4} =G4(ϕ,X)R+G4X[(ϕ)2(μνϕ)2],\displaystyle=G_{4}(\phi,X)R+G_{4X}\left[(\Box\phi)^{2}-(\nabla_{\mu}\nabla_{\nu}\phi)^{2}\right], (A.4)
5\displaystyle{\cal L}_{5} =G5(ϕ,X)GμνμνϕG5X6[(ϕ)33(ϕ)(μνϕ)2+2(μνϕ)3].\displaystyle=G_{5}(\phi,X)G_{\mu\nu}\nabla^{\mu}\nabla^{\nu}\phi-\frac{G_{5X}}{6}\left[(\Box\phi)^{3}-3(\Box\phi)(\nabla_{\mu}\nabla_{\nu}\phi)^{2}+2(\nabla_{\mu}\nabla_{\nu}\phi)^{3}\right]. (A.5)

Here, KK, G3G_{3}, G4G_{4}, and G5G_{5} are generic functions of ϕ\phi and X=μϕμϕ/2X=-\partial_{\mu}\phi\partial^{\mu}\phi/2, and the subscript XX means a derivative with respect to XX. The total action is the sum of SHS_{H} and the matter action SmatterS_{\mathrm{matter}}.

The Friedman equations are given by [68]

ρmatter+i=25i=0,\rho_{\mathrm{matter}}+\sum^{5}_{i=2}{\cal E}_{i}=0, (A.6)

where

2\displaystyle{\cal E}_{2} =2XKXK,\displaystyle=2XK_{X}-K, (A.7)
3\displaystyle{\cal E}_{3} =6Xϕ˙HG3X2XG3ϕ,\displaystyle=6X\dot{\phi}HG_{3X}-2XG_{3\phi}, (A.8)
4\displaystyle{\cal E}_{4} =6H2G4+24H2X(G4X+XG4XX)12HXϕ˙G4ϕX6Hϕ˙G4ϕ,\displaystyle=-6H^{2}G_{4}+24H^{2}X(G_{4X}+XG_{4XX})-12HX\dot{\phi}G_{4\phi X}-6H\dot{\phi}G_{4\phi}, (A.9)
5\displaystyle{\cal E}_{5} =2H3Xϕ˙(5G5X+2XG5XX)6H2X(3G5ϕ+2XG5ϕX),\displaystyle=2H^{3}X\dot{\phi}(5G_{5X}+2XG_{5XX})-6H^{2}X(3G_{5\phi}+2XG_{5\phi X}), (A.10)

and

pmatter+i=25𝒫i=0,p_{\mathrm{matter}}+\sum^{5}_{i=2}{\cal P}_{i}=0, (A.11)

where

𝒫2\displaystyle{\cal P}_{2} =K,\displaystyle=K, (A.12)
𝒫3\displaystyle{\cal P}_{3} =2X(G3ϕ+ϕ¨G3X),\displaystyle=-2X\Big{(}G_{3\phi}+\ddot{\phi}G_{3X}\Big{)}, (A.13)
𝒫4\displaystyle{\cal P}_{4} =2(3H2+2H˙)G44H2X(3+X˙HX+2H˙H2)G4X\displaystyle=2(3H^{2}+2\dot{H})G_{4}-4H^{2}X\bigg{(}3+\frac{\dot{X}}{HX}+2\frac{\dot{H}}{H^{2}}\bigg{)}G_{4X}
8HXX˙G4XX+2(ϕ¨+2Hϕ˙)G4ϕ+4XG4ϕϕ+4X(ϕ¨2Hϕ˙)G4ϕX,\displaystyle-8HX\dot{X}G_{4XX}+2(\ddot{\phi}+2H\dot{\phi})G_{4\phi}+4XG_{4\phi\phi}+4X(\ddot{\phi}-2H\dot{\phi})G_{4\phi X}, (A.14)
𝒫5\displaystyle{\cal P}_{5} =2X(2H3ϕ˙+2HH˙ϕ˙+3H2ϕ¨)G5X4H2X2ϕ¨G5XX\displaystyle=-2X(2H^{3}\dot{\phi}+2H\dot{H}\dot{\phi}+3H^{2}\ddot{\phi})G_{5X}-4H^{2}X^{2}\ddot{\phi}G_{5XX}
+4HX(X˙HX)G5ϕX+2H2X(3+2X˙HX+2H˙H2)G5ϕ+4HXϕ˙G5ϕϕ.\displaystyle+4HX(\dot{X}-HX)G_{5\phi X}+2H^{2}X\bigg{(}3+2\frac{\dot{X}}{HX}+2\frac{\dot{H}}{H^{2}}\bigg{)}G_{5\phi}+4HX\dot{\phi}G_{5\phi\phi}. (A.15)

Here, H=a˙/aH=\dot{a}/a is the Hubble rate function and the dot means derivative with respect to time and ρmatter\rho_{\mathrm{matter}} and pmatterp_{\mathrm{matter}} are the matter energy density and the pressure, respectively. The equation of motion of the scalar field is given by varying the action with respect to ϕ(t)\phi(t):

1a3ddt(a3J)=Pϕ,\frac{1}{a^{3}}\frac{d}{dt}(a^{3}J)=P_{\phi}, (A.16)

where

J=\displaystyle J= ϕ˙KX+6HXG3X2ϕ˙G3ϕ+6H2ϕ˙(G4X+2XG4XX)12HXG4ϕX\displaystyle\dot{\phi}K_{X}+6HXG_{3X}-2\dot{\phi}G_{3\phi}+6H^{2}\dot{\phi}(G_{4X}+2XG_{4XX})-12HXG_{4\phi X}
+2H3X(3G5X+2XG5XX)6H2ϕ˙(G5ϕ+XG5ϕX),\displaystyle+2H^{3}X(3G_{5X}+2XG_{5XX})-6H^{2}\dot{\phi}(G_{5\phi}+XG_{5\phi X}), (A.17)
Pϕ=\displaystyle P_{\phi}= Kϕ2X(G3ϕϕ+ϕ¨G3ϕX)+6(2H2+H˙)G4ϕ+6H(X˙+2HX)G4ϕX\displaystyle K_{\phi}-2X(G_{3\phi\phi}+\ddot{\phi}G_{3\phi X})+6(2H^{2}+\dot{H})G_{4\phi}+6H(\dot{X}+2HX)G_{4\phi X}
6H2XG5ϕϕ+2H3Xϕ˙G5ϕX.\displaystyle-6H^{2}XG_{5\phi\phi}+2H^{3}X\dot{\phi}G_{5\phi X}. (A.18)

Equations (A.6), (A.11), and (A.16) control the background evolution of the Universe. In the same manner as the quintessence model, Eqs. (A.11) and (A.16) are equivalent when Eq. (A.6) holds. Equations (A.6) and (A.11) can be rewritten in the well-known form

3H2=κ2(ρmatter+ρϕ),\displaystyle 3H^{2}=\kappa^{2}(\rho_{\mathrm{matter}}+\rho_{\phi}), (A.19)
3H22H˙=κ2(pmatter+pϕ),\displaystyle-3H^{2}-2\dot{H}=\kappa^{2}(p_{\mathrm{matter}}+p_{\phi}), (A.20)

where we defined ρϕ\rho_{\phi} and pϕp_{\phi} as

ρϕi=25i+3H2κ2,pϕi=25𝒫i1κ2(3H2+2H˙).\rho_{\phi}\equiv\sum^{5}_{i=2}{\cal E}_{i}+\frac{3H^{2}}{\kappa^{2}},\qquad p_{\phi}\equiv\sum^{5}_{i=2}{\cal P}_{i}-\frac{1}{\kappa^{2}}(3H^{2}+2\dot{H}). (A.21)

These equations define the effective energy density and effective pressure, respectively. As for the matter part, we may set pmatter=0p_{\mathrm{matter}}=0 as the pressures of both baryons and cold dark matter are negligible.

Appendix B Possibility of α<0\alpha<0

As mentioned in Sec. 4, a negative α\alpha can be realized in the case G4ϕ0G_{4\phi}\neq 0 and G3X0G_{3X}\neq 0. To see this, we recapitulate the expression for α\alpha,

α=G4ϕ(2G4ϕ+ϕ˙2G3X)G4[KX2G3ϕ+ϕ¨(2G3X+ϕ˙2G3XX)+ϕ˙2G3ϕX].\displaystyle\alpha=\dfrac{G_{4\phi}(2G_{4\phi}+\dot{\phi}^{2}G_{3X})}{G_{4}\left[K_{X}-2G_{3\phi}+\ddot{\phi}(2G_{3X}+\dot{\phi}^{2}G_{3XX})+\dot{\phi}^{2}G_{3\phi X}\right]}\,. (B.1)

Hence we have α<0\alpha<0 if we consider a model with G4ϕ(2G4ϕ+ϕ˙2G3X)<0G_{4\phi}(2G_{4\phi}+\dot{\phi}^{2}G_{3X})<0, which may be realized by making ϕ˙2G3X\dot{\phi}^{2}G_{3X} the same order of G4ϕG_{4\phi}. A simplest model would be to set G3=X/m3G_{3}=-X/m^{3} and KX=1K_{X}=1 with m3H02Mplm^{3}\lesssim H_{0}^{2}M_{pl}. But we have not checked if this model could give an observationally viable model or not.

Another possibility is to consider Ckin=KX2G3ϕ1C_{kin}=K_{X}-2G_{3\phi}\ll 1. In this case it seems there are many ways to realize a negative α\alpha. Here let us consider the case Ckin=KX2G3ϕ<0C_{kin}=K_{X}-2G_{3\phi}<0. In this case, we should take care of no ghost and no gradient instability conditions. No ghost condition and the condition cs20c_{s}^{2}\geq 0 are expressed as [75, 81]

KX+ϕ˙2KXX2G3ϕϕ˙2G3ϕX\displaystyle K_{X}+\dot{\phi}^{2}K_{XX}-2G_{3\phi}-\dot{\phi}^{2}G_{3\phi X}
+3Hϕ˙(2G3X+ϕ˙2G3XX)+34(2G4ϕϕ˙2G3X)2G4>0,\displaystyle\qquad+3H\dot{\phi}(2G_{3X}+\dot{\phi}^{2}G_{3XX})+\frac{3}{4}\frac{(2G_{4\phi}-\dot{\phi}^{2}G_{3X})^{2}}{G_{4}}>0\,, (B.2)
G4Ckin+4G4ϕ214(2G4ϕϕ˙2G3X)20,\displaystyle G_{4}C_{kin}+4G_{4\phi}^{2}-\frac{1}{4}(2G_{4\phi}-\dot{\phi}^{2}G_{3X})^{2}\geq 0\,, (B.3)

where G4>0G_{4}>0 is assumed to prevent the instability in the tensor perturbation.

A simple example to realize a negative α\alpha without instabilities is the case G3=0G_{3}=0, K(ϕ,X)=cXK(\phi,X)=-c\,X, c>0c>0, and G4=eλϕ/Mpl/(2κ2)G_{4}=\mathrm{e}^{\lambda\phi/M_{pl}}/(2\kappa^{2}). In this case, the stability conditions (B.2) and (B.3) are expressed by a single equation;

cG4+3G4ϕ2>0,\displaystyle-c\,G_{4}+3G_{4\phi}^{2}>0, (B.4)

which is re-expressed as

8πc<32λ2exp[λϕ/Mpl].8\pi c<\frac{3}{2}\lambda^{2}\exp[\lambda\phi/M_{pl}]\,. (B.5)

The expressions for α\alpha and GeffG_{\rm eff} are given by

α\displaystyle\alpha =2G4ϕ2cG4ϕ+2G4ϕ2=λ2eλϕ/Mpl8πc+λ2eλϕ/Mpl\displaystyle=\frac{2G_{4\phi}^{2}}{-c\,G_{4\phi}+2G_{4\phi}^{2}}=\frac{\lambda^{2}e^{\lambda\phi/M_{pl}}}{-8\pi c+\lambda^{2}e^{\lambda\phi/M_{pl}}} (B.6)
Geff\displaystyle G_{\rm eff} =cG4+4G4ϕ216πG4(cG4+3G4ϕ2)=exp[λϕ/Mpl]16πc4λ2eλϕ/Mpl16πc3λ2eλϕ/MplG\displaystyle=\frac{-c\,G_{4}+4G_{4\phi}^{2}}{16\pi G_{4}(-c\,G_{4}+3G_{4\phi}^{2})}=\exp[-\lambda\phi/M_{pl}]\frac{16\pi c-4\lambda^{2}{e}^{\lambda\phi/M_{pl}}}{16\pi c-3\lambda^{2}{e}^{\lambda\phi/M_{pl}}}G (B.7)

We note that this gives the same expression for GeffG_{\rm eff} as the one obtained for the models discussed in section 4 when expressed in terms of α\alpha,

Geff=2+2α2+αexp[λϕ/Mpl]G.\displaystyle G_{\rm eff}=\frac{2+2\alpha}{2+\alpha}\exp[-\lambda\phi/M_{pl}]G\,. (B.8)

The stability condition (B.5) implies that α\alpha may take the value in the range, <α<2-\infty<\alpha<-2 and 0α<0\leq\alpha<\infty. The stability also guarantees the positivity of GeffG_{\rm eff}.. A negative α\alpha can be realized for λ2eλϕ/Mpl<8πc<3λ2eλϕ/Mpl/2\lambda^{2}{e}^{\lambda\phi/M_{pl}}<8\pi c<3\lambda^{2}{e}^{\lambda\phi/M_{pl}}/2. Both for negative and positive values of α\alpha, the effective gravitational force becomes twice as strong as GR in the limit of large |α||\alpha|.

References