Searcharxiv⌕ Search

arXiv subjects

Lei Zhang

Publications and source records attributed to Lei Zhang.

At least 73 records · Page 4Linked to original sources

Non-simple blow-up for the Chern--Simons--Higgs equation: A priori analysis and constructions

Blow-up in the self-dual Chern--Simons--Higgs equation has a rich multiscale structure, but the detailed theory has largely focused on the simple regime, where one entire profile resolves each concentration point. By contrast, non-simple blow-up is analytically more delicate: several interacting regular cores must be resolved simultaneously as they collapse toward a single vortex while remaining separated on their own scales. Because of this difficulty, the existence of such solutions has remained a long-standing open problem. To the best of our knowledge, we prove the first existence result for non-simple blow-up solutions of this equation, covering in particular the previously unresolved finite-height Chern--Simons regime. We also show that non-simple clusters have equal limiting core masses, a common profile type, and regular-polygon arrangements. We determine their possible total masses and derive a mass-gap criterion that rules out such blow-up for certain vortex configurations. Our quantitative profile and moment estimates for general finite-height clusters guide the design of the approximate solution and clarify the core interactions underlying the finite-height construction. A separate construction on the unit disk produces two mean-field cores along a sequence with varying Dirichlet traces.

math.AP↗

Polarization transfer in $ψ'\toψππ$: a complete spin density matrix analysis framework

A theoretical framework based on the Spin Density Matrix (SDM) formalism is developed to describe polarization transfer in the decay chain $e^+e^- \rightarrow ψ^\prime \rightarrow ψππ$. Explicit relations connecting the SDMs of $ψ^\prime$ and $ψ$ are derived, generalizing Cahn's analysis into a complete SDM treatment. For the dominant $S$-wave $ππ$ emission, the SDM is shown to be perfectly preserved, $ρ_ψ= ρ_{ψ^\prime}$, rendering the $ψ$ an ideal probe of the initial polarization state. Deviations arising from $D$-wave contributions are quantified, and a self-consistency experimental test is proposed that simultaneously validates the framework and constrains partial wave amplitudes. This formalism provides a consistent basis for extracting $ψ$ polarization and for amplitude analyses of subsequent $ψ$ decays in a continuum-background-free environment. The framework extends to other hadronic transitions, including $ψ' \to h_cπ^0$ in charmonium and $Υ(nS) \to Υ(mS)ππ$ in bottomonium, as well as to electroweak processes such as $e^+e^- \to Z^\ast \to ZH$, where the same angular-momentum structure governs polarization transfer -- offering a unified probe of dynamics from charmonium to the Higgs sector.

hep-ph↗

ForceDelta-VLA: Distilling Force-Conditioned ActionCorrections for Contact-Rich Manipulation

Force-aware Vision-Language-Action (VLA) policies improve contact-rich manipulation, but typically combine task-level motion and contact-dependent adjustment in a single action prediction. Demonstrations provide no explicit labels for decomposing that prediction into a reusable reference action and a correction. We present ForceDelta-VLA, a correction-distillation framework that constructs an explicit force-correction target using paired predictions from a frozen teacher's force-conditioned and learned force-agnostic modes. A separate delay-correction target accounts for reference-action mismatch and the change in reference state. Training uses asynchronous schedule replay with the cached task context available during execution. The resulting lightweight policy adjusts the reference actions using recent force history and robot state, responding to contact changes between reference-action updates without regenerating complete action chunks. Across nine single-arm and bimanual contact-rich tasks, ForceDelta-VLA achieves an 82.2% mean success rate, compared with 54.4% for the original ForceVLA baseline. Direct execution of our Stage-1 Temporal Teacher achieves 70.6%. Relative to ForceVLA, the complete system reduces mean peak contact force over successful trials by approximately 26% on both platforms.

cs.RO↗

Source Entropy-Guided Adaptive Transmission for Communication-Driven Multi-View Sensing

Communication-driven multi-view sensing relies on routine communication transmissions for sensing acquisition, while the resulting sensing data at distributed devices must be uploaded to an edge server under limited communication resources. This creates a unique coupling between sensing acquisition and edge inference: the communication interval determines the source information, whereas the uplink condition determines how much information can be delivered to the server for sensing inference. To account for this coupling, we propose a source entropy-guided adaptive transmission framework. Specifically, we characterize the entropy of packet-triggered channel state information (CSI) as a function of the communication interval using a multi-output Gaussian process. The resulting analytical bound is compared with the available bit budget, determined by the transmission rate and latency requirement, to select between original-data and task-oriented transmission. For task-oriented transmission, we formulate the communication-constrained inference problem based on the information bottleneck and decompose it into adaptive distributed encoding and multi-view inference (ADE-MI), which avoids alternating optimization between the devices and the edge server. Experiments on the Widar3.0 multi-view CSI gesture recognition dataset show that the analytical bound closely follows the normalizing-flow numerical estimate, while ADE-MI outperforms task-oriented benchmarks under the same bit budget and the proposed framework further improves recognition accuracy under time-varying channels.

cs.IT↗

Layers, Sinks, and Scaling: Adaptive Evidence Selection for Multimodal Large Language Models

Multimodal large language models (MLLMs) can answer knowledge-intensive visual questions by combining visual evidence from images with facts retrieved from external sources. However, MLLMs may overlook relevant evidence in both modalities, attending weakly to the textual sentences or visual regions needed for the correct answer. Recent efforts address this by highlighting retrieved text and marking visual regions before generation, but apply a fixed, one-shot policy that cannot adapt to three sources of variation: whether highlighting is necessary, how much evidence different examples require, and when different textual evidence becomes relevant as the answer unfolds. We introduce Adaptive Relevance-guided Evidence Allocation (AREA), a training-free inference-time method that formulates evidence highlighting as adaptive allocation. AREA generates a single probe token to read visual and textual relevance from fixed backbone layers, then makes three decisions: i) whether to intervene (controlled by natural attention coverage and visual sink contamination), ii) how much evidence to expose (determined by relevance entropy), and iii) when to refresh text during generation (triggered by causal context-attention peaks). Across four KB-VQA and seven standard multimodal benchmarks with nine frozen MLLM checkpoints, establishes the best performance among training-free highlighting methods.

cs.AI↗

StackTok: Accelerating VLMs Inference with Budget-Adaptive Visual Token Selection

Increasing image resolution produces ever-longer visual-token sequences in vision-language models (VLMs), substantially raising their inference cost. To reduce this overhead without retraining, existing methods select compact token subsets that prioritize query relevance, visual coverage, or a fixed trade-off between them. The appropriate balance, however, varies across queries and token budgets: localized questions favor relevance, whereas holistic questions demand broader visual coverage. We introduce StackTok, a training-free selector that treats query relevance as the objective and visual coverage as budget-calibrated support. StackTok builds a size-indexed coverage reference from a coverage-only greedy sequence and adjusts its support target using query--vision affinity entropy. A reference-gated interleaved selection policy then switches between relevance- and coverage-oriented additions according to the current subset's support deficit. For high-resolution inputs, StackTok allocates one shared token budget across crops according to the combined marginal gain of locally nominated tokens. Evaluated with five VLMs over ten distinct image-understanding benchmarks, StackTok ranks first among training-free selectors in every tested model--budget setting. On high-resolution LLaVA-NeXT-7B, it retains 95.26% of full-token performance with only 160 of 2{,}880 (5.6%) visual tokens.

cs.CV↗

Sparse MLLM Anchors, Dense Adaptation: Breaking the Self-Referential Loop in Wild Test-Time Adaptation

Wild test-time adaptation (WTTA) updates a source model online under small test batches, concurrent distribution shifts, and time-varying class imbalance. Most WTTA methods derive their adaptation signals, including predictive uncertainty, sample reliability, and local feature geometry, from the model being adapted. When the source model is unreliable under shift, these signals can reinforce its own errors, forming a self-referential loop. We introduce MASA (Multimodal-LLM-Anchored Semantic Adaptation), which complements model-internal evidence with structured semantic descriptions from a frozen multimodal large language model (MLLM). To limit inference cost, MASA queries the MLLM only for a small set of diverse, reliability-ranked anchors. The resulting descriptions capture the object family and nuisance factors such as style, viewpoint, and occlusion. MASA encodes these descriptions, propagates them to neighboring test samples, and stores the resulting visual-semantic information in an online prototype memory. Descriptor-aware retrieval from this memory provides an auxiliary target for lightweight adaptation of normalization-affine parameters. We evaluate MASA on the WTTA ImageNet-C benchmark under limited-batch, mixed-domain, and imbalanced-label-shift settings with ResNet and ViT backbones.

cs.AI↗

Uniform asymptotics and entropy structure of the Bingham distribution in arbitrary dimensions

The Bingham distribution is widely used to model directional data with antipodal symmetry, and its normalizing constant $Z$ and moments play a central role in statistical inference and closure models. Their behavior becomes singular when one or more eigenvalue gaps of the parameter matrix become unbounded. In this work, we develop a uniform asymptotic framework for the Bingham distribution in arbitrary dimensions. Starting from an inverse-Laplace integral representation, we derive asymptotic expansions with explicit remainder estimates that are uniform with respect to arbitrary relative scales among multiple diverging eigenvalues. In a particular regime, the asymptotic series becomes absolutely convergent with an exponentially small remainder. These results yield precise asymptotic profiles of the Bingham moments and characterize the degeneration of higher-dimensional distributions to lower-dimensional counterparts. As an application to the Bingham closure, we prove that the entropy admits a decomposition into an explicit logarithmic leading term and a residual that is uniformly Lipschitz continuous on the moment simplex. Moreover, on each boundary face, the residual agrees with its lower-dimensional version up to an explicit additive constant. The results provide a unified description of the singular structure of the Bingham distribution and have implications for numerical closure and $Q$-tensor models of nematic liquid crystals.

math.PR↗

Spurious Tool Use: When RL Agents Learn the Wrong Reason to Act

Large language model (LLM) agents increasingly interleave natural language reasoning with external tools such as web search and code execution. These tool-use policies are often optimized via reinforcement learning (RL), which can amplify spurious correlations in the training data. In this work, we study when and why RL-trained agents learn shortcut tool-selection policies: invoking tools based on superficial prompt cues rather than genuine task requirements. We construct controlled synthetic environments combining factual question answering and mathematical reasoning tasks, and inject cues that are strongly correlated with specific tools during training but causally irrelevant to tool necessity. Across counterfactual evaluations where cues are present but the associated tools are not required, agents exhibit substantial shortcut behavior, with spurious tool invocation rates increasing by up to 39 percent. However, shortcut formation is not universal: across the conditions we test, it arises only when the agent has already learned to use the target tool reliably, suggesting that task competence, rather than dataset imbalance alone, is a key factor in shortcut learning. A swapped-cue analysis further shows that semantic alignment between cues and tools substantially amplifies this effect. To mitigate these failures, we introduce a dense, decision-level reward in which an LLM judge evaluates the necessity of each tool call. This tool-necessity reward effectively suppresses cue-driven tool use while preserving task performance, providing a practical approach to improving the robustness of LLM agent tool-use policies.

cs.CL↗

A literature-guided descriptor-based framework for filtering composition search spaces

Scientific literature contains latent knowledge about materials behavior, but much of this knowledge is expressed through words, contexts, and recurring associations rather than explicit design principles. This raises a central question: how can large-scale scientific corpora be used for practical problems in materials discovery? Here, we present a literature-guided descriptor-based filtering framework for reducing composition search spaces. For a given performance metric, the framework selects two descriptors from a filtered vocabulary in a literature-trained word embedding model and uses the selected descriptors to construct a Pareto-based filter for candidate compositions. Across the evaluated performance metrics and composition search spaces, the framework filters out an average of 74.27\% of the candidate compositions, with an average best-value error of 1.93\% relative to experimental measurements. Compared with expert-chosen and random descriptors, our performance metric-dependent descriptors provide a more controlled balance between retained fraction and best-value error. These results show that literature-derived embeddings can support intuitive and reproducible filters for narrowing candidate composition spaces while preserving high-performing compositions.

cs.CL↗

Joint Spectrum and Airspace Resource Optimization for Low-altitude Wireless Network

Low-altitude wireless networks have emerged as a promising platform for enabling the safe and efficient operation of unmanned aerial vehicles (UAVs). However, due to the limited spectrum and airspace resources, it is challenging to efficiently accomplish UAV flight tasks without collisions. In this paper, we propose a sequential framework with two coupled stages that coordinates spectrum allocation and airspace planning to construct efficient low-altitude air corridors. Specifically, the low-altitude airspace is discretized into a set of digital grids, where obstacles are modeled as impermeable units. Then, we formulate an optimization problem to minimize the total traversal cost of air corridors, which is challenging to solve due to the tight coupling between spectrum allocation and path planning.Therefore, we first design a constrained Vickrey-Clarke-Groves (VCG) ascending auction mechanism to allocate the spectrum resources. Then, we propose a joint spectrum and airspace resource allocation algorithm to minimize the total traversal cost of air corridors. Finally, simulation results show that the proposed algorithms achieve lower total costs than the baseline algorithms.

eess.SY↗

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $Π_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $Π_{n+1}\times Π_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT↗

SegKAN: High-Resolution Medical Image Segmentation with Long-Distance Dependencies

Hepatic vessels in computed tomography scans often suffer from image fragmentation and noise interference, making it difficult to maintain vessel integrity and posing significant challenges for vessel segmentation. To address this issue, we propose an innovative model: SegKAN. First, we improve the conventional embedding module by adopting a novel convolutional network structure for image embedding, which smooths out image noise and prevents issues such as gradient explosion in subsequent stages. Next, we transform the spatial relationships between Patch blocks into temporal relationships to solve the problem of capturing positional relationships between Patch blocks in traditional Vision Transformer models. We conducted experiments on a Hepatic vessel dataset, and compared to the existing state-of-the-art model, the Dice score improved by 1.78%. These results demonstrate that the proposed new structure effectively enhances the segmentation performance of high-resolution extended objects. Code will be available at https://github.com/goblin327/SegKAN

eess.IV↗

Qwen-Audio-3.0-ASR Technical Report

In recent years, automatic speech recognition (ASR) has witnessed transformative advancements driven by three complementary paradigms: data scaling, model scaling, and deep integration with large language models (LLMs). However, bridging the gap between academic benchmark performance and real-world production utility remains a persistent challenge, particularly in handling diverse regional dialects, dynamic entities and hotwords, long-range contextual information, and disfluent spontaneous speech. In this report, we present Qwen-Audio-3.0-ASR, a Mixture-of-Experts (MoE) LLM-based ASR system designed to address these production demands through a unified, instruction-following framework. The model is built upon the Qwen backbone, and is trained on tens of millions of hours of large-scale speech data. Qwen-Audio-3.0-ASR supports transcription across 30 languages and 16 Chinese dialectal varieties spanning eight major dialect regions. Beyond multilingual and dialectal recognition, the model provides production-oriented capabilities including industry-domain entity recognition, hierarchical hotword customization, native single-pass transcription polishing, and long-audio contextual modeling. We further develop a dedicated streaming variant, Qwen-Audio-3.0-ASR-Streaming, for latency-sensitive applications. Extensive evaluations on Chinese, English, multilingual, and real-world industrial test sets demonstrate state-of-the-art or highly competitive recognition performance across a broad range of evaluation conditions, with strong performance relative to leading commercial and proprietary systems including GPT-4o Transcribe and Gemini 3.1 Pro.

cs.CL↗

Logarithmic Stability for an Inverse Source Problem in a Coupled Nonlinear Helmholtz System

We study an inverse source problem for a two-mode nonlinear Helmholtz system motivated by second-harmonic generation. The datum is the full first Fréchet derivative of the nonlinear Dirichlet-to-Neumann map at one fixed, common, small boundary state, which need not be zero. For real-valued small data, a known susceptibility bounded away from zero, and sources supported in a fixed compact subset of the domain, we prove uniqueness and a conditional single-logarithmic stability estimate. The first boundary variation is the Dirichlet-to-Neumann map of a symmetric $2\times2$ matrix Schrödinger operator. Absorbing the two known Helmholtz energies into its matrix potential permits the use of standard zero-energy complex geometrical optics solutions with a common null phase geometry. A bilinear Alessandrini identity then gives a uniform Fourier estimate for the two entries containing the background fields. Zero extension below the exponent $3/2$, a low/high frequency splitting, and interpolation between $H^{-2}$ and the a priori $H^s$ source bound yield the stated stability modulus.

math.AP↗

TRACE: Trajectory-robust Admission with Evidence Ordering for Efficient GUI Agents

GUI agents accumulate high-resolution screenshots as the trajectory unfolds, increasing inference latency and memory usage. Training-free visual token pruning can reduce this cost, but cache reuse introduces a fundamental constraint. Once tokens are discarded, the corresponding visual evidence cannot be recovered without re-encoding. Pruning therefore becomes an \textit{irreversible admission decision} that must remain useful for unknown future targets while preserving coverage of operable regions under tight budgets. To address these challenges, we propose \textbf{\method{}}, a training-free framework for \emph{\textbf{T}rajectory-\textbf{r}obust \textbf{A}dmission and \textbf{C}overage-aware \textbf{E}vidence ordering}. Specifically, we combine a query-independent layout-derived interaction prior with instruction relevance and feature novelty to rank visual evidence according to both potential future utility and diversity. Then, we reserve part of the budget for native visual tokens distributed across the screen, repairing missing spatial coverage without breaking the ordering. Together, these mechanisms produce a nested token order, allowing retained visual evidence to shrink monotonically across budgets while remaining reusable throughout the trajectory. Finally, our monotone KV contraction incrementally contracts retired frames into compact session state, avoiding repeated visual encoding or pruning. Extensive experiments across six GUI benchmarks and diverse models verify the effectiveness of our proposed \method{} under tight budgets. The source code will be released.

cs.CV↗

Drinfeld's lemma for algebraic stacks

Drinfeld's lemma is a powerful tool for splitting $\ell$-adic local systems defined over a product of connected schemes over a finite field. In this paper, we show that Drinfeld's lemma also holds true for algebraic stacks.

math.AG↗

A Large-Scale Dynamic Characterization of Flaky Tests in Quantum Software: The Qiskit Terra Case Study

Flaky tests, tests that pass or fail nondeterministically without changes to code or environment, pose a threat to software reliability. While classical software engineering has developed a body of techniques to study flakiness, evidence for quantum software remains limited. Prior work relies on static analysis or small sets of manually reported incidents, leaving open questions about their prevalence, characteristics, and detectability. This paper presents a large-scale dynamic characterization of flaky tests in quantum software through a longitudinal case study of the Qiskit Terra core library. We executed the Qiskit Terra test suite 10,000 times across 23 releases in controlled environments. For each release, we measured test-outcome variability, identified flaky tests, estimated empirical failure probabilities, analyzed recurrence across versions, used Wilson confidence intervals to quantify baseline rerun budgets, and mapped flaky tests to Terra subcomponents. Across 27,026 qualified test identifiers, we identified 62 unique flaky tests. Although flakiness rates were low (0-0.17%), recurrence was substantial: 52 of 62 flaky tests (83.87%) reappeared in multiple releases, while only 10 tests (16.13%) were confined to a single release. Failure probabilities spanned several orders of magnitude, with a median of $9 \times 10^{-4}$ and 34 tests (54.84%) at or below $10^{-3}$, implying that thousands to tens of thousands of executions may be required for confident detection. These results show that flakiness observed in the studied Terra releases is rare under our controlled protocol but difficult to detect under typical continuous integration budgets. To support future research and replication, we release a dataset of per-test execution outcomes.

cs.SE↗