Rapid numerical solutions for the Mukhanov-Sasaki equation 1, 2, 3, 1, 2, 4, W. I. J. Haddadin ∗ and W. J. Handley y 1Kavli Institute for Cosmology, Madingley Road, Cambridge, CB3 0HA, UK 2Astrophysics Group, Cavendish Laboratory, J.J.Thomson Avenue, Cambridge, CB3 0HE, UK 3King's College, King's Parade, Cambridge CB2 1ST, UK 4Gonville & Caius College, Trinity Street, Cambridge, CB2 1TA, UK We develop a novel technique for numerically computing the primordial power spectra of comoving curvature perturbations. By finding suitable analytic approximations for different regions of the mode equations and stitching them together, we reduce the solution of a differential equation to repeated matrix multiplication. This results in a wavenumber-dependent increase in speed which is orders of magnitude faster than traditional approaches at intermediate and large wavenumbers. We demonstrate the method's efficacy on the challenging case of a stepped quadratic potential with kinetic dominance. We further generalise to a novel class of frozen initial conditions which prove capable of emulating a quantised primordial power spectrum. I. INTRODUCTION ing the Mukhanov-Sasaki equation. In all cases this ap- proach gives a wavenumber-dependent increase in speed, With only six parameters, the ΛCDM concordance and for large wavenumbers this method presents the only model of the Universe explains the large-scale structure, currently available method for computing fully numerical present state, and evolution of the cosmos to high pre- solutions that integrate across the entire evolution of the cision [1]. Two of these parameters phenomenologically mode equations. describe the amplitude As and tilt ns of the primordial The format of this paper is as follows: In Sec. II we power spectrum of comoving curvature perturbations. summarise relevant background theory and establish no- The detection of ns =6 1, along with correlated acous- tation. In Sec. III, we describe the general approach. In tic oscillations in the temperature and polarisation of Sec. IV we apply our technique to the challenging case of the cosmic microwave background (CMB) anisotropies [2] a stepped potential with kinetic dominance initial con- constitutes overwhelming evidence for a rapid early accel- ditions and compare with traditional solving techniques. erated phase. The canonical method for explaining this We conclude in Sec. V. evolution is the theory of inflation, in which primordial quantum fields drive the accelerated expansion. Models of inflation make predictions about the primor- II. BACKGROUND dial power spectrum. These predictions may be tested against observations of the CMB, allowing us to probe The simplest inflationary model is provided by a single the physics of this hypothesised embryonic stage of the scalar field minimally coupled to gravity with action universe [3, 4]. Traditional analyses manifest these pre- Z 1 4 p ν dictions in terms of As and ns conditioned on inflation- S = d x jgj R + r φrν φ − V (φ) ; (1) ary model parameters. In many cases, such a brutal 2 phenomenological parameterisation is insufficient. These where φ is a scalar inflaton field, V (φ) its potential, and cases include models that explain large scale features in we are working in natural units. For a flat Friedmann{ CMB power spectra [5{8], axion monodromy models [9], Lema^ıtre–Robertson{Walker universe filled with a spa- just enough inflation [10] or kinetic dominance [11{13]. tially uniform field φ, extremising this action recovers Occasionally one may have access to analytic expressions the Klein-Gordon and Friedmann equations or approximations, but in general one must solve the Mukhanov-Sasaki mode equations numerically in order φ¨ + 3Hφ_ + V 0(φ) = 0; (2) arXiv:1809.11095v2 [astro-ph.CO] 7 Apr 2021 to compute primordial power spectra. 1 1 In many instances of cosmological interest the numer- H2 = φ_2 + V (φ) ; (3) ical computation of primordial power spectra forms the 3 2 primary bottleneck in a full numerical inference. There H a=a have been several attempts at tackling this problem [14{ where = _ is the Hubble parameter, and dots and t 16] using a variety of analytical and numerical approaches primes denote derivatives with respect to cosmic time φ with varying degrees of generality and efficiency. In this and the field respectively. paper we present a novel and general approach to solv- For nearly all potentials, the background solutions to Eqs. (2) and (3) converge on the slow-roll attractor solution satisfying φ_2 V (φ). In this regime, φ and H are approximately constant and the Universe undergoes ∗ [email protected] approximately exponential expansion a ∼ exp(Ht), caus- 1 y [email protected] ing the comoving horizon (aH)− to shrink. One may set 2 self-consistent slow-roll initial conditions [17{19] via the 103 constraint: Comoving Horizon R V (φ) φ_ = − 0 ; 3H2 = V (φ); (4) 3H allowing a small amount of evolution to remove transient effects resulting from an initial small offset from the true attractor. 102 Alternatively, one may set initial conditions in a ki- Mpc netically dominated phase. Whilst late-time inflationary / 1 − evolution is characterised by a slow-moving inflaton, clas- k sically at early times the opposite, φ_2 V (φ), is gener- ally true [11]. In this state, the comoving horizon grows until the inflaton is sufficiently slowed by the friction term in Eq. (2). A brief transitional fast-roll period φ_2 ∼ V (φ) 101 is reached before the field settles into the usual slow-roll phase. Kinetic dominance initial conditions may be set via: r 0 2 4 6 8 10 1 2 1 H(t) = ; φ(t) = φ ± log t; a(t) / t 3 ; (5) N 3t p 3 where φp is a constant of integration. FIG. 1. Comoving horizon along with appropriately shifted Perturbing the action in Eq. (1) around the zeroth- mode evolution Rk for different values of k. The comoving order homogeneous solutions and taking scalar compo- horizon expands in kinetic dominance until the beginning of nents yields the gauge-invariant Mukhanov action [20] inflation when it begins shrinking. The k-modes freeze-out as they exit the comoving horizon. Z _ 1 3 2 2 2 2 aφ S = dtd x R_ − a− (@ R) az ; z = ; (6) (2) 2 i H interest until they are well outside the horizon and eval- where R is the gauge-invariant comoving curvature per- uate turbation. Varying this action and expressing R in terms of its isotropic Fourier components Rk, we obtain the 3 3 k 2 k 2 Mukhanov-Sasaki (MS) equation P (k) = lim jRkj ; P (k) = lim jTkj : R k aH 2π2 T k aH 2π2 2 z_ k R¨k + H + 2 R_ k + Rk = 0: (7) z a2 For large values of k many oscillations must be tra- versed in order to reach horizon exit, causing standard As shown in Fig. 1, solutions to these equations are os- numerical solvers to fail. This may be somewhat ame- cillatory within the horizon k aH and freeze out upon liorated in the slow-roll case by starting the evolution a horizon exit. For tensor perturbations, the equivalent small amount before horizon exit, and exploit the fact equation for both polarisations is that for slow-roll, Bunch-Davies conditions may be set 2 anywhere within the horizon [24{26]. However, such k short-cuts can be harder to apply for certain potentials, T¨k + 3HT_k + Tk = 0; (8) a2 particularly ones which yield spectra with moderately high-k features. In the slow-roll paradigm, initial conditions for the per- turbations are typically set using Bunch{Davies initial In this paper, we choose the stepped quadratic poten- conditions, by matching: tial [8] as a challenging but relevant example 1 ik R dt 2 ik R dt lim Rk = p e− a ; Tk = p e− a : (9) 1 2 2 φ − φ0 k aH z k a k V (φ) = m φ 1 + A tanh ; (10) 2 2 2 ∆ In the fast-roll and kinetically dominated paradigms, this condition can never be fulfilled for small k. In these cases, where m is the mass of the inflaton field and A, φ0, and ∆ the situation becomes less clear-cut, although alternative are the amplitude, location and width of a step feature. initial conditions have been proposed [21{23]. Such step features induce oscillations in the primordial Once initial conditions have been chosen, to compute power spectrum, which could be responsible for the low-` primordial power spectra one must evolve all modes of features seen in CMB power spectra [5{8]. 3 III. METHODOLOGY we choose a semi-log interpolation function defined on n intervals f[t0; t1);:::; [tn 1; tn)g. For each interval one − We now review our new approach for evolving the chooses either a linear, positive exponential or negative Mukhanov-Sasaki mode Eqs. (7) and (8), first in a general exponential parameterisation: context in Secs. III A and III B, and then in application 8 a b t to primordial cosmology in Sec. III C. < i + i Linear 2 2(ai+bit) Contaldi et al. [27] construct an analytic template for ! (t) = e +Exp (15) : 2(ai+bit) the scalar primordial power spectrum with fast-roll ini- −e −Exp tial conditions. They find exact solutions to Eq. (7) where in both the kinetic dominance and slow-roll limits and match them together assuming an instantaneous transi- !2 − !2 b = i+1 i ; a = !2 − b t ;!2 = !2(t ) (16) tion between kinetic dominance and slow-roll. This pro- i t − t i i i i i i duces an expression in terms of Bessel functions which i+1 i recovers the key features of the primordial power spectra for the linear segments and with cut-offs and oscillations.