Searcharxiv⌕ Search

arXiv subjects

Stephen Maher

Publications and source records attributed to Stephen Maher.

2 recordsLinked to original sources
arXiv2025

The Prime Focus Infrared Microlensing Experiment (PRIME): First Results

We present the description of the instruments and the first results of the PRime-focus Infrared Microlensing Experiment (PRIME). PRIME is the first dedicated near-infrared (NIR) microlensing survey telescope located at the South African Astronomical Observatory (SAAO) in Sutherland, South Africa. Among its class, it offers one of the widest fields of view in the NIR regime. PRIME's main goals are (1) To study planetary formation by measuring the frequency and mass function of planets. In particular, we compare results from the central Galactic bulge (GB), accessible only in the NIR by PRIME, with those from the outer GB by optical surveys. (2) To conduct concurrent observations with NASA's Nancy Grace Roman Space telescope. Due to the different lines of sight between the ground and space, we detect slight variations in light curves, known as ``Space-based parallax." This effect allows us to measure the mass of lens systems and their distance from the Earth. It is the only method to measure the mass of the free-floating planets down to Earth-mass. We began the GB survey in February 2024 and analyzed images through June 1, 2025, identifying 486 microlensing candidates and over a thousand variable stars, including Mira variables, which are useful to study the Galactic structure. We issue real-time alerts for follow-up observations, supporting exoplanet searches, and the chemical evolution studies in the GB. During the off-bulge season, we conduct an all-sky grid survey and Target of Opportunity (ToO) observations of transients, including gravitational wave events, gamma-ray bursts, and other science.

astro-ph.EP↗
arXiv2019

Exact Methods for Recursive Circle Packing

Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recursive packing of rings into other rings. This problem is known as the Recursive Circle Packing Problem (RCPP). We present the first dedicated method for solving RCPP that provides strong dual bounds based on an exact Dantzig--Wolfe reformulation of a nonconvex mixed-integer nonlinear programming formulation. The key idea of this reformulation is to break symmetry on each recursion level by enumerating one-level packings, i.e., packings of circles into other circles, and by dynamically generating packings of circles into rectangles. We use column generation techniques to design a "price-and-verify" algorithm that solves this reformulation to global optimality. Extensive computational experiments on a large test set show that our method not only computes tight dual bounds, but often produces primal solutions better than those computed by heuristics from the literature.

math.OC↗