Gravitational lensing of fast radio bursts: Prospects for probing microlens populations in lensing galaxies
Phys. Rev. D 112, 123012 – Published 4 December, 2025
DOI: https://doi.org/10.1103/vxts-hbz7
Abstract
Gravitational lensing by a stellar microlens of mass forms two images separated by microarcseconds on the sky and has a time delay of seconds. Although we cannot resolve such microimages in the sky, they could be resolved in time if the source is a fast radio burst (FRB). In this work, we study the magnification () and time delay () distributions of microimages led by different microlens populations. We find that, in microlensing of typical strongly lensed (macro)images in galaxy lenses, microimages stemmed from a population of stellar mass microlenses in the range and a second (dark) microlens population in range reside in different parts of plane. For the global minimum macroimage, due to low stellar mass density, we find that the stellar population leads to peaks in autocorrelation at seconds, whereas the secondary population leads to peaks at seconds, allowing us to differentiate different microlens populations. However, an increase in stellar density introduces new peaks at seconds, which can pollute the inference about the presence of multiple microlens populations. In addition, we also show that the number of microimages, hence the number of peaks in the autocorrelation, is sensitive to the underlying stellar mass function, allowing us to constrain the stellar initial mass function (IMF) with FRB microlesning in the future. This work is a first step toward using FRB lensing to probe the microlens population within strong lenses, and more detailed studies are required to assess the effect of various uncertainties that we only discussed qualitatively.