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

The evolution of a primordial binary black hole due to interaction
with cold dark matter
and the formation rate of gravitational wave events

Sergey Pilipenko    Maxim Tkachev    Pavel Ivanov pbi20@cam.ac.uk Astro Space Center, P. N. Lebedev Physical Institute of RAS, Profsojuznaya 84/32, Moscow 117997, Russia
Abstract

In this Paper we consider a problem of formation and evolution of orbital parameters of a binary primordial black hole (PBH) due to gravitational interaction with clustering cold dark matter (CDM). Mass and initial separation have values, which are appropriate for the problem of explanation of the LIGO/Virgo events by coalescing binary PBHs. We consider both radiation dominated and CDM dominated stages of the evolution using numerical and semi-analytical means. We show that at the end time of our numerical simulations binary’s semimajor axis decreases by approximately one hundred times, while its angular momentum decreases by ten times, in comparison to the standard values, which do not take into account effects associated with CDM clustering. We check that our conclusions are hardly affected by numerical artefacts. We estimate the merger rate of binary PBHs due to emission of gravitational wave at the present time both in the standard case when the effects associated with clustering are neglected and in the case when they are taken into account and show, that these effects could increase the merger rate at least by 686-8 times in comparison to the standard estimate. This, in turn, means, that a mass fraction of PBHs, ff, should be smaller than it was assumed before.

preprint: APS/123-QED

I Introduction

Primordial black holes (PBHs) attract attention of many researchers for more than five decades. Depending on their mass they can serve as a candidate for dark matter (see, e.g. [1, 2, 3, 4, 5, 6, 7]), provide seeds for early formation of supermassive black holes (see, e.g. [8, 9, 10]), take an active part in the processes occuring in the Early Universe, see e.g. [11, 12] for a review and further references. The interest to PBHs has been reinvigorated recently after detection of gravitational waves by the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) [13, 14, 15, 16, 17, 18, 19]111LIGO/Virgo Public Alerts from the O3/2019 observational run can be found at https://gracedb.ligo.org/superevents/public/O3/. Most of the mergers are associated with binary black holes with masses of order of a few tens of solar masses. It was suggested that the binary black holes involved in these events may be of primordial origin, see e.g. [21, 22, 23, 24]222Note, however, that some of the LIGO/Virgo events may have another origin, see e.g. [48]. It is important to stress that even if all LIGO/Virgo events will be shown to be due to mergers of black holes of stellar origin, if would give a very non-trivial constraint on the abundance of PBHs of stellar masses in the Universe provided there is a reliable way of an estimate of the formation of PBHs pairs with orbital parameters appropriate for the LIGO/Virgo events for a given abundance of PBH. The exact possible mass fraction of PBHs in dark matter (DM) in LIGO/Virgo mass range is still a subject of large theoretical uncertainties, see, e.g. [49, 50]..

Therefore, a certain scenario of the formation of binary PBHs must be specified in order to establish the connection between the merger rate needed to explain the LIGO/Virgo events by mergers of binary PBHs and properties of PBH population, most importantly, their typical masses MM and mass fraction of PBHs, ff, of total density of cold dark matter.

Perhaps, the most popular scenario of a kind was put forward by Nakamura et al. in 1997 [26] in a different context. It is based on the idea that if a pair of PBHs has an initial comoving distance between their members, d0d_{0}, smaller than an average comoving distance between PBHs due to statistical fluctuations, it might get bound at times comparable with the time of equipartition between mass densities of cold dark matter (CDM) and radiation, teqt_{eq}. This scenario was developed in the considered context by Sasaki et al. [22] and Ali-Haïmoud et al. [27] and discussed in some detail below, in the Section II 333Among the alternative scenarios let us mention the scenario of the formation of the bound pairs in galactic cusps at relatively late time, see e.g. [51, 52]. Note, however, that this scenario seems to require a large mass fraction of PBHs f1f\sim 1, which may be refuted by the constraints on ff in this mass range, see e.g [53]..

The authors cited above neglected the evolution of the bound pairs due to gravitational interactions with the rest of dark matter. On the other hand, from their results it follows that, for typical values of MM and ff, mass of CDM particles enclosed within d0d_{0} of PBH pairs producing the observed merger rate is comparable to MM. In such a situation dynamical gravitational interaction between the pair and CDM could influence orbital parameters of the bound pair, and, in turn, estimates of the merger rate.

Perhaps even more important effect is the formation of halos both around isolated PBHs and, formally, around isolated bound pairs, immersed in an initially spatially uniform distribution of the ordinary CDM particles, see e.g. [29, 30] and references therein. The effect is more pronounced at relatively late times t>teqt>t_{eq}, when it may be shown that halo’s mass grows approximately proportional to the scale factor, ss, and density distribution of CDM particles has a power law cusp centered at the center of gravity. The presence of such cusps could clearly enhance the interaction between the pair and CDM particles.

An attempt to answer the question to what extent the interaction between the pair and CDM particles could influence the merger rate was undertaken by Kavanagh et al. [31] in 2018. The authors came to the conclusion that this effect plays a minor role in estimates of the merger rates. However, their problem setting was rather unrealistic. They considered, by numerical means, two bound massive particles representing PBHs placed at distances larger that periastron distance of a fiducial Kepler orbit and surrounded by two separate halos of lighter particles with prescribed halo’s masses and profiles. The interaction between the pair and the particles occurred mainly at periastron resulting in destruction of the halos and reduction of the pair semimajor axis by a factor of few and an insignificant change of orbital angular momentum. Neither the effects determined by cosmological expansion nor the effect of the formation and growth of the common halo around the pair were taken into account. We are going to show below that taking halo growth into account is crucial in determining the evolution of pair parameters.

In this Paper we revisit the problem of interaction between a binary PBH and clustering ’ordinary’ CDM in an idealized, but self-consistent way. We consider initially unbound pairs of BHs following cosmological expansion at times tteqt\ll t_{eq}. These pairs get bound with time, forming a binary PBH 444By a binary PBH we understand later on a gravitationally bound pair of PBHs. We use both these terms interchangeably below., and start to interact with the ordinary dark matter. We follow the evolution of the system, containing a PBH pair, dark matter and radiation, well into the matter dominated stage corresponding to times tteqt\gg t_{eq}, using numerical and semi-analytical means. Typically, our simulations are stopped when the scale factor is ten times larger than its value at the equipartition time. However, when we consider runs with pairs having larger initial separations, we finish our simulations earlier, since we do not find a significant evolution of the quantities of interest at late times in this case. During this evolution, both binary’s semimajor axis and its angular momentum get smaller than the values predicted by the purely analytical approaches due to interaction with CDM clustering around the pair. We find these values at the end of calculation and use them to make an estimate of the merger rate, which is then compared with an analytical prediction.

In our numerical work below interaction of the pair with other PBHs is neglected, as well as clustering of radiation and the standard cosmological perturbations of CDM and radiation. Note, however, that we take into account interaction with other PBHs and cosmological perturbations in our estimates of the merger rate using the results of [27]. This is needed because our numerical scheme prohibits very small values of angular momentum that are predicted for the binary PBHs, which may potentially contribute to the event rate. We check that the values of angular momentum obtained as a result of the numerical evolution are proportional to the initial ones, calculate the ratios of these values and use analytical estimates for initial values of angular momentum to calculate the final values expected for ’realistic’ binary PBHs. In what follows we assume that the mass fraction of PBHs is much smaller that that of the ordinary CDM, f1f\ll 1, and consider the mass densities of radiation and dark matter appropriate for the standard Λ\LambdaCDM cosmology. We also assume that all PBHs have the same mass MM. In this setting the problem is fully characterized by MM and the initial comoving distance between the members of the pair, d0d_{0}. We set M=50MM=50M_{\odot} in all of our numerical runs and consider d0=0.5d_{0}=0.5, 0.950.95, 1.51.5 and 22 in units of R¯=3M4πρeq3\bar{R}=\sqrt[3]{\frac{3M}{4\pi\rho_{eq}}} (where ρeq\rho_{eq} is the matter density at the matter-radiation equipartition), noting that our results can be extended to other values of mass by an appropriate redefinition of d0d_{0}.

Although we neglect any perturbations of the system other than those induced by the pair itself, there is an inevitable numerical noise. We check that this noise does not influence significantly our results by performing runs with different numbers of particles representing the ordinary CDM and considering runs with a single PBH with mass 2M=100M2M=100M_{\odot}. Only those results which are stable with respect to a change of the number of particles are taken into account.

We find that the final binary angular momentum gets typically ten times smaller than its initial value, while the semimajor axis typically decreases by 10210^{2} times in comparison with the analytical results. These changes are apparently caused by two effects. At first, a strong decrease of both quantities is observed when the members of the pair approach periastron at the first time. This may be due to expulsion of a significant mass of CDM particles from its vicinity during this time. Secondly, there is a secular change of these quantities afterwards. We discuss below that it may be due to the effect of binary’s ’hardening’ due to gravitational interaction with CDM particles with sufficiently small angular momenta, which are constantly supplied to the halo, and, then, to the vicinity of binary PBH, from the ambient medium in course of the halo’s growth. While the former effect is more significant for the runs with larger values of d0d_{0}, the latter one is more pronounced for the smaller values. We propose a quantitative semi-analytical model of the hardening process.

Depending on a value of ff, our estimate of the merger rate, which takes into account these effects gives values 68\sim 6-8 times larger, than a value, which is obtained neglecting them. This, in turn, means, that in order to satisfy the observational limit on the merger rate, a value of ff should be a few times smaller than the standard estimate. We stress that these results should be treated as a preliminary ones. Since the hardening proceeds until the end of our simulation, it could be effective at later times. This could lead to even larger values of the merger rate. On the other hand, the unaccounted effects of perturbations of orbits of CDM particles could influence our results in the opposite way due to the presence of other PBHs and cosmological perturbations.

The structure of the Paper is as follows. In Section II we introduce our basic definitions, relations, and results of the solution of an equations describing dynamics of the pair in the absence of the effects of clustering CDM. Section III is devoted to the numerical simulations, while in Section IV we make estimates of the merger rate. We conclude and finally discuss our results in Section V.

II Basic definitions and relations

II.1 Notations and conventions

In what follows we neglect the influence of primordial black holes (PBHs) on the overall expansion of the Universe, assuming that it mainly consist of radiation and dust-like cold dark matter (CDM) particles. We are going to consider processes occuring at epochs before and after equipartition time, teq23000yrt_{eq}\approx 23000yr, defined by the usual condition that mass densities of matter and radiation are equal to each other at this time, and we denote these mass densities as ρeq\rho_{eq}. The scale factor, ss, is assumed to be equal to one when t=teqt=t_{eq}. From the first Friedman equation we easily find a relation between teqt_{eq} and ρeq\rho_{eq}

Gρeqteq2=3α216π,α=232(22)0.552,G\rho_{eq}t_{eq}^{2}=\frac{3\alpha^{2}}{16\pi},\quad\alpha=\frac{2}{3}\sqrt{2}(2-\sqrt{2})\approx 0.552, (1)

where GG is gravitational constant. Also, by integrating this equation we obtain

(1+s)(s2)+2=(22)t~,t~=t/teq,\sqrt{(1+s)}(s-2)+2=(2-\sqrt{2})\tilde{t},\quad\tilde{t}=t/t_{eq}, (2)

as well as useful relations between ss and its first and second derivatives with respect to the time t~\tilde{t}

s˙=23(22)(1+ss),s¨=49(22)2s3(1+s2),\dot{s}=\frac{2}{3}(2-\sqrt{2})({\frac{\sqrt{1+s}}{s}}),\quad\ddot{s}=-\frac{4}{9}{\frac{(2-\sqrt{2})^{2}}{s^{3}}}(1+{\frac{s}{2}}), (3)

where dot stands for the derivative with respect to t~\tilde{t}. In the asymptotic limits t~0\tilde{t}\rightarrow 0 and t~\tilde{t}\rightarrow\infty from (2) it follows that s(43(22)t~)1/2s\approx{({\frac{4}{3}}(2-\sqrt{2})\tilde{t})}^{1/2} and s((22)t~)2/3s\approx{((2-\sqrt{2})\tilde{t})}^{2/3}, respectively.

In our analytical and numerical work we formally assume that a mass fraction of primordial black holes is f<1f<1 and all black holes have the same masses M=50MM=50M_{\odot}. Our main results can be extended to other values of mass, therefore, we use dimensionless mass M=M50MM_{*}=\frac{M}{50M_{\odot}} in our expressions below as a parameter. A physical distance between two particular black holes is denoted by RR, while the corresponding comoving distance, R/sR/s, is DD. It is convenient to introduce an average distance R¯=3M4πρeq3\bar{R}=\sqrt[3]{\frac{3M}{4\pi\rho_{eq}}} and the associated dynamical time td=R¯3GMt_{d}=\sqrt{\frac{{\bar{R}}^{3}}{GM}}. From eq. (1) we have

td=2teqα3.62teq.t_{d}={\frac{2t_{eq}}{\alpha}}\approx 3.62t_{eq}. (4)

Dimensionless physical and comoving distances are, respectively, r=R/R¯r=R/\bar{R} and d=D/R¯d=D/\bar{R}. It turns out that the evolution of a separated binary black hole depends significantly on initial separation between binary components, d0=d(t~0)d_{0}=d(\tilde{t}\rightarrow 0). This quantity will be used to characterize different initial conditions for our numerical simulations.

II.2 An equation describing the evolution of semimajor axis without the effect of CDM clusterization

When clusterization of CDM is not taken into account, one can use a simple ordinary differential equation to describe the evolution of RR, its time derivative, and, accordingly, binary’s semimajor axis a=GM|E|a={\frac{GM}{|E|}}, where EE is binary’s binding energy per unit of mass555Note that the energy is not conserved initially, when tidal forces determined by expansion of the Universe dominate over gravity of the binary. Nonetheless, we use the usual Keplerian definitions of binding energy and semimajor axis at all times., see e.g. [34]. In what follows we neglect orbital angular momentum of the binary, formally assuming that its eccentricity equals to one, see e.g. [26, 22, 27] for justification of this assumption. In this case the dynamical equation for the evolution of RR has the form

R¨s¨sR=2GMteq2R2,\ddot{R}-{\frac{\ddot{s}}{s}}R=-{\frac{2GMt_{eq}^{2}}{R^{2}}}, (5)

where the second term on l.h.s describes cosmological tidal forces, its explicit form follows from (3), the term on r.h.s is the usual Newtonian gravitational force per unit of mass, and we remind that dot stands for differentiation over t/teqt/t_{eq}666Note that one can also, in principle, include the dynamic friction term in this equation. However, it can be shown to be small during the radiation dominated stage due to the effect discussed in [54].. We introduce r=R/R¯r=R/\bar{R}, use the definition of R¯\bar{R} and eq. (1) to bring (5) to the form

r¨s¨sr=α22r2,\ddot{r}-{\frac{\ddot{s}}{s}}r=-{\frac{\alpha^{2}}{2r^{2}}}, (6)

which should be solved subject to the condition that rs(t~)dr\rightarrow s(\tilde{t})d when t~0\tilde{t}\rightarrow 0. Using the definitions of binding energy and semimajor axis as well as (1) we can easily express them in terms of the dimensionless distance rr and its time derivative

E=ϵR¯2teq,a=α24ϵR¯,ϵ=α22rr˙22.E=\epsilon{\frac{{\bar{R}}^{2}}{t_{eq}}},\quad a={\frac{\alpha^{2}}{4\epsilon}}\bar{R},\quad\epsilon={\frac{\alpha^{2}}{2r}}-{\frac{{\dot{r}}^{2}}{2}}. (7)

In general, equation (5) should be solved numerically, and its solutions could be parametrized by values of the initial comoving distance, d0d_{0}. These solutions have the following qualitative behaviour. Initially, at sufficiently small values of t~\tilde{t}, the pair is unbound and the distance follows the Hubble expansion, rs(t~)dr\approx s(\tilde{t})d. However, the relative importance of gravitational attraction of the companion black hole grows with time, and, at a certain time tbindt_{bind} defined by the condition that E(tbound)=0E(t_{bound})=0, the pair gets bound, with its binding energy larger than zero. During the following stage the semimajor axis monotonically decreases up to some approximately constant value afina_{fin}. At later times, in the absence of interaction with accreting dark matter, afina_{fin} is assumed to be changed only by emission of gravitational waves and we are going to compare our numerical results on the evolution of aa due to interaction with CDM with afina_{fin}. The stage of a significant decrease of aa terminates when rr becomes formally equal to zero at first time, and we denote this moment of time as tfint_{fin}.

When t~\tilde{t} is small it is easy to see that s¨s14t~{\frac{\ddot{s}}{s}}\approx{\frac{1}{4\tilde{t}}} on r.h.s. of (5). In this case (5) is invariant with respect to a linear change of variables rβrnr\rightarrow\beta r_{n} and t~βrn\tilde{t}\rightarrow\beta r_{n} provided that γ2=β3\gamma^{2}=\beta^{3}. The remaining freedom in choosing β\beta and γ\gamma can be used to make the asymptotic behaviour of rn(t~n0)t~1/2d0r_{n}(\tilde{t}_{n}\rightarrow 0)\propto{\tilde{t}}^{1/2}d_{0} independent of d0d_{0}. It turns out that in this case one have to use βd04\beta\propto d_{0}^{4} and γd06\gamma\propto d_{0}^{6}. After such a choice of β\beta and γ\gamma is made, being considered in terms of the new variables rnr_{n} and t~n\tilde{t}_{n} both equation (5) and the initial condition to it do not depend on any parameters, and, therefore, the solution to this equation is uniquely fixed. The scaling of all quantities characterising the solution expressed in terms of the old variables, such as sfins_{fin}, sbinds_{bind} and afina_{fin} with d0d_{0}, should follow from the scaling of β\beta and γ\gamma. The scaling of afina_{fin} expressed in units of R¯\bar{R} should be the same as the distance rr, and, accordingly, afin/R¯d04a_{fin}/\bar{R}\propto d_{0}^{4} while the scalings of sfins_{fin} and sbinds_{bind} should be the same as the scaling of the scale factor t~d03\propto\sqrt{\tilde{t}}\propto d_{0}^{3}. The coefficients of proportionality in front of these scaling relations can be chosen by comparing them to the results of a numerical solution of (5). In this way we obtain that

afin0.1d04R¯,sfin0.56d03,sbind0.17d03a_{fin}\approx 0.1d_{0}^{4}\bar{R},\quad s_{fin}\approx 0.56d_{0}^{3},\quad s_{bind}\approx 0.17d_{0}^{3} (8)

when d0d_{0} is sufficiently small (see, also e.g. [27]).

Refer to caption
Figure 1: The dependency of the semimajor axis afina_{fin} expressed in units of R¯\bar{R} on d0d_{0}, shown as the solid line as well as its approximate value valid at small d0d_{0} and given by the first expression in (8) given as the dashed line.
Refer to caption
Figure 2: The dependencies of sbounds_{bound} and sfins_{fin} on the dimensionless initial comoving distance d0d_{0} shown as the solid and dashed lines, respectively. Additionally, we show as the dotted and dot-dashed lines sfins_{fin} and sbinds_{bind} given by (8).

We plot afina_{fin} as a function of d0d_{0} in Fig. 1 and sbound=s(t=tbound)s_{bound}=s(t=t_{bound}) and sfin=s(t=tfin)s_{fin}=s(t=t_{fin}) in Fig 2 together with the corresponding approximate relations (8). One can see from this Fig. that the relations (8) are indeed quite close to the numerical solutions at d0<1d_{0}<1. Note that at large values of d0d_{0} the effect of dark matter clusterization is very important and must be necessarily taken into account.

III Numerical investigation of the evolution of PBH pair and surrounding CDM halo

III.1 Simulation code and initial conditions

In order to simulate an interaction of PBHs and surrounding dark matter we use a direct summation N-body 4-th order Hermite code ph4 which is a part of Amuse suite [36, 37]. This code is MPI-parallel and we made it also OpenMP parallel. Since we simulate systems at times close to the matter-radiation equality, we implemented radiation as a background. Our system also follows Hubble expansion at the beginning. In cosmological N-body codes this is usually implemented by solving particle motion equations in the comoving coordinates and using periodic boundary conditions. Since we are more interested in the behaviour of a gravitationally bound part of the system, we use integration in physical coordinates. Periodic boundary conditions will introduce a distortion to the simulation of a spherically symmetric system, so we use vacuum boundary conditions and our system is a sphere with finite radius, large enough to avoid effects of density discontinuity at the sphere boundary on the central part of the system. The sphere is centered at the origin of coordinates. Thus, in order to implement the cosmological background in the simulations, we introduce a radial acceleration, acting on particle at a position 𝐫\mathbf{r}:

𝐫¨=α22s4teq2𝐫.\ddot{\mathbf{r}}=-{\frac{\alpha^{2}}{2}}s^{-4}t_{eq}^{-2}\mathbf{r}. (9)

We use a cubic grid for seeding the sphere with DM particles. Particles are assigned velocities according to the Hubble law. In case of a single black hole, it is placed close to the center with a tiny offset <103<10^{-3} of the interparticle distance. If the BH is placed at (0, 0, 0) exactly, the trajectories of the closest particles pass directly through the BH and the timesteps of the simulation become very tiny, making it impossible to run. We do not take into account the absorption of DM particles by BHs in our simulations.

In case of a pair of BHs, we place them at comoving separation between BHs d0d_{0}, and assign tangential velocities assuming they are at apocenters of pure Keplerian orbits with eccentricity e=0.8e=0.8.

We have made several test runs to check the simulation parameters and a series of production runs, which are summarized in a Table 1.

Simulation d0d_{0} ε\varepsilon sstarts_{start} sends_{end} NN rmaxr_{max} mpm_{p}
1BH_50k_eps0 0 4.3×1064.3\times 10^{-6} 0.1 16.2 51105 3.125 3×1043\times 10^{-4}
1BH_50k_eps1 0 8.5×1058.5\times 10^{-5} 0.1 3.46 51105 3.125 3×1043\times 10^{-4}
1BH_50k_eps2 0 8.5×1038.5\times 10^{-3} 0.1 3.46 51105 3.125 3×1043\times 10^{-4}
1BH_50k_eps3 0 2.5×1022.5\times 10^{-2} 0.1 3.46 51105 3.125 3×1043\times 10^{-4}
1BH_50k_eps4 0 5×1025\times 10^{-2} 0.1 3.46 51105 3.125 3×1043\times 10^{-4}
1BH_50k_early 0 4.3×1064.3\times 10^{-6} 0.001 4.15 51105 3.125 3×1043\times 10^{-4}
1BH_200k 0 4.3×1064.3\times 10^{-6} 0.1 8.7 203966 3.125 7.7×1057.7\times 10^{-5}
2BH_5k_d0.95 0.95 4.3×1064.3\times 10^{-6} 0.1 8.1 4947 3.125 3×1033\times 10^{-3}
2BH_50k_d0.95 0.95 4.3×1064.3\times 10^{-6} 0.1 16.2 51106 3.125 3×1043\times 10^{-4}
2BH_50k_d0.95_eps1 0.95 8.5×1058.5\times 10^{-5} 0.1 8.1 51106 3.125 3×1043\times 10^{-4}
2BH_50k_d0.95_eps2 0.95 1.7×1021.7\times 10^{-2} 0.1 8.1 51106 3.125 3×1043\times 10^{-4}
2BH_200k_d0.95 0.95 4.3×1064.3\times 10^{-6} 0.1 10.6 203967 3.125 7.7×1057.7\times 10^{-5}
2BH_50k_d0.7 0.7 4.3×1064.3\times 10^{-6} 0.001 5.6 51106 3.125 3×1043\times 10^{-4}
2BH_5k_d0.5 0.5 4.3×1064.3\times 10^{-6} 0.001 8.1 4947 3.125 3×1033\times 10^{-3}
2BH_50k_d0.5 0.5 4.3×1064.3\times 10^{-6} 0.001 16.2 51106 3.125 3×1043\times 10^{-4}
2BH_300k_d0.5_large 0.5 4.3×1064.3\times 10^{-6} 0.001 7.4 299821 3.75 9×1059\times 10^{-5}
2BH_200k_d0.5_high 0.5 4.3×1064.3\times 10^{-6} 0.001 1.1 203967 2.5 3.9×1053.9\times 10^{-5}
2BH_d0.5_small 0.5 4.3×1064.3\times 10^{-6} 0.001 8.1 20674 1.25 5×1055\times 10^{-5}
2BH_200k_d1.5 1.5 4.3×1064.3\times 10^{-6} 0.1 12.4 203967 3.75 1.3×1041.3\times 10^{-4}
2BH_30k_d2.0 2.0 4.3×1064.3\times 10^{-6} 0.1 38.2 31105 5.0 2×1032\times 10^{-3}
Table 1: List of simulations with their parameters and abbreviations. d0d_{0} is the comoving initial distance between BHs, ϵ\epsilon is the gravitational softening parameter, sstarts_{start} and sends_{end} are scale factors at the beginning and the end of the simulation. NN is the total number of particles, including BHs, rmaxr_{max} is the comoving radius of the Hubble sphere, mpm_{p} is the particle mass divided by 2M2M_{*}.

We took caution of choosing a proper value of gravitational softening length ε\varepsilon. On the one hand, the DM is a collisionless fluid, and it is desirable to have ε\varepsilon larger than the mean interparticle distance. On the other hand, we are interested in the behaviour of a pair of BHs, for which scattering and dynamical friction is important, so ϵ\epsilon should not be too high. Having this in mind, we have conducted tests to check how our results depend on softening. We use the same value of softening length for both DM and BH particles. For a single BH, we have run 5 simulations with 50k particles and the values of ε=4.3×106\varepsilon=4.3\times 10^{-6}, 8.5×1058.5\times 10^{-5}, 8.5×1038.5\times 10^{-3}, 2.5×1022.5\times 10^{-2} and 5×1025\times 10^{-2}, respectively. The halo mass growth rate and density profile of these simulations is similar, while the anisotropy and distribution of angular momenta differ significantly. Both anisotropy and angular momentum are larger for simulations with higher ε\varepsilon when we consider ε=8.5×105\varepsilon=8.5\times 10^{-5}, 8.5×1038.5\times 10^{-3}, 2.5×1022.5\times 10^{-2} and 5×1025\times 10^{-2} respectively. The simulation with ε=4.3×106\varepsilon=4.3\times 10^{-6} demonstrates the same distributions of particle angular momentum and anisotropy as the simulation with ε=8.5×105\varepsilon=8.5\times 10^{-5}. As we discuss later on, angular momentum of infalling particles is a crucial parameter determining the evolution of a pair of BHs. From this analysis we conclude that values of ε8.5×105\varepsilon\leq 8.5\times 10^{-5} give stable results which are not affected by softening. For a pair of BHs we have conducted a similar investigation and found that the evolution of the pair semimajor axis is stable for ε8.5×105\varepsilon\leq 8.5\times 10^{-5}. One should note that the mean interparticle distance at the halo center, estimated as n1/3n^{-1/3}, where nn is particle number density, always exceeds 10310^{-3} for all our simulations.

Having a set of simulations with identical initial conditions and gravitational softening, but different number of DM particles, we investigate how well our results converge with the change of NN, or particle mass mpm_{p}. As seen from Table 1, our simulations of a pair with d0=0.5d_{0}=0.5 cover almost 2 orders of magnitude in the particle mass, mpm_{p}.

III.2 Properties of halos, formed around single or double BHs

It is well known that in a homogeneous expanding Universe a halo is formed around a single point mass (see, e.g., Gott 1975 [38] & Gunn 1977 [39]). The halo boundary can be characterized by a turn around radius: at this radius a shell of matter turns around its radial velocity from Hubble expansion to infall. As has been shown in [40], the radius and mass of the halo grow with time as:

rtas4/3,r_{\mathrm{ta}}\propto s^{4/3}, (10)
Mtas.M_{\mathrm{ta}}\propto s. (11)

We check that our simulations reproduce equations (10) and (11). At the same time we measure halo density profile from our numerical results. To do this, we construct a set of spherical shells centered at the black hole (or at the mass center of the pair, in the case of 2 BHs), each shell containing the same amount of particles Nshell=25N_{\mathrm{shell}}=25. The turn around shell is the furthest shell from the center which has mean radial velocity less than zero. The turn around radius is a radius at which the linearly interpolated mean shell velocity between the turn around shell and the next shell with positive radial velocity equals to zero. The turn around mass is the mass of all particles, except the black hole(s) inside the turn around radius.

In Fig. 3 we show the evolution of rtar_{\mathrm{ta}} and MtaM_{\mathrm{ta}} in several simulations. It is clearly seen that in simulations with a single BH the evolution of these characteristics very well reproduces the equations (10) and (11). Simulations with a pair also show a perfect match until some specific time which is close to the first pericenter passage of the pair. This passage happens at s=1.15s=1.15 for simulations with d0=0.95d_{0}=0.95 and at s=0.075s=0.075 for simulations with d0=0.5d_{0}=0.5. After that time, the halo radius becomes somewhat smaller, while the mass drops significantly. The turn around mass evolution of a halo around a pair of black holes is close to Mtas3/4M_{\mathrm{ta}}\propto s^{3/4} at late times. This demonstrates that the pair throws away a significant amount of matter.

Refer to caption
Figure 3: Left top and left bottom: evolution of the turn around radius and turn around mass in theory, rtas3/4r_{ta}\propto s^{3/4}, MtasM_{ta}\propto s (solid lines) and in simulations of single BH 1BH_50k_eps0 (dashed lines), 1BH_200k (dotted lines), and the pairs with d0=0.95d_{0}=0.95, 2BH_50k_d0.95 (dot-dashed lines) and 2BH_200k_d0.95 (dot-dot-dashed lines). Right top and right bottom: the evolution of the turn around radius and turn around mass in theory (solid lines) and in simulations of the single BH 1BH_50k_early (dashed line) and the pairs with d0=0.5d_{0}=0.5, 2BH_50k_d0.5 (doted line), 2BH_300k_d0.5_large (dot-dashed line).

Another test of simulations is the density profile of dark matter halos. Theory predicts the formation of a power law profile ρr9/4\rho\propto r^{-9/4} [40]. In Fig. 4 we demonstrate how our simulated halos follow this predicted law777Note that this result is different from that obtained in [29], who claimed that ρr3\rho\propto r^{-3}. It is seen that there is a good agreement, but the profile for a single black hole is flattening to ρr1.5\rho\propto r^{-1.5} at r<0.1r<0.1. For the pair of black holes this flattening is more pronounced, and also the whole profile has smaller values of density than the one corresponding to a single black hole at r2r\lesssim 2, which is of the order of the radius of influence of the binary. The effect of flattening of the density profile is clearly determined by domination of gravitational field of the black hole or the binary at small distances. The evolution of halo mass and the dark matter profiles show a remarkable stability with the change of the numerical resolution, i.e. the particle mass mpm_{p} over almost two orders of magnitude.

Refer to caption
Figure 4: Dark matter density profiles of halos multiplied by r9/4r^{9/4} at s=5.6s=5.6 for simulations: 1BH_50k_eps0 solid line), 1BH_200k (dashed line), 2BH_50k_d0.95 (dotted line) and 2BH_200k_d0.95 (dot-dashed line). Vertical black line indicates mean turn around radius of halos in these simulations at s=5.6s=5.6.

For the pairs of BHs with a large initial distances, d0=1.5d_{0}=1.5 and d0=2d_{0}=2, there is some notable differences in halo evolution. The two halos around each BH grow in isolation for a long period of time, gaining mass much larger than the mass of BHs they host. After these two halos merge, the resulting single halo shows growth of mass and radius quite similar with the case of a single BH and it is well approximated as Mtas0.9M_{ta}\propto s^{0.9}, see Fig. 5. However, the halo itself becomes severely anisotropic. We demonstrate it by measuring the major to minor axis ratio of a reduced gyration tensor, defined as:

Gij=1Nk=1Nxikxjkrkrk,G_{ij}=\frac{1}{N}\sum_{k=1}^{N}\frac{x^{k}_{i}x^{k}_{j}}{r^{k}r^{k}}, (12)

where xikx^{k}_{i} is ii-th coordinate of kk-th particle. We compute GijG_{ij} for all particles with r<rtar<r_{ta}, excluding the BH particles, then we find eigenvalues of GijG_{ij}. The axis ratio is defined as the square root of the ratio of maximal and minimal eigenvalues of GijG_{ij}. In Fig. 5 we subtract 1 from this axis ratio, i.e. value of 0 corresponds to a spherically symmetric distribution. The halos around BH pairs that have merged earlier are much more spherical, as seen from the evolution of the GijG_{ij} axis ratio in 2BH_50k_d0.95 simulation in Fig. 5. But the halo around a pair with d0=0.95d_{0}=0.95 is less spherical than a halo around a single BH at times s<5s<5.

Refer to caption
Figure 5: Evolution of accreted DM halos at late times. Left panel: mass of a halo inside a turn around radius, the approximation Mtas0.9M_{ta}\propto s^{0.9} (black solid line) and simulation results for 1 BH (1BH_50k_eps0, dashed line), and 2 BHs with d0=1.5d_{0}=1.5 (2BH_85k_d1.5, dotted line), and d0=2d_{0}=2 (2BH_30k_d2, dot-dashed line). Right panel: gyration tensor axis ratio excess at turn around radius for simulations with a single BH (1BH_50k_eps0, solid line), and for BH pairs with d0=0.95d_{0}=0.95 (2BH_50k_d0.95, dashed line), d0=1.5d_{0}=1.5 (2BH_200k_d1.5, dotted line) and d0=2.0d_{0}=2.0 (2BH_30k_d2, dot-dashed line).

III.3 Evolution of a BH pair

We characterize the pair of BHs at every simulation snapshot by two main parameters: the semimajor axis of the orbit a~=a/R¯\tilde{a}=a/\bar{R}, where aa is defined in (7) and the dimensionless angular momentum ll, which is computed as

l=vtr,l=v_{t}r, (13)

where vtv_{t} is the relative tangential velocity of BHs (measured in units of R¯/teq\bar{R}/t_{eq}).

The results are shown in Fig. 6. The top row demonstrates the numerical convergence over almost two orders of magnitude in test particle mass in case of simulations with d0=0.5d_{0}=0.5. All simulations with the total number of particles from 5×1035\times 10^{3} to 3×1053\times 10^{5} show a steady decrease of a~\tilde{a} after the first passage of pericenter, which happens at s0.08s\approx 0.08. Note that this value is very close to the corresponding value sfins_{fin} obtained from the solution of eq. (6), see Fig. 2. One should note that due to the decrease of a~\tilde{a} with time, at some moment there is less than 1 DM particle between the BHs which affects the pair evolution. For the lowest resolution simulation with mp=3×103m_{p}=3\times 10^{-3} this happens at s=0.2s=0.2, while for simulations with mp=3×104m_{p}=3\times 10^{-4} and mp=9×105m_{p}=9\times 10^{-5} this happens at s=1s=1 and s=2s=2, respectively. Our highest resolution simulation with mp=3.9×105m_{p}=3.9\times 10^{-5} is stopped before the regime with less than 1 particle between BHs is reached.

In the bottom left panel of Fig. 6 it is seen that simulations with d0<1.5d_{0}<1.5 show a steady decrease of a~\tilde{a} after the first pericenter passage. Simulations with d01.5d_{0}\geq 1.5 show a rapid drop of a~\tilde{a} at the pericenter passage, determined by the merging of two massive halos.

The evolution of the dimensionless angular momentum, ll, in Fig 6 shows two sets of lines with different initial ll. One set corresponds to simulations which start at sstart=0.001s_{\mathrm{start}}=0.001 and another one corresponds to sstart=0.1s_{\mathrm{start}}=0.1. This is caused by the preparation of the initial conditions with fixed eccentricity described in Section III.1. Our results show an approximately tenfold drop of angular momentum during the evolution of the system.

At a first glance our numerical results for the evolution of a~\tilde{a} and ll are at odds with the results of [31]. To investigate the cause of the difference, we first run with our code a simulation with the initial conditions from [31], which has the PBH mass 30 M, the initial semimajor axis ai=0.01a_{i}=0.01 pc and eccentricity ei=0.995e_{i}=0.995. These initial conditions have only 6.2 M mass in the dark matter, which is about 1/10 of the binary mass. We obtain results in a fine agreement with that shown in [31], so the difference with our simulations is not due to the fact that we use a different N-body code. We also run a simulation with the same initial conditions, but with the additional force caused by the radiation background. This gives almost no effect on the evolution of the binary.

Next we check the influence of accretion of DM particles from the Hubble flow. In simulations of [31] there is no such accretion, but according to a simple estimate, the halo around a binary should grow by ten times during the time period shown in Fig. 6 of [31]. We run a test simulation with a Hubble sphere filled by DM particles, as described in Section III.1, but the sphere radius is artificially chosen small enough to end the accretion in the middle of the simulation (this simulation is labelled as 2BH_d0.5_small in Table 1). We show in Fig. 7 that when the accretion stops, the angular momentum stops decreasing. The same happens for the semimajor axis. So, we conclude that the accretion of DM particles is the main factor responsible for the late evolution of the PBH pair, after the formation of the common halo. The infalling DM particles have near radial trajectories and thus persistently refill loss cone of the binary, see also the following Section.

Refer to caption
Figure 6: Top row: convergence of the evolution of dimensionless semimajor axis (left panel) and dimensionless angular momentum (right panel) in simulations with d0=0.5d_{0}=0.5 and mp=3×103m_{p}=3\times 10^{-3} (solid line), mp=3×104m_{p}=3\times 10^{-4} (dashed line), mp=9×105m_{p}=9\times 10^{-5} (dotted line) and mp=3.9×105m_{p}=3.9\times 10^{-5} (dot-dashed line). Bottom row left panel: evolution of a semimajor axis of a BH pair in simulations with increasing initial comoving distance d0=0.5d_{0}=0.5 (solid line), d0=0.7d_{0}=0.7 (dashed line), d0=0.95d_{0}=0.95 (dotted line), d0=1.5d_{0}=1.5 (dot-dashed line), d0=2d_{0}=2 (dot-dot-dashed line). Bottom right panel: evolution of the dimensionless angular momentum ll. The meaning of line styles and colors is the same as in the left panel.
Refer to caption
Figure 7: Evolution of the angular momentum in the simulation from the initial conditions from [31] without cosmological expansion and DM accretion (solid line), in our simulation 2BH_300k_d0.5_large with DM accretion during the full run (dashed line), and in a simulation where the accretion stops due to a smaller size of the Hubble sphere, 2BH_d0.5_small (dotted line).

III.4 A semi-analytic treatment of the late time evolution of semimajor axis and angular momentum

We can see from Fig. 6 when d<0.95d<0.95 both semimajor axis and angular momentum experience a steady decrease. As discussed above, the most likely explanation for this behaviour is due to ’hardening’ of the binary due to its interaction with CDM particles having their periastron distances, rpr_{p}, order of or smaller than binary’s semimajor axis aa. As discussed in e.g. [42], the contribution of a given particle to the evolution of both quantities is determined by the ratio rp/ar_{p}/a (or, alternatively, the ratio of particle specific angular momentum to that of the binary), and only the particles with rp/a1r_{p}/a\sim 1 can influence it significantly. In principle, the origin of particle’s angular momentum could be due to the tidal torque exerted by the binary on the particles. However, we checked that a value of angular momentum expected from this effect is too small to explain what is observed in simulations. A relatively large value of the angular momentum may be explained by torques acting on the particles from the side of non-spherical part of density distribution of the halos related to the observed halo’s anisotropy. The anisotropy itself may be originated from the action of the radial orbit instability (see e.g. [43]) with initial perturbations provided by the action of binary’s quadrupole gravitation field. In this picture the smaller is d0d_{0} the smaller would be the anisotropy and this is indeed observed in the simulations. An analytical calculation of the corresponding distribution of angular momentum is a non-trivial problem, which is left for a future work. In this paper we use an average value of rpr_{p}, r¯p\bar{r}_{p}, evaluated numerically at the ’influence radius’ determined by the condition that halo’s mass inside this radius is equal to that of the binary. We show the dependency of r¯p\bar{r}_{p} on ss in Fig. 8, for the case d0=0.95d_{0}=0.95.


Refer to caption
Figure 8: The dependency of the average periastron radius r¯p\bar{r}_{p} on ss, taken from the simulation 2BH_200k_d0.952BH\_200k\_d0.95

Sesana et al. [42] showed numerically that, a contribution of a particle with a given value of rpr_{p} to the hardening rate of semimajor axis is determined by a function C(x)C(x) of x=rp/ax=\sqrt{r_{p}/a}, while the same contribution to the evolution of angular momentum is given by a similar function B(x)B(x). We used their numerical results presented in their Figs 1 and 2, for an equal mass binary with eccentricity e=0.9e=0.9 and fitted C(x)C(x) by a simple function, C(x)=2.647(1+x2)2C(x)=2.647(1+x^{2})^{-2}, which is in a quite good agreement with the numerical curve. B(x)B(x) is a non-monotonic function of xx, and, a simple fit of it does not appear to be possible. However, for our purposes we only need to know the integral I(x)=0x𝑑yyB(y)I(x)=\int_{0}^{x}dyyB(y), which can be fitted as I(x)=2.86(11(1+x3)3/5)I(x)=2.86(1-\frac{1}{{(1+x^{3})}^{3/5}}) remarkably well.

When C(x)C(x) and B(x)B(x) are known, it follows from the discussion in Sesana et al. [42] the time evolution of aa and LL are given by the simple expressions

a˙a=0C(x)𝑑PrpM˙M,L˙L=0B(x)𝑑PrpM˙2M,\frac{\dot{a}}{a}=-\int^{\infty}_{0}C(x)d{\it P}_{r_{p}}\frac{\dot{M}}{M},\quad\frac{\dot{L}}{L}=-\int^{\infty}_{0}B(x)d{\it P}_{r_{p}}\frac{\dot{M}}{2M}, (14)

where Prp(rp){\it P}_{r_{p}}(r_{p}) is a probability of finding the periaston radius with a value smaller than rpr_{p}. We model the corresponding probability density as a step function, dPrp(rp)/drp=12r¯pΘ(r22r¯p)d{\it P}_{r_{p}}(r_{p})/dr_{p}=\frac{1}{2\bar{r}_{p}}\Theta(r_{2}-2\bar{r}_{p}), where the factor 12r¯p\frac{1}{2\bar{r}_{p}} in the front of the step function Θ(x)\Theta(x) is chosen in such a way that the average value of rpr_{p} coincides with r¯p\bar{r}_{p}. M˙\dot{M} in (14) is the mass flow through the sphere of influence of the pair (i.e. a sphere centered at the center of mass of the binary with the radius equal to the influence radius, rinf2r_{inf}\approx 2, see the discussion above). We assume that it is approximately the same as the mass flow through the turn around radius, M˙Mdsdt\dot{M}\approx M\frac{ds}{dt}.

Combining all ingredients discussed above together, we can write down two evolution equations for aa and LL:

1adads=1.32ar¯p(111+2r¯pa),\displaystyle\frac{1}{a}\frac{da}{ds}=-1.32\frac{a}{\bar{r}_{p}}(1-\frac{1}{1+\frac{2\bar{r}_{p}}{a}}),\quad
1LdLds=1.43ar¯p(11(1+(2r¯pa)3)3/5).\displaystyle\frac{1}{L}\frac{dL}{ds}=-1.43\frac{a}{\bar{r}_{p}}(1-\frac{1}{{({1+{(\frac{2\bar{r}_{p}}{a}})}^{3})}^{3/5}}). (15)

As an initial condition we use values afina_{fin} and sfins_{fin} obtained from the solution of eq. (6), sfin0.6s_{fin}\approx 0.6 and afin(sfin)0.1a_{fin}(s_{fin})\approx 0.1 Results of the solution of eqns (15) are shown in Figs 9 and 10. One can show from these Figs. that, indeed, at sufficiently large values of ss the fully numerical results are quite close to the solutions of (15).

Refer to caption
Figure 9: The evolution of semimajor axis for the case d0=0.95d_{0}=0.95. Solid and dashed curves represent the fully numerical result and the result of solution of (15), respectively.

Refer to caption
Figure 10: The same as Fig. 9, but for the evolution of angular momentum.

IV Astrophysical implications

In order to see to what extent the additional evolution of semimajor axis and angular momentum due to dynamic influence of CDM accretion would influence the results concerning the possibility of explaining the LIGO events by PBHs, we need to estimate the formation rate of gravitational wave events, RR (or, the merger rate), both, for the case when the effects of CDM clustering are absent and in the case when they are present. In the former case we closely follow Ali-Haïmoud, Kovetz &\& Kamionkowski 2017 [27] (hereafter, AKK), while in the latter case we use the numerical results obtained above. For the comparison with observations we are going to consider only M=1M_{*}=1, and assume that when M1M_{*}\sim 1 observations constraint the rate to be in the range 10 Gpc3yr1<R<Gpc^{-3}yr^{-1}<R< 100 Gpc3yr3Gpc^{-3}yr^{-3}, see e.g. [27, 15].

IV.1 Time scale of the evolution of semimajor axis

The formation rate RR is determined, to a large extent, by a characteristic time scale of the evolution of aa, tGWt_{GW}, for a bound PBH pair having a large value of initial eccentricity e1e\sim 1

tGW=3170c5(GM)3a4j7,t_{GW}={\frac{3}{170}}{\frac{c^{5}}{{(GM)}^{3}}}a^{4}j^{7}, (16)

where j=1e2j=\sqrt{1-e^{2}}, see e.g [27].

The pairs have a time to merge only when tGW<tHt_{GW}<t_{H}, where tH1.381010yrt_{H}\approx 1.38\cdot 10^{10}yr is the present age of the Universe. We introduce t~GW=tGW/tH\tilde{t}_{GW}=t_{GW}/t_{H} and express it in terms of the quantities appropriate for the problem at hand. We obtain

t~GW=5.221019j7a~4M5/3,\tilde{t}_{GW}=5.22\cdot 10^{19}j^{7}{\tilde{a}}^{4}M_{*}^{-5/3}, (17)

where a~=a/R¯\tilde{a}=a/\bar{R} and M=M/50MM_{*}=M/50M_{\odot}. From the condition t~GW<1\tilde{t}_{GW}<1 we obtain

a~<a~crit,a~crit=1.17105j7/4M5/12.\tilde{a}<\tilde{a}_{crit},\quad\tilde{a}_{crit}=1.17\cdot 10^{-5}j^{-7/4}M_{*}^{5/12}. (18)

In what follows we assume that both a~\tilde{a} and jj (or, equivalently, the dimensionless angular momentum l=a~jl=\sqrt{\tilde{a}}j) are certain functions of the initial comoving distance d0d_{0}, and a possible form of these functions follow from a particular scenario of the evolution of the pair before the process of its evolution due to emission of gravitational waves sets in. Note that it is different from the approach undertaken by AKK, who considered jj as a stochastic variable, but we are going to show that both approaches give quite similar results in the scenario when the effects of accreting CDM are neglected. When these functions are specified the condition t=tGWt=t_{GW} provide a certain value of d0d_{0} (for given ff and MM_{*}), d(t)d_{*}(t), and only the pairs with d<d(t)d<d_{*}(t) can merge before time tt. When t=tHt=t_{H} we set dd(tH)d_{*}\equiv d_{*}(t_{H}).

Assuming that spatial distribution of PBHs obey the Poisson statistics and introducing the variable X=fd03X=fd_{0}^{3} instead of d0d_{0}, one can easily show that probability density of distribution over a distance to the closest neighbor having some value of XX, dPdX\frac{d{\it P}}{dX} is dPdX=eX\frac{d{\it P}}{dX}=e^{-X}. Accordingly, the probability to have a pair with d0<dd_{0}<d_{*}, P{\it P}_{*}, is 12XeX{\frac{1}{2}}X_{*}e^{-X_{*}}, where the factor 12{\frac{1}{2}} is inserted to avoid double counting of the components, and X=fd3X_{*}=fd_{*}^{3}, see also AKK. Taking into account that we expect X1X_{*}\ll 1 we can set P=X{\it P}_{*}=X_{*}.

In order to estimate the merger rate we need to know the present day number density, npbhn_{pbh}. This follows from our definition of the PBH mass fraction ff and the average radius R¯\bar{R}

npbh=3f4π(sptR¯)3.n_{pbh}=\frac{3f}{4\pi{(s_{pt}\bar{R})}^{3}}. (19)

where sPT5.88103s_{PT}\approx 5.88\cdot 10^{3} is the present day value of the scale factor and we remind that we normalize it by the condition that it is equal to one at the equipartition time. A number density of PBHs, which have been merged before the present time, nmergen_{merge}, follows from (19) and the definition of our probability P=X{\it P}_{*}=X_{*}

nmerge=38πfX(d)(sptR¯)3.n_{merge}=\frac{3}{8\pi}\frac{fX(d_{*})}{{(s_{pt}\bar{R})}^{3}}. (20)

We obtain the merger rate differentiating XX in (20) and remembering that XX is a function of time due to the condition t=tGMt=t_{GM} and our assumption that a~\tilde{a} and jj entering tGWt_{GW} are functions of dd. We have

R=38πfX(d)(sptR¯)3t(tGWXXtGW)2.86107fXM1(tGWXXtGW)Gpc3yr1.R=\frac{3}{8\pi}\frac{fX(d_{*})}{{(s_{pt}\bar{R})}^{3}t}(\frac{t_{GW}}{X_{*}}\frac{\partial X_{*}}{\partial t_{GW}})\approx 2.86\cdot 10^{7}fX_{*}M_{*}^{-1}(\frac{t_{GW}}{X_{*}}\frac{\partial X_{*}}{\partial t_{GW}})Gpc^{-3}yr^{-1}. (21)

IV.2 The merger rate in case when CDM accretion is neglected

When the influence of accreting CDM on the evolution of semimajor axis and angular momentum of the binary is neglected the problem can be analyzed with the help of solutions to equation (5) and calculation of some integrals related to those solutions, see e.g. AKK, [27]. We closely follow AKK in this Paper for an estimate of the event rate in this case and use this estimate as a ’reference value’ for the problem, which takes into account the effect of clusterization.

When the accretion is neglected one can use afina_{fin} represented in Fig. 1 as the corresponding value of semimajor axis entering (17). In the same approach jj does change significantly at time t>teqt>t_{eq} and its value is assumed to be determined by two factors - 1) gravitational torques on the pair from the side of other black holes, and 2) gravitational torques determined by the cosmological density perturbations. In the first case a distribution over possible values jj is given by equation (19) of AKK, which can be used to calculate a mean value of jj. However, the corresponding integral is logarithmically divergent, which is related to the fact that nonphysical values of j>1j>1 are allowed. We set, accordingly, the upper integration limit j=1j=1 there, thus obtaining the average value

jbh=0.5fd3Λ,Λ=ln4fd3,j_{bh}=0.5fd^{3}\Lambda,\quad\Lambda=\ln{\frac{4}{fd^{3}}}, (22)

where we remind that ff is the ratio of PBH mass density to CDM mass density and it is assumed that f1f\ll 1. When f103f\geq 10^{-3} Λ10\Lambda\sim 10. The average value of jj due to the influence of cosmological perturbations, jcpj_{cp} is given by eq. (21) of AKK. Being rewritten with the help of our notations it has the form

jcp=2.5103d3,j_{cp}=2.5\cdot 10^{-3}d^{3}, (23)

where we assume that σeq=5103\sigma_{eq}=5\cdot 10^{-3} in eq. (21) of AKK. In order to find a typical value of tGWt_{GW} in eq. (16) we use j=jbhj=j_{bh} when jbh>jcpj_{bh}>j_{cp} and j=jcpj=j_{cp} otherwise.

When the result of solution of eq. (5) and jj given by the expressions above are substituted in (18) the condition a~crit=a~fin\tilde{a}_{crit}=\tilde{a}_{fin} can be used to express dd_{*} as a function of ff, for a fixed value of MM_{*}.

Refer to caption
Figure 11: The quantity dd_{*} as a function of ff for M=1M_{*}=1.

We show this function in Fig. 11 for the case M=1M_{*}=1. Note that the saw-like behaviour of the curve is simply due to relatively small numbers of our grid points used to represent our quantity d0d_{0} when solving (5). This is clearly nonphysical, but, since it does not influence any our results it is left unchanged. Also note that dd_{*} is constant at small values of ff. This is because when ff is small j=jcpj=j_{cp} which does not depend on ff, see eq. (23)

From eq.(8) it follows that a~find4\tilde{a}_{fin}\propto d_{*}^{4} when dd_{*} is not too large, while from the discussion above we see that we may approximate the dependence of jj on d8d_{8} as jd3j\propto d^{3}. Taking into account that X=fd3X_{*}=fd_{*}^{3} we see from eq. (16) that tGWX37/3t_{GW}\propto X_{*}^{37/3} and, accordingly, tGWXXtGW=337\frac{t_{GW}}{X_{*}}\frac{\partial X_{*}}{\partial t_{GW}}=\frac{3}{37} in (21) when accretion is neglected. We use tGWXXtGW=337\frac{t_{GW}}{X_{*}}\frac{\partial X_{*}}{\partial t_{GW}}=\frac{3}{37} in eq. (21), thus obtaining the event rate in the model case of the absence of accretion, which is shown in Fig. 14 below together with an estimate of the event rate, which takes into account the effects of CDM accretion. From this Fig. it is seen that, in the case when accretion is neglected, in order to have RR in the interval 10-100 Gpc3yr1Gpc^{-3}yr^{-1} the mass fraction ff should be in the interval 2.51031.21022.5\cdot 10^{-3}-1.2\cdot 10^{-2}. It agrees perfectly with the corresponding result of AKK 888Note that the value of MM_{*} in their Fig. 5, which is the closest to our value M=1M_{*}=1, is M=3/5M_{*}=3/5. This shouldn’t, however, influence the agreement in any significant way, see their Fig. 5. From Fig. 11 it also follows that when ff is approximately in the range 10310210^{-3}-10^{-2}, dd_{*} should approximately be in the range 0.510.5-1. This justifies the range of d0d_{0} chosen for our numerical simulations.

IV.3 The merger rate in the case of CDM accretion

IV.3.1 Numerical evaluation of the quantities of interest and the corresponding fitting procedure

In order to estimate the influence of the CDM accretion on the event rate we performed five simulations with d0=0.5d_{0}=0.5, 0.70.7, 0.950.95, 1.51.5 and 22. From the expression (16) it follows that tGWt_{GW} is determined by the dimensionless angular momentum l=a~jl=\sqrt{\tilde{a}}j and a~\tilde{a}. Since the estimates (22) and (23) show that the pair is expected to be very eccentric, ’realistic’ value of initial eccentricity are numerically extremely expensive. Therefore, in order to estimate the evolution of ll we use the following procedure: for each value of d0d_{0} we calculate some initial value of ll, linl_{in} during an initial stage of numerical evolution and some final value lfinl_{fin} at some final time, tfint_{fin}. Then we calculate the ratio λ=lfin/lin\lambda=l_{fin}/l_{in} and multiply it by a~finj\sqrt{\tilde{a}_{fin}}j, where a~fin\tilde{a}_{fin} is determined by the solution of equation (6) and jj is given by (22) or (23), as discussed above. The numerical value of a~\tilde{a} used in (16), a~finnum\tilde{a}^{num}_{fin} is calculated at the same moment of time. This moment of time is taken to correspond to sfin10s_{fin}\sim 10 for the runs with d0<1d_{0}<1 and sfin5s_{fin}\sim 5 for the runs with d0>1d_{0}>1, since in the latter case there is no significant evolution of λ\lambda and a~\tilde{a} further on. We have checked that numerical effects are not expected to influence our results both by performing runs with significantly different values of CDM particles and by comparing the results to the run corresponding to a single black hole. It is important to stress that the procedure of evaluation of the final angular momentum explicitly implies the assumption that torques acting on the pair are proportional to its angular momentum. Although it is supported by theory when binary evolves in the hardening regime, see equation (14), and finds some evidences in our numerical simulations, since the runs corresponding to d0=0.5d_{0}=0.5 have much smaller initial values of angular momentum, see Fig. 6, a caution should be taken with respect to this point. We are going to check this assumption with special purpose simulations in our future work.

We show a~finnum\tilde{a}^{num}_{fin} and λ\lambda in Figs. 12 and 13.

Refer to caption
Figure 12: We show the values of a~finnum\tilde{a}^{num}_{fin} as the solid line, a power law fit of the numerical results by the dashed line and the result of the solution of (6) as the dotted line. Symbols corresponds to the values obtained in the different numerical runs with different values of d0d_{0}.

As seen from Fig. 12 the numerically obtained values of a~fin\tilde{a}_{fin} are roughly two orders of magnitude smaller than the analytical ones. However, the slopes of the numerical and analytical curves are similar. The dashed curve shows the power law fit

a~finnum=7.9104d4.24,{\tilde{a}}^{num}_{fin}=7.9\cdot 10^{-4}d^{4.24}, (24)

which gives an excellent agreement with the data apart from the case with the smallest d0=0.5d_{0}=0.5, where it disagrees by factor of two.

Refer to caption
Figure 13: The dependency of the quantity λ\lambda on d0d_{0} is shown. As in the previous Fig. solid line and symbols correspond to the numerical results. The dashed line show the average value of λ\lambda, λav\lambda_{av} and the dotted line shows the deviation |λλav||\lambda-\lambda_{av}|.

In Fig. 13 we show the dependency of λ\lambda. One can see that λ\lambda depends non-monotonically on d0d_{0}. However, its average value, λav=8.23102\lambda_{av}=8.23\cdot 10^{-2} approximates the data points with the accuracy order of or less than 5050 per cent for all runs.

IV.3.2 An estimate of the merger rate

Given the complexity of the problem on hand we can consider an evaluation of the merger event rate based on the numerical results as a preliminary estimate. Since from Fig. 1 it follows that we can use the analytic expression for afina_{fin} given by equation (8) for a qualitative estimates when d0<0d_{0}<0, we are going to use (24) and λav\lambda_{av} and all other ingredients needed for the estimate are simple functions of the parameters of the problem, we can make it analytically. For that we proceed as follows.

At first, from equations (8), (22) and (23) it is seen that the dimensionless value of angular momentum after the accretion stage can be estimated as

lfin=λavjbha~fin1.32102fd5Λ,l_{fin}=\lambda_{av}j_{bh}\sqrt{\tilde{a}_{fin}}\approx 1.32\cdot 10^{-2}fd^{5}\Lambda, (25)

in case when f>fcritf>f_{crit} and

lfin=λavjcpa~fin6.47105d5,l_{fin}=\lambda_{av}j_{cp}\sqrt{\tilde{a}_{fin}}\approx 6.47\cdot 10^{-5}d^{5}, (26)

in the opposite case, while from the data represented in Fig. (11) it follows that fcrit6104f_{crit}\approx 6\cdot 10^{-4}. Next, we express (17) in terms of lfinl_{fin} and a~finnum{\tilde{a}}^{num}_{fin} as

t~GW=5.221019lfin7(a~finnum)M5/3.\tilde{t}_{GW}=5.22\cdot 10^{19}l_{fin}^{7}\sqrt{(\tilde{a}^{num}_{fin})}M_{*}^{-5/3}. (27)

Now we can substitute (24), (25) and (26) into (27) and, using the condition t~GW=1\tilde{t}_{GW}=1 obtain a value of d0d_{0}, dd_{*}, corresponding to the pairs, which are merging at the present time.

We have

d=0.735(Λf)0.188M0.048d_{*}=0.735\cdot{(\Lambda f)}^{-0.188}M_{*}^{0.048} (28)

when f>fcritf>f_{crit} and

d=2M0.048.d_{*}=2M_{*}^{0.048}. (29)

Note that equation (28) give, strictly speaking, an implicit expression for dd_{*}, since Λ\Lambda depends on dd_{*} itself, see equation (22). However, it is also seen that the dependency of Λ\Lambda in (28) is quite weak, and Λ\Lambda depends on dd_{*} logarithmically. Therefore, for our estimate below we are going to set d=1d=1 in (22) and use Λ=ln4f\Lambda=\ln\frac{4}{f}. Also note that from equations (28) and (29) it follows that dd_{*} is expected to be order of unity.

Since the dependency of tGWt_{GW} on dd is close to the case of no accretion, we are going again to use tGWXXtGW=337\frac{t_{GW}}{X_{*}}\frac{\partial X_{*}}{\partial t_{GW}}=\frac{3}{37} in (21), thus obtaining

R=2.13106f2d3M1Gpc3yr1.R=2.13\cdot 10^{6}f^{2}d_{*}^{3}M_{*}^{-1}{Gpc}^{-3}{yr}^{-1}. (30)

We substitute (28) and (29) in (30) and obtain

R=0.91106f1.44Λ0.564M0.856Gpc3yr1R=0.91\cdot 10^{6}f^{1.44}\Lambda^{-0.564}M_{*}^{-0.856}{Gpc}^{-3}{yr}^{-1} (31)

and

R=1.82107f2M0.856Gpc3yr1,R=1.82\cdot 10^{7}f^{2}M_{*}^{-0.856}{Gpc}^{-3}{yr}^{-1}, (32)

for the cases f>fcritf>f_{crit} and f<fcritf<f_{crit}, respectively.

Refer to caption
Figure 14: The merger rate as a function of PBH mass fraction ff for M=1M_{*}=1. The solid curve shows the rate obtained under the assumption that CDM accretion effects are negligible, the dashed line shows our estimate given by eqs. (31) and (32), which takes into account the effects of accretion. The horizontal dotted lines show the values R=10R=10 and 100100 assumed to be the margins provided by observations.

We show results of evaluation of the event rate in Fig. 14. The case when accretion is neglected is shown as solid line, while the case when the effects of accretion are accounted for is represented by dashed line. From this Fig. it is seen that both cases have approximately the same dependency on ff, but the latter estimate gives values of RR larger than the ones given by the former, in approximately 686-8 times. Therefore, in order to satisfy the observational limits on the merger rate, ff should be smaller in the case when the effects of accretion are taken into account. Namely, in this case it should be in the range 7.51043.41037.5\cdot 10^{-4}-3.4\cdot 10^{-3} contrary to the the standard case when the corresponding range is 2.51031.21022.5\cdot 10^{-3}-1.2\cdot 10^{-2}.

V Conclusions and Discussion

In this Paper we consider the influence of interaction of CDM particles with pairs of PBHs immersed in a medium consisting of radiation and CDM experiencing the standard cosmological expansion. The pairs become bound at times comparable to the equipartition time, teqt_{eq}, when both CDM and radiation matter densities are equal to ρeq\rho_{eq}. We run simulations with a direct summation N-body code and find numerically that a halo of CDM particles having small angular momenta is formed around the pair after it has became bound, with mass MhaloM_{halo} growing approximately proportional to the scale factor, MhalosM_{halo}\propto s, and the density distribution following the power law ρr9/4\rho\propto r^{-9/4}, confirming earlier analytical predictions. The density distribution is almost stationary at times tteqt\geq t_{eq}. Before the formation of the bound pair, provided that the initial comoving separation is large enough, two separate massive halos are formed around two black holes. These halos are then destructed during the formation time of the bound pair. We call the bound pairs as ’binary PBHs’ and consider values of their parameters (the mass M=50MM=50M_{\odot} and initial comoving separations, d0d_{0}, expressed in unit of the radius R¯=(3M4πρeq)1/3\bar{R}={(\frac{3M}{4\pi\rho_{eq}})}^{1/3}), which are of interest for the problem of the formation of the sources of gravitational waves due to merger of PBH pairs at the present time, possibly explaining the LIGO events. The initial mass fraction of PBHs, ff, is assumed to be small.

Since the angular momentum of CDM particles residing in the halos is low, they can come close to the binary and gravitationally interact with it in an efficient way, causing an exchange of energy and angular momentum between the particles and the binary. It is found numerically, that, as a result of these interactions the binary PBH significantly reduce values of its semimajor axis and angular momentum of the binary. We calculate the evolution of semimajor and angular momentum, taking also into account tidal field caused by the presence of radiation matter density. The radiation is assumed to be unclustered and its matter density obeys the standard cosmological evolution law. Our calculations are started at the epoch of radiation dominated and ended sufficiently deep into the matter-dominated stage.

We consider several values of d0d_{0} in the range 0.520.5-2 and a value of the scale factor corresponding to the end time of our calculations, typically ten times larger than that corresponds to teqt_{eq}. We find that, at the end time of our calculations, the binary angular momentum is typically ten times smaller than its initial value, while a value of semimajor axis is typically one hundred times smaller than the one obtained in the calculations, which do not take into account the effect of CDM clustering. Physical origin of these changes seems, however, appears to be different for the binaries having d0>1d_{0}>1 and d0<1d_{0}<1. In the former case it is mainly caused by strong non-stationary processes occurring during the formation time of the bound pair. During this time a large value of mass of CDM particles is expelled from the system, causing rather abrupt changes of semimajor axis and angular momentum. In the latter case the evolution mainly proceeds in a secular way, and may be explained by the process of hardening of the binary due to the interaction with CDM particles. We provide a semi-analytical treatment of this process, which is in an excellent agreement with the numerical results at late times.

The reason why purely analytical methods appear to be difficult to implement for the problem on hand is because of relatively rather large values of angular momentum of the halo’s particles. In our setting of the problem the only physical origin of the angular momentum is provided by torques acting on the particles from the side of quadruple component of the gravitational field of the pair. We have checked, however, that these torques alone cannot produce values of angular momentum observed in the simulations. On the other hand, we have checked than these values cannot be explained by numerical effects, using simulations with a different total number of low mass particles, representing CDM, and comparing results of the simulations of a pair with an auxiliary simulation having a single PBH of doubled mass. We propose the following qualitative picture for an explanation of this issue. The torques provided by the pair excite non-axisymmetric perturbations of matter density of CDM particles. These perturbations are amplified in the halo as a results of various potential instabilities, e.g., the instability of radial orbits, see e.g. [43]. Gravitational field associated with the amplified perturbations causes the torque large enough to explain the obtained values of angular momentum. Clearly, this picture requires a further detailed analysis.

We use the values of angular momentum and semimajor axis obtained at the end time of our simulations to demonstrate to what extent the effects considered in this Paper could influence the merger rate. For that, at first, we simplify the approach developed in [27] in a way, which can be directly used in both case when the CDM clustering is neglected (the standard case) and when it is taken into account. We show, that, regardless of these simplifications, our way to estimate the merger rate quantitatively reproduces the results reported in [27] in the case of no clustering. In the case when the clustering is considered the merger rate is shown to be 686-8 times larger than in the standard case. This, in turn, means that values of ff needed to satisfy the observational limits on the merger rate are several times smaller than in the standard case. We also provide a simple analytical expressions for the merger rate, which can be directly used in case of a distributed mass spectrum of PBHs.

Our results should be considered as preliminary ones. For example, the process of hardening does not stop at the end time of our simulation. It could, potentially, operate up to much later times, thus further decreasing semimajor axis and angular momentum. This, would, obviously, mean even larger values of the merger rate at a fixed value of ff. A physically motivated end time of this process may, in principle, be the time of a significantly non-linear structure formation at the scales of interest, corresponding to redshifts order of ten. On the other hand, halo may become more perturbed at late times due to a slow growth of various instabilities and input of the factors neglected in this work (e.g., the influence of other PBHs, development of the halo’s perturbations seeded by the cosmological ones). These processes may quench binary’s hardening at late times. Another interesting development is associated with the process of accretion of baryonic matter, which may be significant at redshifts order of ten, see e.g. [45, 46]. This process may also contribute to an additional significant change of the orbital parameters of the binary, see [47] for analytic estimates of the significance of this process. All these issues as well as the issue of relatively large angular momenta of the halo’s particles are left for a potential future work.

Finally, we note that simulating PBH pairs with CDM to much larger times is a numerical challenge. Direct summation methods are too slow, while approximate methods, like a tree algorithm used in Gadget-2 or Gadget-4 code do not provide good enough accuracy, according to our tests.

Acknowledgements.
This work was supported in part by RFBR grant 19-02-00199. We are grateful to Maxim Pshirkov for very useful comments.

References