Can the poltergeist mechanism produce observable GWs?

Zhen-Min Zeng1,2 [email protected]    Cheng-Jun Fang1,2 [email protected]    Zong-Kuan Guo1,2,3 [email protected] 1CAS Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 100190, China 2School of Physical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China 3School of Fundamental Physics and Mathematical Sciences, Hangzhou Institute for Advanced Study, University of Chinese Academy of Sciences, Hangzhou 310024, China
Abstract

The enhancement of induced gravitational waves (GWs) occurs due to a sudden transition from an early matter-dominated era to the radiation-dominated era. We analyze the impact of the transition rate on the scalar potential. We find that the finite transition duration suppresses the oscillation amplitude of the scalar potential, consequently suppressing the amplitude of the GW energy spectrum. By numerically solving the background and perturbation equations, we demonstrate that the physically motivated models, such as the evaporation of primordial black holes and the decay of Q-balls, cannot produce an observable GW signal.

Introduction. Gravitational waves (GWs) serve as a pivotal tool for investigating the early Universe before big bang nucleosynthesis. There are many potential sources, such as inflation [1, 2, 3, 4, 5], first-order phase transitions [6, 7, 8, 9], preheating after inflation [10, 11, 12, 13], topological defects [14, 15, 16], etc. A notable scenario is GWs induced by the first-order scalar potential, which has been a hot topic for a long time [17, 18, 19, 20, 21, 22, 23, 24, 25, 26]. Generally, to have an observable induced GW signal, there are two scenarios: (1) Primordial curvature perturbations are significantly enhanced on small scales due to some mechanisms [27, 28, 29, 30, 31, 32, 33, 34, 35, 36]. (2) There is a long-lived early matter-dominated (eMD) era followed by a fast transition to the radiation-dominated (RD) era (called the poltergeist mechanism) [37, 38, 39, 40, 41, 42, 43, 44, 45, 46]. Such an eMD epoch is motivated in a wide variety of contexts, including the decaying dark sector [47, 48, 49, 50, 51, 52], primordial black holes (PBHs) [53, 37, 38, 54, 55, 56], post-inflationary reheating [57, 58, 59] and solitons such as Q-balls [60, 61]. Currently, there are no constraints on this epoch before nucleosynthesis [62].

During the eMD epoch, the gravitational potential does not decay, even on subhorizon scales. In this scenario, the amplification of induced GWs comes from the fast oscillation of the scalar potential after the transition, especially the mode entering the horizon deep in the eMD era. The earlier the mode enters the horizon, the faster the scalar potential oscillates in the RD era, and the stronger induced GWs. Since the density contrast of matter δma(τ)proportional-tosubscript𝛿𝑚𝑎𝜏\delta_{m}\propto a(\tau)italic_δ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∝ italic_a ( italic_τ ) in the eMD era, there is a cutoff scale kcutsubscript𝑘𝑐𝑢𝑡k_{cut}italic_k start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT that keeps the linear perturbation theory valid, which is also the peak frequency of GWs.

In this letter, we revisit the GW amplification mechanism stemming from a rapid transition from the eMD to RD eras. We find that the evolution of the scalar potential is sensitive to the duration time of the transition. For those modes that reenter the horizon deep in the eMD era, even a short duration time can lead to fast decay of the scalar potential (before they oscillate in the RD era) [42, 43]. So, the behavior of the decay rate around the transition is very important. However, in the previous work, they either use the sudden transition approximation or use phenomenological parameterizations, which loses the evolution detail of the decay rate. We omit the parameterized background and analytical expression of the scalar potential. Instead, for the first time, we fully numerically solve the evolution of the background and perturbations in the context of PBHs and Q-balls, which is a belief that the decay rate is fast enough to create a sudden transition process. Our numerical method resolves transient dynamics, revealing that neither PBH evaporation nor Q-ball decay can produce transitions that meet the required rapidity criterion. The finite transition duration emerges as an irreducible physical parameter, thereby establishing that previous estimates of GW amplification in such scenarios are systematically overestimated.

Scalar potential. In order to show the duration time of transition is important to the evolution of the scalar potential, we begin with a parameterized equation of state

ω(τ)=16[tanhττeqΔτ+1],𝜔𝜏16delimited-[]𝜏subscript𝜏𝑒𝑞Δ𝜏1\omega(\tau)=\frac{1}{6}\left[\tanh{\frac{\tau-\tau_{eq}}{\Delta\tau}}+1\right],italic_ω ( italic_τ ) = divide start_ARG 1 end_ARG start_ARG 6 end_ARG [ roman_tanh divide start_ARG italic_τ - italic_τ start_POSTSUBSCRIPT italic_e italic_q end_POSTSUBSCRIPT end_ARG start_ARG roman_Δ italic_τ end_ARG + 1 ] , (1)

which characterizes the transition from the eMD (ω=0𝜔0\omega=0italic_ω = 0) era to the RD (ω=1/3𝜔13\omega=1/3italic_ω = 1 / 3) era. Here τeqsubscript𝜏𝑒𝑞\tau_{eq}italic_τ start_POSTSUBSCRIPT italic_e italic_q end_POSTSUBSCRIPT is the equal time of matter and radiation, and ΔτΔ𝜏\Delta\tauroman_Δ italic_τ denotes the transition width. Combining the Friedmann equation and continuity equation, we can solve the background in terms of

a′′a+3ω12(aa)2=0.superscript𝑎′′𝑎3𝜔12superscriptsuperscript𝑎𝑎20\frac{a^{\prime\prime}}{a}+\frac{3\omega-1}{2}\left(\frac{a^{\prime}}{a}\right% )^{2}=0.divide start_ARG italic_a start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_a end_ARG + divide start_ARG 3 italic_ω - 1 end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_a end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0 . (2)

The equation of motion for the scalar potential is

ϕk′′+3(1+ω)ϕk+[2+(1+3ω)2]ϕk+ωk2ϕk=0,subscriptsuperscriptitalic-ϕ′′𝑘31𝜔subscriptsuperscriptitalic-ϕ𝑘delimited-[]2superscript13𝜔superscript2subscriptitalic-ϕ𝑘𝜔superscript𝑘2subscriptitalic-ϕ𝑘0\phi^{\prime\prime}_{k}+3\mathcal{H}(1+\omega)\phi^{\prime}_{k}+[2\mathcal{H}^% {\prime}+(1+3\omega)\mathcal{H}^{2}]\phi_{k}+\omega k^{2}\phi_{k}=0,italic_ϕ start_POSTSUPERSCRIPT ′ ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + 3 caligraphic_H ( 1 + italic_ω ) italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + [ 2 caligraphic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + ( 1 + 3 italic_ω ) caligraphic_H start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + italic_ω italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = 0 , (3)

where =a1da/dτsuperscript𝑎1𝑑𝑎𝑑𝜏\mathcal{H}=a^{-1}da/d\taucaligraphic_H = italic_a start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_d italic_a / italic_d italic_τ is the conformal Hubble parameter. We assume ω=cs2𝜔superscriptsubscript𝑐𝑠2\omega=c_{s}^{2}italic_ω = italic_c start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT for simplicity and ignore the entropy perturbation δS𝛿𝑆\delta Sitalic_δ italic_S. We choose two sets of ΔτΔ𝜏\Delta\tauroman_Δ italic_τ that denote different transition speeds to solve the background numerically, and we calculate the mode k=100/τeq𝑘100subscript𝜏𝑒𝑞k=100/\tau_{eq}italic_k = 100 / italic_τ start_POSTSUBSCRIPT italic_e italic_q end_POSTSUBSCRIPT as an example, which is an enhanced mode that reenters the horizon in the eMD era. The results are shown in Fig. 1.

Refer to caption
Figure 1: Evolution of the equation of state with two sets of parameters denote the slow transition (dashed blue) and fast transition (dashed red). The solid lines represents the evolution of ϕksubscriptitalic-ϕ𝑘\phi_{k}italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT with k=100/τeq𝑘100subscript𝜏𝑒𝑞k=100/\tau_{eq}italic_k = 100 / italic_τ start_POSTSUBSCRIPT italic_e italic_q end_POSTSUBSCRIPT.

We can see that when the transition rate is slower (Δτ=0.1Δ𝜏0.1\Delta\tau=0.1roman_Δ italic_τ = 0.1), the mode oscillates during the transition, and their amplitude is smaller compared to the quick transition case (Δτ=0.01Δ𝜏0.01\Delta\tau=0.01roman_Δ italic_τ = 0.01). We also show the impact of transition speed on the source term of GWs, which is defined by

f(k1,k2,τ)=2ϕk1(τ)ϕk2(τ)+41+3ω(τ)×(ϕk1(τ)+ϕk1(τ)(τ))(ϕk2(τ)+ϕk2(τ)(τ)).𝑓subscript𝑘1subscript𝑘2𝜏2subscriptitalic-ϕsubscript𝑘1𝜏subscriptitalic-ϕsubscript𝑘2𝜏413𝜔𝜏subscriptitalic-ϕsubscript𝑘1𝜏subscriptsuperscriptitalic-ϕsubscript𝑘1𝜏𝜏subscriptitalic-ϕsubscript𝑘2𝜏subscriptsuperscriptitalic-ϕsubscript𝑘2𝜏𝜏\begin{split}&f(k_{1},k_{2},\tau)=2\phi_{k_{1}}(\tau)\phi_{k_{2}}(\tau)+\frac{% 4}{1+3\omega(\tau)}\\ &\times\left(\phi_{k_{1}}(\tau)+\frac{\phi^{\prime}_{k_{1}}(\tau)}{\mathcal{H}% (\tau)}\right)\left(\phi_{k_{2}}(\tau)+\frac{\phi^{\prime}_{k_{2}}(\tau)}{% \mathcal{H}(\tau)}\right).\end{split}start_ROW start_CELL end_CELL start_CELL italic_f ( italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) = 2 italic_ϕ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_τ ) italic_ϕ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_τ ) + divide start_ARG 4 end_ARG start_ARG 1 + 3 italic_ω ( italic_τ ) end_ARG end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × ( italic_ϕ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_τ ) + divide start_ARG italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_τ ) end_ARG start_ARG caligraphic_H ( italic_τ ) end_ARG ) ( italic_ϕ start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_τ ) + divide start_ARG italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_τ ) end_ARG start_ARG caligraphic_H ( italic_τ ) end_ARG ) . end_CELL end_ROW (4)
Refer to caption
Figure 2: Evolution of the source term in the slow transition (blue line) and fast transition (red line).

In Fig. 2, we choose a specific configuration k1=k2=100/τeqsubscript𝑘1subscript𝑘2100subscript𝜏𝑒𝑞k_{1}=k_{2}=100/\tau_{eq}italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 100 / italic_τ start_POSTSUBSCRIPT italic_e italic_q end_POSTSUBSCRIPT and we can see that the reduction is more significant. The result infers that the duration time of the transition is very important to the prediction of the amplitude of GWs, so we need to specifically investigate the transition rate around the transition time.

Decay rates. PBHs and Q-balls are well-motivated candidates to trigger eMD epochs in the Universe. They behave as decaying nonrelativistic fluids. In the early stage, they are stable and their energy density may dominate the Universe if their stable time is long enough. However, when the decay rate becomes stronger, they will decay to radiation and heat the Universe. As mentioned above, the decay rates of these objects around the transition time critically influence the transition speed from matter to radiation domination, which in turn determines the resonant enhancement of GWs induced by primordial curvature perturbations. In general, the decay rate can be expressed as

Γ1MdMdt=ntevat,Γ1𝑀𝑑𝑀𝑑𝑡𝑛subscript𝑡𝑒𝑣𝑎𝑡\Gamma\equiv-\frac{1}{M}\frac{dM}{dt}=\frac{n}{t_{eva}-t},roman_Γ ≡ - divide start_ARG 1 end_ARG start_ARG italic_M end_ARG divide start_ARG italic_d italic_M end_ARG start_ARG italic_d italic_t end_ARG = divide start_ARG italic_n end_ARG start_ARG italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT - italic_t end_ARG , (5)

where M𝑀Mitalic_M is the mass of the matter component, tevasubscript𝑡𝑒𝑣𝑎t_{eva}italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT is the evaporation time, when most of their mass become radiation. The decay rate coefficients n=1/3,3,1,3/5𝑛133135n=1/3,3,1,3/5italic_n = 1 / 3 , 3 , 1 , 3 / 5 for PBHs, thin-wall, thick-wall, and delayed Q-balls [43, 63, 64, 65], respectively. PBHs decay through Hawking radiation, with their mass evolving as MPBH(tevat)13proportional-tosubscript𝑀𝑃𝐵𝐻superscriptsubscript𝑡𝑒𝑣𝑎𝑡13M_{PBH}\propto(t_{eva}-t)^{\frac{1}{3}}italic_M start_POSTSUBSCRIPT italic_P italic_B italic_H end_POSTSUBSCRIPT ∝ ( italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT - italic_t ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT. Q-balls are stable scalar field configurations stabilized by a conserved charge. Their decay mechanisms depend on their type. By comparison of the decay rate coefficients, PBHs have the smallest n𝑛nitalic_n thus the fastest transition rate, which is supposed to have a stronger GW signal. So we take PBHs as an example to show how to fully numerically solve the background and perturbations. The discussion is easily extended to the case of Q-Balls.

Evolution of background and perturbations. In order to solve the background in conformal time, we rewrite the decay rate [5] as differential equations. Background evolution can be expressed as

2superscript2\displaystyle\mathcal{H}^{2}caligraphic_H start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =\displaystyle== a2(ρr+ρm)/3,superscript𝑎2subscript𝜌𝑟subscript𝜌𝑚3\displaystyle a^{2}(\rho_{r}+\rho_{m})/3,italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) / 3 , (6)
ρmsuperscriptsubscript𝜌𝑚\displaystyle\rho_{m}^{\prime}italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== (3+Γ~)ρm,3~Γsubscript𝜌𝑚\displaystyle-(3\mathcal{H}+\tilde{\Gamma})\rho_{m},- ( 3 caligraphic_H + over~ start_ARG roman_Γ end_ARG ) italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , (7)
ρrsuperscriptsubscript𝜌𝑟\displaystyle\rho_{r}^{\prime}italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== (4Γ~)ρr,4~Γsubscript𝜌𝑟\displaystyle-(4\mathcal{H}-\tilde{\Gamma})\rho_{r},- ( 4 caligraphic_H - over~ start_ARG roman_Γ end_ARG ) italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT , (8)
Γ~superscript~Γ\displaystyle\tilde{\Gamma}^{\prime}over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== Γ~+nΓ~2,~Γ𝑛superscript~Γ2\displaystyle\mathcal{H}\tilde{\Gamma}+n\tilde{\Gamma}^{2},caligraphic_H over~ start_ARG roman_Γ end_ARG + italic_n over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (9)

where Γ~aΓ~Γ𝑎Γ\tilde{\Gamma}\equiv a\Gammaover~ start_ARG roman_Γ end_ARG ≡ italic_a roman_Γ is the conformal decay rate,, ρmsubscript𝜌𝑚\rho_{m}italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and ρrsubscript𝜌𝑟\rho_{r}italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT are energy density of matter and background radiation. Here n=1/3𝑛13n=1/3italic_n = 1 / 3 since we focus on the PBH-dominated case.

We start our numerical calculation at the formation time of PBHs τisubscript𝜏𝑖\tau_{i}italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT in the eRD era, where the abundance of PBHs is characterized by βi=ρm(τi)/ρr(τi)subscript𝛽𝑖subscript𝜌𝑚subscript𝜏𝑖subscript𝜌𝑟subscript𝜏𝑖\beta_{i}=\rho_{m}(\tau_{i})/\rho_{r}(\tau_{i})italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) / italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ). We assume βi1much-less-thansubscript𝛽𝑖1\beta_{i}\ll 1italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≪ 1 throughout this letter. We can ignore the evaporation of PBHs at initial time and the scale factor can be expressed as

a(τ)ai=1βi[(2+βi21+βi)(ττi)2+2(1+1+βi)ττi].𝑎𝜏subscript𝑎𝑖1subscript𝛽𝑖delimited-[]2subscript𝛽𝑖21subscript𝛽𝑖superscript𝜏subscript𝜏𝑖2211subscript𝛽𝑖𝜏subscript𝜏𝑖\frac{a(\tau)}{a_{i}}=\frac{1}{\beta_{i}}\left[(2+\beta_{i}-2\sqrt{1+\beta_{i}% })\left(\frac{\tau}{\tau_{i}}\right)^{2}+2(-1+\sqrt{1+\beta_{i}})\frac{\tau}{% \tau_{i}}\right].divide start_ARG italic_a ( italic_τ ) end_ARG start_ARG italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG [ ( 2 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - 2 square-root start_ARG 1 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) ( divide start_ARG italic_τ end_ARG start_ARG italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 ( - 1 + square-root start_ARG 1 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) divide start_ARG italic_τ end_ARG start_ARG italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ] . (10)

We rescale the conformal time and scale factor at τisubscript𝜏𝑖\tau_{i}italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, where τ/τiτ~,a(τ)/aia~(τ~)formulae-sequence𝜏subscript𝜏𝑖~𝜏𝑎𝜏subscript𝑎𝑖~𝑎~𝜏\tau/\tau_{i}\rightarrow\tilde{\tau},a(\tau)/a_{i}\rightarrow\tilde{a}(\tilde{% \tau})italic_τ / italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → over~ start_ARG italic_τ end_ARG , italic_a ( italic_τ ) / italic_a start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT → over~ start_ARG italic_a end_ARG ( over~ start_ARG italic_τ end_ARG ). The energy density can be dimensionless as ρmτi2/Mpl2ρ~m,ρrτi2/Mpl2ρ~rformulae-sequencesubscript𝜌𝑚superscriptsubscript𝜏𝑖2superscriptsubscript𝑀𝑝𝑙2subscript~𝜌𝑚subscript𝜌𝑟superscriptsubscript𝜏𝑖2superscriptsubscript𝑀𝑝𝑙2subscript~𝜌𝑟\rho_{m}\tau_{i}^{2}/M_{pl}^{2}\rightarrow\tilde{\rho}_{m},\rho_{r}\tau_{i}^{2% }/M_{pl}^{2}\rightarrow\tilde{\rho}_{r}italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → over~ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → over~ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT. From now on, we omit the symbol “~~absent\tilde{\quad}over~ start_ARG end_ARG”, just keep in mind that all variables are dimensionless and rescaled at τisubscript𝜏𝑖\tau_{i}italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. Then the initial conditions can be expressed as

a(τi)=1,a(τi)=2(1+βi1+βi)βi,ρr(τi)=27βi24(1+βi+1+βi)2,ρm(τi)=βiρr(τi).\begin{split}&a(\tau_{i})=1,\quad a^{\prime}(\tau_{i})=\frac{2(1+\beta_{i}-% \sqrt{1+\beta_{i}})}{\beta_{i}},\\ &\rho_{r}(\tau_{i})=\frac{27\beta_{i}^{2}}{4(-1+\beta_{i}+\sqrt{1+\beta_{i}})^% {2}},\quad\rho_{m}(\tau_{i})=\beta_{i}\rho_{r}(\tau_{i}).\end{split}start_ROW start_CELL end_CELL start_CELL italic_a ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = 1 , italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = divide start_ARG 2 ( 1 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - square-root start_ARG 1 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) end_ARG start_ARG italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG , end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = divide start_ARG 27 italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 ( - 1 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + square-root start_ARG 1 + italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) = italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) . end_CELL end_ROW (11)

The initial condition for Γ~~Γ\tilde{\Gamma}over~ start_ARG roman_Γ end_ARG is more tricky. At formation time, titevamuch-less-thansubscript𝑡𝑖subscript𝑡𝑒𝑣𝑎t_{i}\ll t_{eva}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ≪ italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT and Γ(ti)1/(3teva)Γsubscript𝑡𝑖13subscript𝑡𝑒𝑣𝑎\Gamma(t_{i})\approx 1/(3t_{eva})roman_Γ ( italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) ≈ 1 / ( 3 italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT ), which is determined by the initial mass of PBHs. However, tevasubscript𝑡𝑒𝑣𝑎t_{eva}italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT cannot be determined since we need to integrate the scale factor in conformal time, which is unclear before solving the background equations. In practice, we can pre-set the numerical quantity of tevasubscript𝑡𝑒𝑣𝑎t_{eva}italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT, then solve the background equations until the end of the transition τevasubscript𝜏𝑒𝑣𝑎\tau_{eva}italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT, where ρm(τeva)ρr(τeva)much-less-thansubscript𝜌𝑚subscript𝜏𝑒𝑣𝑎subscript𝜌𝑟subscript𝜏𝑒𝑣𝑎\rho_{m}(\tau_{eva})\ll\rho_{r}(\tau_{eva})italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT ) ≪ italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT ) and ω(τeva)1/3𝜔subscript𝜏𝑒𝑣𝑎13\omega(\tau_{eva})\approx 1/3italic_ω ( italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT ) ≈ 1 / 3. Then the actual value of tevasubscript𝑡𝑒𝑣𝑎t_{eva}italic_t start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT can be determined by integrating the conformal time from 00 to τevasubscript𝜏𝑒𝑣𝑎\tau_{eva}italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT. Until now, we know exactly the initial mass of PBHs. In general, only two parameters βisubscript𝛽𝑖\beta_{i}italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and MPBH,isubscript𝑀𝑃𝐵𝐻𝑖M_{PBH,i}italic_M start_POSTSUBSCRIPT italic_P italic_B italic_H , italic_i end_POSTSUBSCRIPT can determine whether there will be the eMD era or not, as well as the depth of the eMD era, if any.

We then calculate perturbations in the conformal Newtonian gauge [66, 38]

δmsuperscriptsubscript𝛿𝑚\displaystyle\delta_{m}^{\prime}italic_δ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== θm+3ϕΓ~ϕ,subscript𝜃𝑚3superscriptitalic-ϕ~Γitalic-ϕ\displaystyle-\theta_{m}+3\phi^{\prime}-\tilde{\Gamma}\phi,- italic_θ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + 3 italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - over~ start_ARG roman_Γ end_ARG italic_ϕ , (12)
θmsuperscriptsubscript𝜃𝑚\displaystyle\theta_{m}^{\prime}italic_θ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== θm+k2ϕ,subscript𝜃𝑚superscript𝑘2italic-ϕ\displaystyle-\mathcal{H}\theta_{m}+k^{2}\phi,- caligraphic_H italic_θ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ , (13)
δrsuperscriptsubscript𝛿𝑟\displaystyle\delta_{r}^{\prime}italic_δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== 34(θr3ϕ)+Γ~ρmρr(δmδr+ϕ),34subscript𝜃𝑟3superscriptitalic-ϕ~Γsubscript𝜌𝑚subscript𝜌𝑟subscript𝛿𝑚subscript𝛿𝑟italic-ϕ\displaystyle-\frac{3}{4}(\theta_{r}-3\phi^{\prime})+\tilde{\Gamma}\frac{\rho_% {m}}{\rho_{r}}(\delta_{m}-\delta_{r}+\phi),- divide start_ARG 3 end_ARG start_ARG 4 end_ARG ( italic_θ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT - 3 italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) + over~ start_ARG roman_Γ end_ARG divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG ( italic_δ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + italic_ϕ ) , (14)
θrsuperscriptsubscript𝜃𝑟\displaystyle\theta_{r}^{\prime}italic_θ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== k24δr+k2ϕΓ~3ρm4ρr(43θrθm),superscript𝑘24subscript𝛿𝑟superscript𝑘2italic-ϕ~Γ3subscript𝜌𝑚4subscript𝜌𝑟43subscript𝜃𝑟subscript𝜃𝑚\displaystyle\frac{k^{2}}{4}\delta_{r}+k^{2}\phi-\tilde{\Gamma}\frac{3\rho_{m}% }{4\rho_{r}}(\frac{4}{3}\theta_{r}-\theta_{m}),divide start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG italic_δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ - over~ start_ARG roman_Γ end_ARG divide start_ARG 3 italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG 4 italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG ( divide start_ARG 4 end_ARG start_ARG 3 end_ARG italic_θ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) , (15)
ϕsuperscriptitalic-ϕ\displaystyle\phi^{\prime}italic_ϕ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =\displaystyle== k2ϕ3ϕ2(ρmρtotδm+ρrρtotδr),superscript𝑘2italic-ϕ3italic-ϕ2subscript𝜌𝑚subscript𝜌𝑡𝑜𝑡subscript𝛿𝑚subscript𝜌𝑟subscript𝜌𝑡𝑜𝑡subscript𝛿𝑟\displaystyle-\frac{k^{2}\phi}{3\mathcal{H}}-\mathcal{H}\phi-\frac{\mathcal{H}% }{2}(\frac{\rho_{m}}{\rho_{tot}}\delta_{m}+\frac{\rho_{r}}{\rho_{tot}}\delta_{% r}),- divide start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϕ end_ARG start_ARG 3 caligraphic_H end_ARG - caligraphic_H italic_ϕ - divide start_ARG caligraphic_H end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_t italic_o italic_t end_POSTSUBSCRIPT end_ARG italic_δ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + divide start_ARG italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT italic_t italic_o italic_t end_POSTSUBSCRIPT end_ARG italic_δ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) , (16)

where we neglect anisotropic stress, so ϕitalic-ϕ\phiitalic_ϕ is the only scalar perturbation of metric. Here ρtot=ρm+ρrsubscript𝜌𝑡𝑜𝑡subscript𝜌𝑚subscript𝜌𝑟\rho_{tot}=\rho_{m}+\rho_{r}italic_ρ start_POSTSUBSCRIPT italic_t italic_o italic_t end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT is total energy density. Solve the above equations in superhorion limit (Γ~=0~Γ0\tilde{\Gamma}=0over~ start_ARG roman_Γ end_ARG = 0), we get the initial condition in the eRD era

δm,i=32ϕi,δr,i=2ϕi,θm,i=θr,i=k2τ2ϕi,formulae-sequencesubscript𝛿𝑚𝑖32subscriptitalic-ϕ𝑖formulae-sequencesubscript𝛿𝑟𝑖2subscriptitalic-ϕ𝑖subscript𝜃𝑚𝑖subscript𝜃𝑟𝑖superscript𝑘2𝜏2subscriptitalic-ϕ𝑖\delta_{m,i}=-\frac{3}{2}\phi_{i},\quad\delta_{r,i}=-2\phi_{i},\quad\theta_{m,% i}=\theta_{r,i}=\frac{k^{2}\tau}{2}\phi_{i},italic_δ start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT = - divide start_ARG 3 end_ARG start_ARG 2 end_ARG italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_δ start_POSTSUBSCRIPT italic_r , italic_i end_POSTSUBSCRIPT = - 2 italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_m , italic_i end_POSTSUBSCRIPT = italic_θ start_POSTSUBSCRIPT italic_r , italic_i end_POSTSUBSCRIPT = divide start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_τ end_ARG start_ARG 2 end_ARG italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (17)

where ϕisubscriptitalic-ϕ𝑖\phi_{i}italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the primordial perturbation generated from inflation. It is worth mentioning that our choice is the adiabatic initial conditions.

Numerical method to calculate induced GWs. Given that both the background and perturbations are computed numerically, induced GWs must also be derived through numerical integration. The energy density of induced GWs is given by

ΩGW(k,τ0)h2=Ωr,0h2124(kc)2𝒫h(k,τc)¯,subscriptΩ𝐺𝑊𝑘subscript𝜏0superscript2subscriptΩ𝑟0superscript2124superscript𝑘subscript𝑐2¯subscript𝒫𝑘subscript𝜏𝑐\Omega_{GW}(k,\tau_{0})h^{2}=\Omega_{r,0}h^{2}\frac{1}{24}(\frac{k}{\mathcal{H% }_{c}})^{2}\overline{\mathcal{P}_{h}(k,\tau_{c})},roman_Ω start_POSTSUBSCRIPT italic_G italic_W end_POSTSUBSCRIPT ( italic_k , italic_τ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = roman_Ω start_POSTSUBSCRIPT italic_r , 0 end_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 24 end_ARG ( divide start_ARG italic_k end_ARG start_ARG caligraphic_H start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over¯ start_ARG caligraphic_P start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( italic_k , italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) end_ARG , (18)

where Ωr,0h24.2×105subscriptΩ𝑟0superscript24.2superscript105\Omega_{r,0}h^{2}\approx 4.2\times 10^{-5}roman_Ω start_POSTSUBSCRIPT italic_r , 0 end_POSTSUBSCRIPT italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ 4.2 × 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT is the current radiation energy parameter, 𝒫hsubscript𝒫\mathcal{P}_{h}caligraphic_P start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT is the power spectrum of GWs. The subscript “c” represents the time when the mode of interest becomes well inside the horizon and the energy density of GWs becomes almost constant. 𝒫¯hsubscript¯𝒫\overline{\mathcal{P}}_{h}over¯ start_ARG caligraphic_P end_ARG start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT is the time average per period T𝑇Titalic_T around τ𝜏\tauitalic_τ, explicitly in x¯(τ)=1TτTτx(τ~)𝑑τ~¯𝑥𝜏1𝑇superscriptsubscript𝜏𝑇𝜏𝑥~𝜏differential-d~𝜏\bar{x}(\tau)=\frac{1}{T}\int_{\tau-T}^{\tau}x(\tilde{\tau})d\tilde{\tau}over¯ start_ARG italic_x end_ARG ( italic_τ ) = divide start_ARG 1 end_ARG start_ARG italic_T end_ARG ∫ start_POSTSUBSCRIPT italic_τ - italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT italic_x ( over~ start_ARG italic_τ end_ARG ) italic_d over~ start_ARG italic_τ end_ARG. The power spectrum can be calculated by

𝒫h(k,τ)=481a2(τ)|k1k2|kk1+k2dlnk1dlnk2I2(k,k1,k2,τ)×(k12(k2k22+k12)2/(4k2))2k1k2k2𝒫(k1)𝒫(k2),subscript𝒫𝑘𝜏481superscript𝑎2𝜏subscriptsubscript𝑘1subscript𝑘2𝑘subscript𝑘1subscript𝑘2𝑑subscript𝑘1𝑑subscript𝑘2superscript𝐼2𝑘subscript𝑘1subscript𝑘2𝜏superscriptsuperscriptsubscript𝑘12superscriptsuperscript𝑘2superscriptsubscript𝑘22superscriptsubscript𝑘1224superscript𝑘22subscript𝑘1subscript𝑘2superscript𝑘2subscript𝒫subscript𝑘1subscript𝒫subscript𝑘2\begin{split}\mathcal{P}_{h}(k,\tau)&=\frac{4}{81a^{2}(\tau)}\int_{\begin{% subarray}{c}|k_{1}-k_{2}|\leq k\leq k_{1}+k_{2}\end{subarray}}d\ln{k_{1}}\,d% \ln{k_{2}}I^{2}(k,k_{1},k_{2},\tau)\\ &\times\frac{(k_{1}^{2}-(k^{2}-k_{2}^{2}+k_{1}^{2})^{2}/(4k^{2}))^{2}}{k_{1}k_% {2}k^{2}}\mathcal{P}_{\mathcal{R}}(k_{1})\mathcal{P}_{\mathcal{R}}(k_{2}),\end% {split}start_ROW start_CELL caligraphic_P start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( italic_k , italic_τ ) end_CELL start_CELL = divide start_ARG 4 end_ARG start_ARG 81 italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_τ ) end_ARG ∫ start_POSTSUBSCRIPT start_ARG start_ROW start_CELL | italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | ≤ italic_k ≤ italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARG end_POSTSUBSCRIPT italic_d roman_ln italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_d roman_ln italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_I start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL × divide start_ARG ( italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / ( 4 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_P start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) caligraphic_P start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , end_CELL end_ROW (19)

where 𝒫(k)=Θ(kmaxk)As(k/k)ns1subscript𝒫𝑘Θsubscript𝑘𝑚𝑎𝑥𝑘subscript𝐴𝑠superscript𝑘subscript𝑘subscript𝑛𝑠1\mathcal{P}_{\mathcal{R}}(k)=\Theta(k_{max}-k)A_{s}(k/k_{*})^{n_{s}-1}caligraphic_P start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ( italic_k ) = roman_Θ ( italic_k start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT - italic_k ) italic_A start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( italic_k / italic_k start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - 1 end_POSTSUPERSCRIPT is the power spectrum of primordial curvature perturbations with As2.1×109subscript𝐴𝑠2.1superscript109A_{s}\approx 2.1\times 10^{-9}italic_A start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≈ 2.1 × 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT being the amplitude at the pivot scale, ns0.97subscript𝑛𝑠0.97n_{s}\approx 0.97italic_n start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ≈ 0.97 the spectral tilt and k=0.05Mpc1subscript𝑘0.05superscriptMpc1k_{*}=0.05\mathrm{Mpc^{-1}}italic_k start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT = 0.05 roman_Mpc start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT the pivot scale [67]. I(k,k1,k2,τ)𝐼𝑘subscript𝑘1subscript𝑘2𝜏I(k,k_{1},k_{2},\tau)italic_I ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) is the kernel function defined by

I(k,k1,k2,τ)=4k20τdτ~a(τ~)Gk(τ,τ~)[2Tk1(τ~)Tk2(τ~)..+43(1+ω(τ~))(Tk1(τ~)+Tk1(τ~)(τ~))(Tk2(τ~)+Tk2(τ~)(τ~))],\begin{split}&I(k,k_{1},k_{2},\tau)=4k^{2}\int_{0}^{\tau}d\tilde{\tau}a(\tilde% {\tau})G_{k}(\tau,\tilde{\tau})\Bigg{[}2T_{k_{1}}(\tilde{\tau})T_{k_{2}}(% \tilde{\tau})\Bigg{.}\\ &\Bigg{.}+\frac{4}{3(1+\omega(\tilde{\tau}))}\left(T_{k_{1}}(\tilde{\tau})+% \frac{T_{k_{1}}^{\prime}(\tilde{\tau})}{\mathcal{H}(\tilde{\tau})}\right)\left% (T_{k_{2}}(\tilde{\tau})+\frac{T_{k_{2}}^{\prime}(\tilde{\tau})}{\mathcal{H}(% \tilde{\tau})}\right)\Bigg{]},\end{split}start_ROW start_CELL end_CELL start_CELL italic_I ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) = 4 italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_τ end_POSTSUPERSCRIPT italic_d over~ start_ARG italic_τ end_ARG italic_a ( over~ start_ARG italic_τ end_ARG ) italic_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ , over~ start_ARG italic_τ end_ARG ) [ 2 italic_T start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) italic_T start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) . end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL . + divide start_ARG 4 end_ARG start_ARG 3 ( 1 + italic_ω ( over~ start_ARG italic_τ end_ARG ) ) end_ARG ( italic_T start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) + divide start_ARG italic_T start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over~ start_ARG italic_τ end_ARG ) end_ARG start_ARG caligraphic_H ( over~ start_ARG italic_τ end_ARG ) end_ARG ) ( italic_T start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) + divide start_ARG italic_T start_POSTSUBSCRIPT italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over~ start_ARG italic_τ end_ARG ) end_ARG start_ARG caligraphic_H ( over~ start_ARG italic_τ end_ARG ) end_ARG ) ] , end_CELL end_ROW (20)

where Gk(τ,τ~)subscript𝐺𝑘𝜏~𝜏G_{k}(\tau,\tilde{\tau})italic_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ , over~ start_ARG italic_τ end_ARG ) is the Green function for tensor perturbation. Tk(τ)subscript𝑇𝑘𝜏T_{k}(\tau)italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ ) is the transfer function of the scalar potential, where ϕk(τ)=Tk(τ)ϕisubscriptitalic-ϕ𝑘𝜏subscript𝑇𝑘𝜏subscriptitalic-ϕ𝑖\phi_{k}(\tau)=T_{k}(\tau)\phi_{i}italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ ) = italic_T start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ ) italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. ω(τ)=ρr(τ)/3(ρm(τ)+ρr(τ))𝜔𝜏subscript𝜌𝑟𝜏3subscript𝜌𝑚𝜏subscript𝜌𝑟𝜏\omega(\tau)=\rho_{r}(\tau)/3(\rho_{m}(\tau)+\rho_{r}(\tau))italic_ω ( italic_τ ) = italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_τ ) / 3 ( italic_ρ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_τ ) + italic_ρ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_τ ) ) is the equation of the state parameter.

We can combine two independent homogeneous solution to obtain the Green function

Gk(τ,τ~)=v1k(τ)v2k(τ~)v1k(τ~)v2k(τ)v1k(τ~)v2k(τ~)v1k(τ~)v2k(τ~)Θ(ττ~),subscript𝐺𝑘𝜏~𝜏subscript𝑣1𝑘𝜏subscript𝑣2𝑘~𝜏subscript𝑣1𝑘~𝜏subscript𝑣2𝑘𝜏superscriptsubscript𝑣1𝑘~𝜏subscript𝑣2𝑘~𝜏subscript𝑣1𝑘~𝜏superscriptsubscript𝑣2𝑘~𝜏Θ𝜏~𝜏G_{k}(\tau,\tilde{\tau})=\frac{v_{1k}(\tau)v_{2k}(\tilde{\tau})-v_{1k}(\tilde{% \tau})v_{2k}(\tau)}{v_{1k}^{\prime}(\tilde{\tau})v_{2k}(\tilde{\tau})-v_{1k}(% \tilde{\tau})v_{2k}^{\prime}(\tilde{\tau})}\Theta(\tau-\tilde{\tau}),italic_G start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ , over~ start_ARG italic_τ end_ARG ) = divide start_ARG italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT ( italic_τ ) italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) - italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT ( italic_τ ) end_ARG start_ARG italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over~ start_ARG italic_τ end_ARG ) italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) - italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT ( over~ start_ARG italic_τ end_ARG ) italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( over~ start_ARG italic_τ end_ARG ) end_ARG roman_Θ ( italic_τ - over~ start_ARG italic_τ end_ARG ) , (21)

where the two homogeneous solutions vik=ahksubscript𝑣𝑖𝑘𝑎subscript𝑘v_{ik}=ah_{k}italic_v start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT = italic_a italic_h start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT can be obtained by equation of motion of tensor perturbation

(τ2+k213ω(τ)22)vik=0,superscriptsubscript𝜏2superscript𝑘213𝜔𝜏2superscript2subscript𝑣𝑖𝑘0\left(\partial_{\tau}^{2}+k^{2}-\frac{1-3\omega(\tau)}{2}\mathcal{H}^{2}\right% )v_{ik}=0,( ∂ start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 - 3 italic_ω ( italic_τ ) end_ARG start_ARG 2 end_ARG caligraphic_H start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_v start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT = 0 , (22)

The average square of the kernel can be obtained as [68, 69]

I2(k,k1,k2,τ)¯I22(k,k1,k2,τ)v1k2(τ)¯+I12(k,k1,k2,τ)v2k2(τ)¯2I1(k,k1,k2,τ)I2(k,k1,k2,τ)v1k(τ)v2k(τ)¯,¯superscript𝐼2𝑘subscript𝑘1subscript𝑘2𝜏superscriptsubscript𝐼22𝑘subscript𝑘1subscript𝑘2𝜏¯superscriptsubscript𝑣1𝑘2𝜏superscriptsubscript𝐼12𝑘subscript𝑘1subscript𝑘2𝜏¯superscriptsubscript𝑣2𝑘2𝜏2subscript𝐼1𝑘subscript𝑘1subscript𝑘2𝜏subscript𝐼2𝑘subscript𝑘1subscript𝑘2𝜏¯subscript𝑣1𝑘𝜏subscript𝑣2𝑘𝜏\begin{split}\overline{I^{2}(k,k_{1},k_{2},\tau)}\approx I_{2}^{2}(k,k_{1},k_{% 2},\tau)\overline{v_{1k}^{2}(\tau)}\\ +I_{1}^{2}(k,k_{1},k_{2},\tau)\overline{v_{2k}^{2}(\tau)}\\ -2I_{1}(k,k_{1},k_{2},\tau)I_{2}(k,k_{1},k_{2},\tau)\overline{v_{1k}(\tau)v_{2% k}(\tau)},\end{split}start_ROW start_CELL over¯ start_ARG italic_I start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) end_ARG ≈ italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) over¯ start_ARG italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_τ ) end_ARG end_CELL end_ROW start_ROW start_CELL + italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) over¯ start_ARG italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_τ ) end_ARG end_CELL end_ROW start_ROW start_CELL - 2 italic_I start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) italic_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) over¯ start_ARG italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT ( italic_τ ) italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT ( italic_τ ) end_ARG , end_CELL end_ROW (23)

where In(k,k1,k2,τ)subscript𝐼𝑛𝑘subscript𝑘1subscript𝑘2𝜏I_{n}(k,k_{1},k_{2},\tau)italic_I start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_k , italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_τ ) is obtained by splitting the Green function into gnksubscript𝑔𝑛𝑘g_{nk}italic_g start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT contributions.

We conclude the steps to calculate GWs as follows.

  • Use Eqs. (6)-(9) to solve the background equations from τisubscript𝜏𝑖\tau_{i}italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT to τevasubscript𝜏𝑒𝑣𝑎\tau_{eva}italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT with the initial condition Eq. (11). Continuous background derived analytically during the late RD epoch, valid for τ>τeva𝜏subscript𝜏𝑒𝑣𝑎\tau>\tau_{eva}italic_τ > italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT.

  • Find the cut-off scale kcutsubscript𝑘𝑐𝑢𝑡k_{cut}italic_k start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT by solving the perturbation evolution Eqs. (12)-(16), where the cut-off scale is defined as δm,kcut1similar-tosubscript𝛿𝑚subscript𝑘𝑐𝑢𝑡1\delta_{m,k_{cut}}\sim 1italic_δ start_POSTSUBSCRIPT italic_m , italic_k start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∼ 1 at the end of transition.

  • Choose the range of mode [kmin,kmax]subscript𝑘𝑚𝑖𝑛subscript𝑘𝑚𝑎𝑥[k_{min},k_{max}][ italic_k start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT ] in which we are interested. kminτrh=1/100subscript𝑘𝑚𝑖𝑛subscript𝜏𝑟1100k_{min}\tau_{rh}=1/100italic_k start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_r italic_h end_POSTSUBSCRIPT = 1 / 100 is the mode that enters the horizon in the late RD era. kmax=kcutsubscript𝑘𝑚𝑎𝑥subscript𝑘𝑐𝑢𝑡k_{max}=k_{cut}italic_k start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = italic_k start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT is the cutoff scale.

  • For a given mode k[kmin,kmax]𝑘subscript𝑘𝑚𝑖𝑛subscript𝑘𝑚𝑎𝑥k\in[k_{min},k_{max}]italic_k ∈ [ italic_k start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT , italic_k start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT ], we obtain the numerical solution of v1k,v2ksubscript𝑣1𝑘subscript𝑣2𝑘v_{1k},v_{2k}italic_v start_POSTSUBSCRIPT 1 italic_k end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT 2 italic_k end_POSTSUBSCRIPT using the analytical solution as the initial condition when they are well outside the horizon during the eRD epoch.

  • For each wave number k𝑘kitalic_k computed in the previous step, we discretize the k[102,102]ksubscript𝑘superscript102superscript102𝑘k_{*}\in[10^{-2},10^{2}]kitalic_k start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ∈ [ 10 start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT , 10 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] italic_k interval into 500 logarithmically spaced bins, numerically solve the perturbation equations Eqs. (12)-(16) for each mode, and systematically archive the resultant data.

  • Combining k1subscript𝑘1k_{1}italic_k start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and k2subscript𝑘2k_{2}italic_k start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT in the integration domain defined in Eq. (19), where we evaluate the associated kernel functions specified in Eq. (20). Numerical integration is implemented through a trapezoidal quadrature scheme with a bidimensional grid of approximately 500×500500500500\times 500500 × 500 sampling points.

  • Calculate the time average of the GW power spectrum.

Following the above steps, we can fully numerically get the power spectrum of GWs.

Numerical results. We choose a typical set of parameters: βi=106,MPBH,i=103gformulae-sequencesubscript𝛽𝑖superscript106subscript𝑀𝑃𝐵𝐻𝑖superscript103g\beta_{i}=10^{-6},M_{PBH,i}=10^{3}\mathrm{g}italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT italic_P italic_B italic_H , italic_i end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_g, in which PBHs can dominate the Universe and evaporate at 9.7×105GeV9.7superscript105GeV9.7\times 10^{5}\mathrm{GeV}9.7 × 10 start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT roman_GeV. The background evolution is shown in Fig. 3 and Fig. 4. We label several scales for which we are interested: (1) Matter and radiation equal time τeq1subscript𝜏𝑒𝑞1\tau_{eq1}italic_τ start_POSTSUBSCRIPT italic_e italic_q 1 end_POSTSUBSCRIPT (red dashed) and τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT (green dashed). (2) The reentry time of the cutoff scale τcutsubscript𝜏𝑐𝑢𝑡\tau_{cut}italic_τ start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT, where the modes kkcut=14.88Hz𝑘subscript𝑘𝑐𝑢𝑡14.88Hzk\leq k_{cut}=14.88\mathrm{Hz}italic_k ≤ italic_k start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT = 14.88 roman_Hz are safe in linear theory. (3) The time τevasubscript𝜏𝑒𝑣𝑎\tau_{eva}italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT when the Universe goes back to the RD epoch.

Refer to caption
Figure 3: Evolution of the equation of state and energy density of matter and radiation. The vertical lines represents former matter radiation equal time τeq1subscript𝜏𝑒𝑞1\tau_{eq1}italic_τ start_POSTSUBSCRIPT italic_e italic_q 1 end_POSTSUBSCRIPT (red dashed), the time that cutoff scale reenter the horizon τcutsubscript𝜏𝑐𝑢𝑡\tau_{cut}italic_τ start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT which defined as kcut=(τcut)subscript𝑘𝑐𝑢𝑡subscript𝜏𝑐𝑢𝑡k_{cut}=\mathcal{H}(\tau_{cut})italic_k start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT = caligraphic_H ( italic_τ start_POSTSUBSCRIPT italic_c italic_u italic_t end_POSTSUBSCRIPT ) (blue), the latter matter radiation equal time τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT (green dashed) and transition finish time τevasubscript𝜏𝑒𝑣𝑎\tau_{eva}italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT, respectively.

We can see that τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT is very close to τrhsubscript𝜏𝑟\tau_{rh}italic_τ start_POSTSUBSCRIPT italic_r italic_h end_POSTSUBSCRIPT, which infers that the comoving decay rate Γ~~Γ\tilde{\Gamma}over~ start_ARG roman_Γ end_ARG increases rapidly around τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT. We can clearly see this rapid increase in Fig. 4. Although τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT and τevasubscript𝜏𝑒𝑣𝑎\tau_{eva}italic_τ start_POSTSUBSCRIPT italic_e italic_v italic_a end_POSTSUBSCRIPT seem very closed, we cannot state that it is the justification for the assumption of a sudden transition. As we mentioned above, the modes that reenter the horizon deep inside the eMD era are also sensitive to the duration time of the transition. So we should dive into the evolution details of Γ~~Γ\tilde{\Gamma}over~ start_ARG roman_Γ end_ARG around τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT. When Γ~much-less-than~Γ\tilde{\Gamma}\ll\mathcal{H}over~ start_ARG roman_Γ end_ARG ≪ caligraphic_H, Γ~Γ~proportional-tosuperscript~Γ~Γ\tilde{\Gamma}^{\prime}\propto\mathcal{H}\tilde{\Gamma}over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∝ caligraphic_H over~ start_ARG roman_Γ end_ARG infers that Γ~τproportional-to~Γ𝜏\tilde{\Gamma}\propto\tauover~ start_ARG roman_Γ end_ARG ∝ italic_τ in the early stage. On the other hand, when Γ~much-greater-than~Γ\tilde{\Gamma}\gg\mathcal{H}over~ start_ARG roman_Γ end_ARG ≫ caligraphic_H, Γ~(1/3)Γ~2proportional-to~Γ13superscript~Γ2\tilde{\Gamma}\propto(1/3)\tilde{\Gamma}^{2}over~ start_ARG roman_Γ end_ARG ∝ ( 1 / 3 ) over~ start_ARG roman_Γ end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, until then Γ~~Γ\tilde{\Gamma}over~ start_ARG roman_Γ end_ARG start to grow rapidly. We can see that, at time τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT, when ω(τeq2)=1/6𝜔subscript𝜏𝑒𝑞216\omega(\tau_{eq2})=1/6italic_ω ( italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT ) = 1 / 6 and Γ~(τeq2)=(τeq2)/2~Γsubscript𝜏𝑒𝑞2subscript𝜏𝑒𝑞22\tilde{\Gamma}(\tau_{eq2})=\mathcal{H}(\tau_{eq2})/2over~ start_ARG roman_Γ end_ARG ( italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT ) = caligraphic_H ( italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT ) / 2, Γ~~Γ\tilde{\Gamma}over~ start_ARG roman_Γ end_ARG is still approximately proportional to τ𝜏\tauitalic_τ. This indicates that most of the PBH mass had already evaporated by τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT.

We also show the evolution of a mode(k=90/τeq2𝑘90subscript𝜏𝑒𝑞2k=90/\tau_{eq2}italic_k = 90 / italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT) that reenters the horizon deep inside the eMD era in Fig. 5 and compared to the analytical solution which uses a sudden transition assumption. The numerical results reveal that during the transition phase, the scalar potential experiences rapid decay and evolves proportionally to τ𝜏\tauitalic_τ in the late RD era, showing a substantially reduced amplitude relative to the analytical prediction. It should be noted that the decrease is even greater in the power spectrum since 𝒫h(k)ϕ4(k,τ)proportional-tosubscript𝒫𝑘delimited-⟨⟩superscriptitalic-ϕ4𝑘𝜏\mathcal{P}_{h}(k)\propto\langle\phi^{4}(k,\tau)\ranglecaligraphic_P start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( italic_k ) ∝ ⟨ italic_ϕ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_k , italic_τ ) ⟩. So, the power spectrum of GWs is much smaller than expected, as shown in Fig. 6. The enhancement of the power spectrum is only two orders of magnitude increase. In this case, the peak amplitude ΩGW(k,τ0)h21021similar-tosubscriptΩ𝐺𝑊𝑘subscript𝜏0superscript2superscript1021\Omega_{GW}(k,\tau_{0})h^{2}\sim 10^{-21}roman_Ω start_POSTSUBSCRIPT italic_G italic_W end_POSTSUBSCRIPT ( italic_k , italic_τ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) italic_h start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 21 end_POSTSUPERSCRIPT of GWs cannot be detectable in the current observatory.

Refer to caption
Figure 4: Evolution of comoving decay rate and comoving Hubble parameter. The zoomed figure shows the details around τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT.
Refer to caption
Figure 5: Evolution of the scalar potential ϕk(τ)subscriptitalic-ϕ𝑘𝜏\phi_{k}(\tau)italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_τ ). Blue line is the numerical solution of mode k=90/τeq2𝑘90subscript𝜏𝑒𝑞2k=90/\tau_{eq2}italic_k = 90 / italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT. Orange line is the analytical solution of the same mode which use sudden transition assumption. Green dashed line labels τeq2subscript𝜏𝑒𝑞2\tau_{eq2}italic_τ start_POSTSUBSCRIPT italic_e italic_q 2 end_POSTSUBSCRIPT.
Refer to caption
Figure 6: Energy spectrum of GWs at the time τcsubscript𝜏𝑐\tau_{c}italic_τ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT where the mode of interest becomes well inside the horizon and the energy density of GWs becomes almost constant. The choice of parameters are βi=106,MPBH,i=103gformulae-sequencesubscript𝛽𝑖superscript106subscript𝑀𝑃𝐵𝐻𝑖superscript103g\beta_{i}=10^{-6},M_{PBH,i}=10^{3}\mathrm{g}italic_β start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT - 6 end_POSTSUPERSCRIPT , italic_M start_POSTSUBSCRIPT italic_P italic_B italic_H , italic_i end_POSTSUBSCRIPT = 10 start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_g.

Conclusions and discussions. We have revisited the production of induced GWs during the transition from the eMD era to the RD era. By numerically solving the coupled equations governing background evolution and scalar perturbations, we show that the finite duration of the transition phase plays a decisive role in suppressing GW amplitudes. Unlike the sudden transition approximation, which predicts the resonant enhancement of GWs, realistic PBH evaporation and Q-ball decay leads to rapid decay of the scalar potential during reheating, drastically reducing the source term for GW generation. Our analysis identifies the decay rate of PBHs as a key parameter controlling the transition speed, with slower transitions further diminishing the GW signal. The results underscore the necessity of incorporating realistic transition timescales in modeling early universal GWs, as idealized assumptions systematically overpredict observable signals.

Our result proves that the poltergeist mechanism originating from the PBH evaporation cannot significantly enhance the GW to the observable level in the linear region. In addition, it has been proven that the mode in the non-linear region can also significantly enhance GWs [44]. It infers that if the idealistic poltergeist mechanism (a sudden transition) occurs in the Universe, the nonlinear mode will be even stronger and can easily break the big bang nucleosynthesis constraint of GWs. Our results ease the tension.

In this letter, we have performed numerical calculation in the context of PBHs, especially. This is because the transition rate at late time is much higher compared to other physically motivated candidates such as Q-balls. If PBHs cannot establish an idealistic poltergeist mechanism, neither can Q-balls.

We mainly focus on the adiabatic initial condition throughout this letter. However, PBHs themselves may serve as isocurvature perturbations. In this case, the existence of PBHs can produce relative entropy perturbations and source the curvature perturbation, leading to the enhancement of the power spectrum. Our result just shows that it is hard to enhance induced GWs to an observable level without enhancing the power spectrum of the curvature perturbation.

Acknowledgements. This work is supported in part by the National Key Research and Development Program of China Grant No. 2020YFC2201501, in part by the National Natural Science Foundation of China under Grant No. 12475067 and No. 12235019.

References