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

Non-Gaussianities and tensor-to-scalar ratio in non-local R2R^{2}-like inflation

Alexey S. Koshelev    K. Sravan Kumar    Anupam Mazumdar   
Alexei A. Starobinsky
Abstract

In this paper we will study R2R^{2}-like inflation in a non-local modification of gravity which contains quadratic in Ricci scalar and Weyl tensor terms with analytic infinite derivative form-factors in the action. It is known that the inflationary solution of the local R+R2R+R^{2} gravity remains a particular exact solution in this model. It was shown earlier that the power spectrum of scalar perturbations generated during inflation in the non-local setup remains the same as in the local R+R2R+R^{2} inflation, whereas the power spectrum of tensor perturbations gets modified due to the non-local Weyl tensor squared term. In the present paper we go beyond 2-point correlators and compute the non-Gaussian parameter fNLf_{NL} related to 33-point correlations generated during inflation, which we found to be different from those in the original local inflationary model and scenarios alike based on a local gravity. We evaluate non-local corrections to the scalar bi-spectrum which give non-zero contributions to squeezed, equilateral and orthogonal configurations. We show that fNLO(1)f_{NL}\sim{O}(1) with an arbitrary sign is achievable in this model based on the choice of form-factors and the scale of non-locality. We present the predictions for the tensor-to-scalar ratio, rr, and the tensor tilt, ntn_{t}. In contrast to standard inflation in a local gravity, here the possibility nt>0n_{t}>0 is not excluded. Thus, future CMB data can probe non-local behaviour of gravity at high space-time curvatures.

1 Introduction

After the Planck mission, inflationary cosmology took a turn towards the Starobinsky inflationary model based on the modified R+R2R+R^{2} gravity with one-loop corrections from matter quantum fields [1] (shortly dubbed as the (local) R2R^{2} inflation afterwards), or to models with strongly non-minimally coupled scalar fields like the Higgs inflationary model [2], or to models emerged within string and supergravity (SUGRA) theories which have similar (very flat plateau-like) behaviour of their effective potentials in the Einstein frame [3]. These highlighted models comprise a set of most successful ones from the point of view of the observational data matching but neither of them features a manifestly well established UV completion setting.

In an attempt to tackle the issue of the UV completion for models of inflation on par with proposals to explain local higher order curvature terms like R2R^{2} or non-minimal couplings of scalars by considering supergravity models [4, 5] there are recent developments on studying R2R^{2} inflation solution within an analytic infinite derivative (AID) gravity framework. This latter approach was shown to be absolutely consistent with existing cosmological observational data [6, 7, 8, 9, 10, 11] while providing a viable track towards completing theory of quantum gravity [12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22]. We therefore stick to this model in our effort to explore and analyze non-Gaussian perturbations and the tensor-to-scalar ratio during inflation in the present paper.

Analytic infinite derivative gravity essentially generalizes Einstein’s General Relativity (GR) with quadratic in Ricci scalar, RR and Weyl tensor, WW terms in the action with analytic at zero functions of the d’Alembertian operator, also named form-factors, inserted in between like RR()RR\mathcal{F}_{R}(\square)R where \square is the covariant d’Alembertian operator, see: [6, 23, 15, 24, 16, 25, 26, 27]. Analyticity of form-factors at zero implies a smooth low-energy limit of the model. This type of gravity models is also often abbreviated as IDG for infinite derivative gravity. We however would mainly stick to the AID abbreviation to stress the analytic behavior of the form-factors for low momenta. This is an essential mathematical point and it distinguishes this type of gravity modifications from those having non-analytic dependence on derivatives, like it is already encountered in one-loop effective quantum gravity action [28, 29, 30, 31], for example, non-analytic forms like logarithms of the d’Alembertian or inverse of the d’Alembertian appear in the effective action as a result of integrating out matter fields [32, 33].

Furthermore, it is the most general extension of GR around maximally symmetric space-times as it captures behavior of linear perturbations around such space-times in any analytic gravity generalization (see [26] for details). Inspiration for such a modification of gravity naturally comes from string field theory (SFT) where infinite derivative operators like e/s2e^{{\square}/{\mathcal{M}_{s}^{2}}}, with s\mathcal{M}_{s} being a string scale sMp\mathcal{M}_{s}\lesssim M_{p} enter the vertex terms of the string interaction [34, 35, 36, 37, 38, 39, 40]. MpM_{p} here is the Planck mass as usual. Discussing gravity we name s\mathcal{M}_{s} as the scale of non-locality. Such a gravity is known to be ghost-free (unitary) improving thereby the proposal by Stelle [41, 42] which suffered from the presence of the spin-2 ghost. Absence of ghosts requires the presence of an infinite tower of derivatives and thus forces one to consider essentially non-local form-factors [27]. This guaranties the power-counting renormalizability and raises the hope that Black-Hole and Big Bang singularities are being resolved in gravity theories of this kind. A number of crucial questions has been investigated recently regarding the resolution of singularities [23, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55] in this approach. The arguments above explain why such an infinite derivative gravity tends to become a UV complete gravity theory.

Obviously, the higher derivative form-factors provide the crux of the gravity modifications which we study in this paper. We have freedom to choose form-factors such that the excitations spectrum is exactly like in a local R2R^{2} gravity modification. Namely, there is a propagating massive scalar and a massless graviton in the theory. This scalar degree of freedom is identified with the ‘scalaron’ that drives inflationary expansion and is responsible for nearly scale invariant fluctuations which in turn seed the large scale structure formation. Although the structure of form-factors is constrained by the conditions on the theory to be ghost-free around maximally symmetric backgrounds [27, 56], we lack for the time being a more fundamental approach of deriving them within the scope of string theory or SFT. Worth mentioning that recently some progress has been made to fix form-factors within asymptotic safety approach to quantum gravity [54, 57]. However, still observational cosmology is the only major way to get a guidance for any gravity modification and thus inflationary cosmology and CMB observations play a vital role.

It was shown in [11] that an analytic non-local extension of the R2R^{2} inflation produces up to the leading order in the slow-roll expansion exactly the same value of the spectral index, nsn_{s}, of the Fourier power spectrum of primordial scalar perturbations generated during inflation, but the tensor to scalar power spectra ratio, rr, as well as the tensor power spectrum consistency relation, can get modified. Moreover, the modification of the tensor power spectrum is solely due to the form-factor in the quadratic in Weyl tensor term in the action.

In the present paper, we aim to understand and constrain the analytic infinite derivative form-factors in the considered gravity model using the current constraints on inflationary parameters [58] such as (ns,r)\left(n_{s},\,r\right) and the non-Gaussianity parameter (fNLf_{NL}) in the squeezed, equilateral and orthogonal configurations which read as

ns=0.9649±0.0042at  68%CL,r<0.064at  95%CL,\displaystyle n_{s}=0.9649\pm 0.0042\,\,\textrm{at}\,\,68\%\textrm{CL}\,,\quad r<0.064\,\,\textrm{at}\,\,95\%\,\textrm{CL}\,, (1.1)

and

fNLsq=0.9±5.1fNLequiv=26±47fNLortho=38±24,at    68%CL.f_{NL}^{sq}=-0.9\pm 5.1\,\quad f_{NL}^{equiv}=-26\pm 47\,\quad f_{NL}^{ortho}=-38\pm 24\,,\,\textrm{at}\,\,\,\,68\%\,\,\textrm{CL}. (1.2)

with respect to Planck, BICEP2/Keck Array and BK15 with TT,TE, EE+lowE+lensing data [58, 59].

Non-Gaussianity is an important tool to understand primordial Universe and especially the nature of scalaron or inflaton111Which is a scalar degree of freedom coming from addition of hypothetical matter to GR., especially whether it is a canonical field, or a non-canonical one, or if multiple fields are responsible for the period of inflation, or if the inflation is driven effectively by a single field in the presence of relatively heavy fields, or if inflation happens in a higher order scalar tensor theories [60, 61, 62, 63, 64, 65, 66, 67]. Every model produces a distinct signal for fNLf_{NL} for different triangular templates of 3-momenta. In the case of single canonical field models of inflation non-Gaussianities are very small as it was shown in [60]. Local R2R^{2} model can be seen as a single canonical field model upon conformal transformation of the R+R2R+R^{2} gravity action to the Einstein frame where a minimally coupled scalar field with a very flat plateau shape potential appears [68]. Any inflationary framework beyond a canonical scalar field may lead to different observable signatures of fNLf_{NL} [69, 70]. In our case there is only one canonical propagating scalar, namely the curvature perturbation, which is approximately time-independent on super-Hubble scales. However, the presence of higher derivative and even non-local operators can in principle lead to non-trivial signatures in the bi-spectrum (see for instance earlier observation of large non-Gaussianities in the context of SFT inspired pp-adic inflation [71, 72] where a minimally coupled non-local scalar field drives inflation).

The paper is organized as follows. In Section 2 we present the modified gravity model to be studied and discuss the generic structure of form-factors for the theory to be ghost free. We summarize the general conditions on form-factor R()\mathcal{F}_{R}\left(\square\right) for the theory to admit the local R2R^{2} inflationary solution which satisfies the equation R=M2R\square R=M^{2}R where MM is the scalaron mass. In Section 3 we discuss second order inflationary perturbations and present quantitative results for scalar and tensor power spectra and their tilts for sample form-factors. In Appendix A we provide equations of motion, slow-roll conditions and further technicalities on second order scalar perturbations. In Section 4 we compute the 3rd order variation of the studied gravity action around the local R2R^{2} inflationary solution up to the leading order in the slow-roll approximation. Using the mode functions computed in Section 2 we calculate the 3-point correlation functions and the non-linearity parameter fNLf_{NL} as functions of momenta. Namely, we calculate the non-Gaussianity parameter fNLf_{NL} for local, equilateral and orthogonal configurations. To do quantitative analysis, we select sample form-factors and discuss the bounds on the scale of non-locality, s\mathcal{M}_{s}, within the current CMB constraints. This section is supplemented by detailed computations in Appendices B and C. The Conclusion Section summarizes the performed analysis.

2 Analytic infinite derivative gravity and inflationary solution

In this section, we will review the equations of motion and inflationary solutions of AID gravity. The notations commonly used throughout the paper are as follows. The reduced Planck mass in our notation is MP22=116πG\frac{M_{P}^{2}}{2}=\frac{1}{16\pi G} where GG is the Newtonian constant. The metric signature we work with is (,+,+,+)(-,+,+,+). The 44-dimensional indices are labeled by small Greek letters and 33-dimensional quantities are labeled by i,j=1,2,3i,j=1,2,3. Throughout the paper a bar over quantities is used to indicate their background values for Friedmann-Lemaître-Robertson-Walker (FLRW) metric gμν=(1,a2,a2,a2)g_{\mu\nu}=(-1,a^{2},a^{2},a^{2}), where a=a(t)a=a(t) is the scale factor and tt is the cosmic time, like R¯\bar{R} for the background value of the Ricci scalar, ¯\bar{\square} for the background value of the d’Alembertian operator, etc. We use notation and a dot to represent the differentiation with respect to conformal time τ\tau and cosmic time tt respectively. (†) and (‡) denote first and second derivatives with respect to the argument for various functions. (1,2,3) denotes in most cases the order of the performed variation. R,Rμν,WμνρσR,R_{\mu\nu},\,W_{\mu\nu\rho\sigma} denote the Ricci scalar, Ricci tensor and Weyl tensor respectively. Throughout the paper, the sign “\,\approx\,” denotes the leading order in the slow-roll approximation.

The action we study contains non-local quadratic in curvature terms which was shown to be most general action around maximally symmetric space-times [15, 27, 26, 10, 11]

S=d4xg(Mp22R+λ2[RR(s)R+WμνρσW(s)Wμνρσ]).S=\int d^{4}x\sqrt{-g}\left(\frac{M_{p}^{2}}{2}R+\frac{\lambda}{2}\bigg{[}R\mathcal{F}_{R}\left(\square_{s}\right)R+W_{\mu\nu\rho\sigma}\mathcal{F}_{W}\left(\square_{s}\right)W^{\mu\nu\rho\sigma}\bigg{]}\right)\,. (2.1)

Here s=/s2\square_{s}={\square}/{\mathcal{M}_{s}^{2}} with s\mathcal{M}_{s} being the scale of non-locality and λ\lambda is a dimensionless parameter useful to control the effect of higher curvature contributions as the whole. The form-factors are analytic at zero and can be Taylor expanded as follows

R(s)=n=0fRnsn,W(s)=n=0fWnsn.\mathcal{F}_{R}\left(\square_{s}\right)=\sum_{n=0}^{\infty}f_{Rn}\square_{s}^{n},\quad\mathcal{F}_{W}\left(\square_{s}\right)=\sum_{n=0}^{\infty}f_{Wn}\square_{s}^{n}\,. (2.2)

where fRn,fWnf_{Rn},f_{Wn} are dimensionless constants. The vacuum equations of motion for the above action are given by (A.1) in Appendix A.

The form-factors should not be arbitrary as they are restricted by the ghost-free conditions. For instance, the generic structure of form-factors that leads to an extra scalar field of mass MM and a massless tensor degree of freedom around maximally symmetric space-times backgrounds was studied in [15, 26, 27].

In the inflationary context we have to consider the structure of form-factors around the de Sitter background studied in [27, 26] which we discuss in the next Sections. To study inflation, we start with FLRW metric which is conformally flat and as such the corresponding Weyl tensor vanishes. Therefore the trace of equations (A.1) for conformally flat backgrounds becomes

E=(MP26λR(s))Rλ(𝒦μμ+2𝒦~)=0,E=(M_{P}^{2}-6\lambda\square\mathcal{F}_{R}(\square_{s}))R-\lambda(\mathcal{K}^{\mu}_{\mu}+2\tilde{\mathcal{K}})=0\,, (2.3)

where 𝒦μμ,𝒦~\mathcal{K}^{\mu}_{\mu},\,\tilde{\mathcal{K}} are infinite derivative square in scalar curvature terms defined in (A.2). In the sequel we put parameter λ\lambda equal 1 for simplicity. It was shown in [11] that the local R2R^{2} inflationary solution which satisfies the following equation

¯R¯=M2R¯,\bar{\square}\bar{R}=M^{2}\bar{R}\,,\, (2.4)

becomes the only (inflationary) solution222The local R2R^{2} inflationary solution satisfies (2.4) with the scale factor a\displaystyle a a0(tst)16eM2(tst)212,H=a˙aM26(tst)+16(tst),\displaystyle\approx a_{0}(t_{s}-t)^{-\frac{1}{6}}e^{-\frac{M^{2}(t_{s}-t)^{2}}{12}}\,,\quad H=\frac{\dot{a}}{a}\approx\frac{M^{2}}{6}(t_{s}-t)+\frac{1}{6(t_{s}-t)}\,, (2.5) R¯=12H2+6H˙\displaystyle\bar{R}=12H^{2}+6\dot{H} M4(tst)23M23+O((tst)2),\displaystyle\approx\frac{M^{4}(t_{s}-t)^{2}}{3}-\frac{M^{2}}{3}+{O}\left((t_{s}-t)^{-2}\right)\,, where ts1Mt_{s}\gg\frac{1}{M} denotes the end of inflation. of AID gravity as long as form-factor R(s)\mathcal{F}_{R}(\square_{s}) obeys the following conditions

R()(M2s2)=0,Mp22=3λM21,\mathcal{F}_{R}^{\left(\dagger\right)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)=0\quad,\quad\frac{M_{p}^{2}}{2}=3\lambda M^{2}\mathcal{F}_{1}\,, (2.6)

where R()(M2s2)=Rs|s=M2s2\mathcal{F}_{R}^{\left(\dagger\right)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)=\frac{\partial\mathcal{F}_{R}}{\partial\square_{s}}\Big{|}_{\square_{s}=\frac{M^{2}}{\mathcal{M}_{s}^{2}}} and 1=R(M2s2)\mathcal{F}_{1}=\mathcal{F}_{R}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right). Since cosmological observations indicate the nearly scale invariant power spectrum of scalar fluctuations, we consider the following hierarchy of scales333This can be seen heuristically by expanding the quadratic Ricci scalar part of the action (2.1) as S=d4xg[Mp22R+Mp212M2R2+O(Mp2RRM2s2)].S=\int d^{4}x\sqrt{-g}\left[\frac{M_{p}^{2}}{2}R+\frac{M_{p}^{2}}{12M^{2}}R^{2}+O\left(\frac{M_{p}^{2}R\square R}{M^{2}\mathcal{M}_{s}^{2}}\right)\right]\,. (2.7) In the above action we see that at high curvature regime RM2R\gg M^{2} quadratic curvature terms are naturally dominant. However, it is easy to see that R2R^{2} term is scale invariant (i.e., the term is invariant under local scale transformations gμνeλgμνg_{\mu\nu}\to e^{\lambda}g_{\mu\nu} ) and all the higher derivative terms are not scale invariant. So it is obvious to see that the hierarchy M2s2M^{2}\ll\mathcal{M}_{s}^{2} is essential for the model to be compatible with cosmological data. [10, 11]:

M2s2Mp2,M^{2}\ll\mathcal{M}_{s}^{2}\lesssim M_{p}^{2}\,, (2.8)

During inflation the following slow-roll condition for the background solution (2.5) is satisfied [73, 68]:

ϵ=H˙H2M26H212N1M2H2,\epsilon=-\frac{\dot{H}}{H^{2}}\,\approx\frac{M^{2}}{6H^{2}}\approx\frac{1}{2N}\ll 1\implies M^{2}\ll H^{2}\,, (2.9)

where N5060N\sim 50-60 is number of e-foldings before the end of inflation.

Note that the Hubble-slow-roll parameters ϵ,η\epsilon,\,\eta used here in the original Jordan frame differ from the potential slow-roll parameters ϵV,ηV\epsilon_{V},\,\eta_{V} usually known in the context of scalar field inflation (in the Einstein frame representation of the R+R2R+R^{2} model) [68]. The second Hubble-slow-roll parameter in our case is η=ϵ+dlnϵ2dN124N2ϵ\eta=\epsilon+\frac{d\ln\epsilon}{2dN}\approx\frac{1}{24N^{2}}\ll\epsilon (note that the calculation of its actual value requires using the second, next to leading, order of the slow-roll approximation presented in Eq. (2.5)). On the other hand, in the Einstein frame ϵV|ηV|\epsilon_{V}\ll|\eta_{V}|. Since all our study is in Jordan frame, in all the computations we apply the slow-roll approximation up to the leading order in ϵ\epsilon.

From the considerations (2.8) and (2.9) we assume the hierarchy of mass scales in the theory as shown on the scheme Fig. 1.

Refer to caption
Figure 1: Hierarchy of mass scales in non-local R2R^{2}-like inflation.

Further we refer to the condition (2.9) as the slow-roll approximation.

3 Second order perturbations and power spectra

Inflationary observables of R2R^{2}-like inflation in AID gravity related to two point correlations were studied in detail in [9, 10, 11]. In this section, we will briefly review the second order perturbations of scalar and tensor parts and highlight the points essential for the rest of the paper without additional referencing. We start with the following perturbed line element in terms of gauge invariant Bardeen potentials (Φ,Ψ)\left(\Phi,\,\Psi\right) and transverse and traceless tensor fluctuation hijh_{ij}

ds2=a2(τ)[(1+2Φ)dτ2+((12Ψ)δij+2hij)dxidxj].ds^{2}=a^{2}\left(\tau\right)\left[-\left(1+2\Phi\right)d\tau^{2}+\left(\left(1-2\Psi\right)\delta_{ij}+2h_{ij}\right)dx^{i}dx^{j}\right]\,. (3.1)

This is equivalent to fixing the Newtonian gauge. Study of perturbed linear equations of motion in the slow-roll approximation, i.e. in the quasi-de Sitter regime gives among other important results

[1(R¯+3r1)+(¯2H2)W(¯+6H2)]Φ+Ψa2=0.\left[\mathcal{F}_{1}\left(\bar{R}+3r_{1}\right)+\left(\bar{\square}-2H^{2}\right)\mathcal{F}_{W}\left(\bar{\square}+6H^{2}\right)\right]\frac{\Phi+\Psi}{a^{2}}=0\,. (3.2)

The solution of the above equation leads to Φ+Ψ0\Phi+\Psi\approx 0 in the quasi-de Sitter limit in full analogy with the local R2R^{2} inflationary model [29]. Proceeding with the construction of an action for a canonical scalar variable one must restrict the form-factor in order to avoid ghosts and this leads to the following form of the operator function R(s)\mathcal{F}_{R}(\square_{s}):

R(s)=13eγS(s)(sM2s2)+(R¯s2+3M2s2)3s+R¯s2,\mathcal{F}_{R}\left(\square_{s}\right)=\mathcal{F}_{1}\frac{3e^{\gamma_{S}\left(\square_{s}\right)}\left(\square_{s}-\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)+\left(\frac{\bar{R}}{\mathcal{M}_{s}^{2}}+3\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)}{3\square_{s}+\frac{\bar{R}}{\mathcal{M}_{s}^{2}}}\,, (3.3)

where γS\gamma_{S} is an entire function of the d’Alembertian operator. Imposing the conditions (2.6) on the form-factor R(s)\mathcal{F}_{R}\left(\square_{s}\right) in (3.3), we can deduce that

γS(M2s2)=0.\gamma_{S}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)=0\,. (3.4)

We can also see that condition (3.4) being used in (3.3) does not give us any relation between scalaron mass and the non-locality scale.

The second order action for the canonically normalized scalar has the form

δ(2)S(S)=12𝑑τd3xg¯u(¯M2)u,\delta^{(2)}S_{(S)}=\frac{1}{2}\int d\tau d^{3}x\sqrt{-\bar{g}}u\left(\bar{\square}-M^{2}\right)u\,, (3.5)

where the subscript (S)(S) stands for the scalar part and u21R¯Ψu\approx 2\mathcal{F}_{1}\bar{R}\Psi. A solution for Fourier modes of u~=au\tilde{u}=au upon the spatial Fourier transform yields in terms of Hankel functions [68]

u~k=π2(τ)1/2[c1kHνs(1)(kτ)+c2kHνs(2)(kτ)].\tilde{u}_{k}=\frac{\sqrt{\pi}}{2}(-\tau)^{1/2}\left[c_{1k}H_{\nu_{s}}^{(1)}\left(-k\tau\right)+c_{2k}H_{\nu_{s}}^{(2)}\left(-k\tau\right)\right]\,. (3.6)

Adiabatic vacuum initial conditions for the observable range of Fourier modes of perturbations following from their quantization in the deep sub-Hubble limit |kτ|1|k\tau|\gg 1 are c1k=1,c2k=0c_{1k}=1,\,c_{2k}=0. The Bunch-Davies initial conditions taken literally would correspond to imposing these conditions for all Fourier modes 𝐤\bf{k} including the limit k0k\to 0. However, this is not possible for the most realistic inflationary models including the local R2R^{2} model. For our purposes, it is sufficient to impose the adiabatic vacuum initial conditions for all Fourier modes which are deep inside the Hubble radius at the beginning of the inflationary stage. In the leading order in slow roll, the sub-Hubble limit of the mode function can be approximated as

u~k=2k3eikτ(1ikτ).\tilde{u}_{k}=\frac{\mathcal{H}}{\sqrt{2k^{3}}}e^{ik\tau}(1-ik\tau)\,. (3.7)

The curvature perturbation is defined as

=Ψ+HδRR¯˙=Ψ24H324HH˙Ψ1ϵΨ=12ϵ131R¯H2k3eikτ(1ikτ).\mathcal{R}=\Psi+H\frac{\delta R}{\dot{\bar{R}}}=\Psi-\frac{24H^{3}}{24H\dot{H}}\Psi\approx-\frac{1}{\epsilon}\Psi=-\frac{1}{2\epsilon}\frac{1}{\sqrt{3\mathcal{F}_{1}\bar{R}}}\frac{H}{\sqrt{2k^{3}}}e^{ik\tau}\left(1-ik\tau\right)\,. (3.8)

and is (approximately) time-independent on super-Hubble scales kaHk\ll aH. The primordial power spectrum and its tilt can be computed as

𝒫=H216π2ϵ2131R¯|k=aH,nsdln𝒫dlnk|k=aH12N,\mathcal{P}_{\mathcal{R}}=\left.\frac{H^{2}}{16\pi^{2}\epsilon^{2}}\frac{1}{3\mathcal{F}_{1}\bar{R}}\right|_{k=aH}\,,\quad n_{s}\equiv\left.\frac{d\ln\mathcal{P}_{\mathcal{R}}}{d\ln k}\right|_{k=aH}\approx 1-\frac{2}{N}\,, (3.9)

where NN is the number of ee-folds and ϵ=H˙H212N\epsilon=-\frac{\dot{H}}{H^{2}}\approx\frac{1}{2N}. We can notice that the scalar spectral index remains exactly same as for the local R2R^{2} model. From the Planck data [74] the power spectrum at the pivot scale k=0.05Mpc1k_{\ast}=0.05\text{Mpc}^{-1} is 𝒫2.2×109\mathcal{P}_{\mathcal{R}}^{\ast}\sim 2.2\times 10^{-9}. Using this we get the mass of scalaron, Hubble parameter and Ricci scalar at k=aHk_{\ast}=aH as

M1.3×105×55NMp,HM26ϵ5.6×105×55NMp,R¯220M2×55N.M\approx 1.3\times 10^{-5}\times\frac{55}{N_{\ast}}M_{p},\quad H\approx\sqrt{\frac{M^{2}}{6\epsilon}}\approx 5.6\times 10^{-5}\times\frac{55}{N_{\ast}}M_{p},\quad\bar{R}_{\ast}\approx 220M^{2}\times\frac{55}{N_{\ast}}\,. (3.10)

Here NN_{\ast} is the number of ee-foldings before the end of inflation for pivot scale kk_{\ast}.

The second order action for the canonically normalized tensor perturbations in the de Sitter approximation (applying R¯M2\bar{R}\gg M^{2}) is

δ2S(T)=\displaystyle\delta^{2}S_{(T)}= 12d4xg¯hije2γT(s2R¯3s2)(¯R¯6)hij,\displaystyle\frac{1}{2}\int d^{4}x\sqrt{-\bar{g}}h_{ij}^{\perp}e^{2\gamma_{T}\left(\square_{s}-\frac{2\bar{R}}{3\mathcal{M}_{s}^{2}}\right)}\left(\bar{\square}-\frac{\bar{R}}{6}\right)h^{\perp{ij}}\,, (3.11)

where the subscript (T)(T) stands for tensor part and γT\gamma_{T} here is an entire function444Note that in the notation of [11], ω(s)=γT(s2R¯3s2)\omega\left(\square_{s}\right)=\gamma_{T}\left(\square_{s}-\frac{2\bar{R}}{3\mathcal{M}_{s}^{2}}\right). which is related to the form-factor as

W(s)=1R¯s2eγT(s23R¯s2)1s2R¯3s2.\mathcal{F}_{W}\left(\square_{s}\right)=\frac{\mathcal{F}_{1}\bar{R}}{\mathcal{M}_{s}^{2}}\frac{e^{\gamma_{T}\left(\square_{s}-\frac{2}{3}\frac{\bar{R}}{\mathcal{M}_{s}^{2}}\right)}-1}{\square_{s}-\frac{2\bar{R}}{3\mathcal{M}_{s}^{2}}}\,. (3.12)

Following the standard procedure for getting the tensor power spectrum and its tilt one yields [11]

𝒫𝒯\displaystyle\mathcal{P}_{\mathcal{T}} =112π21(13ϵ)e2γT(R¯2s2)|k=aH,\displaystyle=\left.\frac{1}{12\pi^{2}\mathcal{F}_{1}}\left(1-3\epsilon\right)e^{-2\gamma_{T}\left(-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\right)}\right|_{k=aH}\,, (3.13)
ntdln𝒫𝒯dlnk|k=aH\displaystyle n_{t}\equiv\left.\frac{d\ln\mathcal{P}_{\mathcal{T}}}{d\ln k}\right|_{k=aH} dln𝒫𝒯dN(1+12N)|k=aH\displaystyle\approx\left.-\frac{d\ln\mathcal{P}_{\mathcal{T}}}{dN}\left(1+\frac{1}{2N}\right)\right|_{k=aH}
32N2(2N+32N2)R¯2s2γT()(R¯2s2)|k=aH,\displaystyle\approx\left.-\frac{3}{2N^{2}}-\left(\frac{2}{N}+\frac{3}{2N^{2}}\right)\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\gamma_{T}^{(\dagger)}\left(-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\right)\right|_{k=aH}\,,

The crucial difference here in comparison with local R2R^{2} model is that the tensor power spectrum is scaled by an exponential factor of γT\gamma_{T} evaluated at the pole of the tensor mode ¯s=R¯6s2\bar{\square}_{s}=\frac{\bar{R}}{6\mathcal{M}_{s}^{2}} and accordingly tensor tilt also gets modified with a term proportional to the derivative of γT\gamma_{T} at ¯s=R¯6s2\bar{\square}_{s}=\frac{\bar{R}}{6\mathcal{M}_{s}^{2}}.

The ratio of tensor-to-scalar power spectra is given by [11]

r=12N2e2γT(R¯2s2)|k=aH.r=\left.\frac{12}{N^{2}}e^{-2\gamma_{T}\left(\frac{-\bar{R}}{2\mathcal{M}_{s}^{2}}\right)}\right|_{k=aH}\,. (3.14)

In the local R2R^{2} model r=12N2=3(1ns)2r=\frac{12}{N^{2}}=3(1-n_{s})^{2} as it follows from the original computation of scalar and tensor power spectra generated during inflation provided in [73]. We can clearly notice that if γT(R¯2s2)=0\gamma_{T}\left(\frac{-\bar{R}}{2\mathcal{M}_{s}^{2}}\right)=0 one exactly recovers the same prediction as in the local R2R^{2} model. A deviation from the local R2R^{2} model happens if

γT(R¯2s2)|k=aHO(1).\gamma_{T}\left(\frac{-\bar{R}}{2\mathcal{M}_{s}^{2}}\right)\Bigg{|}_{k=aH}\sim O\left(1\right)\,. (3.15)

From (3.14) and (3.13) we can see that the values of (r,nt)\left(r,\,n_{t}\right) explicitly depend on the ratio of scalar curvature to the square of s2\mathcal{M}_{s}^{2} and the choice of entire function γT(s)\gamma_{T}\left(\square_{s}\right). The scalar curvature R¯\bar{R} during inflation can be read from (3.10). The two observables (r,nt)\left(r,\,n_{t}\right) can be fixed by the parameter space

{R¯2s2,γT(R¯2s2),γT()(R¯2s2)}|k=aH.\Bigg{\{}-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}},\,\gamma_{T}\left(-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\right),\,\gamma_{T}^{(\dagger)}\left(-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\right)\Bigg{\}}\Bigg{|}_{k=aH}\,. (3.16)

From the latest Planck 2018 data [58] we can deduce the following constraint (for N=55N_{\ast}=55)

r<0.064γT(R¯2s2)|k=aH>1.32.r<0.064\implies\gamma_{T}\left(-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\right)\Bigg{|}_{k=aH}>-1.32\,. (3.17)

We have no constraint on the tensor tilt however. Imposing a heuristic limit on tensor tilt 4nt4-4\lesssim n_{t}\lesssim 4 we get a constraint on parameter space (3.16) as

2NR¯2s2γT()(R¯2s2)|k=aH2N.-2N\lesssim-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\gamma_{T}^{(\dagger)}\left(-\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\right)\Bigg{|}_{k=aH}\lesssim 2N\,. (3.18)

To illustrate novel configurations which become accessible thanks to the presence of the AID operators let us consider the following form of the entire function

γT(s2R¯3s2)(s2R¯3s2)[α13(sR¯6s2)+α2(s2R¯3s2)].\gamma_{T}\left(\square_{s}-\frac{2\bar{R}}{3\mathcal{M}_{s}^{2}}\right)\approx\left(\square_{s}-\frac{2\bar{R}}{3\mathcal{M}_{s}^{2}}\right)\left[\frac{\alpha_{1}}{3}\left(\square_{s}-\frac{\bar{R}_{\ast}}{6\mathcal{M}_{s}^{2}}\right)+\alpha_{2}\left(\square_{s}-\frac{2\bar{R}}{3\mathcal{M}_{s}^{2}}\right)\right]\,. (3.19)

where the approximation sign means that contributions of higher orders of the d’Alembertian operator are negligible when one evaluates this entire function and its derivative at s=R¯6s2\square_{s}=\frac{\bar{R}}{6\mathcal{M}_{s}^{2}}. From the point of view of the UV completion the entire function here should provide a suppression of the propagator at large momenta and as such one should worry about the sign of the coefficient in front of the highest degree of the d’Alembertian operator [75]. On the other hand this implies that given there are terms O(s)O(\square_{s}) in (3.19) one can freely choose signs of parameters α1,2\alpha_{1,2}.

In this particular example we see that rr depends on α2\alpha_{2} and s\mathcal{M}_{s} because the coefficient of α1\alpha_{1} vanishes when evaluated at s=R¯6s2\square_{s}=\frac{\bar{R}}{6\mathcal{M}_{s}^{2}}. But the tensor tilt ntn_{t} depends on (α1,α2,s)\left(\alpha_{1},\,\alpha_{2},\,\mathcal{M}_{s}\right). In figures Figs. 2 and 3 we present the predictions for (r,nt)\left(r,\,n_{t}\right) for some values of parameter space (α1,α2)\left(\alpha_{1},\,\alpha_{2}\right) and we take sH\mathcal{M}_{s}\gtrsim H following the hierarchy in the scheme Fig. 1.

Refer to caption
Refer to caption
Figure 2: In the above plots, we depict (r,nt)\left(r,\,n_{t}\right) versus the scale of non-locality s\mathcal{M}_{s} for the form-factor (3.19) and N=55N_{\ast}=55. We have taken α2=0.52,0.28,0.13,0.065\alpha_{2}=0.52,0.28,0.13,0.065 (corresponding to brown full and dashed, black full and dashed lines respectively). In the right panel the lines with nt>0n_{t}>0 correspond to α1=2.5\alpha_{1}=2.5 and the lines with nt<0n_{t}<0 correspond to α1=2.5\alpha_{1}=-2.5. In both the plots, we can notice that in the limit sMp\mathcal{M}_{s}\to M_{p} we recover the predictions of the local R2R^{2} model.
Refer to caption
Refer to caption
Figure 3: In the above plots, we depict (r,nt)\left(r,\,n_{t}\right) versus the scale of non-locality s\mathcal{M}_{s} for the form-factor (3.19) and N=55N_{\ast}=55. We have taken α2=0.06,0.04,0.025,0.01\alpha_{2}=-0.06,-0.04,-0.025,-0.01 (corresponding to solid red, dashed red, solid blue and dashed blue lines respectively). In the right panel the lines with nt>0n_{t}>0 correspond to α1=2.5\alpha_{1}=2.5 and the lines with nt<0n_{t}<0 correspond to α1=2.5\alpha_{1}=-2.5. In both the plots, we can notice that in the limit sMp\mathcal{M}_{s}\to M_{p} we recover the predictions of the local R2R^{2} model.

Given we have free parameter space related to the form-factor between the Weyl tensors in the action, the predictions of the non-local R2R^{2}-like model for (r,ns,nt)\left(r,\,n_{s},\,n_{t}\right) lies within the future of scope of CMB experiments. Detection of primordial gravitational waves in the view of future CMB experiments such as BICEP2/Keck, CMB S-4, SO, LiteBIRD and PICO can fix the form-factor and the scale of non-locality [76, 77, 78, 79, 80, 81, 82, 83]. In figure Fig. 4 we compare the predictions of non-local R2R^{2}-like model with the local R2R^{2} model in (ns,r)\left(n_{s},\,r\right) plane.

Refer to caption
Figure 4: In the above plot, we depict the predictions of non-local R2R^{2}-like inflation in the (ns,r)(n_{s},r) plane of the latest CMB S-4 science paper about future forecast of detecting BB-modes [79].

Even though rr and ntn_{t} are not detected so far, the latest Planck data presents a likelihood analysis for the values of ntn_{t} which is an important parameter for inflationary setup as shown in figure Fig. 5. In the single field models of inflation we get r=8ntr=-8n_{t} (which holds for the local R2R^{2} model as well) and this is in general proposed to be a crucial test. In multifield models or non-canonical models of inflation this consistency relation gets violated due to isocurvature perturbations and/or non-zero sound speed of curvature perturbation [84, 85]. In many of the inflationary setups (except some special cases [86]) tensor tilt is found to be negative and it is regarded as a unique test for inflationary framework given that some alternative frameworks to the inflationary paradigm predict a blue tilt of tensor fluctuations [87].

As it becomes obvious in our case of a non-local R2R^{2}-like inflation we can achieve the blue tilt. Therefore, we stress that a detection of a blue tensor tilt cannot rule out inflation in general.

Refer to caption
Figure 5: In the above plot, we note that the predictions of non-local R2R^{2}-like inflation can be anywhere within the likelihood projected (nt,r)(n_{t},r) plane of latest Planck 2018 [78].

4 Third order perturbations and inflationary bi-spectrum

In this section, we compute the 3rd variation of the action (2.1) around (2.4) within the slow-roll approximation of the local R2R^{2} inflationary solution. Then we compute the inflationary bi-spectrum of AID gravity and we especially quantify non-local corrections to the local R2R^{2} gravity up to the leading order in the slow-roll approximation. Using the standard methods, the expectation value of 3-point correlations can be computed as [60, 88, 64, 89, 90]

(𝐤𝟏)(𝐤𝟐)(𝐤𝟑)=iτea𝑑τ0|[(τe,𝐤𝟏)(τe,𝐤𝟐)(τe,𝐤𝟑),Hint]|0,\langle\mathcal{R}\left(\mathbf{k_{1}}\right)\mathcal{R}\left(\mathbf{k_{2}}\right)\mathcal{R}\left(\mathbf{k_{3}}\right)\rangle=-i\int_{-\infty}^{\tau_{e}}ad\tau\langle 0|[\mathcal{R}(\tau_{e},\,\mathbf{k_{1}})\mathcal{R}(\tau_{e},\,\mathbf{k_{2}})\mathcal{R}(\tau_{e},\,\mathbf{k_{3}}),\,H_{int}]|0\rangle\,, (4.1)

where 𝒌i\boldsymbol{k}_{i} are wave vectors and HintH_{int} is the interaction Hamiltonian. It is related to a perturbation of the Lagrangian (2.1) expanded up to the 3rd order in curvature perturbations (3\mathcal{L}_{3}) as Hint3H_{int}\approx-\mathcal{L}_{3} that is a valid approximation during slow-roll inflationary regime [60, 64]. The integral (4.1) describes non-linear evolution of inflationary perturbations produced in the adiabatic vacuum initial state which we compute in the limit when cosmological scales exit the Hubble radius. Since during quasi-de Sitter expansion τ1aH\tau\approx-\frac{1}{aH}, it is a good approximation to calculate the integral in the limit τe0\tau_{e}\to 0 [64]. In the Fourier space, the three-point correlation function of curvature perturbations is defined as

(𝐤𝟏)(𝐤𝟐)(𝐤𝟑)=(2π)3δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)(k1,k2,k3),\displaystyle\langle\mathcal{R}\left(\mathbf{k_{1}}\right)\mathcal{R}\left(\mathbf{k_{2}}\right)\mathcal{R}\left(\mathbf{k_{3}}\right)\rangle=\left(2\pi\right)^{3}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\mathcal{B}_{\mathcal{R}}\left(k_{1},k_{2},k_{3}\right)\,, (4.2)

where B(k1,k2,k3)B_{\mathcal{R}}\left(k_{1},k_{2},k_{3}\right) is called the bi-spectrum and |𝒌𝒊|=ki|\boldsymbol{k_{i}}|=k_{i}. Due to the translational invariance, the total momentum 𝐊=𝐤𝟏+𝐤𝟐+𝐤𝟑\mathbf{K}=\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}} is conserved. Scale invariance and rotational invariance imply that the 3-point function B(k1,k2,k3)B_{\mathcal{R}}\left(k_{1},\,k_{2},\,k_{3}\right) has to be homogeneous function of degree 6-6 that means

B(λk1,λk2,λk3)=λ6B(k1,k2,k3).B_{\mathcal{R}}\left(\lambda k_{1},\,\lambda k_{2},\,\lambda k_{3}\right)=\lambda^{-6}B_{\mathcal{R}}\left(k_{1},\,k_{2},\,k3\right)\,. (4.3)

and the number of independent variables of the 3-point function reduces to 2 which are the ratios k2k1,k3k1\frac{k_{2}}{k_{1}},\,\frac{k_{3}}{k_{1}} [91].

In the template of CMB observations, non-linear corrections in the curvature perturbation expressed as [92, 93]

=g35fNL(g2g2),\mathcal{R}=\mathcal{R}_{g}-\frac{3}{5}f_{NL}\left(\mathcal{R}_{g}^{2}-\langle\mathcal{R}_{g}\rangle^{2}\right)\,, (4.4)

where g\mathcal{R}_{g} is the Gaussian random field and the fNLf_{NL} is the non-linearity parameter555The factor of 35\frac{3}{5} comes from the relation between curvature perturbation \mathcal{R} and the Bardeen variable Φ\Phi (Newtonian potential) during matter domination which reads as =53Φ\mathcal{R}=-\frac{5}{3}\Phi,. Then

B(k1,k2,k3)=4π41iki3𝒫2A(k1,k2,k3),B_{\mathcal{R}}\left(k_{1},k_{2},k_{3}\right)=4\pi^{4}\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}A_{\mathcal{R}}\left(k_{1},\,k_{2},\,k_{3}\right)\,, (4.5)

where A(k1,k2,k3)A_{\mathcal{R}}\left(k_{1},\,k_{2},\,k_{3}\right) is called the amplitude of bi-spectrum. In the momentum space, fNLf_{NL} is a function of three wave numbers and it is related to the amplitude of bi-spectrum as

fNL=56A(k1,k2,k3)iki3.f_{NL}=-\frac{5}{6}\frac{A_{\mathcal{R}}\left(k_{1},\,k_{2},\,k_{3}\right)}{\sum_{i}k_{i}^{3}}\,. (4.6)

The fNLf_{NL} defined above is often called as the reduced bi-spectrum.

We calculate below the action (2.1) in the cubic order in curvature perturbations and the corresponding 3-point correlations (4.1) up to the leading order in the slow-roll approximation using the following procedure666Usually, in scalar field models of inflation, the 3rd order action is computed using the Arnowitte-Deser-Misner (ADM) formalism where spatial slicing (reparametrizing spatial coordinates) is chosen such that perturbations of a scalar field always vanish. In this gauge choice the spatial part of the metric becomes e2δijdxidxje^{2\mathcal{R}}\delta_{ij}dx^{i}dx^{j} [88]. We however do computations in the Jordan frame and thus do not require such a gauge choice related to slicing of a 3-dimensional metric. We stick to a more convenient in our case gauge invariant approach which leads to the gauge invariant metric (3.1). This corresponds to choosing the Newtonian gauge.. We presented details of computations and results in the Appendix C.

  • We use the fact that Φ+Ψ0\Phi+\Psi\approx 0 during the inflationary period as it was shown in [10, 11] and noted in the previous Section.

  • From the second order action for canonical variable Υ\Upsilon, we can deduce that

    sΨM2s2ΨsnΨ(Ms)2nΨ.\square_{s}\Psi\approx\frac{M^{2}}{\mathcal{M}_{s}^{2}}\Psi\implies\square_{s}^{n}\Psi\approx\left(\frac{M}{\mathcal{M}_{s}}\right)^{2n}\Psi\,. (4.7)

    within the quasi-de Sitter approximation. In other words, we treat Ψ\Psi as an eigenmode of the d’Alembertian in the computation of the 3rd order action up to the leading order slow-roll approximation. To perform this step, first we must eliminate the terms in the 3rd order action which are proportional to linearized equations of motion via a suitable field redefinition [60].

  • We carefully keep terms up to the leading order in ϵ\epsilon and neglect higher order contributions treating ϵconst\epsilon\approx\mathrm{const}. In this regard, to convert the 3rd order action in Ψ\Psi into curvature perturbation \mathcal{R}, we make substitution Ψϵ\Psi\approx-\epsilon\mathcal{R} which follows from (3.8).

  • Using the following approximations, we can bring the 3rd order action into a convenient form to compute 3-point correlations (4.1)

    ¯s\displaystyle\bar{\square}_{s}\mathcal{R}\approx M2s2\displaystyle\,\frac{M^{2}}{\mathcal{M}_{s}^{2}}\mathcal{R}\implies 𝒪(¯s)\displaystyle\mathcal{O}\left(\bar{\square}_{s}\right)\mathcal{R}\approx 𝒪(M2s2)\displaystyle\,\mathcal{O}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\mathcal{R}\, (4.8)
    ¯s\displaystyle\bar{\square}_{s}\mathcal{R}^{\prime}\approx (¯ss2+R¯4s2)\displaystyle\,\left(\frac{\bar{\square}_{s}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\mathcal{R}^{\prime}\implies 𝒪(¯s)\displaystyle\mathcal{O}\left(\bar{\square}_{s}\right)\mathcal{R}^{\prime}\approx 𝒪(M2s2+R¯4s2),\displaystyle\,\mathcal{O}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\mathcal{R}^{\prime}\,,

    where 𝒪(s)\mathcal{O}\left(\square_{s}\right) can be any analytic non-local operator which can be Taylor expanded in terms of d’Alembert operators. The second relation above is the result of the following general commutation relation [94]

    μsϕ=sμϕRμνs2νϕ.\nabla_{\mu}\square_{s}\phi=\square_{s}\nabla_{\mu}\phi-\frac{R_{\mu\nu}}{\mathcal{M}_{s}^{2}}\nabla^{\nu}\phi\,. (4.9)

    where ϕ\phi is a scalar. In the slow-roll approximation, R¯μνR¯4gμν\bar{R}_{\mu\nu}\approx\frac{\bar{R}}{4}g_{\mu\nu}, so we can approximate it as

    μF(s)ϕ\displaystyle\nabla_{\mu}F(\square_{s})\phi\approx (sR4s2)μϕ.\displaystyle\,\mathcal{F}\left(\square_{s}-\frac{R}{4\mathcal{M}_{s}^{2}}\right)\nabla_{\mu}\phi\,. (4.10)
  • We must be careful when applying the quasi-de Sitter approximation, especially when infinite derivatives are acting on a quantity. For example, the background Ricci scalar should not be treated as a constant until all the infinite tower of d’Alembertians are applied, otherwise we might end up with a zero contribution. As a consequence we would miss some terms when collecting next order non-zero contributions. For example, let us consider the following term

    d4xg¯δRδ(s)δR4ϵ2d4xg¯R¯n=0fnl=0n1¯slδs¯snl1R¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta R\delta\mathcal{F}\left(\square_{s}\right)\delta R\approx 4\epsilon^{2}\int d^{4}x\sqrt{-\bar{g}}\bar{R}\mathcal{R}\sum_{n=0}^{\infty}f_{n}\sum_{l=0}^{n-1}\bar{\square}_{s}^{l}\delta\square_{s}\bar{\square}_{s}^{n-l-1}\bar{R}\mathcal{R}\, (4.11)
    R¯=const4ϵ2d4xg¯R¯δs𝒵1(¯s)R¯=R¯=const0.\displaystyle\overset{\bar{R}=\mathrm{const}}{\approx}4\epsilon^{2}\int d^{4}x\sqrt{-\bar{g}}\bar{R}\mathcal{R}\delta\square_{s}\mathcal{Z}_{1}\left(\bar{\square}_{s}\right)\bar{R}\mathcal{R}\overset{\bar{R}=\mathrm{const}}{=}0\,.

    Looking carefully at the above derivation, we can see that passing from the first line to the second one, our assumption of approximating R¯const\bar{R}\approx\mathrm{const} can be perfectly justified for every action of the d’Alembert operator, but using the same approximation in the next step would give us a null result due to the fact that 𝒵1(¯s)=R()(M2s2)=0\mathcal{Z}_{1}\left(\bar{\square}_{s}\right)\mathcal{R}=\mathcal{F}^{(\dagger)}_{R}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\mathcal{R}=0 that follows from (2.6). Thus, we do not treat R¯=const\bar{R}=\mathrm{const} in the second line, rather we apply the background solution ¯R¯=M2R¯\bar{\square}\bar{R}=M^{2}\bar{R} and R¯˙2R¯Hϵ\dot{\bar{R}}\approx-2\bar{R}H\epsilon, and then we capture next order terms in the slow-roll approximation that provides us with new interactions of curvature perturbations and leads to a non-zero contribution to the 3-point function (c.f. (C.13)). The crucial lesson here is if any result of a computation gives zero, we must go to next to leading order in slow-roll, as far as we want to find a non-zero answer.

  • In our approach, perturbed modes which began in the adiabatic vacuum state when being deep inside the Hubble radius during inflation are evaluated when they left this region (rigorously speaking, after some amount of e-folds, large but still much less than H2/|H˙|H^{2}/|\dot{H}|, when they had reached their constant value in the super-Hubble regime). Given the fact the leading mode of curvature perturbations remains constant after that as far as kaHk\ll aH, the three point correlations of \mathcal{R} do not evolve there, too. This means that they keep information of primordial interactions of scalar modes during the period <τ<τe-\infty<\tau<\tau_{e} where τe1K\tau_{e}\sim-\frac{1}{K} is a (conformal) time after few e-foldings of the Hubble radius exit [95].

Using the above steps, we write below the result of a long and tedious computation presented in the Appendix C. Our obtained cubic order action in \mathcal{R} of AID gravity in the leading order slow-roll approximation is

δ(3)S(S)=\displaystyle\delta^{(3)}S_{(S)}= 4ϵMp2dτd3x{T1+T22+T323\displaystyle 4\epsilon M_{p}^{2}\int d\tau d^{3}x\Bigg{\{}T_{1}\mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R}+T_{2}\mathcal{R}\mathcal{R}^{\prime 2}+T_{3}\mathcal{H}^{2}\mathcal{R}^{3} (4.12)
+\displaystyle+ T4+T51+T613+T72},\displaystyle T_{4}\mathcal{H}\mathcal{R}\mathcal{R}\mathcal{R}^{\prime}+T_{5}\mathcal{H}^{-1}\nabla\mathcal{R}\cdot\nabla\mathcal{R}\mathcal{R}^{\prime}+T_{6}\mathcal{H}^{-1}\mathcal{R}^{\prime 3}+T_{7}\mathcal{H}^{-2}\mathcal{R}^{\prime}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}\Bigg{\}}\,,

where TiT_{i}’s are dimensionless constants which can be read from (C.46). Here we present the final result for the amplitude of bi-spectrum after numerous simplifications and neglecting terms that are higher order in slow-roll:

A(k1,k2,k3)=\displaystyle A_{\mathcal{R}}\left(k_{1},\,k_{2},\,k_{3}\right)= (2ϵ+3ϵ24)A1+(2ϵ+3ϵ24)A2ϵ22A3\displaystyle\,-\left(2\epsilon+\frac{3\epsilon^{2}}{4}\right)A_{1}+\left(2\epsilon+\frac{3\epsilon^{2}}{4}\right)A_{2}-\frac{\epsilon^{2}}{2}A_{3} (4.13)
+R¯Mp2ϵ3TNL[163ϵA232A4+2A52A6+163ϵA7]\displaystyle+\frac{\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\Bigg{[}\frac{16}{3}\epsilon A_{2}-32A_{4}+2A_{5}-2A_{6}+\frac{16}{3}\epsilon A_{7}\Bigg{]}
+4R¯2Mp2s2ϵ4R()(R¯4s2)(A2+13A7),\displaystyle+\frac{4\bar{R}^{2}}{M_{p}^{2}\mathcal{M}_{s}^{2}}\epsilon^{4}\mathcal{F}^{(\dagger)}_{R}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Bigg{(}A_{2}+\frac{1}{3}A_{7}\Bigg{)}\,,

where the terms AiA_{i} indicate the contributions from 8 types of interactions of curvature perturbations which can be read from (C.37) to (C.44)

A1=\displaystyle A_{1}= 2𝒌1𝒌2[Kk1k2+k2k3+k3k1Kk1k2k3K2]+perms,\displaystyle 2\boldsymbol{k}_{1}\cdot\boldsymbol{k}_{2}\left[K-\frac{k_{1}k_{2}+k_{2}k_{3}+k_{3}k_{1}}{K}-\frac{k_{1}k_{2}k_{3}}{K^{2}}\right]+\textrm{perms}\,, (4.14)
A2=\displaystyle A_{2}= 2k12k22K+2k12k22k3K2+perms,\displaystyle\frac{2k_{1}^{2}k_{2}^{2}}{K}+\frac{2k_{1}^{2}k_{2}^{2}k_{3}}{K^{2}}+\textrm{perms}\,,
A3=\displaystyle A_{3}= K33+2Kk1k2+k1k2k33+perms\displaystyle-\frac{K^{3}}{3}+2Kk_{1}k_{2}+\frac{k_{1}k_{2}k_{3}}{3}+\text{perms}\,
A4=\displaystyle A_{4}= k32[4K32k1k2K2k1+2k23]+perms,\displaystyle k_{3}^{2}\left[-\frac{4K}{3}-\frac{2k_{1}k_{2}}{K}-\frac{2k_{1}+2k_{2}}{3}\right]+\text{perms}\,,
A5=\displaystyle A_{5}= 2(𝒌1𝒌2)k32[2K+2k1+2k2K2+4k1k2K3]+perms,\displaystyle 2\left(\boldsymbol{k}_{1}\cdot\boldsymbol{k}_{2}\right)k_{3}^{2}\left[\frac{2}{K}+\frac{2k_{1}+2k_{2}}{K^{2}}+\frac{4k_{1}k_{2}}{K^{3}}\right]+\text{perms}\,,
A6=\displaystyle A_{6}= 12k12k22k32K3,\displaystyle\frac{12k_{1}^{2}k_{2}^{2}k_{3}^{2}}{K^{3}}\,,
A7=\displaystyle A_{7}= (𝒌2𝒌3)k12k32[2K36k2K4]+perms,\displaystyle\left(\boldsymbol{k}_{2}\cdot\boldsymbol{k}_{3}\right)k_{1}^{2}k_{3}^{2}\left[-\frac{2}{K^{3}}-\frac{6k_{2}}{K^{4}}\right]+\text{perms}\,,

where K=k1+k2+k3K=k_{1}+k_{2}+k_{3} and

TNL\displaystyle T_{\textrm{NL}} =[R(M2s2+R¯4s2)1]|K=aH\displaystyle=\Bigg{[}\mathcal{F}_{R}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)-\mathcal{F}_{1}\Bigg{]}\Bigg{|}_{K=aH} (4.15)
[R(R¯4s2)1+ϵR¯8s2R()(R¯4s2)]|K=aH.\displaystyle\approx\Bigg{[}\mathcal{F}_{R}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)-\mathcal{F}_{1}+\epsilon\frac{\bar{R}}{8\mathcal{M}_{s}^{2}}\mathcal{F}^{(\dagger)}_{R}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Bigg{]}\Bigg{|}_{K=aH}\,.

The non-Gaussianity parameter fNLf_{NL} can be obtained by substituting (4.13) in (4.6).

In the AID gravity, we can qualitatively see that we depart from the local theory due to the additional non-local interactions of the curvature perturbation listed from (C.40) to (C.45). This can for example imply that the long wavelength mode that is exited the Hubble radius can strongly interact with the short wavelength mode that is crossing the Hubble radius. Although this effect is present in the case of standard single field inflation [60, 96], it is significantly suppressed by slow-roll. Enhanced non-Gaussianities beyond the standard single field only known to occur in the context of non-canonical and/or multifield models of inflation [96, 97]. Our case significantly differs from this so far well known physics of inflation. We have obtained enhanced non-Gaussianities due to non-localities present in AID gravity leading to non-local interactions of the only propagating scalar mode of the theory777Note that the sound speed of curvature perturbation in our case is unity, so our result is fundamentally very different from single field non-canonical models [96].. A trivial observation we can make is that the contributions (C.40) to (C.45) do not appear in local theory. From the observational point of view, three configurations of reduced bi-spectrum fNLf_{NL} for squeezed (k10,k2=k3=k2)(k_{1}\to 0,k_{2}=k_{3}=\frac{k}{2}), equilateral (k1=k2=k3=k)(k_{1}=k_{2}=k_{3}=k) and orthogonal (k1=k2=k/4,k3=k/2)(k_{1}=k_{2}=k/4,k_{3}=k/2) are the most relevant.

We can easily verify that our computation of bi-spectrum reduces to the result of the local R2R^{2} model in the limit TNL0T_{\textrm{NL}}\to 0 and R()(R¯4s2)0\mathcal{F}_{R}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\to 0. Especially, we can verify here the result of squeezed shape (k1k2k3k_{1}\ll k_{2}\sim k_{3})

fNL512(1ns)+O(ϵ2),f_{NL}\approx\frac{5}{12}\left(1-n_{s}\right)+O\left(\epsilon^{2}\right)\,, (4.16)

which is exactly the Maldacena consistency relation found in the single canonical scalar field inflation [60]. Note here that the Maldacena consistency relation was alternatively derived on kinematic grounds and was proven to be valid in general for single clock slow-roll models of inflation [61, 63]. The proof is based on the fact that in the standard slow-roll inflation the long wavelength mode that is far outside of the horizon effectively implies a renormalization of the background field and the corresponding rescaling of the short wavelength mode [61, 88]. However, it is known that even in the case of a single field slow-roll inflation, the consistency relation can be violated if the second, time dependent, mode of curvature perturbations {\cal R} (often dubbed as the decaying mode) becomes important temporarily, so that the total {\cal R} can not be considered as a constant during this period [98, 99, 100]. In this connection, there is a very instructive calculation of the bi-spectrum for the single field inflationary model [101] that has ns=1n_{s}=1 exactly, i.e. outside the slow-roll approximation. In this case, contrary to the zero non-Gaussianity parameter value predicted by the Maldacena consistency relation, fNLf_{NL} is non-zero and strongly (k12\propto k_{1}^{2}) scale-dependent [98]. This example shows also that the violation of the consistency condition for the bi-spectrum does not necessarily lead to the appearance of any new features in the spectrum itself.

In our case, the framework differs from standard single clock models. Even though still we have the slow-roll regime, the non-local nature of gravity leads to considerable effects at non-linear level where we have new scale-dependent interactions between different modes depending on the background scalar curvature and the form factor R()\mathcal{F}_{R}\left(\square\right). In the case of local R2R^{2} theory interactions between different modes is slow-roll suppressed and leads to the consistency relation [60] but in the case of non-local R2R^{2}-like inflation, the non-linear evolution of the curvature perturbation gets a significant scale dependence due to non-locality, especially around the scales of Hubble radius exit kaHk\sim aH when R¯s2\bar{R}\gtrsim\mathcal{M}_{s}^{2}, leading to violation of consistency relation. This means that we get enhanced scale dependent interactions between the intermediate modes \mathcal{R} with kaHk\sim aH and long wavelength modes with kaHk\ll aH. Being more precise, at the second order action level (3.5) we can perform a field redefinition and do canonical normalization that gives the nearly scale invariant power spectrum that matches with the local theory exactly. At the level of the third order action (4.12) we invoke the effects of strong scale dependent non-local interactions (especially those interactions with time derivatives of different curvature modes888Interactions without any time derivatives of curvature perturbation are slow-roll suppressed, therefore, we have dropped them in our computation since we are interested in only leading order contributions.) between different modes in the next to leading order approximation in slow-roll as discussed around (4.7)-(4.11) and in Appendices B and C. It is crucial to emphasize that the key role in the modification of the consistency relation comes from these scale-dependent interaction terms whose effects are negligible in the regime when R¯s2\bar{R}\ll\mathcal{M}_{s}^{2} but relevant in the regimes of R¯s2\bar{R}\gtrsim\mathcal{M}_{s}^{2}. We can see that the presence of non-local interactions of the different modes in our case gives a result for non-Gaussianity somewhat similar to one in a quasi-single field inflation [70] where heavy fields with masses of the order of Hubble parameter interact during inflation with curvature perturbation. These novel non-local interactions result in various scale dependent shapes (C.40)-(C.45) which do not resembles ones known in the literature [91]. Indeed, these non-standard interactions yield the violation of the consistency relation.

Below we discuss standard shapes of the reduced bi-spectrum which are squeezed, equilateral and orthogonal configurations. As explained above the shapes in question can be discriminated in the non-local R2R^{2}-like inflation in comparison to the original local R2R^{2} model as well as other general scalar field(s) inflationary scenarios [91, 88, 66] due to non-local nature of gravity. Considering the general structure of the form-factor in (3.3), we obtain three shapes of reduced bi-spectrum fNLf_{NL} in the leading order approximation as

fNLsq\displaystyle f_{NL}^{sq} {512(1ns)23ϵ2[eγS(R¯4s2)1]4R¯s2ϵ3eγS(R¯4s2)γS()(R¯4s2)}|k=aH\displaystyle\approx\Bigg{\{}\frac{5}{12}\left(1-n_{s}\right)-23\epsilon^{2}\left[e^{\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)}-1\right]-\frac{4\bar{R}}{\mathcal{M}_{s}^{2}}\epsilon^{3}e^{\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)}\gamma_{S}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Bigg{\}}\Bigg{|}_{k=aH}\, (4.17)
fNLeq\displaystyle f_{NL}^{eq} {512(1ns)49ϵ2[eγS(R¯4S2)1]9R¯s2ϵ3eγS(R¯4s2)γS()(R¯4s2)}|k=aH\displaystyle\approx\Bigg{\{}\frac{5}{12}\left(1-n_{s}\right)-49\epsilon^{2}\left[e^{\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{S}^{2}}\right)}-1\right]-\frac{9\bar{R}}{\mathcal{M}_{s}^{2}}\epsilon^{3}e^{\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)}\gamma_{S}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Bigg{\}}\Bigg{|}_{k=aH}
fNLortho\displaystyle f_{NL}^{ortho} {512(1ns)43ϵ2[eγS(R¯4s2)1]22R¯3s2ϵ3eγS(R¯4s2)γS()(R¯4s2)}|k=aH.\displaystyle\approx\Bigg{\{}\frac{5}{12}\left(1-n_{s}\right)-43\epsilon^{2}\left[e^{\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)}-1\right]-\frac{22\bar{R}}{3\mathcal{M}_{s}^{2}}\epsilon^{3}e^{\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)}\gamma_{S}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Bigg{\}}\Bigg{|}_{k=aH}\,.

From the above result for fNLf_{NL} we can deduce that the reduced bispectrum in the non-local R2R^{2}-like inflation depends not only on the slow-roll parameter ϵ\epsilon but also on the background quasi-de Sitter curvature R¯\bar{R} and the non-local interactions that arise due to the perturbative expansion of form factor R(¯)\mathcal{F}_{R}\left(\bar{\square}\right) as discussed above in this Section. We can also notice that our results for the reduced bispectrum in (4.17) indicate a possible running of reduced bispectrum fNLf_{NL}. For the time being we postpone the corresponding study for future investigations. In (4.17), we have presented only the leading order terms in ϵ\epsilon from both the local and non-local contributions (c.f., (4.13)). The parameter space that determines the different shapes of reduced bipsectrum (4.17) is

{R¯4s2,γS(R¯4s2),γS()(R¯4s2)}|k=aH\Biggl{\{}\frac{\bar{R}}{4\mathcal{M}_{s}^{2}},\,\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right),\,\gamma_{S}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Biggr{\}}\Bigg{|}_{k=aH} (4.18)

From (4.17) we notice that if γS(R¯4s2)|k=aH=γS()(R¯4s2)|k=aH=0\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Big{|}_{k=aH}=\gamma_{S}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\Bigg{|}_{k=aH}=0, we recover the result of local R2R^{2} theory in the leading order [88].

To see quantitatively the measure of non-Gaussianities, let us consider the following couple of choices of entire function γS\gamma_{S} which are compatible with (3.4). Moreover we would require an entire function to be compatible with (A.13) which reflects an assumption that the higher derivative form-factors do not break the slow-roll approximation scheme (see Appendix A.2 for a more detailed explanation).

Our first simplest choice of entire function is as below

γS(s)β1s(sM2s2).\gamma_{S}\left(\square_{s}\right)\approx\beta_{1}\square_{s}\left(\square_{s}-\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\,. (4.19)

The second choice we consider below is higher order in d’Alembertian with a property of γS(R¯4s2)=0\gamma_{S}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)=0. This implies the second terms in (4.17) vanish but the 3rd terms can be present and dominate the local contribution depending on the scale of non-locality

γS(s)β2(sM2s2)(sR¯4s2)(s+R¯4s2)6.\gamma_{S}\left(\square_{s}\right)\approx\beta_{2}\left(\square_{s}-\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\left(\square_{s}-\frac{\bar{R}_{\ast}}{4\mathcal{M}_{s}^{2}}\right)\left(\square_{s}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)^{6}\,. (4.20)

As in the previous Section the approximation sign means that there are higher degree terms in the d’Alembertian operator which would guarantee the supression of the propagator at large momenta but on the other hand provide a freedom choosing signs of arameters β1,2\beta_{1,2}.

For the above form-factors (4.19) and (4.20) we plot below in figure Fig. 6 fNLf_{NL} as a function of s\mathcal{M}_{s} for squeezed, equilateral and orthogonal configurations. Plots are made for N=55N_{\ast}=55 and β1=1,β2=2\beta_{1}=1,~{}\beta_{2}=-2. We can read that for s5.6×105Mp\mathcal{M}_{s}\gtrsim 5.6\times 10^{-5}M_{p}, we are well within the bounds of (1.2). If the scale is 5.6×105Mp<s<6.5×105Mp5.6\times 10^{-5}M_{p}<\mathcal{M}_{s}<6.5\times 10^{-5}M_{p}, we get fNL±O(1)f_{NL}\sim\pm O(1). We can also notice that all fNLf_{NL} values for different configurations are negative for the case of (4.19) and positive in the case of (4.20).

Refer to caption
Figure 6: In the above plots, fNLf_{NL} versus the scale of non-locality s\mathcal{M}_{s} (in the units of MpM_{p}) is depicted for squeezed k3k1=k2k_{3}\ll k_{1}=k_{2} (blue), equilateral k1=k2=k3k_{1}=k_{2}=k_{3} (red), and orthogonal k1=2k2=2k3k_{1}=2k_{2}=2k_{3} (green) configurations for the entire functions (4.19) and (4.20) represented by solid and dashed lines respectively. Here N=55N_{\ast}=55 and β1=1,β2=2\beta_{1}=1,~{}\beta_{2}=-2. It can be seen that in the limit sMp\mathcal{M}_{s}\to M_{p}, the predictions of the local R2R^{2} model are recovered.

The crucial and significant result here is that the R2R^{2}-like inflation in AID gravity can give fNLO(1)f_{NL}\sim O(1). Moreover, the non-Gaussianity parameter can be of either sign on contrary to the local R2R^{2} model which yields only positive values. The large-scale structure observations provide a test-bed for large values of non-gaussianities [102, 103]. Detecting non-Gaussianities will fix up to some extent the scale of non-locality and the form-factor. More importantly, we obtain fNLsqO(1)f_{NL}^{sq}\sim O(1) in our case which has been only known to occur in multifield models of inflation where isocurvature perturbations appear. In our case, although we have only a curvature perturbation here which gets frozen on super-Hubble scales, corrections due to the presence of non-locality can result in fNLsqO(1)f_{NL}^{sq}\sim O(1). Similarly, detectable levels of fNLeq,fNLorthof_{NL}^{eq},\,f_{NL}^{ortho} have been so far known to be possible in non-canonical models of inflation where the sound speed of curvature perturbations is much less unity. In our case, even though the sound speed of curvature perturbations is unity during inflation, non-local interactions give us fNLeq,fNLorthoO(1)f_{NL}^{eq},\,f_{NL}^{ortho}\sim O(1). This makes the R2R^{2}-like inflation in AID gravity an interesting target with respect to future CMB data.

5 Conclusions

In this paper we have studied an embedding of the local R2R^{2} inflationary solution in the framework of a quadratic in curvatures non-local gravity with analytic infinite derivative form-factors. The essence of the present paper is the computation of the scalar non-Gaussinaities (3-point scalar correlations) and the subsequent attempt to constrain the higher-derivative form-factors based on the existing observational data.

A strong point of R2R^{2}-like inflation in the presented non-local gravity setting is that the scalar spectral index nsn_{s} remains the same as in the local R2R^{2} gravity and thus best fits the current CMB data [58]. However, the tensor-to-scalar ratio and the tensor tilt get modified from the standard consistency relation due to the addition of the Weyl tensor squared term with an analytic non-local form-factor in the action [11]. The analysis reveals that the tensor-to-scalar ratio can acquire any value from the present upper bound all the way down to 101110^{-11}. Furthermore, the tensor tilt is not sign constrained in this model a priori and can take any value in the range O(1)<nt<O(1)-O(1)<n_{t}<O(1). In particular this disregards possible claims that a sign of the tensor tilt may prove or disprove the inflation as such and moreover a possible blue tensor tilt would highly favor the model outlined in the present paper. In general the performed analysis makes the presented scenario to be a very interesting candidate to be tested within the scope of several future experiments such as BICEP2/Keck, CMB S-4, SO, LiteBIRD and PICO [76, 77, 78, 79, 80, 81, 82, 83].

As the main advance in this paper we have computed following the standard methods [60, 90] in full scalar non-Gaussianities by means of deriving the 3rd order variation of the action around the R2R^{2}-like inflationary solution up to the leading order in the slow-roll approximation. We demonstrate that the scalar bi-spectrum contribution comes only from the quadratic in Ricci scalar term. Assuming suitable form-factors which are compatible with ghost-free conditions of the theory, we have shown that this model is consistent with the current CMB data and leads to predictions that can be tested with future CMB experiments. Namely, our results show that it is possible to obtain fNLsqO(1)f_{NL}^{sq}\sim O\left(1\right) and moreover a sign of the non-Gaussianity parameter is not fixed. Usually any detection of such a large and positive non-Gaussianity is attributed to the presence of multiple scalar fields or to an effect of heavy fields giving rise to non-trivial evolution of curvature perturbations [70, 97], or to non-slow-roll inflationary scenarios [65]. Our findings present a counterexample to this common point of view since we obtain just a single adiabatic mode of scalar perturbations which can lead to detectable values of non-Gaussianity in the squeezed (local) limit due to the presence of non-local interactions already at the tree level. Furthermore, building a chance to gain large non-Gaussianity parameter of either sign seems to be a unique feature of the present model.

Moreover, R2R^{2}-like inflation in our setup would also lead to detectable non-Gaussianities in equilateral and orthogonal shapes which is again due to non-local interactions of curvature perturbations when its Fourier modes exit the Hubble radius during inflation. In turn, this presents an alternative to the occurrence of similar large non-Gaussianities in non-canonical models of inflation [62] in which the sound speed of curvature perturbations is much less than unity. We emphasize that the sound speed of curvature perturbations in our case is unity during inflation, and different non-Gaussian shapes are solely due to the effect of non-local interactions.

Therefore, any detection of fNLO(1)f_{NL}\sim O\left(1\right) or any departure from a standard single field consistency relation can be easily attributed to higher derivative effects in the early Universe. A possible negative values of would be detected non-gaussianity parameters will raise even more the chance for our analytic infinite derivative gravity modification setup to become the favorite one. In particular such effects can be put to test in the large-scale structure observations [102, 103, 104]. Also our results suggest that the shape of the form-factor R(s)\mathcal{F}_{R}\left(\square_{s}\right) can be probed by observations.

In all the instances detectable deviations from so called standard expectations for parameters are subject to the ratio of s/Mp\mathcal{M}_{s}/M_{p} which is engaged in the hierarchy with the scalaron mass as expressed in (2.8) and (2.9)

M2s2Mp2 and M2H2.M^{2}\ll\mathcal{M}_{s}^{2}\lesssim M_{p}^{2}\text{ and }M^{2}\ll H^{2}\,. (5.1)

For s\mathcal{M}_{s} approaching the Planck scale, our results reduce to the ones known from the local R2R^{2} model providing no novel detectable signatures of the model. However, the smaller is the scale of the higher derivative gravity modification, the greater is a possible departure towards large non-Gaussianities in particular. To get a more detailed picture, one needs to constrain the shapes of form-factors which is a well more complicated task requiring more theoretical thinking rather than comparison with observational data. Nevertheless, computing other types of 3-point correlations with the aim to get even more constraints from existing datasets is a very interesting question for forthcoming publications.

Acknowledgments

AK is supported by FCT Portugal investigator project IF/01607/2015. This research work was supported by grants UID/MAT/00212/2019, COST Action CA15117 (CANTATA). KSK is grateful to CMA-UBI for hospitality where part of this research work was done. KSK and AM are supported by Netherlands Organization for Scientific Research (NWO) grant number 680-91-119. AAS is supported by the RSF grant 16-12-10401. We would like to thank G. Calcagni for useful comments. KSK would like to thank J. Marto for numerous enlightening discussions and feedback and S. Maheshwari and P.D. Meerburg for useful discussions. We thank anonymous referee for useful comments.

Appendix A Equations of motion, slow-roll approximation and perturbations

The equations of motion for the action (2.1) are [16]

Eνμ\displaystyle E_{\nu}^{\mu}\equiv [Mp2+2λR(s)R]Gνμλ2RR(s)Rδνμ+2λ(μνδνμ)R(s)R\displaystyle-\left[M_{p}^{2}+2\lambda\mathcal{F}_{R}\left(\square_{s}\right)R\right]G_{\nu}^{\mu}-\frac{\lambda}{2}R\mathcal{F}_{R}\left(\square_{s}\right)R\delta_{\nu}^{\mu}+2\lambda\left(\nabla^{\mu}\partial_{\nu}-\delta_{\nu}^{\mu}\square\right)\mathcal{F}_{R}\left(\square_{s}\right)R (A.1)
+λ𝒦νμλ2δνμ(𝒦σσ+𝒦~)\displaystyle+\lambda\mathcal{K}_{\nu}^{\mu}-\frac{\lambda}{2}\delta_{\nu}^{\mu}\left(\mathcal{K}_{\sigma}^{\sigma}+\tilde{\mathcal{K}}\right)
+2λ(Rαβ+αβ)W(s)Wναβμ\displaystyle+2\lambda(R_{\alpha\beta}+\nabla_{\alpha}\nabla_{\beta})\mathcal{F}_{W}\left(\square_{s}\right)W_{\nu}^{\alpha\beta\mu}
+λ2δνμWαβλσW(s)Wαβλσ2λWαβσμW(s)Wναβσ\displaystyle+\frac{\lambda}{2}\delta_{\nu}^{\mu}W^{\alpha\beta\lambda\sigma}{\cal F}_{W}(\square_{s})W_{\alpha\beta\lambda\sigma}-2\lambda W_{\;\alpha\beta\sigma}^{\mu}{\cal{\cal F}}_{W}(\square_{s})W_{\nu}^{\alpha\beta\sigma}
+λΩWνμλ2δνμ(ΩWσσ+Ω~W)+4λΔWνμ=0.\displaystyle+\lambda\Omega_{W\nu}^{\mu}-\frac{\lambda}{2}\delta_{\nu}^{\mu}(\Omega_{W\sigma}^{\;\sigma}+\tilde{\Omega}_{W})+4\lambda\Delta_{W\nu}^{\mu}=0\,.

where

𝒦νμ=\displaystyle\mathcal{K}_{\nu}^{\mu}= 1s2n=1fRnl=0n1μslRνsnl1R,𝒦~=n=1fRnl=0n1slRsnlR\displaystyle\frac{1}{\mathcal{M}_{s}^{2}}\sum_{n=1}^{\infty}f_{Rn}\sum_{l=0}^{n-1}\partial^{\mu}\square_{s}^{l}R\partial_{\nu}\square_{s}^{n-l-1}R\,,\quad\tilde{\mathcal{K}}=\sum_{n=1}^{\infty}f_{Rn}\sum_{l=0}^{n-1}\square_{s}^{l}R\square_{s}^{n-l}R\, (A.2)
ΩWνμ=\displaystyle\Omega_{W\nu}^{\mu}= 1s2n=1fWnl=0n1slWβλσ;ναsnl1Wαβλσ;μ,Ω~W=n=1fWnl=0n1slWβλσαsnlWαβλσ\displaystyle\frac{1}{\mathcal{M}_{s}^{2}}\sum_{n=1}^{\infty}f_{W{n}}\sum_{l=0}^{n-1}\square_{s}^{l}W_{\>\>\beta\lambda\sigma;\nu}^{\alpha}\square_{s}^{n-l-1}W_{\alpha}^{\;\beta\lambda\sigma;\mu},~{}\tilde{\Omega}_{W}=\sum_{n=1}^{\infty}f_{W{n}}\sum_{l=0}^{n-1}\square_{s}^{l}W_{\>\>\beta\lambda\sigma}^{\alpha}\square_{s}^{n-l}W_{\alpha}^{\;\beta\lambda\sigma}
ΔWνμ=\displaystyle\Delta_{W\nu}^{\mu}= 1s2n=1fWnl=0n1[slWσαλβsnl1Wλ;νμσαslWσα;νλβsnl1Wλμσα];β.\displaystyle\frac{1}{\mathcal{M}_{s}^{2}}\sum_{n=1}^{\infty}f_{W{n}}\sum_{l=0}^{n-1}[\square_{s}^{l}W_{\quad\sigma\alpha}^{\lambda\beta}\square_{s}^{n-l-1}W_{\lambda;\nu}^{\;\mu\sigma\alpha}-\square_{s}^{l}W_{\quad\sigma\alpha;\nu}^{\lambda\beta\;\;}\square_{s}^{n-l-1}W_{\lambda}^{\>\mu\sigma\alpha}]_{;\beta}\,.

In the above expressions \nabla and ; denote covariant derivatives.

A.1 Slow-roll approximation

During the quasi-de Sitter expansion, R¯\bar{R} is nearly constant that means

H\displaystyle H \displaystyle\approx const,aa0eHt,\displaystyle\mathrm{const}\,,\quad a\approx a_{0}e^{Ht}\,, (A.3)
Rμνρσ\displaystyle R_{\mu\nu\rho}^{\sigma} \displaystyle\approx R12(δνσgμρδρσgμν),RνμR4δνμ,Rconst.\displaystyle\frac{R}{12}(\delta_{\nu}^{\sigma}g_{\mu\rho}-\delta_{\rho}^{\sigma}g_{\mu\nu})\,,\quad R_{\nu}^{\mu}\approx\frac{R}{4}\delta_{\nu}^{\mu},\quad R\approx\mathrm{const}. (A.4)

In terms of the conformal time, the de Sitter space-time is defined by

a1Hτ,1τ and 21τ2.a\approx-\frac{1}{H\tau}\,,\quad\mathcal{H}\approx-\frac{1}{\tau}\>\text{ and }\>\mathcal{H}^{\prime}\approx\mathcal{H}^{2}\approx\frac{1}{\tau^{2}}\,. (A.5)

Quasi-de Sitter space is a slight departure from the exact de Sitter which can be defined by the slow-roll parameter

ϵ=H˙H2M26H2=12N1.\epsilon=-\frac{\dot{H}}{H^{2}}\approx\frac{M^{2}}{6H^{2}}=\frac{1}{2N}\ll 1\,. (A.6)

where H=a˙aH=\frac{\dot{a}}{a} is the Hubble parameter, MM is the scalaron mass and N=lnaflnaN=\ln a_{f}-\ln a is the number of e-folds during inflation counted from its end (a=afa=a_{f}) backwards in time. The slow-roll parameter above is for the local R2R^{2} inflation (2.5). The following relations are useful in many of our computations

ϵ=H˙H2=12,ϵ=2(1ϵ)2′′2,\epsilon=-\frac{\dot{H}}{H^{2}}=1-\frac{\mathcal{H}^{\prime}}{\mathcal{H}^{2}}\,,\quad\epsilon^{\prime}=2\mathcal{H}\left(1-\epsilon\right)^{2}-\frac{\mathcal{H}^{\prime\prime}}{\mathcal{H}^{2}}\,, (A.7)

where H=a˙a,=aaH=\frac{\dot{a}}{a},\,\mathcal{H}=\frac{a^{\prime}}{a} are the Hubble parameter in the cosmic and conformal time respectively

R¯=\displaystyle\bar{R}= 62a2(+2)122a2,\displaystyle\frac{6\mathcal{H}^{2}}{a^{2}}\left(\mathcal{H}^{\prime}+\mathcal{H}^{2}\right)\sim\frac{12\mathcal{H}^{2}}{a^{2}}\,, (A.8)
R¯=\displaystyle\bar{R}^{\prime}= 62a2(′′22)=62a2(4ϵϵ)8R¯ϵ4M2.\displaystyle\frac{6\mathcal{H}^{2}}{a^{2}}\left(\frac{\mathcal{H}^{\prime\prime}}{\mathcal{H}^{2}}-2\mathcal{H}\right)=\frac{6\mathcal{H}^{2}}{a^{2}}\left(-4\mathcal{H}\epsilon-\epsilon^{\prime}\right)\approx-8\bar{R}\mathcal{H}\epsilon\approx-4M^{2}\mathcal{H}\,.

We note that slow-roll would also mean M2=62a2ϵ=12R¯ϵ0M^{2}=\frac{6\mathcal{H}^{2}}{a^{2}}\epsilon=\frac{1}{2}\bar{R}\epsilon\to 0 which can be easily deduced using (A.8) and (2.4) in the limit ϵ1\epsilon\ll 1. Since R¯O(ϵ)\bar{R}^{\prime}\sim{O}\left(\epsilon\right), it implies R¯′′O(ϵ2)0\bar{R}^{\prime\prime}\sim{O}\left(\epsilon^{2}\right)\approx 0.

A.2 On Φ+Ψ0\Phi+\Psi\approx 0 during quasi-de Sitter expansion

One of the prime result of [11] is that second order action of scalar perturbations in AID gravity remains the same as the one in the local R2R^{2} gravity, around the inflationary solution (2.5) that satisfies (2.4), up to the leading order in slow-roll approximation. Here we discuss this point briefly and heuristically show that non-local corrections at the second order level are indeed negligible. The exact from of second order action of AID gravity around FLRW space times that satisfy the background equation (2.4) reads as [11]

δ2S=d4xg[δlocal+12ζ𝒵2(¯s)ζ+12δWμνρσW(¯s)δWμνρσ],\delta^{2}S=\int d^{4}x\sqrt{-g}\left[\delta_{local}+\frac{1}{2}\zeta\mathcal{Z}_{2}(\bar{\square}_{s})\zeta+\frac{1}{2}\delta W_{\mu\nu\rho\sigma}\mathcal{F}_{W}(\bar{\square}_{s})\delta W^{\mu\nu\rho\sigma}\right]\,, (A.9)

where δlocal\delta_{local} is the second order variation of an action

Slocal=d4xg(MP22R+121R2),S_{local}=\int d^{4}x\sqrt{-g}\left(\frac{M_{P}^{2}}{2}R+\frac{1}{2}\mathcal{F}_{1}R^{2}\right)\,, (A.10)

and

ζ=1s2[(¯M2)δR+δR¯].\zeta=\frac{1}{\mathcal{M}_{s}^{2}}\left[\left(\bar{\square}-M^{2}\right)\delta R+\delta{\square}\bar{R}\right]\,. (A.11)

Moreover it was shown by solving perturbed trace equation of AID gravity that ζ=0\zeta=0 in the leading order in the slow-roll approximation, and this is exactly equivalent to Φ+Ψ0\Phi+\Psi\approx 0. Since the first order variations of the Weyl tensor are proportional to Φ+Ψ0\Phi+\Psi\approx 0, there will be no scalar contributions from the Weyl tensor term. As a result, we get the scalar power spectra like in the local R2R^{2} model up to the leading order corrections as we discussed in Section 3 and we can also easily get it from (A.9).

Now, we can heuristically translate this result into a condition on the form-factor R(¯s)\mathcal{F}_{R}\left(\bar{\square}_{s}\right) by computing the contributions of the second term in (A.9) in the next to leading order in the slow-roll approximation and showing them to be negligible compared to the contribution of the local term (A.10). To show this, we consider Φ+Ψ0\Phi+\Psi\approx 0 and ¯ΨM2Ψ\bar{\square}\Psi\approx M^{2}\Psi. Now calculating slow-roll corrections to the second term in (A.9), we obtain

d4xgζ𝒵2(¯s)ζ\displaystyle\int d^{4}x\sqrt{-g}\zeta\mathcal{Z}_{2}\left(\bar{\square}_{s}\right)\zeta\approx M4s4d4xgδR𝒵2(¯s)δR\displaystyle\frac{M^{4}}{\mathcal{M}_{s}^{4}}\int d^{4}x\sqrt{-g}\delta R\mathcal{Z}_{2}\left(\bar{\square}_{s}\right)\delta R (A.12)
\displaystyle\approx M4s4d4xgδRR()(M2s2)δR,\displaystyle\frac{M^{4}}{\mathcal{M}_{s}^{4}}\int d^{4}x\sqrt{-g}\delta R\mathcal{F}_{R}^{(\ddagger)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\delta R\,,

where we applied the approximation R¯const\bar{R}\approx\mathrm{const}, and R()(M2s2)\mathcal{F}_{R}^{(\ddagger)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right) is the second derivative of the form-factor evaluated at the value of scalaron mass square. To declare that the contribution (A.12) is negligible compared to the local term from the quadratic part in the local action (A.10), we require

1=Mp26M2M4s4R()(M2s2).\mathcal{F}_{1}=\frac{M_{p}^{2}}{6M^{2}}\gg\frac{M^{4}}{\mathcal{M}_{s}^{4}}\mathcal{F}_{R}^{(\ddagger)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\,. (A.13)

Considering the hierarchy of scales as (2.8), we can easily satisfy the above condition if the second derivative of the form-factor evaluated at M2M^{2} satisfy R()(M2s2)Mp2s46M6\mathcal{F}_{R}^{(\ddagger)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)\ll\frac{M_{p}^{2}\mathcal{M}_{s}^{4}}{6M^{6}}.

Appendix B Useful relations for the computation of bi-spectrum

In this section, we provide computations of perturbed curvature quantities and action of infinite derivatives on them within the slow-roll approximations. Many of the following simplifications were used in computing the 3-point correlations in the previous section.

Perturbation functions are not space-homogeneous. It is convenient to perform a spatial Fourier transform which for some function φ(τ,x)\varphi(\tau,\vec{x}) in the flat FLRW metric reads

φ(τ,x)=φ(τ,k)eikx𝑑k.\varphi(\tau,\vec{x})=\int\varphi(\tau,\vec{k})e^{i\vec{k}\vec{x}}d\vec{k}\,. (B.1)

Using the above Fourier representation, we can write

¯φ(τ,x)=1a2(τ2+2τ+k2)φ(τ,k)𝑑k,\bar{\square}\varphi(\tau,\vec{x})=-\int\frac{1}{a^{2}}(\partial_{\tau}^{2}+2\mathcal{H}\partial_{\tau}+k^{2})\varphi(\tau,\vec{k})d\vec{k}\,, (B.2)

The first and second variations of the d’Alembertian operator are

δ=\displaystyle\delta\square= 2Ψ¯+2Ψ˙t2a2Ψ\displaystyle 2\Psi\bar{\square}+2\dot{\Psi}\partial_{t}-\frac{2}{a^{2}}\nabla\Psi\cdot\nabla\, (B.3)
δ2=\displaystyle\delta^{2}\square= 4Ψ2¯8a2ΨΨ.+8ΨΨ˙t.\displaystyle 4\Psi^{2}\bar{\square}-\frac{8}{a^{2}}\Psi\nabla\Psi.\nabla+8\Psi\dot{\Psi}\partial_{t}\,.

Below we provide the useful list of perturbations of scalar curvature up to the 3rd order

δR\displaystyle\delta R =2(R¯+3¯k)Ψ\displaystyle=2\left(\bar{R}+3\bar{\square}_{k}\right)\Psi\, (B.4)
δ(2)R\displaystyle\delta^{(2)}R =6a2[ΨΨΨ2+4a2ΨΨ+23a2Ψ2R¯]\displaystyle=\frac{6}{a^{2}}\Bigg{[}\nabla\Psi\cdot\nabla\Psi-\Psi^{\prime^{2}}+4a^{2}\Psi\square\Psi+\frac{2}{3}a^{2}\Psi^{2}\bar{R}\Bigg{]}\,
δ(3)R\displaystyle\delta^{(3)}R =12Ψa2[3ΨΨ 3Ψ2+6a2ΨΨ+23a2Ψ2R¯]\displaystyle=\frac{12\Psi}{a^{2}}\Bigg{[}3\nabla\Psi\cdot\nabla\Psi-\ 3\Psi^{\prime 2}+6a^{2}\Psi\square\Psi+\frac{2}{3}a^{2}\Psi^{2}\bar{R}\Bigg{]}
δ(gR)\displaystyle\delta\left(\sqrt{-g}R\right) =a4[δR4ΨR¯]\displaystyle=a^{4}\Bigg{[}\delta R-4\Psi\bar{R}\Bigg{]}
δ(2)(gR)\displaystyle\delta^{(2)}\left(\sqrt{-g}R\right) =6a2[ΨΨΨ2]\displaystyle=6a^{2}\Bigg{[}\nabla\Psi\cdot\nabla\Psi-\Psi^{\prime{2}}\Bigg{]}
δ(3)(gR)\displaystyle\delta^{(3)}\left(\sqrt{-g}R\right) =12a2Ψ[ΨΨΨ2].\displaystyle=12a^{2}\Psi\Bigg{[}\nabla\Psi\cdot\nabla\Psi-\Psi^{\prime 2}\Bigg{]}\,.

Below we derive some recurrent relations when d’Alembertian operators act on perturbed quantities

sδsR¯\displaystyle\square_{s}\delta\square_{s}\bar{R} ¯s(2M2s2R¯Ψ2R¯s2HϵΨ˙)\displaystyle\approx\bar{\square}_{s}\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\bar{R}\Psi-\frac{2\bar{R}}{\mathcal{M}_{s}^{2}}H\epsilon\dot{\Psi}\right) (B.5)
(2M2s2)2R¯Ψ2R¯s2Hϵ(M2s2+R¯4s2)Ψ˙\displaystyle\approx\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)^{2}\bar{R}\Psi-\frac{2\bar{R}}{\mathcal{M}_{s}^{2}}H\epsilon\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\dot{\Psi}
¯snδsR¯\displaystyle\implies\bar{\square}_{s}^{n}\delta\square_{s}\bar{R} (2M2s2)(n+1)R¯Ψ2R¯s2Hϵ(M2s2+R¯4s2)nΨ˙\displaystyle\approx\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)^{(n+1)}\bar{R}\Psi-\frac{2\bar{R}}{\mathcal{M}_{s}^{2}}H\epsilon\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)^{n}\dot{\Psi}
𝒪(s)δsR¯\displaystyle\implies\mathcal{O}\left(\square_{s}\right)\delta\square_{s}\bar{R} 2M2s2𝒪(2M2s2)R¯Ψ2R¯Hϵs2𝒪(M2s2+R¯4s2)Ψ˙.\displaystyle\approx\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\mathcal{O}\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)\bar{R}\Psi-\frac{2\bar{R}H\epsilon}{\mathcal{M}_{s}^{2}}\mathcal{O}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\dot{\Psi}\,.

In the same way we can compute

¯sδR\displaystyle\bar{\square}_{s}\delta R 2¯s(R¯Ψ)\displaystyle\approx 2\bar{\square}_{s}\left(\bar{R}\Psi\right) (B.6)
22M2s2R¯Ψ+22R¯s2HϵΨ˙\displaystyle\approx 2\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\bar{R}\Psi+2\frac{2\bar{R}}{\mathcal{M}_{s}^{2}}H\epsilon\dot{\Psi}
¯snδR\displaystyle\implies\bar{\square}_{s}^{n}\delta R 2(2M2s2)nR¯Ψ+2R¯M2Hϵ(2M2s2)nΨ˙+4R¯Hϵs2(M2s2+R¯4s2)(M2s2+R¯4s2)nΨ˙.\displaystyle\approx 2\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)^{n}\bar{R}\Psi+\frac{2\bar{R}}{M^{2}}H\epsilon\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)^{n}\dot{\Psi}+\frac{4\bar{R}H\epsilon}{\mathcal{M}_{s}^{2}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)^{n}\dot{\Psi}\,.

Using (B.6) we can deduce the following

𝒪(¯s)δR\displaystyle\mathcal{O}\left(\bar{\square}_{s}\right)\delta R 𝒪(2M2s2)2R¯Ψ+2R¯M2Hϵ[𝒪(2M2s2)𝒪(0)]Ψ˙\displaystyle\approx\mathcal{O}\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)2\bar{R}\Psi+\frac{2\bar{R}}{M^{2}}H\epsilon\left[\mathcal{O}\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)-\mathcal{O}(0)\right]\dot{\Psi} (B.7)
+16Hϵ[𝒪(M2s2+R¯4s2)𝒪(0)]Ψ˙.\displaystyle+16H\epsilon\left[\mathcal{O}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)-\mathcal{O}(0)\right]\dot{\Psi}\,.

Based on generic formula derived in [11]

d4xg¯R¯δsX\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta\square_{s}X =d4xg¯[δsR¯12s2R¯h(¯M2)]X.\displaystyle=\int d^{4}x\sqrt{-\bar{g}}\left[\delta\square_{s}\bar{R}-\frac{1}{2\mathcal{M}_{s}^{2}}\bar{R}h\left(\bar{\square}-M^{2}\right)\right]X\,. (B.8)

for any XX, we derive the following generic result which we often used in our computation of the 3rd order action. Computing explicitly the first term we get

d4xg¯δsR¯X=\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta\square_{s}\bar{R}X= 1s2d4xg¯[2M2ΨR¯+2Ψ˙R¯˙]X\displaystyle\frac{1}{\mathcal{M}_{s}^{2}}\int d^{4}x\sqrt{-\bar{g}}\left[2M^{2}\Psi\bar{R}+2\dot{\Psi}\dot{\bar{R}}\right]X (B.9)
\displaystyle\approx 1s2d4xg¯[M2δR+2R¯˙Ψ˙]X.\displaystyle\frac{1}{\mathcal{M}_{s}^{2}}\int d^{4}x\sqrt{-\bar{g}}\left[M^{2}\delta R+2\dot{\bar{R}}\dot{\Psi}\right]X\,.

Substituting the trace of h=g¯μνhμν=2Φ6Ψ8Ψh=\bar{g}^{\mu\nu}h_{\mu\nu}=2\Phi-6\Psi\approx-8\Psi in (B.8), we arrive at

d4xg¯R¯δsXd4xg¯1s2[M2δR+2R¯˙Ψ˙+2(¯M2)δR]X\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta\square_{s}X\approx\int d^{4}x\sqrt{-\bar{g}}\frac{1}{\mathcal{M}_{s}^{2}}\left[M^{2}\delta R+2\dot{\bar{R}}\dot{\Psi}+2\left(\bar{\square}-M^{2}\right)\delta R\right]X\, (B.10)
\displaystyle\approx 6d4xg¯1s2[R¯˙Ψ˙M2R¯Ψ]X6s2d4xg¯[2R¯HϵΨ˙+M2R¯Ψ]X.\displaystyle-6\int d^{4}x\sqrt{-\bar{g}}\frac{1}{\mathcal{M}_{s}^{2}}\left[\dot{\bar{R}}\dot{\Psi}-M^{2}\bar{R}\Psi\right]X\approx\frac{6}{\mathcal{M}_{s}^{2}}\int d^{4}x\sqrt{-\bar{g}}\left[2\bar{R}H\epsilon\dot{\Psi}+M^{2}\bar{R}\Psi\right]X\,.

where we have used ¯δR=2M2δR4R¯˙Ψ˙\bar{\square}\delta R=2M^{2}\delta R-4\dot{\bar{R}}\dot{\Psi}.

Appendix C Computation of 3-point correlations

In this section, we present detailed computations of the 3-point correlation (4.1). For this, we first need to expand the action (2.1) up to the cubic order in curvature perturbation (\mathcal{R}) which would be given by

S\displaystyle S =δ(2)S(S)+δ(3)S(S),\displaystyle=\delta^{(2)}S_{(S)}+\delta^{(3)}S_{(S)}\,,

where

δ(3)S(S)\displaystyle\delta^{(3)}S_{(S)} =Mp22d4xδ(3)(gR)+12d4x[δ3(gR)1R¯+g¯1R¯δ(3)R\displaystyle=\frac{M_{p}^{2}}{2}\int d^{4}x\,\delta^{(3)}\left(\sqrt{-g}R\right)+\frac{1}{2}\int d^{4}x\,\Bigg{[}\delta^{3}\left(\sqrt{-g}R\right)\mathcal{F}_{1}\bar{R}+\sqrt{-\bar{g}}\mathcal{F}_{1}\bar{R}\delta^{(3)}R (C.1)
+1δ(2)(gR)δR+1δ(gR)δ(2)R\displaystyle+\mathcal{F}_{1}\delta^{(2)}\left(\sqrt{-g}R\right)\delta R+\mathcal{F}_{1}\delta\left(\sqrt{-g}R\right)\delta^{(2)}R
+δ(2)(gR)(R(s)1)δR+δ(gR)(R(s)1)δ(2)R\displaystyle+\delta^{(2)}\left(\sqrt{-g}R\right)\Bigg{(}\mathcal{F}_{R}\left(\square_{s}\right)-\mathcal{F}_{1}\Bigg{)}\delta R{+\delta\left(\sqrt{-g}R\right)\Bigg{(}\mathcal{F}_{R}\left(\square_{s}\right)-\mathcal{F}_{1}\Bigg{)}\delta^{(2)}R}
+δ(2)(gR)δR(s)R¯+g¯R¯δR(s)δ(2)R+δ(gR)δR(s)δR\displaystyle+\delta^{(2)}\left(\sqrt{-g}R\right)\delta\mathcal{F}_{R}\left(\square_{s}\right)\bar{R}+\sqrt{-\bar{g}}\bar{R}\delta\mathcal{F}_{R}\left(\square_{s}\right)\delta^{(2)}R+\delta\left(\sqrt{-g}R\right)\delta\mathcal{F}_{R}\left(\square_{s}\right)\delta R
+δ(gR)δ(2)R(s)R¯+g¯R¯δ(2)R(s)δR+g¯R¯δ(3)R(s)R¯\displaystyle+\delta\left(\sqrt{-g}R\right)\delta^{\left(2\right)}\mathcal{F}_{R}\left(\square_{s}\right)\bar{R}+\sqrt{-\bar{g}}\bar{R}\delta^{\left(2\right)}\mathcal{F}_{R}\left(\square_{s}\right)\delta R+\sqrt{-\bar{g}}\bar{R}\delta^{(3)}\mathcal{F}_{R}\left(\square_{s}\right)\bar{R}
+g¯δ(2)WμναβW(s)δWμναβ\displaystyle+\sqrt{-\bar{g}}\delta^{(2)}W_{\mu\nu\alpha\beta}\mathcal{F}_{W}\left(\square_{s}\right)\delta W^{\mu\nu\alpha\beta}
+g¯δWμναβW(s)δ(2)Wμναβ+g¯δWμναβδW(s)δWμναβ].\displaystyle+\sqrt{-\bar{g}}\delta W_{\mu\nu\alpha\beta}\mathcal{F}_{W}\left(\square_{s}\right)\delta^{(2)}W^{\mu\nu\alpha\beta}+\sqrt{-\bar{g}}\delta W_{\mu\nu\alpha\beta}\delta\mathcal{F}_{W}\left(\square_{s}\right)\delta W^{\mu\nu\alpha\beta}\Bigg{]}\,.

Here we performed integration by parts and used the background solution (2.4). The contribution from the Einstein-Hilbert term is negligible because the R2R^{2} term dominates during inflation.

Since Φ+Ψ0\Phi+\Psi\approx 0 during inflation, we compute (C.1) up to the cubic order in Ψϵ\Psi\approx\epsilon\mathcal{R} in the leading order slow-roll approximation. From [10], we know that the first variation of Weyl term only contributes to tensor perturbations and does not lead to scalar perturbations because Φ+Ψ0\Phi+\Psi\approx 0 during inflation. Notice that all the terms in (C.1) contains at least one first order variation of the Weyl tensor. Therefore, these contributions can be approximated by zero for the scalar 3-point correlation. As a result, the cubic order scalar contributions can only arise from the quadratic Ricci scalar term in the action.

Moreover, for the computation of 3-point correlations (4.1) we use the mode functions evaluated from the second order action of curvature perturbations evaluated is the de Sitter approximation (3.5) which we recall here again expressing in terms of curvature perturbation \mathcal{R} as

δ(2)S(S)=Mp22ϵ𝑑τd3ka4(¯M2).\delta^{(2)}S_{(S)}=\frac{M_{p}^{2}}{2}\epsilon\int d\tau d^{3}ka^{4}\mathcal{R}\left(\bar{\square}-M^{2}\right)\mathcal{R}\,. (C.2)

The above action in the quasi-de Sitter approximation gives two-point correlations possessing a nearly scale invariant power spectrum which is Gaussian. Non-Gaussianities arise from 3-point correlations which are computed from the 3rd order action in the next to leading order in the slow-roll approximation. In the computation of the 3-order action it is important to eliminate terms proportional to the equation of motion for \mathcal{R} (it can be obtained by varying the action (C.2)) via a suitable field redefinition of \mathcal{R}. This is step is crucial to extract the leading non-linear contributions to curvature perturbations [60, 88]. In the local R2R^{2} gravity, it is known that non-Gaussianities are small [60]. However, in the non-local gravity we have non-local contributions to the bi-spectrum which can be read from (C.1). Note that in the calculation of bi-spectrum, we can perform the computation using the leading order in the slow-roll approximation.

In (C.1) there are several terms involving variations of the form-factor which can be expanded as

δR(s)=\displaystyle\delta\mathcal{F}_{R}\left(\square_{s}\right)= n=1fna+b=n1saδssb,\displaystyle\sum_{n=1}^{\infty}f_{n}\sum_{a+b=n-1}\square_{s}^{a}\delta\square_{s}\square_{s}^{b}\,, (C.3)
δ(2)R(s)=\displaystyle\delta^{(2)}\mathcal{F}_{R}\left(\square_{s}\right)= n=1fna+b=n1saδ(2)ssb+n=2fna+b+c=n2saδssbδssc,\displaystyle\sum_{n=1}^{\infty}f_{n}\sum_{a+b=n-1}\square_{s}^{a}\delta^{(2)}\square_{s}\square_{s}^{b}+\sum_{n=2}^{\infty}f_{n}\sum_{a+b+c=n-2}\square_{s}^{a}\delta\square_{s}\square_{s}^{b}\delta\square_{s}\square_{s}^{c}\,,
δ(3)R(s)=\displaystyle\delta^{(3)}\mathcal{F}_{R}(\square_{s})= n=1fna+b=n1saδ(3)ssb+n=2fna+b+c=n2saδ(2)ssbδssc\displaystyle\sum_{n=1}^{\infty}f_{n}\sum_{a+b=n-1}\square_{s}^{a}\delta^{(3)}\square_{s}\square_{s}^{b}+\sum_{n=2}^{\infty}f_{n}\sum_{a+b+c=n-2}\square_{s}^{a}\delta^{(2)}\square_{s}\square_{s}^{b}\delta\square_{s}\square_{s}^{c}
+n=2fna+b+c=n2saδssbδ(2)ssc\displaystyle+\sum_{n=2}^{\infty}f_{n}\sum_{a+b+c=n-2}\square_{s}^{a}\delta\square_{s}\square_{s}^{b}\delta^{(2)}\square_{s}\square_{s}^{c}
+n=3fna+b+c+d=n3saδssbδsscδssd.\displaystyle+\sum_{n=3}^{\infty}f_{n}\sum_{a+b+c+d=n-3}\square_{s}^{a}\delta\square_{s}\square_{s}^{b}\delta\square_{s}\square_{s}^{c}\delta\square_{s}\square_{s}^{d}\,.

Below, we perform the term by term computation of the 3rd order action (C.1) in terms of the curvature perturbation \mathcal{R} and the evaluation of 3-point correlation functions(𝐤𝟏)(𝐤𝟐)(𝐤𝟑)\langle\mathcal{R}\left(\mathbf{k_{1}}\right)\mathcal{R}\left(\mathbf{k_{2}}\right)\mathcal{R}\left(\mathbf{k_{3}}\right)\rangle in each case. Note that in all the following calculations, we only write the interaction terms which are leading order in slow-roll. Also in the calculations we encounter terms proportional to the quantity

R(2M2s2)10,\mathcal{F}_{R}\left(\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\right)-\mathcal{F}_{1}\approx 0\,, (C.4)

which is found to be negligible (for the form-factors of the form (3.3)) compared to remaining terms which contribute significantly to the bi-spectrum. Therefore, we drop all these terms for economic reasons. Also we do not write the interaction terms which only lead to imaginary values of 3-point correlations, as by definition the 3-point correlation function is a real quantity (4.1).

First we compute the local contribution of the 3rd order action (C.1) which is the 3rd variation of the local action below

Slocal=d4xg(Mp2R+1R2).S_{\textrm{local}}=\int d^{4}x\sqrt{-g}\left(M_{p}^{2}R+\mathcal{F}_{1}R^{2}\right)\,. (C.5)
δ(3)Slocal=\displaystyle\delta^{(3)}S_{\textrm{local}}= d4x{[δ(3)(gR)+g¯δ(3)R]1R¯\displaystyle\,\,\int d^{4}x\Bigg{\{}\Bigg{[}\delta^{(3)}\left(\sqrt{-g}R\right)+\sqrt{-\bar{g}}\delta^{(3)}R\Bigg{]}\mathcal{F}_{1}\bar{R} (C.6)
+[δ(2)(gR)δR+δ(gR)δ(2)R]1}\displaystyle+\Bigg{[}\delta^{(2)}\left(\sqrt{-g}R\right)\delta R+\delta\left(\sqrt{-g}R\right)\delta^{(2)}R\Bigg{]}\mathcal{F}_{1}\Bigg{\}}
\displaystyle\approx 2Mp2(ϵ2+34ϵ3)𝑑τd3xa2[882]\displaystyle-2M_{p}^{2}\left(\epsilon^{2}+\frac{3}{4}\epsilon^{3}\right)\int d\tau d^{3}xa^{2}\Bigg{[}8\mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R}-8\mathcal{R}\mathcal{R}^{\prime 2}\Bigg{]}
4Mp2ϵ3𝑑τd3xa4R¯38ϵ𝑑τd3xa422+O(ϵ3),\displaystyle-4M_{p}^{2}\epsilon^{3}\int d\tau d^{3}xa^{4}\bar{R}\mathcal{R}^{3}-8\epsilon\int d\tau d^{3}xa^{4}\mathcal{R}^{2}\frac{\partial\mathcal{L}_{2}}{\partial\mathcal{R}}\,+O\left(\epsilon^{3}\right),

where 2\frac{\partial\mathcal{L}_{2}}{\partial\mathcal{R}} is the term proportional to the equation of motion of \mathcal{R} following from (C.2). This term can be eliminated by a field redefinition of +4ϵ2\mathcal{R}\to\mathcal{R}+4\epsilon\mathcal{R}^{2} which leads to a modification of the Gaussian term as

δ(2)Sδ(2)S+4ϵ𝑑τd3xa422.\delta^{(2)}S\to\delta^{(2)}S+4\epsilon\int d\tau d^{3}xa^{4}\mathcal{R}^{2}\frac{\partial\mathcal{L}_{2}}{\partial\mathcal{R}}\,. (C.7)

This term leads to local contributions to the bi-spectrum which are (C.37) to (C.39)

T12ϵ3ϵ24,T22ϵ+3ϵ24,T3ϵ22.T_{1}\supseteq-2\epsilon-\frac{3\epsilon^{2}}{4}\,,\qquad T_{2}\supseteq 2\epsilon+\frac{3\epsilon^{2}}{4}\,,\qquad T_{3}\supseteq-\frac{\epsilon^{2}}{2}\,. (C.8)

Now we calculate 3-point correlations from the following non-local term which does not involve variation of the form-factor

d4x{δ(2)(gR)\displaystyle\int d^{4}x\Bigg{\{}\delta^{(2)}\left(\sqrt{-g}R\right) [R(s)1]δR+δ(gR)[R(s)1]δ(2)R}\displaystyle\Bigg{[}\mathcal{F}_{R}\left(\square_{s}\right)-\mathcal{F}_{1}\Bigg{]}\delta R+\delta\left(\sqrt{-g}R\right)\Bigg{[}\mathcal{F}_{R}\left(\square_{s}\right)-\mathcal{F}_{1}\Bigg{]}\delta^{(2)}R\Bigg{\}} (C.9)
\displaystyle\approx   64ϵ4TNL𝑑τd3xa2R¯2\displaystyle\,\,64\epsilon^{4}T_{\textrm{NL}}\int d\tau d^{3}xa^{2}\bar{R}\mathcal{H}\mathcal{R}^{\prime}\mathcal{R}^{2}\,

where

TNL\displaystyle T_{\textrm{NL}} =[R(M2s2+R¯4s2)1].\displaystyle=\left[\mathcal{F}_{R}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)-\mathcal{F}_{1}\right]\,.

This term contributes to (C.40)

T48R¯Mp2ϵ3TNL.T_{4}\supseteq\frac{8\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,. (C.10)

Let us consider the following term of (C.1) which involve first variation of the form-factor R(s)\mathcal{F}_{R}\left(\square_{s}\right)

d4x\displaystyle\int d^{4}x [δ(2)(gR)δR(s)R¯+g¯R¯δR(s)δ(2)R]\displaystyle\Bigg{[}\delta^{(2)}\left(\sqrt{-g}R\right)\delta\mathcal{F}_{R}\left(\square_{s}\right)\bar{R}+\sqrt{-\bar{g}}\bar{R}\delta\mathcal{F}_{R}\left(\square_{s}\right)\delta^{(2)}R\Bigg{]} (C.11)
=\displaystyle= d4x[δ(2)(gR)𝒵1(s)δsR¯+g¯R¯δs𝒵1(s)δ(2)R]\displaystyle\int d^{4}x\Bigg{[}\delta^{(2)}\left(\sqrt{-g}R\right)\mathcal{Z}_{1}\left(\square_{s}\right)\delta\square_{s}\bar{R}+\sqrt{-\bar{g}}\bar{R}\delta\square_{s}\mathcal{Z}_{1}\left(\square_{s}\right)\delta^{(2)}R\Bigg{]}
=\displaystyle= 24ϵ4TNLd4x8[2+a2R¯2].\displaystyle-24\epsilon^{4}T_{\textrm{NL}}\int d^{4}x8\mathcal{H}\mathcal{R}^{\prime}\Bigg{[}\nabla\mathcal{R}\cdot\nabla\mathcal{R}-\mathcal{R}^{\prime 2}+a^{2}\bar{R}\mathcal{R}^{2}\Bigg{]}\,.

Passing from the first line to the second one, we have carried integration by parts and used the background solution ¯R¯=M2R¯\bar{\square}\bar{R}=M^{2}\bar{R}. Passing from the second line to the third one, we have substituted expressions from (B.4) and the result derived in (B.10). This term gives the following contribution to the bi-spectrum (C.40)-(C.42)

T424R¯Mp2ϵ3TNL,T52R¯Mp2ϵ3TNL,T62R¯Mp2ϵ3TNL.T_{4}\supseteq-\frac{24\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,,\quad T_{5}\subseteq-\frac{2\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,,\quad T_{6}\supseteq\frac{2\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,. (C.12)

Let us now consider the following non-local contribution of (C.1)

d4xδ(gR)δR(¯s)δRd4xg¯δRδs𝒵1(¯s)δR\displaystyle\int d^{4}x\delta\left(\sqrt{-g}R\right)\delta\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\delta R\approx-\int d^{4}x\sqrt{-\bar{g}}\delta R\delta\square_{s}\mathcal{Z}_{1}\left(\bar{\square}_{s}\right)\delta R\, (C.13)
\displaystyle\approx   128ϵ4TNL𝑑τd3xa2[R¯2+2a2′′2a2].\displaystyle\,\,128\epsilon^{4}T_{\textrm{NL}}\int d\tau d^{3}xa^{2}\mathcal{R}\mathcal{H}\Bigg{[}\frac{\bar{R}}{2}\mathcal{R}\mathcal{R}^{\prime}+\frac{2}{a^{2}}\mathcal{R}^{\prime}\mathcal{R}^{\prime\prime}-\frac{2}{a^{2}}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}\Bigg{]}\,.

The contributions form this term are (C.40), (C.44) and (C.45)

T48R¯Mp2ϵ3TNL,T88R¯3Mp2ϵ3TNL,T9=8R¯3Mp2ϵ3TNL.T_{4}\supseteq\frac{8\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}},\,\quad T_{8}\supseteq\frac{8\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,,\quad T_{9}=-\frac{8\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,. (C.14)

Let us now consider the following two non-local terms which require second variation of the form-factor FR(s)F_{R}\left(\square_{s}\right). They can be written as two kinds of variations in the following way

d4xg¯R¯δ(2)R(¯s)δR=\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\delta R= d4xg¯R¯[δ(2)R(¯s)|δ(2)s]δR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta^{(2)}\square_{s}}\right]\delta R (C.15)
+d4xg¯R¯[δ(2)R(¯s)|δsδs]δR.\displaystyle+\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta\square_{s}\delta\square_{s}}\right]\delta R\,.

Calculating the first part in (C.15), we obtain

d4xg¯R¯[δ(2)R(¯s)|δ(2)s]δR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta^{(2)}\square_{s}}\right]\delta R (C.16)
=\displaystyle= d4xg¯R¯n=1fnl=0n1¯slδ(2)s¯snl1δR=d4xg¯R¯δ(2)s𝒵1(¯s)δR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\sum_{n=1}^{\infty}f_{n}\sum_{l=0}^{n-1}\bar{\square}_{s}^{l}\delta^{(2)}\square_{s}\bar{\square}_{s}^{n-l-1}\delta R=\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta^{(2)}\square_{s}\mathcal{Z}_{1}\left(\bar{\square}_{s}\right)\delta R
\displaystyle\approx 64ϵ4TNL𝑑τd3xa2[R¯2+8a2′′8a2].\displaystyle-64\epsilon^{4}T_{\textrm{NL}}\int d\tau d^{3}xa^{2}\mathcal{H}\Bigg{[}\bar{R}\mathcal{R}^{2}\mathcal{R}^{\prime}+\frac{8}{a^{2}}\mathcal{R}\mathcal{R}^{\prime}\mathcal{R}^{\prime\prime}-\frac{8}{a^{2}}\mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}\Bigg{]}\,.

The contributions from this term are (C.40), (C.44) and (C.45)

T48R¯Mp2ϵ3TNL,T816R¯3Mp2ϵ3TNL,T9=16R¯3Mp2ϵ3TNL.T_{4}\supseteq-\frac{8\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}},\,\quad T_{8}\supseteq-\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,,\quad T_{9}=\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,. (C.17)

Let us compute the second term

d4xg¯R¯[δ(2)R(¯s)|δsδs]δR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta\square_{s}\delta\square_{s}}\right]\delta R (C.18)
=\displaystyle= d4xg¯R¯n=2fnl=0n2k=0n21¯slδs¯skδs¯snlk2δR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\sum_{n=2}^{\infty}f_{n}\sum_{l=0}^{n-2}\sum_{k=0}^{n-2-1}\bar{\square}_{s}^{l}\delta\square_{s}\bar{\square}_{s}^{k}\delta_{s}\square\bar{\square}_{s}^{n-l-k-2}\delta R
=\displaystyle= d4xg¯R¯δsn=2fnl=0n2k=0n2l¯sn2δsδR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta\square_{s}\sum_{n=2}^{\infty}f_{n}\sum_{l=0}^{n-2}\sum_{k=0}^{n-2-l}\bar{\square}_{s}^{n-2}\delta\square_{s}\delta R
=\displaystyle= d4xg¯R¯δs[𝒵2(¯s)+R()(M2s2)(r1)]δsδR\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta\square_{s}\left[\mathcal{Z}_{2}(\bar{\square}_{s})+\frac{\mathcal{F}_{R}^{(\dagger)}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)}{(\square-r_{1})}\right]\delta\square_{s}\delta R\,
\displaystyle\approx ϵ2𝑑τd3xa412R¯s2a2𝒵2(M2s2+R¯4s2)δsδR\displaystyle\,\,\epsilon^{2}\int d\tau d^{3}xa^{4}12\frac{\bar{R}}{\mathcal{M}_{s}^{2}}\frac{\mathcal{H}}{a^{2}}\mathcal{Z}_{2}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}+\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\mathcal{R}^{\prime}\delta\square_{s}\delta R\,
\displaystyle\approx 192s2ϵ4TNL𝑑τd3xa2[2M2s22+2a2s222a2s2].\displaystyle-192\mathcal{M}_{s}^{2}\epsilon^{4}T_{\textrm{NL}}\int d\tau d^{3}xa^{2}\mathcal{H}\mathcal{R}^{\prime}\Bigg{[}\frac{2M^{2}}{\mathcal{M}_{s}^{2}}\mathcal{R}^{2}+\frac{2}{a^{2}\mathcal{M}_{s}^{2}}\mathcal{R}^{\prime 2}-\frac{2}{a^{2}\mathcal{M}_{s}^{2}}\nabla\mathcal{R}\cdot\nabla\mathcal{R}\Bigg{]}\,.

where

𝒵2(s)=R(s)1(sM2s2)2.\mathcal{Z}_{2}\left(\square_{s}\right)=\frac{\mathcal{F}_{R}\left(\square_{s}\right)-\mathcal{F}_{1}}{\left(\square_{s}-\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)^{2}}\,. (C.19)

The leading contributions from this term are (C.41) and (C.42)

T54R¯Mp2ϵ3TNL ,T64R¯Mp2ϵ3TNL .T_{5}\supseteq\frac{4\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL }}\,,\quad T_{6}\supseteq-\frac{4\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{\textrm{NL }}\,. (C.20)

Similarly, the following non-local contribution can be written as two parts

d4xδ(gR)δ(2)R(¯s)R¯\displaystyle\int d^{4}x\delta\left(\sqrt{-g}R\right)\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\bar{R}\approx d4xg¯δR[δ(2)R(¯s)|δ(2)s]R¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta R\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta^{(2)}\square_{s}}\right]\bar{R} (C.21)
+\displaystyle+ d4xg¯δR[δ(2)R(¯s)|δsδs]R¯.\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta R\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta\square_{s}\delta\square_{s}}\right]\bar{R}\,.

The first term in (C.21) can be simplified as

d4xg¯δR[δ(2)R(¯s)|δ(2)s]R¯=d4xg¯δR𝒵1(s)δ(2)sR¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta R\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta^{(2)}\square_{s}}\right]\bar{R}=\int d^{4}x\sqrt{-\bar{g}}\delta R\mathcal{Z}_{1}\left(\square_{s}\right)\delta^{(2)}\square_{s}\bar{R}\, (C.22)
\displaystyle\approx d4xg¯δR𝒵1(s)δ(2)sR¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta R\mathcal{Z}_{1}\left(\square_{s}\right)\delta^{(2)}\square_{s}\bar{R}\,
\displaystyle\approx 64ϵ4TNL𝑑τd3xa2[4M22ϵ16a2],\displaystyle\,-64\epsilon^{4}T_{\textrm{NL}}\int d\tau d^{3}xa^{2}\mathcal{H}\mathcal{R}^{\prime}\left[4M^{2}\mathcal{R}^{2}-\mathcal{H}\epsilon\frac{16}{a^{2}}\mathcal{R}\mathcal{R}^{\prime}\right]\,,

The bi-spectrum contribution from this term is (C.38)

T232R¯3Mp2ϵ4TNL.T_{2}\supseteq-\frac{32\bar{R}}{3M_{p}^{2}}\epsilon^{4}T_{NL}\,. (C.23)

Now the second term in (C.21) can be worked out as

d4xg¯δR[δ(2)R(¯s)|δsδs]R¯=𝑑τd3xa4δRδs𝒵2(¯s)δsR¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\delta R\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta\square_{s}\delta\square_{s}}\right]\bar{R}=\int d\tau d^{3}xa^{4}\delta R\delta\square_{s}\mathcal{Z}_{2}(\bar{\square}_{s})\delta\square_{s}\bar{R} (C.24)
\displaystyle\approx  4ϵTNL𝑑τd3xa2(2ϵ)δs,\displaystyle\,4\epsilon T_{\textrm{NL}}\int d\tau d^{3}xa^{2}\left(-2\epsilon\mathcal{R}\right)\delta\square_{s}\mathcal{H}\mathcal{R}^{\prime}\,,
\displaystyle\approx  128ϵ4TNLs2𝑑τd3xa4[1a2(R¯4s2+2s2a2′′2s2a2)].\displaystyle\,128\epsilon^{4}T_{\textrm{NL}}\mathcal{M}_{s}^{2}\int d\tau d^{3}xa^{4}\mathcal{R}\Bigg{[}\frac{1}{a^{2}}\mathcal{H}\Bigg{(}\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\mathcal{R}\mathcal{R}^{\prime}+\frac{2}{\mathcal{M}_{s}^{2}a^{2}}\mathcal{R}^{\prime}\mathcal{R}^{\prime\prime}-\frac{2}{\mathcal{M}_{s}^{2}a^{2}}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}\Bigg{)}\Bigg{]}\,.

The leading contributions from this term (C.40), (C.44) and (C.45)

T48R¯Mp2ϵ3TNL,T88R¯3Mp2ϵ3TNL,T98R¯3Mp2ϵ3TNL.T_{4}\supseteq-\frac{8\bar{R}}{M_{p}^{2}}\epsilon^{3}T_{NL}\,,\quad T_{8}\supseteq-\frac{8\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{NL}\,,\quad T_{9}\supseteq\frac{8\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{NL}\,. (C.25)

The terms involving 3rd variation of the form-factor can be split into 4 different type of terms as below

d4xg¯R¯δ(3)R(s)R¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\delta^{(3)}\mathcal{F}_{R}\left({\square}_{s}\right)\bar{R} (C.26)
=\displaystyle= d4xg¯R¯[δ(3)R(s)|δ(3)s]R¯+d4xg¯R¯[δ(3)R(s)|δ(2)sδs]R¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(3)}\mathcal{F}_{R}\left({\square}_{s}\right)\Bigg{|}_{\delta^{(3)}\square_{s}}\right]\bar{R}+\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(3)}\mathcal{F}_{R}\left({\square}_{s}\right)\Bigg{|}_{\delta^{(2)}\square_{s}\delta\square_{s}}\right]\bar{R}
+\displaystyle+ d4xg¯R¯[δ(3)R(s)|δsδ(2)s]R¯+d4xg¯R¯[δ(3)R(s)|δsδsδs]R¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(3)}\mathcal{F}_{R}\left({\square}_{s}\right)\Bigg{|}_{\delta\square_{s}\delta^{(2)}\square_{s}}\right]\bar{R}+\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(3)}\mathcal{F}_{R}\left({\square}_{s}\right)\Bigg{|}_{\delta\square_{s}\delta\square_{s}\delta\square_{s}}\right]\bar{R}

Calculating the first term we obtain

d4xg¯R¯n=0¯slδ(3)s¯s(nl1)R¯=d4xgR¯𝒵1(¯s)δ(3)sR¯=0,\int d^{4}x\sqrt{-\bar{g}}\bar{R}\sum_{n=0}^{\infty}\sum\bar{\square}_{s}^{l}\delta^{(3)}\square_{s}\bar{\square}_{s}^{(n-l-1)}\bar{R}=\int d^{4}x\sqrt{-g}\bar{R}\mathcal{Z}_{1}\left(\bar{\square}_{s}\right)\delta^{(3)}\square_{s}\bar{R}=0\,, (C.27)

which follows from (2.6). Now calculating the second term in (C.26) we get

d4xg¯R¯[δ(2)R(¯s)|δ(2)sδs]R¯=d4xgR¯δ(2)s𝒵2(s)δsR¯\displaystyle\int d^{4}x\sqrt{-\bar{g}}\bar{R}\left[\delta^{(2)}\mathcal{F}_{R}\left(\bar{\square}_{s}\right)\Bigg{|}_{\delta^{(2)}\square_{s}\delta\square_{s}}\right]\bar{R}=\int d^{4}x\sqrt{-g}\bar{R}\delta^{(2)}\square_{s}\mathcal{Z}_{2}(\square_{s})\delta\square_{s}\bar{R} (C.28)
\displaystyle\approx  64ϵ4s2TNL𝑑τd3xa4[1a2(4M2s228a2s2+8a2s2′′)].\displaystyle\,64\epsilon^{4}\mathcal{M}_{s}^{2}T_{\textrm{NL}}\int d\tau d^{3}xa^{4}\Bigg{[}\frac{1}{a^{2}}\mathcal{H}\Bigg{(}\frac{4M^{2}}{\mathcal{M}_{s}^{2}}\mathcal{R}^{2}\mathcal{R}^{\prime}-\frac{8}{a^{2}\mathcal{M}_{s}^{2}}\mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}+\frac{8}{a^{2}\mathcal{M}_{s}^{2}}\mathcal{R}\mathcal{R}^{\prime}\mathcal{R}^{\prime\prime}\Bigg{)}\Bigg{]}\,.

The leading contributions from (C.28) are (C.44) and (C.45)

T816R¯3Mp2ϵ3TNL,T916R¯3Mp2ϵ3TNL.T_{8}\supseteq\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,,\quad T_{9}\supseteq-\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{3}T_{\textrm{NL}}\,. (C.29)

We neglect the first interaction term \mathcal{R}\mathcal{R}\mathcal{R}^{\prime} in (C.28) in comparison with the first term in (C.24) within the slow-roll approximation.

Let us now consider the third term in (C.26) and evaluate it as

d4xgRn=0fna+b+c=n2aδbδ(2)cR\displaystyle\int d^{4}x\sqrt{-g}R\sum_{n=0}^{\infty}f_{n}\sum_{a+b+c=n-2}\square^{a}\delta\square\square^{b}\delta^{(2)}\square\square^{c}R (C.30)
=\displaystyle= ϵ3d4xgR¯δs𝒵2(¯s)δ(2)sR¯ 192TNLϵ5𝑑τd3x1622.\displaystyle\,\epsilon^{3}\int d^{4}x\sqrt{-g}\bar{R}\delta\square_{s}\mathcal{Z}_{2}(\bar{\square}_{s})\delta^{(2)}\square_{s}\bar{R}\approx\,192T_{\textrm{NL}}\epsilon^{5}\int d\tau d^{3}x16\mathcal{H}^{2}\mathcal{R}\mathcal{R}^{\prime 2}\,.

The leading contribution from this term is (C.38)

T232R¯Mp2ϵ4TNL.T_{2}\supseteq\frac{32\bar{R}}{M_{p}^{2}}\epsilon^{4}T_{\textrm{NL}}\,. (C.31)

Now expanding the last term in (C.26) we obtain

d4xg¯R¯n=3fnl=0n3k=0nl3m=0nkl3slδsskδssmδssnlkm3R¯=\displaystyle\int d^{4}{x}\sqrt{-\bar{g}}\bar{R}\sum_{n=3}^{\infty}f_{n}\sum_{l=0}^{n-3}\sum_{k=0}^{n-l-3}\sum_{m=0}^{n-k-l-3}\square_{s}^{l}\delta\square_{s}\square_{s}^{k}\delta\square_{s}\square_{s}^{m}\delta\square_{s}\square_{s}^{n-l-k-m-3}\bar{R}= (C.32)
d4xg¯R¯n=3fnl=0n3k=0nl3m=0nkl3(M2s2)nkm3δsskδssmδsR¯\displaystyle\int d^{4}{x}\sqrt{-\bar{g}}\bar{R}\sum_{n=3}^{\infty}f_{n}\sum_{l=0}^{n-3}\sum_{k=0}^{n-l-3}\sum_{m=0}^{n-k-l-3}\left(\frac{M^{2}}{\mathcal{M}_{s}^{2}}\right)^{n-k-m-3}\delta\square_{s}\square_{s}^{k}\delta\square_{s}\square_{s}^{m}\delta\square_{s}\bar{R}\,\approx
48T~NL64s2R¯ϵ5d3x𝑑τ2(R¯2s22a2s2),\displaystyle-48\tilde{T}_{\textrm{NL}}\frac{64\mathcal{M}_{s}^{2}}{\bar{R}}\epsilon^{5}\int d^{3}xd\tau\mathcal{H}^{2}\mathcal{R}^{\prime}\Bigg{(}\frac{\bar{R}}{2\mathcal{M}_{s}^{2}}\mathcal{R}\mathcal{R}^{\prime}-\frac{2}{a^{2}\mathcal{M}_{s}^{2}}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}\Bigg{)}\,,

where

T~NL=[R¯4s2R()(R¯4s2)+TNL]\tilde{T}_{\textrm{NL}}=\left[\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\mathcal{F}_{R}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)+T_{\textrm{NL}}\right] (C.33)

The contributions from this term are (C.38) and (C.43)

T216R¯Mp2ϵ4T~NL,T716R¯3Mp2ϵ4T~NL.T_{2}\supseteq-\frac{16\bar{R}}{M_{p}^{2}}\epsilon^{4}\tilde{T}_{\textrm{NL}}\,,\quad T_{7}\supseteq\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{4}\tilde{T}_{\textrm{NL}}\,. (C.34)

In the above derivation we have used the following result

l=0n3k=0l+n3m=0kl+n3xnkm3yk+m=(n2)(xnyn)nyxn1+nxyn1(xy)3.\sum_{l=0}^{n-3}\sum_{k=0}^{-l+n-3}\sum_{m=0}^{-k-l+n-3}x^{n-k-m-3}y^{k+m}=\frac{(n-2)(x^{n}-y^{n})-nyx^{n-1}+nxy^{n-1}}{(x-y)^{3}}\,. (C.35)

Now we collect all the terms above and calculate the bi-spectrum contribution from each type of interaction substituting the curvature perturbation evaluated in the adiabatic vacuum initial state (3.8) in (4.1). To illustrate, in the rest of the computations here, we calculate the 3-point correlation contribution from the interaction \mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R} of (C.6) using (3.8) and (4.1)

\displaystyle- i25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1i(2ki3)H628π4ϵ4\displaystyle i2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}\left(2k_{i}^{3}\right)}\frac{H^{6}}{2^{8}\pi^{4}\epsilon^{4}} (C.36)
×\displaystyle\times 64ϵ(𝐤𝟏𝐤𝟐)τe𝑑τ1τ2(1ik1τ)(1ik2τ)(1ik3τ)eiKτ\displaystyle 64\epsilon\left(\mathbf{k_{1}}\cdot\mathbf{k_{2}}\right)\int_{-\infty}^{\tau_{e}}d\tau\frac{1}{\tau^{2}}\left(1-ik_{1}\tau\right)\left(1-ik_{2}\tau\right)\left(1-ik_{3}\tau\right)e^{iK\tau}
  1. 1.

    Calculating the bi-spectrum contribution due to the interaction \mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R}, we get

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T12(𝒌1𝒌2)[K+i>jkikjK+k1k2k3K2]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{1}2\left(\boldsymbol{k}_{1}\cdot\boldsymbol{k}_{2}\right)\left[-K+\frac{\sum_{i>j}k_{i}k_{j}}{K}+\frac{k_{1}k_{2}k_{3}}{K^{2}}\right]+\text{perms}\,. (C.37)
  2. 2.

    Calculating the bi-spectrum contribution due to the interaction 2\mathcal{R}\mathcal{R}^{\prime 2}, we get

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T2[2k12k22K+2k12k22k3K2]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{2}\left[\frac{2k_{1}^{2}k_{2}^{2}}{K}+\frac{2k_{1}^{2}k_{2}^{2}k_{3}}{K^{2}}\right]+\text{perms}\,. (C.38)
  3. 3.

    Calculating the bi-spectrum contribution due to interaction 3\mathcal{R}^{3}, we obtain

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T3[K33+2Kk1k2+k1k2k33]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{3}\left[-\frac{K^{3}}{3}+2Kk_{1}k_{2}+\frac{k_{1}k_{2}k_{3}}{3}\right]+\text{perms}\,. (C.39)
  4. 4.

    Calculating the bi-spectrum contribution due to the interaction \mathcal{R}\mathcal{R}\mathcal{R}^{\prime}, we obtain

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T4k32[4K32k1k2K2k1+2k23]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{4}k_{3}^{2}\left[-\frac{4K}{3}-\frac{2k_{1}k_{2}}{K}-\frac{2k_{1}+2k_{2}}{3}\right]+\text{perms}\,. (C.40)
  5. 5.

    Calculation of the bi-spectrum contribution due to the interaction \nabla\mathcal{R}\cdot\nabla\mathcal{R}\mathcal{R}^{\prime} gives

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T52(𝒌1𝒌2)k32[2K+2k1+2k2K2+4k1k2K3]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{5}2\left(\boldsymbol{k}_{1}\cdot\boldsymbol{k}_{2}\right)k_{3}^{2}\left[\frac{2}{K}+\frac{2k_{1}+2k_{2}}{K^{2}}+\frac{4k_{1}k_{2}}{K^{3}}\right]+\text{perms}\,. (C.41)
  6. 6.

    Calculating the bi-spectrum contribution due to the interaction 3\mathcal{R}^{\prime 3}, we obtain

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T64k12k22k32K3+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{6}\frac{4k_{1}^{2}k_{2}^{2}k_{3}^{2}}{K^{3}}+\text{perms}\,. (C.42)
  7. 7.

    Calculating the bi-spectrum contribution due to the interaction \mathcal{R}^{\prime}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}, we get

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T7(𝒌2𝒌3)k12k32[2K36k2K4]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{7}\left(\boldsymbol{k}_{2}\cdot\boldsymbol{k}_{3}\right)k_{1}^{2}k_{3}^{2}\left[-\frac{2}{K^{3}}-\frac{6k_{2}}{K^{4}}\right]+\text{perms}\,. (C.43)
  8. 8.

    Calculating the bi-spectrum contribution due to the interaction ′′\mathcal{R}\mathcal{R}^{\prime}\mathcal{R}^{\prime\prime}, we get

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T8k22k32[1K+k1k3K22k1k3K3]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{8}k_{2}^{2}k_{3}^{2}\left[\frac{1}{K}+\frac{k_{1}-k_{3}}{K^{2}}-\frac{2k_{1}k_{3}}{K^{3}}\right]+\text{perms}\,. (C.44)
  9. 9.

    Calculating the bi-spectrum contribution due to the interaction \mathcal{R}\nabla\mathcal{R}\cdot\nabla\mathcal{R}^{\prime}, we get

    25π7δ3(𝐤𝟏+𝐤𝟐+𝐤𝟑)1iki3𝒫2T9(𝒌1𝒌2)k22[1K+k2+k3K2+2k2k3K3]+perms.2^{5}\pi^{7}\delta^{3}\left(\mathbf{k_{1}}+\mathbf{k_{2}}+\mathbf{k_{3}}\right)\frac{1}{\prod_{i}k_{i}^{3}}\mathcal{P}_{\mathcal{R}}^{2}T_{9}\left(\boldsymbol{k}_{1}\cdot\boldsymbol{k}_{2}\right)k_{2}^{2}\left[\frac{1}{K}+\frac{k_{2}+k_{3}}{K^{2}}+\frac{2k_{2}k_{3}}{K^{3}}\right]+\text{perms}\,. (C.45)

where

T1\displaystyle T_{1} =2ϵ3ϵ24,T2=[2ϵ+3ϵ24+16R¯3Mp2ϵ4TNL+4R¯2Mp2s2ϵ4R()(R¯4s2)]|K=aH,\displaystyle=-2\epsilon-\frac{3\epsilon^{2}}{4},\quad T_{2}=\left[2\epsilon+\frac{3\epsilon^{2}}{4}+\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{4}T_{\textrm{NL}}+\frac{4\bar{R}^{2}}{M_{p}^{2}\mathcal{M}_{s}^{2}}\epsilon^{4}\mathcal{F}_{R}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\right]\Bigg{|}_{K=aH}, (C.46)
T3\displaystyle T_{3} =ϵ22,T4=TNL32R¯Mp2ϵ3|K=aH,T5=TNL2R¯Mp2ϵ3|K=aH,T6=TNL2R¯Mp2ϵ3|K=aH,\displaystyle=-\frac{\epsilon^{2}}{2},\quad T_{4}=-T_{\textrm{NL}}\frac{32\bar{R}}{M_{p}^{2}}\epsilon^{3}\Bigg{|}_{K=aH},\quad T_{5}=T_{\textrm{NL}}\frac{2\bar{R}}{M_{p}^{2}}\epsilon^{3}\Bigg{|}_{K=aH},\quad T_{6}=-T_{\textrm{NL}}\frac{2\bar{R}}{M_{p}^{2}}\epsilon^{3}\Bigg{|}_{K=aH},
T7\displaystyle T_{7} =[16R¯3Mp2ϵ4TNL+4R¯23Mp2s2ϵ4R()(R¯4s2)]|K=aH,T8=0,T9=0.\displaystyle=\left[\frac{16\bar{R}}{3M_{p}^{2}}\epsilon^{4}T_{\textrm{NL}}+\frac{4\bar{R}^{2}}{3M_{p}^{2}\mathcal{M}_{s}^{2}}\epsilon^{4}\mathcal{F}_{R}^{(\dagger)}\left(\frac{\bar{R}}{4\mathcal{M}_{s}^{2}}\right)\right]\Bigg{|}_{K=aH},\quad T_{8}=0,\quad T_{9}=0\,.

We have used the following integrals in the calculation of 3-point functions

Re[iτeeiKτ]=1K,Re[iτeτneiKτ]=nKn1K,\displaystyle Re\left[-i\int^{\tau_{e}}_{-\infty}e^{iK\tau}\right]=\frac{1}{K},\quad Re\left[-i\int^{\tau_{e}}_{-\infty}\tau^{n}e^{iK\tau}\right]=\frac{\partial^{n}}{\partial K^{n}}\frac{1}{K}, (C.47)
I1=\displaystyle I_{1}= τe𝑑τ1τeiKτ=iπ+Ei(iKτe),In=τe𝑑τ1τneiKτ,In+1=1n(1τe)neiKτe+iKnIn.\displaystyle\int_{-\infty}^{\tau_{e}}d\tau\frac{1}{\tau}e^{iK\tau}=i\pi+\mathrm{Ei}(iK\tau_{e}),\quad I_{n}=\int_{-\infty}^{\tau_{e}}d\tau\frac{1}{\tau^{n}}e^{iK\tau},\quad I_{n+1}=-\frac{1}{n}\left(\frac{1}{\tau_{e}}\right)^{n}e^{iK\tau_{e}}+\frac{iK}{n}I_{n}\,.

Here Ei(z)\mathrm{Ei}(z) is the integral exponential function. The integral has to be evaluated in the limit τe0\tau_{e}\to 0 while convergence at large τ\tau is made possible by the oscillatory behaviour at τ\tau\to-\infty. Some of the integrals do diverge in the limit τe0\tau_{e}\to 0 where we must follow the guidance well explained in [95] which prescribes us to evaluate integrals up to the conformal times corresponding to the Hubble radius crossing scale, such that KaHO(1)τeK\sim aH\sim-\frac{O(1)}{\tau_{e}}. For the purposes of practical computations one fixes Kτe=1K\tau_{e}=-1.

References