arxiv: v2 [astro-ph.co] 18 Dec 2009

Transcription

1 Cosmological perturation theory for aryons and dark matter I: one-loop corrections in the RPT framework Gáor Somogyi,2, and Roert E. Smith 2, Deutsches Elektronensynchrotron DESY, Platanenallee 6, D-5738 Zeuthen, Germany 2 Institute for Theoretical Physics, University of Zurich, CH-837 Zurich, Switzerland (Dated: January 28, 2) arxiv:9.522v2 [astro-ph.co 8 Dec 29 We generalize the renormalized perturation theory (RPT) formalism of Crocce and Scoccimarro [ to deal with multiple fluids in the Universe and here we present the complete calculations up to the one-loop level in the RPT. We apply this approach to the prolem of following the nonlinear evolution of aryon and cold dark matter (CDM) perturations, evolving from the distinct sets of initial conditions, from the high redshift post-recomination Universe right through to the present day. In current theoretical and numerical models of structure formation, it is standard practice to treat aryons and CDM as an effective single matter fluid the so called dark matter only modeling. In this approximation, one uses a weighed sum of late time aryon and CDM transfer functions to set initial mass fluctuations. In this paper we explore whether this approach can e employed for high precision modeling of structure formation. We show that, even if we only follow the linear evolution, there is a large-scale scale-dependent ias etween aryons and CDM for the currently favored WMAP5 ΛCDM model. This time evolving ias is significant (> %) until the present day, when it is driven towards unity through gravitational relaxation processes. Using the RPT formalism we test this approximation in the non-linear regime. We show that the non-linear CDM power spectrum in the 2-component fluid differs from that otained from an effective meanmass -component fluid y 3% on scales of order k.5 hmpc at z =, and y.5% at z =. However, for the case of the non-linear evolution of the aryons the situation is worse and we find that the power spectrum is suppressed, relative to the total matter, y 5% on scales k.5 hmpc at z =, and y 3 5% at z =. Importantly, esides the suppression of the spectrum, the Baryonic Acoustic Oscillation (BAO) features are amplified for aryon and slightly damped for CDM spectra. If we compare the total matter power spectra in the 2- and -component fluid approaches, then we find excellent agreement, with deviations eing <.5% throughout the evolution. Consequences: high precision modeling of the large-scale distriution of aryons in the Universe can not e achieved through an effective mean-mass -component fluid approximation; detection significance of BAO will e amplified in proes that study aryonic matter, relative to proes that study the CDM or total mass only. The CDM distriution can e modeled accurately at late times and the total matter at all times. This is good news for proes that are sensitive to the total mass, such as gravitational weak lensing as existing modeling techniques are good enough. Lastly, we identify an analytic approximation that greatly simplifies the evaluation of the full PT expressions, and it is etter than < % over the full range of scales and times considered. I. INTRODUCTION In the current paradigm for structure formation in the Universe, it is supposed that there was an initial period of inflation, during which, quantum fluctuations were generated and inflated up to super-horizon scales; producing a near scale-invariant and near Gaussian set of primordial potential fluctuations. At the end of inflation the Universe is reheated, and particles and radiation are synthesized. In this hot early phase, cold thermal relics are also produced, these particles interact gravitationally and possily through the weak interaction dued Cold Dark Matter (CDM). Prior to recomination photons are coupled to electrons through Thompson scattering, and in turn electrons to aryonic nuclei through the Coulom interaction. Baryon fluctuations are pressure supported on scales smaller than the sound horizon scale. Susequent to recomination photons free-stream out of perturations and aryons cool into the CDM potential wells. Structure formation then proceeds in a hierarchical way with small ojects collapsing first and then merging to form larger ojects. Eventually, sufficiently dense gas wells are accumulated and galaxies form. At late times the Universe switches from a decelerating phase of expansion to an accelerated phase. This is attriuted to the non-zero constant energy-density of the vacuum. This paradigm has een dued: ΛCDM [2, 3, 4. Electronic address: Gaor.Somogyi@desy.de Electronic address: res@physik.unizh.ch

2 2. (k, z) (k, z) = δ lin (k, z)/δc lin k [h/mpc FIG. : Baryon ias as a function of inverse spatial scale, where we have defined the aryon ias (k, z) δ lin(k, z)/δ c lin(k, z), and used Eqs(37) and (38) from IIF. Solid through to dashed lines show results for redshifts z = {,., 3., 5.,., 2.}. The present day energy-density udget for the ΛCDM model is distriuted into several components, which in units of the critical density are: vacuum energy Ω Λ,.73, matter Ω m,.27, neutrinos Ω ν, 2 and radiation Ω r, 5 4. The matter distriution can e sudivided further into contriutions from CDM and aryons, with present day values Ω c.225 and Ω.45. The detailed physics for the evolution of the radiation, CDM, aryon and neutrino fluctuations (δ r, δ c, δ, δ ν ), from the early Universe through to recomination can e otained y solving the Einstein Boltzmann equations. These are a set of coupled non-linear partial differential equations, however while the fluctuations are small they may e linearized and solved [for a review see 5, 6. At later times these fluctuations enter a phase of non-linear growth. Their evolution during this period can no longer e descried accurately using the linear Einstein Boltzmann theory and must e followed using higher order perturation theory (hereafter PT) techniques [7 or more directly through N-ody simulations [8. The cross-over from the linear to the non-linear theory is, in general, not straightforward. Most of the theoretical and numerical approaches to this latter task were developed during the previous two decades, during which time the Standard CDM model was favored: essentially Einstein-de Sitter spacetime, Ω m =, with energy-density dominated y CDM 97%, and aryons contriuting 3% to the total matter. For this case it is natural to assume that the CDM fluctuations dominate the gravitational potentials at nearly all times, with aryons playing little role in the formation of large-scale structure [see for example 9,,. Thus, one simply requires a transfer function for the CDM distriution at some late time, to model the evolution of oth components. In the latter part of the 99s, cosmological tests pointed towards the ΛCDM paradigm, and it was recognized that aryons should play some role in shaping the transfer function of matter fluctuations [5, 2, 3, 4. However, rather than attempting to follow the CDM and aryons as separate fluids evolving from distinct sets of initial conditions, a simpler approximate scheme was adopted. This scheme is currently standard practice for all studies of structure formation in the Universe [5, 6, 7, 8. It can e summarized as follows:. Fix the cosmological model, specifying Ω c and Ω, and hence the fraction of aryons, f. Solve for the evolution of all pertured species using the linearized coupled Einstein Boltzmann equations. Otain transfer functions at z =, where CDM and aryons are fully relaxed: i.e. T c (k, z = ) T (k, z = ), where T c and T are the transfer functions of the CDM and aryons, respectively. 2. Use the transfer functions to generate the linear matter power spectrum, normalized to the present day: i.e. P δ δ(k, z = ) [ ( f )T c (k, z = ) + f T (k, z = ) 2 Ak n [T c (k, z = ) 2 Ak n, where the total matter fluctuation is δ = ( f )δ c + f δ. 3. Scale this power spectrum ack to the initial time z i, using the linear growth factor for the total matter fluctuation δ, which otains from solving the equations of motion for a single fluid. 4. Generate the initial CDM density field and assume that the aryons are perfect tracers of the CDM.

3 5. Evolve this effective CDM+aryon fluid under gravity using full non-linear equations of motion, either as a single fluid for dark matter only, or as a 2-component fluid if hydrodynamics are also to e followed. This effective description for the formation of structure ecomes poor as the aryon fraction f = Ω /Ω m approaches O(), and for the currently favored WMAP5 cosmology f.7. In fact, in linear theory the gravitational relaxation etween aryonic and dark matter components is only achieved at the level of < % y z =. Moreover, as can e seen in Fig. there is a non-trivial scale-dependent ias etween aryons and dark matter that exists right through to the present day [49. Failing, to take these iases into account may lead to non-negligile systematic errors in studies that attempt to otain cosmological constraints from Large-Scale Structure (LSS) tests. With the next generation of LSS tests aiming to achieving % precision in measurements of the matter power spectrum [9, 2, it seems timely to investigate whether such modeling assumptions may impact inferences. Where we expect such systematic effects to play an important role is for studies ased on aryonic physics such as: using 2cm emission from neutral hydrogen to trace mass density at the epoch of reionization z reion [2, 22, 23, 24; and studies of the Lyman alpha forest to proe the matter power spectrum [25, 26. In this, the first in a series of papers, we test whether this effective procedure can indeed e employed to follow, at high precision, the non-linear growth of structure formation in aryon and CDM fluids, from recomination right through to the present day. We do this y generalizing the matrix ased renormalized perturation theory (RPT) [5 techniques of Crocce and Scoccimarro [, 27, 28 to an aritrary numer of gravitating fluids. In this paper we content our selves with calculating the oservales up to the one-loop level in the theory. In a future paper we consider the resummation to aritrary orders (Somogyi & Smith 29, in preparation). The late-time linear theory evolution of coupled aryon and CDM fluctuations, with sudden late time reionization of the inter-galactic medium was studied y [29, 3. Recently, [3 explored a similar system using non-linear PT techniques. The work presented y these authors differs from that presented here in a numer of fundamental ways. Firstly, these authors have assumed that, on large scales, aryons and CDM fluctuations evolve with the same initial conditions and that the only physical difference etween the two fluids arises on small scales, where galaxy formation processes are ale to provide some pressure support. They model this with a fixed comoving-scale Jeans criterion. In this work we are not so much interested in following how small-scale aryonic collapse feeds ack on the mass distriution, ut are more interested in following the very large-scale aryon and CDM fluctuations, initialized with their correct post-recomination spatial distriutions, into the non-linear regime. Secondly, their work was developed within standard PT, the prolems associated with this formalism are well documented [7. Here, we develop the more successful RPT approach [. In passing, we note that a numer of additional complimentary approaches and extensions to single-fluid RPT have recently een developed [32, 33, 34, 35, 36. In addition, there has recently een progress on realistic modeling of massive neutrinos and CDM [37, 38, 39, 4, 4, 42, 43, for simplicity we shall assume that neutrinos play a negligile role. The paper is roken down as follows: In II we set up the theoretical formalism: presenting the coupled equations of motion for the N-component fluid. Then we show how, when written in matrix form, the equations may e solved at linear order. We discuss generalized initial conditions, and then discuss the specific case of aryons and CDM. In III we develop the non-linear PT expansion for the solutions, and show that they may e constructed to aritrary order using a set of Feynman rules. In IV we discuss the two-point statistics of the fields, which we take as our lowest order oservales. In V we give specific details of how we calculate the one-loop corrections in our theory. In VI we present results for various quantities of interest. In VII we give details of an approximate RPT scheme, which matches the exact calculation to within < %, for all times of interest and on all scales where the perturation theory is valid. Finally, in VIII we draw our conclusions. 3 II. EQUATIONS OF MOTION A. Standard form For an N-component fluid in a uniformly expanding spacetime, the relevant equations of motion are, conservation of mass, momentum, and the Poisson equation. These may e written (i =,...,N laels the i-th component) [7: δ i (x, τ) + [( + δ i (x, τ))v i (x, τ) = ; τ () v i (x, τ) + H(τ)v i (x, τ) + (v i (x, τ) )v i (x, τ) = Φ(x, τ); τ (2) N 2 Φ(x, τ) = 4πGa 2 ρ i (τ)δ i (x, τ) = 3 N 2 Ω m(τ)h 2 (τ) w i δ i (x, τ). (3) i= i=

4 where τ is conformal time dτ dt/a, with a the scale factor. Here we have introduced the density perturations in each component as δ i (x, τ) ρ i (x, τ)/ ρ i = ρ i (x, τ)/w i ρ m, where ρ i and ρ i are the density and mean density. v i (x, τ) is the peculiar velocity. H(τ) = d lna/dτ is the conformal Hule parameter, related to the usual Hule parameter, H ȧ/a, through H(τ) = ah. The w i Ω i /Ω m are the fractional contriutions of each fluid species to the total matter density. They are constant in time, and normalized N w i =. (4) i= In the aove we have also expressed the mean energy-density in each species in units of the critical density, Ω i (τ) ρ i(τ) ρ crit (τ) = 8πG ρ i(τ) 3a 2 H 2 (τ), (5) and with suscript denoting present day quantities, Ω i, = Ω i (τ = τ ). Finally, the Hule and density parameters of each species are related through the Friedmann equation, which can e written: H 2 (τ) = a 2 H 2 [ Ωm, a 3 + Ω Λ, + Ω K, a 2 ; Ω K, Ω m, Ω Λ,. (6) Taking the divergence of Eq. (2) and using Eq.(3) to eliminate Φ, we otain Θ i (x, τ) + H(τ)Θ i (x, τ) + [ j (v i ) k (x, τ)[ k (v i ) j (x, τ) + (v i (x, τ) )Θ i (x, τ) τ j,k = 3 N 2 Ω m(τ)h 2 (τ) w j δ j (x, τ), (7) j= where we have set v(x, τ) = Θ(x, τ) and j and k denote vector components. Next, we go to Fourier space. For a quantity A(x, τ), we define the Fourier transform, Ã(k, τ) and its inverse, as follows A(x, τ) = d 3 ke ik x Ã(k, τ) Ã(k, τ) = d 3 x (2π) 3 e ik x A(x, τ). (8) Assuming v i (x, τ) to e irrotational, there exists a scalar field u i (x, τ), such that v i (x, τ) = u i (x, τ) and thus ṽ i (k, τ) = ikũ i (k, τ), Θi (k, τ) = k 2 ũ i (k, τ) ṽ i (k, τ) = ik Θ i (k, τ) k 2. (9) On inserting this relation into the equations of motion we find: δ i (k, τ) τ Θ i (k, τ) τ + Θ i (k, τ) + ( d 3 k d 3 k 2 δ D (k k k 2 ) + k ) k 2 δ i (k, τ) Θ i (k 2, τ) = ; () + H(τ) Θ i (k, τ) Ω m(τ)h 2 (τ) + N w j δj (k, τ) j= k 2 2 [ d 3 k d 3 k 2 δ D (k + k 2 ) 2 k k 2 (k k k 2 ) Θ 2k 2 k 2 i (k, τ) Θ i (k 2, τ) =. () 2 Finally, we introduce the variale θ i (k, τ) Θ i (k, τ)/h(τ) and change the time variale to η = lna(τ). Using and where dh/dτ = H 2 [Ω m /2 Ω Λ, (see Appendix A), we otain: δ i (k, η) η d dτ = d dη dη dτ = d d lna = H d dη dτ dη, (2) θ i (k, η) = d 3 k d 3 k 2 δ D (k k k 2 )α(k 2,k ) δ i (k, η) θ i (k 2, η); (3) 4

5 θ i (k, η) η [ + θ i (k, η) Ω m(η) + Ω Λ (η) 3 N 2 2 Ω m(η) w j δj (k, η) j= = d 3 k d 3 k 2 δ D (k k k 2 )β(k,k 2 ) θ i (k, η) θ i (k 2, η), (4) where in the aove expressions we introduced the mode-coupling functions: α(k,k 2 ) = + k k 2 k 2, β(k,k 2 ) = (k + k 2 ) 2 k k 2 2k 2 k (5) B. Matrix form Following [ we now rewrite the equations of motion in matrix form. To do this, we first introduce a 2N-component vector of fields Ψ a, the transpose of which is given y Ψ T a [ δ (k, η) = (k, η), θ (k, η),..., δ N (k, η), θn (k, η), (6) where the index a =, 2,..., 2N. With this notation, the equations of motion, Eqs(3) and (4), can e written in the compact form (repeated indices are summed over) η Ψ a (k, η) + Ω a Ψ (k, η) = d 3 k d 3 k 2 γ (s) ac (k,k,k 2 )Ψ (k, η)ψ c (k 2, η). (7) We shall also introduce the additional compactification that repeated k-vectors are to e integrated over, hence we may rewrite Eq.(7) as η Ψ a (k, η) + Ω a Ψ (k, η) = γ (s) ac (k,k,k 2 )Ψ (k, η)ψ c (k 2, η). (8) The 2N 2N matrix Ω a appearing in Eq.(7) reads Ω [ mw Ω m2 + Ω Λ 3 2 Ω mw Ω mw Ω mw N... Ω a = 3 2 Ω mw 3 2 Ω [ mw 2 Ω m2 + Ω Λ 3 2 Ω mw Ω mw N, (9) Ω mw 3 2 Ω mw Ω mw Ω [ mw N Ω m2 + Ω Λ where for the cases of N = and N = 2 we simply take the top left 2 2 and 4 4 su-matrices, respectively. The symmetrized vertex matrix may e written for general N as, γ (s) (2j )(2j )(2j) (k,k,k 2 ) = α(k 2,k ) δ D (k k k 2 ) 2 (2j )(2j)(2j ) (k,k,k 2 ) = α(k,k 2 ) δ D (k k k 2 ) 2 γ (s) (2j)(2j)(2j) (k,k,k 2 ) = β(k,k 2 )δ D (k k k 2 ), (2) γ (s) where j =, 2,...,N, and all other matrix elements are zero. For the sake of clarity, let us write explicitly the vertex matrix for N = and N = 2: For N = the vertex matrix reads: [ γ (s) c (k α(k,k 2 ) = 2,k )/2 α(k,k 2 )/2 [, γ (s) 2c (k,k 2 ) =. (2) β(k,k 2 )

6 6 For N = 2 the vertex matrix reads: γ (s) c (k,k 2 ) = γ (s) 3c (k,k 2 ) = α(k 2,k )/2 α(k,k 2 )/2 α(k 2,k )/2 α(k,k 2 )/2,, γ (s) 2c (k,k 2 ) = γ (s) 4c (k,k 2 ) = β(k,k 2 ), β(k,k 2 ). (22) In the aove we defined γ (s) to e the vertex matrix without the delta function for momentum conservation, i.e. γ (s) ac (k,k,k 2 ) = γ (s) ac (k,k 2 )δ D (k k k 2 ). C. Solving for the propagator The main advantage of writing Eq.(7) in this compact form is, as was pointed out in [, that an implicit integral solution can e otained y Laplace transforming in the variale η. This approach, however, requires that we set the ackground cosmological model to e Einstein de Sitter: i.e. {Ω m (η) =, Ω Λ (η) = } (we shall discuss generalizations to other cosmological models in II D). This means that the matrix Ω a is independent of time, hence σ a (s)ψ (k, s) = φ () a (k) + γ(s) ac (k,k ds,k 2 ) 2πi Ψ (k, s )Ψ c (k, s s ), (23) where φ () a (k) Ψ a (k, η = ) denotes the initial conditions, set when the growth factor is one and σ a (s) = sδ a+ω a. Multiplying y the matrix σ a (s) and performing the inverse Laplace transform gives the formal solution [, Ψ a (k, a) = g a (η)φ () (k) + where g a (η) is the linear propagator given y η dη g a (η η )γ (s) cd (k,k k 2 )Ψ c (k, η )Ψ d (k, η ), (24) g a (η) = L [σ a (s), s, η, (25) where L [f(s), s, η denotes the inverse Laplace transform of the function f(s) from the variale s to the variale η. In Appendix F, we prove that the linear propagator has the general form (j, k =, 2,..., N) g (2j )(2k ) = ( 3e η 5 + 2e 3η/2) w k + δ jk, 5 g (2j)(2k ) = 3 ( e η e 3η/2) w k, 5 g (2j )(2k) = 2 ( e η 5 + 5e η/2 e 3η/2) w k + (2 2e η/2 )δ jk, 5 g (2j)(2k) = ( 2e η 5e η/2 + 3e 3η/2) w k + e η/2 δ jk, (26) 5 for η, and g a (η) = for η < due to causality, and furthermore g a (η) δ K a as η +. Clearly we can write the propagator as g a (η) = l e lη g a,l, (27) where the summation runs over the set l {,, /2, 3/2} and the g a,l are constant matrices. Explicitly we find: For N =, we have w = and the propagator reads: g a (η) = [ 3e η + 2e 3η/2 2e η 2e 3η/2 5 3e η 3e 3η/2 2e η + 3e 3η/2 = eη 5 [ [ 3 2 e 3η/2 2 2, (28)

7 in agreement with the usual expression [, where there are two solutions for the time evolution of the modes: a growing D + e η and a decaying mode D e 3η/2. Thus for N = only, g a, = g a, /2 = and g a, = 5 [ 3 2, g 3 2 a, 3/2 = [ 2 2. (29) For N = 2, the propagator takes the general form of Eq.(27), with all the g a,l non-zero: g a, = 5 g a, /2 = 3w 2w 3w 2 2w 2 3w 2w 3w 2 2w 2 3w 2w 3w 2 2w, g a, = 2 3w 2w 3w 2 2w 2 2( w ) 2w 2 w w 2 2w 2( w 2 ) w w 2, g a, 3/2 = 5 w 2( w ) w 2 2w 2 w 2w w 2 2( w 2 ) 2w 2w 2w 2 2w 2 3w 3w 3w 2 3w 2 2w 2w 2w 2 2w 2 3w 3w 3w 2 3w 2, 7. (3) Interestingly, we now see that there are more solutions for the time evolution of the modes, and esides the usual growing and decaying modes, there is an additional decaying mode g a e η/2, and a static mode g a const. In Appendix E we give an explicit expression for the linear propagator for the specific case of N = 3. The interesting point to note in going from N = 2 to N = 3, is that, whilst the eigenvectors do change, no new eigenvalues are generated and this holds for general N. This explicitly follows from Eq.(26). D. Extension to general cosmological models An approximate treatment of the dependence of the PT and RPT kernels on cosmology was discussed y [27, 44, and we shall adopt the same approach here. The necessary changes to e made are that we use a new time variale, η log D + (τ), (3) where D + (τ) is the linear growth factor for the appropriate cosmology. Also, instead of working with the solution vector of the form Eq.(6), we work with vectors Ψ T a (k, η) = [ δ (k, η), θ (k, η)/f(η),..., δ N (k, η), θn (k, η)/f(η), (32) where f(η) d log D + /d loga is the logarithmic growth factor for peculiar velocity fields. On performing these transformations Eq.(7) remains structurally the same, except for the elements of the matrix Ω a, which gain time dependence. This means that it is no longer straightforward to perform the Laplace transforms and so we do not otain Eq.(24). However, as was argued y [27, most of the cosmological dependence is encoded in D + (η), and so to a very good approximation we may simply take Ω a (Ω m, Ω Λ ) Ω a (Ω m =, Ω Λ = ), and keep Eq.(24). We shall use this approximation throughout the remainder of this paper. E. Initial conditions We must now specify the initial conditions for the 2N variales. For cosmological structure formation an interesting case is when, for each fluid component, δ i (k, η = ) and θ i (k, η = ) (i =, 2,..., N) are proportional to the same random field [5. However, the initial random field can differ from component to component. In this case we can write [ T [ φ () a (k) = u δ () (k), u 2δ () (k),..., u 2N δ () N (k), u 2Nδ () N (k), (33) where the u a, (a =, 2,...,2N) are simply numerical coefficients. For the case of the N = component fluid, pure growing mode initial conditions can e otained y setting u a = u () a (, ), and pure decaying mode ones y setting u a = u (2) a (2/3, ). These are the eigenvectors of the matrix g a. In going to the more complex case of the N = 2 multi-fluid, there are, unfortunately, no such simple

8 choices for the u a components to otain pure growing mode or pure decaying modes at all k-modes, unless all of the δ () i (k) are equivalent. To see why this is so, consider the eigenvectors of the linear propagator g a, these are: 2/3 w 2 2w 2 u () a = ; u (2) a = 2/3 ; u (3,) a = w ; u (4,) w a = 2 2w. (34) w On dotting g a with u () we find g a u () = e η u () a, and we have a pure growing mode solution. However, to propagate the initial modes we require g a dotted with φ () (k). If we do this and set u a = u () a then we find: 8 g a (η)φ () (k) = g a (η)u () δ () (k) = e η u () a δ() (k) = e η φ () a (k), (35) if and only if δ () (k) = δ () (k) for all. However, this situation is not physically interesting since, in the asence of any process such as pressure support, there would e no discernile difference etween treating the N-component fluid as an effective -component fluid. The more interesting physical case will e the situation where each fluid component evolves from a distinct set of initial conditions, i.e. δ () i δ () j, with (i j). What then are the appropriate choices for the u a? The distinct initial conditions that are of interest are: the dark matter, aryon, neutrino and photon, perturations present in the post-recomination Universe. As descried earlier the dynamics of these species are generally followed from the post-inflationary universe and through the recomination era using the coupled, linearized Einstein Boltzmann equations [see for example 5. In this case the fluctuations in k-space are all proportional to the same random field, which is related to the primordial curvature perturation, ut with some k-dependent transfer function that takes into account the physical processes that affects each species. We shall use CMBFAST [6 for following the time evolution of the perturations up to some large redshift say z = as the initial condition for our non-linear computation; and the information on the different components is given as a set of transfer functions, which we denote T i (k). Thus for the N-component fluid, we shall express our initial conditions, more specifically as: [ φ () a (k) T = [u T (k), u 2 T (k),..., u 2N T N (k), u 2N T N (k) δ (k). (36) Importantly for the standard ΛCDM framework of adiaatic near scale-invariant fluctuations, all of the T i (k) as k. Hence, on large scales if we choose u a = u () a, then φ () a (k) is an eigenvector of the linear propagator and so we have pure growing mode initial conditions. On smaller scales there will, however, e some mixing of growing and decaying modes in the initial conditions. F. Application to a CDM and aryon fluid As a demonstration of the formalism, we now consider the specific case of the linear evolution under gravity of a twocomponent fluid of CDM and aryons. In this calculation we set the initial cosmological model to e that identified from the WMAP5 analysis [4: {Ω c =.2275, Ω =.456, Ω Λ =.7268, h =.75, n s =.96, σ 8 =.82}; and assume negligile contriution from neutrinos. Thus, we have {w = Ω c /Ω m = ( f ), w 2 = Ω /Ω m = f }. We use CMBFAST [6 to generate CDM and aryon transfer functions at the initial redshift z i = : hence T (k) = T c (k, z = ) T c (k) and T 2 (k) = T (k, z = ) T (k). The implicit solution for Ψ a (k, η), Eq. (24), can e linearized, and the zeroth order term can e written: Ψ () a (k, η) = g a (η)φ () (k) (c.f. Eq. (42)). Following our discussions in I and II E, we are interested in the case where the initial conditions are those of the post-recomination era Universe. Prior to this time, electrons and photons are tightly coupled through Thompson scattering, and photons drag electrons and aryons out of the potential wells. Thus at the end of recomination, aryons and dark matter are spatially displaced from one another (c.f. Fig. ). In a somewhat simplified view, once the scattering processes are switched off, the evolution of the fluids can e captured y the two perturations relaxing under gravity and so the evolving fields are simply some linear comination of the initial fields, with appropriate weight factors. Fig. 2 graphically demonstrates this. Here we show the ratio of the initial CDM (left panel) and aryon (right panel) perturations evolving under the action of the linear propagator g a (η), divided through y the amplitude of the initial primordial density perturation that sourced them. For large-scale growing mode initial conditions (u a = u () a ), then

9 9 δ c lin (k, z)/ δ(k). δ lin (k, z)/ δ(k).. T c (k). T (k) ) δ c lin/( D + T c δ ) δ lin/( D + T δ k [h/mpc... k [h/mpc FIG. 2: Evolution of the initial density perturations for the CDM and aryons under the linear propagator, relative to the primordial density perturation, as a function of spatial wavenumer and redshift. Top left and right panels: evolution of the CDM perturations δ c, and aryons, δ, respectively. Going from top to ottom, the lue solid through to dashed lines show results for redshifts z = {,., 3., 5.,., 2.}. The solid green line at the ottom shows the initial mode. Bottom left and right panels: ratio of the linearly evolved CDM and aryon perturations to the initial perturations evolved under the standard linear growth factor for matter perturations. Line styles are as for aove. we have: δlin c (k, η)/δ (k) = Ψ () (k, η)/δ (k) = [g (η) + g 2 (η) T c (k) + [g 3 (η) + g 4 (η) T (k) [ [ = ( f )e η + 3f ( 2e η/2 ) T c (k) + f e η 3 + 2e η/2 T (k) ; (37) δlin (k, η)/δ (k) = Ψ () 3 (k, η)/δ (k) = [g 3 (η) + g 32 (η) T c (k) + [g 33 (η) + g 34 (η) T (k) [ = ( f ) e η 3 + 2e η/2 [ T c (k) + f e η + ( f )(3 2e η/2 ) T (k).(38) In the limit of small and large η these relations simplify to: δ c lin (k, η)/δ (k) δ lin(k, η)/δ (k) { T c (k) (η ) e [ η ( f )T c (k) + f T (k) (η ) { T (k) (η ) e [ η ( f )T c (k) + f T (k) (η ) ; (39), (4) where the η relations, show that the fields evolve to an equilirium state. On inspecting Fig. 2, we note that on large scales at the initial time (green solid lines) the two perturations are perfectly correlated with the primordial fluctuation. On smaller scales we see that oth the CDM and aryon modes are damped, and this is due to the Mészáros effect [see 45, 46. Also the waves have an oscillating structure as a function of k, these are the Baryon Acoustic Oscillations (BAO) [for a discussion see 3, 4. We also note that the BAO are almost asent in the dark matter distriution at z i =, whereas for the aryons they are strongly present. As the system evolves linearly under gravity, we now see that on large scales (k <. h Mpc ) oth solutions scale with time in accordance with the standard linear growth factor for the total matter perturation on large scales: i.e., δ m (k, η) = lim k [w δ c (k, η) + w 2 δ (k, η) = D + (η)δ m (k, η ), which we otain using the model of [47 with

10 η k = n m= η k η k k 2 n m + n m + 2 n + 2 n + 2 FIG. 3: Graphical representation of Eq.(45). The lo on the left hand side corresponds to Ψ (n+) (which clearly involves n + 2 initial conditions), while the two los on the right hand side correspond to Ψ (n m) and Ψ (m) (involving n m + and m + initial conditions) respectively. The trivalent vertex denotes the vertex matrix γ (s). Ω m = Ω c + Ω. On smaller scales (k >. h Mpc ) the fluctuations grow with time, ut now we note that the BAO features present in the aryon modes ecome damped, whilst those in the CDM grow. This can e seen more clearly y dividing each mode y D + (η)δ () (k) = D + (η)t(k)δ (k), for each component and this is what is plotted in the ottom panels of Fig.2. Again, in the large scale limit, all T i (k), and so g (η)u () D + (η). Hence δlin c (k, η)/[d +(η)t c (k)δ (k), and likewise for the aryons. Thus we see that the amplitude of the BAO in the CDM are indeed increasing, and those in the aryons are decaying. Note that for the CDM distriution, y z = 5 the BAO are almost fully in place with < % changes to the oscillation amplitude as the distriution is evolved to z =. However etween z = and 5 there is a significant difference and one must e careful to account for these changes when modeling BAO at high redshift. We now draw attention to the important fact that the aryon distriutions display more significant changes, there eing an almost 5% difference etween the initial and final distriutions on large-scales. As noted this will lead to significant aryon ias for statistical proes that are sensitive primarily to the distriution of aryons in the Universe and not the dark matter. In the following sections, we explore how non-linear evolution changes these results. III. PERTURBATION THEORY A. Solutions Following [ we look for power series solutions to the equations of motion, Eq.(7) Ψ a (k, η) = j= Ψ (j) a (k, η) (4) (in our notation the linear solution is Ψ () as opposed to the more usual Ψ () ). On inserting the aove expression into the general solution of Eq.(24), we find that Ψ () a (k, η) = g a (η)φ () (k); (42) Ψ () a (k, η) = Ψ (2) η a (k, η) = 2 η. Ψ (n+) a (k, η) =. η dη g a (η η )γ (s) cd (k,k,k 2 )Ψ () c (k, η )Ψ () d (k 2, η ); (43) dη g a (η η )γ (s) cd (k,k,k 2 )Ψ () c (k, η )Ψ () d (k 2, η ); (44). dη g a (η η )γ (s) cd (k,k,k 2 ). n m=. Ψ c (n m) (k, η )Ψ (m) d (k 2, η ). (45) Fig. 3 shows a graphical representation of Eq.(45). We may develop these solutions further y inserting into the aove expressions the linear propagator g a (η) given y Eq. (27). Thus, for the linear evolution of the initial waves, we have: Ψ () a (k, η) = l e lη g a,l φ () (k). (46)

11 Similarly, for the first order solution we have Ψ () a (k, η) = = = η η η = l,m,n dη g a (η η )γ (s) cd (k,k,k 2 )g cc (η )φ c (k )g dd (η )φ d (k 2 ) ; dη l dη l,m,n e l(η η ) g a,l γ (s) cd (k,k,k 2 ) m where in the last line we have introduced the function: e mη g cc,m φ () c (k ) n e lη+(m+n l)η g a,l γ (s) cd (k,k,k 2 )g cc,m g dd,n φ () c (k )φ () d (k 2 ) e nη g dd,n φ () d (k 2 ) e lη I (m + n l; η)g a,l γ (s) cd (k,k k )g cc,m g dd,n φ () c (k )φ () d (k k ), (47) I (l; η) = η dη e lη = { (e lη )/l l η l =, (48) and performed the k 2 integral using the Dirac delta function implicit in γ (s) cd (k,k,k 2 ). In what follows we shall also need to make use of the 2nd order solution for the fields and after a similar procedure as aove we find: Ψ (2) a (k, η) = 2 l,m p,q,r e lη I 2 (m + p l, q + r p; η)g a,l γ (s) cd (k,k k )g cc,m g df,p γ (s) fgh (k 2,k k k 2 )g gg,q g hh,r φ () c (k )φ () g (k 2)φ () h (k k k 2 ). (49) In the aove we have introduced a further auxiliary function, [ l2 e η (l+l2)η (l + l 2 )e l2η + l / [l l 2 (l + l 2 ) (l, l 2 ) [ e I 2 (l 2, l ; η) = dη e l2η I (l ; η l η l η /l 2 (l, l 2 = ) ) = [ e l 2η (l 2 η ) + /l2 2 (l =, l 2 ) η 2 /2 (l =, l 2 = ). (5) B. Feynman rules for the PT solutions As was shown y [ there is a simple interpretation for the solutions Ψ a (n) (k) given y Eqs(42) (45). The first equation in the hierarchy denotes an initial condition φ () a, evolved under the linear propagator g a. The second denotes the non-linear coupling etween two initial waves of incoming momentum k and k 2 through the interaction vertex γ (s) ac (k,k,k 2 ), to produce an outgoing wave of momentum k = k + k 2, which is one order higher in the PT series and evolving under the action of g a. For the next equation in the series we see that the solution structure is now repeated, and this recurs for all higher order terms. Thus a convenient graphical representation for the solutions is otained y iterating the graph in Fig. 3, until on the right-hand-side we are left with diagrams involving only trivalent vertices and no los. Associated to this graphical representation is a simple set of Feynman rules for otaining the n-th order solution, Ψ (n) (k, η); these may e stated as follows:. Draw all topologically distinct, connected tree diagrams containing n vertices and a directed line coming into the diagram from the right for each of n + initial conditions, and a directed line going to the left out of the diagram for the final wave. Draw any numer of directed internal lines running from one vertex to another, as required to give each vertex exactly two incoming and one outgoing attached line. It is most straightforward to lael the direction of the lines y drawing arrows on them. 2. Assign each vertex its own time variale, s j, and each line its own momentum, k j, such that momentum is conserved at each vertex, with the momenta considered to flow in the direction of the arrows. For the single outgoing line, assign the momentum k and final time η. 3. Identify the various pieces of each diagram with the mathematical expressions as shown in Fig. 4.

12 2 a k η η : g a (η η ) a k + k 2 c k k 2 : γ (s) ac (k,k 2 ) a k : φ () a (k) FIG. 4: Diagrammatic representation of the asic mathematical uilding locks of the solutions. Left panel: the linear propagator g a (η η ). Middle panel: the interaction vertex γ (s) ac (k,k2). The sticks are not part of the vertex and are present only to show the correct numer of incoming and outgoing lines. Right panel: the initial field φ () a (k), denoted y the empty dot. The stick with the arrow serves only to show that an initial condition must always e connected to a diagram with a line going into the diagram, i.e. oriented away from the initial condition itself. 4. Integrate over all intermediate times s j, each etween [, η. Integrate over all the independent wavevectors with the measure d 3 k j. (Note that the momenta of all internal lines and a single incoming line are fixed y momentum conservation, thus there will e n independent momenta to integrate over.) Sum over all internal field indices, c, etc. 5. Each diagram carries a factor of 2 r if there are precisely r vertices that are not symmetric with respect to interchanging their two incoming waves. 6. The value of Ψ (n) a (k, η) is given y the sum over the values of these diagrams. Fig. 5 shows all diagrams up to n = 3, together with their symmetry factors calculated as in Step 5 aove. As an example of the use of the Feynman rules, the expressions corresponding to the first two diagrams can e written, Ψ () a (k, η) = g a(η)φ () (k), η Ψ () a (k, η) = ds g a (η s ) (5) d 3 k γ (s) cd (k,k k )g cc (s )φ () c (k )g dd (s )φ () d (k k ), (52) which are nothing ut Eqs(46) and (47) (after performing the s integral in Eq.(52)). Similarly, evaluating the third diagram, we otain Eq.(49), and so on. η k η k s k k 2 η k k 2 4 η k η k k k Ψ () (k, η) Ψ () (k, η) Ψ (2) (k, η) Ψ (3) (k, η) FIG. 5: Graphical representation of the topologically distinct Feynman diagrams for the perturation theory up to third order. From left to right we show, Ψ (n) a (k), for n {,,2, 3}, with the last two diagrams contriuting to n = 3. IV. STATISTICS A. Two-point covariance matrix of density and velocity modes In cosmology rather than modeling Ψ a (k) at a particular point, we are more interested in computing statistical averages of various products of the fields at different points in space. We shall represent these statistical averages as:.... For mean zero fields, we must have Ψ a (k) =. Thus the lowest order statistic of interest to us is the two-point correlation function, or power spectrum, of Ψ a (k), which can e defined: Ψa (k, η)ψ (k, η) = P a (k, η)δ D (k + k ). (53)

13 3 B. Two-point covariance matrix of initial fields Throughout we will assume that the initial conditions are Gaussian. Consequently the statistical properties of the fields φ () a (k) are then completely characterized y the two-point covariance matrix: φ () a (k)φ() (k ) For the case of a CDM and aryon fluid this matrix takes the explicit form: P () a (k) = P () a (k)δd (k + k ). (54) u 2 [T c (k) 2 u u 2 [T c (k) 2 u u 3 T c (k)t (k) u u 4 T c (k)t (k) u u 2 [T c (k) 2 u 2 2 [T c (k) 2 u 2 u 3 T c (k)t (k) u 2 u 4 T c (k)t (k) u u 3 T c (k)t (k) u 2 u 3 T c (k)t (k) u 2 3 [T (k) 2 u 3 u 4 [T (k) 2 u u 4 T c (k)t (k) u 2 u 4 T c (k)t (k) u 3 u 4 [T (k) 2 u 2 4[T (k) 2 P (k), (55) where we defined P (k)δ D (k + k ) = δ (k)δ (k ), to e the power spectrum of primordial density fluctuations: i.e. P k n, with n = for the usual Harrison Zel dovich spectrum. The two-point correlation matrix of the initial fields may e expressed more compactly if we choose large-scale growing mode initial conditions, (u a = u () a = (,,, )), whereupon P () a (k) = T a(k)t (k)p (k), (56) with [T a (k) T [ T c (k), T c (k), T (k), T (k). For Gaussian initial conditions all of the multi-point correlators of the initial φ () a (k) can e computed using Wick s theorem: all higher order correlators involving an odd numer of fields vanish, while for an even numer, there are (2n )!! contriutions corresponding to the numer of different pairings of the 2n fields: φ () a (k )...φ () a 2n (k 2n ) = φ () a i (k i )φ () a j (k j ). (57) all pair associations p pairs of (i,j) For later use, we now also introduce a diagrammatic representation of the initial power spectrum matrix, see Fig. 6. a k k : P () a (k) FIG. 6: Diagrammatic representation of the initial power spectrum matrix. The averaged pair of initial fields is denoted y the crossed dot, with the sticks and arrows serving only to show that each initial power spectrum will have two outgoing lines attached in any diagram. C. The non-linear propagator As the non-linear interactions are turned on, the evolution of the initial field reaks away from the simple scaling, Ψ a (k, η) = g a (η)φ () (k). The deviations can e thought of as, erasing the memory of the mode to its initial conditions. This concept can e made more concrete, through introducing the non-linear propagator [, 27: G a (k, η)δ D (k k δψ a (k, η)[φ () ). (58) δφ () (k ) This means that we take the functional derivative of the full solution Ψ a (k, η) with respect to the initial condition φ () (k ), and then perform the ensemle average. Note that the non-linear propagator G a is defined with the momentum conserving delta function factored out. The expectation is taken since, again, it is the average evolution of the mode away from its initial conditions that we are interested in. In perturation theory, the full solution is given as in Eq.(4), and thus G a (k, η) = l= δg (l) a (k, η), (59)

14 where δg (l) a (k, η)δd (k k ) = δψ (2l) a (k, η)[φ () δφ () (k ) 4. (6) Notice that in the aove equation we only consider contriutions to the propagator that come from terms in the expansion of Ψ a (k, η) with an odd numer of initial conditions, i.e. only terms Ψ (j) a (k, η) with j an even numer contriute. This owes to the fact that, for non-linear fields involving an even numer of initial conditions, after performing the functional differentiation we are left with products that involve an isolated initial field, which vanishes on taking the expectation: φ () a (k) =. Recall that we take j = as the first term in the perturative series for Ψ a. Thus the total non-linear propagator up to one-loop level can e written: G () a (k, η) = g a(η) + δg () a (k, η), (6) where we used the fact that δg () a (k, η) = g a(η), and where [27, η η δg () a (k, η) = 4 dη dη g a (η η ) d 3 k γ (s) cd (k,k k )g de (η η ) γ (s) efg ( k,k)g cc (η )g ff (η )g g (η )(k )P () c f (k ). (62) In Appendix B we present full details of the calculation for Eq.(6) explicitly for j =,, 2. As for the case of the perturative solutions to Ψ a, the series expansion for the non-linear propagator with aritrary numers of loops can also e constructed in a diagrammatic fashion. Assuming Gaussian initial conditions, the Feynman rules for computing the n-loop correction to the propagator, δg (n) a (k, η) are:. Draw all tree diagrams corresponding to Ψ (2n) (k, η) as descried in III B. Recall that these diagrams involve 2n + initial fields each. 2. For any specific tree, drop any one initial condition, laeling the incoming line thus created with the momentum k (this corresponds to the functional derivative and dropping the delta function). Pair the remaining 2n initial fields in all possile ways into n initial power spectra, as dictated y Wick s theorem (corresponding to the ensemle averaging). Any specific tree then leads to (2n + )(2n )!! = (2n + )!! n-loop diagrams, not all of which need to e topologically distinct. Diagrams containing a tadpole as a sudiagram (i.e. a sudiagram with a single external line) may e dropped, since they are zero, as explained elow. 3. Follow Steps 2 4 of III B. When assigning the lines their momenta, ensure that the two lines emanating from an initial power spectrum carry equal and opposite momenta. Identify the various pieces of each diagram with the mathematical expressions as shown in Figs 4 and 6. (The numer of independent momenta to integrate over in Step 4 will e just the numer of independent loops, n.) 4. Each diagram carries the appropriate factor of 2 r inherited form the original tree diagram. As noted aove, it is possile that a specific loop diagram arises more than once. Of course such a diagram needs to e computed only once, ut one must take account of its multiplicity explicitly. 5. The value of δg (n) a (k, η) is given y the sum over the values of all diagrams coming from all trees. Fig. 7 shows all diagrams that arise in the computation of the one-loop propagator, including the symmetry factor computed in Step 4 aove. Only the first two diagrams give non-vanishing contriutions. The last diagram contains a tadpole (marked with the dashed ox) and this gives zero contriution, since for each individual tadpole momentum conservation implies: α(k, k) = β(k, k) =. Hence, diagrams containing tadpoles vanish. The power of the aove graphical approach is that if one inspects the non-vanishing one-loop diagrams and uses the Feynman rules, then one can immediately write down the perturative correction, as in Eq.(62). D. Perturative representation of the power spectrum A perturative expansion for the non-linear power spectrum may e otained through insertion of the non-linear fields Ψ (n) a (c.f. Eq. (45)) into Eq. (53), whereupon P a (k, η) = δp (l) a (k, η). (63) l=

15 5 η k 4 η k k k k k k k k 2 s k k s 2 η s s 2 FIG. 7: The diagrams for the one-loop non-linear propagator G () (k, η). The first diagram represents Eq.(27); the second Eq.(62); and the last diagram contains a tadpole (marked with the dashed ox) and thus evaluates to zero. On assuming Gaussian initial conditions, then from Wick s theorem we find that only those products of fields that involve an even numer of initial conditions contriute to the non-linear power spectrum. Consequently we may write, δp (l) a (k, η)δd (k + k ) = 2l j= Ψ (j) a (k, η)ψ(2l j) On taking all contriutions to the power spectrum matrix up to one-loop, l =, we have: P a = δp () a (k, η). (64) + δp () a ; (65) where the linear theory contriution (assuming large-scale growing mode initial conditions) is given y: δp () a (k, η)δd (k + k ) = Ψ () a (k, η)ψ() (k, η) We may also write the aove expression using conventional matrix notation: = g aa (η)t a (k)g (η)t (k)p (k)δ D (k + k ). (66) P () (k, η) = g(η)t(k)t T (k)g T (η)p (k). (67) The one-loop corrections to the power spectrum are written: δp () a (k, η)δd (k + k ) = Ψ () a (k, η)ψ (2) (k, η) + Ψ () a (k, η)ψ () (k, η) + Ψ (2) a (k, η)ψ () (k, η). (68) Consider the sum of the first and last terms, we shall call these the reducile contriutions and denote the sum of these terms: δp () a,r. It was shown y [27 that the non-linear propagator plays the role of a Green s function in the two-point sense, Ψ a φ () = G ac φ () c φ (), and furthermore that this property holds order-y-order: Ψ (2n) a φ () = δg (n) ac φ () c φ (). On applying the aove relations, it is straightforward to see that we must have [ δp () a,r (k, η)δd (k + k ) = Ψ () a (k, η)ψ (2) (k, η) + Ψ (2) a (k, η)ψ () (k, η) [ = g ac (η)δg () d (k, η)p () cd (k ) + δg () ac (k, η)g d(η)p () cd (k) δ D (k + k ). (69) Specializing to growing mode initial conditions, and using momentum conservation, we find [ δp () a,r (k, η) = g ac (η)δg () d (k, η) + δg() ac (k, η)g d (η) T c (k)t d (k)p (k). (7) In particular, we can write this in conventional matrix notation as δp () R [g(η)t(k)t (k, η) = T (k) [ δg () T (k, η) + δg () (k, η)t(k)t T (k)g T (η) P (k). (7) Adding Eqs(67) and (7), we see that the sum [ P () (k, η) + δp () R (k, η) is nothing ut the one-loop truncation of the all-order expression P R (k, η) = G(k, η)t(k)t T (k)g T (k, η)p (k). (72) The all-order reducile contriution collects all corrections to P(k, η) that are proportional to the initial power spectrum at the same scale k.

16 6 η k k η 4 η k k k k k s k k s 2 η 4 η k k k s k + k s 2 k k η k k k + k k k 2 η s s 2 η k k FIG. 8: The non-zero diagrams for the one-loop power spectrum P () (k, η). The dashed lines indicate the points at which the two trees were glued together. The first diagram represents Eq.(66); the second and third graphs are the two reducile contriutions in Eq.(7); and the fourth graph represents the mode-coupling term of Eq.(73). Turning now to the second term in Eq. (68), conventionally called the mode-coupling contriution, we find that it can e written [: η η δp () a,mc (k, η) = 2 dη dη d 3 k g ac (η η ) γ (s) cde (k,k k )g dd (η )g ee (η ) (73) g f (η η ) γ (s) fgh ( k,k k)g gg (η )g hh (η )P () d g (k )P () e h ( k k ). The mode-coupling piece includes corrections coming from modes other than k in the initial power spectrum. In particular, we see from Eq. (73) that the one-loop mode-coupling correction involves the convolution of two initial power spectra with a specific kernel. At higher loop orders, the mode-coupling pieces involve convolutions of more than two initial powers. The upshot is that for growing mode initial conditions, we can write the full power spectrum as P(k, η) = G(k, η)t(k)t T (k)g T (k, η)p (k) + P MC (k, η). (74) At this point we may extend our diagrammatic description: assuming Gaussian initial conditions, the Feynman rules for computing the n-loop correction to the power spectrum, δp (n) a (k, η) are:. Draw the sum of all tree diagrams corresponding to Ψ (j) (k, η), and the sum of diagrams corresponding to Ψ (2n j) (k, η) as descried in III B, including the arrows on the lines. 2. Formally multiply these two sums using distriutivity. It is convenient to draw one set of diagrams flipped around the vertical axis, so that after the pairing of diagrams for Ψ (j) (k, η) with those for Ψ (2n j) (k, η), their initial conditions face each other. Next, pair the 2n + 2 initial fields into n + initial power spectra (some pairings may lead to the same loop diagram). Disregard diagrams that contain a tadpole as a sudiagram. (This includes disconnected diagrams in particular.) 3. Follow Step 3 of IVC. 4. Each diagram carries the appropriate factor of 2 r+s inherited form the two original tree diagrams. As noted aove, it is possile that a specific loop diagram arises more than once. Such a diagram needs to e computed only once, ut its multiplicity must e taken into account. 5. The value of δp (n) a (k, η) is given y the sum over the the values of these diagrams for all j =,...,2n. Fig. 8 shows all non-zero diagrams for the power spectrum up to one-loop order, including the symmetry factor computed in Step 4 aove. In particular, notice how Eq.(69) is very simple to write down y inspecting the second and third graphs. The last diagram corresponds to the mode-coupling piece. Evidently Eq. (73) may e written down immediately y inspecting this graph. V. ONE-LOOP CORRECTIONS TO THE POWER SPECTRUM A. The non-linear propagator In IV, we defined the non-linear propagator G a (k, η) as the ensemle average of the functional derivative of the full solution Ψ a (k, η) y the initial condition φ () (k ), without the delta function for momentum conservation