MAGIC: Microlensing Analysis Guided by Intelligent Computation

For a microlensing event with multiple lenses, the interpretation of the light curve can be challenging. First When a distant star (called the source) gets sufficiently of all, the computation of the multiple-lens microlensing aligned with a massive foreground object (called light curve can be time-consuming due to the finitesource the lens), the gravitational field of the lens focuses the effect (e.g., Dong et al. 2006; Bozza 2010). This light out of the distant star, thus making the distant star is especially true when the microlens system consists of appear brighter (Einstein 1936; Paczynski 1986). For a three or more objects (e.g., Gaudi et al. 2008; Kuang typical source star inside the Milky Way, one can observe et al. 2021). Additionally, the likelihood landscape of the time evolution of their brightness (i.e., light curves) the high-dimensional parameter space can be so pathological and infer the existence and properties of companion objects that traditional sampling-based methods may to the lens by monitoring the deviations in the light have a hard time searching for the correct solution (or curve from the single lens scenario (e.g., Mao & Paczynski solutions). This remains to be true even when the brute 1991; Gould & Loeb 1992). This so-called gravitational force search on a fine grid that is defined by a subset microlensing technique has been frequently used of model parameters is conducted. As a result, the current to detect exoplanets and stellar binaries and are complementary analysis of multiple-lens microlensing events is still to other techniques (see reviews by Gaudi case-by-case, with each event requiring hundreds of (or 2012 and Zhu & Dong 2021).