arXiv subjects

Long Li

Publications and source records attributed to Long Li.

At least 19 recordsLinked to original sources

arXiv2026

Fermi-LAT Detection of Extended GeV Emission toward the Middle-aged Supernova Remnant G156.2+05.7

We analyse 17 years of Fermi-LAT $γ$-ray data toward the middle-aged supernova remnant (SNR) G156.2+05.7, supplemented by radio and CO observations and by published X-ray constraints. An extended $γ$-ray source is detected, well described by a 2D Gaussian template ($R_{68} \sim 0.84^\circ$). This description is preferred over a foreground CO template, whereas the Gaussian and a uniform disc are statistically indistinguishable under the AIC. The spectrum shows evidence for curvature, with a log-parabola preferred over a power law at the $\approx 3.4σ$ level. Multi-wavelength spectral energy distribution (SED) modelling, under the adopted assumptions, suggests a leptonic--hadronic joint scenario consistent with the data, with the Fermi-LAT spectrum favouring a hadronic contribution over a purely leptonic interpretation. However, the proton-dominated alternative remains competitive, so the partition of the GeV emission is model-dependent. In the adopted leptonic--hadronic model, the electron population accounts for the radio synchrotron emission and a leptonic $γ$-ray component, while a steep proton population contributes the remaining hadronic $γ$-rays. Adopting a reference distance $d = 2.7$ kpc, the fitted electron cutoff ($E_{e,\mathrm{cut}}\approx 1.2$ TeV) is compatible with the thermal-dominated X-ray emission, while the proton cutoff is fixed by assumption at $1$ TeV. The northeast and southwest quadrants show enhanced $γ$-ray emission, which may be related to a clumpy or asymmetric surrounding medium. A correspondence with the directions of optical H$α$ filaments is suggested by the quadrant orientation but is not yet established. No significant long-term flux variability is found, consistent with steady emission from an extended source.

astro-ph.HE↗

arXiv2026

Spotter: Let the Embodied Model Lead, and the VLM Reflect for It

Current embodied models do not respond to their own failures, although what just went wrong could inform a small adjustment on the next attempt, the kind of reflection behind the gains of thinking in language models. We test whether they can repair a known error, which requires producing a correction and judging whether it is right. Stopped at a failure and allowed to retry, they seldom repair it through their own randomness or from a language description of the error, and best-of-N selection cannot pick the successful candidate after a failure. We attribute this to training only on successful demonstrations and to inputs too narrow to show what went wrong, and conclude that reflection must come from a vision-language model (VLM), which takes in far more information, such as the episode history and text, and is more general. Prior VLM-led work has the VLM plan every step and invoke the embodied model as a tool, placing the VLM on the critical path. We propose Spotter, which reverses the roles: the embodied model leads and executes continuously, while the VLM runs in parallel, monitors through a lightweight local screener, intervenes only when an error is detected, reflects on and corrects it, and returns control. We run Spotter with Qwen and with GPT as the VLM, and both improve the embodied models; with GPT, Spotter improves Cosmos Policy and $π_{0.5}$ by 5.6 and 7.5 percentage points on RoboCasa, and raises $π_{0.5}$ from 47.2% to 57.0% on the Hard setting of RoboTwin 2.0 and from 53% to 83% on a real robot. Because the VLM steps in only when an error is confirmed, a successful episode with Qwen takes only 13 to 16 s longer than with the embodied model alone and about 70% less time than with a VLM-led baseline using the same model. Our code is available at https://github.com/zqc3117/Spotter.

cs.RO↗

arXiv2026

Persistence of Unitary Almost Mathieu Operator Gaps Ten Dry Martinis, Five on the Rim

We determine exactly which gap labels are realized by open spectral gaps for the unitary almost Mathieu operator at every irrational frequency and all coupling constants ($0<λ_1,λ_2\leq1$). When both couplings are strictly less than one, every permitted gap label is realized by an open gap, including in the critical case ($λ_1=λ_2$). When at least one coupling equals one, both lifts of every odd winding label are realized by open gaps, whereas all even winding labels are collapsed. The proof combines quantitative almost reducibility and Aubry duality with a monotonicity principle for gap heights.

math-ph↗

arXiv2026

Almost Periodicity Properties Arising From the Sodin-Yuditskii Theory

The Kotani-Last problem and the Deift conjecture are two well known statements, which both concern the almost periodicity properties of the functions under consideration, and which have both been disproved in their original formulation, which involves Bohr/Bochner almost periodicity. To contrast these disproofs, and to further elucidate the essence of these two challenging problems, we establish positive results regarding each of them by showing that Weyl almost periodicity can be deduced whenever the Sodin-Yuditskii setup can be implemented. The latter requires that the Schrödinger operator associated with the function in question has purely absolutely continuous spectral measure and a spectrum with finite total gap length and the Parreau-Widom property. We also show that the known examples for which Bohr/Bochner almost periodicity has been shown or suggested to fail in the context of the Deift conjecture are in fact Weyl almost periodic. As a result, an accordingly modified version of the Deift conjecture remains a tantalizing open problem.

math.AP↗

arXiv2026

OpenGCUA: Toward a Fully Open Stack for Generalist Computer Use

Computer use has reached a turning point: the focus is expanding from GUI-only interaction to systems that complete tasks on users' computers through visual and programmatic interfaces. We define a generalist computer-use agent (GCUA) as a system in which the model chooses how to observe, act, and organize its work across visual and programmatic interfaces. Yet frontier implementations, such as GPT-6 Astra's computer-use system, remain largely closed, limiting systematic study of their design. We introduce Open Generalist CUA (OpenGCUA), an ongoing project to develop and open the full stack for GCUAs with the community. This report presents the first release of OpenGCUA. Code execution is a key feature of our agent design: it lets intermediate results determine subsequent operations and enables models to apply their existing programming capabilities directly to computer interaction. We also propose harness-to-model decision transfer, moving selected observations and task-state decisions from fixed harness rules to the model. On OSWorld-v2, our full configuration improves task scores across all eight evaluated models, including GPT-6 Astra and Claude Opus 5, raising mean partial score by +19.6 points and reducing reported steps per task by an average of 53.0% relative to batched GUI-only execution. We release our implementation and prompts, evaluation trajectories from all eight models, and preliminary versions of a real-device harness and a cross-device SDK. The harness addresses real-device challenges not fully captured by benchmarks, while the SDK provides a common programming interface across computers, mobiles and browsers. Across four real macOS tasks under our real-device harness, selected Qwen3.8-Max runs use 19.4 times as many reported reasoning tokens as GPT-6 Astra, highlighting substantial differences between models in real-device execution efficiency.

cs.CV↗

arXiv2026

MAI-Gym: An Open All-in-One Platform for GUI Agent Evaluation and RL Training across Mobile and Computer Environments

Online reinforcement learning (RL) with verifiable rewards has driven rapid progress in mathematics, coding, and tool use, but scaling this success to GUI agents remains challenging due to the high cost of interactive environments and the scarcity of realistic training tasks. We introduce MAI-Gym, an open all-in-one platform that unifies GUI agent evaluation, data collection, and online RL training across mobile, computer, and web environments. Through a shared rollout pipeline, MAI-Gym ensures consistent agent behavior across evaluation and training, supports ten established benchmarks, and scales to 20,000 parallel environment instances. Beyond scalable infrastructure, MAI-Gym enables automated synthesis of diverse GUI applications and challenging tasks, including resettable mocked apps and coherent cross-app worlds with execution-validated task verifiers. Using MAI-Gym, we train MAI-Gym-9B, a unified 9B agent for mobile and computer use, achieving state-of-the-art performance among open GUI agents under 10B parameters: 78.4% on MobileWorld and 76.2% on OSWorld-Verified. Importantly, RL in a mocked train-ticketing app transfers to its real-world counterpart, improving task success on a phys- ical phone from 28.8% to 48.1%. We release the framework, synthesis skills, mocked apps, 2,000 verified tasks, and the model checkpoint to support repro- ducible research and further advances in scalable GUI agent training.

cs.AI↗

arXiv2026

DyJR: Preserving Diversity in Reinforcement Learning with Verifiable Rewards via Dynamic Jensen-Shannon Replay

While Reinforcement Learning (RL) enhances Large Language Model reasoning, on-policy algorithms like GRPO are sample-inefficient as they discard past rollouts. Existing experience replay methods address this by reusing accurate samples for direct policy updates, but this can incur additional storage costs and concentrate the policy on a narrow set of solutions. We argue that historical data should prioritize sustaining local policy plasticity rather than simply reinforcing accuracy. We define local policy plasticity as a persistent ability to remain backtrackable and switchable with respect to recent successful trajectories: throughout training, the policy maintains non-negligible support on recently reachable alternatives, so it can smoothly reallocate probability mass when needed without being locked into a single dominant path. To this end, we propose Dynamic Jensen-Shannon Replay (DyJR), a simple yet effective regularization framework using a dynamic reference distribution from recent trajectories. DyJR introduces two innovations: (1) A Time-Sensitive Dynamic Buffer that uses FIFO and adaptive sizing to retain only temporally proximal samples, synchronizing with model evolution; and (2) Jensen-Shannon Divergence Regularization, which replaces direct replay policy-gradient updates with a regularization signal that discourages premature over-commitment to a single Rank-1 trajectory. Experiments on mathematical reasoning, Text-to-SQL, and coding benchmarks demonstrate that DyJR improves over GRPO as well as baselines such as RLEP and Ex-GRPO, while maintaining training efficiency comparable to the original GRPO. Furthermore, Rank-k token probability evolution and semantic-mode analyses show reduced concentration and greater retention of alternative continuations. Matched admission-objective comparisons and repeated runs provide additional evidence for the roles of DyJR's components.

cs.LG↗

arXiv2026

On the Kotani-Last Conjecture for the Dirac Operator

We prove a dichotomy of almost periodicity for reflectionless one-dimensional Dirac operators whose spectra satisfy certain geometric conditions, extending work of Volberg--Yuditskii. We also construct a weakly mixing Dirac operator with a non-constant continuous potential whose spectrum is purely absolutely continuous, adapting Avila's argument for continuous Schrödinger operators. In particular, we disprove the Kotani--Last conjecture in the setting of one-dimensional Dirac operators.

math.SP↗

arXiv2026

Reflectionless measures with singular continuous components on Widom sets

We give a detailed implementation of the mass-splitting construction of Nazarov, Volberg and Yuditskii for reflectionless measures with singular continuous components. The finite approximants are allowed to have isolated atoms. An exact local operation replaces each active atom by a short permanent interval and two child atoms, thereby eliminating the dependence of a future splitting scale on an already prescribed band width. Summable estimates for completed generations and fixed cylinders retain positive mass on a null Cantor set and exclude atoms in the limit. Uniform analytic estimates near the permanent intervals establish reflectionlessness and exclude endpoint singularities. A separate Green function estimate for thin pairs of intervals gives the Widom condition and regularity of the limiting compact set. The resulting probability measure has both a nonzero absolutely continuous component and a nonzero singular continuous component.

math.FA↗

arXiv2026

World Embedding Benchmark

Physical fidelity has received increasing attention in world models and video generation, yet how video representations encode physical information remains less understood. We introduce the World Embedding Benchmark, comprising 8,000 controlled simulation cases from 80 families spanning fluid mechanics, solid mechanics, dynamics, and optics & electromagnetism. Each case pairs a rendered video with simulation-derived physical annotations, supporting three complementary tasks: text-video retrieval, physical-property regression, and multiple-choice video-description pair classification. We use these tasks to distinguish cross-modal physical alignment from the recoverability of quantitative physical information. Evaluated pre-trained omnimodal embedding models show weak retrieval and near-chance within-family pair classification, while lightweight probes recover useful physical information from frozen video embeddings. Continual contrastive training with physics-specific video-text pairs improves retrieval and pair classification but degrades physical-property regression, revealing a trade-off between alignment and quantitative information recoverability. Finally, we use the embeddings to retrieve reference videos for retrieval-augmented generation with MiniMax-H3. Retrieved references improve the physical fidelity of generated videos, with stronger retrieval models yielding larger gains in our experiments. Together, these findings highlight the need to evaluate physical alignment and property recoverability jointly, and demonstrate the utility of physical representations for improving video generation.

cs.CV↗

arXiv2026

Interface-Shifted Minnaert Resonances

We develop a unified asymptotic theory for Minnaert resonances generated by a small bubble $D_\varepsilon$ placed near an interface $Γ$ of material discontinuity in an acoustic background. The bubble has characteristic size $\varepsilon>0$, with its density and bulk modulus depending on the same small parameter through the Minnaert high-contrast scaling. The analysis is organized by the scaled separation \[ Θ_\varepsilon := \frac{\operatorname{dist}(D_\varepsilon,Γ)}{\varepsilon}, \] and covers the three natural regimes \[ Θ_\varepsilon\to+\infty, \qquad Θ_\varepsilon\toΘ_*\in(0,\infty), \qquad Θ_\varepsilon\to0: \] 1) In the far-separation regime, the interface is invisible at leading order and the classical full-space Minnaert law is recovered. 2) In the critical regime, the rescaled geometry retains both the bubble and the interface at finite separation, and the Newtonian capacitance is replaced by a flat-interface capacitance determined by the limiting tangent transmission problem. 3) In the near-contact regime, this family converges to a contact-limiting capacitance, yielding the same leading-order Minnaert resonance for all gap scalings satisfying $\operatorname{dist}(D_\varepsilon,Γ) = o(\varepsilon)$. These three regimes provide a unified description of how the resonance frequency changes as the bubble approaches the interface, from the classical isolated-bubble limit to the contact limit. The analysis relies on a uniform reduction of the resonance problem to a scalar equation and on a variational characterization of the interface-dependent capacitances; in particular, Mosco convergence of the associated transmission energies yields convergence of the capacitary potentials and minimum energies up to the singular contact configuration.

math.AP↗

arXiv2026

Almost Periodic Solutions of The Cubic Defocusing Nonlinear Schrödinger Equation

This paper addresses the Cauchy problem for the cubic defocusing nonlinear Schrödinger equation (NLS) with almost periodic initial data. We prove that for small analytic quasiperiodic initial data satisfying Diophantine frequency conditions, the Cauchy problem admits a solution that is almost periodic in both space and time, and that this solution is unique among solutions locally bounded in a suitable sense. The analysis combines direct and inverse spectral theory. In the inverse spectral theory part, we prove existence, almost periodicity, and uniqueness for solutions with initial data whose associated Dirac operator has purely a.c.\ spectrum that is not too thin. This resolves novel challenges presented by the NLS hierarchy, such as an additional degree of freedom and an additional commuting flow. In the direct spectral theory part, for Dirac operators with small analytic quasiperiodic potentials with Diophantine frequency conditions, we prove pure a.c.\ spectrum, exponentially decaying spectral gaps, and spectral thickness conditions (homogeneity and Craig-type conditions).

math.AP↗

arXiv2026

Lingshu: A Generalist Foundation Model for Unified Multimodal Medical Understanding and Reasoning

Multimodal Large Language Models (MLLMs) have demonstrated impressive capabilities in understanding common visual elements, largely due to their large-scale datasets and advanced training strategies. However, their effectiveness in medical applications remains limited due to the inherent discrepancies between data and tasks in medical scenarios and those in the general domain. Concretely, existing medical MLLMs face the following critical limitations: (1) limited coverage of medical knowledge beyond imaging, (2) heightened susceptibility to hallucinations due to suboptimal data curation processes, (3) lack of reasoning capabilities tailored for complex medical scenarios. To address these challenges, we first propose a comprehensive data curation procedure that (1) efficiently acquires rich medical knowledge data not only from medical imaging but also from extensive medical texts and general-domain data; and (2) synthesizes accurate medical captions, visual question answering (VQA), and reasoning samples. As a result, we build a multimodal dataset enriched with extensive medical knowledge. Building on the curated data, we introduce our medical-specialized MLLM: Lingshu. Lingshu undergoes multi-stage training to embed medical expertise and enhance its task-solving capabilities progressively. Besides, we preliminarily explore the potential of applying reinforcement learning with verifiable rewards paradigm to enhance Lingshu's medical reasoning ability. Additionally, we develop MedEvalKit, a unified evaluation framework that consolidates leading multimodal and textual medical benchmarks for standardized, fair, and efficient model assessment. We evaluate the performance of Lingshu on three fundamental medical tasks, multimodal QA, text-based QA, and medical report generation. The results show that Lingshu consistently outperforms the existing open-source multimodal models on most tasks ...

cs.CL↗

arXiv2026

Eigenvalue Asymptotics in High-Contrast Media

We investigate the eigenfrequency asymptotics of a bounded acoustic cavity containing a shrinking high-contrast inclusion. This configuration is motivated by contrast-enhanced ultrasound imaging, in which microbubbles are employed as acoustic contrast agents. We identify dimension-dependent material scalings that keep the inclusion-induced resonance in a fixed order-one frequency regime as the inclusion shrinks. Our main result gives a complete asymptotic description of the spectrum in any prescribed bounded frequency window. Two distinct spectral mechanisms arise: the background Dirichlet eigenfrequencies persist as perturbed eigenvalue clusters, while the singular material contrast creates an additional Minnaert eigenvalue branch. The limiting Minnaert frequency is explicit in both dimensions, with a capacitance-based expression in three dimensions and an area-based expression in two dimensions. Two-dimensional numerical experiments confirm both the perturbation of the background Dirichlet eigenfrequencies and the emergence of the additional Minnaert branch.

math.SP↗

arXiv2026

Simulating passive scalar advection in rough Kraichnan flows

We present a systematic Eulerian study of passive scalar advection in rough two-dimensional Kraichnan flows, covering the full range of velocity roughness exponent $h\in(0,1)$. The advection--diffusion equation is integrated directly using a pseudo-spectral method at resolutions up to $2048^2$ grid points, with a frozen-noise Runge--Kutta scheme consistent with the white-in-time construction of the carrier flow. The simulations recover the duality between advected scalar and advecting flow---the smoother the carrier, the rougher the scalar---together with the predicted scaling laws for the second-order statistics. Once the scaling range is properly identified, the fourth-order flatness anomaly is measured across the whole range of $h$, in agreement with the Lagrangian estimates of Frisch \textit{et al.} (1999) and with the perturbative predictions of Bernard \textit{et al.} (1998) and Pumir \textit{et al.} (1997). Benefiting from the fact that our Eulerian simulations give direct access to the full scalar field, we also examine the probability density functions of scalar increments and the corresponding higher-order statistics, which show systematic departures from Gaussianity and from log-normality, with the strongest deviations manifesting for intermediate values of $h$. A central outcome of this work is a systematic account of how the simulation parameters, in particular the molecular diffusivity, must be adjusted with $h$, providing practical guidelines for reliable simulations; we further show that the residual deviations from the theoretical scaling laws are quantitatively accounted for by the finite spectral representation of the carrier flow. Our analysis also serve as a numerical baseline for simulating more realistic extensions of the Kraichnan model, where the carrier flow is coupled with a Gaussian multiplicative chaos and theoretical developments are limited.

math-ph↗

arXiv2026

One-Dimensional Divergence-Type Jacobi Operators Driven by The Doubling Map

We study one-dimensional Jacobi operators of divergence-gradient type on $\ell^2(\mathbb{Z}_{\geq 0})$, with coefficients generated by the doubling map, $a_n(x)=a(2^n x \mathrm{mod} 1)$. For continuous positive sampling functions, we show that the almost-sure essential spectrum is an interval containing the bottom of the spectrum. Under the assumption $a\in C^1(\mathbb{T})$, we prove square-root asymptotics for the integrated density of states and obtain a small-energy expansion for the Lyapunov exponent as $E\to0^+$. The leading term of the Lyapunov exponent is linear and positive precisely under a nondegeneracy condition on the sampling function. In this case, we prove a large-deviation estimate for the transfer matrices with an explicit rate depending on $E$. As consequences, we obtain local Hölder continuity of the Lyapunov exponent and the integrated density of states near the bottom of the spectrum, as well as the Anderson localization. Some of these results extend the small-coupling results of Chulaevsky--Spencer and Bourgain--Schlag for Schrödinger operators generated by the doubling map to divergence-gradient type operators. The arguments adapt methods from those works, but require uniform control in the small-energy parameter and refined correlation estimates reflecting the divergence-gradient structure.

math.SP↗

arXiv2026

Almost periodic solutions of the defocusing mKdV equation

We study the Cauchy problem for the defocusing mKdV equation with almost periodic initial data. If the initial data corresponds to a reflectionless Dirac operator which satisfies certain Craig-type conditions on the spectrum, we prove that the Cauchy problem has solution that is almost periodic in spacetime, and that this is the only solution which is locally bounded in a suitable sense. In particular, the result applies to small analytic quasiperiodic initial data with Diophantine frequencies.

math.AP↗

arXiv2026

Start Classifying: Categorical Critics for LLM Reinforcement Learning

Proximal Policy Optimization (PPO) for large language models typically trains its critic by mean-squared-error (MSE) regression on scalar value targets. Although scalar MSE is statistically valid for estimating the conditional expected return, sparse binary rewards in reinforcement learning with verifiable rewards (RLVR) make critic optimization and calibration especially consequential: small value errors directly distort the scalar advantages used by PPO. We study whether a classification-based training objective can improve this critic signal. HL-Gauss PPO replaces the scalar MSE head with a categorical predictor over a discretized value support, trained by cross-entropy against smoothed HL-Gauss targets. Its output is decoded to a scalar expectation for standard GAE and PPO; the actor update is therefore unchanged and is not distributional. Across mathematical reasoning, tool-augmented math, and Search-R1, and on both Qwen2.5 and Qwen3 backbones, HL-Gauss PPO consistently improves over strong PPO and DAPO baselines. Controls with one-hot, two-hot, and Bernoulli two-bin critics show that neither a larger output head nor binary classification alone explains the gains. On a common collection of reasoning prefixes, HL-Gauss improves Brier score and calibration error and yields more symmetric, lower-variance advantages. These results position categorical value learning as an effective optimization surrogate for PPO critics in RLVR.

cs.LG↗