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

**footnotetext: Corresponding author: steinh@princeton.edu

Smoothing and flattening the universe through slow contraction versus inflation

Anna Ijjas    Paul J. Steinhardt    David Garfinkle    and William G. Cook
Abstract

In a systematic study, we use an equivalent pair of improved numerical relativity codes based on a tetrad-formulation of the classical Einstein-scalar field equations to examine whether slow contraction or inflation (or both) can resolve the homogeneity, isotropy and flatness problems. Our finding, based on a set of gauge/frame invariant diagnostics, is that slow contraction robustly and rapidly smooths and flattens spacetime beginning from initial conditions that are outside the perturbative regime of the flat Friedmann-Robertson-Walker metric, whereas inflation fails these tests. We present new numerical evidence supporting the conjecture that the combination of ultralocal evolution and an effective equation-of-state with pressure much greater than energy density is the key to having robust and rapid smoothing. The opposite of ultralocality occurs in expanding spacetimes, which is the leading obstruction to smoothing following a big bang.

1 Introduction

The foremost challenge for any theory of the origin and early evolution of the universe is to explain its homogeneity, isotropy and spatial flatness on large scales. These features are extraordinary for a theory based on general relativity in which a foundational notion is that spacetime is malleable, capable of curving, shearing, fluctuating and warping. Yet all the successful predictions of Λ\LambdaCDM (a.k.a. the basic “big bang theory”) – primordial nucleosynthesis, the cosmic microwave background, structure formation, and Hubble expansion – rely on the assumption that there was no sign of this malleability by the time primordial nucleosynthesis commenced. Instead, spacetime was well-described by a surprisingly simple flat Friedmann-Robertson-Walker (FRW) metric that is highly non-generic in general relativity.

In this paper, we present the results of a systematic comparative study of two mechanisms proposed to smooth and flatten the early universe beginning from initial conditions that are outside the perturbative regime of the flat FRW metric, namely inflation and slow contraction. Inflation is a period of accelerated expansion hypothesized to occur shortly after the big bang during which the equation of state ε(3/2)(1+p/ρ)<1\varepsilon\equiv(3/2)(1+p/\rho)<1 (where pp is the pressure and ρ\rho is the energy density of the dominant energy component) and the FRW scale factor a(τ)τ1/εa(\tau)\propto\tau^{1/\varepsilon} grows faster with τ\tau than the Hubble radius H1(τ)τH^{-1}(\tau)\propto\tau. Slow contraction is a period in which a(τ)|τ|1/εa(\tau)\propto|\tau|^{1/\varepsilon} where ε3\varepsilon\gg 3, which shrinks more slowly than the Hubble radius |H1||τ||H^{-1}|\propto|\tau| as τ0\tau\rightarrow 0^{-}. (We follow the convention of defining τ\tau as positive and increasing during expansion and as negative and increasing towards τ0\tau\rightarrow 0^{-} during contraction. This is the reason for the absolute value signs in the expressions for contraction.) In either case, the requisite value of ε\varepsilon can be attained by a scalar field ϕ\phi evolving down a potential V(ϕ)V(\phi), for which ε32ϕ˙2/(12ϕ˙2+V)\varepsilon\rightarrow\frac{3}{2}\dot{\phi}^{2}/(\frac{1}{2}\dot{\phi}^{2}+V) in the homogeneous limit. For inflation, obtaining ε<1\varepsilon<1 requires a positive potential energy and small scalar field kinetic energy; for slow contraction, the potential energy must be negative and the kinetic energy must be large enough that the total energy density is positive. Note that both require similar ingredients (Einstein gravity and a scalar field with a potential) and the same number of initial conditions to be specified at the start, which makes for a fair comparison.

For both proposed smoothing mechanisms, it is straightforward to show that they can smooth out small perturbations to a pure FRW metric, which is why both appeared at first to be promising candidates. The true test, though, is to begin far from FRW conditions and solve the full set of non-linearly coupled partial differential Einstein-scalar equations of motion to determine if smoothing and flattening occurs. This has become possible by adapting the numerical relativity tools originally introduced to study black hole inspiral and merger to address the homogeneity and isotropy problem in early universe cosmology. There have been a number of pioneering studies of inflation [1, 2, 3, 4, 5, 6] and slow contraction [7, 8, 9, 10, 11, 12, 13] using different formulations of the Einstein equations, treatments of initial conditions, and diagnostics, where each study has focused on one smoothing mechanism or the other, as carefully reviewed and critiqued in Ref. [14]. These earlier contributions have informed this paper.

Our goal here is to perform the first systematic comparative study of inflation and slow contraction, so we have taken a different approach. We have produced two nearly identical codes that solve the (3+1)-dimensional Einstein-scalar field equations using the same mean-curvature-normalized, orthonormal tetrad formulation. This form was chosen because it enables large spatial variations in one or more directions of all freely specifiable physical quantities that characterize the initial spatial hypersurface. We have also developed a common set of diagnostics to evaluate when initial conditions are outside the perturbative regime of a flat FRW and how smooth and flat the universe must become to satisfy observational constraints. Hundreds of numerical evolutions, each lasting from a few minutes to a few months, were then run to study how the outcome depends on the different parameters that specify the initial conditions.

Especially important were studies exploring a key difference between inflation and slow contraction. Namely, smoothing by slow contraction entails a non-linear smoothing mechanism based on ultralocality, a general relativistic effect that appears to be unique to contracting spacetimes. Ultralocality refers to a condition in which the spatial derivative terms in the non-linearly coupled partial differential Einstein equations fall exponentially fast during contraction compared to terms containing only time derivatives, converting the partial differential equations to ordinary differential equations. The ultralocality effect was first conjectured by Belinski, Khalatnikov and Lifshitz [15] in the 1960s who only considered its application to the case of fast contraction (ε3\varepsilon\leq 3) for historical reasons. Curiously, in that case, the ordinary differential equations have chaotic solutions that produce mixmaster behavior that unsmooths the universe. With slow contraction (ε3\varepsilon\gg 3), the ordinary differential equations have an attractor solution that is flat FRW, just what is desired to solve the homogeneity, isotropy and flatness problem. Inflation, by contrast, occurs during an expanding phase that does not have ultralocal behavior. This accounts for our finding that inflation is unable to smooth and flatten the inhomogeneous, anisotropic, and curved initial conditions expected following a big bang.

The plan of the paper is as follows. In Sec. 2, we briefly summarize our numerical relativity schemes and point out the improvements that have been made compared to earlier publications. In Sec. 3, we discuss the diagnostics we use in evaluating how far initial conditions are from flat FRW and how we determine whether smoothing and flattening is achieved. In Sec. 4, we digress to note several ways in which existing numerical techniques introduce unavoidable inequities that favor one smoothing mechanism relative to the other. As it turns out, the inequities all favor inflation and disfavor slow contraction, so they do not qualitatively change our conclusions.

Secs. 5 thru 7 present the key results. In Sec. 5, we compare two representative examples, one inflation and one slow contraction, both of which have been selected because their initial conditions were, by our diagnostic measures, as far from flat FRW as possible and yet sufficiently limited that smoothing and flattening still occurs. We have chosen a negative potential for the scalar field ϕ\phi that is exponentially decreasing with ϕ\phi for the slow contraction case; and we have chosen a positive quadratic potential for the inflation case. Both potentials have been investigated previously by several groups [1, 2, 3, 4, 5, 6] , including us, which is useful for making comparisons. Although inflation with quadratic potentials is ruled out by experimental bounds on the amplitudes of B-modes, we choose it anyway because it has been suggested that this is the example that is least sensitive to initial deviations from flat FRW [3, 4]. We have extended our survey to other potentials and will report the results elsewhere. They do not change the qualitative conclusions presented here.

Based on the diagnostic measures, it is clear that slow contraction is a robust and rapid smoother even for initial conditions that are outside the perturbative flat FRW, but inflation is not. In Sec. 6, we provide new evidence (beyond our earlier work) illustrating how ultralocality leads to smoothing for slow contraction but not for fast contraction. In Sec. 7, we then illustrate how the non-ultralocal behavior of inflation evidences itself when initial conditions are far from flat FRW. We close with a summary and discussion in Sec. 8.

2 Numerical relativity scheme

We numerically solve the (3+1)-dimensional Einstein-scalar field equations in mean-curvature-normalized, orthonormal tetrad form, as has been successfully implemented in earlier studies of contracting spacetimes [7, 8, 9, 10, 11, 12, 13] and more recently for studies of inflation [6]. The numerical scheme is explained in great detail in the appendix of Ref. [6]. Whereas the existing contraction tetrad code allowed spatial variations along one, two or three spatial directions, the earlier published inflationary tetrad code results only allowed spatial variations along a single spatial direction [6]. Our first step, therefore, was to write a new inflation tetrad code that allows variations along two or three spatial dimensions. In the process, a number of small improvements were made to increase efficiency and accuracy. Then, to keep the comparison study as even-handed as possible, we made a mirror version that uses the same subroutines, functions, algorithms, etc. but which is adapted for contraction. The study results here are from simulations with initial spatial variations along two directions, as described below. We found no significant differences from high-resolution simulations with initial variations along one direction. Simulations of the same resolution with initial variations along three directions would require at least a thousand times the already significant computer resources used in this study. However, we have run lower resolution simulations with spatial variations along three directions and confirmed that the qualitative differences between contraction and expansion described in Sec. 7 appear to be maintained.

There are three obvious differences between the inflation and slow contraction software packages that involve only a few lines of code and do not affect efficiency or accuracy: the time slicing, the scalar field potential, and the initial conditions.

The slow contraction code uses constant mean curvature time-slicing,

dlnKdt=1,\frac{{\rm d}\ln K}{{\rm d}t}=-1, (2.1)

where the coordinate tt runs from 0 to -\infty and KKaaK\equiv K_{a}^{a} is the mean curvature, which is equal to 1/3|H1|1/3|H^{-1}| in the homogeneous limit. Note that the mean curvature changes by an exponential factor during slow contraction. Note that tt is not the FRW time coordinate (indicated by τ\tau in the previous section). In the homogeneous limit, |t||t| represents the number of ee-folds of contraction of the Hubble radius.

In the expanding case, the coordinate time tt runs from zero to ++\infty, and the mean curvature only changes by a few orders of magnitude. As a result, a modified time slicing has been found to be necessary [6],

dln|K|dt=μ(t),\frac{{\rm d}\ln|K|}{{\rm d}t}=-\mu(t), (2.2)

where

μ(t)1𝒩~max(t),\mu(t)\equiv\frac{1}{\tilde{{\cal N}}_{\rm max}(t)}, (2.3)

K=3HK=-3H in the homogeneous limit, and 𝒩~max(t)\tilde{{\cal N}}_{\rm max}(t) is the maximum value of the coordinate lapse NN at time tt rescaled by the mean curvature divided by μ\mu, 𝒩~13KN/μ\tilde{\cal N}\equiv{\textstyle\frac{1}{3}}KN/\mu to make it dimensionless. As shown in the appendix of Ref. [6], this time coordinate tt then measures the maximum number of ee-folds of inflation taking place during the simulation.

As for the scalar field potentials, a negative potential is required for slow contraction, as noted in the Introduction. We use a well-studied exponential form, V(ϕ)=V0exp(ϕ/M)V(\phi)=-V_{0}\,\exp(\phi/M), where M<MPM<M_{P} and MP=2.4×1018M_{P}=2.4\times 10^{18} GeV is the reduced Planck mass. (This study only explores the smoothing phases and not the reheating and latter stages, we do not need to add a minimum to the potential or a bounce as would be required in the full evolution since we do not get close to that stage.) In the homogeneous limit, a canonical scalar field rolling down a negative exponential of this form has an attractor solution in which the equation of state ε1/2M2\varepsilon\rightarrow 1/2M^{2}. For this survey, we limit consideration to values of MM between 0.1 and 0.2 (corresponding to attractor solutions with ε\varepsilon between 13 and 50), which has been shown to be sufficient to smooth the universe [9, 10] (although much larger values are possible and smooth even more robustly and rapidly). In the case of inflation, a positive potential is required. We use a well-studied example, V(ϕ)=12m2ϕ2V(\phi)=\frac{1}{2}m^{2}\phi^{2}, where m=3.8×103MPm=3.8\times 10^{-3}M_{P}.

As a practical matter, we confined the high-resolution studies to spatial variations along one and two directions, which is sufficient to check for consistency and for any non-linear effects that may arise when there are variations along more than one direction. Extending the survey to high-resolution simulations with initial spatial variations along three dimensions requires parallelism over multiple CPUs and much more expensive simulations. As a check, though, we have run lower-resolution examples with initial spatial variations along three dimensions and found no qualitative differences in the outcomes and from the results reported in Sec. 7.

The initial conditions were set using York’s conformal method [16] for both inflation and slow contraction to ensure they satisfy the Hamiltonian and momentum constraints. In our implementation, the spatial metric on the initial time slice (t=t0t=t_{0}) is set to be conformally-flat, γij(t0,x)=ψ4(t0,x)δij\gamma_{ij}(t_{0},\vec{x})=\psi^{4}(t_{0},\vec{x})\delta_{ij}, where ψ\psi denotes the conformal factor. The components of the spatial 3-curvature tensor n¯ab,A¯b\bar{n}_{ab},\bar{A}_{b} and the tetrad vector components E¯ia{\bar{E}{}_{a}}^{i} then satisfy:

n¯ab(t0,x)\displaystyle\bar{n}_{ab}(t_{0},\vec{x}) =0,\displaystyle=0, (2.4)
A¯b(t0,x)\displaystyle\bar{A}_{b}(t_{0},\vec{x}) =2ψ1E¯ibiψ,\displaystyle=-2\psi^{-1}{\bar{E}{}_{b}}^{i}\partial_{i}\psi, (2.5)
E¯(t0,x)ai\displaystyle{\bar{E}{}_{a}}^{i}(t_{0},\vec{x}) =ψ2(K0/3)1δai.\displaystyle=\psi^{-2}(K_{0}/3)^{-1}{\delta_{a}}^{i}. (2.6)

where A¯b12εbN¯cdcd\bar{A}_{b}\equiv{\textstyle\frac{1}{2}}\varepsilon_{b}{}^{cd}\bar{N}_{cd} is the antisymmetric part of N¯ab\bar{N}_{ab} (the nine intrinsic spatial curvature variables) and n¯abN¯abεabA¯cc\bar{n}_{ab}\equiv\bar{N}_{ab}-\varepsilon_{ab}{}^{c}\bar{A}_{c} is the symmetric part. A “bar’ on top of any variable corresponds to rescaling by the mean curvature (i.e., dividing by K/3K/3). Early alphabet indices (aa, bb, etc.) are frame indices and middle indices (ii, jj, etc.) are coordinate indices.

There remains the freedom to specify the initial scalar field distribution ϕ(t0,x)\phi(t_{0},\vec{x}), the conformally re-scaled initial scalar field velocity Q¯\bar{Q}, and the divergence-free (transverse, trace-less) part of the conformally-rescaled shear tensor, Z¯abTT(t0,x)ψ6Σ¯ab0\bar{Z}_{ab}^{TT}(t_{0},\vec{x})\equiv\psi^{6}\bar{\Sigma}^{0}_{ab}, parameterized as follows:

\tensorZ¯=abTT(K03)1(b2+c2cos(yL+αy)κc1cos(yL+αy)+a3κb1+a1cos(xL+αx)a2cos(xL+αx)+c3c1cos(yL+αy)+a3a2cos(xL+αx)+c3\tensorZ¯1TT1\tensorZ¯22TT),\tensor*{\bar{Z}}{{}_{a}{}_{b}^{TT}}=\left({\textstyle\frac{K_{0}}{3}}\right)^{-1}{\begin{pmatrix}b_{2}+c_{2}\cos{\left({\textstyle\frac{y}{L}}+\alpha_{y}\right)}&&\kappa&&c_{1}\cos{\left({\textstyle\frac{y}{L}}+\alpha_{y}\right)}+a_{3}\\ \kappa&{\;}&b_{1}+a_{1}\cos{\left({\textstyle\frac{x}{L}}+\alpha_{x}\right)}&&a_{2}\cos{\left({\textstyle\frac{x}{L}}+\alpha_{x}\right)}+c_{3}\\ c_{1}\cos{\left({\textstyle\frac{y}{L}}+\alpha_{y}\right)}+a_{3}&&a_{2}\cos{\left({\textstyle\frac{x}{L}}+\alpha_{x}\right)}+c_{3}&{\;}&-\tensor*{\bar{Z}}{{}^{TT}_{1}{}_{1}}-\tensor*{\bar{Z}}{{}^{TT}_{2}{}_{2}}\end{pmatrix}}, (2.7)

where a1,a2,a3,b1,b2,c1,c2,c3,αx,αya_{1},a_{2},a_{3},b_{1},b_{2},c_{1},c_{2},c_{3},\alpha_{x},\alpha_{y} and κ\kappa are constants;

Q¯=(K03)1×(f0cos(m0Lx+d0)+f2cos(m2Ly+d2)+Q0)ϕ=f1cos(m1Lx+d1)+f3cos(m3Ly+d3)+ϕ0,\displaystyle\begin{split}\bar{Q}&=\left({\textstyle\frac{K_{0}}{3}}\right)^{-1}\times\Big{(}f_{0}\cos{\left({\textstyle\frac{m_{0}}{L}}x+d_{0}\right)}+f_{2}\cos{\left({\textstyle\frac{m_{2}}{L}}y+d_{2}\right)}+Q_{0}\Big{)}\\ \phi&=f_{1}\cos{\left({\textstyle\frac{m_{1}}{L}}x+d_{1}\right)}+f_{3}\cos{\left({\textstyle\frac{m_{3}}{L}}y+d_{3}\right)}+\phi_{0},\end{split} (2.8)

where Q0,ϕ0,f0,f1,f2,f3,m0,m1,m2,m3,d0,d1,d2,d3Q_{0},\phi_{0},f_{0},f_{1},f_{2},f_{3},m_{0},m_{1},m_{2},m_{3},d_{0},d_{1},d_{2},d_{3} are constant and denote the mean value, the amplitude, the mode number and the phase of the initial velocity and field distribution, respectively, and K0K_{0} is the initial mean curvature.

The choice of cosine reflects the fact that, for the numerical simulation, we must choose periodic boundary conditions 0x,y2πLΘ00\leq x,y\leq 2\pi L\Theta_{0} with 2πLΘ02\pi L\Theta_{0} identified as the ‘box side-length,’ where Θ0\Theta_{0} is the initial inverse mean curvature and L1L\geq 1 is a positive integer. With periodic boundary conditions, the mode numbers (mim_{i}) must be fixed integers, so the box side-length must be co-moving, i.e. with a box side-length scaling as a(t)a(t).

For slow contraction, the scale factor shrinks very little over the course of the simulation. We start with an initial inverse mean curvature Θ0\Theta_{0} that is larger than the present Hubble radius 𝒪(1026)\sim{\cal O}(10^{26}) but have the freedom to choose the box side-length to be yet larger still. This ensures that the box encompasses from the start a spatial volume large enough to evolve through slow contraction, bounce and expansion into the size of the observable universe today. Then we choose the number of grid points such that the initial grid spacing is as small as possible compared to the initial mean curvature since our goal is to study the effects of introducing large amplitude spatial variations that range over scales including ones smaller than the initial mean curvature. The optimal choice is to choose L=1L=1 and maximize the number of grid points as much as computer resources allow. If simulations end with the entire box being smooth and flat, this indicates that slow contraction has successfully resolved the homogeneity, isotropy and flatness problems beginning from an initial state that is outside the perturbative regime of flat FRW spacetimes.

Inflation simulations are quite different. The scale factor a(t)a(t) expands by an exponential factor over the course of the simulation and, hence, so does the box side-length (when expressed in physical units). We start with an inverse mean curvature scale Θ0\Theta_{0} that is 1/2πL1/2\pi L times the box side-length. Physically, this length is microscopic compared to the present Hubble radius in physical units. (More precisely, Θ0\Theta_{0} is of order the Hubble radius at the beginning of inflation.) We choose a grid spacing that is smaller than Θ0\Theta_{0} because we want to investigate the effects of initial spatial variations that vary over length scales smaller than Θ0\Theta_{0} (the kinds of variations expected following a big bang). During the early stages of the simulation before accelerated expansion begins, the Hubble radius can grow faster than a(t)a(t), depending on the initial conditions, and, as a result, can grow relative to the box size by a modest factor. We want to choose LL large enough to follow that stage of the evolution. Then, once inflation starts, the situation reverses: the Hubble radius grows much more slowly than a(t)a(t) and, hence, shrinks relative to the box size. Well before the end of inflation, the Hubble radius becomes smaller than the grid spacing. The best compromise for following the evolution on scales of order the Hubble radius during both the early and late stages is to choose L1L\gg 1 and maximize the number of grid points as much as computational resources allow (see related discussion in Sec. 4).

We refer the reader to Ref. [14] for a review of how to properly apply the York method using an elliptic solver in order to obtain initial conditions for the conformal factor ψ\psi consistent with the Hamiltonian and momentum constraints even for conditions outside the perturbative regime of flat FRW spacetimes and how to evolve the combined hyperbolic-elliptic system of Einstein-scalar partial differential equations.

3 Diagnostics

The goal of our survey is to determine for inflation and slow contraction how far the inhomogeneous, anisotropic and curved initial conditions can be from the target final state – a flat FRW spacetime dominated by the scalar field (Ωϕ=1\Omega_{\phi}=1) – and still reach the target by the end of the smoothing phase.

Four objective quantitative tests are:

  1. 1.

    |Ωϕ0||\Omega_{\phi}^{0}| test: A robust smoothing mechanism should have dynamical properties that enable the associated stress-energy component (e.g., due to the scalar field in our cases) to overtake the other degrees of freedom for a sustained period long enough to smooth and flatten the universe. One test for robustness is, therefore, showing that smoothing occurs beginning from |Ωϕ0|<<1|\Omega_{\phi}^{0}|<<1. We screen out cases where this initial condition is not satisfied.

  2. 2.

    λ/(2Θ0)<1\lambda/(2\Theta_{0})<1: A second test is whether smoothing occurs if the initial spatial variations include modes whose wavelengths are comparable to the initial inverse mean curvature Θ0\Theta_{0} (which, in a homogeneous universe would be the Hubble radius). Otherwise, the initial conditions would be ones for which the universe is relatively smooth on the scale of the Hubble radius at the very start, which is neither expected physically nor the kind of condition we aim to test. Due to the periodic boundary conditions, the initial spatial variations given in Eqs. (2.7) and (2.8) are expressed as sums of fourier modes with different wavelengths λi=2πLΘ0/mi\lambda_{i}=2\pi L\Theta_{0}/m_{i} commensurate with the periodic box side-length 2πLΘ02\pi L\Theta_{0}, where mi=m0,m1,m3,m_{i}=m_{0},\,m_{1},\,m_{3},\ldots are integers. With this parameterization, this second test reduces to checking if πL/mi<1\pi L/m_{i}<1 for one or more of the mim_{i}. Whereas the condition on |Ωϕ0|1|\Omega_{\phi}^{0}|\ll 1 is not so difficult to obtain for either inflation or so contraction, this second test is more challenging, especially for inflation where the evolution is not ultralocal.

  3. 3.

    Weyl curvature 𝒞^\hat{\cal C} and Chern-Pontryagin invariant 𝒫^\hat{\cal P}: These two scalars, derived from the Weyl curvature tensor, were first proposed as good measures of inhomogeneity, anisotropy and curvature in Ref. [14] because they are independent of the formulation, gauge or frame.

    The conformal Weyl curvature tensor \tensor𝒞σμνρ\tensor{\cal C}{{}_{\mu}{}_{\nu}{}_{\rho}{}_{\sigma}} is the trace-free part of the Riemann curvature tensor. The scalars derived from it are

    𝒞\tensor𝒞\tensorμνρσ𝒞σμνρ{\cal C}\equiv\tensor{\cal C}{{}^{\mu}{}^{\nu}{}^{\rho}{}^{\sigma}}\tensor{\cal C}{{}_{\mu}{}_{\nu}{}_{\rho}{}_{\sigma}} (3.1)

    and

    𝒫\tensor𝒞\tensorμνρσ𝒞,μνρσ{\cal P}\equiv{}^{\ast}\tensor{\cal C}{{}^{\mu}{}^{\nu}{}^{\rho}{}^{\sigma}}\,\tensor{\cal C}{{}_{\mu}{}_{\nu}{}_{\rho}{}_{\sigma}}, (3.2)

    where

    \tensor𝒞μνρσ12\tensorχ\tensorμντζ𝒞,τζρσ{}^{\ast}\tensor{\cal C}{{}_{\mu}{}_{\nu}{}_{\rho}{}_{\sigma}}\equiv\frac{1}{2}\tensor{\chi}{{}_{\mu}{}_{\nu}^{\tau}{}^{\zeta}}\,\tensor{\cal C}{{}_{\tau}{}_{\zeta}{}_{\rho}{}_{\sigma}}, (3.3)

    with \tensorχμντζ|g|\tensorεζμντ\tensor{\chi}{{}_{\mu}{}_{\nu}{}_{\tau}{}_{\zeta}}\equiv-\sqrt{|-g|}\tensor{\varepsilon}{{}_{\mu}{}_{\nu}{}_{\tau}{}_{\zeta}} being the totally anti-symmetric Levi-Civita 4-form and \tensorεζμντ\tensor{\varepsilon}{{}_{\mu}{}_{\nu}{}_{\tau}{}_{\zeta}} being the Levi-Civita tensor. The two curvature invariants can be expressed in terms of two spatial 3-tensors EabE_{ab} and HabH_{ab} corresponding to the electric and magnetic components of the Weyl curvature tensor, as detailed in [14]:

    𝒞\displaystyle{\cal C} =\displaystyle= 8(EabEabHabHab),\displaystyle 8\Big{(}E_{ab}E^{ab}-H_{ab}H^{ab}\Big{)}, (3.4)
    𝒫\displaystyle{\cal P} =\displaystyle= 16EabHab.\displaystyle 16E_{ab}H^{ab}. (3.5)

    Notably, EabE_{ab} depends directly on the shear tensor Σab\Sigma_{ab} and HabH_{ab} depends on contractions of Σab\Sigma_{ab} with components of the spatial curvature NabN_{ab} and on the spatial derivatives of Σab\Sigma_{ab}. This significance of this distinction in testing inflation vs. slow contraction will be discussed in the next section.

    For flat FRW, 𝒞^=𝒫^=0\hat{\cal C}=\hat{\cal P}=0. A third objective test of a smoothing mechanism is how large the mean |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| (averaged over the simulation volume) can be initially and yet have the smoothing mechanism reduce them to |𝒞^|<1010|\hat{\cal C}|<10^{-10} and |𝒫^|<1010|\hat{\cal P}|<10^{-10} by the end of the simulation. Here the hat refers to normalizing by the initial Ricci curvature. The initial mean values of |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| must both be greater than unity to be significantly outside the perturbative regime of flat FRW.

    The upper bounds of 101010^{-10} on the final mean values |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| are necessary to ensure that the deviations from flat FRW after smoothing are negligible compared to the quantum-generated curvature perturbations generated during the last stages of smoothing. Those quantum-generated perturbations are supposed to seed the observed temperature fluctuations in the cosmic microwave background. The observed amplitude of those fluctuations (squared) (δT/T)21010(\delta T/T)^{2}\sim 10^{-10}, sets the 101010^{-10} upper bound on |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| after smoothing.

  4. 4.

    σ𝒞2\sigma^{2}_{\cal C} and σ𝒫2\sigma^{2}_{\cal P}: A fourth objective test is how large the variances of |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| can be initially and yet have smoothing reduce them negligible levels. Checking the variance in addition to the mean is an important independent test because it screens out special instances where the means are large but nearly homogeneous. As with the means, the variances of |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| must both be greater than unity to be significantly far from flat FRW.

4 Limitations

Despite efforts at conducting a fair comparison of inflation and slow contraction, such as designing mirror codes and common objective diagnostics, numerical general relativity imposes certain unphysical technical limitations that tend to bias the outcomes. In the interest of full disclosure and to inspire improvements in future similar studies, we describe these here.

As it turns out, all the known technical biases are in the direction of favoring inflationary smoothing. Since our finding is that slow contraction solves the homogeneity, isotropy and flatness problems and inflation does not, our qualitative conclusion is not changed by these limitations. If anything, the quantitative advantages of slow contraction are being underestimated.

The biases trace back to the fact that the shear (anisotropy) Σab\Sigma_{ab} grows faster than spatial curvature nabn_{ab} in a contracting universe, and the reverse is true in an expanding universe. Shear and spatial curvature are the key components that can most effectively block a scalar field from dominating and thereby prevent smoothing. A limitation of our current implementation of the York method used to set initial conditions that satisfy the Hamiltonian and momentum constraints is that the conditions imposed on Σab\Sigma_{ab} and nabn_{ab} are fundamentally different.

In particular, our implementation places no significant restriction on Σab\Sigma_{ab} but requires nabn_{ab} to be precisely zero on the entire initial spatial hypersurface. Fixing nab=0n_{ab}=0 on the initial time-slice advantages inflation. It does not force nabn_{ab} to be zero for all time. In fact, the non-linear evolution of the Einstein equations generates a non-zero nabn_{ab} within a few time steps. However, the average curvature will remain zero so that there are necessarily patches where the spatial curvature passes through zero across the simulation. These patches are places where inflation has no spatial curvature to overcome, which advantages inflation, but only because of artificial limitations of current numerical simulation techniques.

A similar situation occurs with 𝒞^\hat{\cal C} and 𝒫^\hat{\cal P} and with the electric and magnetic components of the Weyl tensor, EabE_{ab} and HabH_{ab}. The electric component depends on the shear, and so is periodic but otherwise unconstrained. However, the magnetic component is comprised mostly of terms proportional to contractions of the shear with nabn_{ab}. These terms are zero on the initial time-slice and, even as nabn_{ab} varies in later steps, the magnetic term will tend to pass through zero in patches where nabn_{ab} passes through zero. Since 𝒫=16EabHab{\cal P}=16E_{ab}H^{ab}, the Chern-Pontryagin invariant 𝒫^\hat{\cal P} does this same. Again, inflation is favored and slow contraction receives no analogous advantages.

In principle, the York method can be extended to handle metrics with non-zero spatial curvature. This would be a useful technical advance, albeit one that is challenging. If that were to be achieved, though, the expectation would be that inflation would lose its artificial advantage and smoothing would be more difficult.

Another difference between simulations of inflation versus slow contraction has to do with the box side-length 2πLΘ02\pi L\Theta_{0}. As described in Sec. 2, contraction can be optimally simulated with L=1L=1; inflation requires LL to be made as large as computational resources allow. In the inflation case, it is necessary to increase the integer mode numbers mim_{i} in the arguments of the cosines in Eq. (2.8) by a factor of order LL. Otherwise, by increasing the box side-length but keeping the mim_{i} fixed, the initial wavelengths of any spatial variation become much larger than the inverse mean curvature from the very start, an initial condition that is nearly homogeneous over a Hubble volume. This consideration, which artificially favors inflation, was not included in cases presented our earlier paper [6]. This motivated developing the second diagnostics described in Sec. 3.

5 Survey results

The results of the systematic survey of inflation and slow contraction are unambiguous. They do not require looking through hundreds of examples. Rather, it suffices to consider representative cases. For inflation, we varied the parameters that determine the initial spatial variations of the shear, scalar field gradient, scale field velocity – both individually and in combinations – to find examples that came closest to satisfying the diagnostic criteria described in Sec. 3 and still smooth and flatten; no examples satisfied all of them. For slow contraction, we could satisfy them all, and we varied the same parameters to find the initial conditions that most exceed the criteria and yet still smooth. Two representative cases are summarized in Table 1. The differences are great both qualitatively and quantitatively.

Inflation Slow Contraction
λ/|2Θ|<1\lambda/|2\Theta|<1 λ/|2Θ|=4.5\lambda/|2\Theta|=4.5 λ/|2Θ|=0.48\lambda/|2\Theta|=0.48
max 𝒞¯\bar{\cal C}, max 𝒫¯>1\bar{\cal P}>1 𝒞¯=3.5\bar{\cal C}=3.5 𝒞¯=7×107\bar{\cal C}=7\times 10^{7}
𝒫¯=0.3\bar{\cal P}=0.3 𝒫¯=9×106\bar{\cal P}=9\times 10^{6}
σC2>1\sigma_{C}^{2}>1, σP2>1\sigma_{P}^{2}>1 σC2=0.4\sigma_{C}^{2}=0.4 σC2=1.1×1013\sigma_{C}^{2}=1.1\times 10^{13}
σP2=0.003\sigma_{P}^{2}=0.003 σP2=3.3×1011\sigma_{P}^{2}=3.3\times 10^{11}
Table 1: Results of the three critical tests described in Sec. 3 to assess whether a smoothing mechanism can solve the homogeneity, isotropy, isotropy problems beginning from initial conditions that are non-perturbatively far from flat FRW. To qualify, a smoothing mechanism must be able to smooth in cases where the initial conditions satisfy all three criteria. In the survey, no inflationary example was found that satisfied any of the three conditions and still smoothed and flattened (as indicated by the red boxes); the initial conditions for an example that came closest and still smoothed are shown in the box. By contrast, a wide range of slow contraction examples satisfied all three conditions by a substantial margin and still smoothed and flattened; the initial conditions for an extreme case in the survey are shown in the green boxes.

For both inflation and slow contraction, many examples satisfied the first criterion in Sec. 3, |Ωϕ|1|\Omega_{\phi}|\ll 1, including the two representative cases presented in Table 1. However, no inflation example was found that passed the other three tests and still smoothed and flattened, as indicated by the red boxes in Table 1. The initial conditions for the case that came closest are detailed in the figure. Its parameter values, as defined in Eqs. (2.7) and (2.8), are:

K0=3;a1=1.7,a2=3.0,a3=1.5,b1=1.8,b2=1.5,\displaystyle K_{0}=-3;\;a_{1}=1.7,\;a_{2}=3.0,\;a_{3}=1.5,\;b_{1}=1.8,\;b_{2}=-1.5, (5.1)
c1=5.0,c2=5.0,c3=10.0,κ=0.01;αx=αy=0.0\displaystyle c_{1}=5.0,\;c_{2}=5.0,\;c_{3}=10.0,\;\kappa=0.01;\;\alpha_{x}=\alpha_{y}=0.0 (5.2)
f1=0.24,m1=49,d1=1.05,f3=0.29,m3=42,d3=0.0,ϕ0=25;\displaystyle f_{1}=0.24,\;m_{1}=49,\;d_{1}=-1.05,\;f_{3}=0.29,\;m_{3}=42,\;d_{3}=0.0,\;\phi_{0}=25; (5.3)
f0=0.44,m0=6,d0=1.57,f2=0.18,m2=5,d2=0.0,Q0=5.0.\displaystyle f_{0}=0.44,\;m_{0}=6,\;d_{0}=-1.57,\;f_{2}=0.18,\;m_{2}=5,\;d_{2}=0.0,\;Q_{0}=-5.0. (5.4)

The box side-length is 2πLΘ02\pi L\Theta_{0} where Θ0=3/K0\Theta_{0}=3/K_{0} and L=70L=70, which is sufficient to ensure that the box is larger than the Hubble volume throughout the simulation, as required. In the quadratic potential of the scalar field, m2=1.43×105m^{2}=1.43\times 10^{-5} in reduced Planck units. Fig. 1 shows the evolution of the average values of 𝒞^\hat{\cal C} and 𝒫^\hat{\cal P} in the simulation as a function of tt (whose value equals the number of ee-folds of expansion) is shown for the first 20 ee-folds. It is apparent that the initial conditions fail two critical tests in that the initial values of 𝒫^\hat{\cal P}and its variance are significantly less than one. (Note also that the max values do not reach the smoothness bound of 101010^{-10} within the first 20 ee-folds.)

Refer to caption
Figure 1: For the inflation model described in Table 1, the evolution of the max values of |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| in the simulation and their variances as a function of the tt coordinate (equal to the number of ee-folds of inflationary expansion).
Refer to caption
Figure 2: For the contraction model described Fig. 1, the evolution of the max values of |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| in the simulation and their variances as a function of the tt coordinate (equal to the number of ee-folds of contraction of the Hubble radius).

By contrast, many slow contraction models satisfied all four tests in Sec. 3 by a substantial margin. Table 1 gives the details for a slow contraction example in the survey that smoothed despite initial conditions were among those furthest from flat FRW and yet smoothed. Its parameters are:

K0=3.0;a1=1.02,a2=1.8,a3=0.9,b1=1.08,b2=0.9,\displaystyle K_{0}=-3.0;\;a_{1}=1.02,a_{2}=1.8,\;a_{3}=0.9,\;b_{1}=1.08,\;b_{2}=-0.9, (5.5)
c1=3.0,c2=3.0,c3=6.0,κ=0.01;αx=αy=0.0\displaystyle c_{1}=3.0,\;c_{2}=3.0,\;c_{3}=6.0,\;\kappa=0.01;\;\alpha_{x}=\alpha_{y}=0.0 (5.6)
f1=0.6,m1=4,d1=1.05,f3=0.66,m3=3,d3=0.5,ϕ0=0.0;\displaystyle f_{1}=0.6,\;m_{1}=4,\;d_{1}=-1.05,\;f_{3}=0.66,\;m_{3}=3,\;d_{3}=0.5,\;\phi_{0}=0.0; (5.7)
f0=0.6,m0=5,d0=1.57,f2=0.72,m2=2,d2=0.0,Q0=2.0.\displaystyle f_{0}=0.6,\;m_{0}=5,\;d_{0}=-1.57,\;f_{2}=0.72,\;m_{2}=2,\;d_{2}=0.0,\;Q_{0}=2.0. (5.8)

The potential coefficient is V0=0.1V_{0}=0.1 in units of H2MP2H^{2}M_{P}^{2}. The box side-length is 2πLΘ02\pi L\Theta_{0} with L=1L=1, which is sufficient to ensure that the box is larger than the Hubble radius throughout contraction, as required. In the exponential potential, M=0.1M=0.1 in reduced Planck units, which has an attractor solution with equation-of-state ε=50\varepsilon=50. Fig. 2 is the complement to Fig. 1 for the case of contraction: the evolution of the max values of |𝒞^||\hat{\cal C}| and |𝒫^||\hat{\cal P}| in the simulation and their variances as a function of tt (which corresponds to the number of ee-folds of contraction of the Hubble radius). The criteria that the initial values of these four quantities are greater than one is exceeded by an exponential factor and they reach the smoothness bound within the first 20 ee-folds despite the extremely inhomogeneous initial conditions.

The central conclusion of the survey, as illustrated by these two examples, is that slow contraction solves the homogeneity, isotropy, and flatness problems and that inflation is problematic. This is consistent qualitatively with earlier individual cases studies by us [7, 8, 9, 10, 11, 12, 13, 6, 14]. However, now one can point to the results of hundreds of runs that systematically explore a wide range of initial conditions, and one can measure quantitatively how powerful of a smoother slow contraction really is, far exceeding the requisite limits on the average Weyl curvature 𝒞^\hat{\cal C} and the Chern-Pontryagin invariants 𝒫^\hat{\cal P} and their variances by many orders of magnitude!

We have suggested that ultralocality is the reason for the extraordinary smoothing power of slow contraction in Refs. [10, 14], and its absence in an expanding universe is what makes inflation problematic. In the following two sections, we will provide examples of supporting evidence stemming from the survey.

6 Ultralocality: slow contraction vs. fast contraction

Refer to caption
Figure 3: The state space orbit for the contraction model described in Sec. 4 and Table 1 in the (Σ¯+,Σ¯)(\bar{\Sigma}_{+},\bar{\Sigma}_{-}) showing worldines for ten different spatial points in the simulation. The small solid red circles correspond to the initial condition at that point. The thin red curves show the trajectory. The grey dots show indicate the conditions at successive time steps along the trajectory. The quarter circle corresponds to the vacuum Kasner solution, and the center of the circle corresponds to the target flat FRW.

The notion of ultralocality was introduced by Belinski, Khalatnikov and Lifshitz in Ref. [15] (BKL) who conjectured that, in contracting vacuum space-times, spatial derivatives in the equations of motion become small compared to the time derivatives. Removing spatial gradients reduces the Einstein-scalar field equations from a system of partial differential equations to a system of ordinary differential equations. In more recent work, it has been demonstrated through numerical relativity simulations that this “ultralocal” behavior also occurs when there are matter sources or a free scalar field [17, 18, 19]. In all but the free scalar case, shear grows to dominate the evolution which then triggers chaotic mixmaster behavior. The chaotic nature results in an uncontrollable growth of inhomogeneity. The free scalar case is borderline in this sense; in the homogenous limit, the ratio of anisotropy to scalar field energy density approaches a constant.

Ultralocality has also been demonstrated in numerical relativity simulations of slow contraction [10, 14] where the scalar field is self-interacting through a negative potential energy. If the potential is sufficiently steep (corresponding to ε3\varepsilon\gg 3), the system of ordinary differential equations has an attractor solution that drives widely separated points in space to a common fixed point: flat FRW. Because different spatial points begin with different initial conditions, they start with different deviations from flat FRW and evolve at different rates towards it. However, because the atttractor is a strong one, even points that were not causally connected at the beginning of slow contraction end up reaching the flat FRW condition shortly after it begins and rather rapidly, within twenty or so ee-folds of slow contraction of the Hubble radius for a wide range of conditions.

As has been noted in Refs. [10, 14], this novel smoothing behavior contradicts the standard lore that the causal connectivity and causal interaction is essential for homogenizing and isotropizing. The best that is possible is a local causal smoother, according to this lore. Yet, with ultralocal smoothing, the first step is to disconnect neighboring points in spacetime by shrinking the spatial derivative terms in the equations of motion until they are negligible and relying on attractor behavior to drive the points independently to the same desired common flat FRW endpoint. In this sense, the smoothing by slow contraction is universal and acausal.

Refer to caption
Figure 4: The state space orbit for two simulations beginning with the same initial conditions. The only difference is that the scalar field is free in (a), which is a case of fast contraction, and the scalar field has a negative potential in (b), corresponding to a case of slow contraction.

Fig. 3 illustrates this behavior for the slow contraction model described in the previous section by showing the time-evolution of the shear tensor Σ¯ab\bar{\Sigma}_{ab} using a standard state space orbit plot. The axes are (Σ¯+,Σ¯)(\bar{\Sigma}_{+},\bar{\Sigma}_{-}) where Σ¯+=12(Σ¯11+Σ¯22)\bar{\Sigma}_{+}=\textstyle{\frac{1}{2}}(\bar{\Sigma}_{11}+\bar{\Sigma}_{22}) and Σ¯=123(Σ¯11Σ¯22)\bar{\Sigma}_{-}=\frac{1}{2\sqrt{3}}(\bar{\Sigma}_{11}-\bar{\Sigma}_{22}). The Σ¯±\bar{\Sigma}_{\pm} are normalized such that the unit circle (Σ¯+2+Σ¯2=1\bar{\Sigma}_{+}^{2}+\bar{\Sigma}_{-}^{2}=1) corresponds to the vacuum Kasner solution. The center of the circle corresponds to the flat FRW solution. For simplicity, we show only one quadrant. Each trajectory corresponds to a particular spatial point in the simulation, where the points are evenly spread across the box; the red circles represent starting points. Trajectories that begin at or beyond the quarter circles typically have C^1\hat{C}\gg 1 and P^1\hat{P}\gg 1. In this case, many trajectories start significantly outside the circle, consistent with the large mean values reported in Table 1. But each trajectory, traveling over different paths and taking different amounts of time, is drawn rather directly to the flat FRW point at the center of the circle, even for these extreme initial conditions. This behavior is a sign of robust and rapid smoothing and is characteristic of the combination of ultralocality and slow contraction.

Refer to caption
Figure 5: The state space orbits for two simulations of inflation. The orbits in (a) are for the inflationary case described in Sec. 5 that comes closest to satisfying the initial conditions criteria delineated in Sec. 3 and still smooths. The trajectories are inward and reach the center of the circle corresponding to flat FRW. The plot in (b) is an inflationary case with initial conditions somewhat closer to satisfying the criteria but which fails to smooth. The trajectories do not reach the center and some even turn away from flat FRW.

One might wonder if ultralocality is all that is required. Fig. 4 shows that the answer is no. The figure illustrates the difference in the state space orbit plots for two examples of contraction. Because both are contracting, both evolutions become ultralocal. In the first case, the scalar field is free (V(ϕ)=0V(\phi)=0), corresponding to ε=3\varepsilon=3; in the second case, the scalar field has a negative potential with an attractor solution with ε=13\varepsilon=13. Even though the evolution becomes ultralocal in both cases and the starting points are inside the circle (so relatively mild initial conditions compared to Fig. 3), the outcomes are quite different. The trajectories never reach flat FRW (the center of the circle) in the case of fast contraction, but rapidly converge to flat FRW for the case of slow contraction. In other words, ultralocality alone does not solve the homogeneity, isotropy and flatness problems, but ultralocality combined with ε3\varepsilon\gg 3 clearly can. (N.B., as detailed in the phase diagrams shown in Ref. [10], the crossover in ε\varepsilon from non-smoothing to smoothing occurs somewhere between ε=3\varepsilon=3 and 13, depending on the initial conditions.)

As emphasized in Ref. [20], the combination of ultralocality and ε3\varepsilon\gg 3 drives the Weyl curvature to zero at spacetime points that are causally disconnected. Penrose [21] earlier pointed out that this condition is essential for explaining why the early universe is FRW, but he had no physical explanation for it. Penrose went so far as to propose a new law of physics (the Weyl Curvature Hypothesis) that initial singularities must have zero Weyl curvature. However, the Hypothesis is not only ad hoc, but it is unlikely to be valid following a big bang once quantum effects are included. If the universe passes through a phase with strong quantum gravitational effects following a bang, quantum gravity fluctuations create large random fluctuations in spacetime. The same criticism applies to slow contraction if continued to such high densities that quantum gravity effects become large. To fully replace the Weyl Curvature Hypothesis with a physical mechanism, a third essential element is a smooth transition from contraction to expansion (a.k.a. “non-singular bounce”) at low densities where quantum gravity effects are negligible.

7 Ultralocality: slow contraction vs. inflation

We have shown above that ultralocality – the rapid shrinking of spatial derivative terms in the Einstein-scalar field equations in a contracting universe – plays a central role in solving the homogeneity, isotropy and flatness problems with slow contraction. This also suggests the reason why inflation is problematic – the spatial gradient terms in the Einstein-scalar field equations grow. Heuristic arguments explaining how inflation smooths assume the inflaton field has already dominated the evolution. But if the initial conditions are outside the perturbative regime of flat FRW, as expected, for example, following a big bang, there is spatially varying shear and curvature with significant spatial gradients that can dominate the evolution and block inflation if those gradients grow.

The state space orbits in Fig. 5 exemplify the problem. On the left are the orbits for the inflationary example described in Table 1 that comes closest to satisfying the four criteria in Sec. 3 and yet smooths. The smoothing is indicated by the convergence of trajectories at the center of the Kasner circle. Note that the starting points are all inside the Kasner circle and much closer to the center compared to the slow contraction case. Also the trajectories are converging in way that becomes increasingly twisty as they approach the center, which differs from the slow contraction examples.

The right is an inflationary example with initial conditions that come somewhat closer to satisfying the criteria. In this case, though, smoothing fails. The opposite of ultralocal behavior occurs. Spatial gradients are growing sufficiently rapidly that inflation cannot take hold. Some trajectories end up turning away from the center. And this occurs when the starting points (indicated by the solid red circles) are well inside the Kasner circle indicating that the initial conditions are not extreme, as they are in the slow contraction example above.

Fig. 6 plots Ωϕ,s,K\Omega_{\phi,s,K}, the relative contributions of scalar field energy, shear and curvature, as a function of time for two cases. The first is the slow contraction model described in Sec. 5 and Table 1 that begins with conditions so extremely far from flat FRW that the plot extends far outside the frame for the initial time steps, However, after 15 ee-folds of contraction, the combination of ultralocality and slow contraction smooths.

The second case is an inflation example where the spatial gradients begin small and then grow rapidly during the first steps. This is the expected signature if the opposite of ultralocality occurs and is the reason why smoothing fails.

Refer to caption
Figure 6: Snapshots show the relative contributions of scalar field energy, shear and curvature (Ωϕ,s,K\Omega_{\phi,s,K}) in the initial time step and then a series of time steps following. In the contraction case (top row), the initial spatial gradients are so large that they extend beyond the frame, but they are eventually smoothed through ultralocality and slow contraction. In the inflation case (bottom row), the initial spatial gradients are small and grow rapidly until they extend outside the frame, consistent with the idea that the opposite of ultralocality occurs when initial conditions are far from flat FRW.

8 Discussion

Numerical relativity can play a crucial in exploring fundamental issues in cosmology such as considered here: the solution to the homogeneity, isotropy and flatness problems. We have used objective tests, including ones based on gauge/frame invariant measures, and found huge differences between slow contraction and inflation. Slow contraction can smooth and flatten even when the initial conditions are exponentially far from flat FRW initial conditions. Inflation can only smooth in cases where the initial conditions are comparatively close to flat FRW at the start. The simulations also enable us to understand why there is this enormous qualitative and quantitative difference. Physics becomes ultralocal in a contracting universe which rapidly reduces spatial gradients until they become negligible for the dynamics. When combined with slow contraction (ε3\varepsilon\gg 3), world-lines converge to a flat FRW attractor. Conversely, spatial gradients grow in an expanding pre-inflating universe. If they are large to begin with, as one would expect after a big bang, they can grow fast enough that inflation cannot take hold.

These results were indicated in some earlier studies, although other studies suggested inflation is also an effective smoother. Important advances incorporated in this study are formulations that allow a much broader range of initial conditions for both inflation and slow contraction and objective diagnostics that enable the distinction between initial conditions that are outside the perturbative regime of flat FRW. Including these leads to the unambiguous conclusions presented here – and this despite the limitations in current numerical methods described in Sec. 4 that favor inflation or our choice of a positive quadratic potential for inflation that has been found to be least sensitive to initial conditions [2, 3, 4]. (As noted in the introduction, we have extended our survey to other potentials and will report the results elsewhere; they do not appear to change the qualitative conclusions presented here.)

The results have potentially profound implications. Observations inform us that we are living in a spacetime that is extraordinarily special – much more homogeneous, isotropic and flat than one would expect from general relativity, or from a multiverse, or from what can be inferred based on anthropic arguments. Some remarkable predictive physical process must account for it. If the universe does not emerge perturbatively close to homogeneous and isotropic immediately after a big bang, the results suggest that adding an inflaton does not typically smooth or flatten it, thanks in part to the absence of ultralocality. At the same time, it appears that ultralocality in a slowly contracting universe can accomplish the task in a predictive, universal and acausal way.

Acknowledgements.

We thank D. Shlivko for useful conversations and M. Klatt for helping to create some of the Python visualization scripts. The work of A.I. is supported by the Simons Foundation grant number 947319. P.J.S. is supported in part by the DOE grant number DEFG02-91ER40671 and by the Simons Foundation grant number 654561. DG is supported in part by NSF grant number PHY-2102914.

References

  • East et al. [2016] W. E. East, M. Kleban, A. Linde, and L. Senatore, JCAP 1609, 010 (2016), 1511.05143.
  • Clough et al. [2017] K. Clough, E. A. Lim, B. S. DiNunno, W. Fischler, R. Flauger, and S. Paban, JCAP 1709, 025 (2017), 1608.04408.
  • Aurrekoetxea et al. [2020] J. C. Aurrekoetxea, K. Clough, R. Flauger, and E. A. Lim, JCAP 05, 030 (2020), 1910.12547.
  • Clough et al. [2018] K. Clough, R. Flauger, and E. A. Lim, JCAP 05, 065 (2018), 1712.07352.
  • Corman and East [2022] M. Corman and W. E. East (2022), 2212.04479.
  • Garfinkle et al. [2023] D. Garfinkle, A. Ijjas, and P. J. Steinhardt, Phys. Lett. B 843, 138028 (2023), 2304.12150.
  • Garfinkle et al. [2008] D. Garfinkle, W. C. Lim, F. Pretorius, and P. J. Steinhardt, Phys. Rev. D78, 083537 (2008), 0808.0542.
  • Cook et al. [2020] W. G. Cook, I. A. Glushchenko, A. Ijjas, F. Pretorius, and P. J. Steinhardt, Phys. Lett. B 808, 135690 (2020), 2006.01172.
  • Ijjas et al. [2020] A. Ijjas, W. G. Cook, F. Pretorius, P. J. Steinhardt, and E. Y. Davies, JCAP 08, 030 (2020), 2006.04999.
  • Ijjas et al. [2021a] A. Ijjas, A. P. Sullivan, F. Pretorius, P. J. Steinhardt, and W. G. Cook, JCAP 06, 013 (2021a), 2103.00584.
  • Ijjas et al. [2021b] A. Ijjas, F. Pretorius, P. J. Steinhardt, and A. P. Sullivan, Phys. Lett. B 820, 136490 (2021b), 2104.12293.
  • Ijjas et al. [2021c] A. Ijjas, F. Pretorius, P. J. Steinhardt, and D. Garfinkle, JCAP (2021c), 2109.09768.
  • Kist and Ijjas [2022] T. Kist and A. Ijjas, JCAP 08, 046 (2022), 2205.01519.
  • Ijjas [2023a] A. Ijjas (2023a), 2304.07616.
  • Belinsky et al. [1970] V. A. Belinsky, I. M. Khalatnikov, and E. M. Lifshitz, Adv. Phys. 19, 525 (1970).
  • York [1971] J. W. York, Jr., Phys. Rev. Lett. 26, 1656 (1971).
  • Berger et al. [1998] B. Berger, D. Garfinkle, J. Isenberg, V. Moncrief, and M. Weaver, Mod. Phys. Lett. A 13, 1565 (1998), gr-qc/9805063.
  • Lim et al. [2009] W. C. Lim, L. Andersson, D. Garfinkle, and F. Pretorius, Phys. Rev. D 79, 123526 (2009), 0904.1546.
  • Garfinkle and Pretorius [2020] D. Garfinkle and F. Pretorius, Spike behavior in the approach to spacetime singularities (2020), 2010.01399.
  • Ijjas [2023b] A. Ijjas (2023b), 2304.10030.
  • Penrose [1979] R. Penrose, in General Relativity: An Einstein Centenary Survey, edited by H. S.W. and W. Israel (Cambridge University Press, 1979), pp. 581–638.