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

The CMB bispectrum from bouncing cosmologies

Paola C. M. Delgado1    Ruth Durrer2 and    Nelson Pinto-Neto3
Abstract

In this paper we compute the CMB bispectrum for bouncing models motivated by Loop Quantum Cosmology. Despite the fact that the primordial bispectrum of these models is decaying exponentially above a large pivot scale, we find that the cumulative signal-to-noise ratio of the bispectrum induced in the CMB from scales <30\ell<30 is larger than 10 in all cases of interest and therefore can, in principle, be detected in the Planck data.

1 Introduction

The standard cosmological model, solidly grounded in General Relativity theory (GR) and a variety of cosmological observations (the cosmic microwave background radiation and its anisotropies [1], the abundance of light elements [2], the features of the distribution of large scale structures and cosmological red-shifts [3, 4], among others), asserts that the Universe is expanding from a very hot era dominated by radiation, when the geometry of space was highly homogeneous and isotropic, with very small deviations from this special, symmetric state. However, extrapolating the standard cosmological model back to the past using GR, one necessarily encounters a singularity, where physical quantities diverge. Hence, the model is incomplete: GR is pointing us to its own limits, requiring new physics to understand these extreme situation, which is still under debate.

Assuming that the Universe had a beginning immediately followed by a hot expanding phase implies some important new puzzles, related to initial conditions. The size of regions in causal contact in the Universe is given by the Hubble radius, RH|1/H||a/a˙|R_{H}\equiv|1/H|\equiv|a/\dot{a}|, where aa is the scale factor, and the overdot represents a derivative with respect to cosmic time. The Hubble radius evolves with respect to the scale factor as

dln(RH)dln(a)=1a¨aa˙2.\frac{\rm{d}\ln(R_{H})}{\rm{d}\ln(a)}=1-\frac{\ddot{a}a}{\dot{a}^{2}}. (1.1)

If the cosmic fluid has non-negative pressure in the hot era, the Friedmann equations imply a¨<0\ddot{a}<0, so that dln(RH)/dln(a)>1{\rm{d}\ln(R_{H})}/{\rm{d}\ln(a)}>1. Hence, in the past of an expanding universe the size of cosmological scales we are able to see today, which evolve with the scale factor, were much larger than the Hubble radius. This implies that the basic properties of the cosmic microwave background radiation (CMB), its temperature isotropy and its tiny anisotropies, cannot be explained by causal physics, as the scales presenting these observed properties contained hundreds of causally disconnected regions on the last scattering surface. This is called the ‘horizon problem’. Furthermore, the observed matter and dark energy density of the Universe today, ρ0\rho_{0}, is very close to the total energy density of a Universe with flat spatial sections, ρc\rho_{c}. Using again the Friedmann equations, the ratio Ω(t)ρ(t)/ρc(t)\Omega(t)\equiv\rho(t)/\rho_{c}(t) evolves as

dΩ(t)1dt=2a¨a˙3.\frac{{\rm{d}}\mid\Omega(t)-1\mid}{{\rm{d}}t}=-2\frac{\ddot{a}}{\dot{a}^{3}}. (1.2)

As a˙>0\dot{a}>0 and a¨<0\ddot{a}<0, if Ω(t)\Omega(t) is close to unity today, it must have been much closer to unity at earlier times, a spectacular fine tuning of initial conditions. This is the so called ‘flatness problem’.

A simple solution to these puzzles is to evoke that at some early stage a new field dominates the Universe evolution, for which p/ρ<1/3p/\rho<-1/3 which implies a¨>0\ddot{a}>0, such that dln(RH)/dln(a)<1{\rm{d}\ln(R_{H})}/{\rm{d}\ln(a)}<1 and d|Ω(t)1|/dt<0{\rm{d}}\,|\Omega(t)-1|/{\rm{d}}t<0. This primordial phase is called inflation [5, 6, 7, 8], usually driven by a simple scalar field, which can be investigated in the framework of standard quantum field theory in curved spacetime. It not only solves the above puzzles, but it also predicted the observed almost scale invariant marginally red-tilted spectrum of primordial cosmological scalar perturbations [9]. Inflation became an essential part of any cosmological model in which the Universe has a beginning.

However, there is an alternative simple solution to the above puzzles if one assumes that the Universe had a very long contracting decelerating phase before the present expanding era. In this case, Eq. (1.1) implies that the Hubble radius was much bigger than any cosmological scale of physical interest in the far past of the contracting phase, because a contracting universe running backwards in time implies larger scale factors. Also, as a˙<0\dot{a}<0, a¨<0\ddot{a}<0, and a¨/a˙3>0\ddot{a}/\dot{a}^{3}>0, Eq. (1.2) implies that flatness becomes an attractor in the contracting phase, rather than a repeller. Hence, the Universe looks spatially flat to us now because it has not expanded long enough in comparison with the very long contracting phase it experienced in the past.

In realistic models with a contracting phase, there must be a bounce connecting it to the present expanding phase. In GR contraction generally leads to the time reversal of the Big Bang singularity, the Big Crunch. To avoid this, bouncing models must necessarily involve new physics. In other words, bouncing models must face the cosmological singularity problem, which is not addressed by inflation. A realistic bouncing model then not only solves the above puzzles related to initial conditions, but it is also complete, i.e., free of singularities.

The new physics required for bouncing models can be classical extensions of GR [10, 11, 12, 13, 14, 15, 16, 17], or quantum gravity effects [18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29]. Different models have been investigated in the last decades, and it has been shown that many of them [30, 31, 32, 33, 34] satisfy the constraints imposed by cosmological observations on the properties of primordial cosmological perturbations, and other cosmological features, without the need of an inflationary phase. Nevertheless, bouncing models are not incompatible with inflation. Indeed, in some scenarios, bouncing models lead to the appropriate initial conditions for inflation [35].

The next step in this investigation is to find observable ‘fingerprints’, which indicate the existence of a previous contracting phase and a bounce. In Ref. [36], in the context of bouncing models with inflation, it was shown that non-Gaussianities originating from the contracting era before inflation [37] can substantially alleviate the large scale anomalies detected in the CMB [38]. The model contains a canonical scalar field with potential V(φ)V(\varphi), and the scale factor around the bounce is generically parametrized as

a(t)=ab(1+bt2)n,a(t)=a_{b}(1+bt^{2})^{n}, (1.3)

where tt is cosmic time, the bounce happens at t=0t=0, aba_{b} is the scale factor at the bounce, and bb is a constant parametrizing the Ricci scalar at the bounce, Rb=12nbR_{b}=12nb. The parameter nn controls the way the model enters and leaves the bouncing phase and starts classical expansion. For n1/6n\approx 1/6, the scalar field energy density just after the bounce is concentrated in the kinetic term, this is the case of Loop Quantum Cosmology (LQC) models [28]), and inflation starts later, while for larger values of nn the scalar field potential is already relevant at the bounce, and inflation starts earlier. Hence, the features of this class of bouncing models are controlled by the bounce Ricci scalar RbR_{b}, and by nn.

The initial quantum state for the perturbations is chosen to be the adiabatic (Minkowski) vacuum in the far past of the contracting phase. Therefore quantum state of cosmological perturbations at the onset of inflation deviates from the Bunch-Davies vacuum. In terms of the modes one can write as

vk(η)=αkvkBD(η)+βkvkBD(η),v_{k}(\eta)=\alpha_{k}v_{k}^{\rm BD}(\eta)+\beta_{k}v_{k}^{\ast{\rm BD}}(\eta), (1.4)

where η\eta is conformal time, implying that the ratio between the primordial dimensionless power spectrum 𝒫(k){\cal P}_{\cal R}(k) and the pure Bunch-Davies primordial dimensionless power spectrum 𝒫BD(k){\cal P}_{\cal R}^{\rm BD}(k) reads

𝒫(k)𝒫BD(k)=αk+βk2.\frac{{\cal P}_{\cal R}(k)}{{\cal P}_{\cal R}^{\rm BD}(k)}=\mid\alpha_{k}+\beta_{k}\mid^{2}. (1.5)

This class of models has two fundamental scales: the bounce scale given by the comoving wave number kbabRb/6k_{b}\equiv a_{b}\sqrt{R_{b}/6}, and the (comoving) inflation scale ki2πaiRi/6k_{i}\equiv 2\pi a_{i}\sqrt{R_{i}/6}, where aia_{i} and RiR_{i} are the scale factor and Ricci scalar at the beginning of inflation, respectively. As the energy scale of the bounce is larger than the energy scale of inflation, ki<kbk_{i}<k_{b}. One has three different regimes for the power spectrum: k>kbk>k_{b}, ki<k<kbk_{i}<k<k_{b}, and k<kik<k_{i} (corresponding to length scales smaller than the bounce length scale, bigger than the bounce length scale but smaller than the inflation length scale, and bigger than the inflation length scale, respectively). Scales smaller than the bounce scale do not feel the bounce, hence they will not deviate from inflationary (Bunch-Davies) results. However, the two other scales are affected by the bounce, leading to different physical effects. Indeed, it is shown in Ref. [36] that non-Gaussianities arise, correlating super-horizon modes with infrared scales, enhancing the probability of the appearance of CMB anomalies at large scales. If the duration of inflation is very long, such effects are suppressed, yielding the constraint n<1/4n<1/4 for these effects to be significant. The scales which contribute most to the non-Gaussianity are in the range ki<k<kbk_{i}<k<k_{b}, which is larger for a bounce closer to the Plank scale. Hence, models with bounce phases occurring at length scales larger than the Planck length need a larger fnlf_{\rm nl} parameter to yield the desired effects, some of them require fnlf_{\rm nl} of order 10410^{4}. As the non-Gaussian correlations obtained in Ref. [36] are restricted mostly to super-horizon modes, the authors suggest that these large values of fnlf_{\rm nl} should not be directly observed. However, the CMB bispectrum of these models is not calculated, and it is not clear under which conditions the model satisfies the Planck constraints on it [39].

The aim of this short paper is to fill this gap. We calculate the bispectrum for the two representative models mostly studied in Ref. [36]: the Loop Quantum Cosmology case n=1/6n=1/6 [28], and the n=0.21n=0.21 case, which seems to best mitigate the CMB anomalies according to Ref. [36]. For these two cases, we consider the minimum and maximum values of fnlf_{\rm nl} allowed (33263326 and 85188518 for n=1/6n=1/6, and 959959 and 43724372 for n=0.21n=0.21). We test their viability against Planck measurements, and we calculate the signal-to-noise ratio (SNR) of the bispectrum in order to decide whether it can be measured in a CMB experiment which is cosmic variance limited at low multipoles, <30\ell<30, like the Planck experiment [40].

The numerical calculations are presented in Section 2. We find that the bispectrum can indeed be quite large at large scales. However, for all values (1,2,3)(\ell_{1},\ell_{2},\ell_{3}) it remains smaller than cosmic variance. Nevertheless, we find that the cumulative SNR for a cosmic variance limited CMB experiment with 70% sky coverage becomes larger than 10 for all models considered here. In Section 3 we end with a discussion and conclusions.

2 The bispectrum in a bouncing model

2.1 The theoretical expressions

The bouncing model discussed in [36] has the following dimensionless power spectrum, 𝒫(k){\cal P}_{\cal R}(k), and bispectrum, B(k1,k2,k3)B(k_{1},k_{2},k_{3}), of the curvature fluctuations in Fourier space.

𝒫(k)\displaystyle{\cal P}_{\cal R}(k) =\displaystyle= As{(k/ki)2(ki/kb)qif kki(k/kb)qif ki<kkb(k/kb)ns1if k>kb.\displaystyle A_{s}\left\{\begin{array}[]{cc}(k/k_{i})^{2}(k_{i}/k_{b})^{q}&\mbox{if }~k\leq k_{i}\\ (k/k_{b})^{q}&\mbox{if }~k_{i}<k\leq k_{b}\\ (k/k_{b})^{n_{s}-1}&\mbox{if }~k>k_{b}\,.\end{array}\right. (2.4)
B(k1,k2,k3)\displaystyle B(k_{1},k_{2},k_{3}) =\displaystyle= 35(2π2)2fnl[𝒫(k1)k13𝒫(k2)k23+𝒫(k1)k13𝒫(k3)k33+𝒫(k3)k33𝒫(k2)k23]×\displaystyle\frac{3}{5}(2\pi^{2})^{2}f_{\rm nl}\left[\frac{{\cal P}_{\cal R}(k_{1})}{k_{1}^{3}}\frac{{\cal P}_{\cal R}(k_{2})}{k_{2}^{3}}+\frac{{\cal P}_{\cal R}(k_{1})}{k_{1}^{3}}\frac{{\cal P}_{\cal R}(k_{3})}{k_{3}^{3}}+\frac{{\cal P}_{\cal R}(k_{3})}{k_{3}^{3}}\frac{{\cal P}_{\cal R}(k_{2})}{k_{2}^{3}}\right]\times (2.5)
exp(γk1+k2+k3kb).\displaystyle\qquad\exp\left(-\gamma\frac{k_{1}+k_{2}+k_{3}}{k_{b}}\right)\,.

Here ns=0.9659n_{s}=0.9659 and As=2.3424×109A_{s}=2.3424\times 10^{-9}, corresponding to the Planck values [41]. The inflation and bounce (pivot) scales are, respectively, ki=106Mpc1k_{i}=10^{-6}{\rm Mpc}^{-1} and kb=0.002Mpc1k_{b}=0.002{\rm Mpc}^{-1}. The parameters qq, fnlf_{\rm nl} and γ=nπ/2Γ[1n]/Γ[3/2n]\gamma=\sqrt{n\pi/2}\Gamma\left[1-n\right]/\Gamma\left[3/2-n\right] depend on the details of the bounce, being related to the parameter nn in Eq. (1.3). See [36] for details. The values of qq and fnlf_{\rm nl} used in this work are shown in Table 1. The power spectrum for n=1/6n=1/6 is shown in Fig. 1.

nn γ\gamma qq fnlf_{\rm nl} for RB=1R_{B}=1 lPl2l_{Pl}^{-2} fnlf_{\rm nl} for RB=103R_{B}=10^{-3} lPl2l_{Pl}^{-2}
1/61/6 0.6468 0.7-0.7 33263326 85188518
0.210.21 0.751 1.24-1.24 959959 43724372
Table 1: The values of the parameters considered in this work. The fnlf_{\rm nl} parameter is chosen according to [36] in order to alleviate the power suppression anomaly. The two different values correspond, respectively, to the space-time curvature at the bounce RBR_{B} equal to 11 lPl2l_{Pl}^{-2} and to 10310^{-3} lPl2l_{Pl}^{-2}, where lPll_{Pl} is the Planck length.
Refer to caption
Figure 1: The power spectrum 𝒫(k){\cal P}_{\cal R}(k) versus kk for n=1/6n=1/6. Note the three different regimes separated by the inflationary and the bounce scales.

The bispectrum (2.5) is decaying exponentially for k>kbk>k_{b}. Since kbk_{b} is close to the horizon scale, the authors of Ref. [36] argue that the model is not excluded by observations, even for quite large values of fnlf_{\rm nl}. Apart from this exponential decay, which is of course crucial to render a bispectrum with such a large value of fnlf_{\rm nl} viable, the bispectrum (2.5) is actually just the local bispectrum. Due to the strong exponential decay, however, its overlap with the local bispectrum is small. In Appendix B we determine numerically the overlap of the LQC bispectrum with the local, equilateral and orthogonal shapes. We find that the overlap with all of them is very small even though the first is somewhat larger than the latter two. The values requested for fnlf_{\rm nl} given in Table 1 are much larger than the Planck limit for the local shape which is fnl10f_{\rm nl}\lesssim 10, see [42]. This is possible since most of the Planck constraint comes from smaller scales, where the LQC bispectrum is exponentially suppressed.

In this work we check quantitatively whether the LQC bispectrum with the parameters given in Table 1 is compatible with observations. Clearly, this non-Gaussianity is best constrained on very large scales corresponding to kkbk\lesssim k_{b}. This motivates us to compute the CMB bispectrum induced by it, concentrating on the largest angular scales. Expanding the CMB temperature fluctuations in spherical harmonics,

ΔTT(𝐧)=mamYm(𝐧),\frac{\Delta T}{T}({\bf n})=\sum_{\ell m}a_{\ell m}Y_{\ell m}({\bf n})\,, (2.6)

the bispectrum is defined by

a1m1a2m2a2m3=𝒢m1m2m3123b123=(123m1m2m3)B123.\langle a_{\ell_{1}m_{1}}a_{\ell_{2}m_{2}}a_{\ell_{2}m_{3}}\rangle=\mathcal{G}^{\ell_{1}\ell_{2}\ell_{3}}_{m_{1}m_{2}m_{3}}b_{\ell_{1}\ell_{2}\ell_{3}}=\left(\begin{array}[]{ccc}\ell_{1}&\ell_{2}&\ell_{3}\\ m_{1}&m_{2}&m_{3}\end{array}\right)B_{\ell_{1}\ell_{2}\ell_{3}}\,. (2.7)

Here 𝒢m1m2m3123\mathcal{G}^{\ell_{1}\ell_{2}\ell_{3}}_{m_{1}m_{2}m_{3}} is the so called ‘Gaunt factor’ which can be expressed in terms of the Wigner 3j3j-symbols as

𝒢m1m2m3123=j=13(2j+1)4π(123000)(123m1m2m3)=g123(123m1m2m3).\mathcal{G}^{\ell_{1}\ell_{2}\ell_{3}}_{m_{1}m_{2}m_{3}}=\sqrt{\frac{\prod_{j=1}^{3}(2\ell_{j}+1)}{4\pi}}\left(\begin{array}[]{ccc}\ell_{1}&\ell_{2}&\ell_{3}\\ 0&0&0\end{array}\right)\left(\begin{array}[]{ccc}\ell_{1}&\ell_{2}&\ell_{3}\\ m_{1}&m_{2}&m_{3}\end{array}\right)=g_{\ell_{1}\ell_{2}\ell_{3}}\left(\begin{array}[]{ccc}\ell_{1}&\ell_{2}&\ell_{3}\\ m_{1}&m_{2}&m_{3}\end{array}\right)\,. (2.8)

The mim_{i}-dependent prefactor is a consequence of statistical isotropy, see [43] for details. The model dependent quantity b123b_{\ell_{1}\ell_{2}\ell_{3}} is called the reduced bispectrum. It depends only on the values 1,2,3\ell_{1},\ell_{2},\ell_{3} and vanishes if these do not satisfy the triangle inequality, |12|31+2|\ell_{1}-\ell_{2}|\leq\ell_{3}\leq\ell_{1}+\ell_{2} or if the sum 1+2+3\ell_{1}+\ell_{2}+\ell_{3} is odd.

Within linear perturbation theory, the reduced CMB bispectrum is entirely determined by the primordial bispectrum of the curvature fluctuations in Fourier space. More precisely,

b123\displaystyle b_{\ell_{1}\ell_{2}\ell_{3}} =\displaystyle= (2π)30dxx20dk10dk20dk3×\displaystyle\left(\frac{2}{\pi}\right)^{3}\int_{0}^{\infty}\!\!\!\!dx\,x^{2}\!\int_{0}^{\infty}\!\!\!\!dk_{1}\!\int_{0}^{\infty}\!\!\!\!dk_{2}\!\int_{0}^{\infty}\!\!\!\!dk_{3}\times (2.9)
[j=13𝒯(kj,j)jj(kjx)](k1k2k3)2B(k1,k2,k3),\displaystyle\left[\prod_{j=1}^{3}\mathcal{T}(k_{j},\ell_{j})j_{\ell_{j}}(k_{j}x)\right](k_{1}k_{2}k_{3})^{2}B(k_{1},k_{2},k_{3})\,,\qquad\qquad

where 𝒯(k,)\mathcal{T}(k,\ell) is the CMB transfer function and jj_{\ell} is the spherical Bessel function of index \ell, see [43] for more details. On large scales, considering only the Sachs Wolfe term, we can approximate the transfer function by

𝒯(k,)15j(k(t0tdec)).\mathcal{T}(k,\ell)\simeq\frac{1}{5}j_{\ell}(k(t_{0}-t_{\rm dec}))\,. (2.10)

The times t0t_{0} and tdect_{\rm dec} are the (conformal) present time and the decoupling time respectively, given by (we set the speed of light to c=1c=1)

t014093.023Mpctdec279.529Mpc.t_{0}\simeq 14093.023~{\rm Mpc}\,\qquad t_{\rm dec}\simeq 279.529~{\rm Mpc}\,. (2.11)

Our bispectrum in kk-space is separable, i.e., it can be written as a sum of products of functions of kik_{i},

(k1k2k3)2B(k1,k2,k3)\displaystyle(k_{1}k_{2}k_{3})^{2}B(k_{1},k_{2},k_{3}) =\displaystyle= B0[f(k1)f(k2)g(k3)+f(k1)f(k3)g(k2)+f(k3)f(k2)g(k1)]\displaystyle B_{0}\left[f(k_{1})f(k_{2})g(k_{3})+f(k_{1})f(k_{3})g(k_{2})+f(k_{3})f(k_{2})g(k_{1})\right]\qquad (2.12)
where
B0\displaystyle B_{0} =\displaystyle= 35(2π2)2fnl\displaystyle\frac{3}{5}(2\pi^{2})^{2}f_{\rm nl}\, (2.13)
f(k)\displaystyle f(k) =\displaystyle= 𝒫(k)kexp(γk/kb)and\displaystyle\frac{{\cal P}_{\cal R}(k)}{k}\exp(-\gamma k/k_{b})\qquad\mbox{and} (2.14)
g(k)\displaystyle g(k) =\displaystyle= k2exp(γk/kb)\displaystyle k^{2}\exp(-\gamma k/k_{b}) (2.15)

Setting

X(x,k)\displaystyle X_{\ell}(x,k) =\displaystyle= 𝒯(k,)j(kx)f(k)and\displaystyle\mathcal{T}(k,\ell)j_{\ell}(kx)f(k)\qquad\mbox{and} (2.16)
Z(x,k)\displaystyle Z_{\ell}(x,k) =\displaystyle= 𝒯(k,)j(kx)g(k)\displaystyle\mathcal{T}(k,\ell)j_{\ell}(kx)g(k) (2.17)

with Eq. (2.9) we obtain

b123\displaystyle b_{\ell_{1}\ell_{2}\ell_{3}} =\displaystyle= (2π)3B00dxx20dk10dk20dk3[X1(x,k1)X2(x,k2)Z3(x,k3)+\displaystyle\left(\frac{2}{\pi}\right)^{3}B_{0}\int_{0}^{\infty}\!\!\!\!dx\,x^{2}\!\int_{0}^{\infty}\!\!\!\!dk_{1}\!\int_{0}^{\infty}\!\!\!\!dk_{2}\!\int_{0}^{\infty}\!\!\!\!dk_{3}\Big{[}X_{\ell_{1}}(x,k_{1})X_{\ell_{2}}(x,k_{2})Z_{\ell_{3}}(x,k_{3})+\qquad\qquad (2.18)
X1(x,k1)X3(x,k3)Z2(x,k2)+X3(x,k3)X2(x,k2)Z1(x,k1)]\displaystyle\qquad X_{\ell_{1}}(x,k_{1})X_{\ell_{3}}(x,k_{3})Z_{\ell_{2}}(x,k_{2})+X_{\ell_{3}}(x,k_{3})X_{\ell_{2}}(x,k_{2})Z_{\ell_{1}}(x,k_{1})\Big{]}

This is the sum of three separable kk-integrals. We introduce

X(x)\displaystyle X_{\ell}(x) =\displaystyle= 0𝑑kX(x,k)and\displaystyle\int_{0}^{\infty}dkX_{\ell}(x,k)\qquad\mbox{and} (2.19)
Z(x)\displaystyle Z_{\ell}(x) =\displaystyle= 0𝑑kZ(x,k)\displaystyle\int_{0}^{\infty}dkZ_{\ell}(x,k) (2.20)

such that the bispectrum becomes the following integral:

b123\displaystyle b_{\ell_{1}\ell_{2}\ell_{3}} =\displaystyle= (2π)3B00dxx2[X1(x)X2(x)Z3(x)+X1(x)X3(x)Z2(x)+\displaystyle\left(\frac{2}{\pi}\right)^{3}B_{0}\int_{0}^{\infty}\!\!\!\!dx\,x^{2}\Big{[}X_{\ell_{1}}(x)X_{\ell_{2}}(x)Z_{\ell_{3}}(x)+X_{\ell_{1}}(x)X_{\ell_{3}}(x)Z_{\ell_{2}}(x)+\qquad (2.21)
+X3(x)X2(x)Z1(x)].\displaystyle\qquad\qquad\qquad\qquad\qquad\qquad+X_{\ell_{3}}(x)X_{\ell_{2}}(x)Z_{\ell_{1}}(x)\big{]}\,.

2.2 Numerical calculations

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 2: The functions X(x)X_{\ell}(x) and Z(x)Z_{\ell}(x) for n=1/6n=1/6 with the integration over kk performed up to kmax=102k_{\rm max}=10^{-2} Mpc1{\rm Mpc}^{-1}. Note the sharp peaks at x=t0tdecx=t_{0}-t_{\rm dec} and the oscillatory behavior that is especially visible for higher multipoles. Left: =10\ell=10 and =15\ell=15; right: =95\ell=95 and =100\ell=100.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 3: The functions X(x)X_{\ell}(x) and Z(x)Z_{\ell}(x) for n=0.21n=0.21 with the integration over kk performed up to kmax=102k_{\rm max}=10^{-2} Mpc1{\rm Mpc}^{-1}. Again we see the sharp peaks at x=t0tdecx=t_{0}-t_{\rm dec} and the oscillatory behavior for higher multipoles. Left: =10\ell=10 and =15\ell=15; right: =95\ell=95 and =100\ell=100.

The functions X(x,k)X_{\ell}(x,k) and Z(x,k)Z_{\ell}(x,k) are heavily oscillating as functions of kk (containing products of two Bessel functions of different arguments) and difficult to integrate. However when x=t0tdecx=t_{0}-t_{\rm dec} the product j(k(t0tdec))j(kx)j_{\ell}(k(t_{0}-t_{\rm dec}))j_{\ell}(kx) becomes a square and both X(x,k)X_{\ell}(x,k) and Z(x,k)Z_{\ell}(x,k) are positive definite functions of kk for this value of xx. We therefore expect that the integrals over kk, X(x)X_{\ell}(x) and Z(x)Z_{\ell}(x) peak at x=t0tdecx=t_{0}-t_{\rm dec}. As an example, see the functions X(x)X_{\ell}(x) and Z(x)Z_{\ell}(x) in Fig. 2 for n=1/6n=1/6 and in Fig. 3 for n=0.21n=0.21. We see that both functions decay rapidly for growing |x(t0tdec)||x-(t_{0}-t_{\rm dec})| for the two values of nn considered. One might hope, that due to this feature which is the basic idea behind the Limber approximation, the Limber approximation might be relatively good. However, as we show in Appendix A this is not the case. The Limber approximation actually overestimates the signal by more than one order of magnitude at low \ell.

The bispectrum (2.21) can be computed numerically if one takes into account the peaked behavior described above, restricting the integration range for the integral over xx to an interval around x=t0tdecx=t_{0}-t_{\rm dec}. As we can see in Figs. 2 and 3, the width of the central peak is larger for low values of the multipole \ell. For this reason we choose an xx-range around t0tdect_{0}-t_{\rm dec} of 10410^{4} Mpc for 1+2+390\ell_{1}+\ell_{2}+\ell_{3}\leq 90 and 20002000 Mpc for 1+2+3>90\ell_{1}+\ell_{2}+\ell_{3}>90, encompassing a large percentage of the total contribution. For the latter cases, the difference with respect to the width 10410^{4} is less than 1%1\%. Also for the low \ell’s the difference between the ranges 10410^{4} and 1.5×1041.5\times 10^{4} is always less than 1%. We first perform the computation for a number of allowed sets of multipoles, i.e. with an even sum and satisfying the triangle inequality, starting from the value j=4\ell_{j}=4, j=1,2,3j=1,2,3, and such that 2=3=\ell_{2}=\ell_{3}=\ell. This is a suitable choice in order to depict the bispectrum in a three-dimensional plot. Configurations with 23\ell_{2}\neq\ell_{3} are considered in Section 2.4. The results are plotted in Fig. 4 both for n=1/6n=1/6 (left) and n=0.21n=0.21 (right), where we identify a fast decaying behavior as the multipoles increase. The dots represent the values of the bispectrum obtained via numerical computation for fnl=8518f_{\rm nl}=8518 in the case n=1/6n=1/6 and fnl=4372f_{\rm nl}=4372 in the case n=0.21n=0.21. The gray planes correspond to the fits obtained in Section 2.4, namely Eqs. (2.29) and (2.31).

Refer to caption
Refer to caption
Figure 4: The bispectrum b123b_{\ell_{1}\ell_{2}\ell_{3}} as a function of 1\ell_{1} and =2=3\ell=\ell_{2}=\ell_{3} for n=1/6n=1/6 (left) and n=0.21n=0.21 (right). The dots correspond to numerical results for fnl=8518f_{\rm nl}=8518 in the case n=1/6n=1/6 and fnl=4372f_{\rm nl}=4372 in the case n=0.21n=0.21. For the other values of fnlf_{\rm nl} in Table 1, the plots are re-scaled by the ratios of the fnlf_{\rm nl}’s, the factors of 0.3900.390 and 0.2190.219 for n=1/6n=1/6 and n=0.21n=0.21, respectively. The gray planes correspond to the product fits obtained in Section 2.4, Eqs. (2.29) and (2.31).

We want to compare the present model and the bispectrum for the local shape. To do so, we first fix 1=4\ell_{1}=4, require 2=3=\ell_{2}=\ell_{3}=\ell and perform the numerical computations for the bispectrum of the current work. Then, recalling that the reduced bispectrum of the local shape is given by [43]

b123(local)=3fnl(2π2As)24×54(11(1+1)2(2+1)+11(1+1)3(3+1)+12(2+1)3(3+1)),b_{\ell_{1}\ell_{2}\ell_{3}}^{(\operatorname{local})}=\frac{3f_{\rm nl}(2\pi^{2}A_{s})^{2}}{4\times 5^{4}}\left(\frac{1}{\ell_{1}(\ell_{1}+1)\ell_{2}(\ell_{2}+1)}+\frac{1}{\ell_{1}(\ell_{1}+1)\ell_{3}(\ell_{3}+1)}+\frac{1}{\ell_{2}(\ell_{2}+1)\ell_{3}(\ell_{3}+1)}\right), (2.22)

we substitute 1=4\ell_{1}=4, 2=3=\ell_{2}=\ell_{3}=\ell and fnl=5.0f_{\rm nl}=5.0, this value of fnlf_{\rm nl} is chosen based on the Planck constraint on local non-Gaussianity [39]. In Fig. 5, we plot the power spectra versus \ell.

The bispectrum of the bounce followed by an inflationary phase is larger than the local bispectrum for all the low multipoles considered here. However, this does not mean that it is ruled out by the Planck observations, as most of the observational power from Planck limiting the bispectrum comes from higher values of \ell which are not present in this plot and for which b(local)b^{(\operatorname{local})} is much larger than the bispectrum from our bouncing models.

Refer to caption
Refer to caption
Figure 5: The bispectrum of the current work with n=1/6n=1/6 (left) and n=0.21n=0.21 (right) and the local bispectrum with fnl=5.0f_{\rm nl}=5.0, considering multipoles such that 1=4\ell_{1}=4 and 2=3=\ell_{2}=\ell_{3}=\ell. The dots correspond to fnl=8518f_{\rm nl}=8518 for n=1/6n=1/6 and to fnl=4372f_{\rm nl}=4372 for n=0.21n=0.21. For the other values of fnlf_{\rm nl} in Table 1, the bispectrum is re-scaled by factors of 0.3900.390 for n=1/6n=1/6 and 0.2190.219 for n=0.21n=0.21. The local bispectrum and cosmic variance are depicted as the black and gray lines, respectively.

2.3 Cosmic variance

In order to decide whether the bispectrum of the bouncing models discussed here can be ruled out, we consider its signal-to-noise by adding cosmic variance as the dominant noise source on large scales. This is the minimal error on b123b_{\ell_{1}\ell_{2}\ell_{3}}. Here we follow [44]. Let us introduce the random variable

B^123=m1m2m3(123m1m2m3)a1m1a2m2a2m3.\hat{B}_{\ell_{1}\ell_{2}\ell_{3}}=\sum_{m_{1}m_{2}m_{3}}\left(\begin{array}[]{ccc}\ell_{1}&\ell_{2}&\ell_{3}\\ m_{1}&m_{2}&m_{3}\end{array}\right)a_{\ell_{1}m_{1}}a_{\ell_{2}m_{2}}a_{\ell_{2}m_{3}}\,. (2.23)

This is an estimator of B123B_{\ell_{1}\ell_{2}\ell_{3}} defined in (2.7), i.e. B^123=B123\langle\hat{B}_{\ell_{1}\ell_{2}\ell_{3}}\rangle=B_{\ell_{1}\ell_{2}\ell_{3}}. In the same way as

C^=(2+1)1m|am|2\hat{C}_{\ell}=(2\ell+1)^{-1}\sum_{m}|a_{\ell m}|^{2} (2.24)

is an estimator of the power spectrum C=|am|2C_{\ell}=\langle|a_{\ell m}|^{2}\rangle. Using identities of the Wigner 3j symbols and neglecting terms involving the bispectrum, which are much smaller than the terms from the power spectrum to the third power, one finds for the variance of our estimator B^123\hat{B}_{\ell_{1}\ell_{2}\ell_{3}}

var(B123)=B^1232C1C2C3(1+δ12+δ13+δ32+2δ12δ23).{\rm var}(B_{\ell_{1}\ell_{2}\ell_{3}})=\langle\hat{B}_{\ell_{1}\ell_{2}\ell_{3}}^{2}\rangle\simeq C_{\ell_{1}}C_{\ell_{2}}C_{\ell_{3}}\left(1+\delta_{\ell_{1}\ell_{2}}+\delta_{\ell_{1}\ell_{3}}+\delta_{\ell_{3}\ell_{2}}+2\delta_{\ell_{1}\ell_{2}}\delta_{\ell_{2}\ell_{3}}\right)\,. (2.25)

For the reduced bispectrum this yields

var(b123)g1232C1C2C3(1+δ12+δ13+δ32+2δ12δ23).{\rm var}\left(b_{\ell_{1}\ell_{2}\ell_{3}}\right)\simeq g^{-2}_{\ell_{1}\ell_{2}\ell_{3}}C_{\ell_{1}}C_{\ell_{2}}C_{\ell_{3}}\left(1+\delta_{\ell_{1}\ell_{2}}+\delta_{\ell_{1}\ell_{3}}+\delta_{\ell_{3}\ell_{2}}+2\delta_{\ell_{1}\ell_{2}}\delta_{\ell_{2}\ell_{3}}\right)\,. (2.26)

Of course this equality is only valid when g1230g_{\ell_{1}\ell_{2}\ell_{3}}\neq 0, i.e., for values of 1,2,3\ell_{1},\ell_{2},\ell_{3} which satisfy the triangle inequality and are such that 1+2+3\ell_{1}+\ell_{2}+\ell_{3} is even, since otherwise b123=0b_{\ell_{1}\ell_{2}\ell_{3}}=0 with vanishing variance.

The minimal error on b123b_{\ell_{1}\ell_{2}\ell_{3}} an experiment measuring all a1m1a2m2a2m3a_{\ell_{1}m_{1}}a_{\ell_{2}m_{2}}a_{\ell_{2}m_{3}} with negligible instrumental noise is (the square root of) the cosmic variance. The latter is computed using the values of CC_{\ell} obtained with the Cosmic Linear Anisotropy Solving System (class[45, 46] and compared to the amplitude of the bispectrum of the bouncing model in Fig. 5. Clearly, the amplitude of the square root of the cosmic variance is larger than the bispectrum for all values of \ell. This precludes a measurement of the individual b122b_{\ell_{1}\ell_{2}\ell_{2}}’s, but in order to investigate whether the model can be ruled out due to its non-Gaussianity, we have to go on and compute the total signal-to-noise ratio.

2.4 Signal-to-noise ratio

For each individual triple (1,2,3)(\ell_{1},\ell_{2},\ell_{3}) with i4\ell_{i}\geqslant 4, i=1,2,3i=1,2,3, cosmic variance is larger than the value of the bispectrum. However, this does not mean that such a bispectrum is not detectable. To decide on that, we estimate the cumulative signal-to-noise ratio (SNR) of the entire bispectrum for imax\ell_{i}\leq\ell_{\max}. We choose max=80\ell_{\max}=80 to make sure that the Sachs-Wolfe term calculated here really is the dominant contribution. However, as we shall see, the SNR saturates already at max30\ell_{\max}\sim 30.

(SN)2(max)=123=2maxb1232var(b123).\left(\frac{S}{N}\right)^{2}(\ell_{\max})=\sum_{\ell_{1}\ell_{2}\ell_{3}=2}^{\ell_{\max}}\frac{b_{\ell_{1}\ell_{2}\ell_{3}}^{2}}{{\rm var}\left(b_{\ell_{1}\ell_{2}\ell_{3}}\right)}\,. (2.27)

In order to perform this computation, we fit the numerical results of the bispectrum obtained for different sets of multipoles by a product ansatz, including the ones where 123\ell_{1}\neq\ell_{2}\neq\ell_{3}. The fits of our product approximation read

ln(b123)\displaystyle\operatorname{ln}(b_{\ell_{1}\ell_{2}\ell_{3}}) =\displaystyle= 3.727×106(123)2.225ln(123)25.607\displaystyle-3.727\times 10^{-6}(\ell_{1}\ell_{2}\ell_{3})-2.225\operatorname{ln}(\ell_{1}\ell_{2}\ell_{3})-25.607 (2.28)

for n=1/6n=1/6 and fnl=3326f_{\rm nl}=3326,

ln(b123)\displaystyle\operatorname{ln}(b_{\ell_{1}\ell_{2}\ell_{3}}) =\displaystyle= 3.727×106(123)2.225ln(123)24.667\displaystyle-3.727\times 10^{-6}(\ell_{1}\ell_{2}\ell_{3})-2.225\operatorname{ln}(\ell_{1}\ell_{2}\ell_{3})-24.667 (2.29)

for n=1/6n=1/6 and fnl=8518f_{\rm nl}=8518,

ln(b123)=3.204×106(123)2.661ln(123)22.491\displaystyle\operatorname{ln}(b_{\ell_{1}\ell_{2}\ell_{3}})=-3.204\times 10^{-6}(\ell_{1}\ell_{2}\ell_{3})-2.661\operatorname{ln}(\ell_{1}\ell_{2}\ell_{3})-22.491 (2.30)

for n=0.21n=0.21 and fnl=959f_{\rm nl}=959 and

ln(b123)=3.204×106(123)2.661ln(123)20.974\displaystyle\operatorname{ln}(b_{\ell_{1}\ell_{2}\ell_{3}})=-3.204\times 10^{-6}(\ell_{1}\ell_{2}\ell_{3})-2.661\operatorname{ln}(\ell_{1}\ell_{2}\ell_{3})-20.974 (2.31)

for n=0.21n=0.21 and fnl=4372f_{\rm nl}=4372. Two of them are shown in Fig. 6, while the other two are simply re-scaled by the ratios of the fnlf_{\rm nl} values.

The variance is obtained from Eq. (2.26), as before. Summing all the terms corresponding to allowed sets of multipoles, i.e. with 1+2+3\ell_{1}+\ell_{2}+\ell_{3} even and |12|31+2|\ell_{1}-\ell_{2}|\leq\ell_{3}\leq\ell_{1}+\ell_{2}, we obtain the cummulative SNR as a function of the maximum multipoles max\ell_{\rm max}.

Our purpose it to investigate whether we achieve a value of order 𝒪(10)\mathcal{O}(10) within the low \ell regime, i.e. 200\ell\ll 200, which corresponds to the validity of the transfer function given in Eq. (2.10), and which is also the regime in which the non-Gaussianitiy of these models is larger. The results are shown in Fig. 7. In order to consider a sky coverage of 70%70\%, we multiply the cosmic variance by 1/0.701/0.70. Clearly, the SNR saturates very fast, namely roughly at max=30\ell_{\max}=30, but it achieves a value larger than 25, both for n=1/6n=1/6 and n=0.21n=0.21 for the larger value of fnlf_{\rm nl}. For the smaller values of fnlf_{\rm nl} the cumulative SNR for n=1/6n=1/6 is 10.310.3 while for n=0.21n=0.21 it is 10.610.6. In all cases these bispectra should be detectable in the Planck data.

Refer to caption
Refer to caption
Figure 6: The bispectrum b123b_{\ell_{1}\ell_{2}\ell_{3}} vs 123\ell_{1}\ell_{2}\ell_{3} for n=1/6n=1/6 (left) and n=0.21n=0.21 (right). The dots correspond to fnl=8518f_{\rm nl}=8518 for n=1/6n=1/6 and to fnl=4372f_{\rm nl}=4372 for n=0.21n=0.21. The lines represent the fits, given by Eqs. (2.29) and (2.31). For the other values of fnlf_{\rm nl} in Table 1, the approximations are simply re-scaled by the ratios of the fnlf_{\rm nl} values, namely the factors 0.3900.390 for n=1/6n=1/6 and 0.2190.219 for n=0.21n=0.21.
Refer to caption
Refer to caption
Figure 7: The signal-to-noise ratio, considering 70%70\% of sky coverage, versus maximum values of the multipoles max\ell_{\rm max} for n=1/6n=1/6 (left) and n=0.21n=0.21 (right). The dots correspond to fnl=8518f_{\rm nl}=8518 for n=1/6n=1/6 and to fnl=4372f_{\rm nl}=4372 for n=0.21n=0.21. For the other values of fnlf_{\rm nl} in Table 1, the bispectrum is re-scaled by factors of 0.3900.390 for n=1/6n=1/6 and 0.2190.219 for n=0.21n=0.21.

3 Conclusions

In this paper we have investigated the CMB bispectrum induced by bouncing models which are motivated by Loop Quantum Cosmology. These models have been proposed in order to address the large scale anomalies of the CMB data. The hope was, that due to the exponential decay of the bispectrum on subhorizon scales, this non-Gaussianity is not substantial. In this work we show, however, that in all cases with sufficient non-Gaussianity to mitigate the large scale anomalies of CMB data, the bispectrum should be detectable in the Planck data. Even though the individual b123b_{\ell_{1}\ell_{2}\ell_{3}} are below cosmic variance if i4\ell_{i}\geqslant 4, i=1,2,3i=1,2,3, the cumulative SNR of the bispectrum with max=30\ell_{\max}=30 is larger than 1010 for all the models proposed, when assuming a sky coverage of 70% and considering only temperature data. Note that the largest contributions to the SNR come from triples (1,2,3)(\ell_{1},\ell_{2},\ell_{3}) where at least one multipole is smaller than 44, for which the signal is larger than or comparable to the square root of the variance. For the higher values of fnlf_{\rm nl} the cumulative SNR is about 26.5 (n=1/6n=1/6) and 48.2 (n=0.21n=0.21) respectively. To get an impression of the amplitude of the SNR of these models, one may want to compare it to the one of CMB lensing, which is about 40 in the Planck 2015 data, see [47]. Note that already at max=5\ell_{\max}=5 the SNR is larger than 15 (n=1/6n=1/6) and 35 (n=0.21n=0.21). But also for the two models with the lower value of fnlf_{\rm nl}, the cumulative SNR is actually just slightly above 10, so that the bispectrum can in principle be detected. In order to obtain an undetectable bispectrum one would have to reduce the fnlf_{\rm nl} by about a factor of 10, so that the cumulative SNR would become of order unity. However, when reducing fnlf_{\rm nl} to these values, the CMB large scale anomalies can no longer be resolved efficiently by these models and they lose one of their main attractive features. Furthermore, adding polarisation data may well enhance the SNR by about a factor of two.

These findings motivate us to perform a search for this bispectrum in the actual Planck data.

Acknowledgements

We thank Ivan Agullo for discussions. PCMD is supported by the grant No. UMO-2018/30/Q/ST9/00795 from the National Science Centre, Poland. RD is supported by the Swiss National Science Foundation. NPN acknowledges the support of Conselho Nacional de Desenvolvimento Científico e Tecnológico-CNPq of Brazil under grant PQ-IB 309073/2017-0.

Appendix A Limber approximation

Refer to caption
Figure 8: The Limber approximation (dashed) is compared with our product approximation (solid) for 2=3=30\ell_{2}=\ell_{3}=30 fixed, as a function of 1\ell_{1}. Even though the Limber approximation is probably better for >50\ell>50, it is much worse than our excellent product approximation in the relevant regime, i<30\ell_{i}<30.

We also considered to solve the integrals (2.19) and (2.20) with 𝒯(k,)=j(k(t0tdec))/5\mathcal{T}(k,\ell)=j_{\ell}(k(t_{0}-t_{\rm dec}))/5 using the Limber approximation [48]. This yields

X(x)\displaystyle X_{\ell}(x) =\displaystyle= 𝑑kT(k,)j(kx)f(k)15𝑑kj(k(t0tdec))j(kx)f(k)\displaystyle\int dkT(k,\ell)j_{\ell}(kx)f(k)\simeq\frac{1}{5}\int dkj_{\ell}(k(t_{0}-t_{\rm dec}))j_{\ell}(kx)f(k) (A.1)
\displaystyle\simeq π10δ(t0tdecx)(+1/2)2f(+1/2t0tdec)\displaystyle\frac{\pi}{10}\frac{\delta(t_{0}-t_{\rm dec}-x)}{(\ell+1/2)^{2}}f\left(\frac{\ell+1/2}{t_{0}-t_{\rm dec}}\right)
=\displaystyle= π10δ(t0tdecx)t0tdec(+1/2)3𝒫(+1/2t0tdec)eγ+1/2kb(t0tdec)\displaystyle\frac{\pi}{10}\delta(t_{0}-t_{\rm dec}-x)\frac{t_{0}-t_{\rm dec}}{(\ell+1/2)^{3}}{\cal P}_{\cal R}\left(\frac{\ell+1/2}{t_{0}-t_{\rm dec}}\right)e^{-\gamma\frac{\ell+1/2}{k_{b}(t_{0}-t_{\rm dec})}}
Z(x)\displaystyle Z_{\ell}(x) =\displaystyle= 𝑑kT(k,)j(k)g(k)15𝑑kj(k(t0tdec))j(kx)g(k)\displaystyle\int dkT(k,\ell)j_{\ell}(k)g(k)\simeq\frac{1}{5}\int dkj_{\ell}(k(t_{0}-t_{\rm dec}))j_{\ell}(kx)g(k) (A.2)
\displaystyle\simeq π10δ(t0tdecx)(+1/2)2g(+1/2t0tdec)\displaystyle\frac{\pi}{10}\frac{\delta(t_{0}-t_{\rm dec}-x)}{(\ell+1/2)^{2}}g\left(\frac{\ell+1/2}{t_{0}-t_{\rm dec}}\right)
=\displaystyle= π10δ(t0tdecx)1(t0tdec)2eγ+1/2kb(t0tdec).\displaystyle\frac{\pi}{10}\delta(t_{0}-t_{\rm dec}-x)\frac{1}{(t_{0}-t_{\rm dec})^{2}}e^{-\gamma\frac{\ell+1/2}{k_{b}(t_{0}-t_{\rm dec})}}\,.

Here we used the functions ff and gg defined in Eqs. (2.14) and (2.15). Of course, the product of three delta functions cannot be integrated, but replacing them by narrow Gaussians we obtain up to an unknown constant AA, related to the width of the Gaussian,

b123)\displaystyle b_{\ell_{1}\ell_{2}\ell_{3})} =\displaystyle= (2π)3B0𝑑xx2X1(x)X2(x)Z3(x)\displaystyle\left(\frac{2}{\pi}\right)^{3}B_{0}\int dxx^{2}X_{\ell_{1}}(x)X_{\ell_{2}}(x)Z_{\ell_{3}}(x) (A.3)
\displaystyle\sim AB0125exp(γ1+2+3kb(t0tdec))[𝒫(1+1/2t0tdec)(1+1/2)3𝒫(2+1/2t0tdec)(2+1/2)3+].\displaystyle\frac{AB_{0}}{125}\exp\left(-\gamma\frac{\ell_{1}+\ell_{2}+\ell_{3}}{k_{b}(t_{0}-t_{\rm dec})}\right)\left[\frac{{\cal P}_{\cal R}\left(\frac{\ell_{1}+1/2}{t_{0}-t_{\rm dec}}\right)}{(\ell_{1}+1/2)^{3}}\frac{{\cal P}_{\cal R}\left(\frac{\ell_{2}+1/2}{t_{0}-t_{\rm dec}}\right)}{(\ell_{2}+1/2)^{3}}+\circlearrowleft\right]\,.

Here \circlearrowleft indicates that the two permutations (1,2)(1,3)(\ell_{1},\ell_{2})\rightarrow(\ell_{1},\ell_{3}) and (1,2)(3,2)(\ell_{1},\ell_{2})\rightarrow(\ell_{3},\ell_{2}) have to be added. We have tested this approximation with our numerical computations and found that for the relevant values of \ell, <30\ell<30, which contribute most to the SNR, it is much less accurate than the product approximation which we use in the main text, see Fig. 8.

Appendix B Overlap with standard bispectrum shapes

In this appendix we determine the overlap of the LQC bispectrum with other standard shapes as they are studied, e.g, in the Planck data [42]. For this purpose we define the dimensionless shape function

S(k1,k2,k3)=α(k1,k2,k3)2B(k1,k2,k3),S(k_{1},k_{2},k_{3})=\alpha(k_{1},k_{2},k_{3})^{2}B(k_{1},k_{2},k_{3}), (B.1)

where α\alpha is a normalization factor such that S(kc,kc,kc)=1S(k_{c},k_{c},k_{c})=1 for a characteristic scale kck_{c}. For the model analyzed in this work, we choose kc=kbk_{c}=k_{b} so that

α=59e3γfnl(2π2)2P2(kb).\alpha=\frac{5}{9}\frac{\operatorname{e}^{3\gamma}}{f_{nl}(2\pi^{2})^{2}P_{\cal R}^{2}(k_{b})}. (B.2)

For the standard cosmological scenario, one usually defines the local, equilateral and orthogonal shapes, which are given respectively by

S(local)(k1,k2,k3)\displaystyle S^{\rm(local)}(k_{1},k_{2},k_{3}) =\displaystyle= 13(k12k2k3+k22k1k3+k32k2k1),\displaystyle\frac{1}{3}\left(\frac{k_{1}^{2}}{k_{2}k_{3}}+\frac{k_{2}^{2}}{k_{1}k_{3}}+\frac{k_{3}^{2}}{k_{2}k_{1}}\right), (B.3)
S(equi)(k1,k2,k3)\displaystyle S^{\rm(equi)}(k_{1},k_{2},k_{3}) =\displaystyle= (k1+k2k3)(k2+k3k1)(k3+k1k2)k1k2k3,\displaystyle\frac{(k_{1}+k_{2}-k_{3})(k_{2}+k_{3}-k_{1})(k_{3}+k_{1}-k_{2})}{k_{1}k_{2}k_{3}}, (B.4)
S(ortho)(k1,k2,k3)\displaystyle S^{\rm(ortho)}(k_{1},k_{2},k_{3}) =\displaystyle= 3k13+3[k12(k2k3)2](k3+k2)k1k2k3+3k32+k2(3k28k3)k2k3.\displaystyle\frac{-3k_{1}^{3}+3[k_{1}^{2}-(k_{2}-k_{3})^{2}](k_{3}+k_{2})}{k_{1}k_{2}k_{3}}+\frac{3k_{3}^{2}+k_{2}(3k_{2}-8k_{3})}{k_{2}k_{3}}. (B.5)

Since these shapes are not orthogonal to each other in general111The orthogonal shape is orthogonal to the equilateral one for a weight function (k1k2k3)1(k_{1}k_{2}k_{3})^{-1}. , one may construct a scalar product

S1,S2=VS1(k1,k2,k3)S2(k1,k2,k3)w(k1,k2,k3)𝑑k1𝑑k2𝑑k3\left\langle S_{1},S_{2}\right\rangle=\int_{V}S_{1}(k_{1},k_{2},k_{3})S_{2}(k_{1},k_{2},k_{3})w(k_{1},k_{2},k_{3})dk_{1}dk_{2}dk_{3} (B.6)

within a region VV where |k1k2|k3k1+k2|k_{1}-k_{2}|\leq k_{3}\leq k_{1}+k_{2}, the shape functions S1S_{1} and S2S_{2} do not diverge and the weight function w(k1,k2,k3)w(k_{1},k_{2},k_{3}) is an arbitrary non-negative function. One can then define an “angle” θ\theta between the shapes S1S_{1} and S2S_{2} by

cosθ12=S1,S2S1,S1S2,S2.\cos\theta_{12}=\frac{\langle S_{1},S_{2}\rangle}{\sqrt{\langle S_{1},S_{1}\rangle\langle S_{2},S_{2}\rangle}}\,. (B.7)

If this angle is large, cosθ121\cos\theta_{12}\ll 1, there is a small overlap. We choose a weight function given by

w(k1,k2,k3)\displaystyle w(k_{1},k_{2},k_{3}) =\displaystyle= {(k1k2k3)4if 104ki0.040else ,\displaystyle\left\{\begin{array}[]{cc}(k_{1}k_{2}k_{3})^{4}&\mbox{if }~10^{-4}\leq k_{i}\leq 0.04\\ 0&\mbox{else }\end{array}\right., (B.10)

where i=1,2,3i=1,2,3. We first perform the integration over k3k_{3} with lower and upper limits given respectively by |k1k2||k_{1}-k_{2}| and k1+k2k_{1}+k_{2}. The step function is chosen in order to avoid ki=0k_{i}=0, since the shape functions diverge for ki0k_{i}\rightarrow 0, and to consider the interesting range for the bispectrum under investigation, i.e. low values of kk. The power law was chosen so that the expression to be integrated is regular for all values of kik_{i} considered. Performing the integrations222The integration limits for dk1dk_{1} and dk2dk_{2} are chosen to encompass the non-negligible region after integration over k3k_{3}.

S(bounce),S(j)=1044×102𝑑k11044×102𝑑k2|k1k2|k1+k2𝑑k3S(bounce)S(j)w,\left\langle S^{\rm(bounce)},S^{(j)}\right\rangle=\int_{10^{-4}}^{4\times 10^{-2}}dk_{1}\int_{10^{-4}}^{4\times 10^{-2}}dk_{2}\int_{|k_{1}-k_{2}|}^{k_{1}+k_{2}}dk_{3}S^{\rm(bounce)}S^{(j)}w, (B.11)

where (j)=(local),(equi),(ortho)(j)={\rm(local),(equi),(ortho)}, and normalizing the results, we obtain for n=1/6n=1/6

cosθ(bounce,local)\displaystyle\cos{\theta}^{\rm(bounce,local)} =\displaystyle= 2.369×104,\displaystyle 2.369\times 10^{-4},
cosθ(bounce,equi)\displaystyle\cos{\theta}^{\rm(bounce,equi)} =\displaystyle= 2.364×104,\displaystyle 2.364\times 10^{-4},
cosθ(bounce,ortho)\displaystyle\cos{\theta}^{\rm(bounce,ortho)} =\displaystyle= 3.985×105\displaystyle-3.985\times 10^{-5} (B.12)

and for n=0.21n=0.21

cosθ(bounce,local)\displaystyle\cos{\theta}^{\rm(bounce,local)} =\displaystyle= 7.117×105,\displaystyle 7.117\times 10^{-5},
cosθ(bounce,equi)\displaystyle\cos{\theta}^{\rm(bounce,equi)} =\displaystyle= 7.071×105,\displaystyle 7.071\times 10^{-5},
cosθ(bounce,ortho)\displaystyle\cos{\theta}^{\rm(bounce,ortho)} =\displaystyle= 1.206×105.\displaystyle-1.206\times 10^{-5}\,. (B.13)

The results do not depend on fnlf_{\rm nl}, as it cancels in the expression of the shape function. The projection is only slightly larger for the local than for the equilateral shape, but it is very small for all three standard shapes. This is a consequence of the rapid exponential decay of the bouncing bispectrum.

References

  • [1] N. Aghanim and et al., Planck 2018 results. I. Overview and the cosmological legacy of Planck, Astron. Astrophys. 642 (2020) A1, [arXiv:1807.06205].
  • [2] R. Cyburt, B. Fields, K. Olive, and T. Yeh, Big bang nucleosynthesis: Present status, Rev. Mod. Phys. 88 (2016) 015004, [arXiv:1505.01076].
  • [3] T. Abbott and et al., Dark Energy Survey Year 1 Results: Cosmological constraints from cluster abundances and weak lensing, Phys. Rev. D 102 (2020) 023509, [arXiv:2002.11124].
  • [4] B. Abolfathi and et al., The Fourteenth Data Release of the Sloan Digital Sky Survey: First Spectroscopic Data from the Extended Baryon Oscillation Spectroscopic Survey and from the Second Phase of the Apache Point Observatory Galactic Evolution Experiment, Astrophys. J. Suppl. Ser. 235 (2018) 19, [arXiv:1707.09322].
  • [5] A. Starobinsky, Relict gravitation radiation spectrum and initial state of the universe, JETP Lett. 30 (1979) 682.
  • [6] A. Guth, Inflationary universe: A possible solution to the horizon and flatness problems, Phys. Rev. D 23 (1981) 347.
  • [7] A. Linde, A new inflationary universe scenario: A possible solution of the horizon, flatness, homogeneity, isotropy and primordial monopole problems, Phys. Lett. B 108 (1982) 389.
  • [8] V. Mukhanov and G. Chibisov, Quantum fluctuations and a nonsingular universe, JETP Lett. 33 (1981) 532.
  • [9] V. F. Mukhanov and G. V. Chibisov, The Vacuum energy and large scale structure of the universe, Sov. Phys. JETP 56 (1982) 258–265.
  • [10] R. Tolman, On the theoretical requirements for a periodic behaviour of the universe, Phys. Rev. 38 (1931) 1758.
  • [11] G. Murphy, Big-bang model without singularities, Phys. Rev. 8 (1973) 4231.
  • [12] M. Novello and J. Salim, Nonlinear photons in the universe, Phys. Rev. D 20 (1979) 377.
  • [13] L. Allen and D. Wands, Cosmological perturbations through a simple bounce, Phys. Rev. D 70 (2004) 063515, [astro-ph/0404441].
  • [14] J. Fabris, R. Perez, S. Bergliaffa, and N. Pinto-Neto, Born-Infeld-like f(R) gravity, Phys. Rev. D 86 (2012) 103525, [arXiv:1205.3458].
  • [15] Y. Cai, D. Easson, and R. Brandenberger, Towards a nonsingular bouncing cosmology, J. Cosmol. Astropart. Phys. 8 (2012) 020, [arXiv:1206.2382].
  • [16] A. Ijjas and P. Steinhardt, Classically stable nonsingular cosmological bounces, Phys. Rev. Lett. 117 (2016) 121304, [arXiv:1606.08880].
  • [17] A. Ilyas, M. Zhu, Y. Zheng, Y. Cai, and E. Saridakis, DHOST bounce, J. Cosmol. Astropart. Phys. 9 (2020) 002, [arXiv:2002.08269].
  • [18] V. Melnikov and S. Orlov, Nonsingular cosmology as a quantum vacuum effect, Phys. Lett. A 70 (1979) 263.
  • [19] M. Gotay and J. Demaret, Quantum cosmological singularities, Phys. Rev. D 28 (1983) 2402.
  • [20] F. Tipler, Interpreting the wave function of the universe, Phys. Rep. 137 (1986) 231.
  • [21] J. de Barros, N. Pinto-Neto, and M. Sagioro-Leal, The causal interpretation of dust and radiation fluid non-singular quantum cosmologies, Phys. Lett. A 241 (1998) 229, [gr-qc/9710084].
  • [22] J. Colistete, R., J. Fabris, and N. Pinto-Neto, Gaussian superpositions in scalar-tensor quantum cosmological models, Phys. Rev. D 62 (2000) 083507, [gr-qc/0005013].
  • [23] M. Bojowald, Absence of a singularity in loop quantum cosmology, Phys. Rev. Lett. 86 (2001) 5227, [:gr-qc/0102069].
  • [24] J. Khoury, B. Ovrut, P. Steinhardt, and N. Turok, Ekpyrotic universe: Colliding branes and the origin of the hot big bang, Phys. Rev. D 64 (2001) 123522, [hep-th/0103239].
  • [25] F. Alvarenga, J. Fabris, N. Lemos, and G. Monerat, Quantum cosmological perfect fluid models, Gen. Relat. Gravit. 34 (2002) 651, [gr-qc/0106051].
  • [26] A. Ashtekar, T. Pawlowski, and P. Singh, Quantum nature of the big bang, Phys. Rev. Lett. 14 (2006) 141301, [gr-qc/0602086].
  • [27] P. Peter and N. Pinto-Neto, Cosmology without inflation, Phys. Rev. D 78 (2008) 063506, [arXiv:0809.2022].
  • [28] A. Ashtekar and P. Singh, Loop quantum cosmology: A status report, Class. Quant. Grav. 28 (2011) 213001, [arXiv:1108.0893].
  • [29] S. Gielen and N. Turok, Perfect quantum cosmological bounce, Phys. Rev. Lett. 117 (2016) 021301, [arXiv:1510.00699].
  • [30] A. Ijjas and P. Steinhardt, Implications of Planck2015 for inflationary, ekpyrotic and anamorphic bouncing cosmologies, Class. Quantum Grav. 33 (2016) 044001, [arXiv:1512.09010].
  • [31] Y. Cai, F. Duplessis, D. Easson, and D. Wang, Searching for a matter bounce cosmology with low redshift observations, Phys. Rev. D 93 (2016) 043546, [arXiv:1512.08979].
  • [32] A. Bacalhau, N. Pinto-Neto, and S. Vitenti, Consistent scalar and tensor perturbation power spectra in single fluid matter, Phys. Rev. D 97 (2018) 083517, [arXiv:1706.08830].
  • [33] R. Raveendran and L. Sriramkumar, Viable scalar spectral tilt and tensor-to-scalar ratio in near-matter bounces, Phys. Rev. D 100 (2019) 083523, [arXiv:1812.06803].
  • [34] I. Agullo, J. Olmedo, and V. Sreenath, Predictions for the CMB from an anisotropic quantum bounce, Phys. Rev. Lett. 124 (2020) 251301, [arXiv:2003.02304].
  • [35] P. Singh, K. Vandersloot, and G. Vereshchagin, Non-Singular Bouncing Universes in Loop Quantum Cosmology, Phys. Rev. D 74 (2006) 043510, [gr-qc/0606032].
  • [36] I. Agullo, D. Kranas, and V. Sreenath, Large scale anomalies in the CMB and non-Gaussianity in bouncing cosmologies, Class. Quant. Grav. 38 (2021), no. 6 065010, [arXiv:2006.09605].
  • [37] I. Agullo, B. Bolliet, and V. Sreenath, Non-Gaussianity in loop quantum cosmology, Phys. Rev. D 97 (2018), no. 6 066021, [arXiv:1712.08148].
  • [38] D. Schwarz, C. J. Copi, D. Huterer, and G. Starkman, CMB Anomalies after Planck, Class. Quant. Grav. 33 (2016), no. 18 184001, [arXiv:1510.07929].
  • [39] P. C. Y. Akrami and et al., Planck 2018 results. IX. Constraints on primordial non-Gaussianity, Astron. Astrophys. 641 (2018) A9, [arXiv:1905.05697].
  • [40] Planck Collaboration, N. Aghanim et al., Planck 2018 results. I. Overview and the cosmological legacy of Planck, Astron. Astrophys. 641 (2020) A1, [arXiv:1807.06205].
  • [41] Planck Collaboration, N. Aghanim et al., Planck 2018 results. VI. Cosmological parameters, Astron. Astrophys. 641 (2020) A6, [arXiv:1807.06209].
  • [42] P. A. R. Ade, N. Aghanim, M. Arnaud, F. Arroja, M. Ashdown, J. Aumont, C. Baccigalupi, M. Ballardini, A. J. Banday, and et al., Planck 2015 results. XVII. Constraints on primordial non-Gaussianity, Astronomy & Astrophysics 594 (Sep, 2016) A17.
  • [43] R. Durrer, The Cosmic Microwave Background. Cambridge University Press, 12, 2020.
  • [44] E. Di Dio, R. Durrer, R. Maartens, F. Montanari, and O. Umeh, The Full-Sky Angular Bispectrum in Redshift Space, JCAP 04 (2019) 053, [arXiv:1812.09297].
  • [45] J. Lesgourgues, The Cosmic Linear Anisotropy Solving System (CLASS) I: Overview, arXiv:1104.2932.
  • [46] D. Blas, J. Lesgourgues, and T. Tram, The Cosmic Linear Anisotropy Solving System (CLASS) II: Approximation schemes, JCAP 07 (2011) 034, [arXiv:1104.2933].
  • [47] Planck Collaboration, P. A. R. Ade et al., Planck 2015 results. XV. Gravitational lensing, Astron. Astrophys. 594 (2016) A15, [arXiv:1502.01591].
  • [48] D. N. Limber, The Analysis of Counts of the Extragalactic Nebulae in Terms of a Fluctuating Density Field., Astrophys. J. 117 (Jan., 1953) 134.