arXiv subjects

Xingyu Li

Publications and source records attributed to Xingyu Li.

At least 19 recordsLinked to original sources

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 \emph{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

Space-time localized nonuniqueness for the inhomogeneous Navier-Stokes equations

We prove space-time localized nonuniqueness for the inhomogeneous incompressible Navier--Stokes equations on the three-dimensional torus. For every $0 1$ sufficiently close to one, we construct weak solutions with strictly positive density in $C_tL^p$ and velocity in $C_tH^s$. These solutions approximate prescribed smooth density and velocity fields satisfying the necessary mass and spatial first moment conditions, while agreeing with a given smooth solution outside a compact subset of a prescribed cylinder. In particular, there are infinitely many nontrivial solutions which coincide with the rest state outside that cylinder and whose density is not renormalized. The proof uses convex integration with concentrated density profiles transported exactly by the perturbed velocity. Nonnegative coefficients cancel the continuity defect and the stress simultaneously. A stationary density corrector preserves positivity through successive corrections, and compactly supported inverse divergence operators preserve spatial localization.

math.AP↗

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↗

arXiv2026

Singular Contour Dynamics and Paradifferential Reduction

We develop a direct paradifferential approach to nonlinear graph integral operators arising in contour dynamics. The main methodological result is an abstract structure-preserving paralinearization theorem, valid in arbitrary dimension, for a class of homogeneous kernels whose nonlinear dependence on the graph is expressed through normalized finite differences. The theorem covers both critical principal-value kernels and subcritical locally integrable kernels, gives explicit formulas for the principal symbols, and separates the finite-order symbolic contribution generated by the homogeneous singularity from order-zero far-field terms and arbitrarily smoothing remainders. A structural feature of the reduction is the cancellation of the intermediate symbolic order; at the critical endpoint the construction also preserves the exact skew-adjoint structure of the original singular integral. As a main application, we consider the three-dimensional two-phase free-boundary Euler equations with constant interfacial background vorticity. We first derive an autonomous contour-dynamics equation in canonical surface variables and then apply the abstract theorem directly to the singular integral operators generated by the Birkhoff--Rott formulation. This yields the complete paradifferential structure of the system without taking the Dirichlet--Neumann reduction as a starting point. After introducing an Alinhac good unknown and diagonalizing the resulting system, we obtain local well-posedness for small Sobolev perturbations in the stable Kelvin--Rayleigh--Taylor regime, uniformly on compact subsets of the stable parameter set.

math.AP↗

arXiv2026

SyzHarness: Patch-Based Kernel Bug Reproduction with LLM-Synthesized Fuzzing Harnesses

Automated kernel vulnerability reproduction is essential for bug triage, patch validation, and regression testing, but still lacks an effective and efficient solution. The core challenge is twofold: a reproducer must first recover the trigger scaffold needed to reach the vulnerable state and determine the precise concrete values that actually trigger the bug. Existing directed fuzzing approaches are ineffective at recovering the necessary trigger scaffold, while LLM-only generation is brittle because it struggles with concrete-value discovery and runtime nondeterminism. We design SyzHarness, a framework that combines LLM reasoning with coverage-guided fuzzing for patch-based Linux kernel vulnerability reproduction. Given a patch, SyzHarness uses an LLM agent grounded by code navigation tools to synthesize a parameterized fuzzing harness that fixes the prerequisite setup logic while exposing only uncertain, bug-critical input parameters to be mutated by Syzkaller. SyzHarness then translates this harness into a Syzkaller compatible interface and iteratively refines it using hierarchical reachability feedback. We evaluate SyzHarness on multiple datasets of triggerable real-world Linux kernel vulnerabilities. On 100 KernelCTF cases, SyzHarness achieves a 78% bug reproduction success rate. On the SyzDirect benchmark, SyzHarness achieves a 73% bug reproduction success rate, substantially outperforming prior directed greybox fuzzing. On 50 recent, known-triggerable syzbot bugs fixed after March 2026, SyzHarness reproduces 40/50 (80%) using only the fix commits as input.

cs.CR↗

arXiv2026

What Do They Fix? LLM-Aided Categorization of Security Patches for Critical Memory Bugs

Open-source software projects are foundational to modern software ecosystems, with the Linux kernel standing out as a critical exemplar due to its ubiquity and complexity. Although security patches are continuously integrated into the Linux mainline kernel, downstream maintainers often delay their adoption, creating windows of vulnerability. A key reason for this lag is the difficulty in identifying security-critical patches, particularly those addressing exploitable vulnerabilities such as out-of-bounds (OOB) accesses and use-after-free (UAF) bugs. This challenge is exacerbated by intentionally silent bug fixes, incomplete or missing CVE assignments, delays in CVE issuance, and recent changes to the CVE assignment criteria for the Linux kernel. While fine-grained patch classification approaches exist, they exhibit limitations in both coverage and accuracy. In this work, we identify previously unexplored opportunities to significantly improve fine-grained patch classification. Specifically, by leveraging cues from commit titles/messages and diffs alongside appropriate code context, we develop DUALLM, a dual-method pipeline that integrates two approaches based on a Large Language Model (LLM) and a fine-tuned small language model. DUALLM achieves 87.4% accuracy and an F1-score of 0.875, significantly outperforming prior solutions. Notably, DUALLM successfully identified 111 of 5,140 recent Linux kernel patches as addressing OOB or UAF vulnerabilities, with 90 true positives confirmed by manual verification (many do not have clear indications in patch descriptions). Moreover, we constructed proof-of-concepts for two identified bugs (one UAF and one OOB), including one developed to conduct a previously unknown control-flow hijack as further evidence of the correctness of the classification.

cs.CR↗

arXiv2026

VEQDB: A Compact and Reconstructible Multi-Device Tokamak Equilibrium Database

Tokamak equilibria are commonly exchanged as gridded G-EQDSK files whose conventions, resolutions, and machine-specific formats impede cross-device comparisons and data-driven modeling. Here, we present VEQDB, an open, compact, and reconstructible fixed-boundary equilibrium database built on continuous MXH--Chebyshev geometry and independent physical-profile roots. By decoupling authoritative equilibrium physics from rectangular meshes, VEQDB enables continuous evaluation and metric differentiation at arbitrary application-demanded resolutions. Backed by an automated numerical validation pipeline, VEQDB is structured as an extensible repository for ongoing community expansion. Its inaugural release provides 13,291 accepted equilibria across 267 conventional and spherical tokamaks, encompassing parameter-sampled Grad--Shafranov solutions, G-EQDSK projections spanning EAST, MAST-U, and ITER scales, and controlled variation families with explicit provenance. Benchmark projections reproduce normalized flux maps with RMS errors between $1.09 \times 10^{-3}$ and $1.45 \times 10^{-3}$, while compact JSON representations achieve an 89--96-fold size reduction relative to standard $129 \times 129$ G-EQDSK files. The complete initial release occupies 41~MB in raw JSON and 18~MB in compressed archives, and all records successfully passed independent reload and evaluation tests. VEQDB establishes an extensible, provenance-preserving foundation for equilibrium studies, reduced-order surrogate modeling, and cross-machine workflows.

physics.plasm-ph↗

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↗