Einasto profile as the halo model solution coupled to the depletion radius

Yifeng Zhou Department of Astronomy, School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China Key Laboratory for Particle Astrophysics and Cosmology (MOE), Shanghai 200240, China Shanghai Key Laboratory for Particle Physics and Cosmology, Shanghai 200240, China Jiaxin Han Department of Astronomy, School of Physics and Astronomy, Shanghai Jiao Tong University, Shanghai 200240, China Key Laboratory for Particle Astrophysics and Cosmology (MOE), Shanghai 200240, China Shanghai Key Laboratory for Particle Physics and Cosmology, Shanghai 200240, China Jiaxin Han yifengzhou@sjtu.edu.cn (YZ), jiaxin.han@sjtu.edu.cn (JH)
Abstract

We constrain the halo profiles outside the halo boundaries by solving for the matching profiles required by the halo model. In the halo model framework, the matter distribution in the universe can be decomposed into the spatial distribution of halos convolved with their internal structures. This leads to a set of linear equations in Fourier space which uniquely determines the optimal halo profiles for any given halo catalog. In this work, we construct three halo catalogs with different boundary definitions, and solve for the optimal profiles in each case using measurements of halo-matter and halo-halo power spectra. Our results show that for a given halo field, there is always a set of matching profiles to accurately reconstruct the input statistics of the matter field, even though it might be complex to model the profiles analytically. Comparing the solutions from different halo catalogs, we find their mass distributions inside the inner depletion radii are nearly identical, while they deviate from each other on larger scales, with a larger boundary resulting in a more extended profile. For the depletion radius based catalog, the numerical solution agrees well with the Einasto profile. Coupling the Einasto profile with the depletion catalog, the resulting halo model can simultaneously predict the halo-matter power spectra to 10%percent1010\%10 % and matter-matter power spectrum to 5%percent55\%5 %, improving over conventional models in both the interpretability and versatility.

1 Introduction

By assuming that all mass is contained within virialized objects called dark matter halos, the mass distribution of the Universe can be decomposed into the spatial distribution of halos, convolved by their internal structures. On large scales, the internal structures of halos become unimportant, and the halo model has been quite successful in tracing the large-scale structure (see e.g., Cooray & Sheth, 2002; Asgari et al., 2023, for reviews) of the Universe. On intermediate and small scales, however, an accurate halo model requires detailed modelling of the structures and boundaries of halos.

Conventionally, a halo is defined as a virialized object according to the virial radius, Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, as motivated by the spherical collapse model (Gunn & Gott, 1972). Using cosmological simulations, the spherically averaged halo profile out to the virial scale has been found to be well described by some empirical fitting functions such as the Navarro-Frenk-White (NFW, Navarro et al., 1995, 1996, 1997) or Einasto (Einasto, 1965; Merritt et al., 2006; Navarro et al., 2004, 2010) profiles. However, the halo model constructed using such profiles truncated at Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT does not fully match simulations, especially on the transition scale where halos start to intersect (e.g., García & Rozo, 2019; Mead et al., 2021; Zhou & Han, 2023). Some studies have made efforts to address this issue by introducing some global parameters or additional corrections on transition scales (Tinker et al., 2005; van den Bosch et al., 2013; Mead et al., 2015; Philcox et al., 2020), which further complicates the halo model. Therefore, to build a more concise and accurate halo model, more efforts are needed to quantify the matter distribution around the boundary of a halo as well as the definition of the halo boundary itself.

Physically, the virial radius is expected to only describe an equilibrium structure, while a growing halo is inevitably surrounded by a non-equilibrium region which extends beyond the virial radius. Significant gravitational influences of a halo on its satellites also start from a radius much larger than the virial radius (Ludlow et al., 2009; Bahé et al., 2013; Behroozi et al., 2014). Thus, the definition of the halo boundary should be revised to allow for a more extended profile beyond the virial radius. Many recent works have attempted to introduce new boundaries to more physically define a halo. A widely studied candidate is the splashback radius, which is defined at the first apocenter of the orbit of the an infalling particle in a growing halo (Fillmore & Goldreich, 1984; Bertschinger, 1985; Adhikari et al., 2014; Diemer & Kravtsov, 2014; Shi, 2016; Mansfield et al., 2017). In practice, it is often estimated from the steepest location in the halo density profile (More et al., 2015). The macroscopic effect of halo growth is to cause a drop in its environmental density. Accordingly, Fong & Han (2021) proposed a new halo boundary called the depletion radius which separates the growing part of a halo from the fading environment. According to continuity, the depletion radius can be found at the radius of the maximum mass infall rate.111Fong & Han (2021) introduced two radii called the inner and characteristic depletion radius respectively. Unless explicitly specified, in this work will use the term depletion radius to specifically refer to the inner depletion radius.The depletion of the environment due to halo growth is shown to be responsible for the creation of a minimum in the bias profile around a halo, leading to an alternative representation of the depletion radius in the bias domain (Fong & Han, 2021; Gao et al., 2023). Some other works have attempted to define the radius of a halo using characteristics in the velocity profile (e.g., Cuesta et al., 2008; Bose & Loeb, 2021; Pizzardo et al., 2023a), phase space structure (Tomooka et al., 2020; Aung et al., 2021) or the mass profile (Pizzardo et al., 2023b). These boundary definitions characterize the halo with different physical motivations, providing us complementary insights to the structure of a dark matter halo.

Ideally, the halo profile should be self-consistent with its boundary definition so that the profile terminates at the boundary. However, because halos are intrinsically aspherical (Jing & Suto, 2002; Allgood et al., 2006; Mansfield et al., 2017; Wang et al., 2022), and more importantly, because of ongoing mergers which temporarily extend and distort the domain of a halo, the spherically average density profile can not be crudely truncated at the halo boundary. Instead, a smooth truncation is desired to better describe the halo structure outside a spherical boundary in practice.

A smoothly truncated profile leads to a question: what is the profile outside a given halo boundary? Directly measuring the halo outer profile is difficult in simulations because it is unclear how mass should be partitioned among neighboring halos. To mitigate this problem, some recent works have considered halos and a background density field separately. For example, by partitioning particles around a halo in phase space, the halo profile can be split into orbiting and infalling parts (Diemer, 2022, 2023; García et al., 2023; Salazar et al., 2024). Chen & Afshordi (2023) considered the linear density field as a background and derived the profiles of halos in excess of this background field in Fourier space. Because the density field is a convolution of the halo field with the density profiles of halos, in Fourier space the halo profiles can be solved explicitly and self-consistently from the matter and halo fields. However, because they considered the halo profile in excess of the linear density field, the resulting profiles are not directly applicable to the classical halo model and can have negative values.

In this work, we will work in the classical halo model framework and study the outer profiles of halos in light of recent developments in the halo boundary definition. Using a similar method to Chen & Afshordi (2023), we will solve for the halo profiles in Fourier space and investigate how the recovered profiles depend on the adopted halo boundary of the input catalog. Transforming the solutions back to real space, we will investigate the analytical properties of the reconstructed profiles, as well as their performances in reproducing additional large scale structure statistics when inserted back to a halo model. Through these analysis, we aim to answer a series of fundamental questions regarding halo profile and halo boundary, including i) For each given halo catalog corresponding to a given halo boundary, is there always a matching set of halo profiles to be used in the halo model? ii) With the matching profile to the halo boundary, how well does the resulting halo model work in predicting additional large scale structure statistics not used to constrain the model? iii) For different boundary choices, is there an optimal boundary to produce the best halo model, and what is the physical implication of such a choice if it exists?

This paper is organized as follows. In Section 2 we describe the method used for constraining the halo profile. In Section 3, we describe the simulation data and introduce three halo catalogs corresponding to different boundary definitions. Section 4 shows the reconstructed profiles for the three catalogs, and evaluates their performances in predicting the matter-matter power spectrum. We discuss the stability of our method on large scales and the impacts of unresolved mass in Section 6. Finally, in Section 7, we summarize the results of this paper.

2 Method

In this section we derive the set of linear equations for constraining the halo profiles in Fourier space, and explain how we account for unresolved halos and diffuse matter which distinguishes our model from some other similar methods.

2.1 Constraining halo profiles in the halo model framework

The cross power spectrum of the matter field and a halo population with mass M𝑀Mitalic_M and mean number density n(M)𝑛𝑀n(M)italic_n ( italic_M ) can be expressed as

Phm(k|M)subscript𝑃hmconditional𝑘𝑀\displaystyle P_{\rm hm}(k|M)italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_M ) =Phm1h(k|M)+Phm2h(k|M),absentsubscriptsuperscript𝑃1hhmconditional𝑘𝑀subscriptsuperscript𝑃2hhmconditional𝑘𝑀\displaystyle=P^{\rm 1h}_{\rm hm}(k|M)+P^{\rm 2h}_{\rm hm}(k|M),= italic_P start_POSTSUPERSCRIPT 1 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_M ) + italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_M ) , (1)
Phm1h(k|M)subscriptsuperscript𝑃1hhmconditional𝑘𝑀\displaystyle P^{\rm 1h}_{\rm hm}(k|M)italic_P start_POSTSUPERSCRIPT 1 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_M ) =W(k|M)ρ¯m,absent𝑊conditional𝑘𝑀subscript¯𝜌m\displaystyle=\frac{W(k|M)}{\bar{\rho}_{\rm m}},= divide start_ARG italic_W ( italic_k | italic_M ) end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG , (2)
Phm2h(k|M)subscriptsuperscript𝑃2hhmconditional𝑘𝑀\displaystyle P^{\rm 2h}_{\rm hm}(k|M)italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_M ) =1ρ¯mn(m)Phh2h(k|m,M)W(k|m)dm,absent1subscript¯𝜌m𝑛𝑚subscriptsuperscript𝑃2hhhconditional𝑘𝑚𝑀𝑊conditional𝑘𝑚differential-d𝑚\displaystyle=\frac{1}{\bar{\rho}_{\rm m}}\int n(m)P^{\rm 2h}_{\rm hh}(k|m,M)W% (k|m)\mathrm{d}m,= divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∫ italic_n ( italic_m ) italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m , italic_M ) italic_W ( italic_k | italic_m ) roman_d italic_m , (3)

where ρ¯msubscript¯𝜌m\bar{\rho}_{\rm m}over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT is the mean density of the Universe, Phh2hsuperscriptsubscript𝑃hh2hP_{\rm hh}^{\rm 2h}italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT is the two halo term of the halo-halo power spectrum between halos of mass m𝑚mitalic_m and M𝑀Mitalic_M, adn W(k|m)𝑊conditional𝑘𝑚W(k|m)italic_W ( italic_k | italic_m ) is the halo density profile in Fourier space. The relations of k𝑘kitalic_k-space profile W(k|M)𝑊conditional𝑘𝑀W(k|M)italic_W ( italic_k | italic_M ) and real-space profile ρ(r|M)𝜌conditional𝑟𝑀\rho(r|M)italic_ρ ( italic_r | italic_M ) are given by

W(k)𝑊𝑘\displaystyle W(k)italic_W ( italic_k ) =0ρ(r|M)sin(kr)kr4πr2dr,absentsubscriptsuperscript0𝜌conditional𝑟𝑀𝑘𝑟𝑘𝑟4𝜋superscript𝑟2differential-d𝑟\displaystyle=\int^{\infty}_{0}\rho(r|M)\frac{\sin(kr)}{kr}4\pi r^{2}\mathrm{d% }r,= ∫ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ρ ( italic_r | italic_M ) divide start_ARG roman_sin ( italic_k italic_r ) end_ARG start_ARG italic_k italic_r end_ARG 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_d italic_r , (4)
ρ(k)𝜌𝑘\displaystyle\rho(k)italic_ρ ( italic_k ) =1(2π)30ρ(r|M)sin(kr)kr4πk2dk.absent1superscript2𝜋3subscriptsuperscript0𝜌conditional𝑟𝑀𝑘𝑟𝑘𝑟4𝜋superscript𝑘2differential-d𝑘\displaystyle=\frac{1}{(2\pi)^{3}}\int^{\infty}_{0}\rho(r|M)\frac{\sin(kr)}{kr% }4\pi k^{2}\mathrm{d}k.= divide start_ARG 1 end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_ρ ( italic_r | italic_M ) divide start_ARG roman_sin ( italic_k italic_r ) end_ARG start_ARG italic_k italic_r end_ARG 4 italic_π italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_d italic_k . (5)

In this case, W(k)𝑊𝑘W(k)italic_W ( italic_k ) converges to the integrated mass Mintsubscript𝑀intM_{\rm int}italic_M start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT of the density profile when k𝑘kitalic_k goes to 0. Equations (1) to (3) show clearly that the halo-matter power spectrum is the linear combination of the halo profiles, which implies that the halo profiles can be completely solved with enough independent constraints.

We now proceed to divide halos into l𝑙litalic_l mass bins to establish such constraints. Considering the halo-matter power spectrum of the i𝑖iitalic_ith mass bin at k𝑘kitalic_k, Equation (1) can be rewritten as,

Phm(k|mi)subscript𝑃hmconditional𝑘subscript𝑚𝑖\displaystyle P_{\rm hm}(k|m_{i})italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) =W(k|mi)ρ¯mabsent𝑊conditional𝑘subscript𝑚𝑖subscript¯𝜌m\displaystyle=\frac{W(k|m_{i})}{\bar{\rho}_{\rm m}}= divide start_ARG italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG
+1ρ¯mj=1ln(mj)Phh2h(k|mj,mi)W(k|mj).1subscript¯𝜌msubscriptsuperscript𝑙𝑗1𝑛subscript𝑚𝑗subscriptsuperscript𝑃2hhhconditional𝑘subscript𝑚𝑗subscript𝑚𝑖𝑊conditional𝑘subscript𝑚𝑗\displaystyle+\frac{1}{\bar{\rho}_{\rm m}}\sum^{l}_{j=1}n(m_{j})P^{\rm 2h}_{% \rm hh}(k|m_{j},m_{i})W(k|m_{j}).+ divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) . (6)

Here the integral over mass has been replaced with the summation. Equation (6) contains l𝑙litalic_l unknown variables W(k|mj)𝑊conditional𝑘subscript𝑚𝑗W(k|m_{j})italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) at each k𝑘kitalic_k. By combining the halo-matter power spectra from l𝑙litalic_l mass bins, a set of solution for W(k|mj)(j=1..l)W(k|m_{j})(j=1..l)italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ( italic_j = 1 . . italic_l ) can be completely determined.

To organize the equations into a compact form, we define the following vectors

h =(Phm(k|m1)Phm(k|m2)Phm(k|ml)),absentsubscript𝑃hmconditional𝑘subscript𝑚1missing-subexpressionmissing-subexpressionmissing-subexpressionsubscript𝑃hmconditional𝑘subscript𝑚2missing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript𝑃hmconditional𝑘subscript𝑚𝑙missing-subexpressionmissing-subexpressionmissing-subexpression\displaystyle=\left(\begin{array}[]{cccc}P_{\rm hm}(k|m_{1})\\ P_{\rm hm}(k|m_{2})\\ \vdots\\ P_{\rm hm}(k|m_{l})\\ \end{array}\right),= ( start_ARRAY start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ) , (11)
w =(W(k|m1)W(k|m2)W(k|ml)).absent𝑊conditional𝑘subscript𝑚1missing-subexpressionmissing-subexpressionmissing-subexpression𝑊conditional𝑘subscript𝑚2missing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpression𝑊conditional𝑘subscript𝑚𝑙missing-subexpressionmissing-subexpressionmissing-subexpression\displaystyle=\left(\begin{array}[]{cccc}W(k|m_{1})\\ W(k|m_{2})\\ \vdots\\ W(k|m_{l})\\ \end{array}\right).= ( start_ARRAY start_ROW start_CELL italic_W ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_W ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ) . (16)

and tensors

H =(Phh(k|m1,m1)Phh(k|m1,m2)Phh(k|m1,ml)Phh(k|m2,m1)Phh(k|m2,m2)Phh(k|m2,ml)Phh(k|ml,m1)Phh(k|ml,m2)Phh(k|ml,ml)),absentsubscript𝑃hhconditional𝑘subscript𝑚1subscript𝑚1subscript𝑃hhconditional𝑘subscript𝑚1subscript𝑚2subscript𝑃hhconditional𝑘subscript𝑚1subscript𝑚𝑙subscript𝑃hhconditional𝑘subscript𝑚2subscript𝑚1subscript𝑃hhconditional𝑘subscript𝑚2subscript𝑚2subscript𝑃hhconditional𝑘subscript𝑚2subscript𝑚𝑙missing-subexpressionmissing-subexpressionmissing-subexpressionsubscript𝑃hhconditional𝑘subscript𝑚𝑙subscript𝑚1subscript𝑃hhconditional𝑘subscript𝑚𝑙subscript𝑚2subscript𝑃hhconditional𝑘subscript𝑚𝑙subscript𝑚𝑙\displaystyle=\left(\begin{array}[]{cccc}P_{\rm hh}(k|m_{1},m_{1})&P_{\rm hh}(% k|m_{1},m_{2})&\cdots&P_{\rm hh}(k|m_{1},m_{l})\\ P_{\rm hh}(k|m_{2},m_{1})&P_{\rm hh}(k|m_{2},m_{2})&\cdots&P_{\rm hh}(k|m_{2},% m_{l})\\ \vdots\\ P_{\rm hh}(k|m_{l},m_{1})&P_{\rm hh}(k|m_{l},m_{2})&\cdots&P_{\rm hh}(k|m_{l},% m_{l})\\ \end{array}\right),= ( start_ARRAY start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_CELL end_ROW end_ARRAY ) , (21)
N =(n(m1)00n(m2)00n(ml))absent𝑛subscript𝑚100𝑛subscript𝑚200𝑛subscript𝑚𝑙\displaystyle=\left(\begin{array}[]{cccc}n(m_{1})&\cdots&\cdots&0\\ 0&n(m_{2})&\cdots&0\\ \vdots&\vdots&\vdots&\vdots\\ 0&\cdots&\cdots&n(m_{l})\\ \end{array}\right)= ( start_ARRAY start_ROW start_CELL italic_n ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL ⋯ end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL italic_n ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL ⋯ end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL ⋯ end_CELL start_CELL ⋯ end_CELL start_CELL italic_n ( italic_m start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_CELL end_ROW end_ARRAY ) (26)

So that, the constraints on the halo profiles can be rewritten as

h=1ρ¯m(I+HN)w.h1subscript¯𝜌mIHNw\textbf{{h}}=\frac{1}{\bar{\rho}_{\rm m}}(\textbf{I}+\textbf{HN})\textbf{{w}}.h = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ( I + HN ) w . (27)

where I is the identity matrix. With h, H, N measured from the simulation data, w can be solved directly from the above equation, independently for each k𝑘kitalic_k mode.

2.2 Accounting for unresolved halos and diffuse matter

Theoretically, the halo mass bins in Equation (27) should cover the complete mass spectrum of halos. However, due to free streaming of cold dark matter particles(e.g., Green et al., 2005; Profumo et al., 2006; Schneider et al., 2013), and due to the finite resolution of numerical simulations, halos can only be resolved and modeled down to a certain mass limit. It is thus necessary to introduce an unresolved mass component to account for the contribution from unresolved halos as well as from some potential diffuse matter, so that Equation (27) becomes

h=1ρ¯m(I+HN)w+c.h1subscript¯𝜌mIHNwc\textbf{{h}}=\frac{1}{\bar{\rho}_{\rm m}}(\textbf{I}+\textbf{HN})\textbf{{w}}+% \textbf{{c}}.h = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ( I + HN ) w + c . (28)

Here we have defined a vector

c=(Phmu(k|m1)Phmu(k|m2)Phmu(k|mn)),csuperscriptsubscript𝑃hmuconditional𝑘subscript𝑚1missing-subexpressionmissing-subexpressionmissing-subexpressionsuperscriptsubscript𝑃hmuconditional𝑘subscript𝑚2missing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionmissing-subexpressionsuperscriptsubscript𝑃hmuconditional𝑘subscript𝑚𝑛missing-subexpressionmissing-subexpressionmissing-subexpression\textbf{{c}}=\left(\begin{array}[]{cccc}P_{\rm hm}^{\rm u}(k|m_{1})\\ P_{\rm hm}^{\rm u}(k|m_{2})\\ \vdots\\ P_{\rm hm}^{\rm u}(k|m_{n})\\ \end{array}\right),c = ( start_ARRAY start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ) , (29)

where Phmusuperscriptsubscript𝑃hmuP_{\rm hm}^{\rm u}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT is the cross power spectrum between halo and unresolved mass.

Zhou & Han (2023) modeled the unresolved component ξhmu(r|m)subscriptsuperscript𝜉uhmconditional𝑟𝑚\xi^{\rm u}_{\rm hm}(r|m)italic_ξ start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_r | italic_m ) in real space by approximating the unresolved halos as mass points distributed outside the exclusion radius, so that ξhmu(r|m)subscriptsuperscript𝜉uhmconditional𝑟𝑚\xi^{\rm u}_{\rm hm}(r|m)italic_ξ start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_r | italic_m ) can be expressed as a universal halo-halo correlation ξ^hh(r)subscript^𝜉hh𝑟\hat{\xi}_{\rm hh}(r)over^ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_r ) multiplied by the effective bias of the unresolved component, bunrsubscript𝑏unrb_{\rm unr}italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT, with a truncation due to halo exclusion. The expressions of these quantities are detailed in Appendix A. We will model the unresolved halo-matter correlation function following this form and convert it to Phmusuperscriptsubscript𝑃hmuP_{\rm hm}^{\rm u}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT in Fourier space.

Equation (28) forms the basis for our solution to the halo density profile. We also compare the solutions with and without the unresolved term in Section 6, and find that the unresolved term impact the mass distribution in the halo outskirts, especially for low mass halos.

3 Simulation and halo samples

3.1 Simulation data

We use a Lambda Cold Dark Matter simulation, which is one of the CosmicGrowth simulations (Jing, 2019) run with a P3M code, to extract the data of halo and matter fields. The simulation was run in a box of side length 600h1Mpcsuperscript1Mpch^{-1}\mathrm{Mpc}italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc containing 30723superscript307233072^{3}3072 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT particles with cosmological parameters Ωm=0.268subscriptΩm0.268\Omega_{\rm m}=0.268roman_Ω start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT = 0.268, ΩΛ=0.732subscriptΩΛ0.732\Omega_{\Lambda}=0.732roman_Ω start_POSTSUBSCRIPT roman_Λ end_POSTSUBSCRIPT = 0.732, h=0.7040.704h=0.704italic_h = 0.704, ns=0.968subscript𝑛s0.968n_{\rm s}=0.968italic_n start_POSTSUBSCRIPT roman_s end_POSTSUBSCRIPT = 0.968, and σ8=0.830subscript𝜎80.830\sigma_{8}=0.830italic_σ start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT = 0.830.

The candidate halos are identified by the the Friends-of-Friends (FoF) algorithm with a standard linking parameter of 0.2, and then processed with HBT+ (Han et al., 2012, 2018) to identify subhalos. We define the virial mass of a halo as the mass enclosed in a sphere with a virial density according to the spherical collapse model (Bryan & Norman, 1998), and the corresponding radius is the virial radius, Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT. The depletion radii of individual halos are estimated using the relation Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT=2.1Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT (Fong & Han, 2021; Gao et al., 2023).

We construct an original sample with about 2×1062superscript1062\times 10^{6}2 × 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT distinct halos by selecting candidate objects within a mass range of 11.50<log10[m/(h1M)]<15.3511.50subscriptlog10delimited-[]𝑚superscript1subscriptMdirect-product15.3511.50<{\rm log}_{10}[m/(h^{-1}{\rm M}_{\odot})]<15.3511.50 < roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT [ italic_m / ( italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT ) ] < 15.35 at z=0. These halos are divided into seven logarithmic mass bins with equal spacing. To investigate how the definitions of the exclusion radius affect the halo outer profiles, halos are further selected according to the exclusion criteria, resulting in three halo catalogs. We put more details about the cleaning in Section 3.2.

3.2 Halo catalogs with different exclusion criteria

Zhou & Han (2023) has demonstrated that the matter field can be decomposed into some self-similar halo distributions convolved by the Einasto profiles when halos are selected according to the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT. Considering the physical picture that the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT separate the growing halo and the depleting environment (Fong & Han, 2021; Gao et al., 2023), it is natural to choose the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT as the exclusion radius of halos. This choice is also supported by the fact that Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT was found to coincide with the optimal exclusion radius in a flexible halo model (García et al., 2021).

Nevertheless, as we will show in Section 4 below, it is still possible to build accurate halo models using other halo catalogs than the depletion catalog, at least for reproducing the halo-matter correlation as long as appropriate halo profiles are chosen.

To investigate these different solutions, we construct three halo catalogs by selecting halos according to different exclusion radii from the original catalog. These catalogs are named as

  • Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog: The exclusion radius Rexsubscript𝑅exR_{\rm ex}italic_R start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT is defined as the virial radius;

  • Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog: The exclusion radius Rexsubscript𝑅exR_{\rm ex}italic_R start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT is defined as the inner depletion radius;

  • 3Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog: The exclusion radius Rexsubscript𝑅exR_{\rm ex}italic_R start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT is defined as three times the virial radius.

For each catalog, we remove halos which intersect with a more massive neighbor. Specifically, if the distance between a halo pair is smaller than the sum of their exclusion radii, we remove the smaller one from the catalog. We define a exclusion scale of two halo populations rex=Rex(m1)+Rex(m2)subscript𝑟exsubscript𝑅exsubscript𝑚1subscript𝑅exsubscript𝑚2r_{\rm ex}=R_{\rm ex}(m_{1})+R_{\rm ex}(m_{2})italic_r start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT = italic_R start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) + italic_R start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). Within rexsubscript𝑟exr_{\rm ex}italic_r start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT, there is no pair of halos with m1subscript𝑚1m_{1}italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and m2subscript𝑚2m_{2}italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT due to exclusion. The remaining halos form a cleaned catalog with statistics such as the halo mass function and halo-halo correlation different from those in the original catalog. In practice, FoF halos hardly overlap in the virial region because the linking parameter is optimized for disentangling halos according to the virial radius. Thus, the resulting statistics of the original and Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalogs are nearly identical.

Figure 1 illustrates how halos are distributed in different catalogs. In the left panel, all candidate halos are “isolated” and contained in the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog since they do not overlap in their virial regions. As the exclusion radius increases in the right panels, more and more halos are removed from the catalog, and halos become more sparse. Correspondingly, it is natural to expect a steeper outer profile when halos are selected with a smaller exclusion criteria, and vice versa, to avoid double counting masses from halos.

Refer to caption
Figure 1: The halo distributions in three catalogs. The projected map of a small region in the simulation box with a thickness of 3h1Mpcsuperscript1Mpch^{-1}{\rm Mpc}italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc is shown, with halos marked by solid circles according to different boundary definitions from left to right. The dashed circles mark removed halos in each catalog according to the exclusion criteria. There are several solid circles overlapping because of the projection effect.

3.3 Measuring the power spectra

The auto and cross-power spectra are computed from the three-dimensional matter density field and halo fields in seven mass bins using pylians (Villaescusa-Navarro, 2018). We use the cloud-in-cell (CIC) scheme to assign particles to the mesh. The simulation box with side length L=600h1Mpc𝐿600superscript1MpcL=600h^{-1}\mathrm{Mpc}italic_L = 600 italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc is divided into N3=10243superscript𝑁3superscript10243N^{3}=1024^{3}italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT = 1024 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT voxels so that the smallest and largest k𝑘kitalic_k modes accessible should be determined as kmin=2π/Lsubscript𝑘min2𝜋𝐿k_{\rm min}=2\pi/Litalic_k start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 2 italic_π / italic_L and kmax=πN/Lsubscript𝑘max𝜋𝑁𝐿k_{\rm max}=\pi N/Litalic_k start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = italic_π italic_N / italic_L where kmaxsubscript𝑘maxk_{\rm max}italic_k start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT is estimated as the Nyquist frequency.

For a Gaussian field, the statistical error on the power spectra can be estimated as (Hamilton, 1997; Bernardeau et al., 2002)

ΔPaaΔsubscript𝑃aa\displaystyle\Delta P_{\rm aa}roman_Δ italic_P start_POSTSUBSCRIPT roman_aa end_POSTSUBSCRIPT =(2Nmode)1/2[Paa+Pashot],absentsuperscript2subscript𝑁mode12delimited-[]subscript𝑃aasubscriptsuperscript𝑃shota\displaystyle=\left(\frac{2}{N_{\rm mode}}\right)^{1/2}\left[P_{\rm aa}+P^{\rm shot% }_{\rm a}\right],= ( divide start_ARG 2 end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_mode end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT [ italic_P start_POSTSUBSCRIPT roman_aa end_POSTSUBSCRIPT + italic_P start_POSTSUPERSCRIPT roman_shot end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT ] , (30)
ΔPabΔsubscript𝑃ab\displaystyle\Delta P_{\rm ab}roman_Δ italic_P start_POSTSUBSCRIPT roman_ab end_POSTSUBSCRIPT =(2Nmode)1/2Pab2+(Paa+Pashot)(Pbb+Pbshot)2,absentsuperscript2subscript𝑁mode12subscriptsuperscript𝑃2absubscript𝑃aasubscriptsuperscript𝑃shotasubscript𝑃bbsubscriptsuperscript𝑃shotb2\displaystyle=\left(\frac{2}{N_{\rm mode}}\right)^{1/2}\sqrt{\frac{P^{2}_{\rm ab% }+(P_{\rm aa}+P^{\rm shot}_{\rm a})(P_{\rm bb}+P^{\rm shot}_{\rm b})}{2}},= ( divide start_ARG 2 end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_mode end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_ab end_POSTSUBSCRIPT + ( italic_P start_POSTSUBSCRIPT roman_aa end_POSTSUBSCRIPT + italic_P start_POSTSUPERSCRIPT roman_shot end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT ) ( italic_P start_POSTSUBSCRIPT roman_bb end_POSTSUBSCRIPT + italic_P start_POSTSUPERSCRIPT roman_shot end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_b end_POSTSUBSCRIPT ) end_ARG start_ARG 2 end_ARG end_ARG , (31)

where Paasubscript𝑃aaP_{\rm aa}italic_P start_POSTSUBSCRIPT roman_aa end_POSTSUBSCRIPT and Pabsubscript𝑃abP_{\rm ab}italic_P start_POSTSUBSCRIPT roman_ab end_POSTSUBSCRIPT are the auto and cross power spectra. Pshotsuperscript𝑃shotP^{\rm shot}italic_P start_POSTSUPERSCRIPT roman_shot end_POSTSUPERSCRIPT is the shot noise. Nmode(k)2π/(kΔkV)similar-to-or-equalssubscript𝑁mode𝑘2𝜋𝑘Δ𝑘𝑉N_{\rm mode}(k)\simeq 2\pi/(k\sqrt{\Delta kV})italic_N start_POSTSUBSCRIPT roman_mode end_POSTSUBSCRIPT ( italic_k ) ≃ 2 italic_π / ( italic_k square-root start_ARG roman_Δ italic_k italic_V end_ARG ) is the number of k𝑘kitalic_k modes in a bins centered at k𝑘kitalic_k, ΔkΔ𝑘\Delta kroman_Δ italic_k is the bin width, and V𝑉Vitalic_V is the volume of the box.

In practice, the raw power spectrum Pr(k)subscript𝑃r𝑘P_{\rm r}(k)italic_P start_POSTSUBSCRIPT roman_r end_POSTSUBSCRIPT ( italic_k ) obtained from fast Fourier transform (FFT) is a smoothed version of the true power spectrum due to the window function effect from mass assignment scheme, and suffers from the aliasing effect due to discrete sampling of the field (Baugh & Efstathiou, 1994; Jing, 2005). To correct for these effects, we also compute the power spectrum from the Fourier transform of the correlation function,

P(k)=rminrmaxξ(r)sin(kr)kr4πr2dr,superscript𝑃𝑘superscriptsubscriptsubscript𝑟minsubscript𝑟max𝜉𝑟𝑘𝑟𝑘𝑟4𝜋superscript𝑟2differential-d𝑟P^{\prime}(k)=\int_{r_{\rm min}}^{r_{\rm max}}\xi(r)\frac{\sin(kr)}{kr}4\pi r^% {2}\mathrm{d}r,italic_P start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_k ) = ∫ start_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_ξ ( italic_r ) divide start_ARG roman_sin ( italic_k italic_r ) end_ARG start_ARG italic_k italic_r end_ARG 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_d italic_r , (32)

where rmin=0.02h1Mpcsubscript𝑟min0.02superscript1Mpcr_{\rm min}=0.02h^{-1}{\rm Mpc}italic_r start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT = 0.02 italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc and rmax=90h1Mpcsubscript𝑟max90superscript1Mpcr_{\rm max}=90h^{-1}{\rm Mpc}italic_r start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 90 italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc. The correlation function ξ(r)𝜉𝑟\xi(r)italic_ξ ( italic_r ) is directly measured from the simulation for 0.0220h1Mpcsimilar-to0.0220superscript1Mpc0.02\sim 20h^{-1}{\rm Mpc}0.02 ∼ 20 italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc and extrapolated to 90h1Mpc90superscript1Mpc90h^{-1}{\rm Mpc}90 italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc using the linear correlation function computed with colossus (Diemer, 2018). With rminsubscript𝑟minr_{\rm min}italic_r start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT much smaller than the grid size of the FFT, the Fourier transform of the correlation function is closer to the true power spectrum on small scale, but may lose some large-scale information due to our limited rmaxsubscript𝑟maxr_{\rm max}italic_r start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT in the transform. We thus combine the two to give our final measurement of the power spectrum as

P(k)={Pr(k)k<0.5hMpc1P(k)k0.5hMpc1𝑃𝑘casessubscript𝑃r𝑘missing-subexpression𝑘0.5superscriptMpc1superscript𝑃𝑘missing-subexpression𝑘0.5superscriptMpc1P(k)=\left\{\begin{array}[]{rcl}P_{\rm r}(k)&&k<0.5h{\rm Mpc}^{-1}\\ P^{\prime}(k)&&k\geq 0.5h{\rm Mpc}^{-1}\end{array}\right.italic_P ( italic_k ) = { start_ARRAY start_ROW start_CELL italic_P start_POSTSUBSCRIPT roman_r end_POSTSUBSCRIPT ( italic_k ) end_CELL start_CELL end_CELL start_CELL italic_k < 0.5 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_P start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_k ) end_CELL start_CELL end_CELL start_CELL italic_k ≥ 0.5 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT end_CELL end_ROW end_ARRAY (33)

Figure 2 shows the raw and corrected power spectra for k<kmax𝑘subscript𝑘maxk<k_{\rm max}italic_k < italic_k start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. We find that the FFT estimation of the halo-matter power spectrum is significantly biased for k>1hMpc1𝑘1superscriptMpc1k>1h\mathrm{Mpc}^{-1}italic_k > 1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. This is mostly due to the window function effect which smoothes out the halo-matter correlation on small scale. After correction, the power spectrum is higher. For the matter-matter power spectrum, the raw power spectrum is affected by numerical effects near the Nyquist frequency. We do not correct the halo-halo power spectra because the exclusion scale kex=1/rexsubscript𝑘ex1subscript𝑟exk_{\rm ex}=1/r_{\rm ex}italic_k start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT = 1 / italic_r start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT is smaller than 1hMpc11superscriptMpc11h\mathrm{Mpc}^{-1}1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT for most halo pairs, beyond which the halo-halo power spectrum is unimportant as we will discuss in Section 6.

Refer to caption
Figure 2: The raw power spectra measured using pylians (Villaescusa-Navarro, 2018) (dotted curves) and the corrected power spectra from Equation (30) (solid curves). Phmsubscript𝑃hmP_{\rm hm}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT is the cross power spectrum of the matter field and the halo population with mass 1011.50<(m/h1M)<1012.05superscript1011.50𝑚superscript1subscriptMdirect-productsuperscript1012.0510^{11.50}<(m/h^{-1}{\rm M}_{\odot})<10^{12.05}10 start_POSTSUPERSCRIPT 11.50 end_POSTSUPERSCRIPT < ( italic_m / italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT ) < 10 start_POSTSUPERSCRIPT 12.05 end_POSTSUPERSCRIPT.

To concentrate on the transition region we are interested in, in the following we will focus on the power spectra in the range of 0.1<k<3hMpc10.1𝑘3superscriptMpc10.1<k<3h\mathrm{Mpc}^{-1}0.1 < italic_k < 3 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, which is a narrower range than kmin<k<kmaxsubscript𝑘min𝑘subscript𝑘maxk_{\rm min}<k<k_{\rm max}italic_k start_POSTSUBSCRIPT roman_min end_POSTSUBSCRIPT < italic_k < italic_k start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT. This k𝑘kitalic_k range corresponds to a radial range from several to about sixty h1Mpcsuperscript1Mpch^{-1}\mathrm{Mpc}italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Mpc, containing information about halo profiles in the transition region.

García & Rozo (2019) and Zhou & Han (2023) have illustrated how the exclusion scheme impacts the statistics of halo populations in real space. Here, we show some statistics of different halo catalogs in Fourier space. Figure 3 shows the halo-matter power spectra Phmsubscript𝑃hmP_{\rm hm}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPTs and the halo-halo power spectra Phhsubscript𝑃hhP_{\rm hh}italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPTs of three mass bins. For a given halo catalog, with increasing halo mass Phmsubscript𝑃hmP_{\rm hm}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT and Phhsubscript𝑃hhP_{\rm hh}italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT are higher and Phhsubscript𝑃hhP_{\rm hh}italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT truncates at a larger scale. This is because the halo bias b𝑏bitalic_b and the exclusion scale rexsubscript𝑟exr_{\rm ex}italic_r start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT are increasing functions with respect to halo mass m𝑚mitalic_m. Comparing the measurements from different catalogs for a given mass bin, Phmsubscript𝑃hmP_{\rm hm}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT and Phhsubscript𝑃hhP_{\rm hh}italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT are lower with increasing exclusion radius because halos are less clustered in a catalog with larger exclusion radii. On small scales, Phmsubscript𝑃hmP_{\rm hm}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPTs converge because the exclusion scheme hardly affects the small-scale matter distribution around halo centers. Phhsubscript𝑃hhP_{\rm hh}italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT truncates at larger scales with increasing exclusion radius. Across mass bins, we find the difference between Phmsubscript𝑃hmP_{\rm hm}italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPTs of different catalogs decreases with increasing halo mass, since the exclusion scheme significantly affects the statistics of low-mass halos but the impacts become weak for high-mass halos.

Refer to caption
Figure 3: Comparison of population statistics from different halo catalogs. Top: the halo-matter power spectra Phm(k|m)subscript𝑃hmconditional𝑘𝑚P_{\rm hm}(k|m)italic_P start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k | italic_m ) for logarithmic mass bins [11.50,12.05]11.5012.05[11.50,12.05][ 11.50 , 12.05 ], [12.60,13.15]12.6013.15[12.60,13.15][ 12.60 , 13.15 ], and [13.70,14.25]13.7014.25[13.70,14.25][ 13.70 , 14.25 ]. Bottom: halo-halo power spectra Phh(k|m,m)subscript𝑃hhconditional𝑘𝑚superscript𝑚P_{\rm hh}(k|m,m^{\prime})italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m , italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ). msuperscript𝑚m^{\prime}italic_m start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is in the logarithmic mass bin [11.50,12.05]11.5012.05[11.50,12.05][ 11.50 , 12.05 ] and m𝑚mitalic_m are in the same mass bins as top plots.

4 Numerical solutions for the halo density profiles

4.1 Matching halo profiles in Fourier space

We measure the halo mass function, the halo-halo power spectra, and the halo-matter power spectra from the simulation, and then solve Equation (28) to obtain the halo profiles. As the large-scale statistics of halos depend on the exclusion criterion, the solution to Equation (28) varies with halo catalogs. We refer to these solutions as the matching profiles to each halo catalog.

Figure 4 shows the matching profiles in Fourier space. For the depletion catalog, Zhou & Han (2023) found that the Einasto profile works well for constructing a halo model in real space. We thus fit the halo profiles in the depletion catalog within Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT using the Einasto formula in real space and invert them into Fourier space as references.

On small scales of k>1hMpc1𝑘1superscriptMpc1k>1h\mathrm{Mpc}^{-1}italic_k > 1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, the matching profiles follow the corresponding Einasto profiles well in all catalogs for halos with mass M>1012.05h1M𝑀superscript1012.05superscript1subscript𝑀direct-productM>10^{12.05}h^{-1}M_{\odot}italic_M > 10 start_POSTSUPERSCRIPT 12.05 end_POSTSUPERSCRIPT italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT. This is consistent with the fact that the inner profiles of halos are barely affected by the exclusion criteria.

On scales k<1hMpc1𝑘1superscriptMpc1k<1h\mathrm{Mpc}^{-1}italic_k < 1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, the profiles are more complicated. As k0𝑘0k\rightarrow 0italic_k → 0, W(k)𝑊𝑘W(k)italic_W ( italic_k ) approaches the integrated mass of the density profile. It is thus expected that this asymptotic amplitude of W(k)𝑊𝑘W(k)italic_W ( italic_k ) will increase as a larger exclusion radius is adopted, which is indeed the case in Figure 4 except for the lowest mass bin. In the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog, the optimal profiles are generally lower than the Einasto fits, while they are higher than the references in the 3Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog. By contrast, the profiles in the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog still follow the Einasto model well. For each profile, we have also shown the integrated mass up to the corresponding halo radius in each catalog, which is lower than the integrated mass as the profiles all extend beyond the exclusion radii.

In the lowest-mass bin, however, the matching profiles no longer follow the above expectations. In the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog, the matching profile of the lowest-mass bin is significantly higher than the Einasto fit and has not converged to a constant towards lower k𝑘kitalic_k. This can be largely attributed to improper modeling of the unresolved term (see Appendix A) in this catalog when solving for the matching profile. The lowest mass bin has masses closest to the unresolved halos and are thus the most degenerate with the unresolved component. We discuss the influence of the unresolved component further in section 6.

Another notable feature is that there are some fluctuations on scales k<1hMpc1𝑘1superscriptMpc1k<1h\mathrm{Mpc}^{-1}italic_k < 1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, especially in low-mass bins. According to Equation (30), the measurements of the power spectrum on larger scales have higher uncertainties. These uncertainties can be propagated to the solution via Equation (28). Low mass halos have a lower W(k)𝑊𝑘W(k)italic_W ( italic_k ), resulting in a much larger relative fluctuation.

In Figure 5 we also compare the matching profiles in the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog to the NFW profiles, which are more extended than the Einasto profiles and do not converge to a finite mass on large scale. It can be seen that the NFW fits agrees with the matching profiles on small scale, but over-predicts them on large scale.

Refer to caption
Figure 4: The matching profiles in Fourier space for the three catalogs. Solid curves are the profiles solved from Equation 28, while the dotted curves are the Einasto fits to the real-space profiles in the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog (identical across three panels). Different colors correspond to different mass bins. For each profile, the arrow on the left marks the total mass enclosed in its exclusion radius (i.e., Mvirsubscript𝑀virM_{\rm vir}italic_M start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, Midsubscript𝑀idM_{\rm id}italic_M start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT or M(<3RvirM({\rm<3R_{\rm vir}}italic_M ( < 3 roman_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT)).
Refer to caption
Figure 5: Comparison of the NFW profile, Einasto profile, and matching profile for the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog. The NFW profiles are fitted in real-space up to Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT and then transformed to k𝑘kitalic_k-space.

We verify that the solutions can accurately reproduce the halo-matter power spectra by inserting the matching profiles back into Equation (28), and found residuals less than 1012superscript101210^{-12}10 start_POSTSUPERSCRIPT - 12 end_POSTSUPERSCRIPT. Thus we conclude that, for a given halo catalog, there is indeed a set of matching profiles to accurately reconstruct the mass distribution around halos, at least in the halo-matter correlation.

4.2 Matching profiles in real space

To gain more physical insights into halo profiles, we transform the matching profiles into real space. As our Fourier space solutions only cover the scales 0.1<k<3hMpc10.1𝑘3superscriptMpc10.1<k<3h\mathrm{Mpc}^{-1}0.1 < italic_k < 3 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, extrapolations to both the high-k𝑘kitalic_k and low-k𝑘kitalic_k ends are needed before we can transform them to real space. According to the behaviors discussed above, we extrapolate the profiles using the Einasto fits on scales k>3hMpc1𝑘3superscriptMpc1k>3h\mathrm{Mpc}^{-1}italic_k > 3 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, and using constant values of W(k=0.1hMpc1)𝑊𝑘0.1superscriptMpc1W(k=0.1h\mathrm{Mpc}^{-1})italic_W ( italic_k = 0.1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ) for k<0.1hMpc1𝑘0.1superscriptMpc1k<0.1h\mathrm{Mpc}^{-1}italic_k < 0.1 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. The inverse Fourier transform (IFT) is evaluated over the k𝑘kitalic_k range of 0<k<103hMpc10𝑘superscript103superscriptMpc10<k<10^{3}h\mathrm{Mpc}^{-1}0 < italic_k < 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. Note that there are some potential numerical effects in the IFT. For instance, the IFT results can be affected by the missing high-k𝑘kitalic_k modes due to the finite k𝑘kitalic_k range used, resulting in noises at high frequency. In addition, the interpolation of k-space profiles can lead to false signals in the IFT results. To reduce noises caused by these effects, the final results are further smoothed using the Savitzky–Golay algorithm. We also invert the k𝑘kitalic_k-space Einasto profiles to real space by integrating over the same k𝑘kitalic_k range to avoid numerical effects in the comparison.

Refer to caption
Figure 6: The matching profiles for the three catalogs in real space. In each panel, the solid and dashed curves are the matching profiles and the reference Einasto profiles in real space, respectively. The upper triangles, lower triangles, and stars mark the locations of Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT, and 5Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, respectively.

Figure 6 shows the matching profiles in real space. For the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog, the profiles follow the Einasto profiles within 5Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT. On scales r>5Rvir𝑟5subscript𝑅virr>5R_{\rm vir}italic_r > 5 italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, the matching profiles deviate from the Einasto profiles, and are affected by numerical perturbations. In the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog, the matching profiles follow the Einasto profiles within Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT for all mass bins. Outside Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT they drop faster than the Einasto profiles and are also perturbed due to numerical effects. The exception comes from the lowest-mass bin whose profiles are higher than the Einasto profiles on scales r>Rid𝑟subscript𝑅idr>R_{\rm id}italic_r > italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT. Similarly, the matching profiles to the 3Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog follow the Einasto profiles within Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT, but become higher outside Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT except for the lowest mass bin. These behavior are all consistent with our previous discussions in frequency space.

Combining the three panels, it is very interesting to notice that the matching profiles inside Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT are nearly identical across the catalogs, while the outer profiles become more extended with increasing exclusion radii.

In the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog, the profiles follow the Einasto fits well out to a very large scale. This result agrees with the findings of Zhou & Han (2023), in which the halo-matter correlation functions are accurately modeled when coupling Einasto profiles to the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog. In this work, we directly solve the profile matched with the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog and find that the optimal profile can be analytically modeled with the Einasto formula, which automatically explains the choice of the halo profile in the Depletion-radius-based Halo Model (here after DHM) of Zhou & Han (2023). The deviations outside the 5Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT do not challenge this conclusion since the profile on very large scales is unimportant compared with the 2-halo term.

5 Towards an explicitly verifiable and versatile halo model for the large scale structure

The numerical solutions in section 4 illustrate that a matching halo profile exists for each halo catalog in accurately reproducing the halo-matter power spectrum. The remaining question is then whether and how these solutions may be used to construct accurate analytical halo models. To this end, it is desirable to have analytical prescriptions for each of the model components involved, including the halo profile, halo-halo correlation, halo mass function and the unresolved component which were mostly handled numerically rather than analytically in section 4. Establishing analytical prescriptions for these components is not always straightforward due to the complexity and non-universality of the components in some catalogs.

For the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog, however, we have showed that the Einasto profile is a good analytical model for the matching profile. In fact, such a profile has already been adopted in Zhou & Han (2023) when constructing the real-space halo model based on the depletion catalog, along with analytical recipes for all other components. It is thus straight-forward to translate the model of Zhou & Han (2023) to Fourier space for the prediction of the power spectrum. Now, we proceed to check how well this model works.

To construct the model, the profile parameters and the statistics of halos are generated using the fitting formula in Zhou & Han (2023). The Einasto profiles, the halo-halo correlations, and the unresolved halo-matter correlations are then converted to Fourier space and inserted into Equation (28) to predict the halo-matter power spectra. The predictions are shown in the left panel of Figure 7. The error bars show the standard errors estimated using Equation (31). We find that the DHM performs well in predicting the halo-matter power spectra, achieving about 10%percent\%% accuracy (within statistical errors). This performance agrees with that of DHM in real space.

Ideally, a perfect halo model can fully match the entire density field of the universe, thus capable of predicting multiple statistics of the halo and matter field simultaneously. In Figure 7 we show that the same DHM can also accurately predict the total matter power spectrum. Following the idea in Section 2.2, we modify the classical halo model to include the contribution from the unresolved mass, and compute the matter-matter power spectrum as detailed in Appendix B. One can see that the DHM achieves 5%percent\%% accuracy in a k𝑘kitalic_k range that covers the transition of 1-halo and 2-halo terms, by directly summing up the various components.

For comparison, Figure 8 shows the results from three other models. First, we construct a “classical” halo model adopting commonly-used recipes for its components, including a 2-halo term in proportion to the linear power spectrum, a halo mass function fitted with Sheth & Tormen (2002), and an Einasto profile truncated at the virial radius with profile parameters specified in Diemer & Joyce (2019) and Gao et al. (2008). We also compare the DHM with some fine-tuned models for predicting the power spectrum, including halofit (Smith et al., 2003; Takahashi et al., 2012) and hmcode (Mead et al., 2015, 2016, 2021).

Focusing on the classical model, we find it performs poorly in this region. This under-prediction suggests a defect in this model, which is caused by the virial-truncated profile and a simplistic 2-halo term. According to the results in section 4, a matching profile is extended and have a smooth truncation. Using a virial-truncated profile will miss the contribution of the halo outskirts, leading to the underprediction of the matter-matter power spectrum. In addition, the 2-halo term also deviates from the linearly-biased linear power on small scale. On the other hand, DHM not only uses an extended Einasto profile to accurately model the mass distribution in the halo outskirts, but also carefully considers the halo exclusion and unresolved mass in the 2-halo term, improving the accuracy on transition scales.

Compared with halofit and hmcode, DHM reaches a comparable accuracy. However, it is important to realize that the former two models are “implicit” or pseudo halo models, while DHM is an explicit and physical halo model. In DHM, a halo population based on a physical boundary definition is explicitly identified and modeled, which facilitates further studies on the corresponding halos. By contrast, halofit is a fitting method without involving any halo property, and hmcode pertains to a population of “effective halos” whose properties differ from those measured in simulations. Moreover, DHM is more interpretable. The model parameters in DHM have clear physical meanings and can all be measured from the halo population except for one parameter of the unresolved component which can still be derived from first principle. On the other hand, the parameters in halofit and hmcode are less interpretable because they do not correspond to any physical halo population. Finally, the physical nature of DHM enables it to predict multiple statistics simultaneously, including (but not limited to) the total matter and halo-matter power spectra as we have shown. By contrast, it is challenging to extend halofit and hmcode to predict the power spectra of other tracers because they use some ad-hoc fixes in modeling the matter-matter power spectrum.

Refer to caption
Figure 7: Left:The halo-matter power spectra from the simulation and the DHM. The errors are estimated using Equation (31). The bottom panel shows the ratios between the simulated and model power spectra. The shaded areas mark the 10%percent1010\%10 % difference level. right: The matter-matter power spectrum from the simulation and the DHM. The red curve with error bars are simulated power spectrum. The model prediction is decomposed into different components including the resolved 1-halo and 2-halo terms, the halo-unresolved (hu), unresolve-unresolved (uu) and the Poisson terms as detailed in Appendix B. The bottom panel shows the ratios between the simulated and model power spectra. The shaded areas mark the 5%percent55\%5 % difference level.
Refer to caption
Figure 8: Ratios between the simulated and predicted power spectra using different models. Red curve is computed using virial-truncated profiles and a linearly-biased 2-halo term, as detailed in Section 5. Orange, purple and blue curves are computed using halofit (the version of Takahashi et al., 2012), hmcode, and DHM. Error bars represent the standard errors estimated using Equation (30). The shaded areas mark the fractional errors less than 0.05.

6 Discussion: profile uncertainty due to the unresolved term

The modeling of the unresolved term relies on an extrapolation of the halo-halo correlation to the diffuse mass limit, in addition to a model for the integrated mass over the halo profile before solving for the matching profile. In this work, we have modeled these components following the treatment of Zhou & Han (2023), which is consistent with the depletion catalog but may not work for the other catalogs.

To show the influence of this modeling uncertainty, in Figure 9 we compare the solutions to Equation (28) with and without the unresolved term for the depletion catalog. The solutions are barely changed for the high mass bins, while that for the lowest mass bin is significantly affected. This is not difficult to understand as the unresolved term should be most degenerate with halos close to being unresolved. Without the unresolved term, the profile of the lowest mass bin is significantly overestimated, to compensate for the missing mass and power. Similar overestimation of the matching profile can be observed in Figure 4 for the lowest mass bin in the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog, due to an underestimated unresolved term as detailed in Appendix A.

Refer to caption
Figure 9: Same as Figure 4, but comparing the profile solutions of the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog with and without the unresolved term, Phmu(k)subscriptsuperscript𝑃uhm𝑘P^{\rm u}_{\rm hm}(k)italic_P start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_k ), in Equation (28), as labeled.

The significance of the unresolved term can also be understood from its relative contribution to the power spectrum in each halo mass bin, as shown in Figure 10. For the highest mass bin, the power spectrum is dominated by the 1-halo term over the entire k𝑘kitalic_k-range covered. For lower mass halos, the 2-halo term always dominates on the large scale. As the halo mass decrease, the contribution from the unresolved term increases, while the 1-halo term becomes less and less important. It is thus natural to expect that a variation in the unresolved term will have a significant influence on the halo profile of the low mass halos, while it barely affects that of high mass halos.

Refer to caption
Figure 10: Decompositions of the halo-matter power spectra for the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog. In each panel, the thick grey curve shows the measured power spectrum for a given mass bin as labeled, while the blue solid curve shows the model prediction, with dashed curves showing the contributions from the 1-halo, 2-halo and unresolved terms respectively. The black solid curve shows the Einasto model as in Figure 4.

7 Summary and conclusions

In this work, we solve for the halo density profiles in Fourier space from measurements of the halo-matter and halo-halo power spectra in a cosmological simulation. This is possible because the matter field can be modeled by the halo field convolved with the halo density profiles. The Fourier space solution thus avoids ambiguities in partitioning matter among neighboring halos, enabling us to derive the complete halo profile out to large scale.

We have applied the method to three halo catalogs with different boundary definitions, including the virial radius, Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, the depletion radius, Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT, and 3Rvir3subscript𝑅vir3R_{\rm vir}3 italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT, to study the relations between halo profile and boundary definition, and their implications for halo model. Our main findings are as follows.

  • For each of the halo catalogs, a set of matching halo profiles can always be found to accurately reconstruct the input halo-matter power spectra. This implies there can be multiple ways of decomposing the matter field into halos, and the matter distribution around the halos can always be well described with a halo model, at least in terms of the halo-matter power spectrum.

  • The matching profiles vary in different halo catalogs due to different population properties. Halos defined with a more extended boundary also have more extended outer profiles and larger integrated masses over the profiles. The profiles all extend beyond the exclusion radius used to define the halo catalogs, reflecting ongoing mass accretion and mergers which extend the mass distribution around halos.

  • The matching profiles are nearly identical within Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT across the three catalogs. This indicates that the depletion region characterized by Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT is a universal feature around halos.

  • For the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog, the matching profiles are well described by the Einasto profiles over the scale covered by our measurements. This supports the choice of the Einasto profile in the depletion halo model of Zhou & Han (2023). For the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog, the matching profiles drop faster than the Einasto profile outside the depletion radius.

  • Proper modeling of unresolved halos and diffuse matter is important for extracting the profiles around low mass halos. Ignoring or underestimating the unresolved term can result in overestimation of the low mass profiles.

The agreement between the numerical solution and the Einasto profile model for the depletion catalog enables us to construct an analytical halo model for this catalog, which is the Fourier space equivalence to the depletion halo model in Zhou & Han (2023). This model can predict the halo-matter power spectra to 10% accuracy across scales and halo masses. Moreover, the same model also predicts the matter-matter power spectrum to 5% accuracy. This illustrates the advantage of an explicit and physical halo model, that the same model can simultaneously predict multiple statistics of the halo and matter fields. For comparison, existing halo models for predicting the matter power spectrum such as halofit and hmcode can be regarded as implicit or effective models. These models do not directly correspond to an identifiable halo population, and therefore the model ingredients can not be directly verified with simulations. As a result, the predicting power of these implicit models is usually limited to the total matter power spectrum which is used for training the model.

In this work, we have only constructed and verified the DHM for a single snapshot at z=0𝑧0z=0italic_z = 0. In future works, we will extend our model to different redshifts and cosmologies, by studying the redshift evolution and cosmology dependence of the model ingredients. This may eventually lead to a precise, unified and physical understanding of structure formation using halos as building blocks.

Appendix A Modeling the unresolved term

According to Zhou & Han (2023), the halo-halo correlation functions follow a universal shape. The unresolved term can be modeled by generalizing the universal halo correlation down to the diffuse matter limit, expressed as

ξhmunr(r|M)=bunrbhh(M)ξ^hh(r)H[rRid(M)],subscriptsuperscript𝜉unrhmconditional𝑟𝑀subscript𝑏unrsubscript𝑏hh𝑀subscript^𝜉hh𝑟Hdelimited-[]𝑟subscript𝑅id𝑀\xi^{\rm unr}_{\rm hm}(r|M)=b_{\rm unr}b_{\rm hh}(M)\hat{\xi}_{\rm hh}(r)% \mathrm{H}[r-R_{\rm id}(M)],italic_ξ start_POSTSUPERSCRIPT roman_unr end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_r | italic_M ) = italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_M ) over^ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_r ) roman_H [ italic_r - italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT ( italic_M ) ] , (A1)

where ξ^hh(r)subscript^𝜉hh𝑟\hat{\xi}_{\rm hh}(r)over^ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_r ) is the universal halo correlation that can be modeled by a power-law, and H(x)H𝑥{\rm H}(x)roman_H ( italic_x ) is the Heaviside step function which is unity at x>0𝑥0x>0italic_x > 0 and 0 otherwise. The effective bias bunrsubscript𝑏unrb_{\rm unr}italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT can be estimated using local mass conservation,

bunr11ρ¯mmresmmaxMintn(m)bhh(m)dm,subscript𝑏unr11subscript¯𝜌msubscriptsuperscriptsubscript𝑚maxsubscript𝑚ressubscript𝑀int𝑛𝑚subscript𝑏hh𝑚differential-d𝑚b_{\rm unr}\approx 1-\frac{1}{\bar{\rho}_{\rm m}}\int^{m_{\rm max}}_{m_{\rm res% }}M_{\rm int}n(m)b_{\rm hh}(m)\mathrm{d}m,italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT ≈ 1 - divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT italic_n ( italic_m ) italic_b start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_m ) roman_d italic_m , (A2)

where mmaxsubscript𝑚maxm_{\rm max}italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT and mressubscript𝑚resm_{\rm res}italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT are the mass limits of resolved halos, and Mint=ρ(r)d3rsubscript𝑀int𝜌rsuperscriptd3rM_{\rm int}=\int\rho(\textbf{{r}})\mathrm{d}^{3}\textbf{{r}}italic_M start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT = ∫ italic_ρ ( r ) roman_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT r is the mass integral of the halo profile, which is not necessarily equal to a general mass label m𝑚mitalic_m. Estimating bunrsubscript𝑏unrb_{\rm unr}italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT according to Equation (A1) requires knowing the halo profile a priori. For the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog, we have shown that the Einasto formula can model the halo profile up to the transition scale, so that bunrsubscript𝑏unrb_{\rm unr}italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT of the Ridsubscript𝑅idR_{\rm id}italic_R start_POSTSUBSCRIPT roman_id end_POSTSUBSCRIPT catalog can be directly estimated. For the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT and 3Rvir3subscript𝑅vir3R_{\rm vir}3 italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalogs, the Einasto formula performs poorly in modeling the outer profiles, as shown in Section 4.2. Despite this, we still adopt the integrated mass of the Einasto profile when evaluating Equation (A1) for all three catalogs for simplicity. Meanwhile, the halo bias and mass function are fitted separately using the parametric functions in Zhou & Han (2023) for each catalog, as these quantities vary in different catalogs. As a result, we expect bunrsubscript𝑏unrb_{\rm unr}italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT to be underestimated for the Rvirsubscript𝑅virR_{\rm vir}italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog but overestimated for the 3Rvir3subscript𝑅vir3R_{\rm vir}3 italic_R start_POSTSUBSCRIPT roman_vir end_POSTSUBSCRIPT catalog, due to over/under estimation of the integrated mass in the two catalogs respectively.

Appendix B Fourier version of the depletion-radius-based halo model

To derive the matter-matter power spectrum with the DHM, we write the matter overdensity field δm(x)subscript𝛿mx\delta_{\rm m}(\textit{{x}})italic_δ start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT ( x ) as

δm(x)=1ρ¯mjn(mj)δh(x|mj)ρ(x|mj)+δmu(x),subscript𝛿mx1subscript¯𝜌msubscript𝑗𝑛subscript𝑚𝑗subscript𝛿hconditionalxsubscript𝑚𝑗𝜌conditionalxsubscript𝑚𝑗subscriptsuperscript𝛿umx\delta_{\rm m}(\textit{{x}})=\frac{1}{\bar{\rho}_{\rm m}}\sum_{j}n(m_{j})% \delta_{\rm h}(\textit{{x}}|m_{j})\circledast\rho(\textit{{x}}|m_{j})+\delta^{% \rm u}_{\rm m}(\textit{{x}}),italic_δ start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT ( x ) = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_δ start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT ( x | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ⊛ italic_ρ ( x | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_δ start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT ( x ) , (B1)

where n(m)𝑛𝑚n(m)italic_n ( italic_m ), δh(x|m)subscript𝛿hconditionalx𝑚\delta_{\rm h}(\textit{{x}}|m)italic_δ start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT ( x | italic_m ), and ρ(x|m)𝜌conditionalx𝑚\rho(\textit{{x}}|m)italic_ρ ( x | italic_m ) are the mean number density, the overdensity field and the profile of a halo population with mass m𝑚mitalic_m, respectively, and \circledast is the convolution operation. The term δmu(x)subscriptsuperscript𝛿umx\delta^{\rm u}_{\rm m}(\textit{{x}})italic_δ start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT ( x ) represents the contribution of the unresolved mass. Considering the Fourier transform of Equation (B1), we have

δm(k)=1ρ¯mjn(mj)δh(k|mj)W(k|mj)+δmu(k).subscript𝛿mk1subscript¯𝜌msubscript𝑗𝑛subscript𝑚𝑗subscript𝛿hconditionalksubscript𝑚𝑗𝑊conditionalksubscript𝑚𝑗subscriptsuperscript𝛿umk\displaystyle\delta_{\rm m}(\textit{{k}})=\frac{1}{\bar{\rho}_{\rm m}}\sum_{j}% n(m_{j})\delta_{\rm h}(\textit{{k}}|m_{j})W(\textit{{k}}|m_{j})+\delta^{\rm u}% _{\rm m}(\textit{{k}}).italic_δ start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT ( k ) = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_δ start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + italic_δ start_POSTSUPERSCRIPT roman_u end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT ( k ) . (B2)

The matter-matter power spectrum is

Pmm(k)subscript𝑃mmk\displaystyle P_{\rm mm}(\textit{{k}})italic_P start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( k ) =1ρ¯m2ijn(mi)n(mj)W(k|mi)W(k|mj)Phh(k|mi,mj)absent1superscriptsubscript¯𝜌m2subscript𝑖subscript𝑗𝑛subscript𝑚𝑖𝑛subscript𝑚𝑗𝑊conditionalksubscript𝑚𝑖𝑊conditionalksubscript𝑚𝑗subscript𝑃hhconditionalksubscript𝑚𝑖subscript𝑚𝑗\displaystyle=\frac{1}{\bar{\rho}_{\rm m}^{2}}\sum_{i}\sum_{j}n(m_{i})n(m_{j})% W(\textit{{k}}|m_{i})W(\textit{{k}}|m_{j})P_{\rm hh}(\textit{{k}}|m_{i},m_{j})= divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W ( k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_W ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT )
+2ρ¯mjn(mj)W(k|mj)Phu(k|mj)2subscript¯𝜌msubscript𝑗𝑛subscript𝑚𝑗𝑊conditionalksubscript𝑚𝑗subscript𝑃huconditionalksubscript𝑚𝑗\displaystyle+\frac{2}{\bar{\rho}_{\rm m}}\sum_{j}n(m_{j})W(\textit{{k}}|m_{j}% )P_{\rm hu}(\textit{{k}}|m_{j})+ divide start_ARG 2 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_P start_POSTSUBSCRIPT roman_hu end_POSTSUBSCRIPT ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT )
+Puu(k),subscript𝑃uuk\displaystyle+P_{\rm uu}(\textit{{k}}),+ italic_P start_POSTSUBSCRIPT roman_uu end_POSTSUBSCRIPT ( k ) , (B3)

where Phu(k|mj)subscript𝑃huconditionalksubscript𝑚𝑗P_{\rm hu}(\textit{{k}}|m_{j})italic_P start_POSTSUBSCRIPT roman_hu end_POSTSUBSCRIPT ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) and Puu(k)subscript𝑃uukP_{\rm uu}(\textit{{k}})italic_P start_POSTSUBSCRIPT roman_uu end_POSTSUBSCRIPT ( k ) are the cross power spectra of halo-unresolved and unresolved-unresolved.

The 1-halo term arises from Phh(k|mj)subscript𝑃hhconditionalksubscript𝑚𝑗P_{\rm hh}(\textit{{k}}|m_{j})italic_P start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) when two halos are identical. For unresolved low mass halos, we can approximate them as point masses with W(k|m0)Mint𝑊conditional𝑘𝑚0subscript𝑀intW(k|m\rightarrow 0)\approx M_{\rm int}italic_W ( italic_k | italic_m → 0 ) ≈ italic_M start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT. We thus break the 1-halo term into resolved and unresolved halos as

Pmm1h(k)=1ρ¯m2jresolvedn(mj)W2(k|mj)+1ρ¯m2mfsmresMint2n(m)dm,subscriptsuperscript𝑃1hmm𝑘1superscriptsubscript¯𝜌m2superscriptsubscript𝑗resolved𝑛subscript𝑚𝑗superscript𝑊2conditional𝑘subscript𝑚𝑗1superscriptsubscript¯𝜌m2superscriptsubscriptsubscript𝑚fssubscript𝑚ressuperscriptsubscript𝑀int2𝑛𝑚differential-d𝑚P^{\rm 1h}_{\rm mm}(k)=\frac{1}{\bar{\rho}_{\rm m}^{2}}\sum_{j}^{\rm resolved}% n(m_{j})W^{2}(k|m_{j})+\frac{1}{\bar{\rho}_{\rm m}^{2}}\int_{m_{\rm fs}}^{m_{% \rm res}}M_{\rm int}^{2}n(m)\mathrm{d}m,italic_P start_POSTSUPERSCRIPT 1 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) = divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_resolved end_POSTSUPERSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) + divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_fs end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_int end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_n ( italic_m ) roman_d italic_m , (B4)

where mfssubscript𝑚fsm_{\rm fs}italic_m start_POSTSUBSCRIPT roman_fs end_POSTSUBSCRIPT and mressubscript𝑚resm_{\rm res}italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT are the freestreaming mass and the minimum mass of resolved halos considered by the model. The second term represents the shot-noise from point-mass halos. For the power spectrum measured from simulations, the diffuse matter are resolved by discrete particles and thus should also contribute a shot noise term. In the following we will not distinguish the two contributions but model them with a single constant C𝐶Citalic_C.

The 2-halo term involves contributions from the halo-halo, halo-unresolved, and unresolved-unresolved terms, expressed as

Pmm2h(k)subscriptsuperscript𝑃2hmm𝑘\displaystyle P^{\rm 2h}_{\rm mm}(k)italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) =1ρ¯m2ijin(mi)n(mj)W(k|mi)W(k|mj)Phh2h(k|mi,mj)absent1superscriptsubscript¯𝜌m2subscript𝑖subscript𝑗𝑖𝑛subscript𝑚𝑖𝑛subscript𝑚𝑗𝑊conditional𝑘subscript𝑚𝑖𝑊conditional𝑘subscript𝑚𝑗subscriptsuperscript𝑃2hhhconditional𝑘subscript𝑚𝑖subscript𝑚𝑗\displaystyle=\frac{1}{\bar{\rho}_{\rm m}^{2}}\sum_{i}\sum_{j\neq i}n(m_{i})n(% m_{j})W(k|m_{i})W(k|m_{j})P^{\rm 2h}_{\rm hh}(k|m_{i},m_{j})= divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j ≠ italic_i end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT )
+2ρ¯mjn(mj)W(k|mi)Phu2h(k|mj)2subscript¯𝜌msubscript𝑗𝑛subscript𝑚𝑗𝑊conditional𝑘subscript𝑚𝑖subscriptsuperscript𝑃2hhuconditional𝑘subscript𝑚𝑗\displaystyle+\frac{2}{\bar{\rho}_{\rm m}}\sum_{j}n(m_{j})W(k|m_{i})P^{\rm 2h}% _{\rm hu}(k|m_{j})+ divide start_ARG 2 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_W ( italic_k | italic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hu end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT )
+Puu2h(k).subscriptsuperscript𝑃2huu𝑘\displaystyle+P^{\rm 2h}_{\rm uu}(k).+ italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_uu end_POSTSUBSCRIPT ( italic_k ) . (B5)

Note here the unresolved terms are contributed by both unresolved halos and diffuse matter. The power spectra Phu2h(k|mj)subscriptsuperscript𝑃2hhuconditional𝑘subscript𝑚𝑗P^{\rm 2h}_{\rm hu}(k|m_{j})italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hu end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) and Puu2h(k)subscriptsuperscript𝑃2huu𝑘P^{\rm 2h}_{\rm uu}(k)italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_uu end_POSTSUBSCRIPT ( italic_k ) can be obtained from Fourier transforms of the correlation functions specified in Zhou & Han (2023),

ξhu2h(r|mj)subscriptsuperscript𝜉2hhuconditional𝑟subscript𝑚𝑗\displaystyle\xi^{\rm 2h}_{\rm hu}(r|m_{j})italic_ξ start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hu end_POSTSUBSCRIPT ( italic_r | italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) =bunrb(mj)ξ^hh(r)H[rRex(mj)],absentsubscript𝑏unr𝑏subscript𝑚𝑗subscript^𝜉hh𝑟Hdelimited-[]𝑟subscript𝑅exsubscript𝑚𝑗\displaystyle=b_{\rm unr}b(m_{j})\hat{\xi}_{\rm hh}(r){\rm H}[r-R_{\rm ex}(m_{% j})],= italic_b start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT italic_b ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) over^ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_r ) roman_H [ italic_r - italic_R start_POSTSUBSCRIPT roman_ex end_POSTSUBSCRIPT ( italic_m start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) ] , (B6)
ξuu2h(r)subscriptsuperscript𝜉2huu𝑟\displaystyle\xi^{\rm 2h}_{\rm uu}(r)italic_ξ start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_uu end_POSTSUBSCRIPT ( italic_r ) =bunr2ξ^hh(r).absentsubscriptsuperscript𝑏2unrsubscript^𝜉hh𝑟\displaystyle=b^{2}_{\rm unr}\hat{\xi}_{\rm hh}(r).= italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_unr end_POSTSUBSCRIPT over^ start_ARG italic_ξ end_ARG start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_r ) . (B7)

Replacing the summations with integrations, the final expression of the matter-matter power spectrum in the depletion halo model is

Pmm(k)subscript𝑃mm𝑘\displaystyle P_{\rm mm}(k)italic_P start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) =Pmm1h(k)+Pmm2h(k)absentsubscriptsuperscript𝑃1hmm𝑘subscriptsuperscript𝑃2hmm𝑘\displaystyle=P^{\rm 1h}_{\rm mm}(k)+P^{\rm 2h}_{\rm mm}(k)= italic_P start_POSTSUPERSCRIPT 1 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) + italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) (B8)
Pmm1h(k)subscriptsuperscript𝑃1hmm𝑘\displaystyle P^{\rm 1h}_{\rm mm}(k)italic_P start_POSTSUPERSCRIPT 1 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) =1ρ¯m2mresmmaxn(m)W2(k|m)dm+Cabsent1superscriptsubscript¯𝜌m2superscriptsubscriptsubscript𝑚ressubscript𝑚max𝑛𝑚superscript𝑊2conditional𝑘𝑚differential-d𝑚𝐶\displaystyle=\frac{1}{\bar{\rho}_{\rm m}^{2}}\int_{m_{\rm res}}^{m_{\rm max}}% n(m)W^{2}(k|m)\mathrm{d}m+C= divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_n ( italic_m ) italic_W start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k | italic_m ) roman_d italic_m + italic_C (B9)
Pmm2h(k)subscriptsuperscript𝑃2hmm𝑘\displaystyle P^{\rm 2h}_{\rm mm}(k)italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_k ) =1ρ¯m2mresmmaxmresmmaxn(m1)n(m2)W(k|m1)W(k|m2)Phh2h(k|m1,m2)dm1dm2absent1superscriptsubscript¯𝜌m2superscriptsubscriptsubscript𝑚ressubscript𝑚maxsuperscriptsubscriptsubscript𝑚ressubscript𝑚max𝑛subscript𝑚1𝑛subscript𝑚2𝑊conditional𝑘subscript𝑚1𝑊conditional𝑘subscript𝑚2subscriptsuperscript𝑃2hhhconditional𝑘subscript𝑚1subscript𝑚2differential-dsubscript𝑚1differential-dsubscript𝑚2\displaystyle=\frac{1}{\bar{\rho}_{\rm m}^{2}}\int_{m_{\rm res}}^{m_{\rm max}}% \int_{m_{\rm res}}^{m_{\rm max}}n(m_{1})n(m_{2})W(k|m_{1})W(k|m_{2})P^{\rm 2h}% _{\rm hh}(k|m_{1},m_{2})\mathrm{d}m_{1}\mathrm{d}m_{2}= divide start_ARG 1 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_n ( italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_n ( italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_W ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) italic_W ( italic_k | italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hh end_POSTSUBSCRIPT ( italic_k | italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) roman_d italic_m start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_d italic_m start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT
+2ρ¯mmresmmaxn(m)W(k|m)Phu2h(k|m)dm2subscript¯𝜌msuperscriptsubscriptsubscript𝑚ressubscript𝑚max𝑛𝑚𝑊conditional𝑘𝑚subscriptsuperscript𝑃2hhuconditional𝑘𝑚differential-d𝑚\displaystyle+\frac{2}{\bar{\rho}_{\rm m}}\int_{m_{\rm res}}^{m_{\rm max}}n(m)% W(k|m)P^{\rm 2h}_{\rm hu}(k|m)\mathrm{d}m+ divide start_ARG 2 end_ARG start_ARG over¯ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT roman_m end_POSTSUBSCRIPT end_ARG ∫ start_POSTSUBSCRIPT italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_n ( italic_m ) italic_W ( italic_k | italic_m ) italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_hu end_POSTSUBSCRIPT ( italic_k | italic_m ) roman_d italic_m
+Puu2h(k).subscriptsuperscript𝑃2huu𝑘\displaystyle+P^{\rm 2h}_{\rm uu}(k).+ italic_P start_POSTSUPERSCRIPT 2 roman_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_uu end_POSTSUBSCRIPT ( italic_k ) . (B10)

where mressubscript𝑚resm_{\rm res}italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT and mmaxsubscript𝑚maxm_{\rm max}italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT represent the mass limits of resolved halos.

An alternative derivation of the above equations can be obtained from Fourier transforming the matter-matter correlation,

ξmm(r)=f(m)ξhm(r|m)uh(r|m)dm,subscript𝜉mm𝑟𝑓𝑚subscript𝜉hmconditional𝑟𝑚subscript𝑢hconditional𝑟𝑚differential-d𝑚\xi_{\rm mm}(r)=\int f(m)\xi_{\rm hm}(r|m)\circledast u_{\rm h}(r|m)\mathrm{d}m,italic_ξ start_POSTSUBSCRIPT roman_mm end_POSTSUBSCRIPT ( italic_r ) = ∫ italic_f ( italic_m ) italic_ξ start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_r | italic_m ) ⊛ italic_u start_POSTSUBSCRIPT roman_h end_POSTSUBSCRIPT ( italic_r | italic_m ) roman_d italic_m , (B11)

where ξhm(r|m)subscript𝜉hmconditional𝑟𝑚\xi_{\rm hm}(r|m)italic_ξ start_POSTSUBSCRIPT roman_hm end_POSTSUBSCRIPT ( italic_r | italic_m ) is modeled in Zhou & Han (2023) and the integration continues down to the diffuse matter limit.

In the above model, we have not considered the existence of subhalos inside each halo, which could contribute additional small-scale power to the 1-halo term on top of the smooth density profile (Hezaveh et al., 2016; Diaz Rivero et al., 2018; Díaz Rivero et al., 2018). A complete treatment will have to involve the distribution and internal structure of subhalos (Han et al., 2016; He et al., 2023). For scales much larger than the sizes of subhalos, however, we can approximate subhalos as point masses, so that their contributions can also be approximated as a Poisson term, which can be absorbed into the parameter C𝐶Citalic_C above. As shown in Section 5, the above model performs well for 0.1<k<3hMpc10.1𝑘3superscriptMpc10.1<k<3h\mathrm{Mpc}^{-1}0.1 < italic_k < 3 italic_h roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT with 5%percent\%% accuracy, with a best-fitting parameter C=16.04𝐶16.04C=16.04italic_C = 16.04 for our adopted mres=106h1Msubscript𝑚ressuperscript106superscript1subscriptMdirect-productm_{\rm res}=10^{6}h^{-1}{\rm M}_{\odot}italic_m start_POSTSUBSCRIPT roman_res end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT and mmax=1016h1Msubscript𝑚maxsuperscript1016superscript1subscriptMdirect-productm_{\rm max}=10^{16}h^{-1}{\rm M}_{\odot}italic_m start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 16 end_POSTSUPERSCRIPT italic_h start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_M start_POSTSUBSCRIPT ⊙ end_POSTSUBSCRIPT. Nevertheless, one should keep in mind that the matter-matter power spectrum does not converge to a constant with k𝑘kitalic_k increasing, and a scale-dependent correction term is needed if a higher precision is required. We will extend our model with subhalo terms in future works.

Acknowledgements

We thank Yipeng Jing for access to the CosmicGrowth simulation, and Ji Yao and Pengjie Zhang for helpful discussions. This work is supported by National Key R&D Program of China (2023YFA1607800, 2023YFA1607801), 111 project (No. B20019), and the science research grants from the China Manned Space Project (No. CMS-CSST-2021-A03). We acknowledge the sponsorship from Yangyang Development Fund. The computation of this work is done on the Gravity supercomputer at the Department of Astronomy, Shanghai Jiao Tong University.

References

  • Adhikari et al. (2014) Adhikari, S., Dalal, N., & Chamberlain, R. T. 2014, J. Cosmology Astropart. Phys, 2014, 019, doi: 10.1088/1475-7516/2014/11/019
  • Allgood et al. (2006) Allgood, B., Flores, R. A., Primack, J. R., et al. 2006, MNRAS, 367, 1781, doi: 10.1111/j.1365-2966.2006.10094.x
  • Asgari et al. (2023) Asgari, M., Mead, A. J., & Heymans, C. 2023, The Open Journal of Astrophysics, 6, 39, doi: 10.21105/astro.2303.08752
  • Aung et al. (2021) Aung, H., Nagai, D., Rozo, E., & García, R. 2021, MNRAS, 502, 1041, doi: 10.1093/mnras/staa3994
  • Bahé et al. (2013) Bahé, Y. M., McCarthy, I. G., Balogh, M. L., & Font, A. S. 2013, MNRAS, 430, 3017, doi: 10.1093/mnras/stt109
  • Baugh & Efstathiou (1994) Baugh, C. M., & Efstathiou, G. 1994, MNRAS, 270, 183, doi: 10.1093/mnras/270.1.183
  • Behroozi et al. (2014) Behroozi, P. S., Wechsler, R. H., Lu, Y., et al. 2014, ApJ, 787, 156, doi: 10.1088/0004-637X/787/2/156
  • Bernardeau et al. (2002) Bernardeau, F., Colombi, S., Gaztañaga, E., & Scoccimarro, R. 2002, Phys. Rep., 367, 1, doi: 10.1016/S0370-1573(02)00135-7
  • Bertschinger (1985) Bertschinger, E. 1985, ApJS, 58, 39, doi: 10.1086/191028
  • Bose & Loeb (2021) Bose, S., & Loeb, A. 2021, ApJ, 912, 114, doi: 10.3847/1538-4357/abec77
  • Bryan & Norman (1998) Bryan, G. L., & Norman, M. L. 1998, ApJ, 495, 80, doi: 10.1086/305262
  • Chen & Afshordi (2023) Chen, A. Y., & Afshordi, N. 2023, Phys. Rev. D, 107, 103526, doi: 10.1103/PhysRevD.107.103526
  • Cooray & Sheth (2002) Cooray, A., & Sheth, R. 2002, Phys. Rep., 372, 1, doi: 10.1016/S0370-1573(02)00276-4
  • Cuesta et al. (2008) Cuesta, A. J., Prada, F., Klypin, A., & Moles, M. 2008, MNRAS, 389, 385, doi: 10.1111/j.1365-2966.2008.13590.x
  • Diaz Rivero et al. (2018) Diaz Rivero, A., Cyr-Racine, F.-Y., & Dvorkin, C. 2018, Phys. Rev. D, 97, 023001, doi: 10.1103/PhysRevD.97.023001
  • Díaz Rivero et al. (2018) Díaz Rivero, A., Dvorkin, C., Cyr-Racine, F.-Y., Zavala, J., & Vogelsberger, M. 2018, Phys. Rev. D, 98, 103517, doi: 10.1103/PhysRevD.98.103517
  • Diemer (2018) Diemer, B. 2018, ApJS, 239, 35, doi: 10.3847/1538-4365/aaee8c
  • Diemer (2022) —. 2022, MNRAS, 513, 573, doi: 10.1093/mnras/stac878
  • Diemer (2023) —. 2023, MNRAS, 519, 3292, doi: 10.1093/mnras/stac3778
  • Diemer & Joyce (2019) Diemer, B., & Joyce, M. 2019, ApJ, 871, 168, doi: 10.3847/1538-4357/aafad6
  • Diemer & Kravtsov (2014) Diemer, B., & Kravtsov, A. V. 2014, ApJ, 789, 1, doi: 10.1088/0004-637X/789/1/1
  • Einasto (1965) Einasto, J. 1965, Trudy Astrofizicheskogo Instituta Alma-Ata, 5, 87
  • Fillmore & Goldreich (1984) Fillmore, J. A., & Goldreich, P. 1984, ApJ, 281, 1, doi: 10.1086/162070
  • Fong & Han (2021) Fong, M., & Han, J. 2021, MNRAS, 503, 4250, doi: 10.1093/mnras/stab259
  • Gao et al. (2023) Gao, H., Han, J., Fong, M., Jing, Y. P., & Li, Z. 2023, ApJ, 953, 37, doi: 10.3847/1538-4357/acdfcd
  • Gao et al. (2008) Gao, L., Navarro, J. F., Cole, S., et al. 2008, MNRAS, 387, 536, doi: 10.1111/j.1365-2966.2008.13277.x
  • García & Rozo (2019) García, R., & Rozo, E. 2019, MNRAS, 489, 4170, doi: 10.1093/mnras/stz2458
  • García et al. (2021) García, R., Rozo, E., Becker, M. R., & More, S. 2021, MNRAS, 505, 1195, doi: 10.1093/mnras/stab1317
  • García et al. (2023) García, R., Salazar, E., Rozo, E., et al. 2023, MNRAS, 521, 2464, doi: 10.1093/mnras/stad660
  • Green et al. (2005) Green, A. M., Hofmann, S., & Schwarz, D. J. 2005, J. Cosmology Astropart. Phys, 2005, 003, doi: 10.1088/1475-7516/2005/08/003
  • Gunn & Gott (1972) Gunn, J. E., & Gott, J. Richard, I. 1972, ApJ, 176, 1, doi: 10.1086/151605
  • Hamilton (1997) Hamilton, A. J. S. 1997, MNRAS, 289, 285, doi: 10.1093/mnras/289.2.285
  • Han et al. (2018) Han, J., Cole, S., Frenk, C. S., Benitez-Llambay, A., & Helly, J. 2018, MNRAS, 474, 604, doi: 10.1093/mnras/stx2792
  • Han et al. (2016) Han, J., Cole, S., Frenk, C. S., & Jing, Y. 2016, MNRAS, 457, 1208, doi: 10.1093/mnras/stv2900
  • Han et al. (2012) Han, J., Jing, Y. P., Wang, H., & Wang, W. 2012, MNRAS, 427, 2437, doi: 10.1111/j.1365-2966.2012.22111.x
  • He et al. (2023) He, F., Han, J., Gao, H., & Zhang, J. 2023, MNRAS, 526, 3156, doi: 10.1093/mnras/stad2959
  • Hezaveh et al. (2016) Hezaveh, Y., Dalal, N., Holder, G., et al. 2016, J. Cosmology Astropart. Phys, 2016, 048, doi: 10.1088/1475-7516/2016/11/048
  • Jing (2019) Jing, Y. 2019, Science China Physics, Mechanics, and Astronomy, 62, 19511, doi: 10.1007/s11433-018-9286-x
  • Jing (2005) Jing, Y. P. 2005, ApJ, 620, 559, doi: 10.1086/427087
  • Jing & Suto (2002) Jing, Y. P., & Suto, Y. 2002, ApJ, 574, 538, doi: 10.1086/341065
  • Ludlow et al. (2009) Ludlow, A. D., Navarro, J. F., Springel, V., et al. 2009, ApJ, 692, 931, doi: 10.1088/0004-637X/692/1/931
  • Mansfield et al. (2017) Mansfield, P., Kravtsov, A. V., & Diemer, B. 2017, ApJ, 841, 34, doi: 10.3847/1538-4357/aa7047
  • Mead et al. (2021) Mead, A. J., Brieden, S., Tröster, T., & Heymans, C. 2021, MNRAS, 502, 1401, doi: 10.1093/mnras/stab082
  • Mead et al. (2016) Mead, A. J., Heymans, C., Lombriser, L., et al. 2016, MNRAS, 459, 1468, doi: 10.1093/mnras/stw681
  • Mead et al. (2015) Mead, A. J., Peacock, J. A., Heymans, C., Joudaki, S., & Heavens, A. F. 2015, MNRAS, 454, 1958, doi: 10.1093/mnras/stv2036
  • Merritt et al. (2006) Merritt, D., Graham, A. W., Moore, B., Diemand, J., & Terzić, B. 2006, AJ, 132, 2685, doi: 10.1086/508988
  • More et al. (2015) More, S., Diemer, B., & Kravtsov, A. V. 2015, ApJ, 810, 36, doi: 10.1088/0004-637X/810/1/36
  • Navarro et al. (1995) Navarro, J. F., Frenk, C. S., & White, S. D. M. 1995, MNRAS, 275, 720, doi: 10.1093/mnras/275.3.720
  • Navarro et al. (1996) —. 1996, ApJ, 462, 563, doi: 10.1086/177173
  • Navarro et al. (1997) —. 1997, ApJ, 490, 493, doi: 10.1086/304888
  • Navarro et al. (2004) Navarro, J. F., Hayashi, E., Power, C., et al. 2004, MNRAS, 349, 1039, doi: 10.1111/j.1365-2966.2004.07586.x
  • Navarro et al. (2010) Navarro, J. F., Ludlow, A., Springel, V., et al. 2010, MNRAS, 402, 21, doi: 10.1111/j.1365-2966.2009.15878.x
  • Philcox et al. (2020) Philcox, O. H. E., Spergel, D. N., & Villaescusa-Navarro, F. 2020, Phys. Rev. D, 101, 123520, doi: 10.1103/PhysRevD.101.123520
  • Pizzardo et al. (2023a) Pizzardo, M., Geller, M. J., Kenyon, S. J., Damjanov, I., & Diaferio, A. 2023a, A&A, 680, A48, doi: 10.1051/0004-6361/202347470
  • Pizzardo et al. (2023b) —. 2023b, A&A, 680, A48, doi: 10.1051/0004-6361/202347470
  • Profumo et al. (2006) Profumo, S., Sigurdson, K., & Kamionkowski, M. 2006, Phys. Rev. Lett., 97, 031301, doi: 10.1103/PhysRevLett.97.031301
  • Salazar et al. (2024) Salazar, E. M., Rozo, E., García, R., et al. 2024, arXiv e-prints, arXiv:2406.04054, doi: 10.48550/arXiv.2406.04054
  • Schneider et al. (2013) Schneider, A., Smith, R. E., & Reed, D. 2013, MNRAS, 433, 1573, doi: 10.1093/mnras/stt829
  • Sheth & Tormen (2002) Sheth, R. K., & Tormen, G. 2002, MNRAS, 329, 61, doi: 10.1046/j.1365-8711.2002.04950.x
  • Shi (2016) Shi, X. 2016, MNRAS, 459, 3711, doi: 10.1093/mnras/stw925
  • Smith et al. (2003) Smith, R. E., Peacock, J. A., Jenkins, A., et al. 2003, MNRAS, 341, 1311, doi: 10.1046/j.1365-8711.2003.06503.x
  • Takahashi et al. (2012) Takahashi, R., Sato, M., Nishimichi, T., Taruya, A., & Oguri, M. 2012, ApJ, 761, 152, doi: 10.1088/0004-637X/761/2/152
  • Tinker et al. (2005) Tinker, J. L., Weinberg, D. H., Zheng, Z., & Zehavi, I. 2005, ApJ, 631, 41, doi: 10.1086/432084
  • Tomooka et al. (2020) Tomooka, P., Rozo, E., Wagoner, E. L., et al. 2020, MNRAS, 499, 1291, doi: 10.1093/mnras/staa2841
  • van den Bosch et al. (2013) van den Bosch, F. C., More, S., Cacciato, M., Mo, H., & Yang, X. 2013, MNRAS, 430, 725, doi: 10.1093/mnras/sts006
  • Villaescusa-Navarro (2018) Villaescusa-Navarro, F. 2018, Pylians: Python libraries for the analysis of numerical simulations, Astrophysics Source Code Library, record ascl:1811.008. http://ascl.net/1811.008
  • Wang et al. (2022) Wang, X., Wang, H., & Mo, H. J. 2022, A&A, 667, A99, doi: 10.1051/0004-6361/202244338
  • Zhou & Han (2023) Zhou, Y., & Han, J. 2023, MNRAS, 525, 2489, doi: 10.1093/mnras/stad2375