arXiv subjects

Xingyu Li

Publications and source records attributed to Xingyu Li.

At least 19 recordsLinked to original sources

arXiv2026

GRANDlib: A simulation pipeline for the Giant Radio Array for Neutrino Detection (GRAND)

The operation of upcoming ultra-high-energy cosmic-ray, gamma-ray, and neutrino radio-detection experiments, like the Giant Radio Array for Neutrino Detection (GRAND), poses significant computational challenges involving the production of numerous simulations of particle showers and their detection, and a high data throughput. GRANDlib is an open-source software tool designed to meet these challenges. Its primary goal is to perform end-to-end simulations of the detector operation, from the interaction of ultra-high-energy particles, through -- by interfacing with external air-shower simulations -- the ensuing particle shower development and its radio emission, to its detection by antenna arrays and its processing by data-acquisition systems. Additionally, GRANDlib manages the visualization, storage, and retrieval of experimental and simulated data. We present an overview of GRANDlib to serve as the basis of future GRAND analyses.

astro-ph.IM↗

arXiv2026

Reconstruction of anomalous air showers with SKA-Low

Double-bump showers are a surprising class of extensive air showers (EAS) predicted by Monte Carlo simulations, which, so far, no experiment has been able to directly detect. They occur when a high-energy secondary particle, the leading particle, travels significantly farther than the rest, creating a distinct double-peaked longitudinal profile. The unique radio footprint of double-bump showers, characterized by multiple pulses in the signals and interference patterns in the frequency spectra, enables reconstruction of longitudinal profiles from radio observations. With its dense antenna array and broad frequency range, SKA-Low will be the first observatory capable of detecting these features, offering a new opportunity to probe hadronic interactions and use the distinctive signatures of elements to provide new mass composition measurements. The goal of this analysis is to take the first steps toward using these radio signatures to reconstruct the relevant parameters of the longitudinal profile of a double-bump shower. We will start by explaining the radio signal of double-bump}showers compared to that of average showers. Then we will create a simple 2-point emission model to explain the interference patterns in the frequency spectra, which can be inverted to obtain rudimentary estimates of atmospheric depth of both peaks. Lastly, we implement a brute-force approach to reconstruct multiple parameters of the double bump.

astro-ph.HE↗

arXiv2026

Beyond $X_\mathrm{max}$ : Reconstructing Air Shower Profiles with Information Field Theory with SKA-Low

While radio measurements of extensive air showers have shown to achieve a high precision of $X_\mathrm{max}$ sensitivity, it has been shown that parameters beyond $X_\mathrm{max}$ can also be reconstructed. These shape parameters contain additional sensitivity to the hadronic physics in the shower as well as its mass composition. In this work, we showcase a reconstruction framework to recover the full longitudinal profile from realistic radio measurements. The framework is based on Information Field Theory that infers the full profile with a forward-based model, which uses a Gaisser-Hillas profile with weakly informative shower priors, SMIET with a template library to synthesise pulses at any event geometry, and a realistic antenna response and noise level emulating that of SKA-Low. We verify the self-consistency of our framework with $\sim 900$ events generated with SMIET with antennas placed on the $\vec{v} \times (\vec{v} \times \vec{B})$ axis. The framework recovers the full profile within uncertainty and capture correlations between shower parameters. We yield an $X_\mathrm{max}$ resolution of $< 9$ g cm$^{-2}$ as well as resolutions of the width and asymmetry with minimal bias. The profile is also recovered with a bias of $< 4$% at all atmospheric depths $< 1200$ g cm$^{-2}$. We aim to apply this framework with pulses simulated from CoREAS with measured noise, ultimately extending the framework to realistic antenna layouts such as from LOFAR or SKA-Low.

astro-ph.IM↗

arXiv2026

SurroPilot: An LLM-Assisted Platform for Heterogeneous Surrogate Endpoint Evaluation in Clinical Trials

Surrogate endpoints are widely used in clinical trials to accelerate treatment evaluation, yet their validity may vary substantially across patient subgroups. Although recent advances in heterogeneous causal mediation analysis enable subgroup-specific surrogate evaluation, applying these methods requires substantial expertise in causal inference, statistical programming, and clinical trial methodology, limiting their accessibility to many biomedical researchers. We present SurroPilot, a large language model (LLM)-assisted platform for heterogeneous surrogate endpoint evaluation in clinical trials. Through natural-language interaction, SurroPilot supports the complete analytical workflow, including dataset understanding, data preprocessing, mediator and covariate selection, heterogeneous causal mediation analysis, subgroup interpretation, and automated report generation. To improve the reliability of AI-assisted statistical computing, the platform incorporates a shared context programmerinspector framework for iterative R code correction and automated validation of LLM-generated variable selections. Rather than replacing statistical methodology, SurroPilot integrates LLM with a validated heterogeneous mediation framework, allowing the LLM to assist with analytical reasoning while statistical inference is performed using established causal inference methods. Using the ACTG175 Phase III HIV clinical trial, we demonstrate that SurroPilot provides an end-to-end, reproducible workflow for heterogeneous surrogate endpoint evaluation and substantially lowers the technical barriers to applying advanced causal mediation methods in clinical trial research.

stat.AP↗

arXiv2026

Unified Inference on Moment Restrictions with Nuisance Parameters

This paper proposes a simple unified inference approach on moment restrictions in the presence of nuisance parameters. The proposed test is constructed based on a new characterization that avoids the estimation of nuisance parameters and can be broadly applied across diverse settings. Under suitable conditions, the test is shown to be asymptotically size controlled and consistent for both independent and dependent samples. Monte Carlo simulations show that the test performs well in finite samples. Numerical results from the application to conditional moment restriction models with weak instruments demonstrate that the proposed method may improve upon existing approaches in the literature.

stat.ME↗

arXiv2026

Workflow-GYM: Towards Long-Horizon Evaluation of Computer-use Agentic tasks in Real-World Professional Fields

Recent years have witnessed the rapid evolution of AI agents toward handling increasingly complex, real-world tasks. However, existing benchmarks rarely evaluate whether agents can operate graphical user interfaces to complete long-horizon, high-value professional workflows across diverse domains. Current GUI benchmarks still predominantly focus on general-purpose software, relatively simple applications, and short-horizon tasks, leaving it largely unknown whether modern agents can follow user instructions to autonomously operate domain-specific professional software and accomplish economically valuable work in an end-to-end manner. To bridge this gap, we introduce Workflow-GYM, a benchmark for long-horizon GUI tasks centered on professional domains and specialized software environments. Through extensive experiments on state-of-the-art models, we find that even the strongest models achieve only slightly above 30% success rates, highlighting that professional long-horizon GUI workflows remain highly challenging for current GUI agents. Further analysis reveals that current agents struggle to maintain long-horizon workflow consistency, frequently exhibiting workflow stage omission, error propagation, objective drift, and insufficient understanding of professional software environments. Our findings provide important insights into the limitations of current agent systems and suggest key directions for the next generation of GUI-agent research.

cs.AI↗

arXiv2026

Parameter Scan of Multi-Fluid Equilibria in Rotating p-11B Plasmas: Effects on Fusion Power and Bremsstrahlung Losses

We present VEQ-MF, a fast spectral parameter-scan framework for two-dimensional axisymmetric multi-fluid equilibria with prescribed species-dependent toroidal rotation. The solver couples generalized Boltzmann density responses, quasineutral electrostatic polarization, and a generalized Grad--Shafranov equation, extending reduced-parameter Grad-Shafranov and VEQ formulations to multi-species rotating equilibria. Rotating $p\text{-}^{11}\text{B}$ spherical-tokamak configurations are used as a demanding test case. Independent scans of the proton and boron rotation frequencies are performed in EHL-2 and EHL-3B geometries. The computed fields are then post-processed to obtain fusion power from a drift-Maxwellian reaction-rate coefficient and bremsstrahlung power from an analytical radiation model. Three in-range EHL-3B finite-difference benchmarks give global stored-energy, bremsstrahlung-power, and fusion-power differences of $1.7$--$3.4\%$, while a representative convergence check shows sub-percent sensitivity to increasing the spectral-parameter number and negligible sensitivity to Gaussian-grid refinement. The core equilibrium solve remains fast for repeated scans, with representative nonzero EHL-3B cases requiring $0.032$--$0.050$~s per point in MATLAB, excluding post-processing, interpolation, plotting, and file export. The scans identify two competing multi-fluid effects. Under iso-rotation, outward boron accumulation increases the volume-integrated $n_e^2$, so the fusion-to-bremsstrahlung power ratio $\mathcal{R}_{\mathrm{fb}}$ decreases with increasing rotation. Species-dependent toroidal rotation weakens centrifugal polarization and lowers bremsstrahlung power, while the relative toroidal flow in the larger EHL-3B geometry raises the drift-Maxwellian reaction-rate coefficient and thereby modifies fusion power.

physics.plasm-ph↗

arXiv2026

Weight Feedback Computes the Jacobian Transpose Locally in Modern Deep Networks

Predictive Coding (PC) offers a biologically motivated alternative to backpropagation via local weight updates, yet routing error between layers still relies on an autograd Jacobian-transpose ($J^\top$) product - the last non-local operation in PC. We show that this dependency is largely avoidable. For any layer $f(x)=\mathrm{Act}(\mathrm{Norm}(L(x)))$ with frozen normalization statistics, the exact $J^\top$ factors into three locally available terms, $J^\top v = L^\top(s \odot σ'(z) \odot v)$, where $σ'$ is the activation derivative, $z$ is the pre-activation, and $s=γ/σ_{\mathrm{run}}$ is the normalization gain. Prior weight-feedback methods omitted both corrections; restoring them closes the transport gap for this layer class. Locality here holds up to three assumptions, which we state upfront: weight symmetry ($L^\top$ mirrors the forward operator, as assumed by all PC), a soft spectral-norm control that is not synapse-local, and a nearest-neighbour approximation for MaxPool. Substituting the identity into PC yields WF-Act-PC, which removes the autograd backward pass from error transport. On CIFAR-10/100 (50 epochs, 5 seeds), WF-Act-PC is the only PC method whose accuracy improves with depth, surpassing iPC - the strongest classical PC baseline - by 2.7-22.3 pp on CIFAR-10. With both methods tuned per architecture, it matches or exceeds a comparably-tuned backpropagation baseline on the deeper CIFAR-10 architectures (VGG-9: 93.57% vs. 92.43%; ResNet-18: 92.76% vs. 91.54%) and on the harder Tiny-ImageNet benchmark, while trailing tuned BP on the deeper CIFAR-100 VGG cells. Our WF-Act-PC implementation is publicly available at https://github.com/jlshen025/pcax

cs.LG↗

arXiv2026

Anomalous Air Showers and What They Reveal About Hadronic Interactions and Cosmic-ray Masses

The identification of the sources and acceleration mechanisms of cosmic rays require precise measurements of their mass composition. Currently, the most reliable method is to measure the atmospheric depth at which cosmic ray air showers in our atmosphere reach their maximum (\Xmax). However, the hadronic interaction properties that govern the longitudinal development of air showers are not precisely known, which is a major source of systematic uncertainty on the mass composition. SKA-Low will observe cosmic rays in the 10$^{16}$ - 10$^{18}$ eV energy range with unprecedented resolution and bandwidth. This allows for a much more detailed reconstruction of the longitudinal shower evolution, which can be used to gain better understanding of the hadronic interactions, as well as the primary mass composition. After the first interaction of the cosmic ray with an atom in an air molecule, the secondary particles still carry a significant fraction of the total energy. When one of these particle travels very far before interacting again, it produces a sub-shower that can be recognized as a secondary bump in the longitudinal profile. Simulations have demonstrated that SKA-Low can resolve such double bump profiles by virtue of its high antenna density and broad bandwidth. In this chapter, we demonstrate how double-bump showers and other anomalous longitudinal developments can be used to constrain hadronic interaction properties, and to determine the mass composition of cosmic rays in the Galactic-to-extragalactic transition region.

astro-ph.HE↗

arXiv2026

Progressive Pose-Guided 4D Animal Reconstruction from Monocular Video

Reconstructing 4D animals from monocular videos is challenging due to large inter-species variation, complex articulations, and the lack of reliable templates. Existing approaches typically rely on either strict category-specific priors that restrict generalization, or unconstrained generative models that sacrifice input fidelity. To bridge this gap, we present a progressive test-time optimization framework built on 3D Gaussian Splatting for high-fidelity 4D animal reconstruction from a single video. Our key insight is that a coarse shape prior suffices when coupled with a progressive strategy that disentangles articulated pose from non-rigid deformation. Specifically, we employ a symmetry-aware temporal encoding that exploits bilateral cues while absorbing camera estimation drift and a part-conditioned deformation mechanism guided by learnable part anchors and a learnable skinning field. Extensive experiments demonstrate that our approach generalizes robustly across diverse species, achieving superior geometric accuracy, temporal consistency, and visual fidelity compared to existing baselines, even under severe prior mismatch.

cs.CV↗

arXiv2026

Measuring High-Energy Cosmic Particles with the SKA

The origin of high-energy cosmic rays remain one of astrophysics' greatest unsolved mysteries. SKA-Low will be able to measure air showers initiated by cosmic rays with unprecedented precision in the PeV - EeV energy range, covering the critical transition region between Galactic and extragalactic sources. SKA-Low's densely instrumented core and broad bandwidth will allow for measurements of individual air showers with a level of detail unmatched by any existing or planned detector. The depth of shower maximum, the primary mass-sensitive observable, will be reconstructed with a resolution of better than 8~g/cm$^2$, a significant improvement over existing methods. Additionally, new reconstruction methods are expected to enable full air shower reconstruction across a wide energy range, down to PeV levels. At these energies, efficient photon/hadron separation may offer an opportunity to measure PeV gamma-ray air showers. Furthermore, SKA-Low opens a window into studying high-energy hadronic interactions, including via the unique channel of anomalous air showers. This combination of measurements provides a unique opportunity to investigate the origins and physics of high-energy cosmic rays. A dedicated particle detector array will provide triggered readout of raw antenna-level voltage buffers, enabling fully commensal cosmic-ray observations alongside regular operations. We outline our science case and discuss the observational strategy, signal properties and detector design underpinning these measurements. We also summarize the accompanying book chapters, which address composition measurements in the Galactic-to-extragalactic transition region, next-generation interferometric reconstruction techniques, hadronic interaction physics through anomalous air showers, the prospects for detecting PeV gamma-rays from Galactic sources, and the related project of imaging lightning using SKA-Low.

astro-ph.HE↗

arXiv2026

Using SKA-Low to Detect PeV Gamma-rays from Galactic Sources

Detecting so called PeVatrons is considered one of the prime goals of $γ$-ray astronomy. PeVatrons are astrophysical objects in the Galaxy that are sources of cosmic rays exceeding PeV ($10^{15}$ eV) energies, the highest in our Galaxy. Their nature is unknown as of now, with some candidates reaching barely above PeV energies just having been identified. Serendipitously, the energy threshold of air shower detection using radio emission, has been proven at 50 PeV. There is a case to be made that SKA-Low with its unprecedented number of antennas, can reach lower in energy, while the size of the core is sufficiently large provide a significant effective area to measure PeV fluxes. While this promises a novel angle towards understanding the cosmic ray accelerators in our Galaxy, it also would be the first detection of $γ$-ray air showers using radio emission.

astro-ph.HE↗

arXiv2026

Interferometric Analysis of Air-shower Radio Emission in the Near Field with an Information Field Theory Approach

Current reconstruction techniques for air-shower radio emission generated by cosmic rays have shown great success, having been applied to several radio detectors over the last decade. Nevertheless, they are limited by their high computational cost, simplified approximations, and signal information used for reconstruction. As such, advanced analyses are required to not only be able to perform a holistic reconstruction of all parameters, but also to conduct near-field interferometry of the air shower. This can be achieved through Information Field Theory (IFT), an imaging reconstruction framework based on Bayesian inference that can extract all available information within the signal to infer distributions of field-like quantities. In this chapter, we highlight current novel approaches that use IFT for air shower reconstruction, and the potential of their applicability towards SKA-Low.

astro-ph.IM↗

arXiv2026

Unleashing Emergent Fermions with Rydberg Atom Simulators

Rydberg atom simulators, in both analog and digital modes, have attracted significant recent interest due to their versatile geometric reconfigurability. In this work, leveraging this feature, we propose two complementary approaches, one for each mode, to characterize emergent fermions in critical quantum many-body systems. In the analog mode, we assemble the Rydberg atoms in a "developable" (namely, preserving local couplings) Möbius band geometry to realize antiperiodic boundary conditions, where fermionic states reside. Spectroscopic measurement in this sector then reveals universal energy ratios of the bosonic and fermionic states. In the digital mode, we carry out a fermionic version of Kibble-Zurek ramping with a quantum circuit, directly addressing the fermionic scaling form. Reconfigurability allows an exponential speed-up of this task, with an $O(\log L\log\log L)$ circuit-depth overhead. Our work establishes the Rydberg atom simulator as a uniquely powerful platform to attack the notoriously difficult issue of experimentally probing emergent fermions that are nonlocally defined in a bosonic system.

cond-mat.quant-gas↗

arXiv2026

RUB: Evaluating Residual Knowledge in Unlearned Models

Machine Unlearning (MUL) has emerged as a key mechanism for privacy protection and content regulation, yet current techniques often fail to guarantee the complete removal of sensitive information. While most existing works focus on verifying the execution of unlearning, they overlook the critical question of whether models remain robust against adversarial attempts to recover forgotten knowledge. In this work, we advocate for the principle of Robust Unlearning, which requires models to be both indistinguishable from retrained counterparts and resilient against diverse adversarial threats. To instantiate this principle, we propose a unified benchmark, RUB (Robust Unlearning Benchmark), that systematically evaluates the robustness of unlearning algorithms across classification, image-to-image reconstruction, and text-to-image synthesis. Within this framework, we introduce the Unlearning Mapping Attack (UMA) as a generalizable method to detect residual information, and demonstrate how existing attack strategies can be adapted into this framework as long as they conform to the generic UMA framework. Our experiments across discriminative and generative tasks reveal that state-of-the-art unlearning methods remain vulnerable under these evaluations, even when passing standard verification metrics. By positioning robustness as the central criterion and providing a benchmark for adversarial evaluation, we hope RUB paves the way toward more reliable and secure unlearning practices. The codebase and model checkpoints in RUB will be published.

cs.LG↗

arXiv2026

GOAL: Graph-based Objective-Aligned Diffusion Solvers for Dynamic Multi-Objective Optimization

Existing neural combinatorial optimization solvers frame solution search as imitation of optimal decisions, inherently limiting their utility to single-objective minimization and static constraints. We propose GOAL, a conditioned diffusion solver over relational graph representations that enables controllable decision generations by conditioning on human-specified objectives. We introduce a heterogeneous graph encoding in which distinct edge types, corresponding to different classes of constraints, define the message passing structure of the graph neural network, which allows information to propagate selectively according to the ontology of each constraint. GOAL is instantiated and evaluated on three canonical scheduling benchmarks of various constraint complexity: the Flow Shop Problem (FSP), the Job Shop Scheduling Problem (JSP), and the Flexible Job Shop Scheduling Problem (FJSP). Generalization is demonstrated across structurally distinct constraint regimes and problem types without architectural modification. On all three benchmarks, GOAL achieves 100% solution feasibility and near-zero MAPE (below 0.20%) on multiple objectives for problem sizes up to 20 jobs and 60 operations, outperforming NSGA-II and MOEA/D in both solution quality and inference speed by up to 25x.

cs.NE↗

arXiv2026

The Kubo-Thermalization Correspondence

Quantum thermalization describes how interacting quantum systems relax toward thermal equilibrium, a central problem in modern physics. Yet most experimental information on many-body systems comes from short-time transition spectroscopy, typically interpreted within Kubo's linear-response framework. These perspectives - long-time equilibration versus short-time response - seem fundamentally disconnected. Here we establish an exact link between them: the Kubo-Thermalization correspondence, which connects long-time thermalized magnetization under weak driving to short-time linear-response spectra for a spin coupled to a thermal bath. The correspondence holds even when the steady state differs substantially from the initial state and when each regime is individually difficult to describe theoretically. We experimentally confirm the correspondence using effective spin-1/2 impurities realized with ultracold fermions in two internal states coupled to a Fermi sea. Our results provide a rare exact statement about quantum thermalization and offer a novel route to infer thermalization dynamics from equilibrium response measurements in strongly interacting quantum systems, independent of microscopic details of the system-bath coupling.

cond-mat.quant-gas↗

arXiv2026

Visual Text Compression as Measure Transport

Visual text compression (VTC) promises efficient long-context processing by rendering text into an image and re-encoding it with a vision-language model, often producing $3$--$20\times$ fewer decoder tokens than subword tokenization. Yet token savings do not translate predictably into downstream utility: on some tasks the visual path matches or exceeds the text path, on others it collapses, and the compression ratio itself does not predict which regime will occur. The missing quantity is therefore not another summary of efficiency, but a principled measure of task-relevant information loss induced by visual encoding. We address this problem by formulating VTC in the language of measure transport. Treating text and visual tokens as empirical probability measures, we show that the ViT patch encoder induces a push-forward map whose transport cost decomposes into a precision cost from within-patch aggregation and a coverage cost from cross-patch fragmentation. Both terms are estimable from downstream-label-free probes. This formulation yields two operational consequences: a downstream-label-free routing criterion that selects whether to use the visual path for a given input or benchmark instance, and a transport-informed foveation mechanism that re-encodes high-cost regions at higher resolution. Across $24$ NLP datasets at Qwen3-4B, our label-free rule matches the per-dataset oracle on $17/24$ datasets ($70.8\%$), and improves the average task score by $+3.3\%$ with $-10.3\%$ average tokens relative to a pure-LLM.

cs.CV↗