Constraining fast radio burst progenitors with gravitational lensing

Fast Radio Bursts (FRBs) are new transient radio sources discovered recently. Because of the angular resolution restriction in radio surveys, no optical counter part has been identified yet so it is hard to determine the progenitor of FRBs. In this paper we propose to use radio lensing survey to constrain FRB progenitors. We show that, different types of progenitors lead to different probabilities for a FRB to be gravitationally lensed by dark matter halos in foreground galaxies, since different type progenitors result in different redshift distributions of FRBs. For example, the redshift distribution of FRBs arising from double stars shifts toward lower redshift than of the FRBs arising from single stars, because double stars and single stars have different evolution timescales. With detailed calculations, we predict that the FRB sample size for producing one lensing event varies significantly for different FRB progenitor models. We argue that this fact can be used to distinguish different FRB models and also discuss the practical possibility of using lensing observation in radio surveys to constrain FRB progenitors.