Abstract
Combining the stochastic and \(\delta N\) formalisms, we derive non-perturbative analytical expressions for all correlation functions of scalar perturbations in single-field, slow-roll inflation. The standard, classical formulas are recovered as saddle-point limits of the full results. This yields a classicality criterion that shows that stochastic effects are small only if the potential is sub-Planckian and not too flat. The saddle-point approximation also provides an expansion scheme for calculating stochastic corrections to observable quantities perturbatively in this regime. In the opposite regime, we show that a strong suppression in the power spectrum is generically obtained, and we comment on the physical implications of this effect.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Inflation is one of the leading paradigms describing the physical conditions that prevailed in the very early Universe [1–6]. It is a phase of accelerated expansion that solves the puzzles of the standard hot Big Bang model, and it provides a causal mechanism for generating scalar [7–11] and tensor [12] inhomogeneous perturbations on cosmological scales. These inhomogeneities result from the parametric amplification of the vacuum quantum fluctuations of the gravitational and matter fields during the accelerated expansion.
The transition from these quantum fluctuations to classical but stochastic density perturbations [13–16] gives rise to the stochastic inflation formalism [17–25].Footnote 1 It consists of an effective theory for the long-wavelength parts of the quantum fields, which are “coarse grained” at a fixed physical scale (i.e. non-expanding), somewhat larger than the Hubble radius during the whole inflationary period.Footnote 2 The non-commutative parts of this coarse grained field \(\varphi \) are small, and at this scale, short-wavelength quantum fluctuations have negligible non-commutative parts too. In this framework, they act as a classical noise on the dynamics of the super-Hubble scales, and \(\varphi \) can thus be described by a stochastic classical theory, following the Langevin equation
This equation is valid at leading order in slow roll. Time is labeled by the number of \(e\)-folds \(N\equiv \ln a\), where a is the scale factor. The Hubble parameter \(H\equiv \mathrm {d}a/(a \mathrm {d}t)\) is related to the potential V via the slow-roll Friedmann equation \(H^2\simeq V/(3M_\mathrm{Pl}^2)\), where \(M_\mathrm{Pl}\) is the reduced Planck mass. The dynamics of \(\varphi \) is then driven by two terms. The first one, proportional to \(V^\prime \) (where a prime denotes a derivative with respect to the inflaton field), is the classical drift. The second one involves a white Gaussian noise, \(\xi \), and renders the dynamics stochastic. It is such that \(\left\langle \xi \left( N\right) \right\rangle =0\) and \(\left\langle \xi \left( N\right) \xi \left( N^\prime \right) \right\rangle =\delta \left( N-N^\prime \right) \).
The stochastic formalism thus accounts for the quantum modification of the super-Hubble scales dynamics. It allows us to calculate quantum corrections on background quantities beyond the one-loop approximation for the inflaton scalar field \(\phi \) (in fact, beyond any finite number of inflaton loops) and to calculate such quantities as e.g. the probability distribution and any moments of the number of inflationary \(e\)-folds in a given point. In turn, cosmological perturbations are affected too, and a natural question to address within the stochastic framework is therefore how quantum effects modify inflationary observable predictions. This is the main motivation of the present work.
Stochastic inflation is a powerful tool for calculating correlation functions of quantum fields during inflation. In Refs. [25–29], it is shown that standard results of quantum field theory (QFT) are recovered by the stochastic formalism for test scalar fields on fixed inflationary backgrounds, for any finite number of scalar loops and potentially beyond. This result is even extended to scalar electrodynamics during inflation in Refs. [30, 31] and to derivative interactions and constrained fields in Ref. [32]. In Ref. [26], fluctuations of a non-test inflaton field have been studied, too. In this last case, the calculation is performed at linear order in the noise, that is, assuming that the distribution of the coarse grained field remains peaked around its classical value \(\phi _\mathrm {c}\), where \(\phi _\mathrm {c}\) is the solution of Eq. (1.1) without the noise term. However, it may happen that the quantum kicks dominate over the classical drift and provide the main contribution to the inflationary dynamics in some flat parts of the potential. It is therefore legitimate to wonder what observable imprints could be left in such cases. In order to deal with observable quantities, the goal of this paper is therefore to calculate the correlation functions of inflationary perturbations in full generality, taking backreaction of created inflaton fluctuations on its background value into account, starting from Eq. (1.1) and without relying on a perturbative expansion in the noise.Footnote 3
This work is organized as follows. In Sect. 2, we first discuss the issue of the time variable choice in the Langevin equation (we further elaborate on this aspect in Appendix A). This allows us to set a few notations, and to already argue why some of the effects later obtained (but not all) are Planck suppressed. In Sect. 3, we turn to the calculation of the correlation functions of primordial cosmological perturbations, without assuming them to be small. We first review different methods that have been used in the literature, and motivate our choice of combining the stochastic and \(\delta N\) formalisms. We then settle our computational strategy and proceed with the calculation itself. Results are presented in Sect. 4; see in particular Eqs. (4.1) and (4.6). We show that the standard formulas are recovered in a “classical” limit that we carefully define, and discuss the regimes where they are not valid. Finally, in Sect. 5, we summarize our main results and conclude.
2 Time variable issue
Because of the Friedmann equation, the Hubble parameter appearing in Eq. (1.1) is sourced by the inflaton field itself, through the slow-roll function \(H(\varphi )\). At leading order in the noise, one simply has \(H(\varphi )=H(\phi _\mathrm {c})\), which is a classical quantity. Beyond the leading order, however, H is dependent on the full coarse grained field and is therefore a stochastic quantity.Footnote 4 This has two consequences. The first one is that starting from a classical time label, any other time variable defined through a or H is a stochastic quantity, and cannot be used to label the Langevin equation, otherwise one would describe a physically different process. The time label must therefore be carefully specified. The second one is that, since H is related to the curvature of space-time, its stochasticity has to do with the one of space-time itself. We are thus a priori describing effective quantum gravitational effects, corresponding to the gravitational interactions and self-interactions of the inflaton field. The corresponding corrections should therefore remain small as long as the energy density of the inflaton field is small compared to the Planck scale. For this reason, it is convenient to define the dimensionless potential
which we will make use of extensively in the following. Before turning to the calculation of the correlation functions, in this section, we show on a simple example why different time labels in the Langevin equation typically yield results that differ by \(\propto v\) corrections.
First, let us recast the stochastic process (1.1) through a Fokker–Planck equation, which governs the time evolution of the probability density \(P(\phi ,N)\) that \(\varphi =\phi \) at time N. In the Itô interpretationFootnote 5 [17, 34, 35], it readsFootnote 6
Now let us compare this equation with the one that would have been obtained if the Langevin equation had been written in terms of cosmic time t. Performing the simple change of time variable \(\mathrm {d}N=H\mathrm {d}t\) in Eq. (1.1), this is given by
Here we use the notation \(\tilde{\varphi }\) to stress the fact that, a priori, \(\tilde{\varphi }\) does not describe the same stochastic process as \(\varphi \). The Fokker–Planck equation corresponding to Eq. (2.4) is given by
If H is taken to be a function of time only, independent of \(\varphi \), the H factors can be taken out of the derivatives with respect to \(\phi \) in Eqs. (2.3) and (2.5). In this case, it is straightforward to see that these two are perfectly equivalent through the change of time variable \(\mathrm {d}N=H\mathrm {d}t\), and that they describe the same stochastic process. On the contrary, if H explicitly depends on \(\varphi \), this is obviously no longer the case and \(P\ne \tilde{P}\).
This can be better illustrated by calculating the stationary distributions associated with these processes. Let \(P_{\mathrm {stat}}(\phi )\) denote a stationary probability distribution for the stochastic process (1.1), or equivalently, (2.3). By definition, \(\partial P_{\mathrm {stat}}(\phi )/\partial N=0\), hence
which defines the probability current J. This current thus needs to be independent of \(\phi \) for a stationary distribution. In most interesting situations, it is actually 0. This is notably the case when the allowed values for \(\phi \) are unbounded. For example, if \(V(\phi )\) is defined up to \(\phi =\infty \), the normalization condition \(\int P_{\mathrm {stat}}(\phi )\mathrm {d}\phi =1\) requires that \(P_{\mathrm {stat}}(\phi )\) decreases at infinity strictly faster than \(\vert \phi \vert ^{-1}\). In this case, both \(P_{\mathrm {stat}}(\phi )\) and \(\partial P_{\mathrm {stat}}(\phi )/\partial \phi \) vanish at infinity. From Eq. (2.6), J vanishes at infinity also, hence everywhere. This yields a simple differential equation to solve for \(P_{\mathrm {stat}}(\phi )\), and one obtains
Here, an overall integration constant, which makes the distribution normalized, \(\int P_{\mathrm {stat}}(\phi )\mathrm {d}\phi =1\), is omitted. Similarly, Eq. (2.5) can be written as \(\partial \tilde{P}/\partial t=\partial \tilde{J}/\partial \phi \), and requiring that the current \(\tilde{J}\) vanishes gives rise to a differential equation for the stationary distribution \(\tilde{P}_\mathrm {stat}(\phi )\), which can easily be solved. One obtains
The two distributions are close, and the effects coming from the \(H(\varphi )\) dependence are small, only in the regions of the potential where \(v\ll 1\).
At this point, we are left with the issue of identifying the right time variable to work with. Actually, one can explicitly show [26, 27, 36] that N is the correct answer, and that it is the only time variable that allows the stochastic formalism to reproduce a number of results from QFT on curved space-times. We leave this discussion to Appendix A, where we elaborate on existing results and show why, since we deal with metric perturbations, we must work with N.
3 Method
Let us now review how correlation functions of curvature fluctuations can be calculated in stochastic inflation, and see which approach is best suited to the issue we are interested in.
The problem can first be treated at linear order [37–39] by expanding the coarse grained field \(\varphi \) about its classical counterpart \(\phi _\mathrm {cl}\), \(\varphi = \phi _\mathrm {cl}+ \delta \phi ^{(1)}\). Here, recall that \(\phi _\mathrm {cl}\) is the solution of the Langevin equation (1.1) without the noise term. The quadratic moment of \(\delta \phi ^{(1)}\) can be calculated as in Appendix A.2; see Eq. (A.23). It corresponds to the integrated power spectrum of the field fluctuations on super-Hubble scales, and can therefore be related [39] to the power spectrum \(\mathcal {P}_\zeta \) of curvature perturbations thanks to the relation
In this expression, the right hand side needs to be evaluated when the scale associated with the wavenumber k (at which the power spectrum is calculated) exits the Hubble radius. If one plugs the expression (A.23) obtained in Appendix A for \(\langle \delta {\phi ^{(1)}}^2 \rangle \) using N as the time variable into Eq. (3.1), one obtains
As before, \(\phi _\mathrm {cl}\) needs to be evaluated when the scale associated with the wavenumber at which the power spectrum is calculated exits the Hubble radius. The quantity \(\epsilon _1\equiv -\mathrm {d}{H}/(H^2\mathrm {d}t)\) is the first slow-roll parameter. At leading order in slow roll, it verifies \(\epsilon _1=M_\mathrm{Pl}^2/2(v^\prime /v)^2\). The above expression exactly matches the standard result [40, 41]. In order to get the first corrections to this standard result, one thus needs to go to higher orders in \(\delta \phi \). Actually, one can show that no contributions arise at next-to-leading order, and that one needs to go at least to next-to-next-to-leading order. This renders the calculation technically difficult. This is why we will prefer to make use of non-perturbative techniques. In passing, let us stress that in Ref. [39], the Langevin equation is written and solved with t, whereas, as already said, the number of \(e\)-folds N must be used instead. This has important consequences. Indeed, if one makes use of cosmic time t and plugs the associated expression (A.29) for the quadratic moment of \(\delta \tilde{\phi }^{(1)}\) into Eq. (3.1), one obtains
Here, we have adopted the same notation as in Sect. 2 where a tilde recalls that not the same quantity is worked out and \(\tilde{\zeta }\) is not \(\zeta \). This result matches Eq. (2.11) of Ref. [39]. However, in this work, it is concluded that, because of the second term in the braces of Eq. (3.3), which is always negative, the amplitude of the power spectrum in the stochastic approach is in general reduced with respect to the standard result. One can see that such a statement is incorrect, since the extra term in Eq. (3.3) is simply due to not working with the correct time variable. This is why, if such an approach were to be followed and extended to higher orders, it would again be crucial to work with N as the time variable.
Another strategy is followed in Refs. [42–44], where methods of statistical physics, such as replica field theory, are employed in a stochastic inflationary context. However, only the case of a free test field evolving in a de Sitter or power-law background is investigated, while we need to go beyond the fixed background assumption in order to study the effects of the explicit \(H(\varphi )\) dependence. This is why we cannot directly make use of this computational scheme in the present work.
Finally, in Refs. [45–47], the \(\delta N\) formalism is used to relate the curvature perturbations to the number of \(e\)-folds statistics. This is this last route that we chose to follow here, since it does not rely on any perturbative expansion scheme, and since it does not prevent us from implementing the explicit \(H(\varphi )\) dependence. In Ref. [47], numerical solutions are obtained for quadratic and hybrid potentials. In the present work, we derive fully analytical and non-perturbative results that apply to any single-field potential, and which do not require a numerical solution of the Langevin equation. As a by-product, this allows us to prove, for the first time, that the standard results are always recovered in the classical limit, for any potential.
3.1 The \(\delta N\) formalism
The \(\delta N\) formalism [9, 48–52] is very well suited to addressing the calculation of correlation functions in stochastic inflation, since it relates the statistical properties of curvature perturbations to the distribution of the number of e-folds among a family of homogeneous universes. Let us first recall where this correspondence comes from and, as an example, how the scalar power spectrum is usually calculated in the associated formalism.
Starting from the unperturbed flat Friedmann–Lemaître–Robertson–Walker (FLRW) line element, \(\mathrm {d}s^2=-\mathrm {d}t^2+a^2(t)\delta _{ij}\mathrm {d}x^i \mathrm {d}x^j\), deviations from homogeneity and isotropy can be included in a more general, perturbed metric, which contains some gauge redundancy. A specific gauge choice consists in requiring that fixed t slices of space-time have uniform energy density, and that fixed x worldlines be comoving. When doing so, and including scalar perturbations only, the perturbed metric in this gauge (which coincides in the super-Hubble regime with the synchronous gauge supplemented by some additional conditions fixing it uniquely) becomes [9, 53, 54] \(\mathrm {d}s^2=-\mathrm {d}t^2+ a^2(t) e^{2\zeta (\varvec{x})}\delta _{ij}\mathrm {d}x^i \mathrm {d}x^j\), up to small terms proportional to gradients of \(\zeta \). Here, \(\zeta \) is the adiabatic (curvature) perturbation, which is time-independent in single-field inflation once the decaying mode can be neglected. The omission of tensor perturbations is justified by the fact that their amplitude is suppressed compared to the scalar ones by the small slow-roll parameter \(\epsilon _1\). This allows us to define a local scale factor \(\tilde{a}(t,\varvec{x})=a(t)e^{\zeta (\varvec{x})}\). Starting from an initial flat slice of space-time at time \(t_\mathrm {in}\), the amount of expansion \(N(t,\varvec{x})\equiv \ln \left[ \tilde{a}(t,\varvec{x})/a(t_\mathrm {in})\right] \) to a final slice of uniform energy density is then related to the curvature perturbation through
where \(N_0(t)\equiv \ln \left[ a(t)/a(t_\mathrm {in})\right] \) is the unperturbed amount of expansion. From this, an important simplification arises on large scales where anisotropy and spatial gradients can be neglected, and the local density, expansion rate, etc., obey the same evolution equations as a homogeneous FLRW universe. Thus we can use the homogeneous FLRW solutions to describe the local evolution, which is known as the “quasi-isotropic” [55–58] or “separate universe” approach [51, 59, 60]. It implies that \(N(t,\varvec{x})\) is the amount of expansion in unperturbed, homogeneous universes, so that \(\zeta \) can be calculated from the knowledge of the evolution of a family of such universes. Written in terms of the inflaton field \(\phi (\varvec{x})=\phi +\delta \phi (\varvec{x})\), consisting of an unperturbed, homogeneous piece \(\phi \) and of a perturbation \(\delta \phi \) originating from quantum fluctuations, Eq. (3.4) gives rise to
Here, N is to be evaluated in unperturbed universes from an initial epoch when the inflaton field has an assigned value \(\phi \) to a final epoch when the energy density has an assigned value \(\rho \). Since the observed curvature perturbations are almost Gaussian, at leading order in perturbation theory, one has
Here, \(N\left( \phi \right) \) is usually evaluated with the slow-roll, classical formula
Once \(\zeta \) is decomposed into Fourier components, \(\zeta _{\varvec{k}}=(2\pi )^{-3/2}\int \mathrm {d}^3\varvec{x}\zeta (\varvec{x})\exp (i\varvec{k}\cdot \varvec{x})\), the power spectrum \(\mathcal {P}_\zeta \) is defined from the quantum expectation value \(\left\langle \zeta _{\varvec{k}}\zeta _{{\varvec{k}^\prime }} \right\rangle \equiv (2\pi )^5 / (2k^3)\) \(\mathcal {P}_\zeta (k) \delta ( \varvec{k} + {\varvec{k}^\prime })\). It can be expressed in terms of the power spectrum of \(\delta \phi \) (defined by similar relations) thanks to Eq. (3.6). For quasi-de Sitter inflation, and when the curvature of the inflaton potential is much smaller than H, on super-Hubble scales, the latter is given by [61] \(\mathcal {P}_{\delta \phi }(k)\simeq H^2(k)/4\pi ^2\), where H(k) means H evaluated at the time when the k mode crosses the Hubble radius, i.e. when \(aH=k\). Together with Eq. (3.7), one therefore obtains
which is the same as Eq. (3.2) and which matches the standard result [40, 41].
A fundamental remark is that in the above usual calculation, the quasi-isotropic (separate universe) approximation is assorted with the assumption that on super-Hubble scales, the evolution of the inflaton field is governed by its classical equation of motion (3.7). The stochastic dispersion in the number of \(e\)-folds thus only comes from the field dispersion at Hubble crossing \(\delta \phi _*\). In most cases, this is a good approximation for the following reason. From the Langevin equation (1.1), one can see that during the typical time scale of one e-fold, the classical drift of the inflaton field is of the order \(\Delta \phi _\mathrm {cl}=V^\prime /(3H^2)=\sqrt{2\epsilon _1}M_\mathrm{Pl}\), while the quantum kick is of the order \(\Delta \phi _{\mathrm {qu}}=H/(2\pi )\). This allows us to define a rough “classicality” criterion \(\Delta \phi _{\mathrm {qu}}/\Delta \phi _\mathrm {cl}\) that assesses the amplitude of the stochastic corrections to the classical trajectory. Making use of Eq. (3.8), this ratio can be expressed as
which is valid for single-field slow-roll models of inflation with canonical kinetic terms. Since \(\mathcal {P}\sim 2\times 10^{-9}\) for the modes observed in the Cosmic Microwave Background (CMB), stochastic effects are already small when these modes cross the Hubble radius. If one further assumes that \(\epsilon _1\) monotonously grows toward 1 during the last stages of inflation, \(\mathcal {P}_\zeta \propto H^2/\epsilon _1\) decreases (since H can only decrease) and one is therefore ensured that the stochastic corrections to the inflaton trajectory remain small.
However, they are two caveats to this line of reasoning. The first one is that, as we will show below, \(\Delta \phi _{\mathrm {qu}}/\Delta \phi _\mathrm {cl}\) is not the correct way to assess the importance of stochastic effects and one should use instead another classicality criterion that we will derive. The second one is that, in some situations, \(\epsilon _1\) becomes tiny or even vanishes in some transient phase between the Hubble exit time of the observed modes and the end of inflation. This is the case, for example, when the potential has a flat inflection point, such as in MSSM inflation [62–64] or as in punctuated inflation [65, 66]. Another situation of interest is when inflation does not have a graceful exit but ends due to tachyonic instability involving an auxiliary field, like in hybrid inflation [67, 68], or by brane annihilation in string-theoretical setups [69, 70]. In such cases, \(\epsilon _1\) can decrease and the last \(e\)-folds of inflation may be dominated by the quantum noise. It is therefore important to study the dispersion \(\delta N\) arising not only from \(\delta \phi _*\) but from the complete subsequent stochastic history of the coarse grained field.
Note also that in these expressions, \(\zeta \) need not be small as was shown in Refs. [9, 51, 71] [note, however, that \(\zeta \) is defined up to a constant due to an arbitrary possible rescaling of a(t)], thus, \(\delta N\) need not be small, too. As follows from the quasi-isotropic (separate universe) approach, the condition for inflation to proceed is only that \(H\ll M_\mathrm{Pl}\). On the other hand, if \(P_{\zeta }(k)\sim H/(M_\mathrm{Pl}\sqrt{\epsilon _1})\) exceeds unity (the so called regime of “eternal inflation”), then the Universe loses its local homogeneity and isotropy after the end of inflation, but not immediately. This occurs much later than the comoving scale a(t) / k at which this inhomogeneity occurs crosses the Hubble radius \(H^{-1}\) second time. Thus, in the scope of the inflationary scenario \(P_{\zeta }\) may well exceed unity at scales much exceeding the present Hubble radius. The stochastic inflation approach provides us with a possibility to obtain quantitatively correct results in this non-linear regime, too.
3.2 Computational program
This is why we now generalize this approach to a fully stochastic framework. For a given wavenumber k, let \(\phi _*(k)\) be the mean value of the coarse grained field when k crosses the Hubble radius. If inflation terminates at \(\phi _\mathrm {end}\), let \(\mathcal {N}(k)\) denote the number of \(e\)-folds realized between \(\phi _*(k)\) and \(\phi _\mathrm {end}\). Obviously, \(\mathcal {N}\) is a stochastic quantity, and we can define its variance
It is related with the curvature perturbation \(\delta N\) of Eq. (3.6) in the following manner. Since \(\delta \mathcal {N}\) is computed between two fixed points \(\phi _*\left( k\right) \) and \(\phi _\mathrm {end}\), it receives an integrated contribution from all the modes crossing the Hubble radius between these two points, and one has
Here we have used the relation \(\langle \mathcal {N}(k)\rangle =\ln (a_\mathrm {end}/a_*)=\ln (k_\mathrm {end}/k) (1+\epsilon _{1*}+\cdots )\), where \(\epsilon _{1*}+\cdots \) stand for slow-roll corrections that we do not need to take into account at leading order in slow roll. One then has
In the same manner, the third moment of the number of \(e\)-folds distribution,
receives a double integrated contribution from the local bispectrum \(\mathcal {B}_\zeta \), and one has \(\mathcal {B}_\zeta \propto \mathrm {d}^2\delta \mathcal {N}^3/\mathrm {d}\langle \mathcal {N}\rangle ^2\). The local \(f_\mathrm {NL}\) parameter, measuring the ratio between the bispectrum and the power spectrum squared, is then given by
where 5 / 72 is a conventional historical factor. Analogously, the trispectrum is related to the third derivative of \(\delta \mathcal {N}^4\) with respect to \(\langle \mathcal {N}\rangle \), and so on and so forth.
The computational program we must follow is now clear. For a given mode k, we first calculate \(\phi _*(k)\) (this sets the location of the observational window). We then consider stochastic realizations of Eq. (1.1) that satisfy \(\varphi =\phi _*(k)\) at some initial time,Footnote 7 and denote by \(\mathcal {N}\) the number of \(e\)-folds that is realized before reaching \(\phi _\mathrm {end}\). Among these realizations, we calculate the first moments of this stochastic quantity, \(\langle \mathcal {N} \rangle \), \(\langle \mathcal {N}^2 \rangle \), \(\langle \mathcal {N}^3 \rangle \), etc. We finally apply relations such as Eqs. (3.12) and (3.14) to obtain the power spectrum, the non-Gaussianity local parameter, or any higher order correlation function.
3.3 First passage time analysis
In what follows, this calculation is performed using the techniques developed in “first passage time analysis” [72, 73], which was applied to stochastic inflation in Ref. [17]. We consider the situation sketched in Fig. 1, where the inflaton is initially located at \(\phi _*\) and evolves in some potential \(V\left( \phi \right) \) under Eq. (1.1).
Sketch of the dynamics solved in Sect. 3. The inflaton is initially located at \(\phi _*\) and evolves along the potential \(V(\phi )\) under the stochastic Langevin equation (1.1), until it reaches one of the two ending values \(\phi _1\) or \(\phi _2\). The left panel is an example where inflation always terminates by slow-roll violation, while the right panel stands for a situation where one of the ending points, \(\phi _2\), corresponds to where \(V\sim M_\mathrm{Pl}^4\) above which inhomogeneities prevent inflation from occurring
Because any part of the potential can a priori be explored, here we consider two possible ending points, \(\phi _1\) and \(\phi _2\), located on each side of \(\phi _*\). If the potential is, say, of the hilltop type (left panel), \(\phi _1\) and \(\phi _2\) can be taken at the two values where inflation has a graceful exit, on each side of the maximum of the potential. If, on the other hand, a flat potential extends up to \(\phi =\infty \) (right panel), one of these points, say \(\phi _2\), can be taken where V becomes super-Planckian and inhomogeneities prevent inflation from occurring. In such cases, the precise value of \(\phi _2\) plays a negligible role, as we will show in Sect. 3.3.1. Let \(\mathcal {N}\) be the number of \(e\)-folds realized during this process.
Before proceeding with the calculation of the \(\mathcal {N}\) moments, a first useful result to establish is the Itô lemma, which is a relation verified by any smooth function f of \(\varphi \). The Taylor expansion of such a function at second order is given by \(f\left( \varphi +\mathrm {d}\varphi \right) =f\left( \varphi \right) +f^{\prime }\left( \varphi \right) \mathrm {d}\varphi +f^{\prime \prime }\left( \varphi \right) /2\,\mathrm {d}\varphi ^2+\mathcal {O}\left( \mathrm {d}\varphi ^3\right) \). Now, if \(\varphi \) is a realization of the stochastic process under study, \(\mathrm {d}\varphi \) is given by Eq. (1.1) and at first order in \(\mathrm {d}N\), one obtains
Integrating this relation between \(N=0\) where \(\varphi =\phi _*\) and \(N=\mathcal {N}\) where \(\varphi =\phi _1\) or \(\phi _2\), one gets the Itô lemma [74]
which we will repeatedly make use of in the following.
3.3.1 Ending point probability
As a first warm-up, let us calculate the probability \(p_1\) that the inflaton field first reaches the ending point located at \(\phi _1\) [i.e. \(\phi \left( \mathcal {N}\right) =\phi _1\)] or, equivalently, the probability \(p_2=1-p_1\) that the inflaton field first reaches the ending point located at \(\phi _2\) [i.e. \(\phi \left( \mathcal {N}\right) =\phi _2\)]. This will also allow us to determine when the ending point located at \(\phi _2\) plays a negligible role.
First of all, let \(\psi \left( \varphi \right) \) be a function of the coarse grained field that can be expressed as
where \(h\left( \varphi \right) \) will be specified later. By construction, one has \(\psi \left( \phi _1\right) =1\) and \(\psi \left( \phi _2\right) =0\). This implies that the mean value of \(\psi \) evaluated at \(\varphi \left( \mathcal {N}\right) \) is given by \(\left\langle \psi \left[ \varphi \left( \mathcal {N}\right) \right] \right\rangle = p_1\psi \left( \phi _1\right) + p_2\psi \left( \phi _2\right) =p_1\). The idea is then to find an \(h\left( \varphi \right) \) function that makes easy the evaluation of the left hand side of the previous relation, so that we can deduce \(p_1\). In order to do so, let us apply the Itô lemma (3.16) to \(h\left( \varphi \right) \). If one requires that the integral of the second line of Eq. (3.16) vanishes, that is,
one obtains
Because h and \(\psi \) are linearly related, see Eq. (3.17), the same equation is satisfied by \(\psi \). When averaged over all realizations,Footnote 8 its right hand side vanishes. One then obtains \(\left\langle \psi \left[ \varphi \left( \mathcal {N}\right) \right] \right\rangle =\psi \left( \phi _*\right) \), which is the probability \(p_1\) one is seeking for. All one needs to do is therefore to solve Eq. (3.18) to obtain \(h\left( \varphi \right) \), to plug the obtained expression into Eq. (3.17) to derive \(\psi (\varphi )\), and finally to evaluate this function at \(\phi _*\). A formal solution to Eq. (3.18) is given by \(h\left( \varphi \right) =A\int _{B}^{\varphi }\exp \left[ -1/v\left( x\right) \right] \mathrm {d}x\), where A and B are two integration constants that play no role, since they cancel out when calculating \(\psi \) thanks to Eq. (3.17). Indeed, the latter gives rise to
and a symmetric expression for \(p_2\).Footnote 9
A few remarks are in order about this result. First, one can check that, since \(\phi _*\) lies between \(\phi _1\) and \(\phi _2\), the probability (3.20) is ensured to be between 0 and 1. Second, one can also verify that when \(\phi _*=\phi _1\), \(p_1=1\), and when \(\phi _*=\phi _2\), \(p_1=0\), as one would expect. Third, in the case depicted in the right panel of Fig. 1, in the limit where \(\phi _2\rightarrow \infty \), one is sure to first reach the ending point located at \(\phi _1\), that is, \(p_2=\int _{\phi _1}^{\phi _*}e^{-1/v}/\int _{\phi _1}^{\phi _2}e^{-1/v}=0\). Indeed, the numerator of the expression for \(p_2\) is finite, since a bounded function is integrated over a bounded interval. If the potential is maximal at \(\phi _2\), and if it is monotonous over an interval of the type \([\phi _{0},\phi _{2}[\), its denominator is on the contrary larger than the integral of a function bounded from below by a strictly positive number, over an unbounded interval \([\phi _{0},\phi _{\infty }[\). This is why it diverges, and why \(p_2\) vanishes. This means that if \(\phi _2\) is sufficiently large, its precise value plays no role, since inflation always terminates at \(\phi _1=\phi _\mathrm {end}\).
3.3.2 Mean number of e-folds
Let us now turn to the calculation of the mean number of \(e\)-folds \(\langle \mathcal {N}\rangle \). As above, we want to make use of the Itô lemma (3.16). To do so, let us define \(f(\varphi )\) as the solution of the differential equation
with boundary conditions \(f\left( \phi _1\right) =f\left( \phi _2\right) =0\). Such a solution will be explicitly calculated in due time. For now, it is interesting to notice that when this is plugged into the Itô lemma (3.16), the first term of the left hand side, \(f\left( \phi _1\ \mathrm {or}\ \phi _2\right) \), vanishes, and the second integrand of the right hand side is \(-1\). Thus, the Itô equation can be rewritten as
By averaging over realizations, one obtainsFootnote 10
What one needs to do is therefore to solve the deterministic differential equation (3.21) with the associated boundary conditions, and to evaluate the solution at \(\phi _*\). One obtains
where \(\bar{\phi }\) is an integration constant set to satisfy the condition \(f(\phi _2)=0\). There is no generic expression for it,Footnote 11 but one can be more specific. First of all, as can be seen in Fig. 2, \(\bar{\phi }\) must be such that, when f is evaluated at \(\phi _2\), the integration domain of Eq. (3.24) possesses a positive part and a negative part, which are able to compensate for each other. This implies that \(\bar{\phi }\) must lie between \(\phi _1\) and \(\phi _2\). A second generic condition comes from splitting the x-integral in Eq. (3.24) into \(\int _{\phi _1}^{\varphi }\mathrm {d}x = \int _{\phi _1}^{\phi _2} \mathrm {d}x+ \int _{\phi _2}^{\varphi }\mathrm {d}x\). The first integral vanishes because \(f(\phi _2)=0\), which means that in order for f to be symmetrical in \(\phi _1\leftrightarrow \phi _2\), \(\bar{\phi }(\phi _1,\phi _2)\) must satisfy this symmetry too, that is to say, \(\bar{\phi }\left( \phi _1,\phi _2\right) =\bar{\phi }\left( \phi _2,\phi _1\right) \). Third, in the case where the potential is symmetric about a local maximum \(\phi _\mathrm {max}\) close to which inflation proceeds, the integrand in Eq. (3.24) is symmetric with respect to the first bisector in Fig. 2. The two green triangles must therefore have the same surface, which readily leads to \(\bar{\phi }=\phi _\mathrm {max}\). Fourth, finally, in the case displayed in the right panel of Fig. 1, if \(\phi _2\) is sufficiently large, we have established in Sect. 3.3.1 that \(p_2=0\) and the quantity we compute is the mean number of \(e\)-folds between \(\phi _*\) and \(\phi _1=\phi _\mathrm {end}\). For explicitness, let us assume that \(v^\prime >0\) (the same line of arguments applies in the case \(v^\prime <0\)). Inflation proceeds at \(\phi <\phi _2\). In the domain of negative contribution in Fig. 2, the argument of the exponential in Eq. (3.24) is positive. As a consequence, if \(\bar{\phi }\) is finite and \(\phi _2\rightarrow \infty \), the negative contribution to the integral is infinite while the positive one remains finite, which is impossible. In order to avoid this, one must then have \(\bar{\phi } = \phi _2\). In practice, almost all cases boil down to one of the two previous ones and \(\bar{\phi }\) is specified accordingly. Combining Eqs. (3.23) and (3.24), one finally hasFootnote 12
Integration domain of Eq. (3.24) when evaluated at \(\varphi =\phi _2\), in the case \(\phi _1<\phi _2\) (the opposite case proceeds the same way). The discrete parameter x is integrated between \(\phi _1\) and \(\phi _2\), while y varies between x and \(\bar{\phi }\). The resulting integration domain is displayed in green. When \(x<\bar{\phi }\), one has \(\mathrm {d}x\mathrm {d}y >0\) and one integrates a positive contribution to the mean number of e-folds. Conversely, when \(x>\bar{\phi }\), one has \(\mathrm {d}x\mathrm {d}y <0\) and one integrates a negative contribution. This is necessary in order for the overall integral to vanish. This is why \(\bar{\phi }\) must lie between \(\phi _1\) and \(\phi _2\)
Mean number of \(e\)-folds \(\langle \mathcal {N}\rangle \) realized in the large field \(V\propto \phi ^2\) (left panel) and small field \(V\propto 1-\phi ^2/\mu ^2\) (where \(\mu =20M_\mathrm{Pl}\), right panel) potentials, as a function of \(\phi _*\). The location \(\phi _*^{50}\) refers to the value of \(\phi _*\) for which the classical number of \(e\)-folds \(N_\mathrm {cl}=50\) and \(\phi _\mathrm {end}\) is where \(\epsilon _1=1\). In both panels, the overall mass scale in the potential is set to the value that fits the observed amplitude of the power spectrum \(\mathcal {P}_\zeta \sim 2\times 10^{-9}\), when the latter is calculated with the classical formula (3.8), 50 \(e\)-folds before the end of inflation. The green line corresponds to the analytical exact result (3.25), and the red circles are provided by a numerical integration of the Langevin equation (1.1) for a large number of realizations over which the mean value of \(\mathcal {N}\) is computed. The orange dashed line corresponds to the classical limit (3.26). The top axes display v and the classicality criterion \(\vert 2v-v^{\prime \prime }v^2/{v^\prime }^2\vert \). The yellow shaded area stands for \(v > 1\), where inhomogeneities are expected to prevent inflation from occurring and our calculation cannot be trusted anymore
This quantity is plotted for large and small field potentials in Fig. 3, where it is compared with the results of a numerical integration of the Langevin equation (1.1) for a large number of realizations over which the mean value of \(\mathcal {N}\) is computed. One can check that the agreement is excellent.
Classical limit Let us now verify that the above formula boils down to the classical result (3.7) in some “classical limit”. This can be done by performing a saddle-point approximation of the integrals appearing in Eq. (3.25). Let us first work out the y-integral, that is to say, \(\int ^{\bar{\phi }}_x\mathrm {d}y/v(y)\exp [1/v(y)]\). Since the integrand varies exponentially with the potential, the strategy is to evaluate it close to its maximum, i.e. where the potential is minimum. The potential being maximal at \(\bar{\phi }\) in most cases (see the discussion above), the integrand is clearly maximalFootnote 13 at x. Taylor expanding 1 / v at first order around x, \(1/v(y)\simeq 1/v(x)-v^\prime (x)/v^2(x)(y-x)\), one obtains, after integrating by parts,Footnote 14 \(\int ^{\bar{\phi }}_x\mathrm {d}y/v(y)\exp \left[ 1/v(y)\right] \simeq v(x)/v^\prime (x)\exp \left[ 1/v(x)\right] \). Plugging back this expression into Eq. (3.25), one finally obtains
which exactly matches the classical result (3.7). The classical trajectory thus appears as a saddle-point limit of the mean stochastic trajectory, analogously to what happens e.g. in the context of path integral calculations.
This calculation also allows us to identify under which conditions the classical limit is recovered. A priori, the Taylor expansion of 1 / v can be trusted as long as the difference between 1 / v(x) and 1 / v(y) is not too large, say \(\vert 1/v(y)-1/v(x)\vert < R\), where R is some small number. If one uses the Taylor expansion of 1 / v at first order, this means that \(\vert y-x\vert <Rv^2/v'\). Requiring that the second order term of the Taylor expansion is small at the boundary of this domain yields the condition \(\vert 2v-v^{\prime \prime }v^2/{v^\prime }^2\vert \ll 1\). For this reason, we define the classicality criterion
This quantity is displayed in the top axes in Fig. 3 and one can check that indeed, the classical trajectory is a good approximation to the mean stochastic one if and only if \(\eta _\mathrm {cl}\ll 1\). In the following, we will see that \(\eta _\mathrm {cl}\) is the relevant quantity to discuss the strength of the stochastic effects in general and in Sect. 4.3, we will further discuss the physical implications of Eq. (3.27).
For now, and for future use, let us give the first correction to the classical trajectory. This can be obtained going one order higher in the saddle-point approximation, that is to say, using a Taylor expansion of 1 / v at second order. One obtains
where the dots stand for higher order terms. In the brackets of Eq. (3.28), the two last terms stand for the first stochastic correction and one should not be surprised that, in general, when \(\eta _\mathrm {cl}\) is small, it is small. It is also interesting to notice that it is directly proportional to \(\mathrm {d}\epsilon _1/\mathrm {d}N\). When \(\epsilon _1\) increases as inflation proceeds, the stochastic leading correction is therefore positive and the stochastic effects tend to increase the realized number of e-folds, while when \(\epsilon _1\) decreases as inflation proceeds, the correction is negative and the stochastic effects tend to decrease the number of e-folds, at least at linear order.
3.3.3 Number of e-folds variance
Let us now move on with the calculation of the dispersion in the number of e-folds, defined in Eq. (3.10). If one squares Eq. (3.22) and takes the stochastic average of it, one obtainsFootnote 15
In order to make use of the Itô lemma, let then \(g(\phi )\) be the function defined by
where f is the function defined in Eq. (3.24). When the Itô lemma (3.16) is applied to \(g\left( \phi \right) \), if one further sets \(g\left( \phi _1\right) =g\left( \phi _2\right) =0\), one obtains
where the second equality is just a consequence of Eq. (3.29) and where the third equality is just a consequence of Eq. (3.23). Therefore, one just needs to solve Eq. (3.30) with boundary conditions \(g\left( \phi _1\right) =g\left( \phi _2\right) =0\) and to evaluate the resulting function at \(\phi _*\) in order to obtain \(\delta \mathcal {N}^2=g(\phi _*)\). The differential equation (3.30) can formally be integrated, and one obtains
where \(\bar{\phi }_2\left( \phi _1,\phi _2\right) \) is an integration constant that must be chosen in order to have \(g\left( \phi _2\right) =0\). One can show that it satisfies the four properties listed in Sect. 3.3.2 for \(\bar{\phi }\) and can therefore be specified in the same manner. With \(\phi _1=\phi _\mathrm {end}\), one then has
Classical limit As was done for the mean number of \(e\)-folds in Sect. 3.3.2, let us derive the classical limit of Eq. (3.33). Obviously, in the classical setup the trajectories are not stochastic and \(\delta \mathcal {N}^2=0\), and what we are interested in here is the non-vanishing leading order contribution to \(\delta \mathcal {N}^2\) in the limit \(\eta _\mathrm {cl}\ll 1\). As before, the y-integral can be worked out with a saddle-point approximation, and one obtainsFootnote 16 \(\int ^{\bar{\phi }_2}_x\mathrm {d}y {f^\prime }^2\left( y\right) \exp \left[ 1/v(y)\right] \simeq v^4\left( x\right) /{v^\prime }^3\left( x\right) \exp \left[ 1/v\left( x\right) \right] /M_\mathrm{Pl}^4\). Plugging back this expression into Eq. (3.33), one obtains
Finally, and for future use again, let us give the first correction to this classical limit. Going one order higher in the saddle-point approximation, one obtains
3.3.4 Number of e-folds skewness and higher moments
In the same manner, if one denotes the third moment of the distribution of number of \(e\)-folds by \(m\left( \phi _*\right) =\delta \mathcal {N}^3\) defined in Eq. (3.13), one can show that \(m(\phi )\) is the solution of the differential equation \(m^{\prime \prime }-m^\prime v^\prime /v^2=-6f^\prime g^\prime \) that obeys \(m(\phi _1)=m(\phi _2)=0\). As before, taking \(\phi _1=\phi _\mathrm {end}\) and \(\phi _2=\phi _\infty \), one obtains
where \(\bar{\phi }_3\) can be set as \(\bar{\phi }\). Similarly to above, making use of Eqs. (3.28) and (3.35), a saddle-point approximation of this integral leads to the classical limit
Let us finally explain how the same procedure can be iterated and higher order moments can be calculated. Let us denote the \(p^\mathrm {th}\) momentum of the number of \(e\)-folds distribution by
where, by convention, we set \(\sigma _0=1\) and \(\sigma _1=0\). As above, one can recursively show that \(\sigma _p\) is the solution of the differential equation
satisfying \(\sigma _{p}\left( \phi _1\right) =\sigma _{p}\left( \phi _2\right) =0\). One then has
When \(p=2\), this yields the variance (3.33); when \(p=3\), the skewness (3.36) is obtained; when \(p=4\), the kurtosis could be derived as well, and so on and so forth for any moment.
4 Results
We are now in a position where we can combine the intermediary results of the previous sections to give explicit, non-perturbative and fully generic expressions for the first correlation functions of curvature perturbations in stochastic inflation. We first derive the relevant formulas and their classical limits, before commenting on their physical implications in Sect. 4.3.
4.1 Power spectrum
Following the program we settled in Sect. 3.2, if one plugs Eqs. (3.25) and (3.33) into Eq. (3.12), one obtains \(\mathcal {P}_\zeta (\phi _*)=g^\prime (\phi _*)/f^\prime (\phi _*)\), that is,
In this expression, \(\mathcal {P}_\zeta (\phi _*)\) stands for the power spectrum calculated at a scale k such that when it crosses the Hubble radius, the mean inflaton field value is \(\phi _*\). This formula provides, for the first time, a complete expression of the curvature perturbations power spectrum calculated in stochastic inflation. It is plotted for large and small field potentials in Fig. 4.
Scalar power spectrum \(\mathcal {P}_\zeta \) for the large field \(V\propto \phi ^2\) (left panel) and small field \(V\propto 1-\phi ^2/\mu ^2\) (where \(\mu =20M_\mathrm{Pl}\), right panel) potentials, as a function of \(\phi _*\). The conventions are the same as in Fig. 3. The green line corresponds to the analytical exact result (4.1), and the orange dashed line to the classical limit (4.3)
From this, a generic expression for the spectral index can also be given. Since, at leading order in slow roll, \(\partial /\partial \ln (k)\simeq -\partial \phi /\partial \langle \mathcal {N}\rangle \times \partial /\partial \phi \), one has
Here, for conciseness, we do not expand this expression in terms of integrals of the potential, but it is straightforward to do so with Eqs. (3.24) and (3.32).
Classical limit Before commenting further on the physical implications of the above result, let us make sure that in the classical limit, \(\eta _\mathrm {cl}\ll 1\), the standard formula is recovered. Combining Eqs. (3.12), (3.26), and (3.34), one has
which exactly matches the usual result (3.8) at leading order in slow roll. This fully generalizes the work of Ref. [46], where this agreement is shown but only in the case where the Hubble parameter varies linearly with \(\phi \) and if the noise has constant amplitude. Here we have extended this result to any potential is single-field slow-roll inflation, and included dependence of the noise amplitude on the coarse grained field. In the same manner, making use of Eqs. (3.26), (3.34) and (4.2) together, one obtains \(\left. n_\mathrm{S}\right| _{\mathrm {cl}}=1-M_\mathrm{Pl}^2\left[ 3\left( v^\prime /v\right) ^2-2v^{\prime \prime }/v\right] \), which again matches the standard slow-roll result \(n_\mathrm{S}=1-2\epsilon _1-\epsilon _2\) where \(\epsilon _2\equiv \mathrm {d}\ln \epsilon _1/\mathrm {d}N\) is the second slow-roll parameter, since at leading order in slow roll, one has \(\epsilon _2=2M_\mathrm{Pl}^2({v^\prime }^2/v^2-v^{\prime \prime }/v)\), and \(\epsilon _1\) has been given above.
Let us now derive the leading order corrections to these “classical” results. This can be done making use of Eqs. (3.28) and (3.35) in Eqs. (4.1) and (4.2). For the power spectrum, one obtains
while for the spectral index one gets
4.2 Non-Gaussianity and higher moments
The local non-Gaussianity parameter can be calculated in the same manner, and Eq. (3.14) gives rise to
For conciseness, this expression is not expanded in terms of integrals of the potential, but it is straightforward to do so with Eqs. (3.24), (3.32), and (3.36).
Here also, we need to make sure that in the classical limit, the standard result is recovered. Combining Eqs. (4.6), (3.28), (3.35), and (3.37), one obtains
The first two terms in the brackets match the usual result [75]. In contrast, it is important to stress that within the usual \(\delta N\) formalism, the standard result cannot be obtained because of the intrinsic non-Gaussianity of the fields at Hubble exit [75, 76]. Such effects are automatically taken into account in our formalism, which readily gives rise to the correct formula.
Obviously, one can go on and calculate any higher order correlation function with Eq. (3.40). However, with the power spectrum and non-Gaussianity local parameter at hand, we already are in a position where we can draw important physical conclusions.
4.3 Discussion
A first important consequence of Eqs. (4.1) and (4.6) is the correctness of their classical limits. They show the validity of our computational program for calculating correlation functions in general. This may be particularly useful for investigating other cases than single-field slow-roll inflation, especially when the standard procedure is difficult to follow. Indeed, our method can easily be numerically implemented, and it could then be applied to more complicated scenarios such as multi-field inflation where it has been shown [77] that the \(\delta N\) formalism retains reliable, modified kinetic terms where the stochastic inflation formalism has been generalized [78–81]. In particular, it is well suited to situations where stochastic effects dominate the inflationary dynamics in some parts of the potential [47, 68, 82] and where one must take the stochastic effects into account.
Let us mention that within the CMB observable window, corrections to the classical results are always small, since one has
More precisely, Eqs. (4.4) and (4.7) can be recast as \(\left. \mathcal {P}_\zeta \right| _{\eta _\mathrm {cl}\ll 1}\simeq \left. \mathcal {P}_\zeta \right| _{\mathrm {cl}}\left[ 1+\left. \mathcal {P}_\zeta \right| _{\mathrm {cl}}(\epsilon _1+\epsilon _2)\right] \) and \(\left. f_\mathrm {NL}\right| _{\eta _\mathrm {cl}\ll 1}\simeq \left. f_\mathrm {NL}\right| _{\mathrm {cl}}- \frac{5}{12}\left. \mathcal {P}_\zeta \right| _{\mathrm {cl}}\left( 38\epsilon _1^2+\frac{51}{4}\epsilon _2\epsilon _1+\frac{9}{8}\epsilon _2\epsilon _3-\frac{59}{8}\epsilon _2^2\right) \), where \(\epsilon _3\equiv \mathrm {d}\ln \epsilon _2/\mathrm {d}N\) is the third slow-roll parameter. For the scales of astrophysical interest today, in standard single-field slow-roll inflation, these corrections are therefore tiny.
However, even if the stochastic effects within the CMB observable window need to be small, let us stress that the location of the observable window along the inflationary potential can be largely affected. This notably happens when the potential has a flat region between the location where the observed modes exit the Hubble radius and the end of inflation, as is the case e.g. in hybrid inflation or in potentials with flat inflection points.
Another important point to note is that, contrary to what one may have expected, the corrections we obtained are not controlled by the ratio \(\Delta \phi _{\mathrm {qu}}/\Delta \phi _\mathrm {cl}\) extensively used in the literature, but by the classicality criterion \(\eta _\mathrm {cl}\) derived in Eq. (3.27). This has two main consequences.
First, \(\eta _\mathrm {cl}\) has dimension v, which means that it is Planck suppressed.Footnote 17 This makes sense, since, as noted in Sect. 2, some of the corrections we obtained physically correspond to the self-interactions and gravitational interactions of the inflaton field.Footnote 18 This is why it can be useful to compare our results with loop calculations performed in the literature by means of other techniques. In particular, the self-loop correction to the power spectrum is derived in Ref. [86], and graviton loop corrections are obtained in Ref. [87] (for a nice review, see also Ref. [88]). A diagrammatic approach based on the \(\delta N\) formalism is also presented in Ref. [89] where the power spectrum and the bispectrum are calculated up to two loops. In all these cases, the obtained corrections are of the form \(\mathcal {P}_\zeta ^{1\mathrm {-loop}}=\mathcal {P}_\zeta ^\mathrm {tree}(1+\alpha \mathcal {P}_\zeta ^\mathrm {tree}\epsilon ^2 N)\). Here, \(\alpha \) is a numerical factor of order one that depends on the kind of loops one considers, and \(\epsilon ^2\) stands for second order combinations of slow-roll parameters. When the number of \(e\)-folds N is of the order \(1/\epsilon \), this is exactly the kind of leading corrections we obtained. This feature is therefore somewhat generic. Obviously, it remains to understand which loops exactly our approach allows one to calculate, and how our results relate to the above mentioned ones. We leave it for future work.
Second, \(\eta _\mathrm {cl}\) contains \(1/v'^2\) terms. This means that, even if v needs to be very small,Footnote 19 if the potential is sufficiently flat, \(\eta _\mathrm {cl}\) may be large. In Table 1, we have summarized the shape of \(\eta _\mathrm {cl}\) for different prototypical inflationary potentials. For large field potentials, \(\eta _\mathrm {cl}\) is directly proportional to v. This is why, in the left panels of Figs. 3 and 4, departure of the stochastic results from the standard formulas occur only when \(v\gg 1\), in a regime where our calculation cannot be trusted anyway. However, for potentials with flat points, different results are obtained. If the flat point is of the hilltop type, \(\eta _\mathrm {cl}\) diverges at the maximum of the potential. This is why, in the right panels of Figs. 3 and 4, even if v saturates to a small maximal value, the stochastic result differs from the classical one close to the maximum of the potential. However, this happens many \(e\)-folds before the scales probed in the CMB cross the Hubble radius, that is to say, at extremely large, non-observable scales. The same conclusion holds for plateau potentials (either of the polynomial or exponential type) where stochastic effects lead to non-trivial modifications in far, non-observable regions of the plateau. On the other hand, if the potential has a flat inflection point, \(\eta _\mathrm {cl}\) can be large at intermediate wavelengths, too small to lie in the CMB observable window but still of astrophysical interest. This could have important consequences in possible non-linear effects at those small scales, such as the formation of primordial black holes (PBHs) [90]. In such models, the production of PBHs is calculated making use of the standard classical formulas for the amount of scalar perturbations. However, we have shown that in such regimes, stochastic effects largely modify its value. An important question is therefore how this changes the production of PBHs in these models. In particular, it is interesting to notice that if the potential is concave (\(v^{\prime \prime } < 0\)), which is the case favored by observations [91–93], the leading correction in Eq. (4.4) is an enhancement of the power spectrum amplitude. However, as can be seen in the right panel of Fig. 4, as soon as one leaves the perturbative regime, this is replaced by the opposite trend: at the flat point, the classical result accounts for a diverging power spectrum while the stochastic effects make it finite. If generic, this effect may be important for the calculation of PBHs formation, and we plan to address this issue in a future publication.
5 Conclusion
Let us now summarize our main results. Making use of the \(\delta N\) formalism, we have shown how curvature perturbations can be related to fluctuations in the realized amount of inflationary \(e\)-folds in stochastic inflation trajectories. We have then applied “first passage time analysis” techniques to derive all the statistical moments of the number of e-folds, hence all scalar correlation functions in stochastic inflation.
We have shown that the standard results can be recovered as saddle-point limits of the full expressions. The situation is therefore analogous to, e.g., path integral calculations. A new simple classicality criterion has been derived, which should replace the common estimate based on the ratio between the mean quantum kick and the classical drift during one e-fold. It shows that quantum corrections to inflationary observables are Planck suppressed in general (that is to say, they are proportional to \(V/M_\mathrm{Pl}^4\)), but can be large if the potential is flat enough, even at sub-Planckian scales. For simple inflationary models where \(\vert \mathrm {d}V/\mathrm {d}\phi \vert /V\) increases monotonously as inflation proceeds, the corresponding effects play a non-trivial role only at extremely large, non-observable scales. However, models containing a flat point in the potential between the Hubble exit location of the modes currently observed in the CMB and the end of inflation behave differently. First, the stochastic effects change the mean total number of inflationary \(e\)-folds and can therefore largely modify the location of the observational window along the inflationary potential. Second, the amount of scalar perturbations produced around the flat point is strongly modified by stochastic effects. This may be crucially important for a number of non-linear effects computed at these small scales, such as the formation of PBHs, or non-Gaussianity.
Together with the case of tensor perturbations, which we have not addressed in this paper, we plan to study these issues in future publications.
Notes
This formalism was, in fact, first used in Ref. [9] at the level of the Langevin equation, from which results lying beyond the one-loop approximation for the inflaton field were obtained.
More precisely, the coarse grained part of the field consists of the modes k for which \(k\lesssim \sigma a H\). Here, \(\sigma \) is a cutoff parameter satisfying [25] \(e^{-1/(3\epsilon _1)}\ll \sigma \ll 1\), where \(\epsilon _1\) is the first slow-roll parameter. Under this condition, the physical results are independent of \(\sigma \).
In this connection, the approach of Ref. [45] is close to ours. However, we use a different form of the Fokker–Planck equation, a different initial condition for the inflaton probability distribution, and a different form of the \(\delta N\) formalism (which, in fact, may be called N formalism) that does not use an expansion in \(\delta N\) and in the metric perturbation \(\zeta \) (in fact, these two quantities are not small in the so called regime of eternal inflation).
Hereafter, by “stochastic quantities”, we simply refer to realization dependent quantities, as opposed to quantities that are fixed for all realizations.
More generally, the last term in Eq. (2.3) can be written in the form
$$\begin{aligned} \frac{\partial }{\partial \phi } \left\{ \frac{H^{2\alpha }}{8\pi ^2}\frac{\partial }{\partial \phi }\left[ H^{2(1-\alpha )}P\left( \phi ,N\right) \right] \right\} \end{aligned}$$(2.3)with \(0\le \alpha \le 1\), where \(\alpha =0\) corresponds to the Itô interpretation and \(\alpha =1/2\) to the Stratonovich one [33]. However, analysis shows that keeping terms explicitly depending on \(\alpha \) exceeds the accuracy of the stochastic approach in its leading approximation (1.1). In particular, corrections to the noise term due to self-interactions of small-scale fluctuations (if they exist) are at least of the same order or even larger.
Note also that we never use the “volume weighted” variant of Eq. (2.3) proposed as an alternative in Ref. [24], since then the resulting distribution is not normalizable: its integral over \(\mathrm {d}\phi \) is time- or N-dependent. Thus, it leads to probability non-conservation. Neither is it justified from the physical point of view, since it is based on the assumption that all Hubble physical volumes (“observers”) emerging from the expansion of a previous inflationary patch are clones of each other, while they are strongly correlated.
This calculation therefore relies on a specific choice of initial (in fact, pre-inflationary) conditions, since all trajectories emerge from \(\phi _*\) at initial time. In principle, other choices could be made, even if most physical quantities (in particular, perturbations during the last 60 e-folds) do not depend on them.
This is in agreement with Eq. (29) of Ref. [17], derived in the case where H is constant, hence \(v^{-1}\approx v_*^{-1} - (v-v_*)\,v_*^{-2}\), where \(\phi _2\) and \(\phi _1\) lie at \(\pm \infty \) correspondingly, and where the initial condition for Eq. (2.3) is chosen to be \(P(\phi ,0)=\delta (\phi - \phi _*)\).
Here again, since both the integrand and the upper bound are stochastic quantities, it is non-trivial that the integral in the right hand side of Eq. (3.22) vanishes when averaged, but it can be shown rigorously.
Alternatively, one can write Eq. (3.24) in the explicit form [17]
$$\begin{aligned} f\left( \varphi \right) = \int _{\phi _1}^{\phi _2} \frac{\mathrm {d}y}{M_\mathrm{Pl}} \int _y^{\phi _2} \frac{\mathrm {d}x}{M_\mathrm{Pl}}\frac{1}{v(y)}\exp \left[ \frac{1}{v(y)}- \frac{1}{v(x)}\right] \left[ \theta (x-x_*) - p_1\right] , \end{aligned}$$where \(p_1\) is given by Eq. (3.20) and, in the configuration of Fig. 1, \(\theta (x-x_*)=1\) when \(x>x_*\) and 0 otherwise.
This is again in agreement with Eq. (35) of Ref. [17] if H is constant and \(\phi _*=\bar{\phi }=0\), while \(\phi _\mathrm {end}=\infty \).
Strictly speaking, this is only true if the potential is a monotonous function of the field, but this is most often the case in the part of the potential that is relevant to the inflationary phase.
Since \(v(\bar{\phi })\gg v(x)\) and if v is monotonous, one can also show that \(\exp \left[ -v^\prime (x)/v^2(x)(\bar{\phi }-x)\right] \) is exponentially vanishing and this term can be neglected.
This is again a non-trivial result, since both the integrand and the upper bound of the integral appearing in Eq. (3.22) are stochastic quantities, but, as before, it can be shown in a rigorous way.
This remark also sheds some new light on the old debate [83–85] whether quantum gravitational corrections should affect inflationary predictions through powers of \(\phi /M_\mathrm{Pl}\) or \(V/M_\mathrm{Pl}^4\). This analysis reveals \(V/M_\mathrm{Pl}^4\) corrections only, regardless of the value of \(\phi /M_\mathrm{Pl}\).
For this reason, one may think that performing the calculation in Fourier space as we did does not allow us to properly account for self-interaction effects and that a real space calculation should be carried out instead. However, since the separate Universe approximation is exponentially well verified on large scales, this is not the case. Making use of the same formalism as in Ref. [25], we have indeed explicitly checked that performing the calculation in real space leads to the same results as the ones presented here.
Since v can only decrease, \(v<10^{-10}\) for all observable modes.
In this discussion, vector and tensor perturbations are irrelevant, which is why they are not taken into account.
In spite of the complexity of the field equations at second order, see e.g. Ref. [97], in the long-wavelength limit, it is sufficient [59] to use the local conservation of energy-momentum to establish Eqs. (A.6 and (A.7). Because this is not the main subject of this discussion, the corresponding calculations are not reproduced here but they can be found in Refs. [59, 95].
The 1 / 2 factor comes from the relation \(\int _{x_1}^{x_2}f(x)\delta (x-x_2)\mathrm {d}x=f(x_2)/2\), which applies when the Dirac function is centered at a boundary of the integral.
One can show [100] that the potential associated with power-law inflation, for which \(a(t)\propto t^p\), is given by \(V(\phi )\propto e^{-\sqrt{2/p}\phi /M_\mathrm{Pl}}\). Since \(H^2=V(\phi )/(3M_\mathrm{Pl}^2)\) at leading order in slow roll, one obtains the given \(H(\phi )\) profile.
As shown in Sect. 3.1, this difference is crucial, since it leads to an incorrect result for the power spectrum of scalar perturbations.
References
A.A. Starobinsky, A new type of isotropic cosmological models without singularity. Phys. Lett. B 91, 99–102 (1980)
K. Sato, First order phase transition of a vacuum and expansion of the universe. Mon. Not. Roy. Astron. Soc. 195, 467–479 (1981)
A.H. Guth, The inflationary universe: a possible solution to the horizon and flatness problems. Phys. Rev. D 23, 347–356 (1981)
A.D. Linde, A new inflationary universe scenario: a possible solution of the horizon, flatness, homogeneity, isotropy and primordial monopole problems. Phys. Lett. B 108, 389–393 (1982)
A. Albrecht, P.J. Steinhardt, Cosmology for grand unified theories with radiatively induced symmetry breaking. Phys. Rev. Lett. 48, 1220–1223 (1982)
A.D. Linde, Chaotic inflation. Phys. Lett. B 129, 177–181 (1983)
V.F. Mukhanov, G. Chibisov, Quantum fluctuation and nonsingular universe. JETP Lett. 33, 532–535 (1981)
S. Hawking, The development of irregularities in a single bubble inflationary universe. Phys. Lett. B 115, 295 (1982)
A.A. Starobinsky, Dynamics of phase transition in the new inflationary universe scenario and generation of perturbations. Phys. Lett. B 117, 175–178 (1982)
A.H. Guth, S. Pi, Fluctuations in the new inflationary universe. Phys. Rev. Lett. 49, 1110–1113 (1982)
J.M. Bardeen, P.J. Steinhardt, M.S. Turner, Spontaneous creation of almost scale—free density perturbations in an inflationary universe. Phys. Rev. D 28, 679 (1983)
A.A. Starobinsky, Spectrum of relict gravitational radiation and the early state of the universe. JETP Lett. 30, 682–685 (1979)
D. Polarski and A. A. Starobinsky, Semiclassicality and decoherence of cosmological perturbations. Class. Quant. Grav. 13 (1996) 377–392. arXiv:gr-qc/9504030
J. Lesgourgues, D. Polarski, and A. A. Starobinsky, Quantum to classical transition of cosmological perturbations for nonvacuum initial states, Nucl. Phys. B497 (1997) 479–510. arXiv:gr-qc/9611019
C. Kiefer, D. Polarski, Why do cosmological perturbations look classical to us? Adv. Sci. Lett. 2, 164–173 (2009). arXiv:0810.0087
J. Martin, V. Vennin, P. Peter, Cosmological inflation and the quantum measurement problem. Phys. Rev. D 86, 103524 (2012). arXiv:1207.2086
A.A. Starobinsky, Stochastic de Sitter (inflationary) stage in the early universe. Lect. Notes Phys. 246, 107–126 (1986)
Y. Nambu, M. Sasaki, Stochastic stage of an inflationary universe model. Phys. Lett. B 205, 441 (1988)
Y. Nambu, M. Sasaki, Stochastic approach to chaotic inflation and the distribution of universes. Phys. Lett. B 219, 240 (1989)
H.E. Kandrup, Stochastic inflation as a time dependent random walk. Phys. Rev. D 39, 2245 (1989)
K.-I. Nakao, Y. Nambu, M. Sasaki, Stochastic dynamics of new inflation. Prog. Theor. Phys. 80, 1041 (1988)
Y. Nambu, Stochastic dynamics of an inflationary model and initial distribution of universes. Prog. Theor. Phys. 81, 1037 (1989)
S. Mollerach, S. Matarrese, A. Ortolan, F. Lucchin, Stochastic inflation in a simple two field model. Phys. Rev. D 44, 1670–1679 (1991)
A. D. Linde, D. A. Linde, and A. Mezhlumian, From the Big Bang theory to the theory of a stationary universe. Phys. Rev. D49 (1994) 1783–1826. arXiv:gr-qc/9306035
A.A. Starobinsky, J. Yokoyama, Equilibrium state of a selfinteracting scalar field in the De Sitter background. Phys. Rev. D 50, 6357–6368 (1994). arXiv:astro-ph/9407016
F. Finelli, G. Marozzi, A. Starobinsky, G. Vacca, G. Venturi, Generation of fluctuations during inflation: comparison of stochastic and field-theoretic approaches. Phys. Rev. D 79, 044007 (2009). arXiv:0808.1786
F. Finelli, G. Marozzi, A. Starobinsky, G. Vacca, G. Venturi, Stochastic growth of quantum fluctuations during slow-roll inflation. Phys. Rev. D 82, 064020 (2010). arXiv:1003.1327
B. Garbrecht, G. Rigopoulos, Y. Zhu, Infrared correlations in de sitter space: field theoretic vs. stochastic approach. Phys. Rev. D89, 063506 (2014). arXiv:1310.0367
B. Garbrecht, F. Gautier, G. Rigopoulos, Y. Zhu, Feynman diagrams for stochastic inflation and quantum field theory in de sitter space. Phys. Rev. D91(6), 063520 (2015). doi:10.1103/PhysRevD.91.063520
T. Prokopec, N. Tsamis, R. Woodard, Stochastic inflationary scalar electrodynamics. Ann. Phys. 323, 1324–1360 (2008). arXiv:0707.0847
T. Prokopec, N.C. Tsamis, R.P. Woodard, Two loop stress-energy tensor for inflationary scalar electrodynamics. Phys. Rev. D 78, 043523 (2008). arXiv:0802.3673
N. Tsamis, R. Woodard, Stochastic quantum gravitational inflation. Nucl. Phys. B724 (2005) 295–328. arXiv:gr-qc/0505115
R.L. Stratonovich, A new representation for stochastic integrals and equations. SIAM J. Control 4, 362–371 (1966)
S. Winitzki, A. Vilenkin, Uncertainties of predictions in models of eternal inflation. Phys. Rev. D53 (1996) 4298–4310. arXiv:gr-qc/9510054
A. Vilenkin, On the factor ordering problem in stochastic inflation. Phys. Rev. D59 (1999) 123506. arXiv:gr-qc/9902007
F. Finelli, G. Marozzi, A. Starobinsky, G. Vacca, G. Venturi, Stochastic growth of quantum fluctuations during inflation. AIP Conf. Proc. 1446, 320–332 (2010). arXiv:1102.0216
A. Matacz, Inflation and the fine tuning problem. Phys. Rev. D56 (1997) 1836–1840. arXiv:gr-qc/9611063
M. Liguori, S. Matarrese, M. Musso, A. Riotto, Stochastic inflation and the lower multipoles in the CMB anisotropies. JCAP 0408, 011 (2004). arXiv:astro-ph/0405544
K.E. Kunze, Perturbations in stochastic inflation. JCAP 0607, 014 (2006). arXiv:astro-ph/0603575
V.F. Mukhanov, Gravitational instability of the universe filled with a scalar field. JETP Lett. 41, 493–496 (1985)
V. F. Mukhanov, Quantum Theory of gauge invariant cosmological perturbations, Sov. Phys. JETP 67, 1297–1302 (1988)
F. Kuhnel, D.J. Schwarz, Stochastic inflation and dimensional reduction. Phys. Rev. D 78, 103501 (2008). arXiv:0805.1998
F. Kuhnel, D.J. Schwarz, Stochastic inflation and replica field theory. Phys. Rev. D 79, 044009 (2009). arXiv:0810.5686
F. Kuhnel, D.J. Schwarz, Large-scale suppression from stochastic inflation. Phys. Rev. Lett. 105, 211302 (2010). arXiv:1003.3014
K. Enqvist, S. Nurmi, D. Podolsky, G. Rigopoulos, On the divergences of inflationary superhorizon perturbations. JCAP 0804, 025 (2008). arXiv:0802.0395
T. Fujita, M. Kawasaki, Y. Tada, T. Takesako, A new algorithm for calculating the curvature perturbations in stochastic inflation. JCAP 1312, 036 (2013). arXiv:1308.4754
T. Fujita, M. Kawasaki, Y. Tada, Non-perturbative approach for curvature perturbations in stochastic-\(\delta N\) formalism. arXiv:1405.2187
A.A. Starobinsky, Multicomponent de sitter (inflationary) stages and the generation of perturbations. JETP Lett. 42, 152–155 (1985)
M. Sasaki, E.D. Stewart, A general analytic formula for the spectral index of the density perturbations produced during inflation. Prog. Theor. Phys. 95, 71–78 (1996). arXiv:astro-ph/9507001
M. Sasaki, T. Tanaka, Superhorizon scale dynamics of multiscalar inflation. Prog. Theor. Phys. 99 (1998) 763–782. arXiv:gr-qc/9801017
D.H. Lyth, K.A. Malik, M. Sasaki, A general proof of the conservation of the curvature perturbation. JCAP 0505, 004 (2005). arXiv:astro-ph/0411220
D.H. Lyth, Y. Rodriguez, The Inflationary prediction for primordial non-Gaussianity. Phys. Rev. Lett. 95, 121302 (2005). arXiv:astro-ph/0504045
P. Creminelli, M. Zaldarriaga, Single field consistency relation for the 3-point function. JCAP 0410, 006 (2004). arXiv:astro-ph/0407059
D. Salopek, J. Bond, Nonlinear evolution of long wavelength metric fluctuations in inflationary models. Phys. Rev. D 42, 3936–3962 (1990)
E.M. Lifshitz, I.M. Khalatnikov, About singularities of cosmological solutions of the gravitational equations. I, ZhETF 39, 149 (1960)
A.A. Starobinsky, Isotropization of arbitrary cosmological expansion given an effective cosmological constant. JETP Lett. 37, 66–69 (1983)
G. Comer, N. Deruelle, D. Langlois, J. Parry, Growth or decay of cosmological inhomogeneities as a function of their equation of state. Phys. Rev. D 49, 2759–2768 (1994)
I. Khalatnikov, A. Y. Kamenshchik, A. A. Starobinsky, Comment about quasiisotropic solution of Einstein equations near cosmological singularity. Class. Quant. Grav. 19 (2002) 3845–3850. arXiv:gr-qc/0204045
D. Wands, K.A. Malik, D.H. Lyth, A.R. Liddle, A new approach to the evolution of cosmological perturbations on large scales. Phys. Rev. D 62, 043527 (2000). arXiv:astro-ph/0003278
D.H. Lyth, D. Wands, Conserved cosmological perturbations. Phys. Rev. D 68, 103515 (2003). arXiv:astro-ph/0306498
T. Bunch, P. Davies, Quantum field theory in de sitter space: renormalization by point splitting. Proc. R. Soc. Lond. A360, 117–134 (1978)
D.H. Lyth, MSSM inflation. JCAP 0704, 006 (2007). arXiv:hep-ph/0605283
R. Allahverdi, B. Dutta, A. Mazumdar, Attraction towards an inflection point inflation. Phys. Rev. D 78, 063507 (2008). arXiv:0806.4557
K. Enqvist, A. Mazumdar, P. Stephens, Inflection point inflation within supersymmetry. JCAP 1006, 020 (2010). arXiv:1004.3724
R.K. Jain, P. Chingangbam, J.-O. Gong, L. Sriramkumar, T. Souradeep, Punctuated inflation and the low CMB multipoles. JCAP 0901, 009 (2009). arXiv:0809.3915
R.K. Jain, P. Chingangbam, L. Sriramkumar, T. Souradeep, The tensor-to-scalar ratio in punctuated inflation. Phys. Rev. D 82, 023509 (2010). arXiv:0904.2518
A.D. Linde, Hybrid inflation. Phys. Rev. D 49, 748–754 (1994). arXiv:astro-ph/9307002
J. Martin, V. Vennin, Stochastic Effects in Hybrid Inflation. Phys. Rev. D 85, 043525 (2012). arXiv:1110.2070
G. Dvali, S.H. Tye, Brane inflation. Phys. Lett. B 450, 72–82 (1999). arXiv:hep-ph/9812483
S.H. Alexander, Inflation from D-anti-D-brane annihilation. Phys. Rev. D 65, 023507 (2002). arXiv:hep-th/0105032
A. Naruko, M. Sasaki, Conservation of the nonlinear curvature perturbation in generic single-field inflation. Class. Quant. Grav. 28, 072001 (2011). arXiv:1101.3180
L. Bachelier, Theorie de la speculation. Gauthier-Villars (1900)
I. Gihman, A. Skorohod, Stochastic differential equations (Springer Verlag, Berlin, Heidelberg, New York, 1972)
K. Itô, Stochastic integral. Proc. Imp. Acad. 20(8), 519–524 (1944)
J.M. Maldacena, Non-Gaussian features of primordial fluctuations in single field inflationary models. JHEP 0305, 013 (2003). arXiv:astro-ph/0210603
L.E. Allen, S. Gupta, D. Wands, Non-gaussian perturbations from multi-field inflation. JCAP 0601, 006 (2006). arXiv:astro-ph/0509719
Y. Watanabe, \(\delta N\) versus covariant perturbative approach to non-Gaussianity outside the horizon in multifield inflation. Phys. Rev. D 85, 103505 (2012). arXiv:1110.2462
X. Chen, S. Sarangi, S.-H. Henry Tye, J. Xu, Is brane inflation eternal?, JCAP 0611 (2006) 015. arXiv:hep-th/0608082
F. Helmer, S. Winitzki, Self-reproduction in k-inflation. Phys. Rev. D74 (2006) 063528. arXiv:gr-qc/0608019
A.J. Tolley, M. Wyman, Stochastic inflation revisited: non-slow roll statistics and DBI inflation. JCAP 0804, 028 (2008). arXiv:0801.1854
L. Lorenz, J. Martin, J. Yokoyama, Geometrically consistent approach to stochastic DBI inflation. Phys. Rev. D 82, 023515 (2010). arXiv:1004.3734
L. Perreault Levasseur, V. Vennin, R. Brandenberger, Recursive Stochastic effects in valley hybrid inflation. Phys. Rev. D88, 083538 (2013). arXiv:1307.2575
A.D. Linde, Particle physics and inflationary cosmology. Contemp. Concepts Phys. 5, 1–362 (1990). arXiv:hep-th/0503203
L. Smolin, Gravitational radiative corrections as the origin of spontaneous symmetry breaking!. Phys. Lett. B 93, 95 (1980)
W.A. Bardeen, M. Moshe, Phase structure of the O(N) vector model. Phys. Rev. D 28, 1372 (1983)
D. Seery, One-loop corrections to a scalar field during inflation. JCAP 0711, 025 (2007). arXiv:0707.3377
E. Dimastrogiovanni, N. Bartolo, One-loop graviton corrections to the curvature perturbation from inflation. JCAP 0811, 016 (2008). arXiv:0807.2790
D. Seery, Infrared effects in inflationary correlation functions. Class. Quant. Grav. 27, 124005 (2010). arXiv:1005.1649
C.T. Byrnes, K. Koyama, M. Sasaki, D. Wands, Diagrammatic approach to non-Gaussianity from inflation. JCAP 0711, 027 (2007). arXiv:0705.4096
A.M. Green, A.R. Liddle, K.A. Malik, M. Sasaki, A new calculation of the mass fraction of primordial black holes. Phys. Rev. D 70, 041502 (2004). arXiv:astro-ph/0403181
J. Martin, C. Ringeval, V. Vennin, Encyclopædia inflationaris Phys, Dark Univ (2014). arXiv:1303.3787
J. Martin, C. Ringeval, R. Trotta, V. Vennin, The best inflationary models after planck. JCAP 1403, 039 (2014). arXiv:1312.3529
J. Martin, C. Ringeval, R. Trotta, V. Vennin, Compatibility of planck and BICEP2 in the light of inflation. arXiv:1405.7272
H. Kodama, M. Sasaki, Cosmological perturbation theory. Prog. Theor. Phys. Suppl. 78, 1–166 (1984)
K.A. Malik, Gauge-invariant perturbations at second order: Multiple scalar fields on large scales. JCAP 0511, 005 (2005). arXiv:astro-ph/0506532
K.A. Malik, D. Wands, Evolution of second-order cosmological perturbations. Class. Quant. Grav. 21, L65–L72 (2004). arXiv:astro-ph/0307055
H. Noh, J.-C. Hwang, Second-order perturbations of the friedmann world model. arXiv:astro-ph/0305123
F. Finelli, G. Marozzi, G. Vacca, G. Venturi, Energy momentum tensor of cosmological fluctuations during inflation. Phys. Rev. D69 (2004) 123508. arXiv:gr-qc/0310086
G. Marozzi, Back-reaction of cosmological fluctuations during power-law inflation. Phys. Rev. D76, 043504 (2007). arXiv:gr-qc/0612148
F. Lucchin, S. Matarrese, Power law inflation. Phys. Rev. D 32, 1316 (1985)
J. Martin, M. Musso, Solving stochastic inflation for arbitrary potentials. Phys. Rev. D 73, 043516 (2006). arXiv:hep-th/0511214
Acknowledgments
It is a pleasure to thank Eiichiro Komatsu, Jérôme Martin, Gianmassimo Tasinato, David Wands and Jun’ichi Yokoyama for very useful comments and enjoyable discussions. VV’s work is supported by STFC grant ST/L005573/1. A.S. was partially supported by the RFBR Grant No. 14-02-00894. His visit to the Utrecht University was supported by the Delta ITP Grant BN.000396.1. He thanks Profs. S. Vandoren and T. Prokopec and Dr. J. van Zee for hospitality during the visit.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Why must we use the number of e-folds in the Langevin equation?
Appendix A: Why must we use the number of e-folds in the Langevin equation?
In Sect. 2, we have made explicit that different choices of time variable in the Langevin equation account for different stochastic processes. In this appendix, we explain why the correct time variable to work with is the number of \(e\)-folds N, elaborating on already existing results. We first present a generic argument, based on a perturbation of the background equations, before turning to an explicit comparison of stochastic inflation and QFT predictions, in order to identify the correct time variable.
1.1 A.1 Perturbations equation derived from the background equation
A heuristic derivation [17] of the Langevin equation relies on splitting the full quantum inflaton field into a coarse grained, large scales part \(\varphi \), and a short-wavelength component \(\phi _>\), and on performing an expansion of the equation of motion in \(\phi _>\). As suggested in Ref. [36], the correct time variable should therefore be the one such that the equations for the perturbations, which must be established at the action level, can correctly be obtained from varying the equation of motion for the background itself, when written in terms of this time variable. In this section, we establish that this condition selects out N as the time variable.
In the case where inflation is driven by a single scalar field \(\phi \), the action we start from is given by
From this action (and this action only), we first want to derive equations of motion for the scalar perturbations that can be compared with what will be obtained below from varying the background equation of motion itself. To make our point even more convincing, we go up to second order in the perturbations. This is why we expand the background fields \(\lbrace \phi ,g_{\mu \nu } \rbrace \) at second order in the scalar perturbations.Footnote 20 When the time variable in the metric is the conformal time \(\eta \), one has
The degrees of freedom introduced above are partially redundant and in absence of anisotropic stress, the scalar sector can be described in terms of a single gauge invariant variable. One possible choice is the Mukhanov–Sasaki variable [7, 41, 94] v, which can be defined, order by order, as the scalar field fluctuation \(\phi ^{(n)}\) on uniform curvature hypersurfaces [95]. To first and second orders, after a lengthy but straightforward calculation, one obtains [96]
From varying the expanded action, one can derive an equation of motion for the scalar perturbations, and in particular for a gauge invariant combination of them, say the Mukhanov–Sasaki variable. In this section, we want to compare this action based equation of motion for v with an equation of motion for the perturbation in \(\phi \) coming from varying the background Klein–Gordon equation. It is therefore important to work in a gauge where these two quantities, v and the perturbation in \(\phi \), are identical. By definition of the Mukhanov–Sasaki variable, this is the case in the uniform curvature gauge, where
to all orders. In this gauge, one notably has \(\psi =0\) to all orders [from Eqs. (A.3), (A.4) and (A.5), it is clear that this is at least the case up to second order].
The equation of motion for the scalar perturbations \(\phi ^{(1)}\) and \(\phi ^{(2)}\) is therefore given by the one for \(v^{(1)}\) and \(v^{(2)}\) in this gauge. At leading order in the slow-roll approximation, and in the long-wavelength limit, they readFootnote 21
We now need to compare these equations with the ones that arise when varying the equation of motion for the background, and to find for which time variable they match.
If t is used
When cosmic time t is used, the leading order of the slow-roll approximation for the Klein–Gordon equation for the background is given by
where we take \(H^2\simeq V/(3M_\mathrm{Pl}^2)\) at leading order in slow roll. When plugging \(\phi =\phi ^{(0)}+\phi ^{(1)}+\phi ^{(2)}\) in this equation, one obtains at first and second order in the perturbations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-015-3643-y/MediaObjects/10052_2015_3643_Equ66_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-015-3643-y/MediaObjects/10052_2015_3643_Equ67_HTML.gif)
One should stress that these equations do not apply to \(\phi ^{(1)}\) and \(\phi ^{(2)}\), since they are different from Eqs. (A.6) and (A.7), which is why we use the notation \(\tilde{\phi }^{(1,2)}\) instead of \(\phi ^{(1,2)}\). The differences with Eqs. (A.6) and (A.7) are displayed in red. One can see that several factors do not match. This is because in general, the equations for the perturbations must be derived from the action itself and cannot be obtained by simply varying the equation of motion for the background.
If \({\mathrm {d}s=H^p\left( \phi \right) \mathrm {d}t}\) is used
For this reason, let us look for a time variable s which is such that the equations for the perturbations arise from varying the equation of motion of the background when written in terms of s. Let us assume that s is related to t thanks to a relation of the form
where p and q are power indices that we try to determine. For example, when \(p=0\) and \(q=0\), s is the cosmic time t, when \(p=1\) and \(q=0\), s is the number of \(e\)-folds N, while when \(p=0\) and \(q=-1\), s is the conformal time \(\eta \). In terms of s, the equation of motion for the background is given by
where again we take \(H^2\simeq V/(3M_\mathrm{Pl}^2)\) at leading order in slow roll. When plugging in \(\phi =\phi ^{(0)}+\phi ^{(1)}+\phi ^{(2)}\), one obtains at first and second order in the perturbations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-015-3643-y/MediaObjects/10052_2015_3643_Equ70_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-015-3643-y/MediaObjects/10052_2015_3643_Equ71_HTML.gif)
Again, these equations do not apply to \(\phi ^{(1)}\) and \(\phi ^{(2)}\) in general, since the correct ones are given by Eqs. (A.6) and (A.7), which is why we use the notation \(\tilde{\phi }^{(1,2)}\). The differences between these two sets of equations are displayed in red. In order for the above to match Eqs. (A.6) and (A.7), one must have \(q=0\) and \((p+1)/6=1/3\), which gives \(p=1\), \((p+1)/2=1\), which also gives \(p=1\), and \((p+1)(p+3)/36=2/9\), which gives \(p=1\) or \(p=-5\). As a conclusion, with \(p=1\) and \(q=0\) only, the equations for the perturbations (from what is shown here, up to second order in perturbation theory) can be seen as if they were derived from varying the equation of motion for the background. This choice corresponds to the number of \(e\)-folds N.
1.2 A.2 Stochastic inflation and quantum field theory on curved space-times
To go beyond this generic argument, one can explicitly show [26, 27] that N is the time variable which allows one to consistently connect stochastic inflation with results from QFT on curved space-times. For example, let us consider the leading order of the fluctuations \(\delta \phi =\varphi -\phi _\mathrm {cl}\) in the coarse grained inflaton field about its classical background value \(\phi _\mathrm {cl}\). By “classical”, recall that we mean that \(\phi _\mathrm {cl}\) is the solution of the equation of motion without the noise term. We want to compute the mean square value of \(\delta \phi \) and compare what we obtain with results coming from QFT calculations. For example, in Ref. [98], with a renormalization obtained by employing the adiabatic subtraction prescription on inflationary backgrounds, it is shown that in quadratic inflation where \(V=m^2\phi ^2/2\), if \(\delta \phi =0\) at time \(t_0\), one has at leading order \(\lbrace \)see Eq. (48) of Ref. [98]\(\rbrace \)
where H means \(H\left( \phi _\mathrm {cl}\right) \) and \(H_0\) means H evaluated at time \(t_0\). In the same manner, in Ref. [99], it was shown that in power-law inflation where \(a(t)\propto t^{p}\) with \(p\gg 1\), the same quantity is given by \(\lbrace \)see Eq. (29) of Ref. [99]\(\rbrace \)
Let us see how these results can be derived in the stochastic inflationary framework. We start from the Langevin equation (1.1) that we write
where we have used \(H^2\simeq V/(3M_\mathrm{Pl}^2)\) and where we recall that a prime denotes a derivative with respect to the inflaton field. Since \(\phi _\mathrm {cl}\) is the solution of the above equation without the noise term, the noise term can be considered as a perturbation captured in \(\delta \phi \). After expanding Eq. (A.17) in powers of \(\delta \phi \), one gets for the leading order \(\delta \phi ^{(1)}\)
Multiplying this equation by \(\delta \phi ^{(1)}\) and taking the stochastic average \(\langle \cdot \rangle \) leads to
In order to obtain a differential equation for \(\langle \delta {\phi ^{(1)}}^2 \rangle \) only, one needs to evaluate the right hand side of the previous equation. This can be done as follows. Letting \(\delta {\phi ^{(1)}}=0\) at time \(N_0\), a formal solution of Eq. (A.18) is given by
From this expression, since \(\left\langle \xi \left( N\right) \xi \left( N^\prime \right) \right\rangle =\delta \left( N-N^\prime \right) \), it is straightforward to see thatFootnote 22
This is why one obtains
Since the equation of motion for \(\phi _\mathrm {cl}\) is simply given by \(\mathrm {d}N=-H/(2H^\prime M_\mathrm{Pl}^2)\mathrm {d}\phi _\mathrm {cl}\), one can change the time variable from N to \(\phi _\mathrm {cl}\) and the formal solution of the above equation can be written as
For quadratic inflation where \(H=m\phi /(\sqrt{6}M_\mathrm{Pl})\), this exactly gives rise to Eq. (A.15) while for power-law inflation whereFootnote 23 \(H=H_0\exp \left[ -1/\sqrt{2p}(\phi -\phi _0)/M_\mathrm{Pl}\right] \), one exactly obtains Eq. (A.16). Therefore, stochastic and standard field-theoretical approaches to inflation produce the same results for the amount of field fluctuations.Footnote 24
To emphasize the specificity of N as a preferred time variable, let us repeat the same procedure using the Langevin equation written in terms of t,
Since this corresponds to a different stochastic process as the one written in terms of N, we use again the notation \(\tilde{\phi }\) instead of \(\phi \). At leading order in the noise, one obtains for \(\delta \tilde{\phi }^{(1)}\)
Again, multiplying this equation by \(\delta \tilde{\phi }^{(1)}\) and taking the stochastic average leads to
In the same manner as before, making use of the formal solution to Eq. (A.25),
one can show that \(\left\langle \xi \left( t\right) \delta \tilde{\phi }^{(1)} \right\rangle = H^{3/2}/(4\pi )\), so that one needs to solve
Making use of the classical trajectory \(\mathrm {d}t=-\mathrm {d}\phi _\mathrm {cl}/(2M_\mathrm{Pl}^2 H^\prime )\), one obtainsFootnote 25
which is clearly different from Eq. (A.23).Footnote 26 For example, for quadratic inflation, it reduces to \(\langle \delta {{}{\tilde{\phi }}^{(1)}}^{2} \rangle =3(H_0^4-H^4)/(16\pi ^2 m^2)\), which does not coincide with Eq. (A.15) and for power-law inflation, it reads \(\langle \delta {{}{\tilde{\phi }}^{(1)}}^{2} \rangle = pH^2/(4\pi ^2)\ln (H_0/H) \), which does not coincide with Eq. (A.16).
Finally and in passing, let us derive the corresponding results for the leading order of the mean fluctuation \(\langle \delta \phi \rangle \). Since from Eq. (A.18) it is clear that \(\langle \delta \phi ^{(1)}\rangle =0\), one has to work out \(\langle \delta \phi ^{(2)}\rangle \). Expanding \(\varphi =\phi _\mathrm {cl}+\delta \phi ^{(1)}+\delta \phi ^{(2)}\) in Eq. (A.17), one obtains
When taking the stochastic average of the above equation, \(\langle {\delta \phi ^{(1)}}^2\rangle \) is given by Eq. (A.23) and \(\langle \delta \phi ^{(1)}\xi \rangle \) is given by Eq. (A.21), so that one obtains
Using the classical trajectory \(\mathrm {d}\phi _\mathrm {cl}=-2M_\mathrm{Pl}^2H^\prime /H\mathrm {d}N\), this equation can be written in terms of \(\phi _\mathrm {cl}\), and after integration by parts, this gives rise to
where \(\langle {\delta \phi ^{(1)}}^2\rangle \) is given by Eq. (A.21). For example, when applied to quadratic inflation where \(V=m^2\phi ^2/2\), one obtains
which matches Eq. (49) of Ref. [26]. However, it is again worth noting that one would have obtained a completely different result starting from the Langevin equation written in terms of cosmic time t, namelyFootnote 27
This obviously differs from Eq. (A.32).
To summarize the discussion, different time variables in the Langevin equation lead to different stochastic processes, and the only time variable which allows the stochastic inflation formalism to reproduce QFT calculations is the number of \(e\)-folds N. One should therefore always work with N when dealing with stochastic inflation.
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
Vennin, V., Starobinsky, A.A. Correlation functions in stochastic inflation. Eur. Phys. J. C 75, 413 (2015). https://doi.org/10.1140/epjc/s10052-015-3643-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-015-3643-y