Searcharxiv⌕ Search

arXiv subjects

Yu Wang

Publications and source records attributed to Yu Wang.

At least 73 records · Page 4Linked to original sources

Symmetry-Engineered Multiple Bulk-Boundary Correspondences and Anomalous Modes in a Non-Hermitian Creutz Ladder

The synergy between non-Hermiticity and topology makes the bulk-boundary correspondence (BBC) highly elusive. Here we study a non-Hermitian Creutz ladder incorporating both gain-loss and nonreciprocity, and construct multiple BBCs involving scale-free, normal, and anomalous skin modes, as well as topological zero- energy modes. We characterize the skin effect induced by the parity-time (PT) phase transition through an average winding number, thereby formulating a PT-related BBC. Furthermore, a hidden chiral symmetry ensures that topological phase transitions can be reliably detected via a Z 2 invariant. Although the gain-loss breaks the standalone P symmetry, it preserves the combined PT symmetry, allowing a modified Z 2 invariant to sustain the topological BBC. Notably, sublattice symmetry facilitates the precise analytical determination of non-Bloch spectra. Leveraging this, we introduce a hybrid spectral winding that encodes the localization (or delocalization) characteristics of two counterintuitive bulk modes coexisting with normal skin modes, thus defining a non-Hermitian BBC. One of these modes exhibits exponential boundary accumulation in a direction opposite to the nonreciprocity, while the other manifests as an anomalous surge of Bloch-wave states within the nonreciprocal lattice. These results reveal a series of unexpected phenomena governed by underlying symmetry, significantly broadening our fundamental understanding of the BBC mechanism in non-Hermitian topological systems.

quant-ph↗

MemoryArena: Benchmarking Agent Memory in Interdependent Multi-Session Agentic Tasks

Existing evaluations of agents with memory typically assess memorization and action in isolation. One class of benchmarks evaluates memorization by testing recall of past conversations or text but fails to capture how memory is used to guide future decisions. Another class focuses on agents acting in single-session tasks without the need for long-term memory. However, in realistic settings, memorization and action are tightly coupled: agents acquire memory while interacting with the environment, and subsequently rely on that memory to solve future tasks. To capture this setting, we introduce MemoryArena, a unified evaluation gym for benchmarking agent memory in multi-session Memory-Agent-Environment loops. The benchmark consists of human-crafted agentic tasks with explicitly interdependent subtasks, where agents must learn from earlier actions and feedback by distilling experiences into memory, and subsequently use that memory to guide later actions to solve the overall task. MemoryArena supports evaluation across web navigation, preference-constrained planning, progressive information search, and sequential formal reasoning, and reveals that agents with near-saturated performance on existing long-context memory benchmarks like LoCoMo perform poorly in our agentic setting, exposing a gap in current evaluations for agents with memory. MemoryArena is now released at https://memoryarena.github.io/.

cs.CL↗

LaSR: Context-Aware Speech Recognition via Latent Reasoning

Speech recognition in specialized domains requires leveraging contextual or topical information to improve the recognition of domain-specific entities. Speech Large Language Models (Speech LLMs) have substantially advanced speech understanding and reasoning capabilities, making context-aware speech recognition possible without predefined bias lists. In this paper, we propose LaSR (Latent Speech Reasoning), a novel training paradigm featuring a context-aware reasoning trajectory that leverages the latent reasoning process. Instead of generating explicit intermediate tokens, LaSR aligns chain-of-thought (CoT) supervision around the acoustic feature region of the target word, and introduces latent reasoning periods for context information grounding and transcriptional transition. Furthermore, to effectively benchmark context-aware speech recognition, we propose Spoken Darwin-Science, a large-scale corpus focusing on academic terminologies. Preliminary experiments on Fun-Audio-Chat demonstrate that LaSR significantly improves terminology recognition without introducing additional latency and consistently outperforms standard supervised fine-tuning baselines. Our findings highlight the potential of latent reasoning in building efficient, context-aware speech assistants.

cs.CL↗

Knowing When to Stop: Adaptive Action Chunking via Internal Cross-Attention Dynamics in VLAs

Action chunking is a standard execution strategy in modern Vision-Language-Action (VLA) frameworks, but fixed execution horizons impose a trade-off between efficiency and accuracy. Short chunks require frequent inference and may cause oscillatory behavior, whereas long chunks can become misaligned with newly observed states. We address this limitation with an adaptive action chunking approach based on internal cross-attention dynamics in the action expert. We observe that, as the prediction horizon extends, action-to-observation cross-attention becomes increasingly dispersed and its entropy rises toward a plateau. This pattern is associated with higher action prediction error and provides an online signal that the current observation offers limited grounding for further open-loop execution. Based on this observation, we introduce a training-free truncation mechanism that detects sustained high-entropy plateaus and dynamically selects the execution horizon during inference. The method uses attention weights already computed by the policy and introduces negligible additional overhead. Evaluations on $π_{0.5}$ and X-VLA across RoboTwin 2.0, LIBERO, and three real-world manipulation tasks show improved average task success over fixed-horizon and adaptive chunking baselines, while preserving efficient closed-loop control. These results show that cross-attention dynamics can provide a practical internal signal for adaptive action execution in VLAs.

cs.RO↗

Mind the Gap: Rethinking I/O Design for Contact-Rich Visuomotor Policy Learning

Contact-rich teleoperation logs expose a policy I/O design choice: demonstrations may contain the robot execution (E), leader command (C), or both. These signals are not interchangeable: E2E may discard contact-generating command offsets, whereas E2C preserves these offsets but omits the robot's execution response. We propose Dual-State Conditioning (EC2C), which conditions on both E and C while predicting future C, exposing command-execution mismatch as a cue for contact, latency, payload, and operator compensation; in quasi-static contact, this cue is often force-correlated. On a low-cost setup without force, tactile, or motor-current policy input, EC2C outperforms E2E and a strong E2C baseline across several real-world contact-rich, force-sensitive, and dynamic tasks. These results support EC2C as a practical default I/O setting for contact-rich imitation learning. We further formulate latency-adaptive inpainting as a temporal extension of this I/O choice for action-chunking policies, and discuss when long histories help dynamic inference or introduce causal confounding.

cs.RO↗

Silicon avalanche transition edge bolometer: approaching the thermodynamic limit for uncooled long-wave infrared detection

Bolometers transduce incident electromagnetic radiation into measurable electrical signals via radiation-induced heating in thermo-resistive materials. They are uniquely capable of detecting low-energy photons without cryogenic cooling, and are widely deployed for uncooled long-wave infrared (LWIR) radiation detection and thermal imaging. Although their fundamental detection limit is set by the thermodynamic fluctuations, state-of-the-art uncooled bolometers still operate well above this limit due to the presence of Johnson noise, 1/f noise and noises from the readout circuits. Here, we address this challenge by introducing a new uncooled LWIR bolometer concept---the silicon avalanche transition edge (SATE) bolometer. Operating near the steep current transition edge associated with avalanche breakdown, the device exhibits an ultra-high, positive temperature coefficient of resistance (TCR) of 330 %/K, greatly suppressing the impacts of other noise sources. Even without any thermal insulation structures, the SATE bolometer delivers a high room-temperature responsivity up to 160 mA/W for 9.5 $μ$m radiation, a noise equivalent power of 370 pW/$\sqrt{\mathrm{Hz}}$, and a strong electro-thermal feedback enlarged bandwidth of 77 kHz---performance unattainable with conventional bolometer materials with a TCR of $-1\sim-3\%$/K. Our work establishes a promising thermo-electric transduction mechanism toward high-sensitivity, high-speed room-temperature thermal imaging and infrared spectroscopy using CMOS technology.

physics.optics↗

Hyperspectral Image Restoration and Super-resolution with Physics-Aware Deep Learning for Biomedical Applications

Hyperspectral imaging is a powerful bioimaging tool which can uncover novel insights, thanks to its sensitivity to the intrinsic properties of materials. However, this enhanced contrast comes at the cost of system complexity, constrained by an inherent trade-off between spatial, spectral, and temporal resolution. To overcome this limitation, we present a self-supervised deep learning-based approach that restores and enhances pixel resolution post-acquisition without requiring external training data beyond the images to be restored. Fine-tuned using metrics aligned with the imaging model, our physics-aware method achieves a 16$\times$ pixel super-resolution enhancement and a 12$\times$ imaging speedup without the need of additional training data for transfer learning. Applied to both synthetic and experimental data from five different sample types, including healthy and diseased tissues, we demonstrate that the model preserves biological integrity, as we did not detect systematic loss of biological features or biologically consequential hallucinations in tested datasets. We also concretely demonstrate the model's ability to reveal disease-associated metabolic changes that would otherwise remain undetectable. Furthermore, we provide physical insights into the model's inner workings, paving the way for future refinements that could potentially reveal novel high resolution features in an explainable manner. All methods are available as open-source software on GitHub.

eess.IV↗

OpenAI4S: Code as Action, Science as Sessions

AI co-scientists could accelerate computational research, but over a long-running study the workflow also has to stay inspectable, resumable and reproducible, which requires persistent computational state and provenance. Here we present OpenAI4S, an open-source scientific research agent built around the principle of \emph{Code as Action, Science as Sessions}. OpenAI4S combines a persistent computing runtime with research-session management: orchestration is handled through structured tool calls, while scientific actions are represented as complete code cells executed in persistent Python and R kernels. An append-only Action Ledger, per-cell execution records, versioned artifacts, environment records, and workspace checkpoints preserve how results were produced and support session recovery, branching, and extension. Configurable sandboxing, permission controls, and code and trajectory screening provide complementary safeguards. We evaluate OpenAI4S on 36 research scenarios spanning retrosynthesis, molecular dynamics, protein binder design, protein mutation, catalyst screening, and mineral spectroscopy, measuring scientific task accuracy, workflow completeness, and reproducibility of the resulting repositories. OpenAI4S achieves an overall score of 7.83, compared with 5.7--6.4 for a general-purpose coding harness evaluated with three frontier models, with the largest gains on long-horizon and computation-intensive workflows. These results suggest that integrating persistent execution with session-level provenance can improve the reliability of AI-assisted scientific workflows. Environment specification and full rerunnability remain weak for every evaluated system, ours included, so reproducibility is still an open problem for scientific agents. The system is available under the MIT license at \href{https://github.com/PKU-YuanGroup/OpenAI4S}{github.com/PKU-YuanGroup/OpenAI4S}.

cs.AI↗

Stability Estimates for the Inverse Recovery of Drift and Diffusion Point Sources in Stochastic Parabolic Equations

This paper studies the simultaneous recovery of point-source locations and temporal strengths in both the drift and diffusion terms of a stochastic parabolic equation with Neumann boundary conditions, using only boundary observations on a nonempty portion of the boundary after the sources have become inactive. By separating the stochastic equation into its expectation and centered parts, the drift channel reduces to a deterministic source problem with scalar Laplace moments, while the diffusion channel is controlled by Itô's isometry, which preserves the full $L^2$-energy of the integrand. Under suitable nondegeneracy and separation assumptions, we establish Lipschitz stability for the location of a single source in either channel, logarithmic stability for the drift strength, and Lipschitz stability for the complete diffusion strength including its sign. For multiple sources, we obtain Lipschitz stability up to permutation for drift locations and weighted temporal moments in dimensions two and three, and for diffusion locations and strengths in dimensions one through three. The proof employs explicit adjoint probes, including complex-isotropic polynomial annihilators in dimensions two and three and spectral synthesis in one dimension, combined with boundary-to-source estimates derived from Green's identities. These results extend and improve upon existing deterministic stability theories by revealing the fundamentally different temporal information carried by stochastic integrals, a distinction that is further illustrated by numerical experiments.

math.AP↗

SWRouter: Similarity-Contractive Window Routing for Multi-Turn Large Language Model Conversations

Large language models exhibit complementary strengths, motivating routing methods that dispatch each query to the most suitable model. Although existing routers are effective in single-turn settings, they do not directly transfer to multi-turn dialogue, where routing performance critically depends on how historical context is segmented, retained, and incorporated into the current prompt. This introduces two fundamental challenges: preventing information loss and information confusion during context construction, and evaluating routing quality without conflating model selection with prompt construction quality. In this paper, we propose SWRouter, a Similarity-Contractive Window Router for multi-turn large language model routing. SWRouter combines a similarity-based context segmentation mechanism for prompt construction with a dual-metric evaluation framework that decouples construction accuracy from router performance. Experiments on multi-turn dialogue benchmarks demonstrate that SWRouter consistently surpasses strong baselines, achieving a 16.26% improvement in evaluation accuracy over the best individual large language model and an additional 8.22% gain over the Conv-ID Context baseline. Our results highlight that multi-turn large language model routing requires a joint design of context construction and evaluation, rather than a direct extension of single-turn routing methods.

cs.CL↗

Are LLMs Positionally Consistent Ordinal Classifiers? A Systematic Evaluation

Large language models are increasingly used for ordinal classification, yet semantically equivalent changes to prompt organization can alter their predictions. We conduct systematic experiments to characterize positional bias from label order, demonstration order, and demonstration placement. First, we apply the three probes to ten frontier LLMs on a common ordinal-classification task; every model is sensitive to all three positional sources, showing that the problem is pervasive. Second, we vary eight prompt-, task-, and model-level factors across five datasets; accuracy and stability are often misaligned, and only lower scale cardinality consistently improves both. Third, we compare pointwise, pairwise, and listwise inference, alternative aggregation and debiasing methods, and joint configurations; the tested corrections do not provide a reliable remedy, while a comparison-based listwise formulation offers the best balance but transfers unevenly across models and bias sources. These findings show that positional robustness depends on the full system configuration rather than the model alone. Ordinal-classification systems should therefore be selected jointly for predictive performance and stability.

cs.CL↗

$S^3$-Bench: Evaluating Speech Interaction Models as Scientific Voice Assistants

The advance of multimodal large language models (MLLMs) has fundamentally reshaped the paradigm of human-computer interaction, especially speech interaction models capable of seamless conversations. Despite remarkable performance as general voice assistants, their performance in specialized domains remains underexplored, particularly in scientific areas. Scientific interactions introduce formidable challenges, involving rare technical terminology, spoken norms of abbreviations, and the natural verbalization of symbolic special expressions. In this paper, we introduce S$^3$-Bench, a systematic evaluation framework covering 10 major disciplines, consisting of a Knowledge set for speech question-answering and a Dialogue set for multi-turn progressive interactions with simulated user agents. By decomposing a complete atomic turn into stages of speech recognition, perception, knowledge utilization with reasoning, and response pronunciation, we systematically characterize the common challenges and performance tradeoffs of existing approaches. Furthermore, experiments on multi-turn interactions reveal persistent limitations in user adaptation and the generation of accurate, comprehensive, and efficient responses.

cs.CL↗

RoboDrop: Curating VLA Post-Training Data via Local Gradient Compatibility

Vision--language--action (VLA) models acquire broad generalization through large-scale pretraining, yet adapting them to a new task and robot embodiment still requires post-training on newly collected data. Unlike pretraining, post-training targets task- and embodiment-specific adaptation, making it particularly sensitive to data quality. In practice, collected robot datasets often contain heterogeneous errors, including execution mistakes, sensor drift, and timestamp misalignment, which can impair post-training and policy performance. Manual inspection is costly, while existing data-cleaning methods are typically tailored to particular corruption types. To address these challenges, we introduce \textsc{RoboDrop}, a data-curation framework that audits supervision using local gradient compatibility measured along the training trajectory as a proxy for its effect on post-training performance. During a one-epoch warm-up run, RoboDrop scores each candidate sample online by comparing its gradient with those of task-semantic and visually matched validation samples. The resulting sample scores are aggregated at the episode level, and a simple automatic post-processing rule converts them into filtering decisions. We evaluate RoboDrop on controlled observation--action corruptions, naturally suboptimal demonstrations in simulation, and real-robot datasets containing non-expert collection errors. Across these settings, RoboDrop more accurately distinguishes unreliable demonstrations than prior methods, while post-training on the curated data consistently yields stronger downstream policies, with average real-robot rollout success rising from $35.0\%$ to $67.5\%$. These results establish training-trajectory-aware, context-conditioned supervision auditing as an effective approach to robust VLA post-training.

cs.RO↗

Negative contacts in genus one: a comparison of punctured and root stack Gromov-Witten theories

Let $D$ be a smooth divisor in a smooth projective complex variety $X$. For connected curves of arithmetic genus one with prescribed signed contact orders, we prove that the refined punctured cycle of Battistella--Nabijou--Ranganathan and the negative-contact cycle of Fan--Wu--You agree after pushforward to the common moduli space of stable maps with divisor evaluations. Thus the pushed-forward refined punctured cycle is the constant coefficient of the pushed-forward root-stack virtual class, normalized by one power of the root order for each negative contact. The key step is a comparison for the universal target. After restricting to finite-type open substacks determined by the fixed pair $(X,D)$ and numerical data $Γ$, we prove that the positive BNR space maps finitely and with generic degree one onto Crumplin's main component. Using Crumplin's genus-one component description and degree formulas, we identify this component's fundamental cycle with the constant coefficient of the universal orbifold virtual class under comparison of root orders. Refined zero-section pullback recovers the negative contacts, and compatible virtual pullbacks and root-forgetting pushforwards transfer the resulting identity to $(X,D)$.

math.AG↗

NeoHorse-1: Towards Recursive Self-Improvement via Agentic Post-Training with Routing Harness

Recursive self-improvement (RSI) requires a concrete mechanism through which an AI system observes its capabilities and converts that evidence into the next round of learning. We present NeoHorse-1, a family of agent-native models developed to explore this path through agentic post-training. Our system combines a heterogeneous model pool with intelligent routing, recording the predicted capability demand, selected service tier, and subsequent interaction for each user turn. These records are converted into training examples that preserve interleaved reasoning, tool calls, and harness context, and are admitted through structural validation, six-dimensional semantic evaluation, and subscene-level labeling. Routing signals organize supervised fine-tuning into a three-stage curriculum and extend to routing-guided on-policy distillation, where a teacher supervises student-generated responses under the same progression. Capability-guided allocation then converts evaluation feedback into the next training mixture, closing an evaluation-selection-update loop in which what the system learns to do shapes what it learns from next. Across eleven benchmarks covering harness-based agents, tool use, coding, and instruction following, post-training raises the macro-average from 58.94 to 64.87 at 4B and from 65.60 to 69.04 at 9B, substantially narrowing the aggregate gap between the post-trained 4B model and the 9B base model. NeoHorse-1 provides an initial prototype of this feedback-driven process and a path toward harness-mediated RSI across successive iterations.

cs.CL↗

VANTAGE-Bench: Evaluating the Infrastructure AI Gap in Vision-Language Models

As Vision-Language Models (VLMs) advance toward physical deployment, the focus has remained on action-oriented Embodied AI evaluated on subject-centric consumer video. This overlooks a pervasive class of Physical AI: Infrastructure AI, which relies on fixed cameras for open-loop insights like safety monitoring and operational logging. We introduce VANTAGE-Bench, a benchmark measuring this "Infrastructure AI Gap." It spans three operational domains (Logistics, Transportation, and Smart Spaces), unifies image and video evaluation across semantic, spatial, temporal, and spatio-temporal capabilities, and moves beyond multiple-choice to eight task formulations including dense captioning and spatio-temporal grounding. It adds a single-pass trajectory protocol for Single Object Tracking and, to our knowledge, the first such evaluation on fixed-camera infrastructure video, scored against specialist trackers. Annotation spans three regimes over 3,346 media assets: 3,342 video-task annotations, 4,281 image-grounding annotations, and 27,404 detection boxes. Evaluating 17 models zero-shot, we find the shortfall relative to consumer-centric benchmarks is concentrated, not general. Event verification, referring expressions, and temporal localization fall roughly 9 to 24 points at every model scale, while video question answering stays within 5.3 points of VideoMME and 2D spatial pointing shows no shortfall against BLINK. The temporal pillar is weakest in absolute terms: no system exceeds 55.7 mIoU on temporal localization or 37.3 SODA_c on dense video captioning. On tracking, frontier models come within roughly 5 points of specialist trackers over short horizons but separate as the horizon extends. Open-weight models lead 2D object localization outright, so neither scale nor proprietary access explains the pattern. Data, evaluation harness, and leaderboard: https://vantage-bench.org/

cs.CV↗

The Similarity Control Problem with Required Events

In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enabled, this paper introduces required events for discrete event systems and reconsiders the similarity control problem while taking all requirements from the specification into account. The notion of a covariant-contravariant simulation, which is finer than the conventional notion of simulation, is adopted to act as the behavioral relation of supervisory control theory. A necessary and sufficient condition for the solvability of this problem is established and a method for synthesizing a maximally permissive supervisor is provided.

cs.FL↗

A Single Fixed Shallow Circuit for Classical Shadows of Arbitrary n-Qubit States

Classical shadows extract quantum properties from reusable classical records, typically obtained through randomized measurement settings. Although individual settings may be shallow, switching among them introduces control, calibration, and reconfiguration costs beyond conventional metrics. Here we construct, for every $n$, a single fixed shallow quantum analyzer whose Born outcomes replace externally sampled settings as labels for reusable shadow snapshots. The analyzer combines a freshly prepared $n$-qubit fiducial register $A$ with parallel Bell readout of $A$ and the unknown system $S$, producing one $2n$-bit record per copy. The same circuit realizes a rank-one minimal informationally complete measurement: one fixed setting replaces the $3^n$ local-Pauli settings conventionally used for complete reconstruction while retaining the minimum $d^2$ outcomes with $d=2^n$. Its Pauli-diagonal frame admits an analytic inverse. For fixed Hermitian observables, the Haar-averaged conditional variance has a dimension-independent coefficient, whereas the state-uniform coefficient is dimension dependent. For $n\ge3$, worst-state Pauli variances remain bounded in the axial sector and scale as $Θ(d)$ in the mixed sector. Fiducial preparation before system contact uses $n-1$ arbitrary two-qubit gates, no work qubits beyond $A$, and logarithmic depth under all-to-all connectivity. The unknown system undergoes one parallel system-ancilla entangling layer followed by local Hadamards and readout. Measurement-assisted preparation achieves $O(1)$ adaptive quantum depth using $n+1$ extra qubits in the heralded route, or $O(n\log n)$ auxiliaries for deterministic completion. These tradeoffs show that part of the measurement-setting randomness and control complexity normally supplied shot by shot can instead be compiled into a fixed reusable analyzer.

quant-ph↗