Abstract
Based on the effective field theory (EFT) of cosmological perturbations, we explicitly clarify the pathology in nonsingular cubic Galileon models and show how to cure it in EFT with new insights into this issue. With the least set of EFT operators that are capable to avoid instabilities in nonsingular cosmologies, we construct a nonsingular model dubbed the Genesis-inflation model, in which a slowly expanding phase (namely, Genesis) with increasing energy density is followed by slow-roll inflation. The spectrum of the primordial perturbation may be simulated numerically, which shows itself a large-scale cutoff, as the large-scale anomalies in CMB might be a hint for.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Inflation is still being eulogized for its simplicity and also criticized for its past-incompleteness [1, 2]. A complete description of the early universe requires physics other than only implementing inflation.
To the best of current knowledge, the inflation scenario will be past-complete, only if it happens after a nonsingular bounce which is preceded by a contraction [3,4,5,6,7], or a slow expansion phase (namely, the Genesis phase) with increasing energy density [8,9,10]. These two possibilities will be called bounce-inflation and Genesis-inflation, respectively. Besides being past-complete, a bounce-inflation or Genesis-inflation scenario may explain the probable large-scale anomalies in cosmological microwave background (CMB) [6, 11]. The nonsingular Quintom bounce [12,13,14] (see also [15]), the ekpyrotic universe [16, 17], the Genesis scenario [18,19,20,21], and the slow expansion scenario [22,23,24,25] have acquired intensive attention. In classical nonsingular (past-complete) cosmologies, the null energy condition (NEC) must be violated for a period.
The ghost-free bounce models [26,27,28,29,30] have been obtained in cubic Galileon [31] and full Horndeski theory [32,33,34]. However, recently, it has been proved in Ref. [35] that there exists a “no-go” theorem for the cubic Galileon, i.e., the gradient instability (\(c_s^2<0\) with \(c_s\) being the sound speed of the scalar perturbations) is inevitable in the corresponding models. See also [36] for the extension to the full Horndeski theory, and [37] for the attempts to avoid the “no-go” in Horndeski theory. Relevant studies can also be found in [38,39,40].
Recently, in Ref. [41] (see also [42]), we dealt with this issue in the framework of the effective field theory (EFT) [43,44,45,46], which has proved to be a powerful tool. In EFT, the quadratic action of the scalar perturbation could always be written in the form (see [41] for detailed derivations)
where we have neglected higher-order spatial derivatives of the scalar perturbation \(\zeta \), the sound speed squared of scalar perturbation
with the coefficients \(c_1\), \(c_2\) and \(c_3\) being time dependent parameters in general, and \(c_1>0\) is needed to avoid the ghost instability. The condition for avoiding the gradient instability is \(c_s^2\sim {{\dot{c}}_3/ a}-c_2>0\), which is usually integrated as
The condition of satisfying the inequality is to have \(c_3\) cross 0, which is hardly possible in models based on the cubic Galileon [35, 36]. However, we found that it can easily be satisfied by applying the EFT operator \(R^{(3)}\delta g^{00}\) (with \(R^{(3)}\) being the 3-dimensional Ricci scalar on the spacelike hypersurface and \(\delta g^{00}=g^{00}+1\)), so that the gradient instability can be cured.
Though the integral approach (3) is simple and efficient, some details of curing the pathology might actually be missed. In this paper, based on the EFT, using a “non-integral approach”, we revisit the nonsingular cosmologies. We begin straightly with (2), and we clarify the origin of pathology and show how to cure it in EFT with new insights into what is happening (Sect. 2). To have practice in this clarification, we build a stable model of the Genesis-inflation scenario by using the \(R^{(3)}\delta g^{00}\) operator (Sect. 3). As a supplementary remark, we discuss a dilemma in the Genesis scenario (Sect. 4).
2 Re-proof of the “no-go” and its avoidance in EFT
The EFT is briefly introduced in Appendix A. In the unitary gauge, the quadratic action of tensor perturbation \(\gamma _{ij}\) is (see [41] for the derivation of Eqs. (4)–(8))
where \(Q_T= f+{2 m_4^2\over M_p^2}>0\), \(c_T^2=f/Q_T>0\), f and \(m_4^2\) are coefficients defined in the EFT action (A4).
The quadratic action of the scalar perturbation \(\zeta \) is given by Eq. (1) with
where \(M_2^4\), \(m_3^3\) and \({\tilde{m}}_4^2\) are coefficients defined in the EFT action (A4), and they could be time dependent in general.
Only if \(c_1>0\) and \(c_s^2>0\), the model is free from ghost and gradient instabilities, respectively. In nonsingular cosmological models based on the cubic Galileon [28,29,30], \(c_1>0\) is not hard to obtain, as can be seen from Eq. (5), since the cubic Galileon contributes the \({m_3^3(t)\over 2}\delta K\delta g^{00}\) operator in EFT. However, since \(c_3\) is also affected by \({m_3^3(t)\over 2}\delta K\delta g^{00}\) through \(\gamma \), \(c_s^2<0\) is actually inevitable, as will be demonstrated in the following.
Since \(c_1>0\), the requirement of \(c_s^2>0\) equals
Here, \(Q_T\ne Q_{{\tilde{m}}_4}\) is required, which cannot be embodied by the Horndeski theory [32,33,34]. Thus whether \(c_s^2>0\) or not is controlled by the parameter set (H, \(\gamma \), \(Q_T\), \(c_T^2\), \(Q_{{\tilde{m}}_4}\)).
In the following, with condition (9), we will re-prove the “no-go” theorem for the cubic Galileon, and clarify how to cure it in EFT. Different from the proof in [35, 41, 42], the re-proof is directly based on the derivative inequality instead of integrating it, which we called “non-integral approach”. We assume that after the beginning of the hot “big bang” or inflation, \(\gamma =H>0\), \({\dot{\gamma }} <0\) and \(Q_{{\tilde{m}}_4}=1\).
2.1 Case I: initially \(\gamma <0\)
Since initially \(\gamma <0\), \(\gamma \) has to cross 0 from \(\gamma <0\) to \(\gamma >0\) at \(t_\gamma \). The analysis below is also applicable for all cases with \(\gamma \) crossing 0 from \(\gamma <0\) to \(\gamma >0\).
In the ekpyrotic and bounce models, initially \(\gamma =H<0\). In the Genesis model [18] and the slow expansion model [23], \(H>0\) during the Genesis, but actually \(\gamma =H-{m^3_3\over 2M_p^2}<0\), as discussed in Sect. 4. Both belong to Case I.
In the cubic Galileon case, \(f=Q_T=Q_{{\tilde{m}}_4}=1\). Around \(t_\gamma \), condition (9) is
We see that \(c_s^2<0\) is inevitable around \(t_\gamma \), since \({{\dot{\gamma }}}>0\). Thus the nonsingular models based on the cubic Galileon is pathological, as first proved by LMR in [35].
In the EFT case, around \(t_\gamma \), condition (9) requires
We might have \(c_s^2>0\), only if (considering only the case where only one of \(Q_T\) and \(Q_{{\tilde{m}}_4}\) is modified while the unmodified one is unity) around \(\gamma =0\)
In solution (12), at \(t_\gamma \), \(\gamma =0\) suggests \(Q_T=0\). Here, since \(\gamma =0\) at \(t_{\gamma }\), \(c_1\sim {Q_T/\gamma ^2}\) diverges. One possibility of removing this divergence is that \(\gamma \sim (t-t_{\gamma })^p\) and \(Q_T \sim (t-t_{\gamma })^n\) around \(t_\gamma \), with \(n\geqslant 2p\) and p, n being constants. In Ijjas and Steinhardt’s model [37], \(\gamma \sim t-t_{\gamma }\), while \(Q_T\sim (t-t_{\gamma })^2 \), which belongs to this case.
In the bounce model based on the cubic Galileon, Eq. (8) gives \(\gamma =H-{m_3^3\over 2M_p^2}\ne H\). Generally, the NEC is violated when \({\dot{H}}>0\), while the period of \(c_s^2<0\) corresponds to the phase with \(\gamma \simeq 0\) and \({\dot{\gamma }}>0\). These two phases do not necessarily coincide, see Eq. (8). As pointed out by Ijjas and Steinhardt [37], it is the sign’s change of \(\gamma \) that causes the pathology. Here, we reconfirmed this point.
In solution (13), if \(Q_{{\tilde{m}}_4}> 0\), at \(t_\gamma \), \(\gamma =0\) suggests \(Q_{{\tilde{m}}_4}=0\); while if \(Q_{{\tilde{m}}_4}< 0\), since \(Q_{{\tilde{m}}_4}=1\) eventually, \(Q_{{\tilde{m}}_4}\) must cross 0 at \(t_{{\tilde{m}}_4}\) (generally \(t_{{\tilde{m}}_4}\ne t_{\gamma }\)), at which \({\dot{Q}}_{{\tilde{m}}_4}\gamma >c_T^2\gamma ^2\) must be satisfied. In both cases, \({Q}_{{\tilde{m}}_4}=0\) is required, as proposed by Cai et al. [41] and Creminelli et al. [42].
We see again the details of \(Q_{{\tilde{m}}_4}\) crossing 0. In both the Genesis model and the bounce model, initially \({Q}_{{\tilde{m}}_4}=1\), so if \(Q_{{\tilde{m}}_4}< 0\) around \(t_\gamma \), \({Q}_{{\tilde{m}}_4}\) must cross 0 twice. Thus it seems that \({\dot{Q}}_{{\tilde{m}}_4}\gamma >c_T^2\gamma ^2\) is hard to implement. However, with (2) and (7), one always could solve \({Q}_{{\tilde{m}}_4}\) for any given \(c_s^2\),
where \(Q_T=1\).
2.2 Case II: \(\gamma >0\) throughout
Since \(\gamma >0\) throughout, we must have \({{\dot{\gamma }}}\geqslant 0\) during some period initially,Footnote 1 otherwise \(\gamma \) will diverge in the infinite past.
In the cubic Galileon case, condition (9) is
In the bounce model, \(H<0\) in the contracting phase, and in the Genesis model, \(H\sim 0\) in the Genesis phase, both suggest \(H\gamma -\gamma ^2-{{{\dot{\gamma }}}}<0\).Footnote 2 Thus \(c_s^2<0\) is inevitable in the corresponding phases, so the nonsingular models based on the cubic Galileon is pathological.
We see the Genesis model in the cubic Galileon version again in detail. During the slow expansion (Genesis phase), \(H\sim {1/ (-t)^n}\) with the constant \(n>1\). Thus
which implies \(H\gamma \ll {{\dot{\gamma }}}\). Thus with (15), we see that \(c_s^2<0\) is inevitable in the slow expansion phase. It seems that if \(n=1\), \(H\gamma \ll {{\dot{\gamma }}}\) might be avoided. However, when \(n=1\), we have \(H=p/(-t)\) and \(a\sim {1/ (-t)^p}\) with constant p, thus \(a\rightarrow 0\) in the infinite past. From (16), we see that \(c_s^2>0\) requires \(p={H^2/{\dot{H}}}>1\). Therefore, the universe is singular, or from another point of view, it is geodesically incomplete since the affine parameter of the graviton geodesics \(\int _{t_i}^{t_f} a \mathrm{d}t\) is finite for \(p>1\) when \(t_i\rightarrow -\infty \).
In the EFT case, condition (9) requires
We might have \(c_s^2>0\), only if (considering only the case where either \(Q_T\) or \(Q_{{\tilde{m}}_4}\) is modified)
Generally, \(-H{\gamma }+{{{\dot{\gamma }}}}>0\), as in the Genesis model and the bounce model. Thus the solution (18) suggests \({\dot{Q}}_T>0\), so that we will have \(Q_T=0\) in the infinite past. Thus based on (12) and (18), it seems that though the pathology can be cured by applying \(Q_T\), \(Q_T=0\) is inevitable. A model with (18) has been proposed by Kobayashi [36] (\(Q_T\sim {1\over (-t)^{p}}\), \(p>n>1\)). During the Genesis \(\gamma \sim H\sim {1/ (-t)^n}\), \(n>1\), (17) is
Initially, \(Q_T\sim {1\over (-t)^{p}}= 0\).
In solution (19), \(Q_{{\tilde{m}}_4}\) must cross 0 at \(t_{{\tilde{m}}_4}\) to \(Q_{{\tilde{m}}_4}>0\), as pointed out by Cai et al. [41] and Creminelli et al. [42]. Around \(t_{{\tilde{m}}_4}\), \({\dot{Q}}_{{\tilde{m}}_4}> c_T^2\gamma \) must be satisfied.
In (17), if \(Q_{{\tilde{m}}_4}>0\) throughout,
is obtained. Thus, similar to (18), we have \(Q_{{\tilde{m}}_4}=0\) (which definitely requires \(\gamma =0\)) in the infinite past. In the Genesis model, \(Q_{{\tilde{m}}_4}\sim 1/(-t)^p\) and \(\gamma \sim 1/(-t)^n\) with \(p>n\), since \({\dot{Q}}_{{\tilde{m}}_4}/{Q}_{{\tilde{m}}_4}>{\dot{\gamma }}/\gamma \). However, \(p>n\) indicates \({\dot{Q}}_{{\tilde{m}}_4}<\gamma \) in the infinite past (\(Q_{{\tilde{m}}_4}=0\)), which violates the inequality (21). Thus \(Q_{{\tilde{m}}_4}>0\) throughout seems unworkable (Table 1).
3 Application to Genesis-inflation
In this section, we will build a nonsingular model with the solution (19), in which the slow-roll inflation is preceded by a Genesis phase. A Genesis phase is a slowly expanding phase originating from the Minkowski vacuum with a drastic violation of NEC, i.e., \(\epsilon \ll -1\); thus the energy density is increasing with the expansion of the universe and hence is free from the initial singularity [18, 19] (see also [22]). As will be shown below, our model cannot only get rid of the pathology of instability, but also give rise to a flat spectrum with interesting features at large scales.
3.1 The setup of the model
The action of the model is
where \(X=-\nabla _{\mu }\phi \nabla ^\mu \phi /2\), \(\Box \phi =\nabla _{\mu }\nabla ^{\mu }\phi \), and \(\phi \) is a dimensionless scalar field, so dimensionless are \(g_1(\phi )\), \(g_2(\phi )\), \(g_3(\phi )\) and \(V(\phi )\) .
Mapped into the EFT action (A4), (22) corresponds to
We can get the background equations
where “\(_{,\phi }=d/d\phi \)” and “\(_{,\phi \phi }=d^2/d\phi ^2\)”.
Initially, the universe is slowly expanding (in the Genesis phase), \(H\simeq 0\). We set \(V=0\), \(g_1= -f_1 \mathrm{e}^{2\phi }\), \(g_2= f_2\) and \(g_3= f_3\), see e.g. Ref. [9], with \(f_{1,2,3}\) being dimensionless constants. Thus with Eq. (30), we have \(\frac{M_p^2}{2} g_1{\dot{\phi }}^2 +\frac{3}{4} g_3 {\dot{\phi }}^4=0\), which suggests
The solution is
Equation (31) reads \(\dot{H}={f_3-2f_2\over 4 M_p^2}{{\dot{\phi }}}^4\). Thus we get
after the integration. In principle, there could be a constant, i.e., \(H={f_3-2f_2\over 12M_p^2}{1\over (-t)^3}+\mathrm{const}\), however, in that case we will have \(H\approx \mathrm{const}\) initially, which is geodesically incomplete (see also [47]).
Additionally, from Eq. (35), we have
while we set \(a(-\infty )=1\).
During inflation, we set \(g_1=1\) and \(g_2=g_3=0\), since we require that the inflationary phase is controlled by a simple slow-roll field.Footnote 3
3.2 The primordial perturbation and its spectrum
In the unitary gauge, the quadratic action of the scalar perturbation is presented in the form of Eq. (1). The coefficients \(c_i\) are (substituting Eqs. (23)–(29) into (5)–(7))
where
The sound speed squared \(c_s^2\) of the scalar perturbation is defined in Eq. (2). Here, when \({\tilde{m}}_4^2\equiv 0\) or \(Q_{{\tilde{m}}_4}=1\), the sound speed squared of the scalar perturbation is reduced to
It is easy to see that \(c_{s0}^2=1\) for inflation, since \(g_2=g_3=0\), but not for Genesis. However, using the operator \({{\tilde{m}}_4^2(t)\over 2}R^{(3)}\delta g^{00}\), we could always set \(c_s^2=1\) in the Genesis phase, which requires \({\tilde{m}}_4^2=-{2M_p^2(f_2+f_3)\over 4f_2+f_3}\). This suggests \(Q_{{\tilde{m}}_4}=-{3f_3\over 4f_2+f_3}\) is a constant at \(|-t|\gg 1\), which is consistent with the solution (19).
The equation of motion of \(\zeta \) is
with \(u=z\zeta \), \(z=\sqrt{2a^2 c_1}\); the prime denotes the derivative with respect to the conformal time \(\tau =\int \mathrm{d}t/a\). The initial state is the Minkowski vacuum, thus \(u= {1\over \sqrt{2c_sk}}\mathrm{e}^{-ic_sk\tau }\) for \(\zeta \) modes deep inside the horizon. The power spectrum of \(\zeta \) is
In the following, we will analytically estimate the spectrum of the scalar perturbation. We set \(c_s^2=1\) throughout for simplicity, which could be implemented by using \(Q_{{\tilde{m}}_4}(t)\), as will be illustrated by the numerical simulation.
In the Genesis phase, substituting Eqs. (34), (35) into (5), we have
Thus
Then it is straightforward to obtain \({z''\over z} \approx \frac{\left( f_3-2 f_2\right) {}^2}{72 M_p^4 \tau ^6}\approx {0\over \tau ^2}\), where \( \tau =\int {1\over a}\mathrm{d}t \approx t\). Thus the solution of Eq. (42) is
where \(C_{11}\) and \(C_{12}\) are functions of k, \(H^{(1)}_{\nu }\) and \(H^{(2)}_{\nu }\) are Hankel functions of the first and the second kind of \(\nu \)th order, respectively. The initial condition \(u= {1\over \sqrt{2k}}\mathrm{e}^{-ik\tau }\) indicates
In the inflation phase, \(c_1=\epsilon M_p^2\), thus \(z=\sqrt{2\epsilon a^2 M_p^2}\). We set \(\epsilon \ll 1\) as a constant during inflation. Then \({z''/ z}\approx (2+3\epsilon )/\tau ^2\). The solution of Eq. (42) is
with \(\nu _2\approx 3/2+\epsilon \).
We require that \(u_1(\tau _{m})=u_2(\tau _{m})\) and \(u_1'(\tau _{m})=u_2'(\tau _{m})\), with \(\tau _m\) approximately corresponding to the beginning time of inflation phase, and we obtain
The power spectrum of \(\zeta \) is given by
where \(P_\mathcal{R}^\mathrm{inf}=\frac{H^2_\mathrm{inf}}{8 \pi ^2 M_p^2 \epsilon }\cdot \left( {k\over aH} \right) ^{3-2\nu _2}\) is the power spectrum of the scalar perturbation modes that exit the horizon during inflation. We see that for the perturbation modes exiting the horizon in the Genesis phase, \(-k\tau _m\ll 1\), \(|C_{21}-C_{22}|^2 \simeq (-k\tau _m)^2\), thus \(P_\mathcal{R}\sim k^{2}\) is strong blue-tilted, while for the perturbation modes exiting the horizon in the inflation phase, \(-k\tau _m\gg 1\), \(|C_{21}-C_{22}|^2 \simeq 1\), thus \(P_\mathcal{R}\sim k^{3-2\nu _2}=k^{-2\epsilon }\) is flat with a slightly red tilt.
Tensor perturbation is unaffected by the \(R^{(3)}\delta g^{00}\) operator. Its quadratic action is given in Eq. (4) with \(Q_T=1\) and \(c_T^2=1\). The spectrum of primordial GWs can be calculated similarly; see also Ref. [8]. Since \(z_T''/z_T=a''/a\), we have
where \(P_{T}^\mathrm{inf}=\frac{2H^2_\mathrm{inf}}{\pi ^2 M_p^2 }\cdot \left( {k\over aH} \right) ^{3-2\nu _2}\) is the power spectrum of tensor perturbation modes that exit the horizon during inflation. Thus the spectrum of primordial GWs has a shape similar to that of the scalar perturbation.
3.3 Numerical simulation
In the numerical calculation, we set
with \(f_{1,2,3}\), \(q_{1,2,3,4}\), \(\phi _{0,1,2}\) and \(\lambda \) being dimensionless constants. When \(\phi \ll \phi _0\), we have \(g_1= -f_1 \mathrm{e}^{2\phi }\), \(g_2= f_2\) and \(g_3= f_3\), which brings a Genesis phase (36), while \(\phi \gg \phi _0\), we have \(g_1=1\) and \(g_2=g_3=0\), the slow-roll inflation will occur with \(V(\phi )\sim \phi ^2\). When \(\phi \ll \phi _2\), \(V(\phi )\approx 0\), while \(\phi \gg \phi _2\), \(V(\phi )\approx {\lambda \over 2}(\phi -\phi _1)^2\). We do not require \(\phi _0=\phi _2\) but \(\phi _0>\phi _2\).
We start the simulation at \(t_i\ll -1\), and we set
and
We show the evolution of \(\phi \) and \({{\dot{\phi }}}\) in Fig. 1, and the evolution of a, H and \(\epsilon \) in Fig. 2. In Fig. 3a, \(c_1\) is plotted, and \(c_1>0\) is satisfied. In Fig. 3b, we see that \(\gamma \) does not cross 0, which implies that, in the Genesis phase, \(c_{s0}^2<0\) (see Fig. 4a), as proved in Sect. 4. By including the operator \(R^{(3)}\delta g^{00}\), we could have \(c_s^2>0\) and so cure the gradient instability. The spectrum of the scalar perturbation can be simulated numerically, which is plotted in Fig. 5. The spectrum obtained has a cutoff at large scale \(k<k_*\) and is nearly scale-invariant for \(k>k_*\), as displayed in Eq. (51).
4 The dilemma of \(\gamma \) in the Genesis scenario
In the Genesis scenario based on the cubic Galileon, see [18] (see also [23]), we have
during the Genesis, where \(f_2<0\).
In Ref. [18], \(f_3=-f_2\), which suggests \(\gamma ={f_2\over 4M_p^2}{{\dot{\phi }}}^3<0\). Thus if a hot “big bang” or inflation (\(\gamma =H>0\)) starts after the Genesis phase, \(\gamma \) must cross 0 at \(t_\gamma \) (\(c_{s0}^2<0\) around \(t_\gamma \), which may be cured by applying \(Q_{{\tilde{m}}_4}\)). It is obvious that when \(\gamma =0\), \(c_1\) in (1) will be divergent. Though this divergence might not be a problem, it will affect the numerical simulation for perturbations [49, 50], unless \(Q_T/\gamma ^2\) is finite at \(t_\gamma \), as in Ijjas and Steinhardt’s model [37].
In the model of [9], the Genesis is followed by Galileon inflation [51]. Though \(f_3=-f_2\) and \(\gamma ={f_2\over 4M_p^2}{{\dot{\phi }}}^3<0\) in the Genesis phase, one might also have \(\gamma <0\) for Galileon inflation, since \(g_2\ne 0\) in (22) during inflation. Thus it seems that \(\gamma \) might not necessarily cross 0. However, after inflation, \(\gamma \) crossing 0 is still inevitable.
In our model, the Genesis is followed by the slow-roll inflation, \(\gamma =H>0\) for inflation. To not cross 0, initially \(\gamma \) must satisfy \(\gamma >0\). In the Genesis phase, this suggests \(f_3>-4f_2\). Thus we will have \(\gamma >0\) throughout. However, for the cubic Galileon model, the expense is
during the Genesis. Here, this pathology is cured in EFT by applying (19).
5 Conclusion
Based on the EFT of cosmological perturbations, we revisit the nonsingular cosmologies, using the “non-integral approach”. By doing this, we could have a clearer understanding of the pathology in nonsingular Galileon models and its cure in EFT.
We clarify the application of the operator \({{\tilde{m}}_4^2}R^{(3)}\delta g^{00}/2\) in EFT, which is significant for curing the gradient instability. We show that if \(Q_{{\tilde{m}}_4}<0\) around \(\gamma =0\) is adopted to cure the gradient instability, in solution (13) (with \(\gamma <0\) and \({Q}_{{\tilde{m}}_4}=1\) initially), \({Q}_{{\tilde{m}}_4}\) must cross 0 twice; while in solution (19) (with \(\gamma >0\) throughout), initially \(Q_{{\tilde{m}}_4}<0\) must be satisfied, \(Q_{{\tilde{m}}_4}\) will cross 0 to \(Q_{{\tilde{m}}_4}>0\) at \(t_{{\tilde{m}}_4}\), and crosses 0 only once. Thus at a certain time, \({Q}_{{\tilde{m}}_4}\) meeting 0 is required, as pointed out first by Cai et al. [41], and also by Creminelli et al. [42].
We also clarify that in the bounce model with \(\gamma <0\) initially, \(c_s^2<0\) will occur in the phase with \(\gamma \simeq 0\) and \({{\dot{\gamma }}}>0\), while the NEC is violated when \({\dot{H}}>0\) (bounce phase); these two phases do not necessarily coincide. As pointed out by Ijjas and Steinhardt [37], it is the sign’s change of \(\gamma \) that causes \(c_s^2<0\). Here, we verify this point. In the Genesis model, see [9, 18], and also see [23], the case is similar, as discussed in Sect. 4.
The nonsingular model with the solution (19) (\(\gamma >0\) throughout) has not been studied before. In Sect. 3, we design such a model, in which a slow expansion phase (namely, the Genesis phase) is followed by slow-roll inflation. Under the unitary gauge, since \({{\dot{\gamma }}}>0\) and \(\gamma >0\) (not crossing 0), the evolution of primordial perturbations can be simulated numerically. The simulation displays that the spectrum acquires a large-scale cutoff, as expected in Ref. [8].
We conclude that, based on EFT, not only a stable nonsingular cosmological scenario may be built without getting involved in unknown physics, but also the phenomenological possibilities of its implementation are far richer than expected (see also [52, 53] for the higher spatial derivative operators).
Notes
Of course, in Case II, we could also have \({\dot{\gamma }}<0\) during some period, but what we focus on is the period (i.e., \({\dot{\gamma }} \geqslant 0\)) where pathologies appear.
In the case where \(\gamma \) grows from 0 initially, (15) is also obeyed no more.
References
A. Borde, A. Vilenkin, Phys. Rev. Lett. 72, 3305 (1994). arXiv:gr-qc/9312022
A. Borde, A.H. Guth, A. Vilenkin, Phys. Rev. Lett. 90, 151301 (2003). arXiv:gr-qc/0110012
Y.-S. Piao, B. Feng, X.-M. Zhang, Phys. Rev. D 69, 103520 (2004). arXiv:hep-th/0310206
Y.-S. Piao, Phys. Rev. D 71, 087301 (2005). arXiv:astro-ph/0502343
Y.-S. Piao, S. Tsujikawa, X.-M. Zhang, Class. Quant. Grav. 21, 4455 (2004). arXiv:hep-th/0312139
Z.G. Liu, Z.K. Guo, Y.S. Piao, Phys. Rev. D 88, 063539 (2013). arXiv:1304.6527 [astro-ph.CO]
T. Qiu, Y.T. Wang, JHEP 1504, 130 (2015). arXiv:1501.03568 [astro-ph.CO]
Z.G. Liu, H. Li, Y.S. Piao, Phys. Rev. D 90(8), 083521 (2014). arXiv:1405.1188 [astro-ph.CO]
D. Pirtskhalava, L. Santoni, E. Trincherini, P. Uttayarat, JHEP 1412, 151 (2014). arXiv:1410.0882 [hep-th]
T. Kobayashi, M. Yamaguchi, J. Yokoyama, JCAP 1507(07), 017 (2015). arXiv:1504.05710 [hep-th]
Z.G. Liu, Z.K. Guo, Y.S. Piao, Eur. Phys. J. C 74(8), 3006 (2014). arXiv:1311.1599 [astro-ph.CO]
Y.F. Cai, T. Qiu, Y.S. Piao, M. Li, X. Zhang, JHEP 0710, 071 (2007). arXiv:0704.1090 [gr-qc]
Y.F. Cai, T.T. Qiu, R. Brandenberger, X.M. Zhang, Phys. Rev. D 80, 023511 (2009). arXiv:0810.4677 [hep-th]
Y.B. Li, J. Quintin, D.G. Wang, Y.F. Cai, JCAP 03, 031 (2017). arXiv:1612.02036 [hep-th]
M. Roshan, F. Shojai, Phys. Rev. D 94(4), 044002 (2016). arXiv:1607.06049 [gr-qc]
J. Khoury, B.A. Ovrut, P.J. Steinhardt, N. Turok, Phys. Rev. D 64, 123522 (2001). arXiv:hep-th/0103239
J.L. Lehners, Phys. Rep. 465, 223 (2008). arXiv:0806.1245 [astro-ph]
P. Creminelli, A. Nicolis, E. Trincherini, JCAP 1011, 021 (2010). arXiv:1007.0027 [hep-th]
K. Hinterbichler, A. Joyce, J. Khoury, G.E.J. Miller, Phys. Rev. Lett. 110, 241303 (2013). arXiv:1212.3607 [hep-th]
S. Nishi, T. Kobayashi, JCAP 1503(03), 057 (2015). arXiv:1501.02553 [hep-th]
S. Nishi, T. Kobayashi, Phys. Rev. D 95, 064001 (2017). arXiv:1611.01906 [hep-th]
Y.S. Piao, E. Zhou, Phys. Rev. D 68, 083515 (2003). arXiv:hep-th/0308080
Z.G. Liu, J. Zhang, Y.S. Piao, Phys. Rev. D 84, 063508 (2011). arXiv:1105.5713
Z.G. Liu, Y.S. Piao, Phys. Lett. B 718, 734 (2013). arXiv:1207.2568 [gr-qc]
Y. Cai, Y.S. Piao, JHEP 1603, 134 (2016). arXiv:1601.07031 [hep-th]
T. Qiu, J. Evslin, Y.F. Cai, M. Li, X. Zhang, JCAP 1110, 036 (2011). arXiv:1108.0593 [hep-th]
D.A. Easson, I. Sawicki, A. Vikman, JCAP 1111, 021 (2011). arXiv:1109.1047 [hep-th]
T. Qiu, X. Gao, E.N. Saridakis, Phys. Rev. D 88(4), 043525 (2013). arXiv:1303.2372 [astro-ph.CO]
Y.F. Cai, D.A. Easson, R. Brandenberger, JCAP 1208, 020 (2012). arXiv:1206.2382 [hep-th]
Y. Wan, T. Qiu, F.P. Huang, Y.F. Cai, H. Li, X. Zhang, JCAP 1512(12), 019 (2015). arXiv:1509.08772 [gr-qc]
A. Nicolis, R. Rattazzi, E. Trincherini, Phys. Rev. D 79, 064036 (2009). arXiv:0811.2197 [hep-th]
G.W. Horndeski, Int. J. Theor. Phys. 10, 363 (1974)
C. Deffayet, X. Gao, D.A. Steer, G. Zahariade, Phys. Rev. D 84, 064039 (2011). arXiv:1103.3260 [hep-th]
T. Kobayashi, M. Yamaguchi, J. Yokoyama, Prog. Theor. Phys. 126, 511 (2011). arXiv:1105.5723 [hep-th]
M. Libanov, S. Mironov, V. Rubakov, JCAP 1608(08), 037 (2016). arXiv:1605.05992 [hep-th]
T. Kobayashi, Phys. Rev. D 94(4), 043511 (2016). arXiv:1606.05831 [hep-th]
A. Ijjas, P.J. Steinhardt, Phys. Lett. B 764, 289 (2017). arXiv:1609.01253 [gr-qc]
A. Ijjas, P.J. Steinhardt, Phys. Rev. Lett. 117(12), 121304 (2016). arXiv:1606.08880 [gr-qc]
R. Kolevatov, S. Mironov, Phys. Rev. D 94(12), 123516 (2016). arXiv:1607.04099 [hep-th]
S. Akama, T. Kobayashi, Phys. Rev. D 95, 064011 (2017). arXiv:1701.02926 [hep-th]
Y. Cai, Y. Wan, H.G. Li, T. Qiu, Y.S. Piao, JHEP 1701, 090 (2017). arXiv:1610.03400 [gr-qc]
P. Creminelli, D. Pirtskhalava, L. Santoni, E. Trincherini, JCAP 1611(11), 047 (2016). arXiv:1610.04207 [hep-th]
C. Cheung, P. Creminelli, A.L. Fitzpatrick, J. Kaplan, L. Senatore, JHEP 0803, 014 (2008). arXiv:0709.0293 [hep-th]
G. Gubitosi, F. Piazza, F. Vernizzi, JCAP 1302, 032 (2013). arXiv:1210.0201 [hep-th]
F. Piazza, F. Vernizzi, Class. Quant. Grav. 30, 214007 (2013). arXiv:1307.4350 [hep-th]
J. Gleyzes, D. Langlois, F. Piazza, F. Vernizzi, JCAP 1308, 025 (2013). arXiv:1304.4840 [hep-th]
Z.G. Liu, Y.S. Piao, Phys. Rev. D 88, 043520 (2013). arXiv:1301.6833 [gr-qc]
X.F. Zhang, T. Qiu, Phys. Lett. B 642, 187 (2006). arXiv:astro-ph/0603824
L. Battarra, M. Koehn, J.L. Lehners, B.A. Ovrut, JCAP 1407, 007 (2014). arXiv:1404.5067 [hep-th]
M. Koehn, J.L. Lehners, B. Ovrut, Phys. Rev. D 93, 103501 (2016). arXiv:1512.03807 [hep-th]
T. Kobayashi, M. Yamaguchi, J. Yokoyama, Phys. Rev. Lett. 105, 231302 (2010). arXiv:1008.0603 [hep-th]
M. Giovannini, Phys. Rev. D 95, 083506 (2017). arXiv:1612.00346 [hep-th]
Y. Misonoh, M. Fukushima, S. Miyashita, Phys. Rev. D 95, 044044 (2017). arXiv:1612.09077 [gr-qc]
J.M. Maldacena, JHEP 0305, 013 (2003). arXiv:astro-ph/0210603
Acknowledgements
We thank Youping Wan for helpful comments. The work of YSP is supported by NSFC, Nos. 11575188, 11690021 and also supported by the Strategic Priority Research Program of CAS, Nos. XDA04075000, XDB23010100. The work of T. Q. is supported by NSFC under Grant Nos. 11405069 and 11653002.
Author information
Authors and Affiliations
Corresponding author
Appendix A: EFT of cosmological perturbations
Appendix A: EFT of cosmological perturbations
With the ADM line element, we have
and \(\sqrt{-g}=N\sqrt{h}\), where \(N_i=h_{ij}N^j\). The unit one-form tangent vector is defined as \(n_{\nu }=n_0 (\mathrm{d}t/\mathrm{d}x^{\mu })=(-N,0,0,0)\) and \(n^{\nu }=g^{\mu \nu }n_{\mu } =({1/ N},-{N^i/ N})\), which satisfies \(n_{\mu }n^{\mu }=-1\). On the hypersurface, the induced 3-dimensional metric is \(H_{\mu \nu }=g_{\mu \nu }+n_{\mu }n_{\nu }\); thus
The extrinsic curvature is \(K_{\mu \nu }\equiv {1\over 2}\mathcal{L}_{n}H_{\mu \nu }\), where \(\mathcal{L}_{n}\) is the Lie derivative with respect to \(n^{\mu }\). The induced 3-dimensional Ricci scalar \(R^{(3)}\) associated with \(H_{\mu \nu }\) is
Without higher-order spatial derivatives, the EFT reads [41]
where \(\delta g^{00}=g^{00}+1\), \(\delta K_{\mu \nu }=K_{\mu \nu }-H_{\mu \nu }H\) with H being the Hubble parameter. The coefficient set \((f, c, \Lambda , M_2, m_3\), \(m_4, {\tilde{m}}_4)\) specifies different theories and could be time dependent in general.Footnote 4 A particular subset \((m_4= {\tilde{m}}_4)\) of EFT (A4) is the Horndeski theory. \(S_m[g_{\mu \nu },\psi _m]\) is the matter part, which is minimally coupled to the metric \(g_{\mu \nu }\).
To obtain the quadratic actions for scalar and tensor perturbations, we will work in the unitary gauge, thus we set
Then we follow the standard method first used by Maldacena [54], it is straightforward (though tedious) to obtain the quadratic actions of scalar perturbation \(\zeta \) and tensor perturbation \(\gamma _{ij}\), as exhibited in Eqs. (1) and (4), respectively (see [41] for detailed derivations).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Cai, Y., Li, HG., Qiu, T. et al. The effective field theory of nonsingular cosmology: II. Eur. Phys. J. C 77, 369 (2017). https://doi.org/10.1140/epjc/s10052-017-4938-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-4938-y