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

On the peculiar momentum of baryons after Reionization

Carlos Hernández–Monteagudo1 and Shirley Ho2
1Max Planck Institut für Astrophysik (MPA), Karl Schwarzschild Str.1, Garching bei München, D-85741, Germany
2Lawrence Berkeley National Laboratory, Berkeley, CA 94704, USA
E-mail:chm@mpa-garching.mpg.de
Abstract

The peculiar motion of ionized baryons is known to introduce temperature anisotropies in the Cosmic Microwave Background radiation (CMB) by means of the kinetic Sunyaev-Zel’dovich effect (kSZ). In this work, we present an all sky computation of angular power spectrum of the temperature anisotropies introduced by kSZ momentum of all baryons in the Universe during and after reionization. In an attempt to study the bulk flows of the missing baryons not yet detected, we address separately the contribution from all baryons in the Inter Galactic Medium (IGM) and those baryons located in collapsed structures like groups and clusters of galaxies. In the first case, our approach provides a complete, all sky computation of the kSZ in second order of cosmological perturbation theory (also known as the Ostriker-Vishniac effect, OV). Most of the power of OV is generated during reionization, although it has a non-negligible tail at low redshifts, when the bulk of the kSZ peculiar momentum of the halo (cluster + group) population arises. If gas outside halos is comoving with clusters as the theory predicts, then the signature of the bulk flows of the missing baryons should be recovered by a cross-correlation analysis of future CMB data sets with kSZ estimates in clusters of galaxies. For an ACT or SPT type of CMB experiment, all sky kSZ estimates of all clusters above 2×1014h1M2\times 10^{14}\;h^{-1}M_{\odot} should provide a detection of dark flows with signal to noise ratio (S/N) of 10\sim 10, (S/N 2.55\sim 2.5-5 for 2,000 - 10,000 square degrees). Improving kSZ estimates with data from Large Scale Structure surveys should enable a deeper confrontation of the theoretical predictions for bulk flows with observations. The combination of future CMB and optical data should shed light on the dark flows of the nearby, so far undetected, diffuse baryons.

keywords:
cosmic microwave background – cosmology : observations – cosmology : theory – galaxies: clusters: general
pagerange: On the peculiar momentum of baryons after ReionizationA.5.2pubyear: 2008

1 Introduction

The standard cosmological model predicts the statistical properties and evolution of the large scale matter distribution. Initially small inhomogeneities in the matter density field grow under gravity in an expanding universe, giving rise to a cosmic web made of filaments, sheets and superclusters of galaxies that we see today. Large, comoving flows of matter fall onto deep potential wells under gravity, with typical speeds of 150\sim 150 km s-1 in the standard Λ\LambdaCDM cosmological model (Hinshaw et al., 2008). These peculiar velocities ( peculiar with respect to the Hubble flow induced by the universal expansion) cannot be easily measured. Indeed, despite recent claims pending for confirmation (e.g., Kashlinsky et al., 2008; Watkins et al., 2008), there is no conclusive observational evidence for such bulk flows in the present universe.

Nevertheless, the Cosmic Microwave Background (CMB) radiation has provided an accurate measurement of these bulk flows when the universe was 380,000 years old (z1,050z\simeq 1,050). Before most of the electrons recombined with the protons and the CMB could propagate freely, the electron plasma and the CMB radiation were in thermal equilibrium since Thomson scattering kept both fluids coupled. The free electrons Thomson scattered CMB photons, leaving Doppler imprint according to their relative velocities caused by the oscillation of the plasma-photon fluid in the gravitational potential wells (Sunyaev & Zeldovich, 1970; Hu & Sugiyama, 1995). Since energy and density fluctuations were very small at that epoch, the linear theory is able to describe very accurately the anisotropy pattern that was introduced by Thompson scattering on the CMB, and this has been confirmed by observations (e.g. Mauskopf et al., 2000; Miller et al., 2002; Grainge et al., 2003; Hinshaw et al., 2008).

At redshift z10z\sim 10 the first stars began to ionize hydrogen in the Intergalactic Medium (IGM), and therefore CMB photons interacted again with the free electrons via Thomson scattering. In this scenario, electron peculiar velocities introduced new temperature anisotropies on the CMB. Likewise, due to the anisotropic nature of Thomson scattering, the CMB was also linearly polarized on the large angular scales, as it has also been confirmed by the WMAP experiment, (Hinshaw et al., 2008). These epochs describe the last scenario where all baryons have been observed: at more recent epochs, the amount of baryon matter that we are able to detect is at most of half of what is observed during both recombination and reionization (Fukugita & Peebles, 2004). This constitutes the missing baryon problem.

In this work, and just as in Hernández-Monteagudo & Sunyaev (2008), we investigate bulk flows and the missing baryons utilizing Thomson scatterings between CMB photons and free electrons at low redshift. This mechanism is referred to as the kinetic Sunyaev-Zel’dovich effect (kSZ, Sunyaev & Zeldovich, 1972), if it occurs in galaxy clusters, but it is called the Ostriker Vishniac effect (OV, Ostriker & Vishniac, 1986) in the context of cosmological second order perturbation theory, (for which the electron density and velocity are continuous fields). We shall follow this terminology, although in some occasions we may use either when referring to both effects for simplicity. We shall restrict ourselves to the impact of Thomson scattering on the intensity or temperature anisotropies of the CMB, since the effect on the CMB polarization is already studied in Hernández-Monteagudo & Sunyaev (2008). Unlike in Hernández-Monteagudo et al. (2006), we shall not consider the spectral distortions that the hot fraction of the missing baryons introduce in the CMB black body spectrum. Previous efforts have been made in the computation of the OV effect (Ostriker & Vishniac, 1986; Dodelson & Jubas, 1995; Hu, 2000; Castro, 2003), some of them in the context of the non-Gaussian signal they give rise to. In some recent works, the kSZ in halos has been used as a probe for Dark Energy (Bhattacharya & Kosowsky, 2008), while Moodley et al. (2008) have used the gas in groups to probe the missing baryons, and Lee (2009) studies the prospects of constraining patchy reionization. Here, we present the first full sky projection of the temperature anisotropies induced by peculiar momenta of ionized baryons during and after reionization up to the present: if applied to the smooth electron distribution our calculations provide a full description of the OV effect, while when applied to the halo distribution they describe the contribution of galaxy group/cluster correlation on the kSZ effect. The formalism also permits the computation of the cross correlation between the OV and the kSZ effects. At the same time, our computations provide the linear approximation under which the electron density is approximated by its average value. We can then compare our code with standard linear theory Boltzmann codes such as CMBFAST (Seljak & Zaldarriaga, 1996) or CAMB (Lewis et al., 2000), as well as normalize our predictions to the linear fluctuation amplitudes measured by WMAP. Finally, we analyze our results in the context of future CMB and Large Scale Structure observations, and provide predictions for the detectability of bulk flows and missing baryons in the light of those future data sets. The paper is structured as follows: in Section 2 we describe the line of sight projection of the baryon peculiar momentum, and this is discussed in Section 3 in the context of its application to the halo population. The amplitude of the resulting power spectra are given in Section 4, and their interpretation in terms of bulk flow/missing baryon detection is provided in Section 5. We discuss our main results in Section 6 and conclude in Section 7.

2 The second order kSZ effect (OV effect)

The computation of the OV/kSZ effect requires the projection along the line of sight the product of electron peculiar velocity and density. If we consider the spatial variations of the electron density, then this product becomes a second order quantity in cosmological perturbation theory provided that peculiar velocities are very small (v/c1v/c\ll 1). I.e., the CMB temperature anisotropies introduced by the peculiar motion of the scatterers reads

δTT0(n^)=𝑑ηeτTa(η)σTn¯e(1+δe)(ven^c),\frac{\delta T}{T_{0}}(\hat{\mbox{\bf{n}}})=\int\;d\eta\;e^{-\tau_{T}}\;a(\eta)\sigma_{T}\bar{n}_{e}\left(1+\delta_{e}\right)\left(-\frac{\mbox{\bf{v}}_{e}\cdot\hat{\mbox{\bf{n}}}}{c}\right), (1)

with τT\tau_{T} the Thomson optical depth

τT=𝑑ηa(η)σTne(η),\tau_{T}=\int\;d\eta\;a(\eta)\sigma_{T}n_{e}(\eta), (2)

a(η)=1/(1+z(η))a(\eta)=1/(1+z(\eta)) the cosmological scale factor, σT\sigma_{T} the Thomson cross section and ne(η)=n¯e(1+δe)n_{e}(\eta)=\bar{n}_{e}(1+\delta_{e}) is the electron number density in terms of its average value (n¯e\bar{n}_{e}) and its spatial fluctuations (δe\delta_{e}). The symbol η\eta denotes conformal time or, equivalently, comoving distance. In Hernández-Monteagudo et al. (2006) (hereafter HVJS) a full sky description of the kSZ generated by the low redshift galaxy cluster population was provided. However, as noted later by Gordon et al. (2007), those computations observed only the diagonal part of the Fourier peculiar velocity tensor vkivqj\langle v^{i}_{\mbox{\bf{k}}}v^{j\;*}_{\mbox{\bf{q}}}\rangle (where k and q are Fourier wave vectors and ii and jj refer to one of the three spatial components of the peculiar velocity vectors), neglecting all non-diagonal components. In Appendix A, we present a full sky computation considering all terms in this tensor, and find that the complete treatment introduces small changes to the results given in HVJS. The results of the Appendix are summarized here.

In brief, the second order statistic for the electron momentum (penevep_{e}\propto n_{e}v_{e}) is proportional to the quantity ne,1ve,1ne,2ve,2\langle n_{e,1}v_{e,1}n_{e,2}v_{e,2}\rangle. If ne,in_{e,i} is constant, then it simplifies to n¯e2ve,1ve,2{\bar{n}}_{e}^{2}\langle v_{e,1}v_{e,2}\rangle, and this is the vvvv term. Furthermore, it is possible that nen_{e} is driven by Poissonian statistics, in which case ne,1ve,1ne,2ve,2neve,1ve,2\langle n_{e,1}v_{e,1}n_{e,2}v_{e,2}\rangle\propto n_{e}\langle v_{e,1}v_{e,2}\rangle (Poisson term). If however ne,in_{e,i} is correlated to the velocity field, then one must use the cumulant expansion theorem, and three new terms arise, of which one is positive, another one is zero and the third one is negative. In all cases, the correlation function C(n^1,n^2)C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) for each term can be written as Fourier integrals over some wave vector k of functions with an angular dependence of either the type (k^n^1)(k^n^2)(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}) or (n^1n^2)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). Those contributions with (k^n^1)(k^n^2)(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}) type dependence will give negligible contribution at the small scales, i.e., the corresponding angular power spectrum multipoles ClC_{l} will go to zero as the multipole ll grows. In this limit, only the contributions with the (n^1n^2)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}) type angular dependence will survive. Let us consider the above more carefully in case by case basis.

2.1 The linear terms

If the electron density is constant, then kSZ/OV effect is linear and the corresponding power spectrum will contribute to the total with a term that we shall name as vv. The amplitude of the vv term is given by

Clvv=(2π)dkk2Pm(k)k2×C_{l}^{vv}=\left(\frac{2}{\pi}\right)\int dk\;k^{2}\;\frac{P_{m}(k)}{k^{2}}\;\times
((l+1)2(2l+1)2l+1,1vvl+1,2vv(l+1)l(2l+1)2l+1,1vvl1,2vv\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}^{vv}_{l+1,1}{\cal I}^{vv}_{l+1,2}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{vv}_{l+1,1}{\cal I}^{vv}_{l-1,2}
(l+1)l(2l+1)2l1,1vvl+1,2vv+l2(2l+1)2l1,2vvl1,2vv).\phantom{xxxxxx}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{vv}_{l-1,1}{\cal I}^{vv}_{l+1,2}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}^{vv}_{l-1,2}{\cal I}^{vv}_{l-1,2}\biggr{)}. (3)

In this equation, the terms l,ivv{\cal I}_{l,i}^{vv} correspond to the projection on multipole ll of the line of sight integrals of the redshift dependent source term that includes the growth factor of the peculiar velocities 𝒟v(z){\cal D}_{v}(z) and the average Thomson visibility function τT˙exp(τT)\dot{\tau_{T}}\exp{(-\tau_{T})} (with τT˙=σTn¯ea(z)\dot{\tau_{T}}=\sigma_{T}\bar{n}_{e}\;a(z) the Thomson opacity, dependent on the Thomson cross section, the average electron density (nen_{e}) and the scale factor a(z)a(z)). The label ii refers to different lines of sight n^i\hat{\mbox{\bf{n}}}_{i}, i=1,2i=1,2. The linear peculiar velocity growth factor 𝒟v{\cal D}_{v} can be expressed in terms of the linear density growth factor (𝒟δ{\cal D}_{\delta}),

𝒟vH(z)|d𝒟δdz|,{\cal D}_{v}\equiv H(z)\biggl{|}\frac{d{\cal D}_{\delta}}{dz}\biggr{|}, (4)

and 𝒟δ(z){\cal D}_{\delta}(z) is expressed in terms of the integral

𝒟δ(z)H(z)zdza2(z)H(z),{\cal D}_{\delta}(z)\propto H(z)\int_{z}^{\infty}\frac{dz}{a^{2}(z)H(z)}, (5)

with H(z)H(z) the Hubble function and 𝒟δ{\cal D}_{\delta} normalized to 𝒟δ(z=0)=1{\cal D}_{\delta}(z=0)=1 .The spatial clustering properties of the peculiar velocity field are encoded in the integral of the velocity power spectrum, which is proportional to P(k)/k2P(k)/k^{2} (P(k)P(k) is linear matter power spectrum). Provided that all lines of sight are statistically equivalent and for high ll there exists an asymptotic value for the spherical Bessel functions jl(x)j_{l}(x), it is easy to find that at the small scales the vvvv term vanishes, i.e.,

limlClvv=0.\lim_{l\rightarrow\infty}C_{l}^{vv}=0. (6)

This term is linear, and is therefore present in standard Boltzmann codes like CMBFAST or CAMB.

In the case of halo induced kSZ, the discrete nature of halos introduces a different type of anisotropy. The actual amplitude of the kSZ is proportional to the number of halos present along the line of sight, therefore kSZ fluctuations obey Poisson statistics in this case. The variance of the number of objects is proportional to its mean, and so the angular power spectrum is also linear in the average halo number density. The Poisson term has two contributions, Cl,APC_{l,A}^{P} and Cl,BPC_{l,B}^{P}. The first one is

Cl,AP=(2π)k2dk𝒥1(k)×C_{l,A}^{P}=\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal J}_{1}(k)\;\times
(l+12l+1l+1,1Pl+1,2P+l2l+1l1,1Pl1,2P),\phantom{xxxxxxxx}\biggl{(}\frac{l+1}{2l+1}{\cal I}^{P}_{l+1,1}{\cal I}^{P}_{l+1,2}+\frac{l}{2l+1}{\cal I}^{P}_{l-1,1}{\cal I}^{P}_{l-1,2}\biggr{)}, (7)

and it does not vanish on the small scales when both lines of sight are statistically equivalent, although it will drop to zero in the angular range that goes well beyond the typical halo profile (halos are assumed to have no substructure,

The function 𝒥1(k){\cal J}_{1}(k) is an angular integral involving the window functions from the Fourier transform of the halo profile and the matter power spectrum. The terms l,iP{\cal I}_{l,i}^{P} express the multipole integral along the line of sight the visibility function and the velocity growth. They are proportional to nh\sqrt{n_{h}} (nhn_{h} is the halo number density), so that their product is linear in the halo density, as Poisson statistics requires. On the other hand, the term Cl,BPC_{l,B}^{P} reads

Cl,BP=(2π)k2dk𝒥2(k)×C_{l,B}^{P}=\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal J}_{2}(k)\times
((l+1)2(2l+1)2l+1,1Pl+1,2P(l+1)l(2l+1)2l+1,1Pl1,2P\phantom{x}\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}^{P}_{l+1,1}{\cal I}^{P}_{l+1,2}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{P}_{l+1,1}{\cal I}^{P}_{l-1,2}
(l+1)l(2l+1)2l1,1Pl+1,2P+l2(2l+1)2l1,2Pl1,2P).\phantom{xxxxx}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{P}_{l-1,1}{\cal I}^{P}_{l+1,2}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}^{P}_{l-1,2}{\cal I}^{P}_{l-1,2}\biggr{)}. (8)

This term vanishes again at high ll-s,

limlCl,BP=0,\lim_{l\rightarrow\infty}C_{l,B}^{P}=0, (9)

so in this multipole regime ClPCl,APC_{l}^{P}\rightarrow C_{l,A}^{P}. The function 𝒥2(k){\cal J}_{2}(k) is another kk dependent function similar to 𝒥1(k){\cal J}_{1}(k).

2.2 The second order terms

Both the vvvv and the Poisson terms above are linear, and hence their angular power spectra are proportional to the linear scalar power spectrum (although we prefer to write them in terms of the linear matter power spectrum). Second order terms involve the product of density and peculiar velocity, and thus resulting angular power spectra contain terms that can be interpreted as convolutions of the initial scalar power spectrum. In the Appendix, we demonstrate that three different terms of this nature arise, namely the v1d1v2d2v_{1}d_{1}-v_{2}d_{2} term, the v1v2d1d2v_{1}v_{2}-d_{1}d_{2} term and the v1d2v2d1v_{1}d_{2}-v_{2}d_{1} term. (The integer subscript here denotes one of the two lines of sight). The first one turns out to give zero contribution, so for simplicity we shall refer to the latter two as the vvddvv-dd and vdvdvd-vd terms, respectively.

The vvddvv-dd term comes from two contributions,

Clvvdd=Cl,Avvdd+Cl,Bvvdd.C_{l}^{vv-dd}=C_{l,A}^{vv-dd}+C_{l,B}^{vv-dd}. (10)

The Cl,AvvddC_{l,A}^{vv-dd} term reads

Cl,Avvdd=(2π)k2dk𝒜(k)×C_{l,A}^{vv-dd}=\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal A}(k)\;\times
[l+1,1vvdd((l+1)2(2l+1)2l+1,2vvddl(l+1)(2l+1)2l1,2vvdd)+\biggl{[}{\cal I}_{l+1,1}^{vv-dd}\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}_{l+1,2}^{vv-dd}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vv-dd}\biggr{)}+
l1,1vvdd(l(l+1)(2l+1)2l1,2vv.dd+l2(2l+1)2l1,2vvdd)],\phantom{xxxxx}{\cal I}_{l-1,1}^{vv-dd}\biggl{(}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vv.dd}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vv-dd}\biggr{)}\biggr{]}, (11)

and, as the vvvv term above, it vanishes on the small scales. The expression for Cl,BvvddC_{l,B}^{vv-dd} is

Cl,Bvvdd=(2π)k2dk(k)×C_{l,B}^{vv-dd}=\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal B}(k)\;\times
[l+1,1vvddl+1,2vvddl+12l+1+l1,1vvddl1,2vvddl2l+1],\phantom{xxxxx}\biggl{[}{\cal I}_{l+1,1}^{vv-dd}{\cal I}_{l+1,2}^{vv-dd}\frac{l+1}{2l+1}+{\cal I}_{l-1,1}^{vv-dd}{\cal I}_{l-1,2}^{vv-dd}\frac{l}{2l+1}\biggr{]}, (12)

and dominates the contribution to ClvvddC_{l}^{vv-dd} at high multipoles. Contrary to 𝒥1(k),𝒥2(k){\cal J}_{1}(k),{\cal J}_{2}(k) above, the functions 𝒜(k){\cal A}(k) and (k){\cal B}(k) are angular integrals involving the convolution of two matter power spectra, apart from the window functions from Fourier transform of the halo profile. The terms l,ivvdd{\cal I}_{l,i}^{vv-dd} provide the line of sight integral on multipole ll of the visibility function, the matter bias factor (matter bias factor is set to unity unless when we are considering halos) and the growth factors of density and velocities, respectively.

The term ClvdvdC_{l}^{vd-vd} is very similar to ClvvddC_{l}^{vv-dd}: it is built upon two different contributions,

Clvdvd=Cl,Avdvd+Cl,Bvdvd,C_{l}^{vd-vd}=C_{l,A}^{vd-vd}+C_{l,B}^{vd-vd}, (13)

and the first one also vanishes on the small scales, as can be see from this expression when we go to large ll:

Cl,Avdvd=(2π)k2dk𝒞(k)×C_{l,A}^{vd-vd}=\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal C}(k)\times
[l+1,1vdvd((l+1)2(2l+1)2l+1,2vdvdl(l+1)(2l+1)2l1,2vdvd)+\phantom{xx}\biggl{[}{\cal I}_{l+1,1}^{vd-vd}\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}_{l+1,2}^{vd-vd}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vd-vd}\biggr{)}+
l1,1vdvd(l(l+1)(2l+1)2l1,2vdvd+l2(2l+1)2l1,2vdvd)].\phantom{xxxxx}{\cal I}_{l-1,1}^{vd-vd}\biggl{(}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vd-vd}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vd-vd}\biggr{)}\biggr{]}. (14)

The second contribution is given by

Cl,Bvdvd=(2π)k2dk(𝒟(k))×C_{l,B}^{vd-vd}=\left(\frac{2}{\pi}\right)\int k^{2}dk\;(-{\cal D}(k))\;\times
[l+1,1vdvdl+1,2vdvdl+12l+1+l1,1vdvdl1,2vdvdl2l+1].\biggl{[}{\cal I}_{l+1,1}^{vd-vd}{\cal I}_{l+1,2}^{vd-vd}\frac{l+1}{2l+1}+{\cal I}_{l-1,1}^{vd-vd}{\cal I}_{l-1,2}^{vd-vd}\frac{l}{2l+1}\biggr{]}. (15)

The functions 𝒞(k){\cal C}(k) and 𝒟(k){\cal D}(k) are again angular integrals which contain the convolution of two power spectra, spherical Bessel functions and window functions associated with the size of the regions where peculiar velocities are measured.

3 Gas in halos versus gas in the IGM

Refer to caption
Figure 1: Top: Opacities in a WMAP V Universe due to a smooth distribution of electrons (solid line), all halos more massive than 5×105h1M5\times 10^{5}h^{-1}M_{\odot} (dotted line) and all halos more massive than 5×1013h1M5\times 10^{13}h^{-1}M_{\odot} (dashed line). Bottom: Thin lines refer to the M>5×105h1MM>5\times 10^{5}h^{-1}M_{\odot} halo population, thick lines to M>5×1013h1MM>5\times 10^{13}h^{-1}M_{\odot}. Dotted lines: Bias factor evolution versus redshift. Solid lines: Volume fraction filled by each halo population. Dashed lines: Product of volume fraction times electron overdensity (with respect to background).

Before we show the amplitudes of the OV/kSZ power spectra presented in the previous section, we compare the effect of Thomson scattering as it arises in collapsed halos to the OV generated in the intergalactic medium (IGM). It is relevant to understand under which conditions would collapsed gas in halos contribute more in terms of CMB angular anisotropies than the gas in the IGM. In both scenarios, Thomson scattering introduces anisotropies according to

δTT0(n^)=𝑑ητT˙(vn^c),\frac{\delta T}{T_{0}}(\hat{\mbox{\bf{n}}})=\int d\eta\;\dot{\tau_{T}}\left(-\frac{\mbox{\bf{v}}\cdot\hat{\mbox{\bf{n}}}}{c}\right), (16)

where we have approximated the Thomson visibility function Λ=τT˙exp(τT)\Lambda=\dot{\tau_{T}}\exp{(-\tau_{T})} by the opacity, ΛτT˙\Lambda\simeq\dot{\tau_{T}}, since τT\tau_{T} is 0.09\sim 0.09 in the redshift regime of interest (Hinshaw et al., 2008).

We assume that the peculiar velocity of gas with respect to the CMB is very similar for both gas in IGM and halos, the comparison of the OV and kSZ effects must then be focused on the optical depths, i.e., in the line of sight integral of τT˙\dot{\tau_{T}} in each case. As shown in HVJS, the effective opacity generated in halos at a given epoch is given by

τ˙Thalo(z)=𝑑MdndMτ˙T,halo(M,z)V(M,z)=\langle\dot{\tau}_{T}\rangle_{halo}(z)=\int dM\;\frac{dn}{dM}\dot{\tau}_{T,halo}(M,z)V(M,z)=
𝑑Mτ˙T,halo(M,z)fvol(M,z),\phantom{xxxxxxx}\int dM\;{\dot{\tau}}_{T,halo}(M,z)f_{vol}(M,z), (17)

where dn/dMdn/dM is the halo mass function (we choose Sheth and Tormen (ST, Sheth & Tormen, 1999), V(M,z)V(M,z) is the proper volume occupied by gas in those halos, and τ˙T,halo(M,z)\dot{\tau}_{T,halo}(M,z) is the opacity generated by a halo of mass MM at redshift zz. The effect is in the end sensitive to the total number of electrons in a given halo population, and can be expressed by the average halo optical depth times the volume fraction of halos.

The halo population opacity can be compared directly to the opacity associated to the smooth distribution of all electrons. The top panel of Figure (1) displays the opacity in three scenarios: (i) a smooth distribution of electrons (solid line)111We assume a sudden reionization model within WMAP V cosmology, for which τT=0.084±0.016\tau_{T}=0.084\pm 0.016 and zreio=10.8±1.4z_{reio}=10.8\pm 1.4, (ii) electrons within all halos of mass greater than 5×1013h1M5\times 10^{13}h^{-1}M_{\odot} (dashed line), and (iii) electrons within all halos of mass greater than 5×105h1M5\times 10^{5}h^{-1}M_{\odot} (dotted line). The most massive halo population provides a very low opacity due to the small amount of cosmological volume it takes. The latter halo population contains almost all the electrons in the Universe, and therefore its opacity is very close to the one in case (i)222According to the halo model, all mass in the Universe must be found in collapsed halos.

We have ignored the effect of the bias until now. Dark matter halos can either be biased or anti-biased tracers of the underlying matter distribution, and we need to include the bias factor when we compute the angular anisotropies. In the bottom panel of Figure (1) the bias factors for the two halo populations considered (M>5×105h1MM>5\times 10^{5}h^{-1}M_{\odot} and M>5×1013h1MM>5\times 10^{13}h^{-1}M_{\odot}) are shown by the dotted thin and dotted thick lines, respectively. These bias factors were computed by using the expressions of Mo & White (1996), and integrating them with the ST mass function:

b(z)𝑑MdndMb(M,z)/𝑑MdndM.b(z)\equiv\int dM\frac{dn}{dM}\;b(M,z)\bigg{/}\int dM\frac{dn}{dM}. (18)

Although at high redshifts bias factors grow above unity, the volume fraction occupied by the halo population are very low: this is shown by bottom solid lines, (thin line for M>5×105h1MM>5\times 10^{5}h^{-1}M_{\odot}, thick line for M>5×1013h1MM>5\times 10^{13}h^{-1}M_{\odot}). The volume fraction is so low that it cannot be compensated by gas overdensity within halos: the product of gas overdensity and the volume fraction is below unity at all redshifts (as shown by the thin (M>5×105h1MM>5\times 10^{5}h^{-1}M_{\odot}) and thick (M>5×1013h1MM>5\times 10^{13}h^{-1}M_{\odot}) dashed lines). The thin solid green line shows the level of unity.

According to these results, it seems that the anisotropy due to halos will always be below the level of anisotropy induced by a smooth and continuous distribution of electrons. There are however two caveats: (i) Halos might show bias in their peculiar velocities, although this is unlikely to change the picture by more than a 30%-40% (Peel, 2006), (ii) on the small scales, halos follow Poissonian statistics, and this will add a considerable amount of anisotropy, as we shall see below. These results differ from previous works (e.g., Hu, 2000; Castro, 2003) where the power spectrum for kSZ in non linear structures had been computed. In previous works, the matter power spectrum was simply replaced by the non linear power spectrum, but no changes were introduced in the related opacity. No attention was paid to the Poisson term either, which, in the case of halos, turns out to be dominant. This difference must be motivated by the fact that, they were computing the combined effect of both linear and non-linear density perturbations at high redshift. Here we try to separate the OV contribution from the one generated in halos, and the contribution to the latter arises mostly at low (z<2z<2) redshift.

4 The Power Spectrum of the OV/kSZ effect

4.1 Normalization to WMAP observations

The WMAP satellite has provided all sky measurements of the temperature and polarization anisotropies of the CMB (Hinshaw et al., 2008). This fluctuation field is so small that should provide a normalization for the linear level of departure from perfect anisotropy (higher order contributions should be negligible). On the large scales, the theory predicts that the CMB temperature anisotropies must caused mainly by two physical phenomena: gravitational redshift/blueshift of CMB photons due to the passage through different (and eventually evolving) gravitational potentials, and Thomson scattering induced by free electrons during and after reionization. This theory predicts the relative weight of these two contributions, and WMAP measurements constitute accurate measurements of the combined effect of these two contributions. Therefore, if the theory is correct, by using WMAP observations it is possible to estimate the amplitude of each of the two contributions dominating at the large angular scales. In particular, WMAP data can be used to normalize the level of anisotropies generated by Thomson scattering during and after reionization.

Refer to caption
Figure 2: Comparison of the WMAPV-normalized prediction of the vvvv term by CMBFAST (solid line) with our computation (red filled circles).

In Figure (2), the black solid line displays the vvvv term which accounts for the Thomson scattering contribution to the low ll CMB anisotropy, (see Equation (3)). This has been produced by feeding the cosmological parameter set given for WMAPV+SNALL+BAO 333See http://lambda.gsfc.nasa.gov/product/map/dr3/params to a modified version of CMBFAST. This code provides both the total amplitude of the angular power spectrum and the ClvvC_{l}^{vv} term. The total power spectrum was normalized to fit WMAPV observations, and the vvvv term was scaled accordingly. As shown by the solid line in Figure (2), the maximum of the vvvv angular band power spectrum is reached at l2030l\sim 20-30, with an amplitude close to 22\sim 22 (μK)2(\mu K)^{2}. Note that here power spectrum amplitudes are given in terms of quantity 𝒟ll(l+1)Cl/(2π){\cal D}_{l}\equiv l(l+1)C_{l}/(2\pi). The filled red circles display the result of our computation of Equation (3): the accurate computation of this term is particularly difficult, since at large ll’s it drops to zero as the vanishing difference of several integrals. Small numerical errors in the computation of these integrals introduce some scatter with respect to the CMBFAST prediction, but only at moderate and high ll’s. For l<100l<100, the accuracy of our code is better than 8%, and we should expect a similar or better level of accuracy for all other terms which do not vanish as the vvvv term, (we remark that all other terms become dominated at high ll’s by at least a non-vanishing contribution). Note that this comparison allows us normalize the output of our code not only for the linear predictions,but also for the second order predictions of vvddvv-dd and vdvdvd-vd. Therefore, with the exception of the percent level uncertainty of our integrals, all sources of uncertainties are associated to the modeling of the mass function, the bias factor and the halo profile description.

4.2 Results

Refer to caption
Figure 3: Angular power spectra of the OV/kSZ effect in μK\mu K units, (𝒟l1/2l(l+1)Cl/(2π){\cal D}^{1/2}_{l}\equiv\sqrt{l(l+1)C_{l}/(2\pi)}). The red filled circles provide the difference in amplitudes between the vvddvv-dd and the vdvdvd-vd term, since the latter is negative. Left panel: Anisotropy amplitude generated by a smooth distribution of electrons during and after reionization (OV effect). Middle panel: First and second order kSZ amplitude generated a cluster population with M>2×1014h1MM>2\times 10^{14}\;h^{-1}M_{\odot}. Right panel: First and second order kSZ amplitude generated by a cluster population with M>5×105h1MM>5\times 10^{5}\;h^{-1}M_{\odot}.

The amplitude of the OV/kSZ power spectra in different scenarios are displayed in Figure (3). Note that 𝒟l1/2=l(l+1)Cl/(2π){\cal D}_{l}^{1/2}=\sqrt{l(l+1)C_{l}/(2\pi)} in μK\mu K. The left panel considers all electrons in a diffuse and continuous phase, and should be a fair description of the electron distribution during reionization. This case adopts the opacity displayed by the thick solid line in the top panel of Figure (1), for which the anisotropy is mostly generated at z610z\sim 6-10. The linear vvvv term we use to calibrate the amplitude of the fluctuations peaks at 45\sim 4-5 μK\mu K for l1020l\sim 10-20, but then drops rapidly for l>100l>100. On the contrary, the sum of the vvddvv-dd and vdvdvd-vd terms (which corresponds to what is commonly understood as the OV effect) becomes dominant at l200l\sim 200, and shows a rather flat pattern on the small scales. The OV term crosses the linear power spectrum generated during recombination at l4,000l\sim 4,000, with an amplitude between 121-2 μK\mu K. Provided that there is no way to spectrally distinguish the power due to OV during reionization from the power originated at the last scattering surface, the crossover of the OV over the linear power spectrum is particularly significant, since it provides a direct observable of the reionization epoch. Its amplitude is within the nominal sensitivity of third generation CMB experiments like ACT (Fowler & ACT Collaboration, 2006) or SPT (Ruhl et al., 2004).

Indeed, the amplitude of the OV effect is considerably higher than the amplitude corresponding to the vvddvv-dd and vdvdvd-vd terms generated by halos. It is well above the anisotropy level generated by the galaxy cluster population which experiments like ACT and SPT are targeting (M>2×1014h1MM>2\times 10^{14}\;h^{-1}M_{\odot}, middle panel in Figure (3)). Even for M>5×105h1MM>5\times 10^{5}\;h^{-1}M_{\odot}, the second order kSZ terms lie about one order of magnitude below the OV contribution at l3,000l\sim 3,000 (which translates into two order of magnitudes in the power spectrum). This proves that most of the power of the OV is actually generated at high redshifts, since the OV contribution from low redshifts is well sampled by the kSZ corresponding to masses M>5×105h1MM>5\times 10^{5}\;h^{-1}M_{\odot} (note that the opacities of the OV and the kSZ for this halo population are very similar at low zz, say, at z<1z\sim<1, see Figure (1)). The difference in the amplitudes of the OV and halo kSZ contributions can therefore be assigned to z>1z>1.

However, by looking at the right panel of Figure (3) it becomes clear that in order to distinguish the high-z OV contribution from the low-z kSZ halo contribution one must take into account the Poisson term.This can be achieved by masking out all massive, clearly detected halos: after removing the Poisson contribution from clusters above 2×1014h1M2\times 10^{14}\;h^{-1}M_{\odot}, the Poisson term shown in the right panel of Figure (3) drop by a 40\sim 40%, which, according to our computations, should be below the OV level. We must note that the halo peculiar velocities assumed here are close to the linear limit (we have introduced only a mild bias of 30%),but reality might be very different due to the presence of thermal, non linear velocities which would boost the kSZ amplitudes in halos. However, to this point, there is very little observational evidence for these non-linear component (as well as for the linear one).

5 Prospects for detecting bulk flows/missing baryons in future CMB data

Refer to caption
Figure 4: S/N achieved by cross correlating a kSZ/peculiar velocity template with an all sky CMB map. The kSZ template is built with estimates of peculiar motions in all clusters more massive than 2×1014h1M2\times 10^{14}h^{-1}M_{\odot}. Dashed line refers to the case in which cluster are included in the cross-correlation analysis, whereas solid lines display the case where known halos are masked on the CMB maps, so that only gas outside clusters contributes to the cross-correlation. Black line refers to an ACT-like experiment, red line refers to an experiment with the sensitivity and angular resolution of Planck’s 217 GHz channel. Filled triangles (squares) refer to an ACT-like experiment covering 10,000 (2,000) square degrees. The three panels refer to different survey depths: zmax=0.7z_{max}=0.7 (left), zmax=0.9z_{max}=0.9 (center), and all zz (right).

Of all kSZ terms shown in Figure (3), one of the easiest to observe is the Poisson term at l2,0003,000l\sim 2,000-3,000. Its amplitude is almost as high as the combination of the vvddvv-dd and vdvdvd-vd terms from the OV and more importantly, it is associated with massive halos that can be identified at other frequencies. Nevertheless, one must note that measuring the kSZ Poisson term at positions of galaxy clusters does not properly test the theoretical predictions of the model on the bulk flows. This term is sensitive to the average velocity dispersion of those objects (which is likely to be contaminated by non-linear contributions) but tells nothing about the spatial correlations of the peculiar velocity field.

In the context of the standard model, it was shown in HVJS that typical correlation lengths for bulk flows are about 20 – 40 h1h^{-1}Mpc in comoving units. This means that all electrons within a sphere of radius from 2020-4040 h1h^{-1}Mpc share a similar peculiar velocity. If this is an accurate description of reality, then one can use the kSZ detected in the most massive halos as a template for the peculiar velocity field in their surroundings. This idea was used in Hernández-Monteagudo & Sunyaev (2008) to track the missing baryons by kSZ – E polarization mode cross-correlation, and can also be applied in this context. Let us assume that future high resolution CMB experiments provide accurate measurements of the kSZ in halos more massive than, say, 2×1014h1M2\times 10^{14}\;h^{-1}M_{\odot}, so that a template of the kSZ on the sky (hereafter MkSZ\mbox{\bf{M}}_{kSZ}) can be built. If this template is then cross-correlated with the CMB sky (hereafter TCMB\mbox{\bf{T}}_{CMB}), then not only does signal come from the known clusters, but also from the surrounding gas. Fundamental sources of noise for this cross-correlation are, to first order, the primordial CMB fluctuations and the instrumental noise (which usually becomes relevant on the scales of the PSF). This cross-correlation can be picked-up via a matched filter (MF) approach,

α=TCMBtC1MkSZMkSZtC1MkSZ,\alpha=\frac{\mbox{\bf{T}}_{CMB}^{t}\mbox{\bf{C}}^{-1}\mbox{\bf{M}}_{kSZ}}{\mbox{\bf{M}}_{kSZ}^{t}\mbox{\bf{C}}^{-1}\mbox{\bf{M}}_{kSZ}}, (19)

where the CMB signal is assumed to intrinsically contain some kSZ component proportional to the kSZ template, i.e., αMkSZ\alpha\mbox{\bf{M}}_{kSZ}. The covariance matrix C contains the noise sources (namely primordial CMB and instrumental noise). The signal to noise ratio (S/N) of this cross correlation is given by

SN=TCMBtC1MkSZMkSZtC1MkSZ.\frac{S}{N}=\frac{\mbox{\bf{T}}_{CMB}^{t}\mbox{\bf{C}}^{-1}\mbox{\bf{M}}_{kSZ}}{\sqrt{\mbox{\bf{M}}_{kSZ}^{t}\mbox{\bf{C}}^{-1}\mbox{\bf{M}}_{kSZ}}}. (20)

If the kSZ template is written in multipole space, then the last equation on the S/N can be written for each multipole ll. In this basis, the covariance matrix C is diagonal for white instrumental noise NlN_{l}, (C)l,l=(ClCMB+Nl)δl,l(\mbox{\bf{C}})_{l,l^{\prime}}=(C_{l}^{CMB}+N_{l})\delta_{l,l^{\prime}}, and Equation (20) reads

(SN)l=(2l+1)(Cl,kSZh,h+Cl,kSZh,OV)(ClCMB+Nl)1(2l+1)Cl,kSZh,h(ClCMB+Nl)1.\left(\frac{S}{N}\right)_{l}=\frac{(2l+1)\left(C_{l,kSZ}^{h,h}+C_{l,kSZ}^{h,OV}\right)\left(C_{l}^{CMB}+N_{l}\right)^{-1}}{\sqrt{(2l+1)C_{l,kSZ}^{h,h}\left(C_{l}^{CMB}+N_{l}\right)^{-1}}}. (21)

For non-full sky coverage (fsky<1f_{sky}<1), there are not (2l+1)(2l+1) degrees of freedom per multipole ll, but roughly (2l+1)fsky(2l+1)f_{sky}. In this case, the last equation should be multiplied by fsky1/2f_{sky}^{1/2}. The term Cl,kSZh,hC_{l,kSZ}^{h,h} accounts for the halo-halo kSZ auto-correlation (i.e., the Poisson, vvvv, vvddvv-dd and vdvdvd-vd terms), whereas Cl,kSZh,OVC_{l,kSZ}^{h,OV} expresses the cross-correlation between the kSZ induced in halos and the OV generated by the continuous electron distribution on the large scales (i.e., mostly outside halos). This cross-power spectrum can be easily computed by introducing, in our angular cross-correlation function C(n^1,n^2)C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}), the halo visibility function in the loslos integrals l{\cal I}_{l}-s along direction n^1\hat{\mbox{\bf{n}}}_{1}, and the OV visibility function along direction n^2\hat{\mbox{\bf{n}}}_{2}, (see Appendix). It is worth to stress that in this case there is no contribution from the Poisson term, since this term appears exclusively for the halo auto correlation. If we are searching for the kSZ signal of the gas outside halos, one should mask the known clusters, which is equivalent to dropping the Cl,kSZh,hC_{l,kSZ}^{h,h} term in the numerator of Equation (21).

The result of adding all the S/N below a given multipole ll is shown in Figure (4). Black lines refer to an ACT-SPT like all-sky CMB experiment with a sensitivity level of 1μK\sim 1\mu K per resolution element of 1\sim 1 arcmin. The red color lines (both solid and dashed) display results for (all sky, fsky=1f_{sky}=1) Planck’s HFI 217 GHz channel. If kSZ clusters are not masked, then the cross-correlation test yields a very high S/N, as displayed by the dashed lines. Instead, if known kSZ clusters are masked, then the S/N drops to a level than only an ACT-SPT type CMB experiment would be able to detect it, since it mostly comes from the small angular scales. This is shown by the solid lines, which depict the ideal case of full sky coverage (fsky=1f_{sky}=1). On the contrary, filled triangles and squares refer to an ACT-SPT type experiment covering 2,000 and 10,000 square degrees, respectively. We see that these scenarios lie in the limit of detectability.

The latter case describes the situation in which kSZ measurements in galaxy clusters are used to build the kSZ template and search for the baryons in the IGM. The requirements on the sky coverage, angular resolution and instrumental sensitivity are demanding if a kSZ detection of the missing baryons is to be provided. Since the OV is mostly generated at moderately high redshifts, so if the cluster sample does not extend deep enough, then the S/N drops accordingly (different survey depths are considered in the different panels of Figure (4)). Note that we do not expect to find massive clusters at high (say z>4z>4) redshifts.

If kSZ measurement in halos are not available, it has been suggested by Ho, Dedeo & Spergel (2009) that kSZ templates may be built from the large scale matter distribution. Present reconstruction algorithms like e.g., ARGO (Kitaura & Enßlin, 2008) seem to reconstruct peculiar velocities accurately in scales of interest. This velocity field reconstruction could be an additional way to obtain the kSZ templates, and to detect the kSZ in clusters. In this case the S/N is much higher (dashed lines), and there is no need to have deep surveys: most of the S/N of the angular cross-correlation is coming from the Poisson term. This term does not depend critically on depth, but simply relies on the discrete nature of halos. However, since the kSZ template would be a prediction of the model based upon the large scale structure observations, this exercise would still provide a test for the cosmological theory of bulk flows.

6 Discussion

Our formalism allows us to study consistently the OV/kSZ temperature anisotropies introduced by both the gas collapsed in halos and the gas present in the IGM, regardless of the redshift range of relevance in each case. Our computations differ from previous ones in mainly two aspects: (i) ours are full sky calculations, where no flat sky/Limber approximation have been invoked and therefore predictions apply to all multipole range, and (ii) the kSZ computations take into account the fact that halos above a given mass threshold host only a fraction of the total mass, and hence the amplitude of the kSZ they give rise to is limited. Indeed, even after accounting for the enhanced clustering of the massive halo population, we find that the kSZ generated by groups and clusters is below the OV anisotropies produced during and shortly after reionization. Only the Poisson term induced by the halo population reaches an amplitude that is comparable to the OV vvddvv-dd term, although it should be possible to partially remove it by masking out the most massive halos. By excising all halos above 2×1014h1M2\times 10^{14}h^{-1}M_{\odot}, the Poisson term should drop by a \sim40 % (in the linear units of Figure (3)). Distinguishing these two contributions may be a relevant issue, since the kSZ is mostly generated at low redshifts (z<34z<3-4), whereas the OV is one of the very few existing probes of the reionization epoch (z[5,12]z\in[5,12]). This gives significance to the cross-over of the total OV power (red filled circles in the left panel of Figure 3) above the intrinsic linear CMB power spectrum at l4,000l\sim 4,000. We remark that this OV computation is merely second order perturbation theory, and since the linear level of perturbations has been normalized via, e.g. WMAP observations, there are no free parameters for our (second order) OV predictions. Nevertheless, our computations do not observe patchy reionization, that is, the extra amount of anisotropy introduced by a non fully ionized IGM at z>10z>10. Zahn et al. (2005) claim that this phase of reionization should introduce fluctuations comparable in amplitude to the OV, and this would provide further relevance to the study of the anisotropies in these angular scales.

This work is also motivated by the search of the missing baryons via their peculiar motions with respect to the CMB. If predictions from linear theory are correct, the baryons should comoving on scales of 20 – 40 h1h^{-1}Mpc, and hence the kSZ pattern generated in clusters and groups of galaxies should be very similar to that generated by the surrounding gas, and can be used to probe the latter. However, it is not clear yet to what extent kSZ measurements in future CMB surveys like ACT or SPT will be contaminated by the intrinsic CMB and point source emission. In the ideal scenario in which errors in the kSZ estimates are unimportant for all clusters more massive than 2×1014h1M2\times 10^{14}h^{-1}M_{\odot}, then it is clear that the signature of missing baryons can be unveiled if the linear theory predictions on bulk flows are correct. One can consider to combine them with peculiar velocity field reconstructions obtained from LSS surveys, in which accuracy would be required at relatively large scales (10–20 h1h^{-1}Mpc). It should be noted that estimates of the kSZ would be needed for each bulk flow, and this can be achieved by combining kSZ/peculiar velocity estimates from different halos belonging to the same filament/supercluster.

Our predictions have larger uncertainties in the kSZ case than in the OV case. We have assumed a Sheth-Tormen mass function for the halo abundance versus mass and redshift. We also model their physical size and their gas profile, and more importantly, we have adopted the Mo & White prescription for their clustering bias. When comparing our results with previous works, we find that our kSZ power spectra are at the level of Schäfer et al. (2006) both in shape and amplitude: when imposing the same mass threshold (M>5×1013h1)MM>5\times 10^{13}h^{-1})M_{\odot}, our kSZ power spectrum is within a factor of 2, despite our different choice for σ8\sigma_{8}, (0.817 versus 0.9). Further, we are introducing an effective bias for the halo velocities of 1.3, while it is not clear to us how close are halo peculiar velocities compared to linear theory expectations in the simulation they used. As Schäfer et al. (2006) pointed out, there may be a significant amount of extra kSZ power at smaller scales due to the presence of sub-structure within the halos, (Springel et al., 2001). This could partially be avoided by smoothing the signal within the halo solid angle, although part of this excess could be associated to a thermal (non-linear) component of halo velocities. The addition of all this extra power could have an impact on the S/N estimations of Figure (4), which increases significantly at high ll-s. A lower mass for the kSZ estimation would then be required in order to achieve the same S/N limit. However, despite all these sources of uncertainty, we conclude that future kSZ and LSS surveys would shed some light in the problematic of missing baryons and bulk flows in the late universe.

7 Conclusions

We have revisited the problem of the secondary anisotropies in the CMB introduced by the peculiar motion of baryons during and after reionization. We have addressed this problem in the context of the search for the missing baryons and the measurements of bulk flows at low redshifts. We have paid particular attention in distinguishing the different sources of anisotropy, according to their redshift, in an attempt to isolate the kSZ/OV generated by gas in filaments and superclusters at low redshift from its counterpart arising during reionization. For this purpose, we present the first all sky projection of the peculiar momentum of baryons from reionization to the present epoch. We consider two different scenarios: the OV generated by a smooth distribution of all electrons, and the kSZ generated by only those baryons located in collapsed structures.

The former provides the largest amplitude, and contributes mostly during reionization (z>6z>6). Since it corresponds to second order in perturbation theory, WMAP observations at the linear level already provide a normalization. Once those observations fix the set of cosmological parameters, the predictions at second order should also be fixed: the OV should cross over the intrinsic linear CMB temperature angular power spectrum at l4,000l\sim 4,000, with an amplitude close to 1.5μK1.5\;\mu K (for a sudden reionization scenario at zreio=10.8z_{reio}=10.8 and τ=0.084\tau=0.084). The amplitude of the OV should be above the angular anisotropy level induced by the kSZ in the halo population. The discrete character of halos (and the Poisson statistics associated to it) gives rise to angular fluctuations that constitute the main contaminant (in terms of kSZ/OV effects) to the signal generated during reionization. By masking out all halos more massive than 2×1014h1M2\times 10^{14}\;h^{-1}M_{\odot}, this Poisson term should drop to a level of 30%\sim 30\% of the OV amplitude, leaving room for this window to the reionization epoch.

The terms accounting for the velocity – velocity and velocity – density correlation of the halo population are well below the Poisson-induced anisotropy level, but are relevant since those terms express the correlation of velocities of halos with the velocities of the surrounding gas. We propose using kSZ estimates in halos (to be obtained by ACT or STP-type experiments) in order to build peculiar velocity templates to be cross-correlated to future CMB data. If the gas surrounding halos is co-moving with them as the theory predicts, then a signal should arise from this test even after masking the contribution from the halos on the CMB maps. An ACT or SPT-like CMB experiment covering 10,000 (2,000) square degrees should achieve a S/N of 5 (2.5). The detection of this cross-correlation would provide evidence for the presence of missing baryons in the late universe and confirm the predictions of the theory of cosmological bulk flows. In case there are no quality kSZ estimates at the halo angular positions, then, following Ho, Dedeo & Spergel (2009), it would also be possible to build peculiar velocity templates from future deep LSS surveys. These would provide an estimate of the density field that can be inverted (within our cosmological frame) into a peculiar velocity template. By cross-correlating this template with future CMB maps one should be able to detect the kSZ and bulk flows at high significance, if our understanding of cosmological bulk flows is correct. In summary, cross-correlation studies of future CMB and kSZ/LSS data becoming a promising tool in the characterization of bulk flows and missing baryons in the low redshift universe.

Acknowledgments

We thank D.N.Spergel for useful discussions. CHM acknowledges fruitful discussions with S.D.White.

References

  • Bhattacharya & Kosowsky (2008) Bhattacharya, S., & Kosowsky, A. 2008, Ph.Rv.D, 77, 083004
  • Bhattacharya & Kosowsky (2008b) Bhattacharya, S., & Kosowsky, A. 2008, Journal of Cosmology and Astro-Particle Physics, 8, 30
  • Castro (2003) Castro, P. G. 2003, Ph.Rv.D, 67, 123001
  • Dodelson & Jubas (1995) Dodelson, S., & Jubas, J. M. 1995, ApJ, 439, 503
  • Fowler & ACT Collaboration (2006) Fowler, J. W., & ACT Collaboration 2006, Bulletin of the American Astronomical Society, 38, 1227
  • Fukugita & Peebles (2004) Fukugita, M., & Peebles, P. J. E. 2004, ApJ, 616, 643
  • Grainge et al. (2003) Grainge, K., et al. 2003, MNRAS, 341, L23
  • Hernández-Monteagudo et al. (2006) Hernández-Monteagudo, C., Verde, L., Jimenez, R., & Spergel, D. N. 2006, ApJ, 643, 598
  • Hernández-Monteagudo et al. (2006) Hernández-Monteagudo, C., Trac, H., Verde, L., & Jimenez, R. 2006, ApJL, 652, L1
  • Hernández-Monteagudo & Sunyaev (2008) Hernández-Monteagudo, C., & Sunyaev, R. A. 2008, A& A, 490, 25
  • Hinshaw et al. (2008) Hinshaw, G., et al. 2008, arXiv:0803.0732
  • Ho, Dedeo & Spergel (2009) Ho, S., Dedeo, S., & Spergel, D.N.  2009, (in preparation)
  • Hu (2000) Hu, W. 2000, ApJ, 529, 12
  • Hu & Sugiyama (1995) Hu, W., & Sugiyama, N. 1995, Ph.Rv.D, 51, 2599
  • Hinshaw et al. (2008) Hinshaw, G., et al. 2008, ArXiv e-prints, 803, arXiv:0803.0732
  • Gordon et al. (2007) Gordon, C., Land, K., & Slosar, A. 2007, Physical Review Letters, 99, 081301
  • Kamionkowski et al. (1997) Kamionkowski, M., Kosowsky, A., & Stebbins, A. 1997, Ph.Rv.D, 55, 7368
  • Kashlinsky et al. (2008) Kashlinsky, A., Atrio-Barandela, F., Kocevski, D., & Ebeling, H. 2008, ApJL, 686, L49
  • Kitaura & Enßlin (2008) Kitaura, F. S., & Enßlin, T. A. 2008, MNRAS, 389, 497
  • Lee (2009) Lee, K.-G. 2009, arXiv:0902.1530
  • Lewis et al. (2000) Lewis, A., Challinor, A., & Lasenby, A. 2000, ApJ, 538, 473
  • Mauskopf et al. (2000) Mauskopf, P. D., et al. 2000, ApJL, 536, L59
  • Miller et al. (2002) Miller, A., et al. 2002, ApJS, 140, 115
  • Mo & White (1996) Mo, H. J., & White, S. D. M. 1996, MNRAS, 282, 347
  • Moodley et al. (2008) Moodley, K., Warne, R., Goheer, N., & Trac, H. 2008, arXiv:0809.5172
  • Ostriker & Vishniac (1986) Ostriker, J. P., & Vishniac, E. T. 1986, ApJL, 306, L51
  • Peel (2006) Peel, A. C. 2006, MNRAS, 365, 1191
  • Ruhl et al. (2004) Ruhl, J., et al.  2004, SPIE, 5498, 11
  • Schäfer et al. (2006) Schäfer, B. M., Pfrommer, C., Bartelmann, M., Springel, V., & Hernquist, L. 2006, MNRAS, 370, 1309
  • Seljak & Zaldarriaga (1996) Seljak, U., & Zaldarriaga, M. 1996, ApJ, 469, 437
  • Sheth & Tormen (1999) Sheth, R. K., & Tormen, G. 1999, MNRAS, 308, 119
  • Sunyaev & Zeldovich (1970) Sunyaev, R. A., & Zeldovich, Y. B. 1970, Ap& SS, 7, 3
  • Sunyaev & Zeldovich (1972) Sunyaev, R. A., & Zeldovich, Y. B. 1972, Comments on Astrophysics and Space Physics, 4, 173
  • Sunyaev & Zeldovich (1980) Sunyaev, R. A., & Zeldovich, Y. B. 1980, ARA&A, 18, 537
  • Springel et al. (2001) Springel, V., White, M., & Hernquist, L. 2001, ApJ, 549, 681
  • Watkins et al. (2008) Watkins, R., Feldman, H. A., & Hudson, M. J. 2008, arXiv:0809.4041
  • Zahn et al. (2005) Zahn, O., Zaldarriaga, M., Hernquist, L., & McQuinn, M. 2005, ApJ, 630, 657

Appendix A The 2-point angular OV/kSZ correlation function

This Appendix outlines the computation of the full sky angular power spectrum of the projected peculiar momentum of baryons. It completes the appendixes B and C of HVJS in the sense that it considers the full peculiar velocity tensor vk,ivq,j\langle\mbox{\bf{v}}_{\mbox{\bf{k}},i}\mbox{\bf{v}}_{\mbox{\bf{q}},j}^{*}\rangle (and not only its diagonal part, as Equation B1 of HVJS implies).

We follow the approach of HVJS for integrating kSZ temperature anisotropies along the line of sight. For a given population of halos, the kSZ introduced along the direction n^\hat{\mbox{\bf{n}}} reads

δTT0(n^)=𝑑ra(r)σTjWgas(rxj)ne,j(vjn^c)=𝑑ra(r)σT𝑑x𝑑MWgas(rx)ne(M,r)(v(x)n^c)dndM(x).\frac{\delta T}{T_{0}}(\hat{\mbox{\bf{n}}})=\int dr\;a(r)\sigma_{T}\sum_{j}W_{gas}(\mbox{\bf{r}}-\mbox{\bf{x}}_{j})n_{e,j}\left(-\frac{\mbox{\bf{v}}_{j}\cdot\hat{\mbox{\bf{n}}}}{c}\right)=\int dr\;a(r)\sigma_{T}\int d\mbox{\bf{x}}\;dM\;W_{gas}(\mbox{\bf{r}}-\mbox{\bf{x}})n_{e}(M,r)\left(-\frac{\mbox{\bf{v}}(\mbox{\bf{x}})\cdot\hat{\mbox{\bf{n}}}}{c}\right)\frac{dn}{dM}(\mbox{\bf{x}}). (22)

The sum over jj indicates sum over halos whose central electron density is given by ne,jn_{e,j} and gas spatial profile by Wgas(x)W_{gas}(\mbox{\bf{x}}). The coordinate rr is in comoving units and can be regarded as our look back time coordinate and argument of the scale factor a(r)1/(1+z(r))a(r)\equiv 1/(1+z(r)). The sum over jj can be converted in an integral by introducing the halo mass function dn/dMdn/dM. For notation simplicity, we shall implicitly integrate halo properties over the halo mass, dropping the mass dependence, and renaming the halo number density as nh(x)n_{h}(\mbox{\bf{x}}). This transforms the integral in a convolution of the quantity

ξ(x)nh(x)(v(x)n^c)nh(x)β(x)\xi(\mbox{\bf{x}})\equiv n_{h}(\mbox{\bf{x}})\;\left(-\frac{\mbox{\bf{v}}(\mbox{\bf{x}})\cdot\hat{\mbox{\bf{n}}}}{c}\right)\equiv n_{h}(\mbox{\bf{x}})\beta(\mbox{\bf{x}}) (23)

with the profile Wgas(x)W_{gas}(\mbox{\bf{x}}):

δTT0(n^)=𝑑ra(r)σTne,h(r1)(Wgasξ)(r)=𝑑ra(r)σTne,h(r1)dk(2π)3Wgas,kξkeikr.\frac{\delta T}{T_{0}}(\hat{\mbox{\bf{n}}})=\int dr\;a(r)\sigma_{T}n_{e,h}(r_{1})\left(W_{gas}\star\xi\right)(\mbox{\bf{r}})=\int dr\;a(r)\sigma_{T}n_{e,h}(r_{1})\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;W_{gas,\mbox{\bf{k}}}\xi_{\mbox{\bf{k}}}\;e^{-i\mbox{\bf{k}}\cdot\mbox{\bf{r}}}. (24)

The average central halo electron density is denoted by ne,hn_{e,h}. The two point angular correlation function can then easily be written as

C(n^1,n^2)=𝑑r1a(r1)σTne,h(r1)𝑑r2a(r2)σTne,h(r2)dk1(2π)3dk2(2π)3eik1r1+ik2r2Wgas,k1Wgas,k2ξk1ξk2.C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int dr_{1}\;a(r_{1})\sigma_{T}n_{e,h}(r_{1})\int dr_{2}\;a(r_{2})\sigma_{T}n_{e,h}(r_{2})\;\frac{d\mbox{\bf{k}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{k}}_{2}}{(2\pi)^{3}}\;e^{-i\mbox{\bf{k}}_{1}\cdot\mbox{\bf{r}}_{1}+i\mbox{\bf{k}}_{2}\cdot\mbox{\bf{r}}_{2}}\;W_{gas,\mbox{\bf{k}}_{1}}W_{gas,\mbox{\bf{k}}_{2}}^{*}\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle. (25)

The ensemble can be expressed in terms of the Fourier modes of the density and peculiar velocity field. Provided that ξ(x)\xi(\mbox{\bf{x}}) is the product of two quantities in real space, its Fourier counterpart equals

ξk=dq(2π)3βqnh,kq.\xi_{\mbox{\bf{k}}}=\int\frac{d\mbox{\bf{q}}}{(2\pi)^{3}}\beta_{\mbox{\bf{q}}}n_{h,\mbox{\bf{k}}-\mbox{\bf{q}}}. (26)

Therefore, the ensemble average (\langle...\rangle) in Equation (25) becomes

ξk1ξk2=dq1(2π)3dq2(2π)3βq1nh,k1q1βq2nh,k2q2.\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle=\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;\langle\beta_{\mbox{\bf{q}}_{1}}n_{h,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}\beta_{\mbox{\bf{q}}_{2}}^{*}n_{h,\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}^{*}\rangle. (27)

One must address separately the different contributions on which this power spectrum can be decomposed, and this is the subject of the rest of the Appendix.

In the rest of the Appendix, computations will be referred to a halo population. However, these same computations may be referred to a continuous and smooth distribution of electrons if certain changes are introduced in the equations. These changes involve: (i) the gas profile functions Wgas,kW_{gas,\mbox{\bf{k}}}, the Fourier window functions associated to the peculiar velocity and density of halos (Wv,k,Wδ,kW_{v,\mbox{\bf{k}}},W_{\delta,\mbox{\bf{k}}}, to be introduced below) and the central halo electron densities ne,hn_{e,h} must be dropped; (ii) the halo number density nh,kn_{h,\mbox{\bf{k}}} must be substituted by the electron number density field ne,kn_{e,\mbox{\bf{k}}}; and (iii) the halo clustering and velocity biases (b,bvb,b_{v}, to be introduced below) must be set to unity. This continuous description of the electron field should be accurate when estimating the projection of the peculiar momentum of all baryons: the amount of collapsed baryons at high redshift is a very small fraction of the total, and even at present, less than a quarter of the total amount of baryons are found in collapsed halos more massive than 2×10142\times 10^{14} h1Mh^{-1}M_{\odot}. Regardless the amount of collapsed baryons, at scales larger than 1020h1\sim 10-20\;h^{-1}Mpc the matter density should closely follow the statistics of a moderately in-homogeneous Gaussian field.

A.1 The vvvv term

Let us first consider the case where the electron density or the halo number density are constant. This considerably simplifies Equation (27), since nh,kq=n¯hδD(kq)n_{h,\mbox{\bf{k}}-\mbox{\bf{q}}}={\bar{n}}_{h}\delta^{D}(\mbox{\bf{k}}-\mbox{\bf{q}}) (with δD\delta^{D} denoting the Dirac delta):

ξk1ξk2vv=n¯h2βk1βk2=n¯h2(2π)3δD(k1k2)𝒟v,1𝒟v,2Pm(k1k12(k^1n^1)(k^1n^2)Wgas,k1(r1)Wgas,k1(r2).\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vv}={\bar{n}}_{h}^{2}\langle\beta_{\mbox{\bf{k}}_{1}}\beta_{\mbox{\bf{k}}_{2}}^{*}\rangle={\bar{n}}_{h}^{2}\left(2\pi\right)^{3}\delta^{D}(\mbox{\bf{k}}_{1}-\mbox{\bf{k}}_{2}){\cal D}_{v,1}{\cal D}_{v,2}\frac{P_{m}(k_{1}}{k_{1}^{2}}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;W_{gas,\mbox{\bf{k}}_{1}}(r_{1})W_{gas,\mbox{\bf{k}}_{1}}^{*}(r_{2}). (28)

The factors 𝒟v,i{\cal D}_{v,i} denote the peculiar velocity time dependent growth factors along the the ii-th line of sight. We are using the vorticity free linear theory expression for the Fourier modes of the peculiar velocity, vk=i𝒟vk^Wv,kδk/k\mbox{\bf{v}}_{\mbox{\bf{k}}}=i{\cal D}_{v}\hat{\mbox{\bf{k}}}\;W_{v,\mbox{\bf{k}}}\delta_{\mbox{\bf{k}}}/k with k^\hat{\mbox{\bf{k}}} the unit vector along k. We assign to velocities a Fourier window function Wv,kW_{v,\mbox{\bf{k}}} that smooths the contribution from scales smaller than a halo if we are referring to a halo’s peculiar velocity. In practice we set it practically equal to the gas window function Wgas,kW_{gas,\mbox{\bf{k}}}, which in general depends on the halo’s mass and age. The particular choice of the velocity window function is not critical, since most of the anisotropy is coming from large scales. The matter power spectrum at present is denoted by Pm(k)P_{m}(k). After introducing this in Equation (25), one obtains

C(n^1,n^2)=dr1a(r1)σTne,h(r1)n¯h,1dr2a(r2)σTne,h(r2)n¯h,2dk(2π)3𝒟v,1𝒟v,2eik(r1r2)Pm(k)k2×C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int dr_{1}\;a(r_{1})\sigma_{T}n_{e,h}(r_{1}){\bar{n}}_{h,1}\int dr_{2}\;a(r_{2})\sigma_{T}n_{e,h}(r_{2})\;{\bar{n}}_{h,2}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;{\cal D}_{v,1}{\cal D}_{v,2}\;e^{-i\mbox{\bf{k}}\cdot(\mbox{\bf{r}}_{1}-\mbox{\bf{r}}_{2})}\frac{P_{m}(k)}{k^{2}}\;\times
Wgas,k(r1)Wgas,k(r2)Wv,k(r1)Wv,k(r2)(n^1k^)(n^2k^),\phantom{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx}\;W_{gas,\mbox{\bf{k}}}(r_{1})W_{gas,\mbox{\bf{k}}}^{*}(r_{2})\;W_{v,\mbox{\bf{k}}}(r_{1})W_{v,\mbox{\bf{k}}}^{*}(r_{2})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}), (29)

which, after expanding the plane wave on spherical Bessel functions

eikr=l(i)l(2l+1)Pl(k^n^)jl(kr),e^{-i\mbox{\bf{k}}\cdot\mbox{\bf{r}}}=\sum_{l}(-i)^{l}(2l+1)P_{l}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}})j_{l}(kr), (30)

and defining τ˙ia(ri)σTn¯i{\dot{\tau}}_{i}\equiv a(r_{i})\sigma_{T}{\bar{n}}_{i} reads like

C(n^1,n^2)=l,ldk(2π)3dr1τ˙1n¯h,1𝒟v,1Wgas,k(r1)Wv,k(r1)jl(kr1)dr2τ˙2n¯h,2𝒟v,2Wgas,k(r2)Wv,k(r2)jl(kr2)×C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;\int dr_{1}\dot{\tau}_{1}{\bar{n}}_{h,1}{\cal D}_{v,1}W_{gas,\mbox{\bf{k}}}(r_{1})W_{v,\mbox{\bf{k}}}(r_{1})j_{l}(kr_{1})\;\int dr_{2}\;\dot{\tau}_{2}{\bar{n}}_{h,2}{\cal D}_{v,2}W_{gas,\mbox{\bf{k}}}^{*}(r_{2})W_{v,\mbox{\bf{k}}}^{*}(r_{2})j_{l^{\prime}}(kr_{2})\;\times
Pm(k)k2Pl(n^1k^)(n^1k^)Pl(n^2k^)(n^2k^)(2l+1)(2l+1)(i)ll.\phantom{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx}\;\frac{P_{m}(k)}{k^{2}}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})\;P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\;(2l+1)(2l^{\prime}+1)(-i)^{l-l^{\prime}}. (31)

We next define the line of sight integrals

l,ivv𝑑riτ˙in¯h,i𝒟v,iWgas,k(ri)Wv,k(ri)jl(kri),{\cal I}_{l,i}^{vv}\equiv\int dr_{i}\dot{\tau}_{i}{\bar{n}}_{h,i}{\cal D}_{v,i}W_{gas,\mbox{\bf{k}}}(r_{i})W_{v,\mbox{\bf{k}}}(r_{i})j_{l}(kr_{i}), (32)

and apply the recurrence relation

μPl(μ)=12l+1(lPl1(μ)+(l+1)Pl+1(μ)).\mu P_{l}(\mu)=\frac{1}{2l+1}\left(lP_{l-1}(\mu)+(l+1)P_{l+1}(\mu)\right). (33)

Finally, we perform the integral over the angles of k. We choose n^1\hat{\mbox{\bf{n}}}_{1} as the polar axis for k, so we need to remove the dependence of Legendre polynomials on n^2k^\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}. We use the Legendre function addition theorem, that states that

Pl(n^2k^)=Pl(k^n^1)Pl(n^1n^2)+2m=1l(lm)!(l+m)!cosmϕkPlm(k^n^1)Plm(n^1n^2).P_{l}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})=P_{l}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})+2\sum_{m=1}^{l}\frac{(l-m)!}{(l+m)!}\;\cos{m\phi_{\mbox{\bf{k}}}}\;P_{l}^{m}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})P_{l}^{m}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). (34)

The azimuthal angle of k (here denoted as ϕk\phi_{\mbox{\bf{k}}}) does not appear anywhere else in the integral, and therefore none of the terms in the sum proportional to cosmϕk\cos m\phi_{\mbox{\bf{k}}} contribute to it. These manipulations yield

C(n^1,n^2)=l2l+14πPl(n^1n^2)Clvv=l2l+14πPl(n^1n^2)(2π)dkk2Pm(k)k2×C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l}\frac{2l+1}{4\pi}\;P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;C_{l}^{vv}\;=\sum_{l}\frac{2l+1}{4\pi}\;P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\left(\frac{2}{\pi}\right)\int dk\;k^{2}\;\frac{P_{m}(k)}{k^{2}}\;\times
((l+1)2(2l+1)2l+1,1vvl+1,2vv(l+1)l(2l+1)2l+1,1vvl1,2vv(l+1)l(2l+1)2l1,1vvl+1,2vv+l2(2l+1)2l1,2vvl1,2vv).\phantom{xxxxxx}\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}^{vv}_{l+1,1}{\cal I}^{vv}_{l+1,2}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{vv}_{l+1,1}{\cal I}^{vv}_{l-1,2}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{vv}_{l-1,1}{\cal I}^{vv}_{l+1,2}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}^{vv}_{l-1,2}{\cal I}^{vv}_{l-1,2}\biggr{)}. (35)

Note that in the limit of high ll and l,1vvl,2vv{\cal I}^{vv}_{l,1}\equiv{\cal I}^{vv}_{l,2}, the angular power spectrum multipoles vanish:

limlClvv=2π𝑑kk2Pm(k)k2(lvv)2×(141414+14)=0.\lim_{l\rightarrow\infty}C_{l}^{vv}=\frac{2}{\pi}\int dk\;k^{2}\;\frac{P_{m}(k)}{k^{2}}\;({\cal I}_{l}^{vv})^{2}\;\times\biggl{(}\frac{1}{4}-\frac{1}{4}-\frac{1}{4}+\frac{1}{4}\biggr{)}=0. (36)

For this reason it will be required to compute the integrals l,ivv{\cal I}_{l,i}^{vv} with high accuracy, or the ClvvC_{l}^{vv}-s will not drop to zero at high ll-s as this limit requires.

A.2 The Poisson term

This term observes the Poisson statistics of the number of halos along the line of sight. In this case, the power spectrum of ξk\xi_{\mbox{\bf{k}}} reads like

ξk1ξk2P=dq1(2π)3dq2(2π)3nk1q1nk2q2Pβq1βq2=(2π)3δD(k1q1k2+q2)n¯2PhhP(|k1q1|)×\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{P}=\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;\langle n_{\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}n_{\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}^{*}\rangle^{P}\langle\beta_{\mbox{\bf{q}}_{1}}\beta_{\mbox{\bf{q}}_{2}}^{*}\rangle=\left(2\pi\right)^{3}\delta^{D}(\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}-\mbox{\bf{k}}_{2}+\mbox{\bf{q}}_{2}){\bar{n}}^{2}P_{hh}^{P}(|\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}|)\;\times
Wδ,k1q1Wδ,k2q2(2π)3δD(q1q2)𝒟v,1𝒟v,2Pm(q1)q12(q^1n^1)(q^1n^2)Wv,q1Wv,q2.\phantom{x}\;W_{\delta,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}W_{\delta,\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}^{*}\;(2\pi)^{3}\delta^{D}(\mbox{\bf{q}}_{1}-\mbox{\bf{q}}_{2})\;{\cal D}_{v,1}{\cal D}_{v,2}\frac{P_{m}(q_{1})}{q_{1}^{2}}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;W_{v,\mbox{\bf{q}}_{1}}W_{v,\mbox{\bf{q}}_{2}}^{*}. (37)

The Poisson halo power spectrum is given by PhhP(k)=1/n¯P_{hh}^{P}(k)=1/{\bar{n}}, i.e., the inverse of the average halo number density. The Fourier density window functions Wδ,kW_{\delta,\mbox{\bf{k}}} again limit the contribution of the halo power spectrum from scales much smaller than the halo size. They were approximated by Gaussian of characteristic size the halo virial radius. With this, the angular correlation function becomes

C(n^1,n^2)=𝑑r1τ˙1𝑑r2τ˙2n¯h,1dk(2π)3eik(r1r2)|Wgas,k|2dq1(2π)3𝒟v,1𝒟v,2Pm(q1)q12(q^1n^1)(q^1n^2)|Wv,q1|2|Wδ,kq1|2.C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int dr_{1}\;{\dot{\tau}}_{1}\int dr_{2}\;{\dot{\tau}}_{2}\;\;{\bar{n}}_{h,1}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;\;e^{-i\mbox{\bf{k}}\cdot(\mbox{\bf{r}}_{1}-\mbox{\bf{r}}_{2})}\;|W_{gas,\mbox{\bf{k}}}|^{2}\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\;{\cal D}_{v,1}{\cal D}_{v,2}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;|W_{v,\mbox{\bf{q}}_{1}}|^{2}|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}. (38)

Let us next focus on the integral over q1\mbox{\bf{q}}_{1}, which shall be denoted by 𝒦{\cal K}:

𝒦dq1(2π)3|Wv,q1|2|Wδ,kq1|2Pm(q1)q12(q^1n^1)(q^1n^2){\cal K}\equiv\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\;|W_{v,\mbox{\bf{q}}_{1}}|^{2}|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\; (39)

Let us take the polar axis for q1\mbox{\bf{q}}_{1} to be along k^\hat{\mbox{\bf{k}}}. In order to perform the angular integrals of the dot products present in Equation (39), we have to switch these products (q^1n^1)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1}), (q^1n^2)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}) for others of the type (q^1k^)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}) times other dot products independent of q^\hat{\mbox{\bf{q}}}. For that, we again make use of the Legendre function addition theorem:

(q^1n^1)\displaystyle(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1}) =\displaystyle= (q^1k^)(n^1k^)+cosϕ1P11(q^1k^)P11(n^1k^),\displaystyle(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})+\cos\phi_{1}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{1}^{1}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}}), (40)
(q^1n^2)\displaystyle(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}) =\displaystyle= (q^1k^)(n^2k^)+cosϕ2P11(q^1k^)P11(n^2k^).\displaystyle(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+\cos\phi_{2}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{1}^{1}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}). (41)

The angles ϕ1,2\phi_{1,2} refer to the angles between the planes containing the vector pairs (k^\hat{\mbox{\bf{k}}},q^1\hat{\mbox{\bf{q}}}_{1}) and (k^\hat{\mbox{\bf{k}}},n^1\hat{\mbox{\bf{n}}}_{1}), and (k^\hat{\mbox{\bf{k}}},q^1\hat{\mbox{\bf{q}}}_{1}) and (k^\hat{\mbox{\bf{k}}},n^2\hat{\mbox{\bf{n}}}_{2}), respectively. In this reference system where the polar axis is given by k^\hat{\mbox{\bf{k}}}, the vectors q^1\hat{\mbox{\bf{q}}}_{1}, n^1\hat{\mbox{\bf{n}}}_{1} and n^2\hat{\mbox{\bf{n}}}_{2} have each an azimuthal angle on the plane normal to k^\hat{\mbox{\bf{k}}}. We shall take the origin for this angle such that the azimuthal angle of n^1\hat{\mbox{\bf{n}}}_{1} is zero, and write ϕ2=ϕ1+δϕ21\phi_{2}=\phi_{1}+\delta\phi_{21}. According to the last two equations, the product (q^1n^1)(q^1n^2)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}) reads

(q^1n^1)(q^1n^2)=(q^1k^)2(n^1k^)(n^2k^)+(P11(q^1k^))2[cosϕ1P11(n^1k^)cosϕ2P11(n^2k^)]+(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})=(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+\biggl{(}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})\biggr{)}^{2}\biggl{[}\cos\phi_{1}P_{1}^{1}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})\cos\phi_{2}P_{1}^{1}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{]}+
cosϕ1P11(q^1k^)P11(n^1k^)(q^1k^)(n^2k^)+cosϕ2P11(q^1k^)P11(n^2k^)(q^1k^)(n^1k^)\phantom{xxxxxx}\cos\phi_{1}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{1}^{1}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+\cos\phi_{2}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{1}^{1}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}}) (42)

The last two terms proportional to cosϕ1,2\cos\phi_{1,2} will give no contribution once the integration on the azimuthal angle of q (ϕ1\phi_{1}) is done, and therefore can be neglected. Since ϕ2=ϕ1+δϕ21\phi_{2}=\phi_{1}+\delta\phi_{21}, then cosϕ2=cosϕ1cosδϕ21sinϕ1sinδϕ21\cos\phi_{2}=\cos\phi_{1}\cos\delta\phi_{21}-\sin\phi_{1}\sin\delta\phi_{21}. The product of cosϕ1cosϕ2\cos\phi_{1}\cos\phi_{2} will therefore give rise to a term proportional to cosϕ1sinϕ1\cos\phi_{1}\sin\phi_{1} that again gives zero contribution to the integral over the azimuthal angle of q1\mbox{\bf{q}}_{1} (ϕ1\phi_{1}). Thus, effectively, we are left with the term proportional to cos2ϕ1\cos^{2}\phi_{1}:

(q^1n^1)(q^1n^2)=(q^1k^)2(n^1k^)(n^2k^)+(P11(q^1k^)cosϕ1)2[cosδϕ21P11(n^1k^)P11(n^2k^)].(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})=(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+\biggl{(}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})\cos\phi_{1}\biggr{)}^{2}\biggl{[}\cos\delta\phi_{21}P_{1}^{1}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{1}^{1}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{]}. (43)

We again invoke the Legendre function addition theorem on the triad formed by the vectors k^\hat{\mbox{\bf{k}}}, n^1\hat{\mbox{\bf{n}}}_{1} and n^2\hat{\mbox{\bf{n}}}_{2} in order to manipulate the expression within the square brackets of the last term on the rhs of the last equation. It now becomes

(q^1n^1)(q^1n^2)=(q^1k^)2(n^1k^)(n^2k^)+(P11(q^1k^)cosϕ1)2[(n^1n^2)(n^1k^)(n^2k^)].(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})=(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+\biggl{(}P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}})\cos\phi_{1}\biggr{)}^{2}\biggl{[}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})-(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{]}. (44)

This expression can be plugged into Equation (39):

𝒦=q12dq1(2π)302πdϕ111dμq1|Wv,q1|2|Wδ,kq1|2Pm(q1)q12[cos2ϕ1|P11(μq1)|2(n^1n^2)+{\cal K}=\int\frac{q_{1}^{2}dq_{1}}{(2\pi)^{3}}\int_{0}^{2\pi}d\phi_{1}\int_{-1}^{1}d\mu_{q_{1}}|W_{v,\mbox{\bf{q}}_{1}}|^{2}|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}\biggl{[}\cos^{2}\phi_{1}|P_{1}^{1}(\mu_{q_{1}})|^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;+
(μq12cos2ϕ1|P11(μq1)|2)(n^1k^)(n^2k^)],\phantom{xxxxxxxxxxxx}\left(\mu_{q_{1}}^{2}-\cos^{2}\phi_{1}|P_{1}^{1}(\mu_{q_{1}})|^{2}\right)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{]}, (45)

where μq1q^1k^\mu_{q_{1}}\equiv\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}. We next assume that, on average, halos are spherically symmetric, so that Wδ,k=Wδ,kW_{\delta,\mbox{\bf{k}}}=W_{\delta,k} and Wv,k=Wv,kW_{v,\mbox{\bf{k}}}=W_{v,k}. This simplifies the last equation,

𝒦=[𝒥1(k)(n^1n^2)𝒥2(k)(n^1k^)(n^2k^)],{\cal K}=\biggl{[}{\cal J}_{1}(k)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})-{\cal J}_{2}(k)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{]}, (46)

with 𝒥1(k){\cal J}_{1}(k) defined as

𝒥1(k)q12dq1(2π)3π11𝑑μq1|Wv,q1|2|Wδ,|kq1||2Pm(q1)q12,{\cal J}_{1}(k)\equiv\int\frac{q_{1}^{2}dq_{1}}{(2\pi)^{3}}\;\pi\int_{-1}^{1}d\mu_{q_{1}}\;|W_{v,q_{1}}|^{2}|W_{\delta,|\mbox{\bf{k}}-\mbox{\bf{q}}_{1}|}|^{2}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}, (47)

and 𝒥2(k){\cal J}_{2}(k) as

𝒥2(k)q12dq1(2π)302π𝑑ϕ111𝑑μq1|Wv,q1|2|Wδ,|kq1||2Pm(q1)q12[μq12|P11(μq1)|2cos2ϕ1].{\cal J}_{2}(k)\equiv\int\frac{q_{1}^{2}dq_{1}}{(2\pi)^{3}}\;\int_{0}^{2\pi}d\phi_{1}\int_{-1}^{1}d\mu_{q_{1}}\;|W_{v,q_{1}}|^{2}|W_{\delta,|\mbox{\bf{k}}-\mbox{\bf{q}}_{1}|}|^{2}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}\biggl{[}\mu^{2}_{q_{1}}-|P_{1}^{1}(\mu_{q_{1}})|^{2}\cos^{2}\phi_{1}\biggr{]}. (48)

This also simplifies the expression for the angular correlation function (Equation 38):

C(n^1,n^2)=𝑑r1τ˙1𝑑r2τ˙2n¯h,1𝒟v,1𝒟v,2dk(2π)3eik(r1r2)|Wgas,k|2[𝒥1(k)(n^1n^2)+(n^1k^)(n^2k^)𝒥2(k)].C(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int dr_{1}\;{\dot{\tau}}_{1}\int dr_{2}\;{\dot{\tau}}_{2}\;\;{\bar{n}}_{h,1}\;{\cal D}_{v,1}{\cal D}_{v,2}\;\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;\;e^{-i\mbox{\bf{k}}\cdot(\mbox{\bf{r}}_{1}-\mbox{\bf{r}}_{2})}\;|W_{gas,\mbox{\bf{k}}}|^{2}\biggl{[}{\cal J}_{1}(k)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})+(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}){\cal J}_{2}(k)\biggr{]}. (49)

Let us split it into two contributions, according to their angular dependence. The first contribution CAP(n^1,n^2)C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) contains the term (n^1n^2)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}), the second one (CBP(n^1,n^2)C^{P}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})) contains (n^1k^)(n^2k^)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}). The procedure now is very similar to that used for the vvvv term. We first expand the plane wave as in Equation (30), and define the line of sight integrals l,iP{\cal I}^{P}_{l,i} as

l,iP𝑑riτ˙in¯h,iWgas,k𝒟v,ijl(kri).{\cal I}^{P}_{l,i}\equiv\int dr_{i}\;{\dot{\tau}}_{i}\;\sqrt{{\bar{n}}_{h,i}}\;W_{gas,\mbox{\bf{k}}}{\cal D}_{v,i}j_{l}(kr_{i}). (50)

A.2.1 The CAP(n^1,n^2)C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) part

The contribution from CAP(n^1,n^2)C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) then reads

CAP(n^1,n^2)=l,l(2l+1)(2l+1)(i)lldk(2π)3𝒥1(k)l,1Pl,2PPl(n^1k^)Pl(n^2k^)(n^1n^2).C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(2l+1)(2l^{\prime}+1)(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;{\cal J}_{1}(k)\;{\cal I}^{P}_{l,1}{\cal I}^{P}_{l,2}\;P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). (51)

The addition theorem applied on Pl(n^2k^)P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}) and the integral on the azimuthal angle (that removes terms of the type cosmϕk\cos m\phi_{\mbox{\bf{k}}}) leave the last expression as

CAP(n^1,n^2)=l,l(2l+1)(2l+1)(i)llk2dkdμk(2π)2𝒥1(k)l,1Pl,2PPl(n^1k^)Pl(n^1k^)Pl(n^1n^2)(n^1n^2).C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(2l+1)(2l^{\prime}+1)(-i)^{l-l^{\prime}}\int\frac{k^{2}dkd\mu_{\mbox{\bf{k}}}}{(2\pi)^{2}}\;{\cal J}_{1}(k)\;{\cal I}^{P}_{l,1}{\cal I}^{P}_{l,2}\;P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). (52)

Finally, the recurrence relation (33) yields the final expression for CAP(n^1,n^2)C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}), after integrating in μk\mu_{\mbox{\bf{k}}}:

CAP(n^1,n^2)=l2l+14πPl(n^1n^2)Cl,AP=l2l+14πPl(n^1n^2)(2π)k2𝑑k𝒥1(k)(l+12l+1l+1,1Pl+1,2P+l2l+1l1,1Pl1,2P).C^{P}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})C_{l,A}^{P}=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal J}_{1}(k)\biggl{(}\frac{l+1}{2l+1}{\cal I}^{P}_{l+1,1}{\cal I}^{P}_{l+1,2}+\frac{l}{2l+1}{\cal I}^{P}_{l-1,1}{\cal I}^{P}_{l-1,2}\biggr{)}. (53)

In this case, this contribution does not vanish at high ll:

limlCl,AP=2πk2𝑑k𝒥1(k)|lP|2.\lim_{l\rightarrow\infty}C_{l,A}^{P}=\frac{2}{\pi}\int k^{2}dk\;{\cal J}_{1}(k)|{\cal I}^{P}_{l}|^{2}. (54)

A.2.2 The CBP(n^1,n^2)C^{P}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) part

This contribution is written like

CBP(n^1,n^2)=l,l(2l+1)(2l+1)(i)lldk(2π)3𝒥2(k)l,1Pl,2PPl(n^1k^)Pl(n^2k^)(n^1k^)(n^2k^),C^{P}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=-\sum_{l,l^{\prime}}(2l+1)(2l^{\prime}+1)(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}\;{\cal J}_{2}(k)\;{\cal I}^{P}_{l,1}{\cal I}^{P}_{l,2}\;P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}), (55)

which, after using the Legendre polynomial recurrence relation (Equation 33) and integrating on the angles, yields

CBP(n^1,n^2)=l2l+14πPl(n^1n^2)Cl,BP=l2l+14πPl(n^1n^2)(2π)k2dk𝒥2(k)×C^{P}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=-\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})C_{l,B}^{P}=-\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\left(\frac{2}{\pi}\right)\int k^{2}dk\;{\cal J}_{2}(k)\times
((l+1)2(2l+1)2l+1,1Pl+1,2P(l+1)l(2l+1)2l+1,1Pl1,2P(l+1)l(2l+1)2l1,1Pl+1,2P+l2(2l+1)2l1,2Pl1,2P).\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}^{P}_{l+1,1}{\cal I}^{P}_{l+1,2}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{P}_{l+1,1}{\cal I}^{P}_{l-1,2}-\frac{(l+1)l}{(2l+1)^{2}}{\cal I}^{P}_{l-1,1}{\cal I}^{P}_{l+1,2}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}^{P}_{l-1,2}{\cal I}^{P}_{l-1,2}\biggr{)}. (56)

As it was the case for the vvvv term (which showed an identical dependence on n^1\hat{\mbox{\bf{n}}}_{1}, n^2\hat{\mbox{\bf{n}}}_{2}), this contribution will vanish at high ll if l,1P,Bl,2P,B{\cal I}_{l,1}^{P,B}\equiv{\cal I}_{l,2}^{P,B}:

limlCl,BP=2π𝑑kk2𝒥2(k)(lP)2×(141414+14)=0.\lim_{l\rightarrow\infty}C_{l,B}^{P}=\frac{2}{\pi}\int dk\;k^{2}\;{\cal J}_{2}(k)\;({\cal I}_{l}^{P})^{2}\;\times\biggl{(}\frac{1}{4}-\frac{1}{4}-\frac{1}{4}+\frac{1}{4}\biggr{)}=0. (57)

Therefore, we find that limlClP=Cl,AP\lim_{l\rightarrow\infty}C_{l}^{P}=C_{l,A}^{P}.

We have concluded the computation of the linear terms, and we next address the computation of the second-order terms. In this Section, the electron density will be assumed to trace the dark matter density field. This means that, when looking at the kSZ generated in halos, the number density of halos will trace the local, large scale, dark matter density field, in such a way that fluctuations in the halo number density will be a biased mapping of the fluctuation of dark matter density (and this bias factor was approximated by that of Mo & White (1996)). I.e., nh,k=b𝒟δδkWδ,kn_{h,\mbox{\bf{k}}}=b{\cal D}_{\delta}\delta_{\mbox{\bf{k}}}W_{\delta,\mbox{\bf{k}}}, with bb the bias factor, nh,kn_{h,\mbox{\bf{k}}} the k Fourier mode for the halo number density distribution, δk\delta_{\mbox{\bf{k}}} the Fourier mode of the dark matter density contrast at present, and 𝒟δ{\cal D}_{\delta} its linear growth factor. When considering the OV generated by the IGM on the large scales, this assumption is expressed as ne,k=n¯e(r)𝒟δδkn_{e,\mbox{\bf{k}}}={\bar{n}}_{e}(r){\cal D}_{\delta}\;\delta_{\mbox{\bf{k}}} with n¯e(r){\bar{n}}_{e}(r) the background electron number density.

A.3 The v1d1v2d2v_{1}d_{1}-v_{2}d_{2} term

This term observes the contribution of the configuration

ξk1ξk2v1d1v2d2dq1(2π)3dq2(2π)3βq1nh,k1q1βq2nh,k2q2.\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{v_{1}d_{1}-v_{2}d_{2}}\equiv\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;\langle\beta_{\mbox{\bf{q}}_{1}}n_{h,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}\rangle\langle\beta^{*}_{\mbox{\bf{q}}_{2}}n^{*}_{h,\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}\rangle. (58)

As we show next, this contribution vanishes. For a real field A(x)A(\mbox{\bf{x}}), we have that Ak=AkA_{\mbox{\bf{k}}}=A_{-\mbox{\bf{k}}}^{*}, so the last equation can be rewritten as

ξk1ξk2v1d1v2d2dq1(2π)3dq2(2π)3(2π)3δD(k1)𝒟v,1q1Pm(q1)(q^1n^1) 2π)3δD(k2)𝒟v,2q2Pm(q2)(q^2n^2).\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{v_{1}d_{1}-v_{2}d_{2}}\equiv\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;(2\pi)^{3}\delta^{D}(\mbox{\bf{k}}_{1})\frac{{\cal D}_{v,1}}{q_{1}}P_{m}(q_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})\;2\pi)^{3}\delta^{D}(\mbox{\bf{k}}_{2})\frac{{\cal D}_{v,2}}{q_{2}}P_{m}(q_{2})(\hat{\mbox{\bf{q}}}_{2}\cdot\hat{\mbox{\bf{n}}}_{2}). (59)

If we choose n^i\hat{\mbox{\bf{n}}}_{i} as the polar angle for qi\mbox{\bf{q}}_{i} (i=1,2i=1,2), then μi(q^in^i)\mu_{i}\equiv(\hat{\mbox{\bf{q}}}_{i}\cdot\hat{\mbox{\bf{n}}}_{i}) and we end up with an integral of the type

qi2dqi(2π)3𝑑ϕiPm(qi)qi11𝑑μiμi=0.\int\frac{q_{i}^{2}dq_{i}}{(2\pi)^{3}}d\phi_{i}\frac{P_{m}(q_{i})}{q_{i}}\int_{-1}^{1}d\mu_{i}\;\mu_{i}=0. (60)

Therefore, this term provides no contribution and will be ignored hereafter.

A.4 The vvddvv-dd term

We next compute the contribution of the configuration

ξk1ξk2vvdddq1(2π)3dq2(2π)3βq1βq2nh,k1q1nh,k2q2\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vv-dd}\equiv\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;\langle\beta_{\mbox{\bf{q}}_{1}}\beta_{\mbox{\bf{q}}_{2}}^{*}\rangle\langle n_{h,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}n^{*}_{h,\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}\rangle (61)

within the two-point angular correlation function

Cvvdd(n^1,n^2)=𝑑r1a(r1)σTne,h(r1)𝑑r2a(r2)σTne,h(r2)dk1(2π)3dk2(2π)3eik1r1+ik2r2Wgas,k1Wgas,k2ξk1ξk2vvdd.C^{vv-dd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int dr_{1}\;a(r_{1})\sigma_{T}n_{e,h}(r_{1})\int dr_{2}\;a(r_{2})\sigma_{T}n_{e,h}(r_{2})\;\frac{d\mbox{\bf{k}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{k}}_{2}}{(2\pi)^{3}}\;e^{-i\mbox{\bf{k}}_{1}\cdot\mbox{\bf{r}}_{1}+i\mbox{\bf{k}}_{2}\cdot\mbox{\bf{r}}_{2}}W_{gas,\mbox{\bf{k}}_{1}}W_{gas,\mbox{\bf{k}}_{2}}^{*}\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vv-dd}. (62)

The ensemble averages of Equation (61) yield

ξk1ξk2vvdd=dq1(2π)3dq2(2π)3(2π)3δD(q1q2)𝒟v,1𝒟v,2Pm(q1)q12Wv,q1n¯h,1Wv,q2n¯h,2(q^1n^1)(q^2n^2)×\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vv-dd}=\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;(2\pi)^{3}\delta^{D}(\mbox{\bf{q}}_{1}-\mbox{\bf{q}}_{2}){\cal D}_{v,1}{\cal D}_{v,2}\frac{P_{m}(q_{1})}{q_{1}^{2}}W_{v,\mbox{\bf{q}}_{1}}{\bar{n}}_{h,1}W_{v,\mbox{\bf{q}}_{2}}^{*}{\bar{n}}_{h,2}\;(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{2}\cdot\hat{\mbox{\bf{n}}}_{2})\;\times
(2π)3δD(k1q1k2+q2)𝒟δ,1b1𝒟δ,2b2Pm(k1q1)Wδ,k1q1Wδ,k2q2.\phantom{xxxxxxxxxxxxxxxxxxxxxxxxxxxx}(2\pi)^{3}\delta^{D}(\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}-\mbox{\bf{k}}_{2}+\mbox{\bf{q}}_{2}){\cal D}_{\delta,1}b_{1}{\cal D}_{\delta,2}b_{2}P_{m}(\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1})W_{\delta,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}W_{\delta,\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}^{*}. (63)

The presence of these Dirac deltas significantly simplifies Equation (62):

Cvvdd(n^1,n^2)=dk(2π)3eik(r1r2)dr1τ˙1Wgas,kn¯h,1b1𝒟v,1𝒟δ,1b1dr2τ˙2Wgas,kn¯h,2𝒟v,2𝒟δ,2b2×C^{vv-dd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}e^{-i\mbox{\bf{k}}(\mbox{\bf{r}}_{1}-\mbox{\bf{r}}_{2})}\;\int dr_{1}\;{\dot{\tau}}_{1}W_{gas,\mbox{\bf{k}}}{\bar{n}}_{h,1}b_{1}{\cal D}_{v,1}{\cal D}_{\delta,1}b_{1}\int dr_{2}\;{\dot{\tau}}_{2}W_{gas,\mbox{\bf{k}}}^{*}{\bar{n}}_{h,2}{\cal D}_{v,2}{\cal D}_{\delta,2}b_{2}\;\times
dq1(2π)3Pm(q1)q12|Wv,q1|2(q^1n^1)(q^1n^2)Pm(kq1)|Wδ,kq1|2.\phantom{xxxxxxxxxxxxxxxxxxxxxxxxxxxx}\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}|W_{v,\mbox{\bf{q}}_{1}}|^{2}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;P_{m}(\mbox{\bf{k}}-\mbox{\bf{q}}_{1})|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}. (64)

There are functions inside the integral over q1\mbox{\bf{q}}_{1} which depend upon kq1\mbox{\bf{k}}-\mbox{\bf{q}}_{1}. Just as for the Poisson term, this suggests using k^\hat{\mbox{\bf{k}}} as the polar axis for the angular integration of q1\mbox{\bf{q}}_{1}, μq1k^q^1\mu_{q_{1}}\equiv\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{q}}}_{1}. Thus we have to apply the Legendre function addition theorem and follow the same procedure as in Equations (4044). After introducing the usual expansion of the plane waves, this gives

Cvvdd(n^1,n^2)=l,l(i)lldk(2π)3l,1vvddl,2vvddPl(n^1k^)Pl(n^2k^)dq1(2π)3Pm(q1)q12|Wv,q1|2Pm(kq1)|Wδ,kq1|2×C^{vv-dd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vv-dd}{\cal I}_{l,2}^{vv-dd}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\;\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}|W_{v,\mbox{\bf{q}}_{1}}|^{2}P_{m}(\mbox{\bf{k}}-\mbox{\bf{q}}_{1})|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}\;\times
[(q^1k^1)2(n^1k^)(n^2k^)+(cosϕ1P11(k^q^1))2(n^1n^2(n^1k^)(n^2k^))](2l+1)(2l+1),\phantom{xxxxxxxxxx}\biggl{[}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}_{1})^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+\biggl{(}\cos\phi_{1}P_{1}^{1}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{q}}}_{1})\biggr{)}^{2}\biggl{(}\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}-(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{)}\biggr{]}(2l+1)(2l^{\prime}+1), (65)

where the l,ivvdd𝑑rijl(kri)τ˙in¯h,iWgas,kbi𝒟v,i𝒟δ,i{\cal I}_{l,i}^{vv-dd}\equiv\int dr_{i}\;j_{l}(kr_{i}){\dot{\tau}}_{i}{\bar{n}}_{h,i}W_{gas,\mbox{\bf{k}}}b_{i}{\cal D}_{v,i}{\cal D}_{\delta,i} are the usual line of sight integrals. The integration on the azimuthal angle of q1\mbox{\bf{q}}_{1} can be done trivially, but the integration on its polar angle must be done numerically. These angular integrations introduce two kk-dependent functions, 𝒜(k){\cal A}(k) and (k){\cal B}(k):

Cvvdd(n^1,n^2)=l,l(i)lldk(2π)3l,1vvddl,2vvddPl(n^1k^)Pl(n^2k^)q12dq1dμq1(2π)3Pm(q1)q12|Wv,q1|2Pm(kq1)|Wδ,kq1|2×C^{vv-dd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vv-dd}{\cal I}_{l^{\prime},2}^{vv-dd}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\;\int\frac{q_{1}^{2}dq_{1}d\mu_{q_{1}}}{(2\pi)^{3}}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}|W_{v,\mbox{\bf{q}}_{1}}|^{2}P_{m}(\mbox{\bf{k}}-\mbox{\bf{q}}_{1})|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}\;\times
(2π)[(n^1k^)(n^2k^)((k^q^1)212(P11(k^q^1))2)+12(P11(k^q^1))2(n^1n^2)](2l+1)(2l+1)=\phantom{xxxxxxxxxx}(2\pi)\;\biggl{[}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggl{(}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{q}}}_{1})^{2}-\frac{1}{2}\left(P_{1}^{1}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{q}}}_{1})\right)^{2}\biggr{)}+\frac{1}{2}\left(P_{1}^{1}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{q}}}_{1})\right)^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\biggr{]}(2l+1)(2l^{\prime}+1)=
l,l(i)lldk(2π)3l,1vvddl,2vvddPl(n^1k^)Pl(n^2k^)q12dq1(2π)3Pm(q1)q12|Wv,q1|2Pm(kq1)|Wδ,kq1|2×\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vv-dd}{\cal I}_{l^{\prime},2}^{vv-dd}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\;\int\frac{q_{1}^{2}dq_{1}}{(2\pi)^{3}}\;\frac{P_{m}(q_{1})}{q_{1}^{2}}|W_{v,\mbox{\bf{q}}_{1}}|^{2}P_{m}(\mbox{\bf{k}}-\mbox{\bf{q}}_{1})|W_{\delta,\mbox{\bf{k}}-\mbox{\bf{q}}_{1}}|^{2}\;\times
[𝒜(k)(n^1k^)(n^2k^)+(k)(n^1n^2)](2l+1)(2l+1).\biggl{[}{\cal A}(k)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+{\cal B}(k)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\biggr{]}(2l+1)(2l^{\prime}+1). (66)

These two functions will give rise to two different contributions for the vvddvv-dd term, CAvvdd(n^1,n^2)C^{vv-dd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) and CBvvdd(n^1,n^2)C^{vv-dd}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}).

A.4.1 The CAvvdd(n^1,n^2)C^{vv-dd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) contribution

As already done for the vvvv term and one of the two contributions for the Poisson term, we first apply the Legendre polynomial recurrence relation (Equation 33) in order to express all the dependence on k^n^1\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1} and k^n^2\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2} as arguments of Legendre polynomials:

CAvvdd(n^1,n^2)=l,l(i)lldk(2π)3l,1vvddl,2vvdd[lPl1(n^1k^)+(l+1)Pl+1(n^1k^)][lPl1(n^2k^)+(l+1)Pl+1(n^2k^)]𝒜(k).C_{A}^{vv-dd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vv-dd}{\cal I}_{l^{\prime},2}^{vv-dd}\;\biggl{[}lP_{l-1}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})+(l+1)P_{l+1}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})\biggr{]}\biggl{[}l^{\prime}P_{l^{\prime}-1}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})+(l^{\prime}+1)P_{l^{\prime}+1}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\biggr{]}{\cal A}(k). (67)

The next step uses the Legendre function addition theorem (Equation 34) to rewrite Legendre polynomials whose argument is k^n^2\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2} in terms of Legendre functions of arguments k^n^1\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1} and n^1n^2\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}. The integral on the azimuthal angle of k^\hat{\mbox{\bf{k}}} removes all terms proportional to cosmϕk\cos m\phi_{\mbox{\bf{k}}}, so in practice we simply substitute the Legendre polynomials Pl(k^n^2)P_{l}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}) by the product Pl(k^n^2)Pl(n^1n^2)P_{l}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2})P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). The polar angular integral of k^\hat{\mbox{\bf{k}}} does the rest:

CAvvdd(n^1,n^2)=l2l+14πPl(n^1n^2)Cl,Avvdd=l2l+14πPl(n^1n^2)×C^{vv-dd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})C_{l,A}^{vv-dd}=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\times
2πk2𝑑k𝒜(k)[l+1,1vvdd((l+1)2(2l+1)2l+1,2vvddl(l+1)(2l+1)2l1,2vvdd)+l1,1vvdd(l(l+1)(2l+1)2l1,2vv.dd+l2(2l+1)2l1,2vvdd)].\phantom{xxxxx}\frac{2}{\pi}\int k^{2}dk\;{\cal A}(k)\biggl{[}{\cal I}_{l+1,1}^{vv-dd}\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}_{l+1,2}^{vv-dd}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vv-dd}\biggr{)}+{\cal I}_{l-1,1}^{vv-dd}\biggl{(}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vv.dd}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vv-dd}\biggr{)}\biggr{]}. (68)

As for every term with the angular dependence of the type (n^1k^)(n^2k^)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}}), its contribution vanishes in the limit of ll\rightarrow\infty and l,1vvddl,2vvdd{\cal I}_{l,1}^{vv-dd}\equiv{\cal I}_{l,2}^{vv-dd}:

limlCl,Avvdd=2π𝑑kk2𝒜(k)(lvvdd)2×(141414+14)=0.\lim_{l\rightarrow\infty}C_{l,A}^{vv-dd}=\frac{2}{\pi}\int dk\;k^{2}\;{\cal A}(k)\;({\cal I}_{l}^{vv-dd})^{2}\;\times\biggl{(}\frac{1}{4}-\frac{1}{4}-\frac{1}{4}+\frac{1}{4}\biggr{)}=0. (69)

A.4.2 The CBvvdd(n^1,n^2)C^{vv-dd}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) contribution

In this case we again have to use the addition theorem of Equation (34) to obtain

CBvvdd(n^1,n^2)=l,l(i)ll(2l+1)(2l+1)dk(2π)3l,1vvddl,2vvdd(k)2δl,lK2l+1Pl(n^1n^2)(n^1n^2),C^{vv-dd}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}(2l+1)(2l^{\prime}+1)\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vv-dd}{\cal I}_{l^{\prime},2}^{vv-dd}\;{\cal B}(k)\frac{2\delta^{K}_{l,l^{\prime}}}{2l+1}P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}), (70)

where δi,jK\delta^{K}_{i,j} represents the Kronecker delta (δi,jK=1\delta^{K}_{i,j}=1 if i=ji=j and δi,jK=0\delta^{K}_{i,j}=0 otherwise). Finally, an application of the relation (33) gives

CAvvdd(n^1,n^2)=l2l+14πPl(n^1n^2)Cl,Bvvdd=l2l+14πPl(n^1n^2)2πk2𝑑k(k)[l+1,1vvddl+1,2vvddl+12l+1+l1,1vvddl1,2vvddl2l+1].C^{vv-dd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})C_{l,B}^{vv-dd}=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\frac{2}{\pi}\int k^{2}dk\;{\cal B}(k)\biggl{[}{\cal I}_{l+1,1}^{vv-dd}{\cal I}_{l+1,2}^{vv-dd}\frac{l+1}{2l+1}+{\cal I}_{l-1,1}^{vv-dd}{\cal I}_{l-1,2}^{vv-dd}\frac{l}{2l+1}\biggr{]}. (71)

Hence, this term gives most of the contribution of ClvvddC_{l}^{vv-dd} at high ll-s:

limlCl,Bvvdd=2π𝑑kk2(k)(lvvdd)2=limlClvvdd.\lim_{l\rightarrow\infty}C_{l,B}^{vv-dd}=\frac{2}{\pi}\int dk\;k^{2}\;{\cal B}(k)\;({\cal I}_{l}^{vv-dd})^{2}=\lim_{l\rightarrow\infty}C_{l}^{vv-dd}. (72)

A.5 The vdvdvd-vd term

In this final section, we compute the contribution coming from the configuration

ξk1ξk2vdvddq1(2π)3dq2(2π)3βq1nh,k2q2nh,k1q1βq2\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vd-vd}\equiv\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{q}}_{2}}{(2\pi)^{3}}\;\langle\beta_{\mbox{\bf{q}}_{1}}n_{h,\mbox{\bf{k}}_{2}-\mbox{\bf{q}}_{2}}^{*}\rangle\langle n_{h,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}\beta^{*}_{\mbox{\bf{q}}_{2}}\rangle (73)

within the two-point angular correlation function

Cvdvd(n^1,n^2)=𝑑r1a(r1)σTne,h(r1)𝑑r2a(r2)σTne,h(r2)dk1(2π)3dk2(2π)3eik1r1+ik2r2Wgas,k1Wgas,k2ξk1ξk2vdvd.C^{vd-vd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\int dr_{1}\;a(r_{1})\sigma_{T}n_{e,h}(r_{1})\int dr_{2}\;a(r_{2})\sigma_{T}n_{e,h}(r_{2})\;\frac{d\mbox{\bf{k}}_{1}}{(2\pi)^{3}}\frac{d\mbox{\bf{k}}_{2}}{(2\pi)^{3}}\;e^{-i\mbox{\bf{k}}_{1}\cdot\mbox{\bf{r}}_{1}+i\mbox{\bf{k}}_{2}\cdot\mbox{\bf{r}}_{2}}W_{gas,\mbox{\bf{k}}_{1}}W_{gas,\mbox{\bf{k}}_{2}}^{*}\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vd-vd}. (74)

This time, the computation of the ensemble averages of Equation (73) is slightly more complex. We first obtain, after canceling the integral on k2\mbox{\bf{k}}_{2} by using one of the Dirac deltas,

ξk1ξk2vdvd=dq1(2π)3(2π)3δD(q1+k1q1k2)n¯h,2b2𝒟δ,2𝒟v,1Wv,q1Wδ,k2k1+q1(q^1n^1)Pm(q1)q1×\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vd-vd}=\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}(2\pi)^{3}\delta^{D}(\mbox{\bf{q}}_{1}+\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}-\mbox{\bf{k}}_{2}){\bar{n}}_{h,2}b_{2}{\cal D}_{\delta,2}{\cal D}_{v,1}W_{v,\mbox{\bf{q}}_{1}}W^{*}_{\delta,\mbox{\bf{k}}_{2}-\mbox{\bf{k}}_{1}+\mbox{\bf{q}}_{1}}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})\frac{P_{m}(q_{1})}{q_{1}}\;\times
n¯h,1b1𝒟δ,1𝒟v,2(k1q1|k1q1|n^2)Wδ,k1q1Wv,k1q1Pm(k1q1)|k1q1|.\phantom{xxxxx}{\bar{n}}_{h,1}b_{1}{\cal D}_{\delta,1}{\cal D}_{v,2}\left(\frac{\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}{|\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}|}\cdot\hat{\mbox{\bf{n}}}_{2}\right)W_{\delta,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}W_{v,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}^{*}\;\frac{P_{m}(\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1})}{|\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}|}. (75)

Again we have an integral on q1\mbox{\bf{q}}_{1} of functions whose argument is k1q1\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}. This means that we have to translate all arguments of the type (q^1n^1)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1}) and (q^1n^2)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}) onto the quantities (q^1k^1)(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}_{1}) and (n^1n^2)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}) and choose k^1\hat{\mbox{\bf{k}}}_{1} as the polar axis for the q1\mbox{\bf{q}}_{1} integration. By using Equations (40, 41) and neglecting the terms proportional to cosϕ1\cos\phi_{1}, cosϕ2\cos\phi_{2} (which give no contribution after the integration on the azimuthal angle of q1\mbox{\bf{q}}_{1}), one readily finds

ξk1ξk2vdvd=(2π)3δD(k1k2)dq1(2π)3n¯h,1n¯h,2b1b2𝒟δ,2𝒟v,1𝒟δ,1𝒟v,2Wv,q1Wδ,q1Wδ,k1q1Wv,k1q1Pm(q1)q1Pm(k1q1)|k1q1|×\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vd-vd}=(2\pi)^{3}\delta^{D}(\mbox{\bf{k}}_{1}-\mbox{\bf{k}}_{2})\int\frac{d\mbox{\bf{q}}_{1}}{(2\pi)^{3}}{\bar{n}}_{h,1}{\bar{n}}_{h,2}b_{1}b_{2}{\cal D}_{\delta,2}{\cal D}_{v,1}{\cal D}_{\delta,1}{\cal D}_{v,2}W_{v,\mbox{\bf{q}}_{1}}W^{*}_{\delta,\mbox{\bf{q}}_{1}}W_{\delta,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}W_{v,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}^{*}\frac{P_{m}(q_{1})}{q_{1}}\frac{P_{m}(\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1})}{|\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}|}\;\times
[k1(k^1n^1)(k^1n^2)(q^1k^1)q1((q^1k^1)2(k^1n^1)(k^1n^2)+cosϕ1cosϕ2|P11(q^1k^1|2P11(k^1n^1)P11(k^1n^1))].\phantom{xxxxx}\biggl{[}k_{1}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}_{1})-q_{1}\left((\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}_{1})^{2}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})+\cos\phi_{1}\cos\phi_{2}|P_{1}^{1}(\hat{\mbox{\bf{q}}}_{1}\cdot\hat{\mbox{\bf{k}}}_{1}|^{2}P_{1}^{1}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})P_{1}^{1}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})\right)\biggr{]}. (76)

As we did for the Poisson term, we now express cosϕ2\cos\phi_{2} in terms of ϕ1\phi_{1} and δϕ21ϕ2ϕ1\delta\phi_{21}\equiv\phi_{2}-\phi_{1} and make use of the relation cosδϕ21P11(k^1n^1)P11(k^1n^2)=(n^1n^2)(k^1n^1)(k^2n^2)\cos\delta\phi_{21}P_{1}^{1}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})P_{1}^{1}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})=(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})-(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}_{2}\cdot\hat{\mbox{\bf{n}}}_{2}). After integrating in the azimuthal angle of q1\mbox{\bf{q}}_{1}, this leads to

ξk1ξk2vdvd=(2π)3δD(k1k2)q12dq1dμq1(2π)3n¯h,1n¯h,2b1b2𝒟δ,2𝒟v,1𝒟δ,1𝒟v,2Wv,q1Wδ,q1Wδ,k1q1Wv,k1q1Pm(q1)q1Pm(k1q1)|k1q1|×\langle\xi_{\mbox{\bf{k}}_{1}}\xi_{\mbox{\bf{k}}_{2}}^{*}\rangle^{vd-vd}=(2\pi)^{3}\delta^{D}(\mbox{\bf{k}}_{1}-\mbox{\bf{k}}_{2})\int\frac{q_{1}^{2}dq_{1}d\mu_{q_{1}}}{(2\pi)^{3}}{\bar{n}}_{h,1}{\bar{n}}_{h,2}b_{1}b_{2}{\cal D}_{\delta,2}{\cal D}_{v,1}{\cal D}_{\delta,1}{\cal D}_{v,2}W_{v,\mbox{\bf{q}}_{1}}W^{*}_{\delta,\mbox{\bf{q}}_{1}}W_{\delta,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}W_{v,\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}}^{*}\frac{P_{m}(q_{1})}{q_{1}}\frac{P_{m}(\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1})}{|\mbox{\bf{k}}_{1}-\mbox{\bf{q}}_{1}|}\;\times
(2π)[(k^1n^1)(k^1n^2)(k1μq1q1μq12+q12|P11(μq1)|2)q12|P11(μq1)|2(n^1n^2)].\phantom{xxxxx}(2\pi)\biggl{[}(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\left(k_{1}\mu_{q_{1}}-q_{1}\mu_{q_{1}}^{2}+\frac{q_{1}}{2}|P_{1}^{1}(\mu_{q_{1}})|^{2}\right)-\frac{q_{1}}{2}|P_{1}^{1}(\mu_{q_{1}})|^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\biggr{]}. (77)

We plug this expression into Equation (74) after expanding the plane wave onto spherical Bessel functions and defining τ˙ia(ri)σTne,h(ri){\dot{\tau}}_{i}\equiv a(r_{i})\sigma_{T}n_{e,h}(r_{i}) and the line of sight integral l,ivdvdl,ivvdd=𝑑rijl(kri)τ˙iWgas,kn¯h,ibi𝒟v,i𝒟δ,i{\cal I}_{l,i}^{vd-vd}\equiv{\cal I}_{l,i}^{vv-dd}=\int dr_{i}\;j_{l}(kr_{i}){\dot{\tau}}_{i}W_{gas,\mbox{\bf{k}}}{\bar{n}}_{h,i}b_{i}{\cal D}_{v,i}{\cal D}_{\delta,i}. We obtain

Cvdvd(n^1,n^2)=l,l(i)lldk(2π)3l,1vdvdl,2vdvdPl(n^1k^)Pl(n^2k^)q12dq1dμq1(2π)3Pm(q1)q1Pm(kq1)|kq1|2(2π)×C^{vd-vd}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vd-vd}{\cal I}_{l^{\prime},2}^{vd-vd}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\;\int\frac{q_{1}^{2}dq_{1}d\mu_{q_{1}}}{(2\pi)^{3}}\;\frac{P_{m}(q_{1})}{q_{1}}\frac{P_{m}(\mbox{\bf{k}}-\mbox{\bf{q}}_{1})}{|\mbox{\bf{k}}-\mbox{\bf{q}}_{1}|^{2}}\;\ (2\pi)\times
[(k^n^1)(k^n^2)(k1μq1q1μq12+q12|P11(μq1)|2)q12|P11(μq1)|2(n^1n^2)](2l+1)(2l+1)=\phantom{xxxxx}\biggl{[}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2})\left(k_{1}\mu_{q_{1}}-q_{1}\mu_{q_{1}}^{2}+\frac{q_{1}}{2}|P_{1}^{1}(\mu_{q_{1}})|^{2}\right)-\frac{q_{1}}{2}|P_{1}^{1}(\mu_{q_{1}})|^{2}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\biggr{]}(2l+1)(2l^{\prime}+1)=
l,l(i)lldk(2π)3l,1vdvdl,2vdvdPl(n^1k^)Pl(n^2k^)(2π)[(k^n^1)(k^n^2)𝒞(k)𝒟(k)(n^1n^2)](2l+1)(2l+1).\phantom{xx}\sum_{l,l^{\prime}}(-i)^{l-l^{\prime}}\int\frac{d\mbox{\bf{k}}}{(2\pi)^{3}}{\cal I}_{l,1}^{vd-vd}{\cal I}_{l^{\prime},2}^{vd-vd}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{k}}})P_{l^{\prime}}(\hat{\mbox{\bf{n}}}_{2}\cdot\hat{\mbox{\bf{k}}})\;\;(2\pi)\biggl{[}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}){\cal C}(k)-{\cal D}(k)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\biggr{]}(2l+1)(2l^{\prime}+1). (78)

The two functions 𝒞(k){\cal C}(k) and 𝒟(k){\cal D}(k) introduce two different angular dependences of the correlation function ((k^n^1)(k^n^2)(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}) and (n^1n^2)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}), respectively), and give rise to two different contributions to the total vdvdvd-vd correlation function, that will be denoted by CAvdvd(n^1,n^2)C^{vd-vd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) and CBvdvd(n^1,n^2)C^{vd-vd}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}), respectively.

A.5.1 The CAvdvd(n^1,n^2)C^{vd-vd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) contribution

As usual, we first use Equation (33) to remove the factors of the type xPl(x)xP_{l}(x) and then apply the Legendre function addition theorem to switch arguments of (k^n^2)(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}) into arguments of (k^n^1)(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1}) and (n^1n^2)(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). All terms proportional to cosmϕk\cos m\phi_{\mbox{\bf{k}}} give no contribution, so under the integral sign we are allowed to replace Pl(k^n^2)P_{l}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{2}) by Pl(k^n^1)Pl(n^1n^2)P_{l}(\hat{\mbox{\bf{k}}}\cdot\hat{\mbox{\bf{n}}}_{1})P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2}). This results in

CAvdvd(n^1,n^2)=l2l+14πPl(n^1n^2)Cl,Avdvd=l2l+14πPl(n^1n^2)×C^{vd-vd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})C_{l,A}^{vd-vd}=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\times
2πk2𝑑k𝒞(k)[l+1,1vdvd((l+1)2(2l+1)2l+1,2vdvdl(l+1)(2l+1)2l1,2vdvd)+l1,1vdvd(l(l+1)(2l+1)2l1,2vdvd+l2(2l+1)2l1,2vdvd)].\phantom{xxxxx}\frac{2}{\pi}\int k^{2}dk\;{\cal C}(k)\biggl{[}{\cal I}_{l+1,1}^{vd-vd}\biggl{(}\frac{(l+1)^{2}}{(2l+1)^{2}}{\cal I}_{l+1,2}^{vd-vd}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vd-vd}\biggr{)}+{\cal I}_{l-1,1}^{vd-vd}\biggl{(}-\frac{l(l+1)}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vd-vd}+\frac{l^{2}}{(2l+1)^{2}}{\cal I}_{l-1,2}^{vd-vd}\biggr{)}\biggr{]}. (79)

And again, in the limit of high ll and l,1vdvdl,2vdvd{\cal I}_{l,1}^{vd-vd}\equiv{\cal I}_{l,2}^{vd-vd}, we have that

limlCl,Avdvd=2π𝑑kk2𝒞(k)(lvdvd)2×(141414+14)=0.\lim_{l\rightarrow\infty}C_{l,A}^{vd-vd}=\frac{2}{\pi}\int dk\;k^{2}\;{\cal C}(k)\;({\cal I}_{l}^{vd-vd})^{2}\;\times\biggl{(}\frac{1}{4}-\frac{1}{4}-\frac{1}{4}+\frac{1}{4}\biggr{)}=0. (80)

A.5.2 The CBvdvd(n^1,n^2)C^{vd-vd}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) contribution

This case is again identical to the CBvvdd(n^1,n^2)C^{vv-dd}_{B}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2}) contribution. The final result is

CAvdvd(n^1,n^2)=l2l+14πPl(n^1n^2)Cl,Bvdvd=C^{vd-vd}_{A}(\hat{\mbox{\bf{n}}}_{1},\hat{\mbox{\bf{n}}}_{2})=\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})C_{l,B}^{vd-vd}=
l2l+14πPl(n^1n^2)2πk2𝑑k(𝒟(k))[l+1,1vdvdl+1,2vdvdl+12l+1+l1,1vdvdl1,2vdvdl2l+1].\phantom{xxxxxxxxxxxxx}\sum_{l}\frac{2l+1}{4\pi}P_{l}(\hat{\mbox{\bf{n}}}_{1}\cdot\hat{\mbox{\bf{n}}}_{2})\;\frac{2}{\pi}\int k^{2}dk\;(-{\cal D}(k))\biggl{[}{\cal I}_{l+1,1}^{vd-vd}{\cal I}_{l+1,2}^{vd-vd}\frac{l+1}{2l+1}+{\cal I}_{l-1,1}^{vd-vd}{\cal I}_{l-1,2}^{vd-vd}\frac{l}{2l+1}\biggr{]}. (81)

This term gives most of the contribution of ClvdvdC_{l}^{vd-vd} at high ll-s, and it is negative. It is always below the vvddvv-dd term, but it reduces the (positive) amplitude of that term.

limlCl,Bvdvd=2π𝑑kk2(𝒟(k))(lvvdd)2=limlClvdvd.\lim_{l\rightarrow\infty}C_{l,B}^{vd-vd}=\frac{2}{\pi}\int dk\;k^{2}\;(-{\cal D}(k))\;({\cal I}_{l}^{vv-dd})^{2}=\lim_{l\rightarrow\infty}C_{l}^{vd-vd}. (82)