arXiv subjects

Keyi Ding

Publications and source records attributed to Keyi Ding.

9 recordsLinked to original sources

arXiv2026

Probing the IMF in the Early Universe -- Direct measurements in the Bo\"otes I UFD with JWST/NIRCam

The dependence of the stellar initial mass function (IMF) on star-formation environment, particularly at low metallicities and high redshifts, remains poorly constrained. Ultra-faint dwarf galaxies (UFDs) are local fossils of high-redshift galaxies hosting old, metal-poor populations, and their resolved stellar populations provide unique pathways to constrain the sub-solar IMF. We investigate the low-mass IMF in the Bo{\"o}tes I (Boo I) UFD with JWST/NIRCam, leveraging its capability to resolve over 10,000 stars reaching $\lesssim$0.15\msun, obtaining one of the largest, deepest resolved stellar samples for UFDs. We explore three different functional forms of the IMF with machine learning and statistical techniques, combining forward modeling of synthetic color-magnitude diagrams with simulation-based inference. We find that a single power-law IMF provides a poorer description of the observed luminosity function and yields a slope inconsistent with the canonical Salpeter IMF. Our best-fit broken power-law and lognormal IMF parameters are consistent with the Milky Way within 68\% confidence level, providing evidence that star formation at metallicities as low as $\mathrm{[Fe/H]}\approx-2.4$ follows a similar IMF as in the Milky Way. By treating Boo I as a local relic analogous to a high-redshift galaxy with a stellar mass of $\lesssim10^5\msun$ at $z\gtrsim6$, our results provide evidence for the universality of the IMF across both local and high-redshift environments.

astro-ph.GA↗

arXiv2026

Galactic Archaeology with the Subaru `\=Onohi`ula Prime Focus Spectrograph Strategic Program

The recently commissioned Subaru `\=Onohi`ula Prime Focus Spectrograph (PFS) will obtain spectra from nearly 2,400 fibers that cover 1.24 square degrees. The 360 night Subaru Strategic Program for PFS is dedicating approximately one-third of its allocation (130 nights) to study the structure and evolution of galaxies in the Local Group. This Galactic Archaeological survey has three pillars. (1) We will determine whether the mass density profiles of dwarf galaxies are consistent with cusps, as expected for cold dark matter, or cores, as expected from alternative dark matter theories or baryonic feedback. We will deduce the density profiles as a function of radius from modeling of the full line-of-sight velocity and abundance distributions for six dwarf galaxies. Our total sample will consist of 18,000 member stars to beyond the nominal tidal radius of each system. (2) From measurements of the [alpha/Fe] abundance ratio, we will learn the difference in assembly history of the two most massive galaxies in the Local Group: M31 and the Milky Way. We will observe 30,000 member stars over 45 square degrees of M31's halo and outer disk. (3) We will uncover how the most fragile (outer) part of the Milky Way responded to accretion events both in the distant past (such as Gaia-Sausage Enceladus) and in more recent history (such as the Sagittarius dwarf spheroidal galaxy). To support this study, PFS will provide velocities and metallicities--from which, in combination with photometry, we will deduce ages--for tens of thousands of main-sequence stars out to a Galactocentric distance of ~30 kpc.

astro-ph.GA↗

arXiv2025

Machine Learning Techniques to Distinguish Giant Stars from Dwarf Stars Using Only Photometry -- Pushing Redwards

We present our photometric method, which combines Subaru/HSC $NB515$, g, and i band filters to distinguish giant stars in Local Group galaxies from Milky Way dwarf contamination. The $NB515$ filter is a narrow-band filter that covers the MgI+MgH features at $5150$ \r{A}, and is sensitive to stellar surface gravity. Using synthetic photometry derived from large empirical stellar spectral libraries, we model the $NB515$ filter's sensitivity to stellar atmospheric parameters and chemical abundances. Our results demonstrate that the $NB515$ filter effectively separates dwarfs from giants, even for the reddest and coolest M-type stars. To further enhance this separation, we develop machine learning models that improve the classification on the two-color ($g-i$, $NB515-g$) diagram. We apply these models to photometric data from the Fornax dwarf spheroidal galaxy and two fields of M31, successfully identifying red giant branch stars in these galaxies.

astro-ph.GA↗

arXiv2025

Wide binaries in an ultra-faint dwarf galaxy: discovery, population modeling, and a nail in the coffin of primordial black hole dark matter

We report the discovery and characterization of a wide binary population in the ultrafaint dwarf galaxy Bo\"{o}tes I using deep JWST/NIRCam imaging. Our sample consists of 52 candidate binaries with projected separations of 7,000 - 16,000 au and stellar masses from near the hydrogen-burning limit to the main-sequence turnoff ($\sim0.1$ - $0.8~{\rm M_\odot}$). By forward-modeling selection biases and chance alignments, we find that $1.25\pm0.25\%$ of Bo\"{o}tes I stars are members of wide binaries with separations beyond 5,000 au. This fraction, along with the distributions of separations and mass ratios, matches that in the Solar neighborhood, suggesting that wide binary formation is largely insensitive to metallicity, even down to [Fe/H] $\approx -2.5$. The observed truncation in the separation distribution near 16,000 au is well explained by stellar flyby disruptions. We also discuss how the binaries can be used to constrain the galaxy's dark matter properties. We show that our detection places new limits on primordial black hole dark matter, finding that compact objects with $M \gtrsim 5~{\rm M_\odot}$ cannot constitute more than $\sim1\%$ of the dark matter content. In contrast to previous work, we find that wide binaries are unlikely to provide robust constraints on the dark matter profile of ultrafaint galaxies given the uncertainties in the initial binary population, flyby disruptions, and contamination from chance alignments. These findings represent the most robust detection of wide binaries in an external galaxy to date, opening a new avenue for studying binary star formation and survival in extreme environments.

astro-ph.GA↗

arXiv2025

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Formal mathematical reasoning remains a critical challenge for artificial intelligence, hindered by limitations of existing benchmarks in scope and scale. To address this, we present FormalMATH, a large-scale Lean4 benchmark comprising 5,560 formally verified problems spanning from high-school Olympiad challenges to undergraduate-level theorems across diverse domains (e.g., algebra, applied mathematics, calculus, number theory, and discrete mathematics). To mitigate the inefficiency of manual formalization, we introduce a novel human-in-the-loop autoformalization pipeline that integrates: (1) specialized large language models (LLMs) for statement autoformalization, (2) multi-LLM semantic verification, and (3) negation-based disproof filtering strategies using off-the-shelf LLM-based provers. This approach reduces expert annotation costs by retaining 72.09% of statements before manual verification while ensuring fidelity to the original natural-language problems. Our evaluation of state-of-the-art LLM-based theorem provers reveals significant limitations: even the strongest models achieve only 16.46% success rate under practical sampling budgets, exhibiting pronounced domain bias (e.g., excelling in algebra but failing in calculus) and over-reliance on simplified automation tactics. Notably, we identify a counterintuitive inverse relationship between natural-language solution guidance and proof success in chain-of-thought reasoning scenarios, suggesting that human-written informal reasoning introduces noise rather than clarity in the formal reasoning settings. We believe that FormalMATH provides a robust benchmark for benchmarking formal mathematical reasoning.

cs.AI↗

arXiv2025

SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines

Large language models (LLMs) have demonstrated remarkable proficiency in mainstream academic disciplines such as mathematics, physics, and computer science. However, human knowledge encompasses over 200 specialized disciplines, far exceeding the scope of existing benchmarks. The capabilities of LLMs in many of these specialized fields-particularly in light industry, agriculture, and service-oriented disciplines-remain inadequately evaluated. To address this gap, we present SuperGPQA, a comprehensive benchmark that evaluates graduate-level knowledge and reasoning capabilities across 285 disciplines. Our benchmark employs a novel Human-LLM collaborative filtering mechanism to eliminate trivial or ambiguous questions through iterative refinement based on both LLM responses and expert feedback. Our experimental results reveal significant room for improvement in the performance of current state-of-the-art LLMs across diverse knowledge domains (e.g., the reasoning-focused model DeepSeek-R1 achieved the highest accuracy of 61.82% on SuperGPQA), highlighting the considerable gap between current model capabilities and artificial general intelligence. Additionally, we present comprehensive insights from our management of a large-scale annotation process, involving over 80 expert annotators and an interactive Human-LLM collaborative system, offering valuable methodological guidance for future research initiatives of comparable scope.

cs.CL↗

arXiv2024

Chiral Gravitational Wave Background from Audible Axion via Nieh-Yan Term

Axions and axion-like particles can be probed through gravitational waves indirectly, often referred to as "audible axions". The usual concept of audible axion relies on the coupling between the axions and the gauge fields. Here we consider an axion-like mechanism with coupling to the Nieh-Yan term. This interaction leads to the direct and efficient production of gravitational waves during the radiation-dominated era, originating from the tachyonic instability of the gravitational perturbations with the Nieh-Yan term. We calculate the energy spectral density of the chiral gravitational wave background and the comoving energy density of axion-like fields. Based on the numerical results, we explore the parameter space of axion masses and decay constants for detectable gravitational wave signals, either in pulsar timing arrays or space-based gravitational wave detections.

hep-ph↗

arXiv2023

CSST Strong Lensing Preparation: Forecasting the galaxy-galaxy strong lensing population for the China Space Station Telescope

Galaxy-galaxy strong gravitational lensing (GGSL) is a powerful probe for the formation and evolution of galaxies and cosmology, while the sample size of GGSLs leads to considerable uncertainties and potential bias. The China Space Station Telescope (CSST, to be launched in late 2026) will conduct observations across 17,500 square degrees of the sky, capturing images in the $ugriz$ bands with a spatial resolution comparable to that of the Hubble Space Telescope. We ran a set of Monte Carlo simulations to predict that the CSST's wide-field survey will observe $\sim$160,000 galaxy-galaxy strong lenses over its lifespan, increasing the number of existing galaxy-galaxy strong lens samples by three orders of magnitude. This is comparable to the capabilities of the $\it Euclid$ telescope but with the added benefit of additional color information. Specifically, the CSST can detect strong lenses with Einstein radii about $0.64\pm0.42^{"}$, corresponding to the velocity dispersions of $217.19 \pm 50.55 \, \text{km/s}$. These lenses exhibit a median magnification of $\sim$5. The apparent magnitude of the unlensed sources in the g-band is $25.87 \pm 1.19$. The signal-to-noise ratio of the lensed images covers a range of $\sim 20$ to $\sim 1000$, allowing us to determine the Einstein radius with an accuracy ranging from $\sim 1 \%$ to $\sim 0.1 \%$, ignoring various modeling systematics. Our estimates indicate that CSST can observe rare systems like double source-plane and spiral galaxy lenses. The above selection functions of the CSST strong lensing observation help optimize the strategy of finding and modeling GGSLs.

astro-ph.GA↗

arXiv2023

Verification of Gaia DR3 Single-lined Spectroscopic Binary Solutions With Three Transiting Low-mass Secondaries

While secondary mass inferences based on single-lined spectroscopic binary (SB1) solutions are subject to $\sin{i}$ degeneracies, this degeneracy can be lifted through the observations of eclipses. We combine the subset of Gaia Data Release (DR) 3 SB1 solutions consistent with brown dwarf-mass secondaries with the Transiting Exoplanet Survey Satellite (TESS) Object of Interest (TOI) list to identify three candidate transiting brown dwarf systems. Ground-based precision radial velocity follow-up observations confirm that TOI-2533.01 is a transiting brown dwarf with $M=72^{+3}_{-3}~M_{\text{Jup}}= 0.069^{+0.003}_{-0.003}~M_\odot$ orbiting TYC 2010-124-1 and that TOI-5427.01 is a transiting very low-mass star with $M=93^{+2}_{-2}~M_{\text{Jup}}=0.088^{+0.002}_{-0.002}~M_\odot$ orbiting UCAC4 515-012898. We validate TOI-1712.01 as a very low-mass star with $M=82^{+7}_{-7}~M_{\text{Jup}}=0.079^{+0.007}_{-0.007}~M_\odot$ transiting the primary in the hierarchical triple system BD+45 1593. Even after accounting for third light, TOI-1712.01 has radius nearly a factor of two larger than predicted for isolated stars with similar properties. We propose that the intense instellation experienced by TOI-1712.01 diminishes the temperature gradient near its surface, suppresses convection, and leads to its inflated radius. Our analyses verify Gaia DR3 SB1 solutions in the low Doppler semiamplitude limit, thereby providing the foundation for future joint analyses of Gaia radial velocities and Kepler, K2, TESS, and PLAnetary Transits and Oscillations (PLATO) light curves for the characterization of transiting massive brown dwarfs and very low-mass stars.

astro-ph.SR↗