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

Unavoidable shear from quantum fluctuations in contracting cosmologies

Julien Grain    Vincent Vennin
(today)
Abstract

Contracting cosmologies are known to be flawed with a shear instability, where the contribution from the anisotropic stress to the overall energy density grows as a6a^{-6}, with aa the scale factor. Classically, whether or not this contribution becomes important before the bounce depends on its initial value, which can always be sufficiently fine tuned to make it irrelevant. However, vacuum quantum fluctuations inevitably provide a non-vanishing source of anisotropic stress. In this work, we compute the minimum amount of shear that is obtained if one assumes that it vanishes initially, but lets quantum fluctuations build it up. In practice, we consider a massless test scalar field, and describe its quantum fluctuations by means of the stochastic “inflation” (though here applied to a contracting phase) formalism. We find that, if the equation-of-state parameter of the contraction satisfies w>1/9w>-1/9, regardless of when the contracting phase is initiated, the time at which the shear becomes sizeable is always when the Hubble scale approaches the Planck mass (which is also where the bounce is expected to take place). However, if w<1/9w<-1/9, the shear backreaction becomes important much earlier, at a point that depends on the overall amount of contraction.

1 Introduction

Although inflation is the leading paradigm to describe the early universe, it is sometimes assumed to be preceded by a phase of slow contraction, followed by a bounce. This is indeed naturally expected in most theories of quantum gravity, it avoids the initial singularity that is otherwise still present in inflation when considered alone, and can also solve the trans-Planckian problem (see e.g. Refs. [1, 2, 3] and references therein). In a homogeneous cosmology, the energy density associated with the anisotropic stress however grows as a6a^{-6}, where aa is the scale factor. Since the background energy density grows as a3(1+w)a^{-3(1+w)}, where ww is the equation-of-state parameter of the background fluid, any initial anisotropy grows unstable as the universe contracts, hence driving a new kind of singularity [4], unless w>1w>1.

Several solutions to this problem have been proposed. One can for instance assume that the universe contracts with a stiff equation of state, w>1w>1, preventing the energy density associated with the anisotropic stress to overcome the isotropic contribution. This corresponds for instance to the ekpyrotic model [5]. Another solution more rooted in quantum gravity consists in regularising the space-time curvature. A concrete example of this is Loop Quantum Cosmology of anisotropic models of the universe [6]. Here the quantisation of the gravitational degrees of freedom makes all energy densities (including the one associated with the anisotropic stress) effectively bounded from above, then guaranteeing a regular bounce for any equation of state.

Obviously, a third solution is to fine tune the initial anisotropy to be sufficiently small such that it remains negligible until the bounce occurs. The amount of required fine tuning may be large for a long phase of contraction, but, at the classical level, it is always possible to set the initial anisotropy to arbitrarily small values. However, in the presence of vacuum quantum fluctuations, this is not true anymore and there is a minimum, inevitable amount of anisotropic stress sourced by quantum fluctuations.

The goal of this work is to study this unavoidable shear production sourced by quantum fluctuations (note that vector perturbations in bouncing cosmologies were also studied at the classical level in Ref. [7]). It is organised as follows. In Sec. 2, we formulate the problem, and show why quantum fluctuations of a test scalar field provide a non-vanishing source of anisotropic stress (more precisely, we explain why the one-point function of the anisotropic stress produced by scalar-field fluctuations vanish, but not its two-point function). In Sec. 3, we derive a stochastic formalism, analogous to the stochastic-inflation formalism, to describe these quantum fluctuations in an inflating or a contracting cosmology, and to compute the expectation value of the shear they generate. In Sec. 4, we apply these tools to the case of a contracting phase with a constant equation-of-state parameter ww. We find that, when w>1/9w>-1/9, the shear produced out of massless scalar field fluctuations is always negligible until the energy density of the universe reaches the Planck scale, regardless of initial conditions; while for w<1/9w<-1/9, it becomes sizeable much before then, at a point that depends on the time at which the contraction is initiated. In Sec. 5, we compare the shear backreaction with the direct contribution of the test scalar field fluctuations to the energy density of the universe, and conclude that the later is always more important than the former. We also discuss the case of inflating backgrounds, where it is found that the shear backreaction is always negligible. We present our conclusions in Sec. 6.

2 Formulating the problem

We consider the case where deviations from the isotropic Friedmann-Lemaître-Robertson-Walker (FLRW) space-time can be parametrised by a Bianchi I metric [8, 9],

ds2=dt2+a2(t)γijdxidxj,\displaystyle\mathrm{d}s^{2}=-\mathrm{d}t^{2}+a^{2}(t)\gamma_{ij}\mathrm{d}x^{i}\mathrm{d}x^{j}, (2.1)

with a(t)a(t) the isotropised scale factor and γij(t)=exp[2βi(t)]δij\gamma_{ij}(t)=\exp[2\beta_{i}(t)]\delta_{ij}. The βi\beta_{i} functions are constrained to satisfy iβi=0\sum_{i}\beta_{i}=0, such that detγij=1\det\gamma_{ij}=1. The shear tensor, σij\sigma_{ij}, is defined as

σij=γ˙ij2,\displaystyle\sigma_{ij}=\frac{\dot{\gamma}_{ij}}{2}\,, (2.2)

where a dot denotes a derivative with respect to cosmic time tt.

We further assume that the universe is filled with a homogeneous but anisotropic matter fluid, described by its energy density ρ\rho, its pressure PP and its anisotropic stress Πμν\Pi_{\mu\nu}, such that its stress-energy tensor reads

Tμν=(ρ+P)uμuν+Pgμν+Πμν.\displaystyle T_{\mu\nu}=\left(\rho+P\right)u_{\mu}u_{\nu}+Pg_{\mu\nu}+\Pi_{\mu\nu}\,. (2.3)

In this expression, uμu^{\mu} is the four velocity of a comoving observer, normalised such that uμuμ=1u_{\mu}u^{\mu}=-1. From the metric (2.1), a comoving observer has ui=0u^{i}=0, and the normalisation condition imposes that uμ=δ0μu^{\mu}=-\delta^{\mu}_{0}. The anisotropic stress is a symmetric tensor (since the stress-energy tensor is symmetric) that parametrises deviations from a perfect fluid. Given that its “0000” component can always be reabsorbed in the first term of Eq. (2.3), hence in the definition of ρ\rho, it is set to zero without loss of generality. The “0i0i” component of the Einstein equation then imposes that Π0i=0\Pi_{0i}=0, which implies that the anisotropic stress is orthogonal to the comoving velocity, Πμνuν=0\Pi_{\mu\nu}u^{\nu}=0. If one decomposes Πij\Pi_{ij} as Πij=ΠijgmnΠmngij/3+gmnΠmngij/3\Pi_{ij}=\Pi_{ij}-g^{mn}\Pi_{mn}g_{ij}/3+g^{mn}\Pi_{mn}g_{ij}/3, the component gmnΠmngij/3g^{mn}\Pi_{mn}g_{ij}/3 can always be reabsorbed in the second term of Eq. (2.3), hence in the definition of PP, and the remaining part ΠijgmnΠmngij/3\Pi_{ij}-g^{mn}\Pi_{mn}g_{ij}/3 is traceless, so we assume that Πij\Pi_{ij} is traceless without loss of generality, Πijgij=0\Pi_{ij}g^{ij}=0.

Under these conditions, the Einstein equations can be written as

H2\displaystyle H^{2} =\displaystyle= ρ3MPl2+16σijσij,\displaystyle\frac{\rho}{3M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}+\frac{1}{6}\sigma_{ij}\sigma^{ij}\,, (2.4)
H˙\displaystyle\dot{H} =\displaystyle= ρ+P2MPl212σijσij,\displaystyle-\frac{\rho+P}{2M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}-\frac{1}{2}\sigma_{ij}\sigma^{ij}\,, (2.5)
(σji)˙+3Hσji\displaystyle\left(\sigma^{i}_{j}\right){\dot{}}+3H\sigma^{i}_{j} =\displaystyle= ΠjiMPl2,\displaystyle\frac{\Pi^{i}_{j}}{M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}\,, (2.6)

which correspond respectively to the “0000” component, the trace and the traceless part of the “ijij” component, and where Ha˙/aH\equiv\dot{a}/a is the Hubble parameter. By combining these three equations, one obtains a conservation relation,

ρ˙+3H(ρ+P)=σijΠij.\displaystyle\dot{\rho}+3H\left(\rho+P\right)=-\sigma_{ij}\Pi^{ij}\,. (2.7)

At the background level, one can see that the only effect of the shear is to add a contribution ρσ=MPl2σijσij/2\rho_{\sigma}=M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}\sigma_{ij}\sigma^{ij}/2 to the energy density, and pσ=ρσp_{\sigma}=\rho_{\sigma} to the pressure, in the Friedmann equation (2.4) and in the Raychaudhuri equation (2.5). This additional contribution is sourced by the anisotropic stress through Eq. (2.6), which can be formally solved as

σji(t)=σji(tin)[a(tin)a(t)]3+1MPl2tint[a(t)a(t)]3Πji(t)dt.\displaystyle\sigma^{i}_{j}(t)=\sigma^{i}_{j}\left(t_{\mathrm{in}}\right)\left[\frac{a\left(t_{\mathrm{in}}\right)}{a\left(t\right)}\right]^{3}+\frac{1}{M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}\int_{t_{\mathrm{in}}}^{t}\left[\frac{a\left(t^{\prime}\right)}{a\left(t\right)}\right]^{3}\Pi^{i}_{j}\left(t^{\prime}\right)\mathrm{d}t^{\prime}\,. (2.8)

From this expression, one can see that, in the absence of anisotropic stress, any initial amount of shear tensor grows as σjia3\sigma^{i}_{j}\propto a^{-3}, which gives rise to ρσa6\rho_{\sigma}\propto a^{-6}. Denoting by ww the equation-of-state parameter of the background fluid, such that P=wρP=w\rho, Eq. (2.7) gives rise to ρa3(1+w)\rho\propto a^{-3(1+w)} in the absence of anisotropic stress, so the shear contribution eventually dominates unless w>1w>1, as mentioned above.

The time at which ρσ\rho_{\sigma} takes over ρ\rho obviously depends on its initial value, hence on σji(tin)\sigma^{i}_{j}(t_{\mathrm{in}}). Since the contracting phase ends at the time when the universe experiences a bounce, and given that the bounce is followed by an expanding phase, during which ρσ\rho_{\sigma} decreases faster than ρ\rho (unless w>1w>1), it is always possible to make the shear irrelevant by requiring its initial value to be sufficiently small. The shear problem thus becomes an initial fine-tuning problem. There is, however, no natural choice for neither the values of the shear tensor nor the probabilities associated to them, and this could have important consequences for the state of the universe after the bounce (see Refs. [10, 11] for a concrete example in Loop Quantum Cosmology). Alternatively one could imagine the existence of mechanisms in the early stage of, or prior to, the contracting phase, that would set the shear to the required small value, as could be the case in cyclic models of the universe.

These considerations are however valid only under the assumption that the anisotropic stress vanishes. While this is true in principle for a perfect fluid, at the high energy scales that operate in the early universe, field theory is the relevant framework to describe matter, and as we shall see, the unavoidable vacuum fluctuations present in quantum fields are enough to generate an anisotropic stress. For explicitness, let us consider the case of a test scalar field ϕ\phi, minimally coupled to gravity, described by the action

S(ϕ)=d4𝒙g[12gμνμϕνϕ+V(ϕ)],\displaystyle S^{(\phi)}=-\int\mathrm{d}^{4}\bm{x}\sqrt{-g}\left[\frac{1}{2}g^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi+V\left(\phi\right)\right], (2.9)

where V(ϕ)V(\phi) is the potential associated with ϕ\phi. The stress-energy tensor can be obtained from Tμν(ϕ)=(2/g)δS(ϕ)/δgμνT_{\mu\nu}^{(\phi)}=-(2/\sqrt{-g})\delta S^{(\phi)}/\delta g^{\mu\nu}, which leads to

Tμν(ϕ)=μϕνϕ[12gκλκϕλϕ+V(ϕ)]gμν.\displaystyle T_{\mu\nu}^{(\phi)}=\partial_{\mu}\phi\partial_{\nu}\phi-\left[\frac{1}{2}g^{\kappa\lambda}\partial_{\kappa}\phi\partial_{\lambda}\phi+V\left(\phi\right)\right]g_{\mu\nu}\,. (2.10)

As explained above, the anisotropic stress corresponds to the transverse and traceless part of the stress-energy tensor. Transverseness is obtained by projecting Tμν(ϕ)T_{\mu\nu}^{(\phi)} in the hyperplane orthogonal to uμu^{\mu}, by using the projector μν=gμν+uμuν\perp_{\mu\nu}=g_{\mu\nu}+u_{\mu}u_{\nu}.111From the normalisation condition of uμu^{\mu}, uμuμ=1u_{\mu}u^{\mu}=-1, one can indeed check that (i) μνuν=0\perp_{\mu\nu}u^{\nu}=0, (ii) if vμv^{\mu} is a vector orthogonal to uμu^{\mu}, i.e. uμvμ=0u_{\mu}v^{\mu}=0, then μνvν=vμ\perp_{\mu\nu}v^{\nu}=v_{\mu}, and (iii) μρρσ=μν\perp_{\mu}^{\rho}\perp_{\rho\sigma}=\perp_{\mu\nu}. In the Bianchi I space time (2.1), its only non-zero components are ij=gij\perp_{ij}=g_{ij}, which is no more than the induced metric. Tracelessness is obtained by removing the trace of the projected tensor, and one obtains Πij(ϕ)=Tij(ϕ)13gijgmnTmn(ϕ)\Pi_{ij}^{(\phi)}=T^{(\phi)}_{ij}-\frac{1}{3}g_{ij}g^{mn}T_{mn}^{(\phi)}, hence

Πij(ϕ)=iϕjϕ13(gmnmϕnϕ)gij.\displaystyle\Pi_{ij}^{(\phi)}=\partial_{i}\phi\partial_{j}\phi-\frac{1}{3}\left(g^{mn}\partial_{m}\phi\partial_{n}\phi\right)g_{ij}\,. (2.11)

Let us consider the case where the initial shear vanishes, so space time is initially isotropic. If the quantum state of the scalar field ϕ\phi shares the same symmetries as the background, for instance if it is in its vacuum state |0|0\rangle, then there is no preferred direction and 0|Πij(ϕ)|0=0\langle 0|\Pi_{ij}^{(\phi)}|0\rangle=0 (this will be shown explicitly below). This implies that, when taking the expectation value of Eq. (2.8), the anisotropic stress disappears, so σjia3\langle\sigma^{i}_{j}\rangle\propto a^{-3} and the above considerations still apply. However, the two-point function of the anisotropic stress does not necessarily vanish, and since the self contracted-shear appears in ρσ\rho_{\sigma}, this means that quantum fluctuations of a scalar field can source an effective shear. In other words, by self contracting Eq. (2.8), in the absence of initial shear, one has

ρσ=12MPl2tintdt1tintdt2[a(t1)a(t2)a2(t)]3Πij(t1)Πji(t2).\displaystyle\rho_{\sigma}=\frac{1}{2M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}\int_{t_{\mathrm{in}}}^{t}\mathrm{d}t_{1}\int_{t_{\mathrm{in}}}^{t}\mathrm{d}t_{2}\left[\frac{a\left(t_{1}\right)a\left(t_{2}\right)}{a^{2}(t)}\right]^{3}\Pi_{i}^{j}\left(t_{1}\right)\Pi^{i}_{j}\left(t_{2}\right)\,. (2.12)

The goal of the following is thus to compute the two-point function of the anisotropic stress for a test scalar field, in order to evaluate Eq. (2.12). Let us note that, since ϕ\phi must be homogeneous at the background level, Eq. (2.11) is of second order in the field perturbations, hence ρσ\rho_{\sigma} is of fourth order in those perturbations. This small contribution is however enhanced by a6a^{-6}, so the (ir)relevance of the effect is a priori not obvious. Let us also note that other types of fields, such as vector fields or gauge fields, can give a non-vanishing mean anisotropic stress, hence source the shear at second rather than fourth order in perturbations. In this work, we choose to study the case of a scalar field, in order to extract the minimum amount of shear one cannot avoid, simply by postulating the existence of light scalar degrees of freedom during the contraction.

A last word is in order regarding the strategy followed in this work. Hereafter, the question we are interested in is whether or not a homogeneous and isotropic contracting cosmology is stable under quantum fluctuations of a test scalar field. In practice, the stability analysis is performed in a specific “direction”, namely the would-be contribution to the anisotropic stress coming from a test scalar field, in a Bianchi I model. This is because, at the classical level, the shear instability signals the presence of a potential danger in this direction. However, this does not allow us to draw conclusions about stability in other “directions” (this would for instance require to go beyond the Bianchi I space-time). Moreover, our formalism is not meant to describe backreaction, but rather to provide an indicator of whether or not backreaction might become important. This is done by computing an effective energy density associated to the anisotropic stress, and by comparing this quantity to the overall energy density of the background, while still assuming that the space-time geometry is fixed, and close to isotropic. If one found situations where backreaction becomes important, then one would also have to include fluctuations in the metric sector (which are known to couple in anisotropic universes [9]) to describe the full dynamics of the problem. This however goes beyond the scope of this paper.

3 Stochastic shear from a test scalar field

In order to compute the statistics of the anisotropic stress generated by a scalar field in a contracting phase, we employ a stochastic formalism reminiscent of the “stochastic inflation” formalism [12, 13, 14]. While this makes practical calculations easier, a comparison with a full quantum field theoretic treatment is performed in Appendix A, where we check that the “stochastic contraction” approach developed in this work is indeed valid (a result that is well-established in the context of inflation, see e.g. Refs. [15, 16, 17]). Another reason for using a stochastic formalism is that, although only the case of a test field is considered hereafter, it may help to generalise our results to describe the backreaction of this field on the background dynamics, see the discussion in Sec. 6.

3.1 Langevin equations for a test scalar field

During inflation, because of the presence of a phase-space attractor, the so-called slow-roll solution [18, 19], the stochastic formalism reduces to a single Langevin equation once this attractor is reached. In a contracting cosmology, there is no such attractor and the stochastic formalism has to be extended to the full phase space, as was done in Ref. [20], which we follow below. Starting from Eq. (2.9), and working with cosmic time,222In general, the choice of the time coordinate with which the Langevin equations are derived determines the gauge in which the calculation is performed [21] (namely the synchronous gauge for that time variable). When the field perturbations couple to metric perturbations, this sets the gauge in which the noise needs to be computed. However, in the present case of a test field, such a coupling is neglected and there is no subtlety associated with the choice of time coordinate. the Hamilton equations read

ϕ˙\displaystyle\dot{\phi} =\displaystyle= πa3,\displaystyle\frac{\pi}{a^{3}}\,, (3.1)
π˙\displaystyle\dot{\pi} =\displaystyle= a(t)e2βi(t)δijijϕa3m2ϕ.\displaystyle a(t)e^{-2\beta_{i}(t)}\delta^{ij}\partial_{i}\partial_{j}\phi-a^{3}m^{2}\phi\,. (3.2)

Hereafter, for simplicity, we consider the case of a free field with potential V(ϕ)=m2ϕ2/2V(\phi)=m^{2}\phi^{2}/2. The coarse-graining procedure then consists in splitting the scalar field into a large-scale (classical) part and small-scale (quantum) fluctuations as ϕ=ϕ¯+ϕQ\phi=\bar{\phi}+\phi_{Q} and π=π¯+πQ\pi=\bar{\pi}+\pi_{Q}, with

ϕ^Q\displaystyle\hat{\phi}_{Q} =\displaystyle= d3k(2π)3/2W(k,t)[a^kϕk(t)eikx+a^kϕk(t)eikx],\displaystyle\displaystyle\int\frac{\mathrm{d}^{3}\vec{k}}{(2\pi)^{3/2}}W\left(\vec{k},t\right)\left[\hat{a}_{\vec{k}}\phi_{\vec{k}}(t)e^{-i\vec{k}\cdot\vec{x}}+\hat{a}_{\vec{k}}^{\dagger}\phi_{\vec{k}}^{*}(t)e^{i\vec{k}\cdot\vec{x}}\right], (3.3)
π^Q\displaystyle\hat{\pi}_{Q} =\displaystyle= d3k(2π)3/2W(k,t)[a^kπk(t)eikx+a^kπk(t)eikx].\displaystyle\displaystyle\int\frac{\mathrm{d}^{3}\vec{k}}{(2\pi)^{3/2}}W\left(\vec{k},t\right)\left[\hat{a}_{\vec{k}}\pi_{\vec{k}}(t)e^{-i\vec{k}\cdot\vec{x}}+\hat{a}_{\vec{k}}^{\dagger}\pi_{\vec{k}}^{*}(t)e^{i\vec{k}\cdot\vec{x}}\right]. (3.4)

Here, WW is a window function that selects out small-wavelength modes, i.e. it is such that W1W\simeq 1 for kkϵ(k/k,t)k\gg k_{\epsilon}(\vec{k}/k,t) and W0W\simeq 0 otherwise. In an FLRW background, the scale of coarse-graining is chosen as kϵ=ϵa|H|k_{\epsilon}=\epsilon a|H| with ϵ1\epsilon\ll 1, for two reasons. First, this ensures that the coarse-grained part is indeed comprised of large-scale modes only, well above the Hubble radius, where gradients can be neglected (see below and the discussion in Appendix A). Second, this guarantees that the inflow of modes into the large-scale sector is made of quantum fluctuations that are sufficiently squeezed and amplified to be considered as a classical stochastic noise. Here, since the background is anisotropic, the coarse-graining scale not only depends on time but also on the direction of k\vec{k}, which is why the window function depends both on the norm and direction of k\vec{k}. In each spatial direction, from Eq. (2.1) one can define a scale factor ai=aeβia_{i}=ae^{\beta_{i}}, hence a Hubble rate Hi=H+β˙iH_{i}=H+\dot{\beta}_{i}. If one defines the coarse-grained field as being made of wavelengths that are much larger than the Hubble radius in all directions,

ki<ϵai|Hi|=ϵaeβi|H+β˙i|i,\displaystyle k_{i}<\epsilon a_{i}\left|H_{i}\right|=\epsilon ae^{\beta_{i}}\left|H+\dot{\beta}_{i}\right|\ \forall i, (3.5)

where ϵ1\epsilon\ll 1, this gives a prescription for kϵ(k/k,t)k_{\epsilon}(\vec{k}/k,t).

In Eqs. (3.3) and (3.4), a^k\hat{a}^{\dagger}_{\vec{k}} and a^k\hat{a}_{\vec{k}} are creation and annihilation operators, that satisfy the canonical commutation relations [ak,aq]=δ3(kq)[a_{\vec{k}},a^{\dagger}_{\vec{q}}]=\delta^{3}(\vec{k}-\vec{q}). The mode functions ϕk\phi_{\vec{k}} and πk\pi_{\vec{k}}, which satisfy the equations of motion (3.1) and (3.2) when written in Fourier space, have to be normalised according to the Klein-Gordon product iΣtd3x(ΦkΠqΠkΦq)=δ3(kq)i\int_{\Sigma_{t}}\mathrm{d}^{3}x(\Phi_{\vec{k}}\Pi^{*}_{\vec{q}}-\Pi_{\vec{k}}\Phi^{*}_{\vec{q}})=\delta^{3}(\vec{k}-\vec{q}), where Φk=ϕk(t)eikx\Phi_{\vec{k}}=\phi_{\vec{k}}(t)e^{-i\vec{k}\cdot\vec{x}} and Πk=πk(t)eikx\Pi_{\vec{k}}=\pi_{\vec{k}}(t)e^{-i\vec{k}\cdot\vec{x}}, and where Σt\Sigma_{t} is a space-like hypersurface at fixed time tt.

Inserting the field decomposition ϕ=ϕ¯+ϕQ\phi=\bar{\phi}+\phi_{Q} and π=π¯+πQ\pi=\bar{\pi}+\pi_{Q} into Eqs. (3.1) and (3.2), one obtains Langevin equations for the coarse-grained fields,

ϕ¯˙\displaystyle\dot{\bar{\phi}} =\displaystyle= π¯a3+ξϕ,\displaystyle\frac{\bar{\pi}}{a^{3}}+\xi_{\phi}\,, (3.6)
π¯˙\displaystyle\dot{\bar{\pi}} =\displaystyle= a3m2ϕ¯+ξπ,\displaystyle-a^{3}m^{2}\bar{\phi}+\xi_{\pi}\,, (3.7)

where gradient terms are neglected since they are suppressed by ϵ2\epsilon^{2}. The two noise terms ξϕ\xi_{\phi} and ξπ\xi_{\pi} are random Gaussian noises, that share the same statistics as their quantum counterparts

ξ^ϕ\displaystyle\hat{\xi}_{\phi} =\displaystyle= d3k(2π)3/2W(k,t)t[a^kϕk(t)eikx+a^kϕk(t)eikx],\displaystyle\displaystyle-\int\frac{\mathrm{d}^{3}\vec{k}}{(2\pi)^{3/2}}\frac{\partial W(\vec{k},t)}{\partial t}\left[\hat{a}_{\vec{k}}\phi_{\vec{k}}(t)e^{-i\vec{k}\cdot\vec{x}}+\hat{a}_{\vec{k}}^{\dagger}\phi_{\vec{k}}^{*}(t)e^{i\vec{k}\cdot\vec{x}}\right], (3.8)
ξ^π\displaystyle\hat{\xi}_{\pi} =\displaystyle= d3k(2π)3/2W(k,t)t[a^kπk(t)eikx+a^kπk(t)eikx].\displaystyle\displaystyle-\int\frac{\mathrm{d}^{3}\vec{k}}{(2\pi)^{3/2}}\frac{\partial W(\vec{k},t)}{\partial t}\left[\hat{a}_{\vec{k}}\pi_{\vec{k}}(t)e^{-i\vec{k}\cdot\vec{x}}+\hat{a}_{\vec{k}}^{\dagger}\pi_{\vec{k}}^{*}(t)e^{i\vec{k}\cdot\vec{x}}\right]. (3.9)

At leading order in perturbation theory, this statistics is Gaussian, hence fully characterised by its two-point correlation functions,

0|ξ^f(x,t)ξ^g(x,t)|0\displaystyle\langle 0|\hat{\xi}_{f}(\vec{x},t)\hat{\xi}_{g}(\vec{x}^{\prime},t^{\prime})|0\rangle =\displaystyle= d3k(2π)3W(k,t)tW(k,t)tfk(t)gk(t)eik(xx),\displaystyle\int\frac{\mathrm{d}^{3}\vec{k}}{\left(2\pi\right)^{3}}\frac{\partial W(\vec{k},t)}{\partial t}\frac{\partial W(\vec{k},t^{\prime})}{\partial t^{\prime}}f_{\vec{k}}(t)g_{\vec{k}}^{*}(t^{\prime})e^{-i\vec{k}\cdot(\vec{x}-\vec{x^{\prime}})}, (3.10)

where ff and gg can either be ϕ\phi or π\pi, and where we have used the fact that the only non-zero contribution comes from 0|a^ka^q|0=δ3(kq)\left<0\right|\hat{a}_{\vec{k}}\hat{a}^{\dagger}_{\vec{q}}\left|0\right>=\delta^{3}(\vec{k}-\vec{q}). In an anisotropic universe, the resulting integral is however not straightforward to compute, since both the mode functions ϕk\phi_{\vec{k}} and πk\pi_{\vec{k}}, and the window function W(k,t)W(\vec{k},t), depend on the direction of k\vec{k}. For simplicity, we will assume that the universe is initially close to being isotropic, and that the anisotropy is only sourced by the test scalar field ϕ\phi. Since we want to determine the point at which the backreaction of the shear becomes problematic from the point of view of the isotropy assumption, the effect of the anisotropy of the mode and window functions can indeed be neglected, since it only gives rise to corrections of higher order in the shear. In this case, the coarse-graining scale becomes independent of k\vec{k}, kϵ=ϵa|H|k_{\epsilon}=\epsilon a\left|H\right|. If the window function is set to a Heaviside function,

W(k,t)=Θ[kkϵ(t)1],\displaystyle W(\vec{k},t)=\Theta\left[\frac{k}{k_{\epsilon}(t)}-1\right], (3.11)

one has W(k,t)/t=k˙ϵδ(kkϵ)\partial W(\vec{k},t)/\partial t=-\dot{k}_{\epsilon}\delta(k-k_{\epsilon}). If the mode functions are isotropic, ϕk=ϕk\phi_{\vec{k}}=\phi_{k} and πk=πk\pi_{\vec{k}}=\pi_{k}, the integral over the angles defining the direction of k\vec{k} can be performed in Eq. (3.10), and the resulting integral over the norm of k\vec{k} can be carried out with the delta function appearing in W(k,t)/t\partial W(\vec{k},t)/\partial t. This gives rise to

0|ξ^f(x,t)ξ^g(x,t)|0\displaystyle\langle 0|\hat{\xi}_{f}(\vec{x},t)\hat{\xi}_{g}(\vec{x}^{\prime},t^{\prime})|0\rangle =\displaystyle= k˙ϵ(t)2π2kϵ2(t)fkϵ(t)(t)gkϵ(t)(t)sin[kϵ(t)|xx|]kϵ(t)|xx|(Σt)f,g(|xx|)δ(tt),\displaystyle\underbrace{\frac{\dot{k}_{\epsilon}(t)}{2\pi^{2}}k^{2}_{\epsilon}(t)f_{k_{\epsilon}(t)}(t)g^{*}_{k_{\epsilon}(t)}(t)\frac{\sin\left[k_{\epsilon}(t)|\vec{x}-\vec{x}^{\prime}|\right]}{k_{\epsilon}(t)|\vec{x}-\vec{x}^{\prime}|}}_{(\Sigma_{t})_{f,g}\left(|\vec{x}-\vec{x}^{\prime}|\right)}\delta(t-t^{\prime})\,, (3.12)

which shows that noises are white (i.e. uncorrelated in time) in this case. This also defines the covariance matrix 𝚺{\bm{\Sigma}} of the stochastic noises ξϕ\xi_{\phi} and ξπ\xi_{\pi} in the Langevin equations (3.6) and (3.7), which can be formally integrated as

𝚽¯(t)=𝑮(t,tin)𝚽¯(tin)+tintds𝑮(t,s)𝝃(s).\displaystyle\bar{{\bm{\Phi}}}\left(t\right)={\bm{G}}(t,t_{\mathrm{in}})\bar{{\bm{\Phi}}}\left(t_{\mathrm{in}}\right)+\int_{t_{\mathrm{in}}}^{t}\mathrm{d}s\ {\bm{G}}\left(t,s\right){\bm{\xi}}(s)\,. (3.13)

In this expression, we have arranged the coarse-grained phase-space coordinates into the vector 𝚽¯=(ϕ¯,π¯)T\bar{{\bm{\Phi}}}=\left(\bar{\phi},\bar{\pi}\right)^{\mathrm{T}}, and, similarly 𝝃=(ξϕ,ξπ)T{\bm{\xi}}=\left(\xi_{\phi},\xi_{\pi}\right)^{\mathrm{T}}. The Green’s matrix 𝑮{\bm{G}} is associated with the homogeneous dynamics, i.e. it is the solution of

t𝑮(t,t)=(0a3m2a30)𝑮(t,t)+𝑰δ(tt)\displaystyle\frac{\partial}{\partial t}{\bm{G}}(t,t^{\prime})=\left(\begin{array}[]{cc}0&a^{-3}\\ -m^{2}a^{3}&0\end{array}\right){\bm{G}}(t,t^{\prime})+{\bm{I}}\delta(t-t^{\prime}) (3.16)

(see Appendix A of Ref. [20] for more details). From these relations, all statistical moments of the stochastic phase-space variables ϕ¯\bar{\phi} and π¯\bar{\pi} can be computed. For instance, the two-point functions are given by

𝚵t,t(|xx|)0|δ𝚽¯(x,t)δ𝚽¯(x,t)|0=tinmin(t,t)ds𝑮(t,s)𝚺s(|xx|)𝑮(t,s)\displaystyle{\bm{\Xi}}_{t,t^{\prime}}\left(|\vec{x}^{\prime}-\vec{x}|\right)\equiv\left\langle 0\left|\delta\bar{{\bm{\Phi}}}\left(\vec{x},t\right)\delta\bar{{\bm{\Phi}}}\left(\vec{x}^{\prime},t^{\prime}\right)^{\dagger}\right|0\right\rangle=\int_{t_{\mathrm{in}}}^{\mathrm{min}(t,t^{\prime})}\mathrm{d}s\,{\bm{G}}(t,s){\bm{\Sigma}}_{s}\left(|\vec{x}-\vec{x}^{\prime}|\right){\bm{G}}^{\dagger}(t^{\prime},s)

where we have defined δf¯=f¯0|f¯|0\delta\bar{f}=\bar{f}-\langle 0|\bar{f}|0\rangle.

3.2 Stochastic anisotropic stress

Let us now derive the expectation value of the anisotropic stress. As announced in Sec. 2, since the scalar field ϕ\phi is placed in a quantum state that is statistically isotropic, we will find that the mean anisotropic stress vanishes. The following calculation is however more than a simple consistency check, since it provides the building blocks for the calculation of the mean shear, which will be performed in Sec. 3.3.

As can be seen in Eq. (2.11), the calculation of the mean anisotropic stress requires to evaluate quantities of the type 0|iϕ¯jϕ¯|0\langle 0|\partial_{i}\bar{\phi}\partial_{j}\bar{\phi}|0\rangle. This gradient correlator can be obtained from the field correlator (3.1), by expanding iϕ¯=limα0[ϕ¯(x+αei,t)ϕ¯(x,t)]/α\partial_{i}\bar{\phi}=\lim_{\alpha\to 0}[\bar{\phi}(\vec{x}+\alpha\vec{e}_{i},t)-\bar{\phi}(\vec{x},t)]/\alpha, where ei\vec{e}_{i} is a unit vector pointing towards the ithi^{\mathrm{th}} spatial direction. This allows one to write the gradient correlator as the sum of four field correlators, and in the coincident configuration where the gradients are evaluated at the same location x=x\vec{x}=\vec{x}^{\prime}, one finds333In the non-coincident configuration, if one expands |x+αe|=|x|+αxe|x|+α22|x|[1(xe|x|)2]+𝒪(α3),\displaystyle|\vec{x}+\alpha\vec{e}|=|\vec{x}|+\alpha\frac{\vec{x}\cdot\vec{e}}{|\vec{x}|}+\frac{\alpha^{2}}{2|\vec{x}|}\left[1-\left(\frac{\vec{x}\cdot\vec{e}}{|\vec{x}|}\right)^{2}\right]+\mathcal{O}\!\left(\alpha^{3}\right), (3.18) one finds 𝚵t,t;(i,j)(x,x)\displaystyle{\bm{\Xi}}_{t,t^{\prime};(i,j)}(\vec{x},\vec{x}^{\prime}) =\displaystyle= 0|i𝚽¯(x,t)j𝚽¯(x,t)|0\displaystyle\left\langle 0\left|\partial_{i}\bar{{\bm{\Phi}}}\left(\vec{x},t\right)\partial_{j}\bar{{\bm{\Phi}}}^{\dagger}\left(\vec{x}^{\prime},t^{\prime}\right)\right|0\right\rangle =\displaystyle= 𝚵t,t(|xx|)2|xx|[(xx)ei][(xx)ej]|xx|2[𝚵t,t′′(|xx|)+𝚵t,t(|xx|)|xx|],\displaystyle-\frac{{\bm{\Xi}}^{\prime}_{t,t^{\prime}}\left(|\vec{x}^{\prime}-\vec{x}|\right)}{2|\vec{x}^{\prime}-\vec{x}|}-\frac{\left[\left(\vec{x}^{\prime}-\vec{x}\right)\cdot\vec{e}_{i}\right]\left[\left(\vec{x}^{\prime}-\vec{x}\right)\cdot\vec{e}_{j}\right]}{|\vec{x}^{\prime}-\vec{x}|^{2}}\left[{\bm{\Xi}}^{\prime\prime}_{t,t^{\prime}}\left(|\vec{x}^{\prime}-\vec{x}|\right)+\frac{{\bm{\Xi}}^{\prime}_{t,t^{\prime}}\left(|\vec{x}^{\prime}-\vec{x}|\right)}{|\vec{x}^{\prime}-\vec{x}|}\right]\,, where 𝚵t,t(|xx|){\bm{\Xi}}^{\prime}_{t,t^{\prime}}(|\vec{x}^{\prime}-\vec{x}|) and 𝚵t,t′′(|xx|){\bm{\Xi}}^{\prime\prime}_{t,t^{\prime}}(|\vec{x}^{\prime}-\vec{x}|) can be made explicit making use of Eqs. (3.12) and (3.1). However, the coincident limit of the resulting expression is singular since lim|Δx|0ΔxiΔxj/|Δx|2\lim_{|\Delta\vec{x}|\to 0}\Delta x_{i}\Delta x_{j}/|\Delta\vec{x}|^{2} is ill-defined (it depends on the direction of Δxxx\Delta\vec{x}\equiv\vec{x}^{\prime}-\vec{x} along which this limit is taken), which explains why we treat the coincident configuration separately.

𝚵t,t;(i,j)\displaystyle{\bm{\Xi}}_{t,t^{\prime};(i,j)} \displaystyle\equiv 0|i𝚽¯(x,t)j𝚽¯(x,t)|0\displaystyle\left\langle 0\left|\partial_{i}\bar{{\bm{\Phi}}}\left(\vec{x},t\right)\partial_{j}\bar{{\bm{\Phi}}}^{\dagger}\left(\vec{x},t^{\prime}\right)\right|0\right\rangle (3.20)
=\displaystyle= limα0,β01αβ[𝚵t,t(|αeiβej|)+𝚵t,t(0)𝚵t,t(α)𝚵t,t(β)]\displaystyle\lim_{\alpha\to 0,\beta\to 0}\frac{1}{\alpha\beta}\left[{\bm{\Xi}}_{t,t^{\prime}}\left(\left|\alpha\vec{e}_{i}-\beta\vec{e}_{j}\right|\right)+{\bm{\Xi}}_{t,t^{\prime}}\left(0\right)-{\bm{\Xi}}_{t,t^{\prime}}\left(\alpha\right)-{\bm{\Xi}}_{t,t^{\prime}}\left(\beta\right)\right]
=\displaystyle= =𝚵t,t′′(0)δij.\displaystyle=-{\bm{\Xi}}_{t,t^{\prime}}^{\prime\prime}(0)\delta_{ij}\,.

In the first equality, we have used that 𝚵t,t{\bm{\Xi}}_{t,t^{\prime}} only depends on |xx||\vec{x}^{\prime}-\vec{x}|, see Eq. (3.1), and the primes in our final expression denote derivation with respect to that quantity. In the second equality, we have used that 𝚵t,t{\bm{\Xi}}_{t,t^{\prime}} is an even function of |xx||\vec{x}^{\prime}-\vec{x}| (since the cardinal sine function sinc(x)sin(x)/x\mathrm{sinc}(x)\equiv\sin(x)/x appearing in Eq. (3.12) is even), hence 𝚵t,t(0)=0{\bm{\Xi}}_{t,t^{\prime}}^{\prime}(0)=0; together with the fact that |αeiβej|2=α2+β22αβδij|\alpha\vec{e}_{i}-\beta\vec{e}_{j}|^{2}=\alpha^{2}+\beta^{2}-2\alpha\beta\delta_{ij}. This expression can be made further explicit by making use of Eqs. (3.12) and (3.1), and since sinc′′(0)=1/3\mathrm{sinc}^{\prime\prime}(0)=-1/3, one finds

𝚵t,t;(i,j)=tinmin(t,t)dskϵ2(s)𝑮(t,s)𝚺s(0)𝑮(t,s)δij3.\displaystyle{\bm{\Xi}}_{t,t^{\prime};(i,j)}=\int_{t_{\mathrm{in}}}^{\mathrm{min}(t,t^{\prime})}\mathrm{d}s\,k_{\epsilon}^{2}(s){\bm{G}}(t,s){\bm{\Sigma}}_{s}\left(0\right){\bm{G}}^{\dagger}(t^{\prime},s)\frac{\delta_{ij}}{3}\,. (3.21)

It is then easy to see from Eq. (2.11) that, in an isotropic background, the fact that 𝚵t,t(i,j){\bm{\Xi}}^{(i,j)}_{t,t^{\prime}} is proportional to δij\delta_{ij} implies that

0|Π¯ij|0=0.\displaystyle\left\langle 0\left|\overline{\Pi}_{ij}\right|0\right\rangle=0\,. (3.22)

This confirms that the one-point function of the anisotropic stress vanishes in an isotropic background.

3.3 Stochastic shear

From Eq. (2.11), the two-point function of the anisotropic stress can be expressed as combinations of four-point functions of field gradients. Since the statistics of ϕ\phi is Gaussian [given that 𝝃{\bm{\xi}} is a Gaussian noise and that 𝚽¯\bar{{\bm{\Phi}}} is linear in the noise, see Eq. (3.13)], these four-point functions can be evaluated using Wick theorem, namely 0|iϕ¯jϕ¯mϕ¯nϕ¯|0=0|iϕ¯jϕ¯|00|mϕ¯nϕ¯|0+0|iϕ¯mϕ¯|00|jϕ¯nϕ¯|0+0|iϕ¯nϕ¯|00|jϕ¯mϕ¯|0\langle 0|\partial_{i}\bar{\phi}\partial_{j}\bar{\phi}\partial_{m}\bar{\phi}\partial_{n}\bar{\phi}|0\rangle=\langle 0|\partial_{i}\bar{\phi}\partial_{j}\bar{\phi}|0\rangle\langle 0|\partial_{m}\bar{\phi}\partial_{n}\bar{\phi}|0\rangle+\langle 0|\partial_{i}\bar{\phi}\partial_{m}\bar{\phi}|0\rangle\langle 0|\partial_{j}\bar{\phi}\partial_{n}\bar{\phi}|0\rangle+\langle 0|\partial_{i}\bar{\phi}\partial_{n}\bar{\phi}|0\rangle\langle 0|\partial_{j}\bar{\phi}\partial_{m}\bar{\phi}|0\rangle. This gives rise to

0|Π¯ij(t)Π¯ji(t)|0\displaystyle\left\langle 0\left|\overline{\Pi}_{i}^{j}(t)\overline{\Pi}^{i}_{j}(t^{\prime})\right|0\right\rangle =\displaystyle= gij(t)gmn(t)[Ξt,t;(i,m)ϕ¯,ϕ¯Ξt,t;(j,n)ϕ¯,ϕ¯+Ξt,t;(i,j)ϕ¯,ϕ¯Ξt,t;(m,n)ϕ¯,ϕ¯\displaystyle g^{ij}(t)g^{mn}(t^{\prime})\left[{\Xi}_{t,t;(i,m)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t^{\prime},t^{\prime};(j,n)}^{\bar{\phi},\bar{\phi}}+{\Xi}_{t,t^{\prime};(i,j)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t,t^{\prime};(m,n)}^{\bar{\phi},\bar{\phi}}\right. (3.23)
+Ξt,t;(i,n)ϕ¯,ϕ¯Ξt,t;(m,j)ϕ¯,ϕ¯13Ξt,t;(i,j)ϕ¯,ϕ¯Ξt,t;(m,n)ϕ¯,ϕ¯23Ξt,t;(i,m)ϕ¯,ϕ¯Ξt,t;(j,n)ϕ¯,ϕ¯].\displaystyle\kern-25.00003pt+\left.{\Xi}_{t,t^{\prime};(i,n)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t,t^{\prime};(m,j)}^{\bar{\phi},\bar{\phi}}-\frac{1}{3}{\Xi}_{t,t;(i,j)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t^{\prime},t^{\prime};(m,n)}^{\bar{\phi},\bar{\phi}}-\frac{2}{3}{\Xi}_{t,t^{\prime};(i,m)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t,t^{\prime};(j,n)}^{\bar{\phi},\bar{\phi}}\right].

In an isotropic universe, making use of Eq. (3.20), the terms involving products of the form Ξt,t;(i,j)ϕ¯,ϕ¯Ξt,t;(k,)ϕ¯,ϕ¯{\Xi}_{t,t;(i,j)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t,^{\prime}t^{\prime};(k,\ell)}^{\bar{\phi},\bar{\phi}} cancel out. Such terms would indeed correspond to the squared expectation value of the anisotropic stress, which was already shown to vanish, see Eq. (3.22). Thus only the cross terms remain, i.e. those of the form Ξt,t;(i,j)ϕ¯,ϕ¯Ξt,t;(k,)ϕ¯,ϕ¯{\Xi}_{t,t^{\prime};(i,j)}^{\bar{\phi},\bar{\phi}}{\Xi}_{t,t^{\prime};(k,\ell)}^{\bar{\phi},\bar{\phi}}, leading to444Here this result has been obtained by first coarse-graining the scalar field, and then calculating its two-point function and associated anisotropic stress. We have checked that by first deriving the full anisotropic stress, which includes all scales, and then coarse-graining the result, one obtains the same formula.

0|Π¯ij(t)Π¯ji(t)|0=10a2(t)a2(t)[(Ξt,tϕ¯,ϕ¯)′′(0)]2.\displaystyle\left\langle 0\left|\overline{\Pi}_{i}^{j}(t)\overline{\Pi}^{i}_{j}(t^{\prime})\right|0\right\rangle=\frac{10}{a^{2}\left(t\right)a^{2}\left(t^{\prime}\right)}\left[\left(\Xi_{t,t^{\prime}}^{\bar{\phi},\bar{\phi}}\right)^{\prime\prime}(0)\right]^{2}\,. (3.24)

This can be cast in a form similar to Eq. (3.21), and this shows that, even in an isotropic background, scalar quantum fluctuations make the two-point function of the anisotropic stress not vanish.

4 Shear backreaction in a contracting cosmology

Let us now apply the calculational program sketched above to the case of a contracting cosmology (expanding cosmologies, in particular inflating cosmologies, are discussed in Sec. 5). In an isotropic universe, defining u=aϕu=a\phi, Eqs. (3.1)-(3.2) give rise to

uk′′+(a2m2+k22)uk=0,\displaystyle{u}_{k}^{\prime\prime}+\left(a^{2}m^{2}+k^{2}-\mathcal{H}^{2}-\mathcal{H}^{\prime}\right)u_{k}=0\,, (4.1)

where a prime denotes derivation with respect to conformal time η\eta, related to cosmic time through dt=adη\mathrm{d}t=a\mathrm{d}\eta, and where =a/a\mathcal{H}=a^{\prime}/a. In order to set initial conditions in the Bunch-Davies vacuum state [22], the pulsation ωk2\omega_{k}^{2}, defined as the term between the braces in Eq. (4.1), must be dominated by k2k^{2} at early time. In a contracting cosmology, this clearly imposes m=0m=0, and for simplicity, we consider that this is the case hereafter. If the equation-of-state parameter of the background is constant, one has ωk2=k22(13w)/[(1+3w)2η2]\omega_{k}^{2}=k^{2}-2(1-3w)/[(1+3w)^{2}\eta^{2}]. The resulting mode equation can be solved by means of Hankel functions, and setting integration constants such that the mode functions are normalised according to the Klein-Gordon product mentioned above, one obtains

ϕk=12aπkeiπ4(2ν+1)kηHν(1)(kη)withν=321w1+3w\displaystyle\phi_{k}=\frac{1}{2a}\sqrt{\frac{\pi}{k}}e^{i\frac{\pi}{4}(2\nu+1)}\sqrt{-k\eta}H_{\nu}^{(1)}\left(-k\eta\right)\quad\quad\mathrm{with}\quad\quad\nu=\frac{3}{2}\frac{1-w}{1+3w} (4.2)

in the vacuum state, where Hν(1)H_{\nu}^{(1)} is the first Hankel function and where, hereafter, we assume that 1/3<w<1-1/3<w<1. On super-Hubble scales, the Hankel function can be expanded, and one finds ϕkaHeiπ(2ν1)/42ν1Γ(ν)(kη)1/2ν/(πka)\phi_{k\ll aH}\simeq e^{i\pi(2\nu-1)/4}2^{\nu-1}\Gamma(\nu)(-k\eta)^{1/2-\nu}/(\sqrt{\pi k}a) and πk=a2ϕk\pi_{k}=a^{2}\phi_{k}^{\prime}. Plugging these expressions into Eq. (3.12), one obtains

𝚺t(|xx|)\displaystyle\kern-20.00003pt{\bm{\Sigma}}_{t}\left(|\vec{x}-\vec{x}^{\prime}|\right) =\displaystyle= Γ2(ν)(2π)3(1+3w)3(1w)1+3wϵ12w1+3w|H|3sin[kϵ(t)|xx|]kϵ(t)|xx|\displaystyle\displaystyle\frac{\Gamma^{2}(\nu)}{\left(2\pi\right)^{3}}\left(1+3w\right)^{\frac{3(1-w)}{1+3w}}\epsilon^{\frac{12w}{1+3w}}\left|H\right|^{3}\frac{\sin\left[k_{\epsilon}(t)|\vec{x}-\vec{x}^{\prime}|\right]}{k_{\epsilon}(t)|\vec{x}-\vec{x}^{\prime}|} (4.5)
×(132(w1)a3H32(w1)a3H[32(w1)a3H]2).\displaystyle\times\left(\begin{array}[]{ccc}1&&\frac{3}{2}\left(w-1\right)a^{3}H\\ \frac{3}{2}\left(w-1\right)a^{3}H&&\left[\frac{3}{2}\left(w-1\right)a^{3}H\right]^{2}\end{array}\right)\,.

If the mass vanishes, the background equation of motion (3.16) can be readily solved, and one obtains for the Green function

𝑮(t,t)=(1ttdsa3(s)01)Θ(tt).\displaystyle{\bm{G}}(t,t^{\prime})=\left(\begin{array}[]{cc}1&\int_{t^{\prime}}^{t}\frac{\mathrm{d}s}{a^{3}(s)}\\ 0&1\end{array}\right)\Theta\left(t-t^{\prime}\right)\,. (4.9)

Recalling that sinc′′(0)=1/3\mathrm{sinc}^{\prime\prime}(0)=-1/3, by making use of Eqs. (3.12) and (3.1), Eq. (3.24) then gives rise to

0|Π¯ij(t1)Π¯ji(t2)|0\displaystyle\kern-20.00003pt\left\langle 0\left|\overline{\Pi}_{i}^{j}(t_{1})\overline{\Pi}^{i}_{j}(t_{2})\right|0\right\rangle =\displaystyle= 5Γ4(321w1+3w)288π6(1+3w)6(1w)1+3w(1+9w)2ϵ4(9w+1)1+3wHin8(a1a2ain2)3w5\displaystyle\frac{5\Gamma^{4}\left(\frac{3}{2}\frac{1-w}{1+3w}\right)}{288\pi^{6}}\frac{\left(1+3w\right)^{\frac{6(1-w)}{1+3w}}}{\left(1+9w\right)^{2}}\epsilon^{\frac{4(9w+1)}{1+3w}}H_{\mathrm{in}}^{8}\left(\frac{a_{1}a_{2}}{a_{\mathrm{in}}^{2}}\right)^{{3w-5}} (4.10)
{[max(a1ain,a2ain)]19w1}2,\displaystyle\kern 20.00003pt\left\{\left[\mathrm{\max}\left(\frac{a_{1}}{a_{\mathrm{in}}},\frac{a_{2}}{a_{\mathrm{in}}}\right)\right]^{-1-9w}-1\right\}^{2},

where a1a_{1} and a2a_{2} denote a(t1)a(t_{1}) and a(t2)a(t_{2}) respectively. The contribution from the shear to the overall energy density can then be computed with Eq. (2.12). In order to specify the term max(a1,a2)\mathrm{max}(a_{1},a_{2}) appearing in Eq. (4.10), the rectangular integration domain of Eq. (2.12) can be split into two triangles, one where t1<t2t_{1}<t_{2} and one where t1>t2t_{1}>t_{2}. Since the integrand is in fact symmetric in t1t_{1} and t2t_{2}, both these triangular regions give the same contribution and it is enough to compute the integral over one of the triangles and multiply it by two. This leads to

0|ρσ|0\displaystyle\left\langle 0|\rho_{\sigma}|0\right\rangle =\displaystyle= 5432π6Γ4(321w1+3w)(1+3w)9(1+9w)2(ϵ1+3w)41+9w1+3wH6MPl2[15+27w(aain)1+9w\displaystyle\frac{5}{432\pi^{6}}\Gamma^{4}\left(\frac{3}{2}\frac{1-w}{1+3w}\right)\frac{\left(1+3w\right)^{9}}{\left(1+9w\right)^{2}}\left(\frac{\epsilon}{1+3w}\right)^{4\frac{1+9w}{1+3w}}\frac{H^{6}}{M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}\left[\frac{1}{5+27w}-\left(\frac{a}{a_{\mathrm{in}}}\right)^{1+9w}\right.
+3+9w(19w)2(aain)2+18w16(1+9w)2(19w)2(5+27w)(aain)5+27w2+(1+9w19w)2(aain)3+9w].\displaystyle\kern-30.00005pt\left.+\frac{3+9w}{\left(1-9w\right)^{2}}\left(\frac{a}{a_{\mathrm{in}}}\right)^{2+18w}-\frac{16\left(1+9w\right)^{2}}{\left(1-9w\right)^{2}\left(5+27w\right)}\left(\frac{a}{a_{\mathrm{in}}}\right)^{\frac{5+27w}{2}}+\left(\frac{1+9w}{1-9w}\right)^{2}\left(\frac{a}{a_{\mathrm{in}}}\right)^{3+9w}\right].

One can check that, when t=tint=t_{\mathrm{in}}, ρσ=0\left\langle\rho_{\sigma}\right\rangle=0. When w>1/9w>-1/9, the terms have been ordered in decreasing power, while for w<1/9w<-1/9, the dominant term is the third one (i.e. the first one on the second line), which increases as a2+18w\propto a^{2+18w}. These two cases need therefore to be distinguished.

Refer to caption
Refer to caption
Figure 1: Left panel: contribution from the shear to the overall energy density in a contracting cosmology, as a function of time labeled by the value of the Hubble scale in Planckian units. The result is computed with Eq. (LABEL:eq:rho_shear:contraction), using ϵ=0.1\epsilon=0.1 Three different equation-of-state parameters are displayed, namely w=2/9w=-2/9 (blue lines), w=0w=0 (green lines) and w=1/3w=1/3 (red lines), for three different initial times, Hin/MPl=1010H_{\mathrm{in}}/M_{\scriptscriptstyle{\mathrm{Pl}}}=10^{-10} (solid lines), Hin/MPl=1015H_{\mathrm{in}}/M_{\scriptscriptstyle{\mathrm{Pl}}}=10^{-15} (dashed lines) and Hin/MPl=1010H_{\mathrm{in}}/M_{\scriptscriptstyle{\mathrm{Pl}}}=10^{-10} (dotted lines). The grey shaded area corresponds to ρσ>ρtot\langle\rho_{\sigma}\rangle>\rho_{\mathrm{tot}}, where the backreaction from the shear becomes important (and where our calculation does not apply). Right panel: direct contribution from the scalar field fluctuations to the overall energy density, in the same situations as those shown in the left panel.

When w>1/9w>-1/9, since the dominant term, i.e. the one proportional to 1/(5+27w)1/(5+27w), does not depend on the initial time (contrary to the other terms, it does not involve aina_{\mathrm{in}}), the contribution from the shear to the energy density quickly reaches an attractor, which scales as ρσH6/MPl2\langle\rho_{\sigma}\rangle\propto H^{6}/M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}, hence ρσ/ρtot(H/MPl)4\langle\rho_{\sigma}\rangle/\rho_{\mathrm{tot}}\propto(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{4}. As a consequence, until the background energy density reaches the Planck scale, the contribution from the shear to that energy density is negligible. This can be clearly seen in the left panel of Fig. 1 (see the cases w=0w=0 and w=1/3w=1/3). In fact, because of the prefactor in Eq. (LABEL:eq:rho_shear:contraction), the ratio ρσ/ρtot\langle\rho_{\sigma}\rangle/\rho_{\mathrm{tot}} is still negligible when HH reaches the Planck scale. In bouncing cosmologies, |H||H| is bounded from above since the bounce demands for a smooth transition from contraction, i.e. H<0H<0, to expansion, i.e. H>0H>0. The upper-bound of |H||H| can be safely taken to be of the order of the Planck scale at most555Either the bounce is classical and we can expect the maximal value of |H||H| to be below the Planck scale; or the bounce is of quantum-gravitational origin, hence expected to occur at the Planck energy density, as can explicitly be proven in Loop Quantum Cosmology for example. and the maximal value that ρσ/ρtot\langle\rho_{\sigma}\rangle/\rho_{\mathrm{tot}} can achieve is thus of order ϵ41+9w1+3w\sim\epsilon^{4\frac{1+9w}{1+3w}}. Hence, one concludes that there is no shear backreaction problem in this case.

When w<1/9w<-1/9, since the dominant term, i.e. the first one of the second line in Eq. (LABEL:eq:rho_shear:contraction), explicitly depends on aina_{\mathrm{in}}, the late-time behaviour of ρσ\langle\rho_{\sigma}\rangle strongly depends on the initial time of the contraction and there is no attractor. Besides, this dominant term increases in time (recall that aa decreases in a contracting cosmology), so ρσ/ρtot\langle\rho_{\sigma}\rangle/\rho_{\mathrm{tot}} does not scale as (H/MPl)4(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{4} anymore, but rather as (H/MPl)2(79w)/[3(1+w)][MPl/(ϵHin)]4(1+9w)/[3(1+w)](H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{2(7-9w)/[3(1+w)]}[M_{\scriptscriptstyle{\mathrm{Pl}}}/(\epsilon H_{\mathrm{in}})]^{-4(1+9w)/[3(1+w)]}. This implies that, if the contracting phase starts in the infinite past (ϵHin=0\epsilon H_{\mathrm{in}}=0), then there is an IR divergence in the shear. Indeed, if w<1/9w<-1/9, then the power spectrum of the field fluctuations is too red for the large wavelengths to give a finite contribution to the shear. This problem can be solved by considering a finite contraction. However, if HinH_{\mathrm{in}} is sufficiently small, i.e. if the contracting phase starts sufficiently early on, the contribution from the shear to the overall energy density becomes sizeable before the energy density of the universe reaches the Planck scale. This is again well visible in the left panel of Fig. 1, see the case w=2/9w=-2/9. Whether or not a backreaction problem occurs before HH reaches MPlM_{\scriptscriptstyle{\mathrm{Pl}}} thus depends on the value of HinH_{\mathrm{in}}, i.e. on the total amount of contraction. This is why, in Fig. 2, we display the minimum value of HinH_{\mathrm{in}} such that the shear does not backreact on the background geometry until HH reaches the Planck scale. One can see that, when w0.2w\lesssim-0.2, this is impossible to achieve.

Let us note that the case w=1/9w=-1/9 is a priori singular. Indeed, in the prefactor of Eq. (LABEL:eq:rho_shear:contraction), one notices the presence of the term (1+9w)2(1+9w)^{-2}, which diverges when ww approaches 1/9-1/9. However, in that limit, all three first terms in the square brackets become of the same order, and, when combined together, they precisely give a contribution proportional to (1+9w)2(1+9w)^{2} (with a logarithmic dependence on a/aina/a_{\mathrm{in}}), making this limit regular.

In all cases, let us also stress that quantum diffusion makes the shear grow faster than classically. Indeed, if w>1/9w>-1/9, one has ρσa9(1+w)\langle\rho_{\sigma}\rangle\propto a^{-9(1+w)} and if w<1/9w<-1/9, ρσa9w7\langle\rho_{\sigma}\rangle\propto a^{9w-7}. So ρσ\langle\rho_{\sigma}\rangle always increases faster than a8a^{-8}, while it scales as a6a^{-6} classically.

5 Discussion

Refer to caption
Figure 2: Minimum value of the initial Hubble parameter (parametrising the maximum amount of contraction) such that the backreaction coming from the shear (blue curve) and from the spectator field fluctuations (green) remain negligible until the time when the overall energy density reaches the Planck scale.

For comparison, it is interesting to compute the contribution to the overall energy density arising directly from the scalar field fluctuations themselves. Indeed, from Eq. (2.10), the “0000” component of the stress-energy tensor reads ρϕ=ϕ˙2/2+V(ϕ)+δijiϕjϕ/(2a2)\rho_{\phi}=\dot{\phi}^{2}/2+V(\phi)+\delta^{ij}\partial_{i}\phi\partial_{j}\phi/(2a^{2}). In the absence of a potential, and after neglecting gradient terms, which are suppressed by higher powers of ϵ\epsilon in the coarse-grained sector, this gives rise to666In this case, by computing the “(ij)(ij)” component of the stress-energy tensor in Eq. (2.10), one can see that the pressure associated with ϕ\phi takes the same form, i.e. pϕ=ρϕp_{\phi}=\rho_{\phi}. This implies that the direct fluctuations of the scalar field also have an effective equation-of-state parameter w=1w=1 (provided the potential vanishes), as for the shear (for which w=1w=1 even in the presence of a non-vanishing potential). At the classical level, these two therefore backreact in the same way, but at the quantum level, they behave differently, see Eqs. (LABEL:eq:rho_shear:contraction) and (5.1). ρϕ=ϕ˙2/2=π2/(2a6)\rho_{\phi}=\dot{\phi}^{2}/2=\pi^{2}/(2a^{6}), see Eq. (3.1). One thus has to compute ρϕ=Ξt,tπ¯,π¯(0)/(2a6)\langle\rho_{\phi}\rangle=\Xi_{t,t}^{\bar{\pi},\bar{\pi}}(0)/(2a^{6}), where the two-point functions 𝚵t,t(|xx|){\bm{\Xi}}_{t,t^{\prime}}(|\vec{x}^{\prime}-\vec{x}|) are given in Eq. (3.1). Making use of Eq. (LABEL:eq:Sigma:MasslessField) for the noise correlator and of Eq. (4.9) for the Green function, this gives rise to

0|ρϕ|0=3Γ2(321w1+3w)128π3(1+3w)3(w1)2w(ϵ1+3w)6w1+3wH4[1(aain)6w]\displaystyle\left\langle 0|\rho_{\phi}|0\right\rangle=\frac{3\Gamma^{2}\left(\frac{3}{2}\frac{1-w}{1+3w}\right)}{128\pi^{3}}\frac{\left(1+3w\right)^{3}\left(w-1\right)^{2}}{w}\left(\frac{\epsilon}{1+3w}\right)^{\frac{6w}{1+3w}}H^{4}\left[1-\left(\frac{a}{a_{\mathrm{in}}}\right)^{6w}\right] (5.1)

if w0w\neq 0, while ρϕ=9H4/(256π2)ln(ain/a)\langle\rho_{\phi}\rangle=9H^{4}/(256\pi^{2})\ln(a_{\mathrm{in}}/a) when w=0w=0. One can see that two regimes need again to be distinguished. If w>0w>0, the second term in the square brackets, (a/ain)6w(a/a_{\mathrm{in}})^{6w}, quickly becomes negligible as contraction proceeds, and one reaches an attractor where ρϕH4\langle\rho_{\phi}\rangle\propto H^{4}, hence ρϕ/ρtot\langle\rho_{\phi}\rangle/\rho_{\mathrm{tot}} is suppressed by (H/MPl)2(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{2}. In this case, the spectator field does not backreact until HH reaches the Planck scale, and the direct contribution from the scalar field fluctuations to the overall energy density is larger than that of the shear, which we recall is suppressed by (H/MPl)4(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{4}. If w<0w<0, the second term in the square brackets provides the dominant contribution. Since it depends explicitly on aina_{\mathrm{in}}, there is no attractor anymore, ρϕ/ρtot\langle\rho_{\phi}\rangle/\rho_{\mathrm{tot}} scales as (H/MPl)2(1w)/(1+w)(MPl/Hin)4w/(1+w)(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{2(1-w)/(1+w)}(M_{\scriptscriptstyle{\mathrm{Pl}}}/H_{\mathrm{in}})^{-4w/(1+w)}, and there is an IR divergence (similar to the one discussed for the shear) if the contracting phase extends infinitely far in the past. The energy density contained in ϕ\phi can therefore become large before HH reaches the Planck mass, provided HinH_{\mathrm{in}} is small enough, i.e. provided contraction lasts long enough. The direct contribution from the scalar field fluctuations to the overall energy density is displayed in the right panel of Fig. 1, and in Fig. 2, we show the minimum value of the initial Hubble rate such that no backreaction occurs, as a function of the equation-of-state parameter. Since this value is always larger than the one coming from the requirement of no shear backreaction, one concludes that the direct contribution of the scalar field fluctuations to the energy density becomes sizeable before its contribution to the shear does. As a consequence, the assumption of working with a test field breaks down before the shear becomes sizeable, and one would need to relax it in order to investigate the dynamics of the universe when it becomes truly anisotropic.

Let us note that, in an inflating cosmology, a light (mHm\ll H) spectator scalar field also generates an anisotropic stress, although there is no classical shear instability in that case. In a de-Sitter space-time, once the field has reached the slow-roll attractor, at the background level, it evolves as ϕ(t)=em2(ttin)/(3H)ϕ(tin)\phi(t)=e^{-m^{2}(t-t_{\mathrm{in}})/(3H)}\phi(t_{\mathrm{in}}), and if its mode functions are normalised to the Bunch-Davies vacuum, on super-Hubble scales, they are given by ϕkaH2ν1Γ(ν)Hν1/2aν3/2/(kνπ)\phi_{k\ll aH}\simeq 2^{\nu-1}\Gamma(\nu)H^{\nu-1/2}a^{\nu-3/2}/(k^{\nu}\sqrt{\pi}), where ν=3/214m2/(9H2)\nu=3/2\sqrt{1-4m^{2}/(9H^{2})}. Using the same procedure as above, this gives rise to

0|ρσ|0\displaystyle\left\langle 0|\rho_{\sigma}|0\right\rangle =\displaystyle= 24(ν2)Γ4(ν)27π6ϵ104νH6MPl2(1+m23H2)2(1+2m215H2)[151+2m215H21m26H2(aina)2+2m23H2\displaystyle\frac{2^{4\left(\nu-2\right)}\Gamma^{4}\left(\nu\right)}{27\pi^{6}}\frac{\epsilon^{10-4\nu}\frac{H^{6}}{M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}}}{\left(1+\frac{m^{2}}{3H^{2}}\right)^{2}\left(1+\frac{2m^{2}}{15H^{2}}\right)}\Bigg{[}1-5\frac{1+\frac{2m^{2}}{15H^{2}}}{1-\frac{m^{2}}{6H^{2}}}\left(\frac{a_{\mathrm{in}}}{a}\right)^{2+\frac{2m^{2}}{3H^{2}}} (5.2)
+151+2m215H2(12m23H2)2(aina)4+4m23H216(1+m23H2)2(12m23H2)2(aina)5+2m23H2\displaystyle+15\frac{1+\frac{2m^{2}}{15H^{2}}}{\left(1-\frac{2m^{2}}{3H^{2}}\right)^{2}}\left(\frac{a_{\mathrm{in}}}{a}\right)^{4+\frac{4m^{2}}{3H^{2}}}-16\frac{\left(1+\frac{m^{2}}{3H^{2}}\right)^{2}}{\left(1-\frac{2m^{2}}{3H^{2}}\right)^{2}}\left(\frac{a_{\mathrm{in}}}{a}\right)^{5+\frac{2m^{2}}{3H^{2}}}
+5(1+m23H2)2(1+2m215H2)(12m23H2)2(1m26H2)(aina)6].\displaystyle+5\frac{\left(1+\frac{m^{2}}{3H^{2}}\right)^{2}\left(1+\frac{2m^{2}}{15H^{2}}\right)}{\left(1-\frac{2m^{2}}{3H^{2}}\right)^{2}\left(1-\frac{m^{2}}{6H^{2}}\right)}\left(\frac{a_{\mathrm{in}}}{a}\right)^{6}\Bigg{]}.

One can see that, up to quickly decaying terms, ρσ\rho_{\sigma} acquires a constant value, of order H6/MPl2H^{6}/M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}. Therefore, its relative contribution to the Friedmann equation (2.4) is suppressed by (H/MPl)4(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{4} and remains small at sub-Planckian scales. For instance, in the light-field limit, i.e. when mHm\ll H, the above expression gives

0|ρσ|03MPl2H2(ϵH6π2MPl)4.\displaystyle\frac{\langle 0|\rho_{\sigma}|0\rangle}{3M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}H^{2}}\simeq\left(\frac{\epsilon H}{6\pi\sqrt{2}M_{\scriptscriptstyle{\mathrm{Pl}}}}\right)^{4}. (5.3)

In single-field slow-roll models of inflation, with current measurements [23, 24] of the scalar power spectrum amplitude 𝒫ζ=H2/(8π2ϵ1MPl2)2×109\mathcal{P}_{\zeta}=H^{2}/(8\pi^{2}\epsilon_{1}M_{\scriptscriptstyle{\mathrm{Pl}}}^{2})\simeq 2\times 10^{-9} where ϵ1\epsilon_{1} is the first slow-roll parameter, and current constraints from the Planck data on the tensor-to-scalar ratio r=16ϵ1<0.1r=16\epsilon_{1}<0.1, one obtains ρσ/(3MPl2H2)<1024ϵ4\rho_{\sigma}/(3M_{\scriptscriptstyle{\mathrm{Pl}}}^{2}H^{2})<10^{-24}\epsilon^{4} at the time when observed scales are produced, a tiny value indeed. Let us note however that, compared to the Friedmann equation, the relative contribution of the shear to the Raychaudhuri equation (2.5) is enhanced by an additional factor 1/ϵ11/\epsilon_{1}, since H˙=ϵ1H2\dot{H}=-\epsilon_{1}H^{2}, but using the above formulas the contribution is proportional to ϵ4(H/MPl)2𝒫ζ\epsilon^{4}(H/M_{\scriptscriptstyle{\mathrm{Pl}}})^{2}\mathcal{P}_{\zeta} and is therefore still negligible. Let us finally point out that the energy density contained in the scalar field fluctuations reads ρϕm2ϕ¯2/2ϵ32ν22ν53Γ2(ν)H4/π3\langle\rho_{\phi}\rangle\simeq m^{2}\langle\bar{\phi}^{2}\rangle/2\simeq\epsilon^{3-2\nu}2^{2\nu-5}3\Gamma^{2}(\nu)H^{4}/\pi^{3}, where one has used Eq. (3.1) to evaluate ϕ¯2\langle\bar{\phi}^{2}\rangle. This is in fact larger than ρσ\langle\rho_{\sigma}\rangle, so ϕ\phi would stop acting as a test field before it generates a substantial shear, as in the contracting case discussed in Sec. 4. There is therefore no shear backreaction problem in inflating cosmologies. This is in agreement with Ref. [25], where, instead of working with Bianchi I cosmologies, the effect of quantum anisotropies on quasi de-Sitter backgrounds was studied in the context of Taub cosmologies. In Ref. [26], the classical isotropisation of inflating space times in the presence of SU(2)-gauge fields coupled with an axion was also studied, and it was shown that some initial configurations lead to a premature termination of slow-roll inflation if the axion drives inflation. In Ref. [27], the case of inflating Bianchi I space times in the presence of a U(1) gauge field coupled to the inflaton was also investigated, and the stochastic formalism was employed to show that the quantum fluctuations in the gauge field can produce a large statistical anisotropy.

6 Conclusion

Isotropic contracting cosmologies with w<1w<1 are unstable fixed points, since any amount of initial shear leads to an effective contribution to the energy density that grows as a6a^{-6}. Nonetheless, if one sets initial conditions in an exactly isotropic universe, classically, the universe remains isotropic. When quantum fluctuations are included however, they make the system diffuse away from the isotropic fixed point, and the classical instability then has the potential to drive a shear backreaction problem. In this work, we have quantified this effect if the anisotropic stress arises from quantum fluctuations of a test, massless scalar field. We have found that, if w>1/9w>-1/9, the shear contribution to the overall energy density reaches an attractor that remains negligible until the energy density of the universe reaches the Planck scale, where a bounce is expected to take place (and close to which our treatment does not apply anyway). If w<1/9w<-1/9 however, the shear backreaction can become substantial before one reaches the Planck scale, if the contracting phase lasts long enough (which signals the presence of an IR divergence for an infinite contraction). In either case, we have also found that the direct contribution from the scalar field quantum fluctuations to the energy density of the universe is always more important than that coming from the shear. As a consequence, in order to study the dynamics of the universe as it becomes truly anisotropic, one would first need to incorporate the backreaction of the scalar field on the overall energy density.

It is worth stressing that by comparing ρσ\langle\rho_{\sigma}\rangle to the energy density associated to the background, we have tried to estimate the probability that a substantial shear is imprinted on a given FLRW patch. Our result is therefore stochastic by nature, i.e. ρσ\rho_{\sigma} should not be thought of as an actual energy density component but more as an indicator for the presence of a potential backreaction problem. This also indicates that one may gain further insight by computing the full probability distribution function associated to the shear. Since it is related to the scalar field fluctuations in a non-linear way, its statistics should be non-Gaussian, and we plan to further investigate it in future works.

Let us also note that the stochastic formalism was already employed in the context of contracting cosmologies in Ref. [28], where the case of a contracting phase driven by a scalar field with an exponential potential was studied. In such systems, phase space possesses classical unstable fixed points. Even if one sets initial conditions exactly on such fixed points, quantum fluctuations drive the system away from these configurations, and the outcome of this quantum instability was found to depend on the equation-of-state parameter during the contraction: if w=1/3w=1/3, there is no substantial backreaction before one reaches the Planck scale, while if w=0w=0, the quantum instability can become effective before the Planck scale if contraction lasts long enough. Those results are therefore very similar to ours.

Although our calculation was performed for a massless spectator scalar field, it can be easily generalised to other setups. For instance, if the mass of the field is not vanishing, the dynamics remains linear and the methods presented in this work can still be directly applied. However, in that case, three physical scales play a role in the dynamics of a given Fourier mode: its physical wavenumber k/ak/a, the Hubble scale HH, and the mass of the field mm. In the asymptotic past, both k/ak/a and HH become small, but k/ak/a takes over HH if w>1/3w>-1/3 and the effect of the expansion becomes negligible. However, since mm is constant, it provides the dominant contribution to the frequency of the field fluctuations in the asymptotic past. Since they cannot be described as massless fluctuations on a flat space-time in that limit, the Bunch-Davies vacuum cannot be imposed, which makes the choice of the initial quantum state more involved.

One may however speculate that, as long as the field is heavy, it remains unexcited, and that it starts sourcing the shear only when HH becomes larger than mm. From that point on, since the field is light, our results may apply, which means that, in practice, one might simply have to set the initial value of the Hubble parameter HinH_{\mathrm{in}} to mm. If this is correct, the bound we have obtained on HinH_{\mathrm{in}} for soft equations of state, see the discussion around Fig. 2, translates into a lower bound on mm, which is of the order of the Planck mass. The conclusion would therefore be that fields with masses substantially below the Planck mass make isotropic contracting cosmologies with soft equations of state unstable. However, one would have to check that quickly after the time when the field becomes light, sub-Hubble fluctuations relax to the Bunch-Davies state, which is a priori not guaranteed (this is similar to the trans-Planckian problem [29] in the inflationary context). We plan to address these questions in the future.

The geometry in which the anisotropic degrees of freedom are allowed to develop could finally be extended to more generic setups than Bianchi I metrics. The case of non-test fields could also be studied. When the contribution of the anisotropic stress to the background dynamics becomes sizeable, its backreaction could be modelled with the stochastic formalism (provided the separate-universe approach holds in that case), which may help to understand how the geometry of the universe behaves as one approaches the bounce. This would notably imply to compute the field perturbations on an anisotropic configuration, and to incorporate anisotropic noises in the Langevin equations. We leave these extensions for future work.

Acknowledgments

It is a pleasure to thank Emmanuel Frion, Tays Miranda, Patrick Peter and David Wands for very interesting comments and discussions.

Appendix A Comparison between stochastic and quantum-field-theoretic calculations

In this appendix, we explain how our results could be obtained by performing a full-quantum-field theoretic (QFT) calculation, and show that the stochastic procedure employed in this work provides a good approximation to the full QFT result.

The stochastic procedure leading to the expectation value of ρσ\rho_{\sigma} relies on two approximations. First, by identifying the quantum operators ξ^ϕ\hat{\xi}_{\phi} and ξ^ϕ\hat{\xi}_{\phi}, defined in Eq. (3.8) and (3.9), with their stochastic counterparts, i.e. with Gaussian stochastic noises sharing the same two-point function (3.10), non-vanishing commutators are neglected. However, in the present case, since ρ^σ\langle\hat{\rho}_{\sigma}\rangle involves four-point functions of ϕ\phi only (i.e. it does not involve π\pi, the momentum conjugated to ϕ\phi), there is no effect from non-vanishing commutators in that quantity, and the stochastic procedure is exact with that respect (see Refs. [30, 20]). Second, once a given Fourier mode has joined the coarse-grained sector, i.e. once it has crossed out the coarse-graining scale kϵ(t)k_{\epsilon}(t), it is evolved with the background equations of motion (3.6) and (3.7) while it should in principle be evolved with the full equations of motion (3.1) and (3.2), where the gradient terms are not neglected. The non-inclusion of gradient terms on super coarse-graining scales leads to an error that we now try to characterise.

We consider a free spectator scalar field and employ the same vectorial notations as in Sec. 3.1: 𝚽¯:=(ϕ¯,π¯)T\bar{\bm{\Phi}}:=\left(\bar{\phi},\bar{\pi}\right)^{\mathrm{T}}, 𝝃:=(ξϕ,ξπ)T\bm{\xi}:=\left(\xi_{\phi},\xi_{\pi}\right)^{\mathrm{T}} and 𝚽k:=(ϕk,πk)T\bm{\Phi}_{k}:=\left(\phi_{k},\pi_{k}\right)^{\mathrm{T}}. The scale of coarse-graining, kϵ(t)k_{\epsilon}(t), is labelled by the small parameter ϵ\epsilon. It is a bijective function from tt to kk (i.e. k=kϵ(t)k=k_{\epsilon}(t)), and we denote its inverse bijection from kk to tt as kϵ1k_{\epsilon}^{-1} (i.e. t=kϵ1(k)t=k_{\epsilon}^{-1}(k)). Following the prescription of Sec. 3.1, we let kϵ(t)=ϵa(t)|H(t)|k_{\epsilon}(t)=\epsilon a(t)|H(t)|, and use a step function for the window function, see Eq. (3.11), which leads to W(k,t)/t=k˙ϵδ(kkϵ)\partial W(\vec{k},t)/\partial t=-\dot{k}_{\epsilon}\delta(k-k_{\epsilon}). In vectorial notations, Eqs. (3.8)-(3.9) can be recast as

𝝃=d3k(2π)3/2W˙(t)[a^keikx𝚽k(t)+a^keikx𝚽k(t)].\displaystyle\bm{\xi}=-\displaystyle\int\frac{\mathrm{d}^{3}\vec{k}}{(2\pi)^{3/2}}\dot{W}(t)\left[\hat{a}_{k}e^{-i\vec{k}\vec{x}}\bm{\Phi}_{k}(t)+\hat{a}^{\dagger}_{k}e^{i\vec{k}\vec{x}}\bm{\Phi}^{\star}_{k}(t)\right]. (A.1)

The Langevin equations (3.6) and (3.7), and the equations of motion for the mode functions (3.1) and (3.2), read

𝚽¯˙\displaystyle\dot{\bar{\bm{\Phi}}} =\displaystyle= 𝑨(0)𝚽¯+𝝃,\displaystyle\bm{A}_{(0)}\bar{\bm{\Phi}}+\bm{\xi}, (A.2)
𝚽˙k\displaystyle\dot{\bm{\Phi}}_{k} =\displaystyle= 𝑨(k)𝚽k,\displaystyle\bm{A}_{(k)}\bm{\Phi}_{k}, (A.3)

with

𝑨(k)(t):=(0a3a3(k2a2+m2)0)=(0a3m2a30)𝑨(0)+(00ak20)𝑽(k).\displaystyle\bm{A}_{(k)}(t):=\left(\begin{array}[]{cc}0&a^{-3}\\ -a^{3}\left(\frac{k^{2}}{a^{2}}+m^{2}\right)&0\end{array}\right)=\underbrace{\left(\begin{array}[]{cc}0&a^{-3}\\ -m^{2}a^{3}&0\end{array}\right)}_{\bm{A}_{(0)}}+\underbrace{\left(\begin{array}[]{cc}0&0\\ -ak^{2}&0\end{array}\right)}_{\bm{V}_{(k)}}. (A.10)

The Green function introduced in Eq. (3.16) generates the solutions of the classical background dynamics, driven by 𝑨(0)\bm{A}_{(0)}. For this reason, we denote it 𝑮(0)(t,s)\bm{G}_{(0)}(t,s) in this appendix, while 𝑮(k)(t,s)\bm{G}_{(k)}(t,s) stands for the solution of the quantum mode functions, i.e. is the solution of Eq. (3.16) where 𝑨(0)\bm{A}_{(0)} is replaced with 𝑨(k)\bm{A}_{(k)}. With these notations, on the one hand, Eqs. (3.1) and (3.12) can be recast as

𝚵t,t(|xx|)\displaystyle{\bm{\Xi}}_{t,t^{\prime}}\left(|\vec{x}^{\prime}-\vec{x}|\right) =\displaystyle= 16π2tinmin(t,t)dsdkϵ3(s)dssinc[kϵ(s)|xx|]\displaystyle\frac{1}{6\pi^{2}}\int_{t_{\mathrm{in}}}^{\mathrm{\min}(t,t^{\prime})}\mathrm{d}s\frac{\mathrm{d}k_{\epsilon}^{3}(s)}{\mathrm{d}s}\mathrm{sinc}\left[k_{\epsilon}(s)|\vec{x}^{\prime}-\vec{x}|\right] (A.11)
×𝑮(0)(t,s)𝚽kϵ(s)(s)𝚽kϵ(s)(s)𝑮(0)(t,s).\displaystyle\times\bm{G}_{(0)}(t,s)\bm{\Phi}_{k_{\epsilon}(s)}(s)\bm{\Phi}^{\dagger}_{k_{\epsilon}(s)}(s)\bm{G}^{\dagger}_{(0)}(t^{\prime},s)\,.

On the other hand, a full QFT calculation would instead lead to the following covariance matrix

𝚵t,tQFT(|xx|)\displaystyle{\bm{\Xi}}_{t,t^{\prime}}^{\mathrm{QFT}}\left(|\vec{x}^{\prime}-\vec{x}|\right) =\displaystyle= 16π2kϵ(tin)kϵ[min(t,t)]dk3sinc(k|xx|)𝚽k(t)𝚽k(t).\displaystyle\frac{1}{6\pi^{2}}\displaystyle\int^{k_{\epsilon}[\mathrm{min}(t,t^{\prime})]}_{k_{\epsilon}(t_{\mathrm{in}})}\mathrm{d}k^{3}\mathrm{sinc}\left(k|\vec{x}^{\prime}-\vec{x}|\right)\bm{\Phi}_{k}(t)\bm{\Phi}^{\dagger}_{k}(t^{\prime}). (A.12)

To make the comparison between these two expressions explicit, let us first note that

𝚽k(t)=𝑮(k)(t,s)𝚽k(s).\displaystyle\bm{\Phi}_{k}(t)=\bm{G}_{(k)}(t,s)\bm{\Phi}_{k}(s). (A.13)

In the above, the time ss can be arbitrarily chosen, with the only constraint that is has to be anterior to tt. Let us thus choose s=tk=kϵ1(k)s=t_{k}=k^{-1}_{\epsilon}(k), which is possible thanks to the bijective nature of kϵ(t)k_{\epsilon}(t). This leads to

𝚵t,tQFT(|xx|)\displaystyle{\bm{\Xi}}_{t,t^{\prime}}^{\mathrm{QFT}}\left(|\vec{x}^{\prime}-\vec{x}|\right) =\displaystyle= 16π2kϵ(tin)kϵ[min(t,t)]dk3sinc(k|xx|)𝑮(k)(t,tk)𝚽k(tk)𝚽k(tk)𝑮(k)(t,tk).\displaystyle\frac{1}{6\pi^{2}}\displaystyle\int^{k_{\epsilon}[\mathrm{min}(t,t^{\prime})]}_{k_{\epsilon}(t_{\mathrm{in}})}\mathrm{d}k^{3}\mathrm{sinc}\left(k|\vec{x}^{\prime}-\vec{x}|\right)\bm{G}_{(k)}(t,t_{k})\bm{\Phi}_{k}(t_{k})\bm{\Phi}^{\dagger}_{k}(t_{k})\bm{G}^{\dagger}_{(k)}(t^{\prime},t_{k}).

Let us now perform the change of integration variable ksk\to s defined by k=kϵ(s)k=k_{\epsilon}(s). Then dk3=ds(dkϵ3ds)\mathrm{d}k^{3}=\mathrm{d}s\left(\frac{\mathrm{d}k^{3}_{\epsilon}}{\mathrm{d}s}\right) and tkt_{k} becomes tkϵ(s)=kϵ1[kϵ(s)]=st_{k_{\epsilon}(s)}=k^{-1}_{\epsilon}[k_{\epsilon}(s)]=s. One finally obtains

𝚵t,tQFT(|xx|)\displaystyle{\bm{\Xi}}_{t,t^{\prime}}^{\mathrm{QFT}}\left(|\vec{x}^{\prime}-\vec{x}|\right) =\displaystyle= 16π2tinmin(t,t)dsdkϵ3(s)dssinc[kϵ(s)|xx|]\displaystyle\frac{1}{6\pi^{2}}\displaystyle\int^{\mathrm{min}(t,t^{\prime})}_{t_{\mathrm{in}}}\mathrm{d}s\frac{\mathrm{d}k_{\epsilon}^{3}(s)}{\mathrm{d}s}\mathrm{sinc}\left[k_{\epsilon}(s)|\vec{x}^{\prime}-\vec{x}|\right] (A.15)
×𝑮(kϵ(s))(t,s)𝚽kϵ(s)(s)𝚽kϵ(s)(s)𝑮(kϵ(s))(t,s).\displaystyle\times\bm{G}_{(k_{\epsilon}(s))}(t,s)\bm{\Phi}_{k_{\epsilon}(s)}(s)\bm{\Phi}^{\dagger}_{k_{\epsilon}(s)}(s)\bm{G}^{\dagger}_{(k_{\epsilon}(s))}(t^{\prime},s).

Comparing this expression with Eq. (A.11), one clearly sees that the stochastic approach provides a good approximation of the full QFT result if the scale of coarse graining is chosen such that 𝑮(kϵ(s))(t,s)\bm{G}_{(k_{\epsilon}(s))}(t,s) is sufficiently close to 𝑮(0)(t,s)\bm{G}_{(0)}(t,s). In other words, the stochastic calculation is valid if gradient terms can be neglected in the evolution of quantum modes at scales larger than the coarse-graining scale.

In order to make this statement more quantitative, let us compare 𝑮(0)(t,s)\bm{G}_{(0)}(t,s) and 𝑮(k)(t,s)\bm{G}_{(k)}(t,s) in more details. As explained above, they satisfy the differential equations

t𝑮(0)(t,s)\displaystyle\frac{\partial}{\partial t}\bm{G}_{(0)}(t,s) =\displaystyle= 𝑨(0)(t)𝑮(0)(t,s)+𝑰δ(ts)\displaystyle\bm{A}_{(0)}(t)\bm{G}_{(0)}(t,s)+\bm{I}\delta(t-s) (A.16)
t𝑮(k)(t,s)\displaystyle\frac{\partial}{\partial t}\bm{G}_{(k)}(t,s) =\displaystyle= [𝑨(0)(t)+𝑽(k)(t)]𝑮(k)(t,s)+𝑰δ(ts),\displaystyle\left[\bm{A}_{(0)}(t)+\bm{V}_{(k)}(t)\right]\bm{G}_{(k)}(t,s)+\bm{I}\delta(t-s), (A.17)

see Eq. (3.16). By taking the difference between these two equations, one obtains

t[𝑮(k)(t,s)𝑮(0)(t,s)]=𝑨(0)(t)[𝑮(k)(t,s)𝑮(0)(t,s)]+𝑽(k)(t)𝑮(k)(t,s).\displaystyle\frac{\partial}{\partial t}\left[\bm{G}_{(k)}(t,s)-\bm{G}_{(0)}(t,s)\right]=\bm{A}_{(0)}(t)\left[\bm{G}_{(k)}(t,s)-\bm{G}_{(0)}(t,s)\right]+\bm{V}_{(k)}(t)\bm{G}_{(k)}(t,s)\,. (A.18)

Let us see this relation as a linear, first-order differential equation for 𝑮(k)(t,s)𝑮(0)(t,s)\bm{G}_{(k)}(t,s)-\bm{G}_{(0)}(t,s), with a source term given by 𝑽(k)(t)𝑮(k)(t,s)\bm{V}_{(k)}(t)\bm{G}_{(k)}(t,s). By variation of constants, this equation can be formally solved as

𝑮(k)(t,s)𝑮(0)(t,s)=stds𝒯[est𝑨(0)(s′′)ds′′]Θ(ts)𝑮(0)(t,s)𝑽(k)(s)𝑮(k)(s,s),\displaystyle\bm{G}_{(k)}(t,s)-\bm{G}_{(0)}(t,s)=\int_{s}^{t}\mathrm{d}s^{\prime}\underbrace{\mathcal{T}\left[e^{\int_{s^{\prime}}^{t}\bm{A}_{(0)}(s^{\prime\prime})\mathrm{d}s^{\prime\prime}}\right]\Theta\left(t-s^{\prime}\right)}_{\bm{G}_{(0)}(t,s^{\prime})}\bm{V}_{(k)}(s^{\prime})\bm{G}_{(k)}(s^{\prime},s), (A.19)

where 𝒯\mathcal{T} denotes the time-ordering operator, and where one recognises the formal solution to Eq. (A.16), i.e. 𝑮(0)(t,s)\bm{G}_{(0)}(t,s^{\prime}). This gives rise to

𝑮(k)(t,s)=𝑮(0)(t,s)+stds𝑮(0)(t,s)𝑽(k)(s)𝑮(k)(s,s).\displaystyle\bm{G}_{(k)}(t,s)=\bm{G}_{(0)}(t,s)+\displaystyle\int^{t}_{s}\mathrm{d}s^{\prime}\bm{G}_{(0)}(t,s^{\prime})\bm{V}_{(k)}(s^{\prime})\bm{G}_{(k)}(s^{\prime},s). (A.20)

This is only an implicit solution since 𝑮(k)(t,s)\bm{G}_{(k)}(t,s) appears on both sides of this relation. However, since both 𝑽(k)\bm{V}_{(k)} and 𝑮(k)𝑮(0)\bm{G}_{(k)}-\bm{G}_{(0)} are suppressed by powers of k2k^{2}, this allows one to make a perturbative expansion in k2k^{2} (this is the so-called Dyson series procedure) to relate 𝑮(k)\bm{G}_{(k)} to 𝑮(0)\bm{G}_{(0)}. The first order of this expansion is obtained by replacing 𝑮(k)(s,s)\bm{G}_{(k)}(s^{\prime},s) by 𝑮(0)(s,s)\bm{G}_{(0)}(s^{\prime},s) in the right-hand side of Eq. (A.20), leading to

𝑮(k)(t,s)=𝑮(0)(t,s)+stds𝑮(0)(t,s)𝑽(k)(s)𝑮(0)(s,s)+𝒪(k4).\displaystyle\bm{G}_{(k)}(t,s)=\bm{G}_{(0)}(t,s)+\displaystyle\int^{t}_{s}\mathrm{d}s^{\prime}\bm{G}_{(0)}(t,s^{\prime})\bm{V}_{(k)}(s^{\prime})\bm{G}_{(0)}(s^{\prime},s)+\mathcal{O}(k^{4}). (A.21)

The integral on the right-hand side of this expression can be computed making use of Eq. (4.9). Denoting (t1,t2)t1t2dt/a3(t)\mathcal{I}(t_{1},t_{2})\equiv\int_{t_{1}}^{t_{2}}\mathrm{d}t/a^{3}(t), one has

𝑮(0)(t,s)𝑽(k)(s)𝑮(0)(s,s)=k2a(s)((s,t)(s,t)(s,s)1(s,s)).\displaystyle\bm{G}_{(0)}(t,s^{\prime})\bm{V}_{(k)}(s^{\prime})\bm{G}_{(0)}(s^{\prime},s)=-k^{2}a(s^{\prime})\left(\begin{array}[]{ccc}\mathcal{I}(s^{\prime},t)&&\mathcal{I}(s^{\prime},t)\mathcal{I}(s,s^{\prime})\\ 1&&\mathcal{I}(s,s^{\prime})\end{array}\right). (A.24)

If the equation-of-state parameter of the universe, ww, is constant, then a(t)=ain(t/tin)23(1+w)a(t)=a_{\mathrm{in}}(t/t_{\mathrm{in}})^{\frac{2}{3(1+w)}}, and the integral \mathcal{I} as well as the integration over ss^{\prime} in Eq. (A.21) can be performed. This gives rise to

𝑮(k)(t,s)𝑮(0)(t,s)=k2a2(s)H2(s)𝑴(t,s)+𝒪(k4),\displaystyle\bm{G}_{(k)}(t,s)-\bm{G}_{(0)}(t,s)=\frac{k^{2}}{a^{2}(s)H^{2}(s)}\bm{M}(t,s)+\mathcal{O}\!\left(k^{4}\right), (A.25)

where the matrix 𝑴(t,s)\bm{M}(t,s) has entries

M00(t,s)\displaystyle M_{00}\left(t,s\right) =\displaystyle= 23(3w+1)(w1)(3w+5){(3w+5)+3(w1)[a(t)a(s)]3w+1\displaystyle\frac{-2}{3\left(3w+1\right)\left(w-1\right)\left(3w+5\right)}\left\{\left(3w+5\right)+3\left(w-1\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{3w+1}\right. (A.26)
2(3w+1)[a(t)a(s)]32(w1)}\displaystyle\quad\quad\quad\left.-2\left(3w+1\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{\frac{3}{2}\left(w-1\right)}\right\}
M10(t,s)\displaystyle M_{10}\left(t,s\right) =\displaystyle= 2a3(s)H(s)3w+5{1[a(t)a(s)]3w+52}\displaystyle\frac{2a^{3}(s)H(s)}{3w+5}\left\{1-\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{\frac{3w+5}{2}}\right\} (A.27)
M01(t,s)\displaystyle M_{01}\left(t,s\right) =\displaystyle= 4a3(s)H1(s)3(3w+1)(w1)(3w+5)(9w1){(3w+5)(3w+5)[a(t)a(s)]9w12\displaystyle\frac{4a^{-3}\left(s\right)H^{-1}\left(s\right)}{3\left(3w+1\right)\left(w-1\right)\left(3w+5\right)\left(9w-1\right)}\left\{\left(3w+5\right)-\left(3w+5\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{\frac{9w-1}{2}}\right. (A.28)
(9w1)[a(t)a(s)]32(w1)+(9w1)[a(t)a(s)]3w+1}\displaystyle\quad\quad\quad\left.-\left(9w-1\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{\frac{3}{2}(w-1)}+\left(9w-1\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{3w+1}\right\}
M11(t,s)\displaystyle M_{11}\left(t,s\right) =\displaystyle= 23(3w+1)(w1)(3w+5){3(w1)+(3w+5)[a(t)a(s)]3w+1\displaystyle\frac{-2}{3\left(3w+1\right)\left(w-1\right)\left(3w+5\right)}\left\{3\left(w-1\right)+\left(3w+5\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{3w+1}\right. (A.29)
2(3w+1)[a(t)a(s)]3w+52}.\displaystyle\quad\quad\quad\left.-2\left(3w+1\right)\left[\frac{a\left(t\right)}{a\left(s\right)}\right]^{\frac{3w+5}{2}}\right\}.

With kϵ(s)=ϵa(s)H(s)k_{\epsilon}(s)=\epsilon a(s)H(s), Eq. (A.25) gives rise to 𝑮(kϵ(s))(t,s)𝑮(0)(t,s)=ϵ2𝑴(t,s)+𝒪(k4)\bm{G}_{(k_{\epsilon}(s))}(t,s)-\bm{G}_{(0)}(t,s)=\epsilon^{2}\bm{M}(t,s)+\mathcal{O}\!\left(k^{4}\right), so taking the difference between Eqs. (A.11) and (A.15) leads to

𝚵t,tQFT(|xx|)𝚵t,t(|xx|)=\displaystyle\kern-20.00003pt{\bm{\Xi}}_{t,t^{\prime}}^{\mathrm{QFT}}\left(|\vec{x}^{\prime}-\vec{x}|\right)-{\bm{\Xi}}_{t,t^{\prime}}\left(|\vec{x}^{\prime}-\vec{x}|\right)=
ϵ2tinmin(t,t)ds{𝑴(t,s)𝚺s𝑮(0)(t,s)+𝑮(0)(t,s)𝚺s𝑴(t,s)}+𝒪(ϵ4).\displaystyle\epsilon^{2}\int^{\mathrm{min}(t,t^{\prime})}_{t_{\mathrm{in}}}\mathrm{d}s\left\{\bm{M}(t,s)\bm{\Sigma}_{s}\bm{G}^{\dagger}_{(0)}(t^{\prime},s)+\bm{G}_{(0)}(t,s)\bm{\Sigma}_{s}\bm{M}^{\dagger}(t^{\prime},s)\right\}+\mathcal{O}\!\left(\epsilon^{4}\right)\,. (A.30)

In this expression, 𝑮(0)\bm{G}_{(0)} is given by Eq. (4.9), 𝚺\bm{\Sigma} by Eq. (LABEL:eq:Sigma:MasslessField) and 𝑴{\bm{M}} by Eqs. (A.26)-(A.29). For explicitness, and in order to avoid displaying cumbersome formulas, let us evaluate this formula in the coincident configuration where x=x\vec{x}^{\prime}=\vec{x} and t=tt=t^{\prime}. One obtains

𝚵t,tQFT(0)𝚵t,t(0)=ϵ2(1+3w)2ν1ϵ32νΓ2(ν)4π3w𝑵(t)+𝒪(ϵ4),\displaystyle{\bm{\Xi}}_{t,t}^{\mathrm{QFT}}\left(0\right)-{\bm{\Xi}}_{t,t}\left(0\right)=\epsilon^{2}\frac{\left(1+3w\right)^{2\nu-1}\epsilon^{3-2\nu}\Gamma^{2}(\nu)}{4\pi^{3}w}{\bm{N}}(t)+\mathcal{O}\!\left(\epsilon^{4}\right)\,, (A.31)

where the matrix 𝑵(t)\bm{N}(t) has entries

N00\displaystyle N_{00} =\displaystyle= H29(1+9w)(19w)(1w)[(1w)(9w1)+(19w)(1+9w)(aain)6w\displaystyle\frac{H^{2}}{9\left(1+9w\right)\left(1-9w\right)\left(1-w\right)}\left[\left(1-w\right)\left(9w-1\right)+\left(1-9w\right)\left(1+9w\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{6w}\right. (A.32)
+18w(w1)(aain)9w+1+8w(1+9w)(aain)32(3w+1)]\displaystyle\left.+18w\left(w-1\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{9w+1}+8w\left(1+9w\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{\frac{3}{2}\left(3w+1\right)}\right]
N01\displaystyle N_{01} =\displaystyle= N10=a3H36(9w1)(9w+1)[(w+1)(9w1)+(19w)(1+9w)(aain)6w\displaystyle N_{10}=\frac{a^{3}H^{3}}{6\left(9w-1\right)\left(9w+1\right)}\left[\left(w+1\right)\left(9w-1\right)+\left(1-9w\right)\left(1+9w\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{6w}\right. (A.33)
+12w(3w1)(aain)9w+1+4w(9w+1)(aain)32(3w+1)]\displaystyle\left.+12w\left(3w-1\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{9w+1}+4w\left(9w+1\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{\frac{3}{2}\left(3w+1\right)}\right]
N11\displaystyle N_{11} =\displaystyle= w14(1+9w)a6H4[(1+3w)(1+9w)(aain)6w+6w(aain)9w+1].\displaystyle\frac{w-1}{4\left(1+9w\right)}a^{6}H^{4}\left[\left(1+3w\right)-\left(1+9w\right)\left(\frac{a}{a_{\mathrm{in}}}\right)^{6w}+6w\left(\frac{a}{a_{\mathrm{in}}}\right)^{9w+1}\right]\,. (A.34)

This needs to be compared with the stochastic result we have been using, namely

𝚵t,t(0)\displaystyle\kern-20.00003pt{\bm{\Xi}}_{t,t}\left(0\right) =\displaystyle= tintds𝑮(0)(t,s)𝚺s𝑮(0)(t,s)\displaystyle\int_{t_{\mathrm{in}}}^{t}\mathrm{d}s\bm{G}_{(0)}(t,s)\bm{\Sigma}_{s}\bm{G}^{\dagger}_{(0)}(t,s) (A.37)
=\displaystyle= (1+3w)2νϵ32νΓ2(ν)16π3w[1(aain)6w](H23w12a3H3w12a3H334(w1)2a6H4).\displaystyle\frac{\left(1+3w\right)^{2\nu}\epsilon^{3-2\nu}\Gamma^{2}(\nu)}{16\pi^{3}w}\left[1-\left(\frac{a}{a_{\mathrm{in}}}\right)^{6w}\right]\left(\begin{array}[]{cc}\frac{H^{2}}{3}&\frac{w-1}{2}a^{3}H^{3}\\ \frac{w-1}{2}a^{3}H^{3}&\frac{3}{4}\left(w-1\right)^{2}a^{6}H^{4}\end{array}\right)\,.

Let us note that in the square bracketed terms of Eqs. (A.32)-(A.34), soon after the onset of the contracting phase, since a/ain1a/a_{\mathrm{in}}\ll 1, the dominant term is the one with the smallest power of a/aina/a_{\mathrm{in}}. Assuming that w]1/3,1[w\in]-1/3,1[, this power is either 0, when w>0w>0, or 6w6w when w<0w<0. Indeed, 3w+1>03w+1>0 for w>1/3w>-1/3 so 3/2(3w+1)3/2(3w+1) is never the smallest power index, and 9w+1>6w9w+1>6w for w>1/3w>-1/3 so 9w+19w+1 is never the smallest power index either. This means that, as in Eq. (A.37), the result either scales as (a/ain)0(a/a_{\mathrm{in}})^{0} or as (a/ain)6w(a/a_{\mathrm{in}})^{6w}. It is then easy to see that the prefactors appearing in Eqs. (A.31) and (A.37) are the same, up to overall constants of order one, and up to the (crucial) additional ϵ2\epsilon^{2} factor appearing in Eq. (A.31). One concludes that, provided ϵ1\epsilon\ll 1, the stochastic result provides a good approximation to the full QFT result. This has been derived here for the coincident configuration of the field correlators, but this can be easily extended to the non-coincident configuration, and to the two-point function of the anisotropic stress since the two are simply related via Eq. (3.24). This validates the use of the stochastic formalism to perform the calculation presented in this work.

References