arXiv subjects

Ran Li

Publications and source records attributed to Ran Li.

At least 73 records · Page 4Linked to original sources

arXiv2025

fiDrizzle-MU: A Fast Iterative Drizzle with Multiplicative Updates

We propose fiDrizzleMU, an algorithm for co-adding exposures via iterative multiplicative updates, replacing the additive correction framework. This method achieves superior anti-aliasing and noise reduction in stacked images. When applied to James Webb Space Telescope data, the fiDrizzleMU algorithm reconstructs a gravitational lensing candidate that was significantly blurred by the pipeline's resampling process. This enables the accurate recovery of faint and extended structures in high-resolution astronomical imaging.

astro-ph.IM↗

arXiv2025

CSST Strong Lensing Preparation: Cosmological Constraints Forecast from CSST Galaxy-Scale Strong Lensing

Strong gravitational lensing by galaxies is a powerful tool for studying cosmology and galaxy structure. The China Space Station Telescope (CSST) will revolutionize this field by discovering up to $\sim$100,000 galaxy-scale strong lenses, a huge increase over current samples. To harness the statistical power of this vast dataset, we forecast its cosmological constraining power using the gravitational-dynamical mass combination method. We create a realistic simulated lens sample and test how uncertainties in redshift and velocity dispersion measurements affect results under ideal, optimistic, and pessimistic scenarios. We find that increasing the sample size from 100 to 10,000 systems dramatically improves precision: in the $Λ$CDM model, the uncertainty on the matter density parameter, $Ω_m$, drops from 0.2 to 0.01; in the $w$CDM model, the uncertainty on the dark energy equation of state, $w$, decreases from 0.3 to 0.04. With 10,000 lenses, our constraints on dark energy are twice as tight as those from the latest DESI BAO measurements. We also compare two parameter estimation techniques -- MultiNest sampling and Bayesian Hierarchical Modeling (BHM). While both achieve similar precision, BHM provides more robust estimates of intrinsic lens parameters, whereas MultiNest is about twice as fast. This work establishes an efficient and scalable framework for cosmological analysis with next-generation strong lensing surveys.

astro-ph.CO↗

arXiv2025

Mock Observations for the CSST Mission: Multi-Channel Imager--The Cluster Field

The Multi-Channel Imager (MCI), one of the instruments aboard the China Survey Space Telescope (CSST), is designed to simultaneously observe the sky in three filters, covering wavelengths from the near-ultraviolet (NUV) to the near-infrared (NIR). With its large field of view ($7.5^{\prime}\times7.5^{\prime}$), MCI is particularly well-suited for observing galaxy clusters, providing a powerful tool for investigating galaxy evolution, dark matter and dark energy through gravitational lensing. Here we present a comprehensive simulation framework of a strong lensing cluster as observed by MCI, aiming to fully exploit its capabilities in capturing lensing features. The framework simulates a strong lensing cluster from the CosmoDC2 catalog, calculating the gravitational potential and performing ray-tracing to derive the true positions, shapes and light distribution of galaxies within the cluster field. Additionally, the simulation incorporates intra-cluster light (ICL) and spectral energy distributions (SEDs), enabling further strong lensing analyses, such as ICL seperation from galaxy light and mass reconstruction combining strong and weak lensing measurements. This framework provides a critical benchmark for testing the MCI data pipeline and maximizing its potential in galaxy cluster research.

astro-ph.IM↗

arXiv2025

Mock Observations for the CSST Mission: End-to-End Performance Modeling of Optical System

This study presents a comprehensive end-to-end simulation analysis of the optical imaging performance of the China Survey Space Telescope (CSST) under in-orbit conditions. An integrated system model incorporating five static and two dynamic error sub-models was established. Wavefront errors were calculated for each sub-model and compared to the integrated system error to quantify the individual contributions to image degradation. At the detector level, wavefront error, point spread function (PSF), and ellipticity were evaluated across the full field of view (FOV). The average radius of 80\% encircled energy (REE80) of the PSF under full-error conditions was determined for 25 field points, yielding a value of 0.114 arcseconds. Furthermore, the calculations indicate a correlation between the wavefront distribution and the ellipticity distribution within the optical system. By optimizing the wavefront distribution, it is possible to adjust the ellipticity distribution of the PSF across the full FOV. The end-to-end simulation approach adopted in this paper provides a theoretical foundation for improving the image quality in large-aperture, off-axis space telescopes.

astro-ph.IM↗

arXiv2025

Mock Observations for the CSST Mission: Main Surveys--An Overview of Framework and Simulation Suite

The Chinese Space Station Survey Telescope (CSST) is a flagship space-based observatory. Its main survey camera is designed to conduct high spatial resolution near-ultraviolet to near-infrared imaging and low-resolution spectroscopic surveys. To maximize the scientific output of CSST, we have developed a comprehensive, high-fidelity simulation pipeline for reproducing both imaging and spectroscopic observations. This paper presents an overview of the simulation framework, detailing its implementation and components. Built upon the GalSim package and incorporating the latest CSST instrumental specifications, our pipeline generates pixel-level mock observations that closely replicate the expected instrumental and observational conditions. The simulation suite integrates realistic astrophysical object catalogs, instrumental effects, point spread function (PSF) modeling, and observational noises to produce accurate synthetic data. We describe the key processing stages of the simulation, from constructing the input object catalogs to modeling the telescope optics and detector responses. Furthermore, we introduce the most recent release of simulated datasets, which provide a crucial testbed for data processing pipeline developments, calibration strategies, and scientific analyses, ensuring that CSST will meet its stringent requirements. Our pipeline serves as a vital tool for optimizing CSST main survey strategies and ensuring robust cosmological measurements.

astro-ph.IM↗

arXiv2025

Can Large Language Models Analyze Graphs like Professionals? A Benchmark, Datasets and Models

The need to analyze graphs is ubiquitous across various fields, from social networks to biological research and recommendation systems. Therefore, enabling the ability of large language models (LLMs) to process graphs is an important step toward more advanced general intelligence. However, current LLM benchmarks on graph analysis require models to directly reason over the prompts describing graph topology, and are thus limited to small graphs with only a few dozens of nodes. In contrast, human experts typically write programs based on popular libraries for task solving, and can thus handle graphs with different scales. To this end, a question naturally arises: can LLMs analyze graphs like professionals? In this paper, we introduce ProGraph, a manually crafted benchmark containing 3 categories of graph tasks. The benchmark expects solutions based on programming instead of directly reasoning over raw inputs. Our findings reveal that the performance of current LLMs is unsatisfactory, with the best model achieving only 36% accuracy. To bridge this gap, we propose LLM4Graph datasets, which include crawled documents and auto-generated codes based on 6 widely used graph libraries. By augmenting closed-source LLMs with document retrieval and fine-tuning open-source ones on the codes, we show 11-32% absolute improvements in their accuracies. Our results underscore that the capabilities of LLMs in handling structured data are still under-explored, and show the effectiveness of LLM4Graph in enhancing LLMs' proficiency of graph analysis. The benchmark, datasets and enhanced open-source models are available at https://github.com/BUPT-GAMMA/ProGraph.

cs.CL↗

arXiv2025

CURLING -- II. Improvement on the $H_{0}$ Inference from Pixelized Cluster Strong Lens Modeling

Strongly lensed supernovae (glSNe) provide a powerful, independent method to measure the Hubble constant, $H_{0}$, through time delays between their multiple images. The accuracy of this measurement depends critically on both the precision of time delay estimation and the robustness of lens modeling. In many current cluster-scale modeling algorithms, all multiple images used for modeling are simplified as point sources to reduce computational costs. In the first paper of the CURLING program, we demonstrated that such a point-like approximation can introduce significant uncertainties and biases in both magnification reconstruction and cosmological inference. In this study, we explore how such simplifications affect $H_0$ measurements from glSNe. We simulate a lensed supernova at $z=1.95$, lensed by a galaxy cluster at $z=0.336$, assuming time delays are measured from LSST-like light curves. The lens model is constructed using JWST-like imaging data, utilizing both Lenstool and a pixelated method developed in CURLING. Under a fiducial cosmology with $H_0=70\rm \ km \ s^{-1}\ Mpc^{-1}$, the Lenstool model yields $H_0=69.91^{+6.27}_{-5.50}\rm \ km\ s^{-1}\ Mpc^{-1}$, whereas the pixelated framework improves the precision by over an order of magnitude, $H_0=70.39^{+0.82}_{-0.60}\rm \ km \ s^{-1}\ Mpc^{-1}$. Our results indicate that in the next-generation observations (e.g., JWST), uncertainties from lens modeling dominate the error budget for $H_0$ inference, emphasizing the importance of incorporating the extended surface brightness of multiple images to fully leverage the potential of glSNe for cosmology.

astro-ph.CO↗

arXiv2025

MaNGA DynPop. VII. A Unified Bulge-Disk-Halo Model for Explaining Diversity in Circular Velocity Curves of 6000 Spiral and Early-Type Galaxies

We derive circular velocity curves (CVCs) from stellar dynamical models for $\sim6000$ nearby galaxies in the final data release of the Sloan Digital Sky Survey-IV MaNGA survey with integral-field spectroscopy, exploring connections between the inner gravitational potential (traced by CVC amplitude/shape) and galaxy properties. The maximum circular velocity ($V_{\rm circ}^{\rm max}$) and circular velocity at the half-light radius ($V_{\rm circ}(R_{\rm e}^{\rm maj})$) both scale linearly with the stellar second velocity moment $σ_{\rm e}^2\equiv\langle V^2+σ^2\rangle$ within the half-light isophote, following $V_{\rm circ}^{\rm max} \approx 1.72σ_{\rm e}$ (7$\%$ error) and $V_{\rm circ}(R_{\rm e}^{\rm maj}) \approx 1.62σ_{\rm e}$ (7$\%$ error). CVC shapes (rising, flat, declining) correlate strongly with structural and stellar population properties: declining curves dominate in massive, early-type, bulge-dominated galaxies with old, metal-rich stars and early quenching, while rising CVCs prevail in disk-dominated systems with younger stellar populations and ongoing star formation. Using a unified bulge-disk-halo model, we predict CVC shapes with minimal bias, identifying three governing parameters: bulge-to-total mass ratio ($B/T$), dark matter fraction within $R_{\rm e}$, and bulge Sersic index. The distribution of CVC shapes across the mass-size plane reflects evolutionary pathways driven by (i) in situ star formation (spurring bulge growth) and (ii) dry mergers. This establishes CVC morphology as a diagnostic for galaxy evolution, linking dynamical signatures to structural and stellar population histories.

astro-ph.GA↗

arXiv2025

Introduction to the Chinese Space Station Survey Telescope (CSST)

The Chinese Space Station Survey Telescope (CSST) is an upcoming Stage-IV sky survey telescope, distinguished by its large field of view (FoV), high image quality, and multi-band observation capabilities. It can simultaneously conduct precise measurements of the Universe by performing multi-color photometric imaging and slitless spectroscopic surveys. The CSST is equipped with five scientific instruments, i.e. Multi-band Imaging and Slitless Spectroscopy Survey Camera (SC), Multi-Channel Imager (MCI), Integral Field Spectrograph (IFS), Cool Planet Imaging Coronagraph (CPI-C), and THz Spectrometer (TS). Using these instruments, CSST is expected to make significant contributions and discoveries across various astronomical fields, including cosmology, galaxies and active galactic nuclei (AGN), the Milky Way and nearby galaxies, stars, exoplanets, Solar System objects, astrometry, and transients and variable sources. This review aims to provide a comprehensive overview of the CSST instruments, observational capabilities, data products, and scientific potential.

astro-ph.IM↗

arXiv2025

EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking

As large language models (LLMs) become integral to code-related tasks, a central question emerges: Do LLMs truly understand program semantics? We introduce EquiBench, a new benchmark for evaluating LLMs through equivalence checking, i.e., determining whether two programs produce identical outputs for all possible inputs. Unlike prior code generation benchmarks, this task directly tests a model's ability to reason about program semantics. EquiBench consists of 2400 program pairs across four languages and six categories. These pairs are generated through program analysis, compiler scheduling, and superoptimization, ensuring high-confidence labels, nontrivial difficulty, and full automation. We evaluate 19 state-of-the-art LLMs and find that in the most challenging categories, the best accuracies are 63.8% and 76.2%, only modestly above the 50% random baseline. Further analysis reveals that models often rely on syntactic similarity rather than exhibiting robust reasoning about program semantics, highlighting current limitations. Our code and dataset are publicly available at https://github.com/Anjiang-Wei/equibench

cs.LG↗

arXiv2025

Near-Field Beam Training Through Beam Diverging

This paper investigates beam training techniques for near-field (NF) extremely large-scale antenna arrays (ELAAs). Existing NF beam training methods predominantly rely on beam focusing, where the base station (BS) transmits highly spatially selective beams to locate the user equipment (UE). However, these beam-focusing-based schemes suffer from both high beam sweeping overhead and limited accuracy in the NF, primarily due to the narrow beams' high susceptibility to misalignment. To address this, we propose a novel NF beam training paradigm using diverging beams. Specifically, we introduce the beam diverging effect and exploit it for low-overhead, high-accuracy beam training. First, we design a diverging codeword to induce the beam diverging effect with a single radio frequency (RF) chain. Next, we develop a diverging polar-domain codebook (DPC) along with a hierarchical method that enables angular-domain localization of the UE with only 2 log_2(N) pilots, where N denotes the number of antennas. Finally, we enhance beam training performance through two additional techniques: a DPC angular range reduction strategy to improve the effectiveness of beam diverging, and a pilot set expansion method to increase overall beam training accuracy. Numerical results show that our algorithm achieves near-optimal accuracy with a small pilot overhead, outperforming existing methods.

cs.IT↗

arXiv2025

3D Near-Field Beam Training for Uniform Planar Arrays through Beam Diverging

In future 6G communication systems, large-scale antenna arrays promise enhanced signal strength and spatial resolution, but they also increase the complexity of beam training. Moreover, as antenna counts grow and carrier wavelengths shrink, the channel model transits from far-field (FF) planar waves to near-field (NF) spherical waves, further complicating the beam training process. This paper focuses on millimeter-wave (mmWave) systems equipped with large-scale uniform planar arrays (UPAs), which produce 3D beam patterns and introduce additional challenges for NF beam training. Existing methods primarily rely on either FF steering or NF focusing codewords, both of which are highly sensitive to mismatches in user equipment (UE) location, leading to high sensitivity to even slight mismatch and excessive training overhead. In contrast, we introduce a novel beam training approach leveraging the beam-diverging effect, which enables adjustable wide-beam coverage using only a single radio frequency (RF) chain. Specifically, we first analyze the spatial characteristics of this effect in UPA systems and leverage them to construct hierarchical codebooks for coarse UE localization. Then, we develop a 3D sampling mechanism to build an NF refinement codebook for precise beam training. Numerical results demonstrate that the proposed algorithm achieves superior beam training performance while maintaining low training overhead.

cs.IT↗

arXiv2025

Using Deep Learning Methods to Detect for Ultra-diffuse Galaxies in KiDS

Ultra-diffuse Galaxies (UDGs) are a subset of Low Surface Brightness Galaxies (LSBGs), showing mean effective surface brightness fainter than $24\ \rm mag\ \rm arcsec^{-2}$ and a diffuse morphology, with effective radii larger than 1.5 kpc. Due to their elusiveness, traditional methods are challenging to be used over large sky areas. Here we present a catalog of ultra-diffuse galaxy (UDG) candidates identified in the full 1350 deg$^2$ area of the Kilo-Degree Survey (KiDS) using deep learning. In particular, we use a previously developed network for the detection of low surface brightness systems in the Sloan Digital Sky Survey \citep[LSBGnet,][]{su2024lsbgnet} and optimised for UDG detection. We train this new UDG detection network for KiDS (UDGnet-K), with an iterative approach, starting from a small-scale training sample. After training and validation, the UGDnet-K has been able to identify $\sim3300$ UDG candidates, among which, after visual inspection, we have selected 545 high-quality ones. The catalog contains independent re-discovery of previously confirmed UDGs in local groups and clusters (e.g NGC 5846 and Fornax), and new discovered candidates in about 15 local systems, for a total of 67 {\it bona fide} associations. Besides the value of the catalog {\it per se} for future studies of UDG properties, this work shows the effectiveness of an iterative approach to training deep learning tools in presence of poor training samples, due to the paucity of confirmed UDG examples, which we expect to replicate for upcoming all-sky surveys like Rubin Observatory, Euclid and the China Space Station Telescope.

astro-ph.GA↗

arXiv2025

Three Classes of Twisted Gabidulin Codes with Different Twists

Twisted Gabidulin codes are an extension of Gabidulin codes and have recently attracted great attention. In this paper, we study three classes of twisted Gabidulin codes with different twists. Moreover, we establish necessary and sufficient conditions for them to be maximum rank distance (MRD) codes, determine the conditions under which they are not MRD codes, and construct several classes of MRD codes via twisted Gabidulin codes. In addition, considering these codes in the Hamming metric, we provide necessary and sufficient conditions for them to be maximum distance separable (MDS), almost MDS, or near MDS. Finally, we investigate the covering radii and deep holes of twisted Gabidulin codes.

cs.IT↗

arXiv2025

Optical+NIR analysis of a Newly Confirmed Einstein ring at z$\sim$1 from the Kilo-Degree Survey: Dark matter fraction, total and dark matter density slope and IMF

We report the spectroscopic confirmation of a bright blue Einstein ring in the Kilo Degree Survey (KiDS) footprint: the Einstein ``blue eye''. Spectroscopic data from X-Shooter at the Very Large Telescope (VLT) show that the lens is a typical early-type galaxy (ETG) at $z_l=0.9906$, while the background source is a Ly$α$ emitter at $z_s=2.823$. The reference lens modeling was performed on a high-resolution $Y-$band adaptive-optics image from HAWK-I at VLT. Assuming a singular isothermal ellipsoid (SIE) total mass density profile, we inferred an Einstein radius $R_{Ein}=10.47 \pm 0.06$ kpc. The average slope of the total mass density inside the Einstein radius, as determined by a joint analysis of lensing and isotropic Jeans equations is $γ_{tot}=2.14^{+0.06}_{-0.07}$, showing no systematic deviation from the slopes of lower redshift galaxies, This can be the evidence of ETGs developing through dry mergers plus moderate dissipationless accretion. Stellar population analysis with 8-band ($gri$ZYJHK$s$) photometries from KiDS and VIKING shows that the total stellar mass of the lens is $M*=(3.95\pm 0.35)\times 10^{11} M_\odot$ (Salpeter Initial Mass Function, IMF), implying a dark matter fraction inside the effective radius to be $f_{\rm DM}=0.307\pm 0.151$. We finally explored the dark matter halo slope and found a strong degeneracy with the dynamic stellar mass. Dark matter adiabatic contraction is needed to explain the posterior distribution of the slope unless IMF heavier than Salpeter is assumed.

astro-ph.GA↗

arXiv2025

Accelerating Amorphous Alloy Discovery: Data-Driven Property Prediction via General-Purpose Machine Learning Interatomic Potential

While traditional trial-and-error methods for designing amorphous alloys are costly and inefficient, machine learning approaches based solely on composition lack critical atomic structural information. Machine learning interatomic potentials, trained on data from first-principles calculations, offer a powerful alternative by efficiently approximating the complex three-dimensional potential energy surface with near-DFT accuracy. In this work, we develop a general-purpose machine learning interatomic potential for amorphous alloys by using a dataset comprising 20400 configurations across representative binary and ternary amorphous alloys systems. The model demonstrates excellent predictive performance on an independent test set, with a mean absolute error of 5.06 meV/atom for energy and 128.51 meV/Å for forces. Through extensive validation, the model is shown to reliably capture the trends in macroscopic property variations such as density, Young's modulus and glass transition temperature across both the original training systems and the compositionally modified systems derived from them. It can be directly applied to composition-property mapping of amorphous alloys. Furthermore, the developed interatomic potential enables access to the atomic structures of amorphous alloys, allowing for microscopic analysis and interpretation of experimental results, particularly those deviating from empirical trends.This work breaks the long-standing computational bottleneck in amorphous alloys research by developing the first general-purpose machine learning interatomic potential for amorphous alloy systems. The resulting framework provides a robust foundation for data-driven design and high-throughput composition screening in a field previously constrained by traditional simulation limitations.

cond-mat.mtrl-sci↗

arXiv2025

Scaling Laws in Plasma Channels for Laser Wakefield Accelerators

Preformed plasma channels are essential for guiding high-power laser pulses over extended distances in laser wakefield accelerators, enabling the generation of multi-GeV electron beams for applications such as free-electron lasers and particle colliders. Above-threshold ionization heating provides a robust mechanism for creating laser-matched plasma channels across a wide parameter range, owing to its density- and geometry-independent heating effect. Establishing predictive scaling laws between channel parameters and formation conditions is critical for designing channels optimized for electron acceleration across energies spanning hundreds of MeV to tens of GeV. Through combined timescale analysis and numerical simulations, hydrodynamic expansion is identified as the dominant mechanism governing density profile evolution during ATI channel formation. Remarkably, this process maintains effective laser-guiding channel structures across a wide range of initial gas density, as evidenced by the persistent profile similarity observed despite these significant parameter variations. For parabolic channels matched to Gaussian laser drivers, rigorous scaling laws are established that, the on-axis density scales linearly with the initial gas density, while the matching radius has an exponential dependence on both the initial gas density and the ionization laser radius. These findings provide a systematic framework for the predictive design and optimization of plasma channels in high-efficiency and high-energy LWFA applications.

physics.plasm-ph↗

arXiv2025

CSST Strong Lensing Preparation: Fast Modeling of Galaxy-Galaxy Strong Lenses in the Big Data Era

Galaxy-galaxy strong lensing provides a powerful probe of galaxy formation, evolution, and the properties of dark matter and dark energy. However, conventional lens-modeling approaches are computationally expensive and require fine-tuning to avoid local optima, rendering them impractical for the hundreds of thousands of lenses expected from surveys such as Euclid, CSST, and Roman Space Telescopes. To overcome these challenges, we introduce TinyLensGPU, a GPU-accelerated lens-modeling tool that employs XLA-based acceleration with JAX and a neural-network-enhanced nested sampling algorithm, nautilus-sampler. Tests on 1,000 simulated galaxy-galaxy lenses demonstrate that on an RTX 4060 Ti GPU, TinyLensGPU achieves likelihood evaluations approximately 2,000 times faster than traditional methods. Moreover, the nautilus-sampler reduces the number of likelihood evaluations by a factor of 3, decreasing the overall modeling time per lens from several days to roughly 3 minutes. Application to 63 SLACS lenses observed by the Hubble Space Telescope recovers Einstein radii consistent with the literature values (within $\lesssim 5\%$ deviation), which is within known systematic uncertainties. Catastrophic failures, where the sampler becomes trapped in local optima, occur in approximately 5\% of the simulated cases and 10\% of the SLACS sample. We argue that such issues are inherent to automated lens modeling but can be mitigated by incorporating prior knowledge from machine learning techniques. This work thus marks a promising step toward the efficient analysis of strong lenses in the era of big data. The code and data are available online: https://github.com/caoxiaoyue/TinyLensGpu.

astro-ph.IM↗