Search arXiv⌕ Search

arXiv subjects

Lei Zhang

Publications and source records attributed to Lei Zhang.

At least 91 records · Page 5Linked to original sources

Dynamic Generalized Gromov-Wasserstein Optimal Transport

Gromov--Wasserstein optimal transport (GW-OT) extends classical optimal transport by introducing structure-aware transport cost. This is particularly relevant for spatial transcriptomics, where dynamical reconstruction should preserve tissue structure in addition to matching expression patterns. While static formulations have been widely used for such structure-aware alignment, a general dynamic formulation for reconstructing continuous trajectories is still missing. We introduce Travelling Pair Dynamical Alignment and Trajectory Estimation (TP-DATE), a theoretical and computational framework to generalize GW-OT dynamically in a simulation-free manner. We formulate a broad class of static and dynamic Quadratic-form OT (QOT) through path actions and prove the static dynamic equivalence. We further develop travelling-pair flow matching, which allows interacting conditional paths and marginalizes their interactions into a single vector field. On synthetic and real spatial transcriptomics data, TP-DATE better preserves spatial structure and improves continuous 3D dynamics reconstruction.

cs.LG↗

Structure-preserving diffuse-domain accelerated saddle dynamics for wetting transitions

Wetting transitions on textured substrates play a central role in the design of functional surfaces, but resolving their transition mechanisms requires efficient exploration of complex energy landscapes. In particular, saddle points are essential for revealing the connectivity among metastable states and transition pathways. In this work, we develop a diffuse-domain accelerated saddle dynamics (DD-ASD) framework for mass-constrained wetting transitions on complex textured substrates. The diffuse-domain formulation embeds complex solid geometries into a Cartesian grid, avoiding body-fitted mesh construction in repeated saddle-point searches. An orthogonal projection is applied consistently to the phase-field state and unstable-direction dynamics, preserving the prescribed droplet mass at the discrete level. Momentum acceleration is incorporated into the saddle dynamics to improve the efficiency of high-index saddle searches. Under the stated local spectral and exact-eigenspace assumptions, we establish a local convergence rate of $1-\mathcal{O}(1/\sqrtκ)$ on the effective mass-conserving subspace. Numerical experiments demonstrate the effectiveness of the proposed method in resolving wetting solution landscapes, transition pathways, and energy barriers on textured substrates. We further extend the framework to fully three-dimensional wetting-landscape computations.

math-ph↗

OREO: Fidelity Alignment in 3D Generation via On-the-fly Rendering-Editing Optimization

Despite recent advancements in 3D generation, models often struggle to produce assets with high visual fidelity. To bridge this gap, we propose OREO, an alignment framework that enhances the realism of 3D generators by leveraging rich 2D diffusion priors. Instead of relying on static datasets, OREO establishes a dynamic optimization loop that produces on-the-fly edited renderings as 2D pseudo-targets. At its core, we introduce Reinforced Editing, which utilizes a 2D model to refine rendered views of the 3D output, enhancing their overall visual fidelity while preserving the underlying geometry, viewpoint, and content. These refined views serve as high-quality supervision targets, enabling the 3D generator to learn from its own generated samples and progressively improve its visual quality. Experiments demonstrate that OREO effectively improves upon pre-trained baselines, producing 3D assets with enhanced visual realism.

cs.CV↗

A Multimodal Large Language Model-Driven Framework for Context-Aware UAV Emergency Landing Site Selection

Safe UAV emergency landing requires more than just identifying flat terrain; it demands understanding complex semantic risks (e.g., crowds, temporary structures) invisible to traditional geometric sensors. In this paper, we propose a novel framework leveraging Remote Sensing (RS) imagery and Multimodal Large Language Models (MLLMs) for global context-aware landing site assessment. Unlike local geometric methods, our approach employs a coarse-to-fine pipeline: first, a lightweight semantic segmentation module efficiently pre-screens candidate areas; second, a vision-language reasoning agent fuses visual features with Point-of-Interest (POI) data to detect subtle hazards. To validate this approach, we construct and release the Emergency Landing Site Selection (ELSS) benchmark at https://github.com/chunlianghua/ELSS-dataset. ELSS includes a remote-sensing subset for simulation validation and a UAV aerial-video subset for real-world testing. Experiments demonstrate that our framework significantly outperforms geometric baselines in risk identification accuracy. Furthermore, qualitative results confirm its ability to generate human-like, interpretable justifications, enhancing trust in automated decision-making.

cs.CV↗

The Lange-Stuhler Theorem via Gerbes

We recast the Lange-Stuhler theorem as the universal property of a $2$-cartesian square of classifying stacks. This formulation shows that every Frobenius-periodic vector bundle of rank $r$ on an arbitrary fibered category in characteristic $p>0$ is trivialized by a finite étale torsor, without geometric hypotheses or restrictions on the ground field beyond its characteristic. The construction extends from $\mathrm{GL}_n$ to group schemes over finite fields that are connected affine or of finite type.

math.AG↗

Less Is More in the Long Tail: Stage-Adaptive Sample Selection for Annotation-Efficient Dense Prediction

Deep learning performance generally improves with increasing training data, yet this scaling is fundamentally constrained by annotation cost in large-scale dense prediction tasks with long-tailed category distributions, where pixel- or voxel-level annotation is prohibitively expensive. We propose SASS (Stage-Adaptive Sample Selection), a stage-adaptive data-selection framework for pool-based active learning in long-tailed dense prediction. SASS combines three components: label-free self-supervised gradient scoring, prior-guided category rebalancing with validation-driven feedback, and stage-adaptive acquisition aligned with model training dynamics. This design avoids candidate ground-truth masks during gradient scoring while making acquisition responsive to long-tail imbalance and evolving representations. We evaluate SASS on a multimodal 3D medical segmentation testbed comprising over 100,000 samples spanning 108 anatomical structures. SASS recovers 98.3% of full-dataset performance with a 40% training-pool annotation budget, outperforming BADGE by 5.1 percentage points. Moreover, SASS exhibits a statistically supported less-is-more pattern, surpassing full-dataset training at the Hard-group level and, at the structure level, for the pancreas and gallbladder. More broadly, SASS shows that annotation-efficient learning depends not only on which samples are selected, but also on how the annotation budget is distributed across categories and when model-derived scores begin to guide selection.

cs.CV↗

Complementary Time- and Distance-Based Methods for Cosmogenic $^{9}$Li/$^{8}$He Background Estimation

Cosmogenic $^{9}$Li and $^{8}$He isotopes constitute an important correlated background in low-energy neutrino experiments because their $β$-delayed neutron decay signatures can mimic inverse beta decay signals. Conventional estimates based on the time since the last muon become challenging at high muon rates, while muon-related vetoes further reduce the residual isotope statistics. We extend the conventional time fit to an event-level muon-categorized joint time (J-MuCAT) fit, which uses the time to the most recent preceding muon in each energy-loss category. A complementary estimate is obtained from the candidate-to-muon-track distance distribution (TraDiTS). The muon-uncorrelated component is determined from the far-distance region and subtracted. This estimate is then used to constrain the J-MuCAT fit, defining the distance-constrained J-MuCAT (DCJ-MuCAT) fit. In detector-level simulation with successive cosmogenic-background vetoes, DCJ-MuCAT reduces the statistical uncertainty by more than $40\%$ relative to J-MuCAT and by more than $10\%$ relative to the TraDiTS. The fitted results remain consistent with the simulation truth. Applicability studies further show good performance over a broad range of muon rates and isotope fractions. The proposed framework provides a practical approach for estimating residual $^{9}$Li/$^{8}$He backgrounds in large neutrino detectors.

hep-ex↗

Real-Frequency Diagrammatics with Pole Representations

Finite-temperature many-body theories are typically formulated in imaginary time, where they are amenable to efficient numerical treatment. However, the extraction of spectral properties from the imaginary axis is difficult and requires numerical analytic continuation, while a direct formulation on the real axis requires prohibitively expensive numerical quadrature. In this paper, we represent the objects of many-body perturbation theory using systematically improvable pole and moment expansions and develop the corresponding framework for evaluating diagrammatic contributions directly on the real axis. We introduce a controlled recompression procedure that prevents the proliferation of poles under algebraic and diagrammatic operations. We benchmark the approach on paradigmatic quantum impurity problems and apply it to self-consistent calculations of the uniform electron gas. The resulting spectral quantities converge systematically towards numerical accuracy. This work provides a practical framework for controlled and systematically improvable calculations of spectral quantities within diagrammatic many-body theories, including self-consistent conserving approaches.

cond-mat.str-el↗

SWE-Universe: Scale Real-World Verifiable Environments to Millions

We propose SWE-Universe, a scalable and efficient framework for automatically constructing real-world software engineering (SWE) verifiable environments from GitHub pull requests (PRs). To overcome the prevalent challenges of automatic building, such as low production yield, weak verifiers, and prohibitive cost, our framework utilizes a building agent powered by an efficient custom-trained model. This agent employs iterative self-verification and in-loop hacking detection to ensure the reliable generation of high-fidelity, verifiable tasks. Using this method, we scale the number of real-world multilingual SWE environments to a million scale (807,693). We demonstrate the profound value of our environments through large-scale agentic mid-training and reinforcement learning. Finally, we applied this technique to Qwen3-Max-Thinking and achieved a score of 75.3% on SWE-Bench Verified. Our work provides both a critical resource and a robust methodology to advance the next generation of coding agents.

cs.SE↗

General Collaborative Intelligence: Architecting Cognition for Resilient Multi-Agent Ecosystems

Multi-agent unmanned systems are moving from isolated, ego-centric sensing toward collaborative intelligence, in which distributed agents exchange compact features to overcome a local observation trap that no single agent can escape: occlusions, finite sensor range, and environmental degradation. The field has matured across architectural, communication, embodied, resilience, and trust dimensions, yet existing surveys examine these dimensions in isolation and rarely expose their dependencies. This review offers a unified synthesis through two complementary lenses. The first is a five-dimensional taxonomy spanning collaboration stage, communication paradigm, fusion architecture, learning strategy, and application domain. The second is three cognitive synergy conditions, Semantic Disambiguation, Pragmatic Information Exchange, and Proactive Informational Foraging, that turn cognitive synergy into operational criteria. Across these lenses we survey collaboration architectures and topologies, neural-communication co-design that treats the channel as a differentiable pipeline component, embodied action-perception loops via multi-agent reinforcement learning, and resilience mechanisms for synchronization, uncertainty quantification, and label-efficient learning. We then map these advances onto four operational domains, V2X, unmanned aerial, industrial logistics, and smart cities, and onto the safety-privacy-utility triad. To counter benchmark saturation and evaluation fragmentation, we propose GCI-Bench, a five-pillar scoring protocol with a maturity model that makes the trade-offs of collaborative methods comparable across studies. A critical reflection on reproducibility, the sim-to-real gulf, and conditions under which collaboration degrades performance identifies open challenges and charts directions toward general collaborative intelligence under real-world uncertainty.

cs.CV↗

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↗

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↗