Issue |
A&A
Volume 526, February 2011
|
|
---|---|---|
Article Number | A67 | |
Number of page(s) | 14 | |
Section | Cosmology (including clusters of galaxies) | |
DOI | https://doi.org/10.1051/0004-6361/201015658 | |
Published online | 22 December 2010 |
Impact of shell crossing and scope of perturbative approaches, in real and redshift space
Institut de Physique Théorique, CEA Saclay,
91191
Gif-sur-Yvette,
France
e-mail: patrick.valageas@cea.fr
Received:
30
August
2010
Accepted:
21
October
2010
Aims. We study the effect of nonperturbative corrections associated with the behavior of particles after shell crossing on the matter power spectrum. We compare their amplitude with the perturbative terms that can be obtained within the fluid description of the system, to estimate the range of scales where such perturbative approaches are relevant.
Methods. We use the simple Zeldovich dynamics as a benchmark, as it allows the exact computation of the full nonlinear power spectrum and of perturbative terms at all orders. Then, we introduce a “sticky model” that coincides with the Zeldovich dynamics before shell crossing but shows a different behavior afterwards. Thus, their power spectra only differ in their nonperturbative terms. We consider both the real-space and redshift-space power spectra.
Results. We find that the potential of perturbative schemes is greater at higher redshift for a ΛCDM cosmology. For the real-space power spectrum, one can go up to order 66 of perturbation theory at z = 3, and to order 9 at z = 0, before the nonperturbative correction surpasses the perturbative correction of that order. This allows us to increase the upper bound on k where systematic theoretical predictions may be obtained by perturbative schemes, beyond the linear regime, by a factor ~26 at z = 3 and ~6.5 at z = 0. This provides a strong motivation to study perturbative resummation schemes, especially at high redshifts z ≥ 1. In the context of cosmological reconstruction methods, the Monge-Ampère-Kantorovich scheme appears to be close to optimal at z = 0. There also seems to be little room for improvement over current reconstruction methods of the baryon acoustic oscillations at z = 0. This can be understood from the small number of perturbative terms that are relevant at z = 0, before nonperturbative corrections dominate. We also point out that the rise of the power spectrum on the transition scale to the nonlinear regime strongly depends on the behavior of the system after shell crossing. We find similar results for the redshift-space power spectrum, with characteristic wavenumbers that are shifted to lower values as redshift-space distortions amplify higher order terms of the perturbative expansions while decreasing the resummed nonlinear power at high k.
Key words: gravitation / large-scale structure of Universe
© ESO, 2010
1. Introduction
The growth of large-scale structures in the Universe through the amplification of small primordial fluctuations by gravitational instability is a key ingredient of modern cosmology (Peebles 1980), and it can be used to constrain cosmological parameters through the dependence of the matter power spectrum on scale and redshift. On very large scales or at high redshifts, where the amplitude of the density fluctuations is small, it is sufficient to use linear theory, whereas on small scales, in the highly nonlinear regime, one must use numerical simulations or phenomenological models, such as the halo model (Cooray & Sheth 2002), which are also calibrated on simulations. In the weakly nonlinear regime one expects perturbative approaches to provide a useful tool, as they allow going beyond linear theory in a systematic and controlled fashion. Several observational probes, such as weak lensing surveys (Massey et al. 2007; Munshi et al. 2008) or measures of acoustic baryonic oscillations (Eisenstein et al. 1998, 2005), are mostly sensitive to these intermediate scales, and to meet the accuracy of future observations we need a theoretical accuracy of about 1%. Phenomenological models typically have an accuracy of 10% in this range, while numerical simulations may suffer from finite resolution and finite size effects and require a long computational time if we need to obtain the power spectra over a fine grid of cosmological parameters.
This has led to a renewed interest in perturbative approaches, as it may be possible to improve over the standard perturbation theory (Goroff et al. 1986; Bernardeau et al. 2002) by using resummation schemes that allow systematic partial resummations of higher order terms. Thus, Crocce & Scoccimarro (2006b,a) present a partial resummation of the diagrammatic series associated with the response function (propagator), within a high-k limit, which provides improved predictions for the density power spectrum (Crocce & Scoccimarro 2008). On the other hand, Valageas (2007a) describes a path-integral formalism that allows applying the tools of field theory, such as large-N expansions, to compute the power spectrum and higher order statistics like the bispectrum (Valageas 2008). One of these large-N expansions was recovered by Taruya & Hiramatsu (2008), as a “closure theory” where one closes the hierarchy of equations satisfied by the many body correlations at the third order, following the “direct interaction approximation” introduced in hydrodynamics (Kraichnan 1959). This also improves the predictions for the power spectrum on the scales probed by the baryonic acoustic oscillations (Taruya et al. 2009; Valageas & Nishimichi 2010). Other approaches have been proposed by Matarrese & Pietroni (2007), using the dependence on a running high-k cutoff, by Pietroni (2008), using a truncation of the hierarchy satisfied by the many-body correlations, by Matsubara (2008), within a Lagrangian framework, and by McDonald (2007), using a renormalization group technique. Most1 of these approaches start from the fluid description of the system, where the density and velocity fields obey hydrodynamical equations of motion. This corresponds to a single-stream approximation that neglects shell crossing. Then, the domain of validity of most such perturbative schemes is limited to wavenumbers where shell-crossing effects are negligible, even if we could sum all perturbative terms.
This problem with the impact of shell crossing also appears in the context of cosmological reconstruction, where one attempts to follow the matter distribution observed in a given galaxy survey back in time (Peebles 1989). Thus, an efficient algorithm for building such a reconstruction (which can then be used to estimate the velocity field) is provided by the Monge-Ampère-Kantorovich method, which neglects multistreaming (Brenier et al. 2003; Mohayaee et al. 2006). Similar methods are used to reconstruct the baryon acoustic oscillations (BAO) of the density power spectrum, in order to improve the accuracy of cosmological distance measurements and tighten the constraints on cosmological parameters such as the amount and evolution of dark energy (Eisenstein et al. 2007; Seo et al. 2010). Then, by comparing the amplitude of nonperturbative corrections with the perturbative terms obtained within the fluid description, one can estimate the scale down to which these reconstruction schemes can be used.
Thus, to estimate the potential of such approaches, it is necessary to evaluate the effect of shell crossing on the matter power spectrum. This question has already been investigated by Afshordi (2007) by comparing the phenomenological halo model with a modified variant where halos are collapsed to pointlike masses. In this paper we revisit this problem in a more systematic fashion, within the framework of the Zeldovich dynamics. Thus, we compare the Zeldovich dynamics with a second model (named the “sticky model” in the following), which only differs after shell crossing. Therefore, both power spectra have the same perturbative expansions and only differ by nonperturbative terms. Taking advantage of our being able to explicitly compute the full nonlinear spectra, as well as perturbative terms at all orders and these nonperturbative corrections, we can compare their respective amplitudes in detail. This allows a more detailed discussion of the importance of shell-crossing effects and of the scope of perturbative approaches. This also enables us to distinguish the dependence on the behavior of the dynamics after shell crossing of the rise of the density power spectrum on mildly nonlinear scales, in the intermediate regime where the logarithmic power goes from Δ2(k) ~ 1 to Δ2(k) ~ 100. In addition, we can perform the same analysis for the redshift-space power spectrum, which is actually the quantity most directly observed in galaxy surveys.
This article is organized as follows. We first recall in Sect. 2.1 the nonlinear real-space power spectrum associated with the Zeldovich dynamics, and its perturbative expansions in Sects. 2.2 and 2.3. We present our “sticky model”, which only differs from the Zeldovich dynamics after shell crossing, in Sect. 2.4, and we give the associated nonperturbative correction. Then, we describe the numerical results obtained for a ΛCDM cosmology in Sect. 3, comparing the various perturbative and nonperturbative terms. Finally, we extend our analysis to the redshift-space power spectrum in Sect. 4, focusing on wavenumbers that are aligned with the line of sight. We conclude in Sect. 5.
2. Computation of the density power spectrum in real space
2.1. Nonlinear Zeldovich power spectrum
As is well known, the Zeldovich approximation (Zeldovich
1970) sets the Eulerian
position, x(q,t),
of the particle of Lagrangian coordinate q, equal to the
position given by the linear displacement
field, ΨL(q,t),
(1)where
δL(q,t) is
the linear growing mode of the density contrast, which is defined by
(2)Here
is the mean
matter density of the Universe, we work in comoving coordinates and as usual we only
consider the linear growing mode. It is well known (Schneider & Bartelmann 1995; Taylor
& Hamilton 1996) that the explicit expression of the matter power
spectrum can be derived from Eq. (1) by
using the conservation of matter, which reads as
(3)For an arbitrary
displacement field Ψ, this also reads as
(4)where
δD is the Dirac distribution, and this yields in Fourier
space (for k ≠ 0, that is, disregarding a
term δD(k)):
(5)Defining the
density power spectrum as
(6)we obtain from
Eq. (5), using statistical homogeneity,
(7)Equation (7) is quite general since we have not used the
Zeldovich approximation (1) yet. It shows
how the density power spectrum is related to the statistical properties of the
displacement field, for any
mapping q → x (which can
include some shell-crossing, as in the Zeldovich case). The great simplification provided
by the Zeldovich approximation (1) is that
in this case the
quantity x(q) − x(0)
is a Gaussian random variable, so that the mean can be computed at once as
(8)Next, using the
second relation (1) to compute the average
⟨ (k· [ΨL(q) − ΨL(0)])2 ⟩ ,
we obtain the explicit expression
(9)It is convenient to
perform the integration over the angles of the wavenumber w
by expanding eiw·q
over spherical harmonics (Schneider & Bartelmann
1995),
(10)where
μ = (k·q)/(kq),
and we introduced
(11)where
jℓ is the spherical Bessel function of
order ℓ. In particular,
the variance
of the
one-dimensional displacement field (or of the linear velocity field, up to a
time-dependent multiplicative factor), reads as
(12)Therefore, the expression
(9) also writes as
(13)Following Schneider & Bartelmann (1995), we can perform
the integration over the angles of q by expanding part of
the exponential, and using the property
(14)which gives
(15)
2.2. Standard perturbative expansion
In the standard perturbative approach (Goroff et al.
1986; Bernardeau et al. 2002), one writes
the nonlinear density contrast as a series over powers of the linear growing mode,
(16)that is,
(17)Substituting
this expansion (and the one associated with the velocity field) into the equations of
motion one obtains a recursion relation for the
kernels Fn, which allows terms of
increasing order to be computed in a sequential manner. As is well known, for the
Zeldovich dynamics, where
Ψ = ΨL, we do need to
follow this route, since by expanding the exponential (5) over ΨL, and using
, we
obtain at once all terms,
(18)Then,
substituting the expansion (16) into the
definition (6) of the power spectrum and
taking the Gaussian average, one obtains the standard perturbative series
(19)In particular, the
two lowest order terms are
(20)where
P22 and P13 arise from terms of
the form
and
, with
(21)and
(22)In fact, for the
Zeldovich dynamics it is not necessary to use this procedure, since by expanding the
exponential in the exact result (9)
or (15) we obtain all terms at once,
(23)
2.3. Renormalized perturbative expansion
As pointed out by Crocce & Scoccimarro
(2006b), it is useful to keep the q-independent
exponential term
in Eq. (13) and to define a “renormalized”
perturbative expansion
(24)Indeed, while the
standard perturbative terms P(n) grow
increasingly fast at high k and show large cancellations,
the “renormalized” terms
are
positive and show a Gaussian decay at high k. Thus, each term peaks on a
well-defined range of k and one can clearly see the contribution of
diagrams of a given order to the full nonlinear power spectrum. In fact, as noticed in
Crocce & Scoccimarro (2006b), these terms
also write as
(25)This
can be seen at once by expanding the expression (9) and recognizing the square of the
kernel Fn given in Eq. (18). Thus, each new
term
is associated with the kernel Fn that couples
n linear modes, so that one can follow the contribution of higher order
mode couplings. Again, from Eq. (15) we
obtain all terms at once,
(26)while
the two lowest order terms are
(27)where
P22 was given in Eq. (21).
For numerical purposes, it is convenient to obtain the standard perturbative terms (19) from the renormalized ones (24). Expanding the prefactor in Eq. (24) gives
(28)On the other hand, to
compute the full nonlinear power spectrum (15) it is convenient to subtract the two
terms
, so as to avoid integrating over
badly behaving terms for q → ∞.
2.4. Nonperturbative correction
The expressions recalled in the previous sections give the nonlinear power spectrum and its perturbative expansions for the usual Zeldovich dynamics, where particles follow the linear trajectories (1). This includes shell crossing and leads to a decay of the nonlinear power spectrum at high k, as particles freely escape to infinity, and these random trajectories erase small-scale features (Schneider & Bartelmann 1995; Taylor & Hamilton 1996; Valageas 2007b; Bernardeau & Valageas 2010a). However, because of the simple nature of the Zeldovich dynamics, the full nonlinear result (13) can be obtained by resumming2 the perturbative expansions (19) or (24). The latter can be obtained from the usual hydrodynamical equations of motion in Eulerian space, which actually break down at shell crossing.
Our goal in this work is to compare the perturbative terms (19) and (24) with the nonperturbative terms that are associated with the physics that takes place after shell crossing. Within the framework of the Zeldovich dynamics considered in this article, this means that we wish to compare the previous results with those that would be obtained for a second dynamics, which coincides with the Zeldovich dynamics until shell crossing. Then, the difference between both power spectra would give us the amplitude of the correction due to shell-crossing effects, which are generically nonperturbative.
To introduce this second model, let us first recall that the linear growing mode of the
displacement
field, ΨL(q), and the
associated peculiar velocity field,
vL(q) ∝ ΨL(q),
are curlfree (Peebles 1980), and are derived from a
velocity potential,
vL = −∇·χL. Using
the Poisson equation we can see that this potential is equal to the linear gravitational
potential ΦL, up to a time-dependent factor (Peebles 1980; Vergassola et al. 1994).
In particular, the Lagrangian-space to Eulerian-space mapping defined by the Zeldovich
dynamics (1) derives from a Lagrangian
potential ϕL(q), (29)with
(30)where
ΦL is the linear gravitational potential, which obeys the Poisson equation,
(31)Here
is Newton’s constant and a(t) the scale factor. Then,
from Eq. (3) the nonlinear density contrast
is given by the Hessian determinant of ϕL,
(32)At early times,
t → 0, (and if there is not too much power on small scales),
the Lagrangian potential ϕL is dominated by the first term in
Eq. (30) and
x(q,t) → q.
Then, the Hessian matrix
(∂2ϕL/∂qi∂qj)
is definite positive and goes to the identity matrix, whence δ → 0.
As time increases and structures form, the Lagrangian potential becomes increasingly
sensitive to the fluctuations in the linear gravitational potential, and the Hessian
determinant deviates from unity. However, the eigenvalues remain strictly positive until
shell crossing, which means that the Lagrangian potential ϕL
remains a strictly convex function. Then, at shell crossing one eigenvalue goes through
zero and becomes negative (generically the collapse proceeds at different rates along the
three axes). Thus, as is known (Vergassola et al.
1994; Brenier et al. 2003; Bernardeau & Valageas 2010b), the onset of shell
crossing is associated with the change in sign of the Hessian determinant
of ϕL and with the loss of convexity of the Lagrangian
potential ϕL (the Hessian matrix is no longer
positive-definite).
A well-studied dynamics that agrees with the Zeldovich dynamics until shell crossing is provided by the “adhesion model” (Gurbatov et al. 1989, 1991; Vergassola et al. 1994). More precisely, the “geometrical adhesion model” (Bernardeau & Valageas 2010b; Valageas & Bernardeau 2010) leads to replacing the linear Lagrangian potential ϕL(q), which defines the mapping q → x through (29), by a nonlinear Lagrangian potential ϕ given by the convex hull of ϕL, that is, ϕ = conv(ϕL). Then, particles no longer cross each other but form shocks. Moreover, this second dynamics still coincides with the Zeldovich dynamics outside of shocks, where ϕL coincides with its convex hull.
In this article, we do not compute the density power spectrum associated with this
“adhesion model”, or another explicit dynamical system, which is a difficult task. Since
we are merely interested in the amplitude of the effects associated with shell crossing,
we simply make use of the property that shell crossing is associated with the loss of
convexity of the Lagrangian
potential ϕL(q). Then, we
note that as long as ϕL(q) is
strictly convex its restriction along a line that goes through two arbitrary
points qA
and qB is also strictly
convex, which implies (see also Noullez &
Vergassola 1994; Brenier et al. 2003),
(33)Indeed,
we can choose a coordinate system so that
qA = 0 and
qB = (q,0,0),
and from strict convexity we obtain
, whence
∂x1/∂q1 > 0
along the first axis and
x1(q) − x1(0) > 0,
which reads as (33) in its general
form3. This means that the projection of the
Eulerian separation vector,
Δx = xB − xA,
onto the Lagrangian vector,
Δq = qB − qA,
is positive, so that Δx lies in the forward half-space
delimited by the plane orthogonal to Δq.
Going back to the general expression (7),
the density power spectrum is fully determined by the mean
⟨ eik·Δx ⟩ q,
for any q, where we note
Δx = x(q) − x(0).
To compute this quantity we can take q along the first axis,
that is,
q = q e1
with q = |q| . Then, before shell
crossing we have from the constraint (33)
the property Δx1 > 0. Therefore, we
consider the “sticky model” defined by: (34)where
ΔxL is the linear Eulerian separation, as
given by Eq. (1). Thus, this second model
only differs from the Zeldovich dynamics when the parallel linear Eulerian
separation, ΔxL1, is negative, in which
case we set it equal to zero. This is thus a simplified version of the “adhesion model”,
as once ΔxL1 reaches zero, it remains equal
to zero forever. However, the model (34)
cannot be explicitly derived from the “adhesion model”, since we take neither transverse
directions nor larger scales into account. Therefore, we use the more generic name “sticky
model”, to refer to this sticking along one direction for the pair separation.
It is clear that the condition ΔxL1 < 0, where the two models differ, is only a sufficient condition for shell crossing, but it is not necessary. Thus, it is a local condition that does not take the “cloud-in-cloud” problem into account: even though no shell crossing seems to have appeared on scale q yet, it may happen that this region is enclosed within a larger domain of size L that has already collapsed, so that particles in the smaller domain have actually experienced shell crossing (Bond et al. 1991). In terms of the Lagrangian potential ϕL, which defines the Lagrangian mapping, q → x, through Eq. (29), the absence of shell crossing on a small domain of size q means that ϕL is equal to its convex hull in this domain (Vergassola et al. 1994; Bec & Khanin 2007; Bernardeau & Valageas 2010b). However, the construction of the convex hull is a global problem, as one must consider the behavior of ϕL(q) over all the space, thereby taking into account the “cloud-in-cloud” problem, while in the definition of the model (34) we only check a weaker condition, since we only consider the two points 0 and q. This means that we somewhat underestimate the effects of shell crossing, but we can expect to obtain a reasonable estimate of their amplitude because the probability of collapse decreases on larger scales and we perform a statistical integration over the angles of q in Eq. (7).
From the previous discussions, the “sticky model” (34) and the Zeldovich dynamics (1) coincide before shell crossing, since then we have ΔxL1 > 0. This implies that both theories coincide at all orders of the perturbation theory; that is, they show the same expansions (23) and (26) over powers of PL. However, they differ through nonperturbative terms, which arise from their different behaviors after shell crossing.
From Eq. (34) we obtain
ΔΨ1 = max(ΔΨL1, −q),
for
q = q e1, and
(35)where
we factorized the result associated with the usual Zeldovich dynamics (8) in the first two terms and we introduced the
variance of the linear longitudinal displacement,
Separating
the contribution from
ΔΨL1 < −q, we
obtain for the last two terms of Eq. (35),
(38)
(39)where
erfc(z) is the complementary error function (extended to the complex
plane),
(40)Then, substituting into
Eqs. (35) and (7), we can see that the density power spectrum
of the “sticky model”, Psticky(k), is equal
to the usual Zeldovich power spectrum obtained in Sect. 2.1 plus a correction
term Ps.c.(k),
(41)with
(42)Here
we introduced Faddeeva’s function,
(43)which satisfies the
asymptotic expansion (Abramowitz & Stegun
1970)
(44)Expression (42) also reads as
(45)As
expected, we can check on Eqs. (42)
and (45), using the behavior (44), that the correction due to shell-crossing
effects is nonperturbative, in the sense that, because of the
term
,
its expansion over powers of the amplitude of the linear power spectrum is identically
zero4.
![]() |
Fig. 1 The power per logarithmic interval of k, as defined in Eq. (46), at redshifts z = 0
(left panel) and z = 2 (right
panel). The solid lines are the linear power
spectrum “PL”, the nonlinear Zeldovich power
spectrum “PZel”, given by Eq. (13), the nonperturbative
correction “Ps.c.”,
given by Eq. (45), and the
sum PZel + Ps.c.
associated with the “sticky model”, Eq. (41). The dot-dashed lines, which grow very fast and are only partly drawn,
are the absolute values of the standard perturbative
terms |P(2)|
and |P(3)| , from Eq. (23). The lower dashed lines are the
“renormalized” perturbative terms |
At low k the shell-crossing contribution (45) behaves as Ps.c.(k) ∝ k2. This agrees with the generic behavior5 associated with small-scale redistributions of matter (Peebles 1974). Thus, the “sticky model” provides an explicit example of a nonperturbative power spectrum, which satisfies these generic behaviors.
3. Numerical results in real space
We now describe the numerical results we obtain for the Zeldovich and “sticky model” power spectra, Eqs. (13) and (41), as well as their common perturbative expansions. We consider a ΛCDM cosmology, with Ωm = 0.279, ΩΛ = 0.721, σ8 = 0.817, and h = 0.701.
3.1. Logarithmic power
We show in Fig. 1 the power per logarithmic interval
of k, defined as (46)for redshifts
z = 0 and z = 2. We compare the Zeldovich nonlinear
power spectrum (13) with its perturbative
expansions (19) and (24) and the nonperturbative correction (45). As is well known, higher order terms of
the standard perturbative expansion (19)
grow increasingly fast at high k with changes in sign and large
cancellations between different orders. The “renormalized” perturbative expansion (24) gives positive terms (see Eq. (25)) that peak on a well-defined range (Crocce & Scoccimarro 2006b) and are much easier
to distinguish. Thus, while we only plot the first three orders of the standard expansion,
P(1) = PL and the absolute
values |P(2)|
and |P(3)| , we plot the first five orders of the
“renormalized” expansion,
to
,
as well as
,
,
,
,
and
(always multiplied by the factor 4πk3 of
Eq. (46)). As we go to higher orders,
contributions become narrower and more densely packed, which implies that as we go deeper
in the nonlinear regime, we need increasingly more perturbative terms per logarithmic
interval of wavenumber.
![]() |
Fig. 2 The dashed lines are the ratios of the “renormalized” perturbative terms of the
expansion (24) to the nonlinear
“sticky model” power spectrum, |
We also plot a few partial sums of expansion (24), that is, , with
N = 5,10,15,20,
and 30. We can check that they agree with the full nonlinear power spectrum (13) until the wavenumber associated with the
peak of
, after
which they follow the Gaussian decay associated with the
prefactor
.
These partial sums are also slightly more efficient than those obtained from the standard
expansion (19) at the same order
(not shown in the figure).
As expected, the nonperturbative correction (45) is very small on quasi-linear scales, so that there is indeed a range where higher order terms of the perturbative expansions (19) and (24) (i.e. beyond the first order associated with the linear regime) are relevant. At higher k, the nonperturbative correction becomes dominant and the perturbative expansions become irrelevant, since one can no longer neglect the physics beyond shell crossing.
In the highly nonlinear regime, we recover the well-known decay of the Zeldovich
logarithmic nonlinear power spectrum (Schneider &
Bartelmann 1995; Taylor & Hamilton
1996; Valageas 2007b). This is because
particles escape to infinity after shell crossing (i.e. keep moving on their straight
trajectories), and these random trajectories (in the sense of random initial conditions)
erase small-scale features in the density field. This is expressed by the Gaussian
decaying factor in
Eq. (13), where the quantity within
brackets is always positive as can be seen from expression (9). Even though this leads to a decay at high k,
the falloff is not Gaussian because of the integration over the Lagrangian
distance q (Taylor & Hamilton
1996). In particular, for power-law initial power spectra,
PL(k) ∝ kn
with −3 < n < −1, one
finds that
Δ2(k) ∝ k3(n + 3)/(n + 1)
(Valageas 2007b) (the Zeldovich dynamics is not
well-defined for n ≥ −1 because of ultraviolet divergences). Contrary
to the gravitational case, the nonlinear power spectrum decreases faster at
high k for higher values of n. This is due to the
greater smearing out of small-scale features by the larger amplitude of the random linear
displacements at small wavelengths.
It is interesting to note that, thanks to its shell-crossing correction (45), the nonlinear power spectrum (41) of the “sticky model” does not show this
fast decay, and its logarithmic power still increases in the nonlinear regime. This is due
to the prescription (34), which in a sense
prevents particles from escaping to infinity in one direction, as they stick together.
This approximately models the formation of Zeldovich pancakes, associated with collapse
along one axis (although there is no precise relationship, since Eq. (34) is only a statistical model and does not
consider the “cloud-in-cloud” problem). Thus, small-scale structures are no longer erased,
since we keep a trace of planar features. This is expressed by the
factor (1 − μ2) in the exponential argument in
expression (45), which suppresses the
Gaussian decaying term of the form e−k2 for
μ ≃ 1. This gives a width
Δμ ~ k-2, hence
Ps.c.(k) ~ k-2
at high k, as would be the case for a density field where planar objects
are the relevant nonlinear structures (i.e. bi-dimensional structures, as opposed to
pointlike masses or lines for instance). Contrary to the Zeldovich power spectrum there is
no dependence on n for the high-k slope, for power-law
linear power spectra
PL(k) ∝ kn
with −3 < n < −1.
This gives the universal asymptote for the nonlinear
logarithmic power of the “sticky model” at high k.
3.2. Perturbative and nonperturbative contributions
To clearly see the range of scales where perturbative schemes are relevant, we plot in
Fig. 2 the ratios of the successive terms of the
“renormalized” perturbative expansion (24)
with respect to the nonlinear power spectrum of the “sticky model”,
, for n = 1
to 5, as well as
n = 10,15,20,30,50,
and 70. We also plot the
ratio Ps.c.(k)/Psticky(k),
to compare with the amplitude of the nonperturbative correction associated with
shell-crossing effects. We consider the four redshifts
z = 0,1,2, and 3. Here we focus on
the “renormalized” perturbative expansion (24), rather than on the standard expansion (19), to avoid the interferences brought by the changes in sign and the
cancellations between various terms.
We can see that the potential of perturbative expansions grows at higher redshift for
a ΛCDM power spectrum, because of the change in slope
of PL(k). Thus, at z = 3
we can go up to the order n = 66 before the perturbative term becomes
subdominant with respect to the nonperturbative correction, while at
z = 0 the crossover takes place at n = 9, as the
term is the
lowest order one that is fully below the nonperturbative
correction Ps.c.(k).
This agrees with the observation that in the gravitational case perturbative schemes (and
resummation approaches) seem to fare better at higher z (Carlson et al. 2009). We can see that perturbative
schemes are relevant over roughly one decade over k. Thus, if we require
an accuracy of 1% at z = 0, linear theory is sufficient up to
k1loop ~ 0.033 h Mpc-1, while
higher order perturbative terms allow reaching
ks.c. ~ 0.23 h Mpc-1.
At higher k one must take the nonperturbative correction associated
with shell-crossing effects into account, which implies going beyond the fluid
approximation and requires new approaches.
To help the reader, we give in Table 1 the wavenumber k1loop, below which the linear term is enough to reach a 1% or 10% accuracy, for the four redshifts shown in Fig. 2. We also give the wavenumber ks.c. beyond which the nonperturbative correction is required to reach an accuracy of 1%,10%, or 50% (in units of Psticky(k)). Thus, the interval [k1loop,ks.c.] gives the range where perturbation theories based on the fluid description are relevant. Of course, this range shifts to higher k at higher redshift. It is interesting to note that this range is also broader at higher redshift, as the slope of the CDM linear power spectrum on the relevant scales changes slowly. The last column gives the last order, ns.c., of the “renormalized” perturbative expansion that is not fully below the nonperturbative term. As noticed above in Fig. 2, this expansion order is significantly higher at higher redshift. This corresponds to a greater potential for perturbative schemes. However, ns.c. grows faster than the logarithmic width of the perturbative range, [lnk1loop,lnks.c.] . Indeed, as shown in Fig. 2, peaks associated with higher order perturbative terms are increasingly narrow on the lnk axis. This implies that to multiply the upper wavenumber k, defined by a fixed accuracy, by a given amount, one needs to add an increasingly greater number of new perturbative terms.
The dependence on redshift z of the wavenumbers where the ratios
(at k1loop) and
Ps.c.(k)/Psticky(k)
(at ks.c.) reach 1%,
10%, and 50%.
In practice, we do not expect that perturbative terms will be computed up to such high orders, since in the case of the gravitational dynamics this would involve multidimensional integrals that are beyond the reach of current numerical possibilities. However, resummation schemes allow one to consider parts of such higher order terms (actually, an infinite number of diagrams that contribute to terms of all orders). Then, the hope is that such methods can efficiently sum most of the contributions of higher order terms and accelerate the convergence on weakly nonlinear scales. The comparison displayed in Fig. 2 shows the potential of such methods (i.e. the best result one can obtain, for the “sticky model” considered here), which appears to be quite significant at higher redshifts, z ≥ 1.
Since the Zeldovich dynamics provides a reasonable approximation of the gravitational dynamics down to weakly nonlinear scales (Coles et al. 1993; Pauls & Melott 1995), and its accuracy can be improved by implementing the “adhesion model” that only differs after shell crossing (Weinberg & Gunn 1990; Melott et al. 1994; Sathyaprakash et al. 1995), we can expect that to a large extent these results still apply to the gravitational case. In particular, while we find that at z = 0 the nonperturbative correction to the density power spectrum is around 1% at k ~ 0.23 h Mpc-1 and 50% at k ~ 0.9 h Mpc-1, Afshordi (2007) finds the wavenumbers k ~ 0.1 h Mpc-1 and k ~ 0.85 h Mpc-1 with a phenomenological “sticky halo model”. It is comforting that these two very different approaches give similar results. Then, the property that the range where perturbative schemes are relevant is greater at z = 3 than at z = 0, with a higher order ns.c., should remain valid.
This is confirmed by the analysis of unified models that combine perturbation theories with halo models, for the gravitational case. Thus, as shown in Valageas & Nishimichi (2010), at higher redshift the intermediate range, where the power spectrum departs from one-loop perturbation theory but is not yet well described by the “one-halo” contribution, becomes wider. There, the “one-halo” contribution plays the role of the nonperturbative contribution (45), as it is also fully nonperturbative and decays at low k as k2 (if we only consider matter conservation, see the discussion in Valageas & Nishimichi 2010). Then, the broadening of this intermediate range also suggests that higher orders of perturbation theory become relevant, as explicitly found in Figs. 1 and 2.
In the context of cosmological reconstruction6, a comparison with N-body simulations (Mohayaee et al. 2006) shows that the Monge-Ampère-Kantorovich method is able to recover the nonlinear displacement field down to ~3 h-1 Mpc at z = 0, which corresponds roughly to k ~ 2 h Mpc-1. We can see from Table 1 that this is a very good result, as going to smaller scales requires taking shell crossing into account (in fact, at k = 2 h Mpc-1 nonperturbative corrections have already started to dominate). Thus, the Monge-Ampère-Kantorovich method appears to be close to optimal at z = 0, because it goes as far as any scheme that disregards shell-crossing effects can be expected to go. This can be understood partly from the fact that relatively few orders of perturbations theory are relevant at z = 0 (since ns.c. = 9), so that it may not help much to explicitly include the effects of higher order terms.
Reconstruction techniques are also used to sharpen the acoustic peak of the real-space correlation function or to restore the harmonics of the oscillations of the power spectrum, in order to improve cosmological distance measurements and constraints on dark energy (Eisenstein et al. 2007; Seo et al. 2010). Then, one can read in Table 1 the wavenumber ks.c. up to which one can hope to recover these baryon acoustic oscillations. At z = 0 we can see that present schemes, which are based on the linear displacement field and manage to reach ~0.2 h Mpc-1 (not necessarily for the amplitude but at least for the shape and position of the oscillations) are not far from the upper bound, as could be expected from only a few orders of perturbation theory being relevant (ns.c. = 9). At z = 3 it seems that one could go much beyond present schemes (which do not go much farther than 0.25 h Mpc-1), in agreement with ns.c. = 66, which means that higher orders of perturbation theory are relevant. However, for the specific purpose of measuring cosmological distances from the baryon acoustic oscillations, the potential is limited by the relative amplitude of the oscillations of the linear power spectrum itself decreasing at higher k, so that even a very good reconstruction would not greatly enhance the signal-to-noise ratio. Nevertheless, pushing to higher orders (e.g., through resummation schemes) remains useful for other purposes, such as weak-lensing studies.
3.3. Rise of power at the transition
The increase of power on the transition scale to nonlinearity shown in Fig. 1 (especially in the left panel at
z = 0) is reminiscent of a similar feature observed for the gravitational
dynamics (Hamilton et al. 1991; Peacock & Dodds 1996). This is usually
interpreted from a Lagrangian point of view inspired by the spherical collapse dynamics.
Thus, Padmanabhan (1996) argues that, on these
intermediate scales, one has in real space
with
. More generally, in Fourier
space one writes for the nonlinear power per logarithmic interval of wavenumber,
Δ2(k), the parametric system (Peacock & Dodds 1996)
with
a function f to be determined. These relations express the conservation
of matter, since the Lagrangian scale
q ~ 1/kL collapses down
to the Eulerian scale x ~ 1/k. The
linear regime implies that f(x) ≃ x for
x ≪ 1, whereas in the highly nonlinear regime the stable-clustering
ansatz (Peebles 1982) gives the scaling
f(x) ~ x3/2
for x ≫ 1. At the transition one observes a sharper growth, which is
consistent with f(x) ~ x3
(Padmanabhan 1996). In practice, one builds a
fitting formula for f(x) to match numerical simulations
and to account for the dependence on the shape of the linear power spectrum.
In any case, such models usually estimate the shape of the nonlinear two-point correlation function or of the nonlinear power spectrum by considering the collapse of a “typical” overdensity (Padmanabhan 1996; Valageas & Schaeffer 1997) (or merely obtaining f(x) from simulations without further interpretation). It is interesting to note that this collapse also takes place within the Zeldovich dynamics studied here. In particular, the function δ = ℱ(δL) that describes the spherical collapse is no longer given by cycloids (Peebles 1980) but by the simple expression ℱ(δL) = 1/(1 − δL/3)3 − 1 (Bernardeau & Kofman 1995; Valageas 2009). (Collapse to a point is delayed from δc ≃ 1.686 to δc = 3, since the motion does not accelerate as the gravitational potential well becomes deeper.)
![]() |
Fig. 3 The nonlinear power per logarithmic interval of
wavenumber, Δ2(k), as a function of the linear
power |
We show in Fig. 3 the functions
defined by the system (47), (48) for the Zeldovich dynamics and the “sticky model”. Indeed, from the
knowledge of the nonlinear power Δ2(k) we obtain the
Lagrangian wavenumber kL from Eq. (47) and
next
. For a given Eulerian
wavenumber k, the Lagrangian wavenumbers kL
obtained for both models, Zeldovich dynamics and “sticky model”, are different. Then,
Fig. 3 shows that, within the Zeldovich dynamics,
this growth of the nonlinear density contrast through the spherical collapse is not
sufficient to build up the increase in power on these mildly nonlinear scales, although
one can see a modest rise at z = 2. Indeed, the shape of the nonlinear
power spectrum is quickly governed by the decay that takes place at
higher k, due to the escape of particles beyond shell crossing that
erases small-scale features, as recalled in Sect. 3.1. In contrast, such a growth is clearly seen in the “sticky model”.
This means that such arguments, based on the evolution of a “typical” overdensity through
the spherical collapse dynamics, are not good enough to explain the shape of the power
spectrum on these scales since they clearly fail for the Zeldovich dynamics. Thus, one
needs to consider the behavior of a whole range of typical density fluctuations (i.e.,
truly perform the Gaussian average over the initial conditions), which includes a
significant number of configurations where shell crossing has already taken place. Then,
one cannot neglect the dependence on their behavior after shell crossing, and whereas the
free escape associated with the Zeldovich dynamics is sufficient to erase any growth of
power on the transition scale, a trapping of particles allows such a growth. In the
“sticky model” studied here, this trapping after shell crossing is a simple sticking along
one direction, as defined in (34), which
eventually leads to a universal k-2 tail at very
high k for Psticky(k),
as noticed in Sect. 3.1. In terms of the
function , this
corresponds to a large-x scaling
fsticky(x) ∝ x3/ [2(n + 3)]
from the system (47), (48).
In the gravitational case, this regime corresponds to the virialization within 3D bound
structures, with an asymptotic tail at high k that is poorly known.
In particular, although overdensities seem to form halos with an almost universal profile
(Navarro et al. 1997), there is no
first-principle derivation of the high-k exponent of the density power
spectrum, and its degree of universality is not well known. However, especially in the
case of CDM-like power spectra that decay as
PL(k) ∝ k-3 at
high k, halos are rather smooth with a low amount of substructures.
Then, the nonlinear logarithmic power spectrum does not seem to show a strong
high-k tail, such as the universal forms
Δ2(k) ∝ k3,
∝ k2 or ∝ k1, associated with
pointlike masses, lines, or sheets, but appears to be consistent with a logarithmic or
shallow slope asymptote (Smith et al. 2003). This
means that the steep rise in the function observed in the intermediate
regime,
1 < Δ2(k) < 100,
breaks down at Δ2(k) ~ 100 to reach this slow growth at
higher k, in contrast to the “sticky model” considered here where there
is a regular transition from the linear regime, where
fsticky(x) ~ x, to the
highly nonlinear regime, where
fsticky(x) ∝ x3/ [2(n + 3)] .
On the other hand, in agreement with the fact that the linear density contrast associated
with full spherical collapse to a point is delayed from
δc ≃ 1.686 to 3, the rise obtained in Fig. 3 at appears at somewhat higher
values of
than would be the case for
the gravitational dynamics, as can be checked by comparison with the results of
N-body simulations (Smith et al.
2003). In this respect, the spherical collapse captures some of the properties of
the early rise of Δ2(k).
4. Redshift-space power spectrum
The density field observed from galaxy surveys is distorted by their peculiar velocities, which introduce an error in the measure of their radial position (Jackson 1972; Kaiser 1987). Indeed, both the mean Hubble flow and the peculiar radial velocity of a galaxy contribute to the redshift of the observed emission and absorption lines. On the other hand, the measure of the angular positions on the sky are not influenced by these peculiar velocities. In a “plane-parallel” approximation, where the line of sight has a fixed direction ez, radial and angular modes correspond to longitudinal and transverse wavenumbers k ∥ and k ⊥ . Then, the power spectrum measured along the transverse direction (i.e. k ∥ = 0) is not affected by these “redshift distortions” and is equal to the real-space power spectrum considered in the previous sections, whereas the power spectrum measured along the longitudinal direction (i.e. k ⊥ = 0) is modified. In particular, this means that the power spectrum is no longer isotropic.
This implies that some additional information is contained in the redshift-space power
spectrum, since by comparing the longitudinal and transverse components, we can derive some
information on the velocity field and obtain further constraints on cosmology. For instance,
within linear theory, comparing the redshift-space power spectrum over several directions
(Kaiser 1987) or expanding its angular dependence
over Legendre polynomials and comparing the first few multipoles (Hamilton 1992), one can constrain the ratio f of the
linear growth rate to its value in a critical density universe, hence Ωm since
. On the other
hand, while clustering along the transverse directions of statistical standard rulers such
as BAO gives the angular distance, real-space clustering along the longitudinal direction
gives the Hubble rate, so that complementary information can be derived from both
directions, and one can use the longitudinal/transverse ratio to perform the
Alcock-Paczynski test (Alcock & Paczynski
1979).
Thus, it is interesting to extend the analysis presented in the previous sections to the redshift-space power spectrum. Rather than expanding on multipoles, we focus on the clustering along the radial direction, as compared with the transverse directions. Of course, another effect that comes into play in galaxy surveys is the bias, which may show some scale dependence. However, we do not study this effect here, as this is a rather different process.
4.1. Nonlinear Zeldovich power spectrum in redshift space
We first recall the nonlinear redshift-space power spectrum associated with the Zeldovich
dynamics. The redshift-space coordinate s of a galaxy is
(49)where
x is its comoving position,
its peculiar velocity, and ez
the unit vector of the line of sight. Within the Zeldovich dynamics (1) the peculiar velocity is
(50)leading to
(51)where
D is the linear growth factor and
f(z) = dlnD/dlna.
In the following we use a “plane-parallel” approximation and we denote the longitudinal
and transverse directions to the line of sight by the subscripts ∥ and ⊥ . Thus we have
(52)The conservation of
matter reads again as
, where we
denote the redshift-space quantities by a superscript “s”, and as in
Eqs. (3)−(7) the redshift-space power spectrum reads as
(53)Following Taylor & Hamilton (1996), it is convenient to
introduce the vector K, which is the
wavevector k stretched by (1 + f) along
the line of sight,
(54)Then Eq. (53) writes as (see Eq. (13))
(55)where
μKq = (K·q)/(Kq).
Using spherical coordinates about the vector K, expanding
parts of the exponentials and using Eq. (14) we obtain
(56)with
(57)
(58)Expression (56) holds for any
wavenumber k and shows how the redshift-space power
spectrum depends on both k
and μk. As recalled above and as is obvious
from Eq. (52), the redshift-space power
spectrum for wavevectors perpendicular to the line of sight is equal to the real-space
power spectrum,
(59)and we can check
that we recover Eqs. (15) from (56) for
μk = 0. For longitudinal wavevectors, we
simply have
K = (1 + f)k,
so that Eq. (55) simplifies as
(60)where
μ = (k·q)/(kq) = q ∥ /q,
as in Eq. (13). Thus we see at once that,
along the line of sight, the effect of redshift distortions is merely to multiply the
amplitude of the linear power spectrum by a factor (1 + f)2;
that is, we can absorb the factor (1 + f)2
into
,
I0 and I2, or more simply
into PL(k), as was obvious from Eq. (52). Therefore, we directly obtain from
Eq. (15) the expression
(61)since
we only need to multiply each term that
involves PL(k) by a
factor (1 + f)2. In a similar fashion, the standard
perturbative expansion (19) becomes
(62)whereas the
“renormalized” perturbative expansion (24)
becomes
(63)
(64)Thus, each order
n of the perturbative expansions gets multiplied by a
factor (1 + f)2n as we go from real space
to redshift space, for modes that are aligned with the line of sight. In particular, at
lowest order we have
, so that we recover the
well-known boost factor of Kaiser (1987),
associated with the infall of galaxies within gravitational potential wells. On the other
hand, the factor (1 + f)2 also sharpens the Gaussian damping
prefactor in the expansion (63).
4.2. “Sticky model” nonperturbative correction
![]() |
Fig. 4 The logarithmic redshift-space power spectrum,
|
We now turn to the nonperturbative correction associated with the “sticky model”
introduced in Sect. 2.4. Again we focus on the
redshift-space power spectrum for wavenumbers that are
parallel to the line of sight. From Eq. (53) we now need to compute the average
⟨ eik·Δs ⟩ q.
Before shell crossing, or more precisely, as long as
ΔxL1 > 0 for a
Lagrangian-space separation vector along the
e1-axis, the “sticky model” follows the Zeldovich
dynamics,
(65)whereas
once ΔxL1 < 0 we
affect the same position, Δx1 = 0, and the same peculiar
velocity, Δv1 = 0, along the
e1-axis, for both particles as in (34), whence
(66)(The
line-of-sight axis ez and the
axis e1 of the Lagrangian separation
vector q are not related.) At the shell-crossing time we
have a discontinuity in the redshift-space separation Δs,
since Δs1 jumps from −fq to zero. Indeed,
just before contact, the two particles move closer, with the finite relative velocity
Δv1 = −(aḊ/D)q,
while after collision their relative velocity is set to zero. This should actually be
understood in a loose sense, since within the “sticky model” we consider neither
transverse directions nor the cloud-in-cloud problem. Then, as in Sect. 2.4 the redshift-space power spectrum of the “sticky
model” reads as
(67)and from Eqs. (65), (66) we obtain for wavenumbers along the line of sight
(68)As
compared with Eq. (45), the new
exponential factor e−ikfqμ is due to the discontinuity of
Δs at
ΔΨL1 = −q, associated with shell crossing
within the “sticky model”. The factors (1 + f) that multiply the
longitudinal wavenumber k could be expected from Eqs. (65), (66).
4.3. Redshift-space logarithmic power
As for the real-space Fig. 1, we show in Fig. 4 our numerical results for the redshift-space
logarithmic power, for longitudinal wavenumbers k,
defined as (69)We use the same
definition (46), even though
only holds along the
longitudinal direction and
holds
along the two transverse directions (so that using a factor k instead
of k3 would be more natural here), to make the comparison
with Fig. 1 easier. In particular, this means
that
is given by Fig. 1 for transverse wavenumbers.
As compared with Fig. 1, we can check that the
linear-regime power, , is
amplified by a factor (1 + f)2, whereas standard higher order
terms are amplified by factors (1 + f)2n, see
Eq. (62). Even though the same factors
apply to the higher order terms of the “renormalized” perturbative expansion, see
Eq. (64), their peak height is not
greater than in Fig. 1 for n ≥ 2
because of the stronger Gaussian damping prefactor
in Eq. (63). For large n
this even leads to a smaller amplitude as compared with the associated real-space
contribution. This makes the full nonlinear Zeldovich and “sticky model” power spectra
greater than their real-space counterparts on large scales, in the quasi-linear regime,
but smaller in the highly nonlinear regime. In particular, it is clear from Eq. (60) that the high-k damping
of the Zeldovich power spectrum becomes sharper because of the
factor (1 + f)2 in the exponential term (even though this
only leads to a power-law decay as noticed in Sect. 3.1). As well as for the real-space power spectrum, the “renormalized”
perturbative expansion (63) is more
convenient to distinguish the relative contributions of higher order terms, as they are
all positive and do not show the cancellations associated with the standard
expansion (62).
Since within the “sticky model” we have after shell crossing
Δs1 = 0, just as we had Δx1 = 0
in real space, we again obtain a k-2 tail at
high k for the nonperturbative
term , whence
, as would be the case for
planar structures in redshift space. However, because the dominant effect of redshift
distortions on small scales is to decrease the power, through damping factors of the
form
,
the nonperturbative redshift-space contribution
is less than its real-space
counterpart. Coupled with the faster decay of
, this leads to a temporary
decrease of
at k ~ 1
to 4 h Mpc-1 at z = 2, before the
asymptotic tail ∝ k becomes dominant.
![]() |
Fig. 5 The ratios of the “renormalized” perturbative terms of the expansion (63) to the nonlinear “sticky model”
redshift-space power spectrum, and of the nonperturbative
contribution |
The “sticky model” is not intended here to describe the redshift-space power spectrum
better than the Zeldovich approximation. Indeed, on small scales setting
Δv1 = 0 is not realistic, since one should rather describe
multi-streaming and take into account the finite velocity dispersion of collapsed objects
built by virialization processes. Then, instead of a “sticking” in redshift space one
obtains a finite size extension that is greater than the real-space size of the object
(because of the additional term associated with the velocity dispersion in Eq. (49)). As is known, this explains the
characteristic “fingers of god” observed in galaxy surveys (Jackson 1972; Tadros et al.
1999), and instead of a universal growing tail
, this leads to a decaying tail
(as for the Zeldovich power spectrum but with different quantitative properties, since the
latter are set by the complex nonlinear virialization processes rather than the linear
velocity field). Of course, it is possible to modify the “sticky model” to implement such
a velocity dispersion and to obtain more realistic results in redshift space.
For instance, while retaining “sticking” in real space, one could allocate a random
relative velocity to the pair, so that the perturbative expansions remain unchanged and
the nonperturbative contribution involves a damping term of the
form
,
where σvir is the characteristic velocity dispersion in
virialized objects. However, this goes beyond the scope of this article, since here we are
only interested in the comparison of perturbative and nonperturbative terms and the simple
“sticky model” in the form (66) is
sufficient to estimate the scale where nonperturbative corrections become important.
4.4. Redshift-space perturbative and nonperturbative contributions
Finally, as for the real-space Fig. 2, we show in
Fig. 5 the ratios of the successive terms of the
“renormalized” perturbative expansion (63)
with respect to the nonlinear power spectrum of the “sticky model”, for the same orders
n = 1 to 5, as well as
n = 10,15,20,30,50,
and 70. We also plot the ratio , to
compare with the amplitude of the nonperturbative correction associated with shell
crossing effects, and we consider the four redshifts
z = 0,1,2, and 3. As for the
real-space power spectrum, the potential of perturbative expansions is greater at higher
redshift, as we can include more perturbative terms before they become subdominant as
compared with the nonperturbative contribution
, and they extend by a larger
factor the range of k where systematic results can be obtained.
We give in Table 2 the wavenumbers
and
where the
second order of perturbation theory,
, and the nonperturbative
contribution,
, reach levels of 1%, 10%, or
50%. As noticed above from the comparison of Figs. 5
and 2, the
interval
, where higher orders of
perturbation theory apply, shifts to higher k and becomes broader at
higher redshift, as for the real-space spectrum described in Table 1. However, it is shifted towards smaller k than with
the real space power spectrum, as could be expected from the fact that redshift-space
perturbative terms of order n are multiplied by
prefactors (1 + f)2n, see Eqs. (62)−(64), so that higher order terms become relevant earlier and on larger
scales. On the other hand, the order
, after which
perturbative contributions become subdominant as compared with the nonperturbative
contribution, is similar to the one obtained for the real-space power spectrum, and grows
from 8 at z = 0 up to 72 at z = 3.
Since redshift distortions are greatest along the line of sight and they vanish for transverse wavenumbers, one would obtain similar results for multipoles of the redshift-space power spectrum, where one expands the dependence on the angle with respect to the line of sight of Ps(k) over Legendre polynomials of μ = (k·ez)/k. On a quantitative level, one would obtain results in-between those presented in Tables 1 and 2.
The dependence on redshift z of the wavenumbers where the
ratios
(at
) and
(at
)
reach 1%, 10%, and 50%.
5. Conclusion
In this article we have introduced a “sticky model” that coincides with the usual Zeldovich dynamics before shell crossing, while after shell crossing it includes a sticking of particle pairs along their longitudinal direction. This implies that the nonlinear density power spectra of both models have the same perturbative expansions and only differ by nonperturbative terms that arise from the dynamics beyond shell crossing. Since we can obtain explicit expressions for perturbative terms at all orders and for this nonperturbative correction, we have been able to compare their respective amplitudes in detail, focusing on a ΛCDM cosmology.
In real space, we find that perturbative approaches based on the fluid description can extend the wavenumber up to which systematic analytical predictions can be obtained from k ≃ 0.033 h Mpc-1 up to ≃0.23 h Mpc-1 at z = 0, and from ≃0.07 h Mpc-1 up to ≃2.2 h Mpc-1 at z = 3, as compared with linear theory (if we need an accuracy of 1%). We also give detailed results for other redshifts and for 10% and 50% accuracy levels. Going to higher k requires taking shell-crossing effects into account. Nevertheless, these results show that such perturbative approaches, based on hydrodynamical equations of motion, have a significant potential, especially at high and moderate redshifts. Since it is unlikely that it will be possible to explicitly compute high-order perturbative terms up to the last order ns.c. which is above the nonperturbative correction (ns.c. = 9 at z = 0 and ns.c. = 66 at z = 3), this provides a strong incentive to develop resummation schemes. Then, the hope is that such methods can efficiently resum most of the contributions associated with higher order terms and achieve a faster convergence.
This analysis is also useful in the context of cosmological reconstruction, where one tries to recover the dynamical history of a given region of the sky from its present density field (and next to derive from this reconstruction the present velocity field). Indeed, these methods usually neglect shell-crossing effects. In particular, we find that the Monge-Ampère-Kantorovich method is close to optimal at z = 0, as it fares well down to the scale where shell-crossing contributions dominate. With respect to the reconstruction of the baryon acoustic peak or of the acoustic oscillations of the power spectrum, there seems to be only modest room for improvement over current methods based on the linear displacement field at z = 0, in agreement with only a few orders of perturbation theory being relevant (ns.c. = 9). At higher z one could in principle do much better by including higher order terms, but since baryon acoustic oscillations of the linear power spectrum have a small amplitude at high k, this may not significantly improve the signal-to-noise ratio. However, this remains useful for other observational probes that are sensitive to the shape and amplitude of the power spectrum on weakly nonlinear scales, such as weak-lensing surveys.
We have also pointed out that the behavior of the system after shell crossing plays a key role in the shape of the density power spectrum on mildly nonlinear scales, 1 < Δ2(k) < 100. Thus, arguments based on the spherical collapse dynamics are not sufficient to explain the steep rise of the nonlinear power in this intermediate regime. Indeed, while for the Zeldovich dynamics such a growth is almost entirely wiped out by the escape of particles to infinity (as the random linear displacements erase small-scale features and lead to a decay of Δ2(k) at high k), for the “sticky model” there is a regular growth up to the high-k asymptote, Psticky(k) ~ k-2. Therefore, it is not sufficient to consider the spherical collapse of a “typical” overdensity to explain the shape of P(k) on these scales, as one must take the Gaussian average over a whole range of initial density fluctuations, which show a significant amount of shell crossing that has a strong impact on the resulting power spectrum.
Finally, we have obtained similar results for the redshift-space power spectrum. Again, the scope of perturbative approaches (based on the fluid description) is greater at higher z. As compared with the real-space power spectrum, the characteristic wavenumbers where higher order terms of the perturbative expansions and nonperturbative contributions come into play are shifted to lower values of k. Indeed, because of the amplification of perturbations from the uniform Hubble background by the additional contribution from peculiar velocities, the nonlinear regime is reached on larger scales than in real space.
The “sticky model” presented in this article, and more generally the expression (7) of the density power spectrum in terms of the Lagrangian displacement, could serve as a basis for models for the nonlinear power spectrum. In particular, the spirit of this model could be incorporated into the Lagrangian-based models, associated with the parametric system (47), (48), or into the “halo model”, to make the bridge between the perturbative regime and the highly nonlinear, nonperturbative regime (Valageas & Nishimichi 2010). This could also be extended to redshift space by including a model for the velocity dispersion within virialized objects. However, this is beyond the scope of the present article so we leave it to future works.
Two exceptions are the formalism developed in Valageas (2004), which applies to the Vlasov equation, and the Lagrangian approach of Matsubara (2008), which however is not valid beyond shell crossing.
The radius of convergence of such series can be finite (e.g., for a power-law linear spectrum PL(k) ∝ kn with n = −2) or zero (if n < −2), see Valageas (2007b).
In 1D the property (33) is an obvious consequence of the absence of shell crossing, but this is not the case in higher dimensions. Indeed, the result (33) makes use of the constraints associated with the fact that the Lagrangian mapping derives from a Lagrangian potential as in (29). This relies on the Zeldovich dynamics and on the linear growing mode of the velocity and displacement fields being curlfree. For the gravitational dynamics, there is no such clear signature of the absence of shell crossing, since even in regular regions the displacement field Ψ(q,t) develops rotational terms at the third order of perturbation theory (Buchert 1994; Bernardeau & Valageas 2008).
This is not a large-scale or early-time expansion, which would require knowledge of the
shape of PL(k). As for the standard
perturbative expansions of Sects. 2.2 and 2.3, one introduces for instance an auxiliary
parameter λ, such as
δL → λδL or
PL → λ2PL,
and looks for an expansion over powers of λ. Since
for
q → 0 if PL(k) decreases
faster than k-3 at high k, as for CDM power
spectra, the integration over q does not transform the exponential
factor
into anomalous power laws, and the expansion
of Ps.c.(k)
over powers of the amplitude of the linear power spectrum is indeed identically zero,
hence nonperturbative.
As described in Peebles (1974), considering momentum conservation, in addition to matter conservation, leads to a k4 tail at low k. However, since the “sticky model” (34) does not satisfy momentum conservation but only matter conservation, it gives rise to the k2 tail.
There, the problem is to reconstruct the past dynamical history of a given region of the sky from the knowledge of its present density field. A key observation is that in the linear growing mode, the velocity field is curlfree and related to the linear gravitational potential by a relation of the form vL ∝ − ∇ΦL, while the linear density field is given by the Poisson equation, δL ∝ ΔΦL. Then, the number of unknowns (the linear gravitational potential) is equal to the number of constraints (the present nonlinear density field), so that it makes sense to look for a reconstruction defined by the nonlinear density field alone (but this does not ensure uniqueness). The Monge-Ampère-Kantorovich method makes use of an additional assumption, that the Lagrangian map, q → x, can be derived from a convex potential ϕ(q), as in Eq. (29), to derive a unique solution to the “displacement reconstruction”, i.e. the inverse map x → q (Brenier et al. 2003; Mohayaee et al. 2006). Such methods cannot describe multi-streaming, and by estimating the scale where shell crossing effects can no longer be neglected, we can evaluate the scale down to which these reconstruction schemes can apply.
References
- Abramowitz, M., & Stegun, I. A. 1970, Handbook of Mathematical Functions (New York: Dover) [Google Scholar]
- Afshordi, N. 2007, Phys. Rev. D, 75, 021302 [NASA ADS] [CrossRef] [Google Scholar]
- Alcock, C., & Paczynski, B. 1979, Nature, 281, 358 [NASA ADS] [CrossRef] [Google Scholar]
- Bec, J., & Khanin, K. 2007, Phys. Rep., 447, 1 [NASA ADS] [CrossRef] [Google Scholar]
- Bernardeau, F., & Kofman, L. 1995, ApJ, 443, 479 [NASA ADS] [CrossRef] [Google Scholar]
- Bernardeau, F., & Valageas, P. 2008, Phys. Rev. D, 78, 083503 [NASA ADS] [CrossRef] [Google Scholar]
- Bernardeau, F., & Valageas, P. 2010a, Phys. Rev. D, 81, 043516 [NASA ADS] [CrossRef] [Google Scholar]
- Bernardeau, F., & Valageas, P. 2010b, Phys. Rev. E, 82, 016311 [NASA ADS] [CrossRef] [Google Scholar]
- Bernardeau, F., Colombi, S., Gaztañaga, E., & Scoccimarro, R. 2002, Phys. Rep., 367, 1 [NASA ADS] [CrossRef] [EDP Sciences] [MathSciNet] [Google Scholar]
- Bond, J. R., Cole, S., Efstathiou, G., & Kaiser, N. 1991, ApJ, 379, 440 [NASA ADS] [CrossRef] [Google Scholar]
- Brenier, Y., Frisch, U., Henon, M., et al. 2003, MNRAS, 346, 501 [NASA ADS] [CrossRef] [Google Scholar]
- Buchert, T. 1994, MNRAS, 267, 811 [NASA ADS] [Google Scholar]
- Carlson, J., White, M., & Padmanabhan, N. 2009, Phys. Rev. D, 80, 043531 [NASA ADS] [CrossRef] [Google Scholar]
- Coles, P., Melott, A. L., & Shandarin, S. F. 1993, MNRAS, 260, 765 [NASA ADS] [Google Scholar]
- Cooray, A., & Sheth, R. 2002, Phys. Rep., 372, 1 [NASA ADS] [CrossRef] [Google Scholar]
- Crocce, M., & Scoccimarro, R. 2006a, Phys. Rev. D, 73, 063520 [NASA ADS] [CrossRef] [Google Scholar]
- Crocce, M., & Scoccimarro, R. 2006b, Phys. Rev. D, 73, 063519 [NASA ADS] [CrossRef] [Google Scholar]
- Crocce, M., & Scoccimarro, R. 2008, Phys. Rev. D, 77, 023533 [NASA ADS] [CrossRef] [Google Scholar]
- Eisenstein, D. J., Hu, W., & Tegmark, M. 1998, ApJ, 504, L57 [NASA ADS] [CrossRef] [Google Scholar]
- Eisenstein, D. J., Zehavi, I., Hogg, D. W., et al. 2005, ApJ, 633, 560 [NASA ADS] [CrossRef] [Google Scholar]
- Eisenstein, D. J., Seo, H.-J., Sirko, E., & Spergel, D. N. 2007, ApJ, 664, 675 [Google Scholar]
- Goroff, M. H., Grinstein, B., Rey, S.-J., & Wise, M. B. 1986, ApJ, 311, 6 [NASA ADS] [CrossRef] [Google Scholar]
- Gurbatov, S. N., Saichev, A. I., & Shandarin, S. F. 1989, MNRAS, 236, 385 [NASA ADS] [CrossRef] [Google Scholar]
- Gurbatov, S., Malakhov, A., & Saichev, A. 1991, Nonlinear random waves and turbulence in nondispersive media: waves, rays and particles (Manchester University Press) [Google Scholar]
- Hamilton, A. J. S. 1992, ApJ, 385, L5 [NASA ADS] [CrossRef] [Google Scholar]
- Hamilton, A. J. S., Kumar, P., Lu, E., & Matthews, A. 1991, ApJ, 374, L1 [NASA ADS] [CrossRef] [Google Scholar]
- Jackson, J. C. 1972, MNRAS, 156, 1P [Google Scholar]
- Kaiser, N. 1987, MNRAS, 227, 1 [NASA ADS] [CrossRef] [Google Scholar]
- Kraichnan, R. H. 1959, J. Fluid Mech., 5, 497 [NASA ADS] [CrossRef] [Google Scholar]
- Massey, R., Rhodes, J., Leauthaud, A., et al. 2007, ApJS, 172, 239 [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
- Matarrese, S., & Pietroni, M. 2007, JCAP, 6, 26 [NASA ADS] [Google Scholar]
- Matsubara, T. 2008, Phys. Rev. D, 77, 063530 [NASA ADS] [CrossRef] [Google Scholar]
- McDonald, P. 2007, Phys. Rev. D, 75, 043514 [NASA ADS] [CrossRef] [Google Scholar]
- Melott, A. L., Shandarin, S. F., & Weinberg, D. H. 1994, ApJ, 428, 28 [NASA ADS] [CrossRef] [Google Scholar]
- Mohayaee, R., Mathis, H., Colombi, S., & Silk, J. 2006, MNRAS, 365, 939 [NASA ADS] [CrossRef] [Google Scholar]
- Munshi, D., Valageas, P., van Waerbeke, L., & Heavens, A. 2008, Phys. Rep., 462, 67 [NASA ADS] [CrossRef] [Google Scholar]
- Navarro, J. F., Frenk, C. S., & White, S. D. M. 1997, ApJ, 490, 493 [NASA ADS] [CrossRef] [Google Scholar]
- Noullez, A., & Vergassola, M. 1994, J. Sci. Comput., 9, 259 [Google Scholar]
- Padmanabhan, T. 1996, MNRAS, 278, L29 [NASA ADS] [Google Scholar]
- Pauls, J. L., & Melott, A. L. 1995, MNRAS, 274, 99 [NASA ADS] [Google Scholar]
- Peacock, J. A., & Dodds, S. J. 1996, MNRAS, 280, L19 [NASA ADS] [CrossRef] [Google Scholar]
- Peebles, P. J. E. 1974, A&A, 32, 391 [NASA ADS] [Google Scholar]
- Peebles, P. J. E. 1980, The large scale structure of the universe (Princeton: Princeton university press) [Google Scholar]
- Peebles, P. J. E. 1982, ApJ, 263, L1 [NASA ADS] [CrossRef] [Google Scholar]
- Peebles, P. J. E. 1989, ApJ, 344, L53 [NASA ADS] [CrossRef] [Google Scholar]
- Pietroni, M. 2008, JCAP, 10, 36 [Google Scholar]
- Sathyaprakash, B. S., Sahni, V., Munshi, D., Pogosyan, D., & Melott, A. L. 1995, MNRAS, 275, 463 [NASA ADS] [Google Scholar]
- Schneider, P., & Bartelmann, M. 1995, MNRAS, 273, 475 [NASA ADS] [Google Scholar]
- Seo, H.-J., Eckel, J., Eisenstein, D. J., et al. 2010, ApJ, 720, 1650 [NASA ADS] [CrossRef] [Google Scholar]
- Smith, R. E., Peacock, J. A., Jenkins, A., et al. 2003, MNRAS, 341, 1311 [NASA ADS] [CrossRef] [Google Scholar]
- Tadros, H., Ballinger, W. E., Taylor, A. N., et al. 1999, MNRAS, 305, 527 [NASA ADS] [CrossRef] [Google Scholar]
- Taruya, A., & Hiramatsu, T. 2008, ApJ, 674, 617 [NASA ADS] [CrossRef] [Google Scholar]
- Taruya, A., Nishimichi, T., Saito, S., & Hiramatsu, T. 2009, Phys. Rev. D, 80, 123503 [NASA ADS] [CrossRef] [Google Scholar]
- Taylor, A. N., & Hamilton, A. J. S. 1996, MNRAS, 282, 767 [NASA ADS] [Google Scholar]
- Valageas, P. 2004, A&A, 421, 23 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
- Valageas, P. 2007a, A&A, 465, 725 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
- Valageas, P. 2007b, A&A, 476, 31 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
- Valageas, P. 2008, A&A, 484, 79 [NASA ADS] [CrossRef] [EDP Sciences] [Google Scholar]
- Valageas, P. 2009, Phys. Rev. E, 80, 016305 [NASA ADS] [CrossRef] [Google Scholar]
- Valageas, P., & Schaeffer, R. 1997, A&A, 328, 435 [NASA ADS] [Google Scholar]
- Valageas, P., & Bernardeau, F. 2010, Phys. Rev. D, submitted [arXiv:1009.1974] [Google Scholar]
- Valageas, P., & Nishimichi, T. 2010, A&A, submitted [arXiv:1009.0597] [Google Scholar]
- Vergassola, M., Dubrulle, B., Frisch, U., & Noullez, A. 1994, A&A, 289, 325 [NASA ADS] [Google Scholar]
- Weinberg, D. H., & Gunn, J. E. 1990, MNRAS, 247, 260 [NASA ADS] [Google Scholar]
- Zeldovich, Y. B. 1970, A&A, 5, 84 [NASA ADS] [Google Scholar]
All Tables
The dependence on redshift z of the wavenumbers where the ratios
(at k1loop) and
Ps.c.(k)/Psticky(k)
(at ks.c.) reach 1%,
10%, and 50%.
The dependence on redshift z of the wavenumbers where the
ratios
(at
) and
(at
)
reach 1%, 10%, and 50%.
All Figures
![]() |
Fig. 1 The power per logarithmic interval of k, as defined in Eq. (46), at redshifts z = 0
(left panel) and z = 2 (right
panel). The solid lines are the linear power
spectrum “PL”, the nonlinear Zeldovich power
spectrum “PZel”, given by Eq. (13), the nonperturbative
correction “Ps.c.”,
given by Eq. (45), and the
sum PZel + Ps.c.
associated with the “sticky model”, Eq. (41). The dot-dashed lines, which grow very fast and are only partly drawn,
are the absolute values of the standard perturbative
terms |P(2)|
and |P(3)| , from Eq. (23). The lower dashed lines are the
“renormalized” perturbative terms |
In the text |
![]() |
Fig. 2 The dashed lines are the ratios of the “renormalized” perturbative terms of the
expansion (24) to the nonlinear
“sticky model” power spectrum, |
In the text |
![]() |
Fig. 3 The nonlinear power per logarithmic interval of
wavenumber, Δ2(k), as a function of the linear
power |
In the text |
![]() |
Fig. 4 The logarithmic redshift-space power spectrum,
|
In the text |
![]() |
Fig. 5 The ratios of the “renormalized” perturbative terms of the expansion (63) to the nonlinear “sticky model”
redshift-space power spectrum, and of the nonperturbative
contribution |
In the text |
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.