arXiv subjects

Yi Zhou

Publications and source records attributed to Yi Zhou.

At least 37 records · Page 2Linked to original sources

arXiv2026

StateMem: Single-State Residual Memory with Adaptive Inference for Vision-Language-Action Policies

Memory-dependent robotic manipulation often requires later actions to use information from earlier interactions. Existing vision-language-action (VLA) policies primarily rely on current observations, limiting historical information retention. Memory-augmented VLAs, such as MemoryVLA, address this limitation with external memory banks but require explicit storage and retrieval. To address these limitations, we propose StateMem, a single-state residual memory framework for VLA policies that uses prediction error to update a persistent memory token through low-rank residuals and to adaptively route cached prefixes. A training-free controller adjusts the routing threshold online, while fast correction compensates for stale prefix features during cache reuse. We evaluate StateMem on LIBERO, RoboMemArena, and real-world manipulation tasks. On LIBERO, StateMem achieves an average success rate of 97.6% and reduces the average VLM prefix refresh rate by 20.25% relative to full refresh. In the Occlusion category of RoboMemArena, StateMem achieves the best performance among single-VLA methods, reaching 21.8% Task Success Rate (TSR) and 44.3% Cumulative Success Rate (CSR). Across six real-world manipulation tasks, it achieves +21% in average success rate.

cs.RO↗

arXiv2026

CoRef-GS: Cooperative Referring Gaussian Splatting for Multi-Agent Scene Understanding

Referring scene understanding for embodied robots requires grounding object- and relation-centric language queries from a designated viewpoint. While a local semantic Gaussian map can support such grounding within one agent's observations, cooperative settings require this ability to remain effective after independently reconstructed maps are aligned and fused. In this setting, the referred target or its contextual landmark may come from another agent's observations, while spatial relations must still be interpreted from the querying robot's viewpoint. We formulate this problem as cooperative referring Gaussian grounding over fused maps, which requires geometric alignability, instance-level semantic comparability, and view-conditioned relation reasoning. Existing language-aware Gaussian methods mainly focus on single-map querying, whereas Gaussian registration methods optimize geometric or photometric alignment without preserving language-grounding-oriented semantic compatibility. We propose CoRef-GS, a cooperative referring Gaussian splatting framework. CoRef-GS constructs local open-vocabulary instance-aware Gaussian maps, then aligns partially overlapping maps with a cross-agent alignment module by geometric and semantic consistency, and grounds queries using a view-conditioned mask relation graph. We further introduce CoQuad-Ref, a dual-quadruped benchmark spanning both real-world and simulated indoor scenes. Experiments show that, on simulated scenes, CoRef-GS reduces the rotation error from 2.58° after coarse initialization to 0.15° after refinement, and improves real-world referring mIoU over ReferSplat from 52.6% to 68.8%. The established benchmark and source code will be publicly released at https://github.com/ruojiruoli17/CoRef-GS.git.

cs.RO↗

arXiv2026

WiC is Not WSD: A Study on LLMs and Lexical Ambiguity Resolution

Word-in-Context (WiC) remains challenging for language models, despite recent progress on lexical-semantic tasks. We hypothesise that this difficulty arises not only from comparing two contextual uses of a word, but also from the absence of an explicit sense inventory that specifies the relevant level of semantic granularity. We evaluate open LLMs on WiC and traditional Word Sense Disambiguation (WSD) under similar settings. We find that providing candidate senses, similar to what is done in traditional WSD, improves WiC performance in all settings. In general, explicit sense information helps models make more consistent and targeted judgements. Human evaluation further shows that many apparent WiC errors reflect label ambiguity or mismatches between model and annotator sense boundaries rather than simple failures of lexical understanding. In particular, results show that LLMs overthink the sense distinction often leading to errors based on overly fine-grained distinctions.

cs.CL↗

arXiv2026

Bridging the Gap in Ophthalmic AI: MM-Retinal-Reason Dataset and OphthaReason Model toward Dynamic Multimodal Reasoning

Multimodal large language models (MLLMs) have recently demonstrated remarkable reasoning abilities under reinforcement learning (RL) paradigm. However, most existing multimodal medical reasoning models focus on basic reasoning, which refers to shallow inference based on visual feature matching. In contrast, real-world clinical diagnosis extends beyond basic reasoning, demanding complex reasoning that integrates heterogeneous clinical information (such as chief complaints and medical history) with multimodal medical imaging data. To bridge this gap, we introduce MM-Retinal-Reason, an ophthalmic multimodal dataset covering the full spectrum of perception and reasoning. Specifically, it is the first dataset in ophthalmology to encompass both basic and complex reasoning tasks with Chain-of-Thought (CoT) trajectories, aiming to enhance visual-centric reasoning and emulate realistic clinical decision-making. Building upon MM-Retinal-Reason, we propose OphthaReason, the first RL-enhanced ophthalmic multimodal reasoning model with step-by-step reasoning traces. To enable flexible adaptation to both basic and complex reasoning tasks, we further introduce Uncertainty-Aware Dynamic Thinking (UADT), which estimates sample-level uncertainty via entropy and dynamically modulates exploration depth through a shaped advantage mechanism. Comprehensive experiments demonstrate the effectiveness of our model on both basic and complex reasoning tasks, outperforming general-purpose MLLMs, medical MLLMs, RL-based medical MLLMs, and ophthalmic MLLMs by at least 15.47\%. Project Page: \href{https://github.com/lxirich/OphthaReason}{link}.

cs.AI↗

arXiv2026

Global well-posedness in the critical Besov space of the skew mean curvature flow in $\mathbb{R}^d: d\ge 5$

In this paper we prove small-data global well-posedness for the skew mean curvature flow of codimension-two submanifolds of $\mathbb R^{d+2}$ ($d\ge5$) in the critical Besov space. With harmonic coordinates and Coulomb gauge, the flow is formulated as a quasilinear Schrödinger equation for the complex mean curvature coupled to an elliptic system for the geometric and gauge variables. The main difficulty is to control the frequency interactions at critical regularity, where no derivative margin is available. Our argument combines two complementary spacetime estimates derived from the mass and momentum balance laws: a new div-curl lemma introduced by the fourth author yields a bilinear estimate with a half-derivative gain, providing the key control of low-high interactions; while a quasilinear interaction Morawetz estimate provides critical spacetime bounds for comparable and high-high frequency interactions. These estimates coupled with the Gauss-Codazzi structure of the curvature equations yield the unique global solutions to the gauge-reduced system in the critical Besov space, and improves the previous small-data global regularity results.

math.AP↗

arXiv2026

DelistBench: Evaluating Search-Enabled LLMs for Auditable Corporate-Event Database Completion

Financial institutions need an independent way to detect missing, stale, and misclassified corporate-event records in vendor databases. We introduce Search-to-Record, a database-assurance task in which search-enabled large language models reconstruct institution-defined event records from public sources for a known security universe and historical cutoff, and DelistBench, a 1,200-record benchmark for security-level delisting announcements. We evaluate five models in paired closed-book and web-enabled conditions. Web access raises announcement-date accuracy within seven days by 34.0 to 48.0 percentage points and event-status accuracy by approximately 2.8 to 21.7 points; the best system achieves 81.5% overall joint accuracy within seven days. Economy web systems achieve 75.9-78.3% overall joint accuracy within seven days at 4.5-6.6% of the API cost of the most expensive web system. Risk-based triage identifies low-error subsets, although the highest-coverage operating point still sends 27.3% of the balanced test set to review. The evaluation identifies web retrieval as the main source of timing gains and shows that low-cost systems can approach the best system's accuracy. Together, Search-to-Record, DelistBench, and the evaluation provide concrete deployment guidance: calibrate triage to local event prevalence and market mix, preserve positive-event recall, and route positive and ambiguous cases to targeted review.

cs.CL↗

arXiv2026

From Symbolic Perception to Logical Deduction: A Framework for Guiding Language Models in Geometric Reasoning

Plane geometry remains a significant challenge in AI, requiring the integration of visual perception and mathematical reasoning. While Large Multimodal Models (LMMs) naturally handle visuo-linguistic inputs, they are often computationally intensive and opaque. We demonstrate that a pure Large Language Model (LLM), when equipped with specialized modules, can rival state-of-the-art LMMs on complex geometry problems. Our framework integrates a Geometric Vision Parser, which translates diagrams into symbolic form, with a Symbolic Solver that performs formal deductions, thereby mitigating hallucinations and promoting interpretable reasoning. To enable rigorous evaluation, we curate a benchmark of challenging problems from the 2025 Chinese Zhongkao examinations, ensuring data novelty and testing deeper deductive skills. Experiments demonstrate that our approach achieves performance comparable to Gemini 2.5 Pro while delivering clearer, human-like solutions.

cs.AI↗

arXiv2026

Geometric Rashba Control of Polar Pairing at a-LaAlO$_3$/KTaO$_3$ Interfaces

At amorphous-LaAlO$_3$/KTaO$_3$ interfaces, superconductivity coexists with switchable polar nanoregions (PNRs), and $T_c$ depends quasi-linearly on crystallographic orientation. We propose a minimal theoretical framework in which overdamped PNR fluctuations mediate pairing, while geometric Rashba coupling controls its angular dependence. Within a reduced isotropic helicity-band description, the leading dynamic Rashba vertex scales as $\sinθ$, where $θ$ is the angle between the interface normal and the $[100]$ axis, yielding $λ(θ)=λ_0+C\sin^2θ$. Numerical Matsubara--Eliashberg solutions show that this nonlinear mapping reproduces the observed quasi-linear $T_c(θ)$. Because the Rashba-activated polar channel is amplified by the large atomic spin-orbit coupling of Ta $5d$ orbitals, the framework also offers a parametric---not yet quantitative---rationale for why KTaO$_3$ interfaces are both more orientation-sensitive and higher-$T_c$ than their SrTiO$_3$ counterparts.

cond-mat.supr-con↗

arXiv2026

Harnessing CLIP and DINO: An Uncertainty-Aware Cascaded Fusion Network for Generalizable Deepfake Image Detection

The growing realism and accessibility of manipulated and generated faces threaten the trustworthiness of digital media. To detect such forgeries, deepfake detectors based on vision foundation models have shown promising performance, but they typically rely on a single pretrained representation and are prone to overfitting to particular training distributions. To improve generalization to unseen forgeries, we propose UCF-Net, an uncertainty-aware cascaded fusion network that harnesses CLIP's language-aligned semantic priors and DINO's self-supervised visual-structure priors. UCF-Net extracts hierarchical features across Transformer depths, uses layer-wise expert aggregation to adaptively combine each encoder's multi-level cues, and performs weighted fusion of the resulting representations based on entropy-derived uncertainty. We further consolidate public deepfake datasets into a unified benchmark of approximately 4M images and construct a separate cross-generator evaluation set with over 8K face images from eight recent generators. On the unified benchmark, UCF-Net achieves the best mean AUC among the evaluated methods in both in-domain and cross-domain evaluations. On the cross-generator set, it adapts effectively with limited target-domain data, although zero-shot transfer remains challenging.

cs.CV↗

arXiv2026

Beyond Higher-Pulse Rectification: Operational Harmonic Coordination in Renewable P2H Systems

Thyristor rectifiers (TRs) are cost-effective electrolysis power supplies for renewable power-to-hydrogen (ReP2H) systems, but their harmonics may violate grid-code limits. In contrast to conventional solutions that rely on higher-pulse (such as 24-pulse) rectifiers, this paper proposes an operational harmonic coordination scheme that enables low-cost 12-pulse TRs to meet harmonic requirements through coordinated operation. First, a harmonic model quantifies the effects of rectifier transformer (RCT) tap positions and electrolytic currents, enabling harmonic cancellation among multiple electrolyzers (ELZs). A two-layer framework then coordinates hydrogen production and harmonic mitigation. Hourly scheduling determines ELZ commitment within the harmonic feasible region under renewable uncertainty using stochastic programming and a modified progressive hedging algorithm, while minute-level dispatch tracks renewable power and mitigates harmonics. A decomposition algorithm separates production dispatch from harmonic mitigation to improve computational efficiency. Case studies based on real-life projects show that the proposed method increases profit by 31% over current-only regulation. Annual simulations further show that coordinated 12-pulse TRs can replace 24-pulse rectifiers for harmonic compliance by exchanging additional RCT tap actions for lower transformer investment, reducing rectification-stage cost by 37.5%.

math.OC↗

arXiv2026

Vortex-core Majorana coupling to a chiral edge in a $p_x+ip_y$ superconductor: Nonmonotonic spectral reorganization and coherent fermion-parity dynamics

We study how vortex--edge coupling reorganizes the low-energy sector of a finite two-dimensional $p_x+ip_y$ superconducting disk as a function of the vortex--boundary separation $d$ and examine what this reorganization implies for the parity memory associated with a prescribed vortex-core Majorana wave packet, a resource relevant to Majorana-based quantum operations. Bogoliubov--de Gennes calculations reveal nonmonotonic core--edge reorganization of the lowest positive-energy finite-disk eigenstate, with particularly rapid variation near $d\simeq7ξ$, where $ξ$ is the coherence length. To separate this eigenstate reorganization from the spectral representation of a prescribed state, we rigidly translate a centered-vortex core-reference packet to each fixed vortex position, restrict it to the target disk, and project it, without intermediate normalization, onto the particle-hole-complete low-energy subspace. For $Δ_0/E_F=0.36$ and disk radius $R=30ξ$, the resulting retained norm exceeds $0.98$ at all six sampled separations, $4.25\leq d/ξ\leq8.25$, while, depending on $d$, the spectral measure is concentrated near zero energy, fragmented over several low-energy levels, or dominated by finite-energy weight. Correspondingly, the signed parity correlator displays slow temporal variation, rapid coherent dephasing, or sign-changing oscillations, with possible finite-size recurrences at later times. Thus a large retained norm does not by itself imply spectral concentration or persistent parity memory.

cond-mat.supr-con↗

arXiv2026

Global well-posedness of non-integrable hyperbolic-ellptic Ishimori system in the critical Sobolev space

We consider the Cauchy problem for the hyperbolic-elliptic Ishimori system with general decoupling constant $κ\in \mathbb{R}$ and prove global well-posedness in the critical Sobolev space. The proof relies primarily on new bilinear estimates, which are established via a novel div-curl lemma first introduced by the second author in \cite{zhou_1+2dimensional_2022}. Our approach combines the caloric gauge technique with $U^p$-$V^p$ type Strichartz estimates to handle the hyperbolic structure of the equation. The results extend previous work on the integrable case $(κ= 1)$ to general $κ$ and provide a unified framework which also works for the hyperbolic and elliptic Schrödinger maps in dimensions $d \ge 2$.

math.AP↗

arXiv2026

Non-time-decaying global classical solutions to nonlinear wave equations in 3D under the null condition

We present an alternative proof of the global well-posedness of nonlinear wave equations in three spatial dimensions under the null condition, in the regularity regime of the classical local existence theory, assuming smallness of the angular derivatives. Unlike previous methods, which rely on decay in time, our approach is based solely on spatial decay. This provides a new perspective on the problem and offers potential applications to the study of Einstein's equations, which we intend to explore in future work.

math.AP↗

arXiv2026

Global Existence of classical solutions to 3D nonlinear Klein-Gordon equations with low-regularity initial data

This paper studies global existence for the Cauchy problem of nonlinear Klein-Gordon equations in three space dimensions, strictly within the regularity regime of classical local existence. We prove it via higher-order and lower-order energy estimates. The proof relies on two key ingredients. The first is due to the work of Georgiev and Popivanov, which reduces quadratic nonlinearities to cubic terms plus ghost-energy-controllable terms, securing lower-order estimates. The second is a sharp Klainerman-Sobolev-type inequality without the scaling operator, established herein, which yields enough time decay for derivatives up to second order; integration by parts then controls derivative loss terms in the higher-order estimates.

math.AP↗

arXiv2026

Localize-Then-Decide Guarantees for LLM Judgments

Large language models (LLMs) are increasingly used as evaluators to assess output quality and preference alignment, yet providing reliable guarantees of agreement with human judgments remains challenging. Recent work introduces confidence-thresholding methods that provide such guarantees for pairwise comparisons, relying on the assumption that higher estimated confidence implies lower disagreement risk with humans. However, this assumption can break down when the number of candidate responses increases, since distributing probability mass across many alternatives can distort confidence estimates. To address this issue, we propose a Localize-Then-Decide framework. First, conformal prediction localizes a small shortlist that contains the human-preferred response with high probability. Then, a calibrated confidence-based rule selectively chooses a single response from this shortlist or abstains. This design restores the monotonic relationship between confidence and disagreement risk and enables high-probability agreement guarantees. Experiments with multiple candidate sizes across several datasets and judge LLMs demonstrate that our framework consistently achieves higher guarantee success rates and substantially higher coverage than single-stage baselines.

cs.CL↗

arXiv2026

Unlocking Multimodal Protein Language Models at Inference Time

Multimodal protein language models (pLMs) learn joint protein sequence-structure distributions, and their generation performance should also depend critically on inference-time sampling strategies. Yet prior work has focused more on model training than on how inference-time strategies behave. In this paper, we establish a three-stage investigation framework to empirically study the inference design space of multimodal pLMs across three representative pLMs and four fundamental tasks. We evaluate vanilla sampling, task-specific classifier-free guidance, and reward-guided beam search on multimodal pLMs, corresponding to controls over sampling distributions, per-step logits, and parallel trajectories. Throughout the complementary advancements centered on exploration-exploitation trade-off, we (1) reveal the suboptimality of default inference protocols and identify task-oriented sampling preferences; (2) observe substantial quantitative gains across tasks, consistently boosting the upper bound performance of multimodal pLMs without updating model parameters; (3) derive conclusions about base models that differ from prior consensus.

cs.CE↗

arXiv2026

Unit-to-Plant Stability Shaping of Multi-Electrolyzer ReP2H Plants via Interface Design and Dispatch

Alkaline water electrolysis (AWE) units supplied by insulated gate bipolar transistor rectifiers (IGBT-Rs) may experience oscil-lations caused by coupling between rectifier control and electro-lyzer (ELZ) dynamics. Because this risk varies with unit loading and power allocation, production-oriented dispatch may place a multi-ELZ renewable power-to-hydrogen (ReP2H) plant near or exceed its stability boundary. This paper proposes a stability-oriented framework for control design and plant production dis-patch. A three-port admittance model links the ac port, dc link, and electrolysis stack. Unit-level dc-port analysis quantifies the effects of loading, temperature, Buck bandwidth, and dc-link capacitance, while plant-level aggregation evaluates how unit commitment and power allocation affect stability. Results show that higher loading reduces stability, whereas larger dc-link ca-pacitance and higher Buck bandwidth improve it. Under the same plant loading, different power allocations result in different plant-level stability margins, with balanced allocation generally providing a larger margin than concentrated allocation. The plant-level model thus distinguishes the stability margins of ad-missible schedules. Hardware-in-the-loop (HIL) tests validate these trends and the proposed redistribution rule. The resulting operating regions and dispatch rules can be used to screen unit commitment and power allocation decisions in plant production scheduling.

math.OC↗

arXiv2026

Density Spectra of Topological Groups

We study density spectra associated with dense and closed subgroups of topological groups. For a topological group $G$, let $\dd^*(G)$ denote the set of densities of its dense subgroups. We prove that every compact group satisfies $\dd^*(G)=[d(G),w(G)]$. We also investigate the density spectrum $\cd(G)$ of infinite closed subgroups. In $\mathbf{ZFC}$, we construct a separable countably compact Boolean group containing a closed non-separable subgroup, answering a question of Leiderman, Morris, and Tkachenko. We further show that a free pro-$p$ group of uncountable rank has no non-trivial metrizable closed normal subgroup, giving a negative answer to a problem of Hernández, Hofmann, and Morris. Finally, we study when $\cd(G)$ is an interval. Among other results, we show that under Shelah's Strong Hypothesis ($\mathbf{SSH}$), the closed density spectrum of every infinite $ω$-bounded group of countable tightness is an interval of cardinals.

math.GR↗