宮﨑 翔太

Microlensing campaigns have a long history of observations covering the Galactic bulge, where thousands of detections have been obtained, including many exoplanetary systems. The Euclid Galactic Bulge Survey represents a unique opportunity to revisit a large number of past events and attempt the lens-source resolution of known events falling in the covered area. As the analysis of individual events requires non-negligible efforts, it is important to establish priorities among all possible targets, identifying those candidates with the higher chance for a successful resolution of the lens from the source and with the highest scientific interest. Drawing from the databases of the three main microlensing surveys (OGLE, MOA and KMTNet), we compile the complete catalog of past microlensing events in the Euclid survey footprint up to year 2023, containing 8081 entries. By re-modeling all events and cross-checking with Galactic models, we estimate the relative lens-source proper motions for all events. Taking into account all uncertainties, for each microlensing event we are able to estimate the probability that the lens is separated from the source by more than a given angular distance threshold. Hence, we rank all events by their resolution probability, providing additional useful information that will guide future analyses on the most promising candidates. A particular attention is dedicated to known planetary microlensing events....

Aims. We investigated binary-lens events from the 2022–2024 microlensing surveys, aiming to identify events suitable for lens mass measurements. We focused on two key light curve features: distinct caustic spikes with resolved crossings for measuring the angular Einstein radius (θ_E), and long durations enabling microlens-parallax (π_E) measurements. Four events met these criteria: KMT-2022-BLG-1479, KMT-2023-BLG-0932, OGLE-2024-BLG-0142, and KMT-2024-BLG-1309. Methods. We estimated the angular Einstein radius by combining the normalized source radius measured by modeling the resolved caustic spikes with the angular source radius derived from the source color and magnitude. Additionally, we determined the microlens parallax through light curve modeling, taking higher-order effects caused by the orbital motions of Earth and the binary lens into consideration. Results. With measurements of the event timescale, angular Einstein radius, and microlens parallax, we uniquely determined the mass and distance of the lens. For the events KMT-2022-BLG-1479, KMT-2023-BLG-0932, and KMT-2024-BLG-1309, both components of the binary lens have masses lower than that of the Sun, consistent with M-type dwarfs, which are the most common type of lenses in Galactic microlensing events. These lenses are relatively nearby, with distances of ≲2.5 kpc, indicating their location within the Galactic disk. In contrast, for OGLE-2024-BLG-0142, the primary lens component has a mass similar to that of the Sun, while the companion lens component has about half the mass of the primary. This lens system is situated at a greater distance, roughly 4.5 kpc....

We present observations and analyses of three high-magnification microlensing events: KMT-2022-BLG-0954, KMT-2024-BLG-0697, and MOA-2024-BLG-018. All three exhibit the "Planet/Binary" degeneracy, with planetary solutions corresponding to mass ratios in the range -3.7 < log q < -2.2, while the binary solutions yield log q > -2.0. For KMT-2022-BLG-0954, we identify a previously unrecognized degeneracy among planetary solutions, involving different mass ratios and normalized source radii. In all three cases, single-lens binary-source models are excluded. Bayesian analyses suggest that the planetary solutions correspond to gas giants orbiting M/K dwarfs beyond the snow line, while KMT-2022-BLG-0954 also admits an alternative interpretation as a super-Earth orbiting a late-type M dwarf. The binary solutions imply a diverse set of systems, including M-dwarf pairs and M-dwarf-brown-dwarf binaries. A review of known events subject to the "Planet/Binary" degeneracy shows that in most cases the degeneracy cannot be resolved through follow-up high-resolution imaging, particularly in the presence of the newly identified degeneracy....

We introduce microJAX, the first fully differentiable implementation of the image-centered ray-shooting (ICRS) algorithm for gravitational microlensing. Built on JAX and its XLA just-in-time compiler, microJAX exploits GPU parallelism while providing exact gradients through automatic differentiation. The current release supports binary- and triple-lens geometries, including limb-darkened extended-source effects, and delivers magnifications that remain differentiable for all model parameters. Benchmarks show that microJAX matches the accuracy of established packages and attains up to a factor of $\sim$5-6 speed-up in the small-source, limb-darkened regime on an NVIDIA A100 GPU. Since the model is fully differentiable, it integrates seamlessly with probabilistic programming frameworks, enabling scalable Hamiltonian Monte Carlo and variational inference workflows. Although the present work focuses on standard microlensing magnification models, the modular architecture is designed to support upcoming implementations of microlensing higher-order effects, while remaining compatible with external likelihood frameworks that incorporate advanced noise models. microJAX thus provides a robust foundation for precise and large-scale surveys anticipated in the coming decade, including the Nancy Grace Roman Space Telescope, where scalable, physically self-consistent inference will be essential for maximizing scientific return....

As part of the Galactic Bulge Time Domain Survey (GBTDS), the Nancy Grace Roman Galactic Exoplanet Survey (RGES) will use microlensing to discover cold outer planets and free-floating planets unbound to stars. NASA has established several science requirements for the GBTDS to ensure RGES success. A key advantage of RGES is Roman's high angular resolution, which will allow detection of flux from many host stars. One requirement specifies that Roman must measure the masses and distances of 40% of detected planet hosts with 20% precision or better. To test this, we simulated microlensing events toward the GBTDS fields and used Fisher matrix analysis to estimate light curve parameter uncertainties. Combining these with Roman imaging observables (lens flux, relative lens-source proper motion), we estimated the achievable precision of lens mass and distance measurements. Using pyLIMASS, a publicly available code for estimating lens properties, we applied this analysis to 3,000 simulated events. Assuming the Cassan et al. (2012) exoplanet mass function, we find that >40% of host stars meet the required 20% precision threshold, confirming that the GBTDS can satisfy the mission requirement. We validated our approach by comparing our inferred lens masses and distances to empirical measurements from detailed image-constrained light curve modeling of historical microlensing events with Hubble and Keck follow-up imaging. Our results agree within roughly 1 sigma, demonstrating that both approaches yield consistent and reliable mass and distance estimates, and confirming the robustness of our simulations for Roman-era microlensing science....