Unavoidable shear from quantum fluctuations in contracting cosmologies
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 , with 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 , 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 , 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 , where is the scale factor. Since the background energy density grows as , where 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 .
Several solutions to this problem have been proposed. One can for instance assume that the universe contracts with a stiff equation of state, , 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 . We find that, when , 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 , 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],
(2.1) |
with the isotropised scale factor and . The functions are constrained to satisfy , such that . The shear tensor, , is defined as
(2.2) |
where a dot denotes a derivative with respect to cosmic time .
We further assume that the universe is filled with a homogeneous but anisotropic matter fluid, described by its energy density , its pressure and its anisotropic stress , such that its stress-energy tensor reads
(2.3) |
In this expression, is the four velocity of a comoving observer, normalised such that . From the metric (2.1), a comoving observer has , and the normalisation condition imposes that . The anisotropic stress is a symmetric tensor (since the stress-energy tensor is symmetric) that parametrises deviations from a perfect fluid. Given that its “” component can always be reabsorbed in the first term of Eq. (2.3), hence in the definition of , it is set to zero without loss of generality. The “” component of the Einstein equation then imposes that , which implies that the anisotropic stress is orthogonal to the comoving velocity, . If one decomposes as , the component can always be reabsorbed in the second term of Eq. (2.3), hence in the definition of , and the remaining part is traceless, so we assume that is traceless without loss of generality, .
Under these conditions, the Einstein equations can be written as
(2.4) | |||||
(2.5) | |||||
(2.6) |
which correspond respectively to the “” component, the trace and the traceless part of the “” component, and where is the Hubble parameter. By combining these three equations, one obtains a conservation relation,
(2.7) |
At the background level, one can see that the only effect of the shear is to add a contribution to the energy density, and 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
(2.8) |
From this expression, one can see that, in the absence of anisotropic stress, any initial amount of shear tensor grows as , which gives rise to . Denoting by the equation-of-state parameter of the background fluid, such that , Eq. (2.7) gives rise to in the absence of anisotropic stress, so the shear contribution eventually dominates unless , as mentioned above.
The time at which takes over obviously depends on its initial value, hence on . 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 decreases faster than (unless ), 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 , minimally coupled to gravity, described by the action
(2.9) |
where is the potential associated with . The stress-energy tensor can be obtained from , which leads to
(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 in the hyperplane orthogonal to , by using the projector .111From the normalisation condition of , , one can indeed check that (i) , (ii) if is a vector orthogonal to , i.e. , then , and (iii) . In the Bianchi I space time (2.1), its only non-zero components are , which is no more than the induced metric. Tracelessness is obtained by removing the trace of the projected tensor, and one obtains , hence
(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 shares the same symmetries as the background, for instance if it is in its vacuum state , then there is no preferred direction and (this will be shown explicitly below). This implies that, when taking the expectation value of Eq. (2.8), the anisotropic stress disappears, so 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 , 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
(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 must be homogeneous at the background level, Eq. (2.11) is of second order in the field perturbations, hence is of fourth order in those perturbations. This small contribution is however enhanced by , 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
(3.1) | |||||
(3.2) |
Hereafter, for simplicity, we consider the case of a free field with potential . The coarse-graining procedure then consists in splitting the scalar field into a large-scale (classical) part and small-scale (quantum) fluctuations as and , with
(3.3) | |||||
(3.4) |
Here, is a window function that selects out small-wavelength modes, i.e. it is such that for and otherwise. In an FLRW background, the scale of coarse-graining is chosen as with , 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 , which is why the window function depends both on the norm and direction of . In each spatial direction, from Eq. (2.1) one can define a scale factor , hence a Hubble rate . If one defines the coarse-grained field as being made of wavelengths that are much larger than the Hubble radius in all directions,
(3.5) |
where , this gives a prescription for .
In Eqs. (3.3) and (3.4), and are creation and annihilation operators, that satisfy the canonical commutation relations . The mode functions and , 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 , where and , and where is a space-like hypersurface at fixed time .
Inserting the field decomposition and into Eqs. (3.1) and (3.2), one obtains Langevin equations for the coarse-grained fields,
(3.6) | |||||
(3.7) |
where gradient terms are neglected since they are suppressed by . The two noise terms and are random Gaussian noises, that share the same statistics as their quantum counterparts
(3.8) | |||||
(3.9) |
At leading order in perturbation theory, this statistics is Gaussian, hence fully characterised by its two-point correlation functions,
(3.10) |
where and can either be or , and where we have used the fact that the only non-zero contribution comes from . In an anisotropic universe, the resulting integral is however not straightforward to compute, since both the mode functions and , and the window function , depend on the direction of . 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 . 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 , . If the window function is set to a Heaviside function,
(3.11) |
one has . If the mode functions are isotropic, and , the integral over the angles defining the direction of can be performed in Eq. (3.10), and the resulting integral over the norm of can be carried out with the delta function appearing in . This gives rise to
(3.12) |
which shows that noises are white (i.e. uncorrelated in time) in this case. This also defines the covariance matrix of the stochastic noises and in the Langevin equations (3.6) and (3.7), which can be formally integrated as
(3.13) |
In this expression, we have arranged the coarse-grained phase-space coordinates into the vector , and, similarly . The Green’s matrix is associated with the homogeneous dynamics, i.e. it is the solution of
(3.16) |
(see Appendix A of Ref. [20] for more details). From these relations, all statistical moments of the stochastic phase-space variables and can be computed. For instance, the two-point functions are given by
where we have defined .
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 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 . This gradient correlator can be obtained from the field correlator (3.1), by expanding , where is a unit vector pointing towards the 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 , one finds333In the non-coincident configuration, if one expands (3.18) one finds where and can be made explicit making use of Eqs. (3.12) and (3.1). However, the coincident limit of the resulting expression is singular since is ill-defined (it depends on the direction of along which this limit is taken), which explains why we treat the coincident configuration separately.
(3.20) | |||||
In the first equality, we have used that only depends on , 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 is an even function of (since the cardinal sine function appearing in Eq. (3.12) is even), hence ; together with the fact that . This expression can be made further explicit by making use of Eqs. (3.12) and (3.1), and since , one finds
(3.21) |
It is then easy to see from Eq. (2.11) that, in an isotropic background, the fact that is proportional to implies that
(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 is Gaussian [given that is a Gaussian noise and that is linear in the noise, see Eq. (3.13)], these four-point functions can be evaluated using Wick theorem, namely . This gives rise to
(3.23) | |||||
In an isotropic universe, making use of Eq. (3.20), the terms involving products of the form 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 , 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.
(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 , Eqs. (3.1)-(3.2) give rise to
(4.1) |
where a prime denotes derivation with respect to conformal time , related to cosmic time through , and where . In order to set initial conditions in the Bunch-Davies vacuum state [22], the pulsation , defined as the term between the braces in Eq. (4.1), must be dominated by at early time. In a contracting cosmology, this clearly imposes , and for simplicity, we consider that this is the case hereafter. If the equation-of-state parameter of the background is constant, one has . 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
(4.2) |
in the vacuum state, where is the first Hankel function and where, hereafter, we assume that . On super-Hubble scales, the Hankel function can be expanded, and one finds and . Plugging these expressions into Eq. (3.12), one obtains
(4.5) | |||||
If the mass vanishes, the background equation of motion (3.16) can be readily solved, and one obtains for the Green function
(4.9) |
Recalling that , by making use of Eqs. (3.12) and (3.1), Eq. (3.24) then gives rise to
(4.10) | |||||
where and denote and 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 appearing in Eq. (4.10), the rectangular integration domain of Eq. (2.12) can be split into two triangles, one where and one where . Since the integrand is in fact symmetric in and , 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
One can check that, when , . When , the terms have been ordered in decreasing power, while for , the dominant term is the third one (i.e. the first one on the second line), which increases as . These two cases need therefore to be distinguished.


When , since the dominant term, i.e. the one proportional to , does not depend on the initial time (contrary to the other terms, it does not involve ), the contribution from the shear to the energy density quickly reaches an attractor, which scales as , hence . 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 and ). In fact, because of the prefactor in Eq. (LABEL:eq:rho_shear:contraction), the ratio is still negligible when reaches the Planck scale. In bouncing cosmologies, is bounded from above since the bounce demands for a smooth transition from contraction, i.e. , to expansion, i.e. . The upper-bound of 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 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 can achieve is thus of order . Hence, one concludes that there is no shear backreaction problem in this case.
When , since the dominant term, i.e. the first one of the second line in Eq. (LABEL:eq:rho_shear:contraction), explicitly depends on , the late-time behaviour of strongly depends on the initial time of the contraction and there is no attractor. Besides, this dominant term increases in time (recall that decreases in a contracting cosmology), so does not scale as anymore, but rather as . This implies that, if the contracting phase starts in the infinite past (), then there is an IR divergence in the shear. Indeed, if , 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 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 . Whether or not a backreaction problem occurs before reaches thus depends on the value of , i.e. on the total amount of contraction. This is why, in Fig. 2, we display the minimum value of such that the shear does not backreact on the background geometry until reaches the Planck scale. One can see that, when , this is impossible to achieve.
Let us note that the case is a priori singular. Indeed, in the prefactor of Eq. (LABEL:eq:rho_shear:contraction), one notices the presence of the term , which diverges when approaches . 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 (with a logarithmic dependence on ), making this limit regular.
In all cases, let us also stress that quantum diffusion makes the shear grow faster than classically. Indeed, if , one has and if , . So always increases faster than , while it scales as classically.
5 Discussion

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 “” component of the stress-energy tensor reads . In the absence of a potential, and after neglecting gradient terms, which are suppressed by higher powers of in the coarse-grained sector, this gives rise to666In this case, by computing the “” component of the stress-energy tensor in Eq. (2.10), one can see that the pressure associated with takes the same form, i.e. . This implies that the direct fluctuations of the scalar field also have an effective equation-of-state parameter (provided the potential vanishes), as for the shear (for which 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). , see Eq. (3.1). One thus has to compute , where the two-point functions 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
(5.1) |
if , while when . One can see that two regimes need again to be distinguished. If , the second term in the square brackets, , quickly becomes negligible as contraction proceeds, and one reaches an attractor where , hence is suppressed by . In this case, the spectator field does not backreact until 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 . If , the second term in the square brackets provides the dominant contribution. Since it depends explicitly on , there is no attractor anymore, scales as , 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 can therefore become large before reaches the Planck mass, provided 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 () 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 , and if its mode functions are normalised to the Bunch-Davies vacuum, on super-Hubble scales, they are given by , where . Using the same procedure as above, this gives rise to
(5.2) | |||||
One can see that, up to quickly decaying terms, acquires a constant value, of order . Therefore, its relative contribution to the Friedmann equation (2.4) is suppressed by and remains small at sub-Planckian scales. For instance, in the light-field limit, i.e. when , the above expression gives
(5.3) |
In single-field slow-roll models of inflation, with current measurements [23, 24] of the scalar power spectrum amplitude where is the first slow-roll parameter, and current constraints from the Planck data on the tensor-to-scalar ratio , one obtains 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 , since , but using the above formulas the contribution is proportional to and is therefore still negligible. Let us finally point out that the energy density contained in the scalar field fluctuations reads , where one has used Eq. (3.1) to evaluate . This is in fact larger than , so 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 are unstable fixed points, since any amount of initial shear leads to an effective contribution to the energy density that grows as . 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 , 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 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 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. 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 , there is no substantial backreaction before one reaches the Planck scale, while if , 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 , the Hubble scale , and the mass of the field . In the asymptotic past, both and become small, but takes over if and the effect of the expansion becomes negligible. However, since 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 becomes larger than . 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 to . If this is correct, the bound we have obtained on for soft equations of state, see the discussion around Fig. 2, translates into a lower bound on , 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 relies on two approximations. First, by identifying the quantum operators and , 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 involves four-point functions of only (i.e. it does not involve , the momentum conjugated to ), 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 , 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: , and . The scale of coarse-graining, , is labelled by the small parameter . It is a bijective function from to (i.e. ), and we denote its inverse bijection from to as (i.e. ). Following the prescription of Sec. 3.1, we let , and use a step function for the window function, see Eq. (3.11), which leads to . In vectorial notations, Eqs. (3.8)-(3.9) can be recast as
(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
(A.2) | |||||
(A.3) |
with
(A.10) |
The Green function introduced in Eq. (3.16) generates the solutions of the classical background dynamics, driven by . For this reason, we denote it in this appendix, while stands for the solution of the quantum mode functions, i.e. is the solution of Eq. (3.16) where is replaced with . With these notations, on the one hand, Eqs. (3.1) and (3.12) can be recast as
(A.11) | |||||
On the other hand, a full QFT calculation would instead lead to the following covariance matrix
(A.12) |
To make the comparison between these two expressions explicit, let us first note that
(A.13) |
In the above, the time can be arbitrarily chosen, with the only constraint that is has to be anterior to . Let us thus choose , which is possible thanks to the bijective nature of . This leads to
Let us now perform the change of integration variable defined by . Then and becomes . One finally obtains
(A.15) | |||||
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 is sufficiently close to . 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 and in more details. As explained above, they satisfy the differential equations
(A.16) | |||||
(A.17) |
see Eq. (3.16). By taking the difference between these two equations, one obtains
(A.18) |
Let us see this relation as a linear, first-order differential equation for , with a source term given by . By variation of constants, this equation can be formally solved as
(A.19) |
where denotes the time-ordering operator, and where one recognises the formal solution to Eq. (A.16), i.e. . This gives rise to
(A.20) |
This is only an implicit solution since appears on both sides of this relation. However, since both and are suppressed by powers of , this allows one to make a perturbative expansion in (this is the so-called Dyson series procedure) to relate to . The first order of this expansion is obtained by replacing by in the right-hand side of Eq. (A.20), leading to
(A.21) |
The integral on the right-hand side of this expression can be computed making use of Eq. (4.9). Denoting , one has
(A.24) |
If the equation-of-state parameter of the universe, , is constant, then , and the integral as well as the integration over in Eq. (A.21) can be performed. This gives rise to
(A.25) |
where the matrix has entries
(A.26) | |||||
(A.27) | |||||
(A.28) | |||||
(A.29) | |||||
With , Eq. (A.25) gives rise to , so taking the difference between Eqs. (A.11) and (A.15) leads to
(A.30) |
In this expression, is given by Eq. (4.9), by Eq. (LABEL:eq:Sigma:MasslessField) and 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 and . One obtains
(A.31) |
where the matrix has entries
(A.32) | |||||
(A.33) | |||||
(A.34) |
This needs to be compared with the stochastic result we have been using, namely
(A.37) | |||||
Let us note that in the square bracketed terms of Eqs. (A.32)-(A.34), soon after the onset of the contracting phase, since , the dominant term is the one with the smallest power of . Assuming that , this power is either , when , or when . Indeed, for so is never the smallest power index, and for so is never the smallest power index either. This means that, as in Eq. (A.37), the result either scales as or as . 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 factor appearing in Eq. (A.31). One concludes that, provided , 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
- [1] D. Battefeld and P. Peter, A Critical Review of Classical Bouncing Cosmologies, Phys. Rept. 571 (2015) 1–66, [1406.2790].
- [2] R. Brandenberger and P. Peter, Bouncing Cosmologies: Progress and Problems, Found. Phys. 47 (2017) 797–850, [1603.05834].
- [3] I. Agullo and P. Singh, Loop Quantum Cosmology, pp. 183–240. WSP, 2017. 1612.01236. 10.1142/9789813220003_0007.
- [4] V. A. Belinsky, I. M. Khalatnikov and E. M. Lifshitz, Oscillatory approach to a singular point in the relativistic cosmology, Adv. Phys. 19 (1970) 525–573.
- [5] J. Khoury, B. A. Ovrut, P. J. Steinhardt and N. Turok, The Ekpyrotic universe: Colliding branes and the origin of the hot big bang, Phys. Rev. D64 (2001) 123522, [hep-th/0103239].
- [6] A. Ashtekar and E. Wilson-Ewing, Loop quantum cosmology of bianchi type i models, Physical Review D 79 (Apr, 2009) .
- [7] N. Pinto-Neto, J. C. Fabris, J. D. Toniato, G. S. Vicente and S. D. P. Vitenti, Vector perturbations in bouncing cosmology, Phys. Rev. D 101 (2020) 123519, [2004.07655].
- [8] G. F. R. Ellis and M. A. H. MacCallum, A Class of homogeneous cosmological models, Commun. Math. Phys. 12 (1969) 108–141.
- [9] T. S. Pereira, C. Pitrou and J.-P. Uzan, Theory of cosmological perturbations in an anisotropic universe, JCAP 0709 (2007) 006, [0707.0736].
- [10] L. Linsefors and A. Barrau, Modified Friedmann equation and survey of solutions in effective Bianchi-I loop quantum cosmology, Class. Quant. Grav. 31 (2014) 015018, [1305.4516].
- [11] L. Linsefors and A. Barrau, Exhaustive investigation of the duration of inflation in effective anisotropic loop quantum cosmology, Class. Quant. Grav. 32 (2015) 035010, [1405.1753].
- [12] A. A. Starobinsky, Dynamics of Phase Transition in the New Inflationary Universe Scenario and Generation of Perturbations, Phys. Lett. B117 (1982) 175–178.
- [13] A. A. Starobinsky, Stochastic de Sitter (inflationary) stage in the early universe, Lect.Notes Phys. 246 (1986) 107–126.
- [14] A. A. Starobinsky and J. Yokoyama, Equilibrium state of a selfinteracting scalar field in the De Sitter background, Phys. Rev. D50 (1994) 6357–6368, [astro-ph/9407016].
- [15] F. Finelli, G. Marozzi, A. Starobinsky, G. Vacca and G. Venturi, Generation of fluctuations during inflation: Comparison of stochastic and field-theoretic approaches, Phys.Rev. D79 (2009) 044007, [0808.1786].
- [16] B. Garbrecht, G. Rigopoulos and Y. Zhu, Infrared correlations in de Sitter space: Field theoretic versus stochastic approach, Phys. Rev. D 89 (2014) 063506, [1310.0367].
- [17] V. Vennin and A. A. Starobinsky, Correlation Functions in Stochastic Inflation, Eur. Phys. J. C75 (2015) 413, [1506.04732].
- [18] D. S. Salopek and J. R. Bond, Nonlinear evolution of long wavelength metric fluctuations in inflationary models, Phys. Rev. D42 (1990) 3936–3962.
- [19] A. R. Liddle, P. Parsons and J. D. Barrow, Formalizing the slow roll approximation in inflation, Phys. Rev. D50 (1994) 7222–7232, [astro-ph/9408015].
- [20] J. Grain and V. Vennin, Stochastic inflation in phase space: Is slow roll a stochastic attractor?, JCAP 1705 (2017) 045, [1703.00447].
- [21] C. Pattison, V. Vennin, H. Assadullahi and D. Wands, Stochastic inflation beyond slow roll, JCAP 1907 (2019) 031, [1905.06300].
- [22] T. S. Bunch and P. C. W. Davies, Quantum Field Theory in de Sitter Space: Renormalization by Point Splitting, Proc. Roy. Soc. Lond. A360 (1978) 117–134.
- [23] Planck collaboration, N. Aghanim et al., Planck 2018 results. VI. Cosmological parameters, 1807.06209.
- [24] Planck collaboration, Y. Akrami et al., Planck 2018 results. X. Constraints on inflation, 1807.06211.
- [25] M. De Angelis and G. Montani, Dynamics of quantum anisotropies in Taub Universe in the WKB approximation, 2002.08687.
- [26] I. Wolfson, A. Maleknejad and E. Komatsu, How attractive is the isotropic attractor solution of axion-SU(2) inflation?, 2003.01617.
- [27] T. Fujita and I. Obata, Does anisotropic inflation produce a small statistical anisotropy?, JCAP 1801 (2018) 049, [1711.11539].
- [28] T. Miranda, E. Frion and D. Wands, Stochastic collapse, JCAP 2001 (2020) 026, [1910.10000].
- [29] J. Martin and R. H. Brandenberger, The TransPlanckian problem of inflationary cosmology, Phys. Rev. D 63 (2001) 123501, [hep-th/0005209].
- [30] J. Martin and V. Vennin, Quantum Discord of Cosmic Inflation: Can we Show that CMB Anisotropies are of Quantum-Mechanical Origin?, Phys. Rev. D93 (2016) 023505, [1510.04038].