Femtolensing by Dark Matter Revisited

Andrey Katz, Joachim Kopp, Sergey Sibiryakov, Wei Xue

Introduction

The possibility that the dark matter (DM) in the Universe is made up of massive compact objects has been explored since the early days of the DM hunt. These searches have culminated in strong exclusion limits from the MACHO , EROS , OGLE and HSC/Subaru surveys. Recently, interest in compact DM objects has been revived, with the most popular candidates being primordial black holes (PBHs) or ultra-compact mini-halos (UCMHs) that are present for example in axion models .

While a wide range of experimental observations constrain compact objects with masses above ∼10−11 M⊙\sim 10^{-11}\,M_{\odot} (see for a recent review and summary of constraints), bounds on lighter objects are scarcer. Specifically for PBHs, the requirement that they should not evaporate within the lifetime of the Universe by emitting Hawking radiation sets a lower bound on their mass of about 10−18M⊙10^{-18}M_{\odot}. Moreover, the effect of their evaporation on Big Bang Nucleosynthesis and the extragalactic photon background become important already at PBH masses of order 10−17 M⊙10^{-17}\ M_{\odot}, severely constraining this possibility . Other bounds are based on the existence of old neutron stars and white dwarfs that would be destroyed if PBHs were abundant. Note that there is some controversy in the literature about the viability of neutron star constraints. While ref. claims to identify a very efficient mechanism of PBH capture by neutron stars, the derivation was questioned in Refs. . On the other hand the constraints of ref. hinge on the assumption that the globular clusters hosting neutron stars are embedded in overdense DM cores. While this assumption is not ruled out, it is also not experimentally supported . Indeed, it has even been shown that globular clusters could be formed without any DM overdensities .

None of the bounds discussed above applies directly to UCMHs, which below 10−11M⊙10^{-11}M_{\odot} remain essentially unconstrained.

To probe the mass range between ∼10−17 M⊙\sim 10^{-17}\,M_{\odot} and ∼10−13 M⊙\sim 10^{-13}\,M_{\odot}, femtolensing of distant gamma-ray bursts (GRBs) has been proposed by Gould (see also ref. for a proposal along the same lines for somewhat higher masses). The basic idea behind femtolensing is that, while the two images of the GRB created by such a tiny lens cannot be resolved in space or time, their wave fronts will acquire different phases during propagation because of the different path lengths and gravitational potentials they experience. If the phase shift is of order one, one expects to see interference fringes in the frequency spectrum. Since setting meaningful limits with this method requires a sufficient number of GRBs, most works on femtolensing have been purely theoretical until very recently. An early experimental analysis based on BATSE data was presented in ref. , but yielded only very weak bounds. The situation has changed dramatically with the advent of Fermi data. There are now dozens of GRBs with reliably measured redshift and frequency spectrum, with hopes to significantly expand this sample in the near future. Fermi data has prompted first observational works on femtolensing of GRBs by black holes: The authors of ref. claim to constrain primordial black holes with masses between 10−1610^{-16} and 10−14 M⊙10^{-14}\,M_{\odot} to contribute no more than 10% to the total dark matter abundance in the Universe. Although the validity of these bounds has been questioned later because they are based on the assumption that the gamma-ray source is point-like in the lens plain (see also the relevant estimations of ), they have been widely accepted as the state of the art.

In this work we critically re-analyze the idea of GRB femtolensing. We will use the techniques of , further elaborated in . One of the questions we study is the impact of the non-pointlike nature of GRBs. We will see that most GRBs are too big when projected onto the lens plane to yield meaningful femtolensing limits. Only a small population of GRBs with very fast variability might be suitable for such searches, but even their size is comparable to the Einstein radius of the lenses of interest to us. It must therefore be properly taken into account.

A second question we address is to what extent femtolensing can be used to constrain non-point-like lenses, i.e., objects that extend beyond their Einstein radius. An important example are UCMHs consisting of DM. Indeed, it has been noticed in the 1990s that femtolensing might be relevant for probing UCMHs in the mass range between 10−1610^{-16} and 10−1210^{-12} solar masses . But this reference still treated the UCMHs as point-like, which is not necessarily in agreement with more recent estimates of their size . Femtolensing of UCMHs has not been re-analyzed since then, in spite of the significant progress that has been made both in our theoretical understanding of compact DM objects and in GRB observations.

Besides accounting for the finite size of the source and lens, we will also emphasize that the geometric optics approximation used in the original proposal breaks down exactly in the mass range where femtolensing appears most promising. In other words, femtolensing in this mass range cannot be described by considering just two images of the source, with properties derived from the geometry of the corresponding lines of sight. Originally, the importance of wave optics effects in femtolensing had been pointed out in .

We will find that, especially because of the non-negligible size of the source, the data available to date does not constrain primordial black holes or other compact DM objects. We also compute the sensitivity of hypothetical future surveys as a function of the number of observed GRBs and their transverse size.

The paper is organized as follow. In section 2 we describe the theory of femtolensing, taking into the account all the caveats discussed above: finite size of the source, possibly finite size of the lens, breakdown of the geometric optics approximation. In section 3, we review the current femtolensing bounds on compact DM objects and show that they do not cover the physically interesting parameter region. We also show projections into the future, arguing that a sample of 100 GRBs with transverse size 109 cm10^{9}\,\text{cm} would be needed to exclude DM in the form of PBHs in the mass range from 10−1610^{-16} to 5×10−155\times 10^{-15} solar masses. We conclude in Sec. 4. Details on the size of the emission region in a GRB are relegated to the Appendix.

Theory of Femtolensing

In this section we review the general idea of femtolensing and the underlying formalism, and we address several important caveats. We will start by discussing the case of a point-like lens affecting light from a point-like source in the geometric optics approximation. We then introduce one-by-one the wave optics corrections, the effect of an extended source, and the possibility of an extended lens whose size exceeds its would-be Einstein radius. To the best of our knowledge, this study has not been performed before, but is strongly motivated by the appeal of ultra-compact DM miniclusters.

The basic femtolensing scenario, put forward in , is based on the assumption that a gamma ray emitted by a point-like source with a non-zero impact parameter with respect to the lens–observer axis, is split by the lens into two rays, each of which is delayed with respect to the unlensed case by some time shift Δti\Delta t_{i} (i=1,2i=1,2). This corresponds to a phase shift of Δϕi≡ωΔti\Delta\phi_{i}\equiv\omega\Delta t_{i}, where ω\omega is the angular frequency of the photons. If the two images cannot be resolved in space and time, the two rays will interfere, producing characteristic fringes in the spectrum.

In the thin lens approximation the time delay is given by

Here DLD_{L}, DSD_{S}, and DLSD_{LS} are the angular diameter distances between the observer and the lens, the observer and the source, and the lens and the source, respectively. The redshift of the lens is denoted zLz_{L}, while β\beta is the angle under which the observer would see the source in the absence of a lens, and θ\theta is the angle under which the observer sees a given point in the lens plane. The function ψ(θ)\psi(\theta) is the lensing potential which is related to the density profile ρ(r)\rho(r) of the lens by the Poisson equation

Here, the integral runs along the line of sight, and ∇2\nabla^{2} is the two-dimensional Laplace operator, which we express in polar coordinates, with θ\theta being the radial direction. We have also assumed a spherically symmetric lens. For a point-like lens of mass MM, Note that the lensing potential is defined by eq. 2.2 only up to an additive constant. We will ignore this constant here, which implies that the expression for the time delay, eq. 2.1, is applicable only for calculating the time difference between different paths, but does nor necessary reflect the absolute time delay along the path.

is the Einstein angle (i.e. the Einstein radius RER_{E} divided by DLD_{L}). On top of being a convenient definition, the Einstein angle has a well defined physical meaning: in the geometric optics approximation, it is the size of the Einstein ring produced by a point-like source aligned with the observer–lens line of sight (β=0\beta=0). For the more general density profiles that we will discuss in section 2.4 the location of the ring will be different from θE\theta_{E} and will be called θ0\theta_{0}. For point-like masses, the two values coincide.

In geometric optics, Fermat’s principle stipulates that the images will be seen under those angles θ\theta for which Δt\Delta t is stationary. For point-like lens and source, this requirement leads to the lens equation The generic lens equation is θ⃗−β⃗=∇⃗ψ(θ⃗)\vec{\theta}-\vec{\beta}=\vec{\nabla}\psi(\vec{\theta}).

Lensing is typically observable when θ∼θE\theta\sim\theta_{E} (or, more generally, when θ∼θ0\theta\sim\theta_{0} for non-point-like lenses), otherwise one of the images becomes extremely faint. This shows that both terms in eq. 2.1 scale as θE\theta_{E} up to order-one factors. The time delay thus depends only on the mass of the lens and is practically insensitive to the distances either to the source or to the lens: Δt∼4GM/c3=2Rs/c\Delta t\sim 4GM/c^{3}=2R_{s}/c, where RsR_{s} is the Schwarzschild radius of the lens. Assuming that the source emits gamma rays in the 1010 to 10001000 keV range, we see that order-one phase shifts occur for lens masses between 10−1710^{-17} and 10−1410^{-14} solar masses. For lensing at cosmological distances ∼1\sim 1 Gpc the corresponding Einstein angles fall in the femto-arc-second range, which explains the term “femtolensing”.

The solutions to the lens equation (2.5) are

The magnifications of the two images are given by

Taking into account the phase shift between the images, the total intensity is proportional to

where we have introduced the dimensionless frequency as

Here we have also introduced a new quantity Δt0\Delta t_{0} which is a typical time delay between different images in the geometric optics picture. Note that this definition of the dimensionless frequency is completely generic and we are going to use it also for extended mass distributions in section 2.4. For point-like lenses, however, eq. 2.10 simplifies to

Equation 2.9 clearly depends on the photon energy ω\omega and varies between a maximum and minimum value as a function of ω\omega. Therefore a signal of femtolensing would be an oscillatory pattern of interference fringes in the otherwise smooth GRB spectrum.

Let us list the conditions required for the validity of the above formulas.

The limit of geometric optics should be applicable. We are grateful to Juan Garcia-Bellido for pointing out to us the importance of wave optics effects. This is the case as long as

(see section 2.2 for details). In the case of a point-like lens, this reduces (up to a factor 4π(1+zL)4\pi(1+z_{L})) to the condition that the photon wave length should be much smaller than the Schwarzschild radius RsR_{s} of the lens. Note, however, that this does not mean that the Schwarzschild radius can be interpreted as the effective radius of the lens, because the typical deflection distance of the photons is RER_{E} rather than RsR_{s}. Moreover, the relation eq. 2.12 to the Schwarzschild radius is something very peculiar to point-like lenses and does not hold for more general mass distributions. A simple estimate shows that the inequality (2.12) breaks down for M≲10−15M⊙M\lesssim 10^{-15}M_{\odot} for a gamma ray energy of E∼100E\sim 100 keV, essentially invalidating the geometric optics approach in most of the parameter space that is relevant for femtolensing. The breakdown of the geometric optics approximation does not imply the absence of an observable femtolensing effect. It does, however, mean that a full wave optics computation is necessary (see section 2.2).

The source should be point-like in the plane of the lens. The signals from different points of the source add up incoherently, and the condition that this does not wash out the interference fringes is

where σy\sigma_{y} is the angular size of the source normalized to θ0\theta_{0}. This condition can be easily derived from eq. 2.9. Since interference fringes can only be observed if Ω≳1\Omega\gtrsim 1, condition (2.13) also implies that the size of the source projected on the lens plane should be smaller than the Einstein radius for point-like lenses (θ0\theta_{0} for extended lenses). As we will see later, this condition is never fully satisfied for femtolensing of GRBs. At best, the projected size of the source can be comparable to the Einstein radius, so that finite size effects can never be neglected. Note also that the constraint on the size of the source is stricter for higher frequencies/energies. Therefore, as the size of the source increases, the interference fringes will first disappear at high frequencies.

The source emission must be coherent over timescale of the time delay, eq. 2.1. Usually this condition is easily satisfied because it merely requires a detector with sufficient energy resolution. Typically, we are interested in scenarios where ω Δt0∼1\omega\,\Delta t_{0}\sim 1. Given that any reasonable detector has an energy (or frequency) uncertainty δω≪ω\delta\omega\ll\omega, the Heisenberg uncertainty principle tells us that the coherence time δt∼δω−1\delta t\sim\delta\omega^{-1} is much larger than Δt0\Delta t_{0}.

Because the conditions (1) and (2) are never strictly satisfied, we are forced to relax some of the approximations made above. We will do so in the following subsections.

2 Point-like Source and Lens in the Wave Optics Regime

Gravitational lensing outside the geometric optics regime is not an unusual scenario. For example, it has been mentioned in that the microlensing measurements of HSC Subaru are partially in the physical (wave) optics regime, invalidating the constraints on primordial black holes published in ref. for masses below 10−11M⊙10^{-11}M_{\odot}. To the best of our knowledge, the correct interpretation of the HSC constraints in this mass range is still missing in the literature. Also, practically all discussion of lensing of gravitational waves includes wave optics effects (for recent related works see e.g. ). Finally, it was noticed already in the 1990s that the geometric optics approximation is typically violated in femtolensing .

In the physical optics regime, lensing is characterized by a magnification function F(y⃗;ω)F(\vec{y};\omega), which is defined as the ratio ϕL/ϕ\phi_{L}/\phi, where ϕL\phi_{L} and ϕ\phi are the electromagnetic wave amplitudes with and without lensing, respectively. The magnification of the signal intensity is therefore

where the dimensionless frequency Ω\Omega has been defined in eq. 2.10, x≡θ/θ0x\equiv\theta/\theta_{0}, and the time delay Δt(x⃗,y⃗)\Delta t(\vec{x},\vec{y}) is taken from eq. 2.1. The integral thus runs over the lens plane, with each point in the plane contributing to F(y⃗,ω)F(\vec{y},\omega). For a point-like lens like a black hole, the integral can be evaluated analytically, leading to

where LnL_{n} is the nn-th order Laguerre polynomial. For an extended lens, analytic expressions in general do not exist, so the integral in eq. 2.15 must be evaluated numerically.

The geometric optics regime corresponds to the saddle point approximation of (2.15): as discussed in section 2.1, the lens equation (2.5) is obtained by imposing the stationary point condition ∇⃗xΔt=0\vec{\nabla}_{x}\Delta t=0. Also the magnification μ\mu in the geometric optics limits, eq. 2.7, can be derived from the saddle point method. However, the saddle point method only provides a good approximation to the full integral if the phase is large, which explains why geometric optics only works if ω Δt≫1\omega\,\Delta t\gg 1.

In Fig. 1, we compare the intensity calculated using the exact wave optics expression, eq. 2.15, to the one obtained in the geometric optics approximation, eq. 2.9. We see that the geometric optics approximation overestimates the amplitude of the first fringe in the spectrum, while at higher photon energies, it is applicable. We will see in section 2.4 that the effects of wave optics are more important for extended lens profiles.

3 Extended Sources

As argued above, interference patterns due to femtolensing are only observable if the size of the source projected onto the lens plane is not much larger than the Einstein radius of the lens (assumed to be point-like in this subsection). In other words, we require that

where aSa_{S} is the actual (unprojected) transverse size of the emission region. Most GRBs have an O(1)\mathcal{O}(1) redshift, corresponding to DS∼GpcD_{S}\sim\text{Gpc}. Therefore a lens of mass M∼10−15M⊙M\sim 10^{-15}M_{\odot} that is also located at zL∼O(1)z_{L}\sim\mathcal{O}(1) has an Einstein radius of order RE∼109R_{E}\sim 10^{9} cm. The Einstein radius of lighter lenses will be even smaller. Unfortunately, the emission size of most GRBs is much larger than this .

As discussed in appendix A, the majority of GRBs are likely to have transverse sizes of about aS∼1011 cma_{S}\sim 10^{11}\,\text{cm}, which is two orders of magnitude larger than required for observable femtolensing. Still, the possibility that a small fraction of GRBs have much smaller sizes aS≲109 cma_{S}\lesssim 10^{9}\,\text{cm} is not excluded. We will entertain this possibility and study the dependence of the femtolensing signal on the size of the source. Hopefully, future developments in GRB modeling, perhaps on a case-by-case basis, will lead to more precise estimates of their sizes than are currently available, and will allow us to cherry-pick events suitable for femtolensing. Note that, if such GRBs exist, they will be characterized by very fast intrinsic variability at time scales We leave aside the question whether such variability time scales can be measured with existing instruments, as the main focus of our study are future observations. tvar≲0.5×10−3t_{\rm var}\lesssim 0.5\times 10^{-3} sec.

To take the finite size of the source into account, we follow the formalism of ref. . The observed magnification is then

where W(y;σy)W(y;\sigma_{y}) is a window function that describes the intensity profile of the emission and μ(y⃗;Ω)\mu(\vec{y};\Omega) is the magnification for a point-like source, see eqs. (2.14), (2.15). In principle W(y⃗)W(\vec{y}) can be any well-behaved function that acts as a mask of size σy\sigma_{y}. We choose it to be a Gaussian,

Hereafter, we will use y⃗0\vec{y}_{0} to denote the location of the center of the emission. For Gaussian W(y;σy)W(y;\sigma_{y}) and a radially symmetric lens, the weighted magnification reads

where I0(x)I_{0}(x) is the modified Bessel function of the first kind.

We illustrate the effect of the non-zero source size in fig. 2. Clearly, the effect is mild for σy≪1\sigma_{y}\ll 1, however even for these values of the emission size the oscillations in energy space are damped at high frequencies. As the emission size grows, oscillations are damped more strongly, until they eventually disappear at σy∼1\sigma_{y}\sim 1.

Interestingly, we observe that, even at large emission size σy≳1\sigma_{y}\gtrsim 1, the asymptotic μˉ\bar{\mu} at high frequency is larger than the value of μˉ\bar{\mu} at low frequency. That is, even though the interference fringes are washed out, a smooth step-like feature survives. This can be understood as follows. At Ω→∞\Omega\to\infty the point-source magnification μ(y;Ω)\mu(y;\Omega) is well described by the geometric optics expression (2.9). It quickly oscillates as a function of yy and can be replaced in the integral (2.20) by its mean value,

Thus, in the high frequency limit the weighted magnification reads

On the other hand, in the limit Ω→0\Omega\to 0 the geometric optics approximation is not applicable and the wave optics calculation leads to lim⁡Ω→0μˉ=1\lim_{\Omega\to 0}\bar{\mu}=1. The difference between the two limiting values leads to the step-like feature in the weighted magnification function at low dimensionless frequencies observed in fig. 2. Of course, in the absence of oscillatory fringes, one probably cannot rely on this feature to establish that a given GRB spectrum has been lensed. On the other hand, a non-observation of such feature can potentially be used to exclude lensing. Since our proposal to perform an exclusion based on the absence of this feature is rather speculative, we will not use it in estimating the future reach in section 3. However, if proven possible, this would imply that even γ\gamma-ray sources as big as 101010^{10} cm might be used to exclude femtolensing.

4 Extended Lens

We finally analyze the effects of a non-point-like lens, namely a lens whose extent is larger than its would-be Einstein radius. A notable example of such lenses would be ultracompact minihalos (UCMHs) composed of DM. These are predicted, for instance, in scenarios that involve DM in the form of QCD axions if the Peccei–Quinn phase transition happens after inflation. In this case, overdensities that arise after the phase transition due to different initial values of the axion field in different Hubble patches collapse into UCMHs around matter–radiation equality . The mass and radius estimates of UCMHs vary widely in the literature. For example, an average value for the mass of the QCD axion miniclusters as small as 10−14 M⊙10^{-14}~M_{\odot} was suggested in . This is two orders of magnitude lighter than the previous estimates of . Even bigger masses were suggested in . Although resolving these discrepancies is beyond the scope of this work, some part of the suggested parameter space is likely to be within the reach of femtolensing searches, as has been first pointed out in . UCMHs are not unique to QCD axions and can be formed also in many other models with axion-like particles . The parameter space explored in ref. is vast, and some of it is definitely accessible to femtolensing, in particular axion-like particles with temperature-independent (n=0n=0) masses of ∼10−3\sim 10^{-3}–10−510^{-5} eV.

Another parameter subject to significant uncertainties is the radius of the UCMHs. However, what is important for our discussion is that it is most likely bigger than its would-be Einstein radius. For instance, for the QCD axion, assuming miniclusters are spherically symmetric, refs. give,

where Φ\Phi is the initial axion density contrast. Most miniclusters will have Φ≲10\Phi\lesssim 10 , so their radius according to eq. 2.23 is almost two orders of magnitude larger than their corresponding Einstein radius. Only for extremely dense miniclusters with Φ≳100\Phi\gtrsim 100, the size and the Einstein radius become comparable. It is evident from these estimates that one cannot neglect the extent of the UCMHs in the lensing problem.

Finally, there is no agreement in the literature on the density profile of UCMHs, which may also depend on the mechanism by which they form in the early Universe. Some scenarios suggest rather steep profiles. For example, the self-similar infall scenario motivates a density profile of the form ρ(r)∝r−9/4\rho(r)\propto r^{-9/4} . This profile has been confirmed in N-body simulations , but its relevance to UCMHs was later questioned in . The latter paper advocates more shallow profiles, ρ(r)∝r−3/2\rho(r)\propto r^{-3/2}, or the Navarro–Frenk–White (NFW) profile which scales as ρ(r)∝r−1\rho(r)\propto r^{-1} at small radii. Given this uncertainty, we prefer to be agnostic about the precise shape of the UCMH profile. Rather we will assume that its inner part is described by a generic power law cusp,

where r0r_{0} characterizes the size of the inner part of the UCMH and ρ0\rho_{0} is the density at that distance. Note that some steep profiles tend to develop a core at the center of the distribution. In particular, the self-similar radial infall profile corresponding to δ=9/4\delta=9/4 cannot be a valid approximation all the way down to r=0r=0 (see e.g. for an approach to estimate the size of the core). While we will for simplicity neglect the presence of the core in the sensitivity studies presented in this paper, it should be taken into account when analyzing real data. It is convenient to introduce the mass enclosed within radius r0r_{0}, which we will call the “cusp mass”,

Note that the total mass of UCMHs can, in general, be bigger than McuspM_{\text{cusp}} and can, in fact, even be formally divergent. The Einstein radius corresponding to McuspM_{\text{cusp}} is

It is this radius that we mean when referring to the Einstein radius of the UCMH. We remind the reader that for extended lenses, the Einstein radius does not have an immediate physical interpretation. We assume RE, cusp<r0R_{E,\,\text{cusp}}<r_{0}, such that the cusp cannot be treated as point-like for the purposes of gravitational lensing.

It is easy to see that only profiles with δ>1\delta>1 can be relevant for femtolensing. Indeed, the mass enclosed within a radius rr grows as M(r)∝r3−δM(r)\propto r^{3-\delta} and the corresponding Einstein radius scales as RE(r)∝r(3−δ)/2R_{E}(r)\propto r^{(3-\delta)/2}. If δ≤1\delta\leq 1, any part of the lens is bigger than its Einstein radius, RE(r)<rR_{E}(r)<r, so no multiple images and thus no femtolensing can arise. On the other hand, for δ>1\delta>1, the central part of the cusp happens to be within its Einstein radius. Thus, it acts qualitatively similar to a point-like lens leading to appearance of multiple images.

We now study the case δ>1\delta>1 in more detail. Following eq. 2.2, the lensing potential corresponding to the density profile eq. 2.24 is

The angle θ0\theta_{0} is an analog of the Einstein angle for extended lenses. In the geometric optics approximation it coincides with the angular size of the Einstein ring produced by a point-like source aligned with the center of the lens (β=0\beta=0 in the notations of section 2.1). For misaligned sources (β≠0\beta\neq 0), θ0\theta_{0} sets the characteristic distance between their multiple images. The characteristic time delay Δt0\Delta t_{0} is defined in (2.10). Note that θ0\theta_{0} is parametrically smaller than the naive Einstein angle RE, cusp/DLR_{E,\,\text{cusp}}/D_{L}.

For our subsequent discussion, we need to distinguish between the cases δ<2\delta<2 and δ>2\delta>2. For 1<δ<21<\delta<2 and small enough β\beta, the lens equation θ⃗−∇ψ(θ⃗)=β⃗\vec{\theta}-\nabla\psi(\vec{\theta})=\vec{\beta} has three solutions corresponding to three images in the geometric optics approximation. Above a certain critical value βcr=C(δ)θ0\beta_{\text{cr}}=C(\delta)\theta_{0}, where C(δ)C(\delta) is an order-one coefficient, two of the images disappear and only a single one remains. In other words, the ring β=βcr\beta=\beta_{\text{cr}} is a caustic. Thus, the appearance of interference fringes characteristic for femtolensing is possible only if the source is close enough to the line of sight passing through the center of the lens. Then, the existence of more than two images will in general lead to a complicated interference pattern (cf. ref. ).

The properties of a lens with 2<δ<32<\delta<3, including the self-similar infall profile with δ=9/4\delta=9/4, are closer to those of point-like objects like PBHs. In this case the lens equation always has two solutions corresponding to two images in the geometric optics approximation. This will give rise to the characteristic sinusoidal dependence of the magnification on frequency. The caustic shrinks to the point β=0\beta=0, at which the two images turn into an Einstein ring of angular radius θ0\theta_{0}. The case isothermal sphere profile with δ=2\delta=2 lies at the boundary between the two regimes discussed here: there are two lensed images for β<θ0\beta<\theta_{0} and a single image for β>θ0\beta>\theta_{0}.

Wave optics effects quantitatively modify the geometric optics results at low frequencies, but do not lead to qualitative changes. We have computed the magnification numerically for the case δ=9/4\delta=9/4 using eqs. 2.14 and 2.15. The results are shown in fig. 3, and are also compared to the geometric optics approximation. As expected from the above discussion, the behavior of the curves is similar to the case of a point-like lens, but it nevertheless differs in some important details. First, wave optics corrections remain sizeable up to higher energies. Even more important, for impact parameters y≡β/θ0>1y\equiv\beta/\theta_{0}>1, we find that the geometric optics approximation significantly underestimates the amplitude over the first 5–7 periods of the oscillation. As the impact parameter grows, the amplitude of the oscillations falls off more slowly towards higher frequency than for a point-like lens, increasing the lensing probability for UCMHs compared to PBHs.

Comparing figs. 1 and 3, we observe that the interference fringes for UCMHs are shifted to higher energies compared to the case of PBHs. This can be understood by noting from eq. 2.2 that a photon passing the lens at a distance θDL\theta D_{L} is affected by DM particles residing at radii less than θDL\theta D_{L}. The characteristic distance at which lensed photons pass an UCMH is θ0DL\theta_{0}D_{L} (see eq. 2.28). So if we call the mass contained within this radius m(θ0)m(\theta_{0}), we expect the interference pattern for an UCMH to be comparable to the one for a PBH with mass m(θ0)m(\theta_{0}) (modulo obvious differences in the lensing potential and the reduced deflection angle). We can thus estimate that the interference fringes in fig. 3 (δ=9/4\delta=9/4) should be shifted to higher energies by a factor

compared to the ones in fig. 1. For zS=1z_{S}=1 and zL=0.5z_{L}=0.5, this becomes

This estimate is indeed in good agreement with the shift observed in the plots.

Revision of Current Bounds and Sensitivity Estimates

In this section, we will revisit the femtolensing bounds from ref. by considering wave optics corrections (see section 2.2) as well as the non-pointlike nature of the GRB sources (see section 2.3). From Fig 1 we expect that wave optics effects will modify femtolensing bounds on point-like masses by at most a few tens of per cent compared to the geometric optics approximation. The finite size of the sources, however, is expected to lead to much more dramatic modifications. As the size aSa_{S} of the emission region in a GRB is very uncertain (see appendix A), we will investigate the dependence of our results on aSa_{S}. We will find that only if aS≲108a_{S}\lesssim 10^{8} cm, current data is able to set meaningful limits. This is true for point-like lenses such as primordial black holes, but also for extended lenses like axion miniclusters. Unfortunately the assumption aS≲108a_{S}\lesssim 10^{8} cm is not realistic.

We will establish these conclusions by investigating the sensitivity of current data, i.e. by working with simulated GRB data rather than real data. This will make our analysis more transparent, and our conclusion will be that current data is not sensitive to DM femtolensing yet. Therefore it is not necessary to go beyond a sensitivity study, and we will therefore not analyze actual Fermi GRBs data. We will, however, extrapolate our results into the future and estimate how many well observed GRBs would be needed for femtolensing to become a competitive player in the hunt for compact DM objects.

In the following, we will first describe how we model GRB spectra (section 3.1). We will then describe the statistical methods we use (section 3.2) and discuss the resulting sensitivity estimates for PBHs and UCMHs (section 3.3).

We simulate “data” based on a phenomenological model for the unlensed GRB spectrum. In particular, we use Band’s model (BAND) as our baseline scenario, but we have also studied a broken power law model (BKN) as well as a simple power law model with an exponential cutoff as a cross check.

The BAND model has four free parameters: an amplitude AA, two spectral indices α1\alpha_{1} (low energy) and α2\alpha_{2} (high energy), and an energy scale E0E_{0}. In terms of these parameters, the spectrum as a function of energy EE is given by

In our sensitivity studies, we choose A=0.15 counts sec−1 cm−2 keV−1A=0.15~\text{counts}\ \text{sec}^{-1}\,\text{cm}^{-2}\,\text{keV}^{-1}, E0=160E_{0}=160 keV, α1=−0.9\alpha_{1}=-0.9, and α2=−2.5\alpha_{2}=-2.5. These parameters are based on a fit to Fermi GBM data on GRB 090424 , and we have normalized the spectrum to 5 000 photons in the energy range from 8 keV to 550 keV on which we will focus in our analysis. This normalization is roughly based on the sample of high quality events that the Fermi GBM can collect for a typical short GRB at zS=1z_{S}=1. We treat the detector’s effective area as a constant, 100 cm2100~\text{cm}^{2}, and we assume the GRB to last 1 sec1~\text{sec}. These are typical values for short GRBs, which may appear more interesting for femtolensing because of the arguments given in appendix A that indicate that the size of the emission region, aSa_{S}, tends to be smaller for short GRBs. Nonetheless, given the possibility of a broad distribution of aSa_{S} for long GRBs, their larger abundance and higher redshift, it is unclear which type of GRB will ultimately offer the best sensitivity.

The BKN model has four free parameters as well: an amplitude AA, a characteristic energy E0E_{0}, and two spectral indices α1\alpha_{1}, α2\alpha_{2}:

The benchmark parameters for the BKN model are A=0.099 counts sec−1 cm−2 keV−1A=0.099~\text{counts}\ \text{sec}^{-1}\,\text{cm}^{-2}\,\text{keV}^{-1}, E0=160E_{0}=160 keV, α1=−0.9\alpha_{1}=-0.9, and α2=−2.5\alpha_{2}=-2.5.

The power law model with exponential cutoff has only three free parameters: the amplitude AA, a spectral index α\alpha, and an energy scale E0E_{0}:

The benchmark parameters for this model are A=0.16 counts sec−1 cm−2 keV−1A=0.16~\text{counts}\ \text{sec}^{-1}\,\text{cm}^{-2}\,\text{keV}^{-1}, E0=150E_{0}=150 keV, and α=−0.92\alpha=-0.92. This choice leads to the same normalization as for the BAND model. The power law model is not strongly motivated physically, and is just used here as a cross check to verify the robustness of our predictions. In particular, if there is an exponential cutoff in the GRB spectrum, it is expected at an energy much higher than 150150 keV .

We choose energy-dependent bin sizes of 2 δE2\,\delta E, where we assume

This resolution is better than that of the Fermi GBM instrument because we will mainly be interested in the sensitivity of future observatories.

In fig. 4, we show a simulated data set based on these assumptions and using the BAND model. We see that the magnitude of the femtolensing effect depends crucially on the size of the source. If aS=108a_{S}=10^{8} cm, a pronounced interference pattern emerges. However already for aS∼109a_{S}\sim 10^{9} cm – which is still rather optimistic – it is already quite difficult to extract a clear signal, even if the lens is located at very low redshift zL=0.05z_{L}=0.05, so that the projected size of the source in the lens plane is reduced compared to the case zL∼1z_{L}\sim 1. Had we chosen the same zLz_{L} for the orange curve as for the blue one (aS∼108a_{S}\sim 10^{8} cm), the amplitude of the femtolensing wiggles would be comparable to the error bars on the data or even smaller. Similarly, for larger aS∼1010a_{S}\sim 10^{10} cm, the femtolensing effect disappears. Parenthetically we notice that in order to get the realistic pattern, one should further convolve it with the detector response function (see the black dotted lines). We checked explicitly, that the resolution that we have assumed in eq. (3.4) does not change qualitatively any of the curves that we show, the current Fermi resolution wipes out the effect completely for both lines. This further reinforces our point that current Fermi observation cannot even be sensitive to the emission size as small as as=108a_{s}=10^{8} cm (which is extremely optimistic), and better resolutions of future experiments would be needed to make any further progress.

2 Likelihood Analysis

To quantitatively analyze the simulated data and compare to femtolensing predictions, we define a log-likelihood function Note that our statistical procedure differs from the one in . Our approach combines the likelihood of the lensed signal for every possible 3-dimensional position of the lens, weighted by the probability of finding a lens at a given position. Ref. , in contrast, investigates the observability of lensing as a function of the lens mass and the transverse position of the source, but without fully taking into account the dependence on the redshift of the lens zLz_{L}.

where OjO_{j} (“number of observed events”) denotes the number of events in the jj-th bin without lensing, and Pj(μ⃗b,μ⃗s)P_{j}(\vec{\mu}_{b},\vec{\mu}_{s}) (“number of predicted events”) denotes the number of events expected if there is a lens. σj\sigma_{j} is the uncertainty associated with the jj-th bin, which is given by adding in quadrature the statistical uncertainty Pj(μ⃗b,μ⃗s)\sqrt{P_{j}(\vec{\mu}_{b},\vec{\mu}_{s})} and a systematic uncertainty. The latter accounts for quasi-random deviations of the source spectrum from the model, and we assume its magnitude to be 5%. (We will also show how our results change if the systematic uncertainty is set to 0% or 10% instead.) The vector μ⃗b\vec{\mu}_{b} contains the relevant parameters of the background model (four for the BAND and BKN models, three for the power law model with exponential cutoff). To be conservative, we minimize over μ⃗b\vec{\mu}_{b}, i.e. we choose the background parameters that best fit the data. The vector μ⃗s\vec{\mu}_{s} contains the parameters of the lens, namely its mass MM, its redshift zLz_{L}, and its normalized impact parameter in the lens plane y=β/θEy=\beta/\theta_{E}. Thus, L0L_{0} compares the unlensed spectrum to the lensed spectrum for fixed lens and source parameters. Note that we can use Gaussian rather than Poisson statistics here because the number of photon events per bin is large.

We can define a lensing cross section σ(DL)=π(ymaxθEDL)2\sigma(D_{L})=\pi(y_{\text{max}}\theta_{E}D_{L})^{2}, where ymaxy_{\text{max}} is the maximal normalized distance from the lens to observer–source line of sight that still leads to a sizable lensing signal. (A sizable signal is defined as a signal that can be distinguished, at a given confidence level (CL) from an unlensed signal.) In other words, ymaxy_{\text{max}} is obtained by solving

where α\alpha is the quantile one of the χ2\chi^{2} distribution with one degree of freedom corresponding to the chosen CL. For instance, α=2.7\alpha=2.7 for 90% CL and α=9\alpha=9 for 3σ3\sigma CL. The optical depth τ\tau of the source is obtained as

where ρPBH/M\rho_{\text{PBH}}/M is the number density of lenses at the present epoch. We integrate over the redshift of the lens, which is equivalent, up to the Hubble constant H(zL)H(z_{L}), to integrating over comoving distance. The factor (1+zL)2(1+z_{L})^{2} appears as a combination of a factor (1+zL)3(1+z_{L})^{3} that accounts for the increase in lens density with redshift and a factor (1+zL)−1(1+z_{L})^{-1} needed to convert between the physical and comoving longitudinal coordinate.

To obtain limits on the density of lenses, we need to take into account the dependence of L0L_{0} on μ⃗s\vec{\mu}_{s}. To this end, we define the overall likelihood for lensing of a single GRB source with size aSa_{S} and redshift zSz_{S} according to

Here, the integral runs over physical (not comoving) coordinates, and the factor (1+zL)3(1+z_{L})^{3} once again takes into account the increase of the lens density with redshift. The integration region extends from the observer to the source in the longitudinal direction, and out to infinity in the transverse directions. We here make the (realistic) assumption that the probability of a single GRB being lensed by multiple compact DM objects is ≪1\ll 1.

Of course, the sensitivity can be significantly boosted by observing not a single GRB, but many of them. For nn observed GRBs, the total likelihood is

where aS,ka_{S,k} and zS,kz_{S,k} denote the size and redshift of the kk-th GRB.

We set 95% CL limits on the mass and density of the compact DM objects by equating the log-likelihood ratio with the 95% quantile of the χ2\chi^{2} distribution with two degrees of freedom (MM and ρPBH\rho_{\text{PBH}}):

Here, the denominator corresponds to the likelihood of the data in the absence of any lensing.

3 Results

With the above likelihood formalism in hand, we can now study the sensitivity of current and future data to compact DM objects. We focus on the mass range 10−17M⊙10^{-17}M_{\odot} to 10−14M⊙10^{-14}M_{\odot}. This mass window is motivated by the requirement that a sizable phase difference between the different lensed images of the source should occur within the energy range of GRB spectra. Our results are shown in fig. 5. We see that with 20 GRBs with well-measured redshifts (the number of GRBs used in ), a meaningful limit can only be set if the GRBs are assumed to be point-like, i.e. aS≲108a_{S}\lesssim 10^{8} cm. Here, by “meaningful limit” we mean a limit that constrains the cosmological PBH abundance, ΩPBH\Omega_{\text{PBH}}, to be less than the total DM abundance in the Universe, ΩDM\Omega_{\text{DM}}. As argued in section 2.3, the assumption aS≲108a_{S}\lesssim 10^{8} cm is almost certainly overly optimistic. If aSa_{S} is only one order of magnitude larger (which is still very optimistic), no limit can be set.

This may change in the future if the available sample of GRBs is significantly extended. With 100 GRBs, sensitivity to an O(30%)\mathcal{O}(30\%) fraction of PBHs can be achieved for aS∼109a_{S}\sim 10^{9} cm. The sensitivity would improve to ΩPBH/ΩDM∼0.06\Omega_{\text{PBH}}/\Omega_{\text{DM}}\sim 0.06 if aS∼108a_{S}\sim 10^{8} cm. Our conclusions are essentially independent of the choice of GRB model (BAND vs. BKN vs. power law with exponential cutoff). They depend somewhat on the assumed systematic uncertainty, with the sensitivity deteriorating by at most a factor of two if the assumed systematic error is increased from 0% to 10%. Note that we have very conservatively assumed systematic errors to be completely uncorrelated between energy bins.

In fig. 6, we put our projected constraints into a broader context by comparing to other limits on PBHs. We see that future femtolensing constraints, albeit weak, may cover a mass range that is otherwise inaccessible and where viable PBH DM could exist.

While the projected limits shown in figs. 5 and 6 apply only to PBH DM, we can use the arguments given at the end of section 2.4 as a starting point for estimating also the sensitivity to other compact DM structures. For UCMHs, we have argued above that the interference fringes are shifted to higher energies compared to the PBH case, with the magnitude of the shift, m(θ0)/Mcuspm(\theta_{0})/M_{\text{cusp}}, given by eqs. 2.29 and 2.30 for UCMHs with ρ(r)∝(r0/r)9/4\rho(r)\propto(r_{0}/r)^{9/4}. We therefore estimate that the projected femtolensing exclusion limits on such UCMHs will be similar in shape to the ones for PBHs if the PBH mass is understood as the “equivalent black hole mass” m(θ0)m(\theta_{0}) from eqs. 2.29 and 2.30. Expressed in terms of McuspM_{\text{cusp}}, the limits on UCMHs are thus shifted to higher masses by a factor Mcusp/m(θ0)M_{\text{cusp}}/m(\theta_{0}) compared to the limits shown in figs. 5 and 6. We moreover need to take into account the fact that the DM number density scales inversely with mass, hence we expect the projected exclusion curves to also move upwards by a factor Mcusp/m(θ0)M_{\text{cusp}}/m(\theta_{0}), corresponding to a weakening of the limit by that factor. In view of this, and given that we have seen how difficult it will already be to constrain PBH DM using femtolensing, we refrain from a more detailed sensitivity study for UCMHs.

Conclusions

To summarize, we have critically investigated the potential of gravitational femtolensing to constrain compact DM structures such as primordial black holes or ultracompact DM minihalos. Femtolensing exploits the tiny time delay between the multiple lensed images of a distant source. Interference between the images leads to characteristic fringes in the energy spectrum of observed photons, see fig. 4. As sources, we consider in particular gamma ray bursts at O(1)\mathcal{O}(1) redshift. These sources are most easily observed at energies ≳10\gtrsim 10 keV, hence observable interference pattern require time delays ≲10−19\lesssim 10^{-19} sec. This means that the best sensitivity is expected for compact DM objects in the mass range from 10−1710^{-17} to 10−14 M⊙10^{-14}~M_{\odot}.

We have argued that the simple geometric picture of femtolensing based on point-like sources and lenses that is often used in the literature is not appropriate in reality. First, it is not true that photons travel from the source to the detector along one of just two discrete paths. In fact, when the time delay becomes comparable to the inverse photon frequency (which for point-like lenses is equivalent to the photon wave length becoming comparable to the Schwarzschild radius of the lens), wave optics effects become non-negligible. It is then necessary to integrate the photon amplitude over the whole lens plane. This leads to O(1)\mathcal{O}(1) corrections to the interference pattern at the lower end of the photon energy spectrum. Second, while the approximation of a point-like lens works for primordial black holes, it is not satisfied for ultra-compact mini-halos, and even less so for NFW-like structures. We have therefore computed femtolensing effects for generic power-law density profiles, and have explicitly shown numerical results for the self-similar infall profile with ρ(r)∝r−9/4\rho(r)\propto r^{-9/4}.

The most important correction in femtolensing of GRBs is coming from the non-negligible size aSa_{S} of the GRB source itself. In fact, we have argued that a GRB could only be treated as point-like for the purpose of femtolensing if the photon emission region was smaller than aS∼108a_{S}\sim 10^{8} cm. And while estimates for the size of the emission region can vary by a few orders of magnitude, aS∼108a_{S}\sim 10^{8} cm seems unrealistically small. For more realistic assumptions on the value of aS≳1010a_{S}\gtrsim 10^{10} cm, the femtolensing effect is almost entirely washed out. This means that, contrary to previous claims, current GRB data is insufficient to constrain compact DM structures such as primordial black holes, even if their abundance ΩPBH\Omega_{\text{PBH}} saturates the observed DM abundance ΩDM\Omega_{\text{DM}} in the Universe. We have, however, demonstrated that constraints down to ΩPBH/ΩDM∼0.2\Omega_{\text{PBH}}/\Omega_{\text{DM}}\sim 0.2 would become possible with a sample of about 100 observed GRBs with well-measured redshifts and spectra, and with small aSa_{S}. Such GRBs are expected to be characterized by very fast intrinsic variability at sub-millisecond time scales.

Since femtolensing constraints on compact DM objects are still out of reach we conclude that there are currently no firm bounds on PBH DM in the mass range of 10−17÷10−1110^{-17}\div 10^{-11} (with the exception of a small wedge of parameter space excluded by white dwarf observation). This is illustrated in fig. 6. While several ideas has been put forward to constrain this mass range, for instance picolensing and the capture of PBHs by stars or neutron stars, none of these methods has yielded decisive bounds until now, so this region of parameter space still awaits exploration.

Acknowledgments

We are grateful to Yacine Ali-Haïmoud, Juan Garcia Bellido, Kfir Blum, Lam Hui and Kathryn Zurek for useful discussions. JK has been supported by the German Research Foundation (DFG) under Grant Grant Nos. KO 4820/11, FOR 2239, EXC-1098 (PRISMA) and by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 637506, “ν\nuDirections”). JK would also like to thank CERN for hospitality and support.

Appendix A The size of the prompt emission region in GRBs

In this appendix we discuss the transverse size of the γ\gamma-ray emitting regions in GRBs, which, as we have seen in section 2.3, plays a crucial role in the study of femtolensing. We will review estimates for the size of the emission region based on measurements of the variability time scale, and we will also discuss the lower bound following from the required transparency of the emission region to γ\gamma-rays.

It is believed that the prompt γ\gamma-emission of GRBs is produced by electrons and positrons accelerated in relativistic shock waves. The non-thermal γ\gamma-ray spectrum implies that the emission region must be optically thin. To reconcile this requirement with the observed energetics of the bursts, the bulk Lorentz factor of the γ\gamma-ray emitting material must be large, Γ≳100\varGamma\gtrsim 100 .

We etsimate the transverse size of the emission region following the same approach as Ref. . Consider a blob of material of size aSa_{S} moving with velocity vv at an angle θobs\theta_{\text{obs}} to the observer’s line of sight. In the rest frame of the blob the minimal variability time scale of the emission is simply given by the light-crossing time,

The observed variability time tvart_{\text{var}} is related to t^var\hat{t}_{\text{var}} by the relativistic Doppler formula,

where Γ≡(1−(v/c)2)−1/2\varGamma\equiv\big(1-(v/c)^{2}\big)^{-1/2} and we have taken into account the cosmological redshift of the source. Due to the relativistic beaming effect, we have θobs∼1/Γ\theta_{\text{obs}}\sim 1/\varGamma. Combining this with eqs. A.1 and A.2 one obtains the estimate

The minimal variability time scales for various GRBs have been determined in ref. . They lie within the range tvarsGRB∼(0.01÷0.1)  sect_{\text{var}}^{\text{sGRB}}\sim(0.01\div 0.1)\;\text{sec} for short GRBs and tvarlGRB∼(0.1÷1)  sect_{\text{var}}^{\text{lGRB}}\sim(0.1\div 1)\;\text{sec} for the long ones. These results are consistent with the earlier estimates of ref. that give average variability time scales tvart_{\text{var}} of 0.0360.036 sec and 1.21.2 sec for short and long GRBs, respectively. We see that for a typical short GRB with z∼1z\sim 1, tvar∼0.03t_{\text{var}}\sim 0.03 sec, and Γ∼O(100)\varGamma\sim\mathcal{O}(100), the transverse size is,

For long GRBs this estimate becomes an order of magnitude larger. Note that Ref. derives also the distribution of the emission radii RemR_{\text{em}}, i.e. the distance from the GRB central engine at which γ\gamma-rays are emitted. The central value of this distribution is Rem∼3×1013R_{\text{em}}\sim 3\times 10^{13} cm (101410^{14} cm) for short (long) GRBs. Due to relativistic beaming, the transverse size of the patch visible by an observer on Earth is related to this distance as aS∼Rem/Γa_{S}\sim R_{\text{em}}/\varGamma. Assuming Γ∼O(100)\varGamma\sim{\cal O}(100), this again gives aS∼1011a_{S}\sim 10^{11} cm (101210^{12} cm) for short (long) GRBs.

In the above estimates we adopted the standard picture of a GRB with a relativistic jet of γ\gamma-ray emitting material pointing towards the observer. One may wonder how the reasoning is modified in the case of off-axis observation, like in the recent GRB 170817A accompanied by the gravitational wave event GW170817 , which has confirmed the identification of neutron star mergers as progenitors of short GRBs. As discussed in , the observational data pertaining to this event across the electromagnetic spectrum are best described by a model in which a mildly relativistic wide-angle shock with Γ∼2.5\varGamma\sim 2.5 breaks off the ambient material and emits γ\gamma-rays at a distance Rem≃2.4×1011R_{\text{em}}\simeq 2.4\times 10^{11} cm from the central engine. In this case relativistic beaming is practically absent, so aSa_{S} is comparable to RemR_{\text{em}}. We again recover the estimate (A.4).

If all GRBs satisfy the estimate (A.4), observing any femtolensing in their spectra will be essentially hopeless. So let us ask how robust this estimate is. A hint that there may be GRBs with smaller sizes is already provided by the analysis of Ref. , which finds that about 10% of the bursts (both short and long) exhibit faster variability, tvar≲2×10−3 sect_{\text{var}}\lesssim 2\times 10^{-3}~\text{sec}, which leads to an estimated size aS≲1010a_{S}\lesssim 10^{10} cm. Thus, one can speculate that some rare GRBs at the tail of the distribution could have tvart_{\text{var}} yet another order of magnitude shorter, bringing their sizes close to the values of aSa_{S} required for efficient femtolensing. It is also worth pointing out that the determination of the minimal variability time scale is affected by instrumental systematics, such as the detector sensitivity and the light-curve sampling. Thus, it might happen, in principle, that some of the measured variability time scales overestimate the true intrinsic variability time scale of the source.

An alternative method for constraining aSa_{S} is based on the requirement that the emission region must be optically thin. Two processes can lead to absorption of γ\gamma-rays: production of e+e−e^{+}e^{-} pairs in γγ\gamma\gamma-scattering, and Compton scattering on electrons and positrons. Let us start with the first process.

Consider a photon with energy E^\hat{E} in the rest frame of the emitting blob. The optical depth for pair production is,

where σγγ(ϵ^)\sigma_{\gamma\gamma}(\hat{\epsilon}) is the (angular-averaged) cross section of collision with an ambient photon of energy ϵ^\hat{\epsilon}, n^γ(ϵ^)\hat{n}_{\gamma}(\hat{\epsilon}) is the spectral density of such photons, and

is the threshold energy for pair production. To estimate n^γ(E^)\hat{n}_{\gamma}(\hat{E}) we notice that the number of photons with energy E^\hat{E} emitted by the blob during its proper time dt^d\hat{t} is

This is related to the photon flux f(E)f(E) seen by the observer at energy E=ΓE^/(1+zS)E=\varGamma\hat{E}/(1+z_{S}) as

where dSd_{S} is the luminosity distance of the GRB and the factor 1/Γ21/\varGamma^{2} is due to the fact that in the observer’s frame the emission is beamed into a narrow cone with opening angle ∼Γ−1\sim\varGamma^{-1}. Next, due to the Doppler effect we have (cf. eq. A.2) dt≃(1+zS) dt^ Γdt\simeq(1+z_{S})\,d\hat{t}\,\varGamma. Inserting all these relations into (A.5) we obtain,

Following common practice, we now assume that the spectrum of the prompt emission is described by a power law,

with spectral index α\alpha close to −2-2. Then the integral in eq. A.9 can be evaluated with the result,

where σT\sigma_{T} is the Thomson cross section and the numerical coefficient is

Expressing the optical depth in terms of the photon energy measured by the observer we arrive at,

Up to a numerical coefficient of order one, this coincides with the expression obtained in . For α<−1\alpha<-1 the optical depth grows with the energy of the photon. Requiring that it is smaller than one for photons with the maximal observed energy EmaxE_{\text{max}} we obtain,

where f500f_{500} is the γ\gamma-ray flux at 500500 keV and we have assumed α=−2\alpha=-2, zS=1z_{S}=1 for the numerical estimate.

Due to instrumental limitations the spectra of most GRBs are measured up to Emax∼1E_{\text{max}}\sim 1 MeV. This corresponds to the energy E^∼(1+zS)Γ−1 MeV≪1 MeV\hat{E}\sim(1+z_{S})\varGamma^{-1}\,\text{MeV}\ll 1\,\text{MeV} in the blob rest frame. If the spectrum were cut at these energies, all the photons would be below the threshold of pair production and we would not have to worry about absorption at all. However, it is believed that the spectrum of a typical GRB extends to much higher energies. This is supported by detection of high energy emission (up to ∼100 GeV\sim 100\,\text{GeV}) from several GRBs . When such observations are available, the corresponding maximal energy can be used in (A.14) to set a strong lower bound on the source size.

We now turn to absorption due to Compton scattering of γ\gamma-photons on electrons and positrons. We will consider e±e^{\pm} created by the process of γγ\gamma\gamma scattering discussed above. As will be seen shortly, the resulting constraint is stronger than (A.14) in the case when a direct measurement of the high-energy component of γ\gamma-radiation is absent .

Assuming, for simplicity, that electrons are non-relativistic in the rest frame of the emitting material, the optical depth for photons with E^≲mec2\hat{E}\lesssim m_{e}c^{2} is essentially independent of their energy,

where n^e\hat{n}_{e} is the total density of electrons. The latter is estimated as the density of photons for which the blob is optically thick with respect to pair production,

where ϵ^cr\hat{\epsilon}_{\text{cr}} is determined from the equation τγγ(ϵ^cr)=1\tau_{\gamma\gamma}(\hat{\epsilon}_{\text{cr}})=1. Using the expression (A.11) we obtain,

Requiring that the emission region be optically thin, τγe<1\tau_{\gamma e}<1, translates into

For the numerical values α=−2\alpha=-2, zS=1z_{S}=1 this yields,

We see that for extreme values of the boost factor Γ∼1200\varGamma\sim 1200 which may occur in some GRBs the lower bound on the source size is quite small. Of course, it would be too optimistic to interpret this lower bound as a plausible value of aSa_{S}. On the other hand, the above derivation is only an order-of-magnitude estimate. Moreover, it relies on a power-law extrapolation of the GRB spectrum. As such, it shows that the possibility for some GRBs to have sizes aS≲109a_{S}\lesssim 10^{9} cm is not completely excluded. Further progress in our quantitative understanding of the physics of GRBs is required to conclude if this option is viable or not. Note that according to eq. (A.3), if such GRBs exist, they are expected to have variablity at sub-millisecond time scale.

References