arXiv subjects

Yi Han

Publications and source records attributed to Yi Han.

At least 37 records · Page 2Linked to original sources

arXiv2026

Stochastic heat equation with nondegenerate Hölder diffusion coefficient: uniqueness below the three-fourth threshold

We consider stochastic heat equation (SHE) defined on 1-d torus $\mathbb{T}$ of the form $$\partial_t u=Δu+g(u)\dot{W},$$where $\dot{W}$ is a space-time white noise and $g$ is a real-valued function which is uniformly elliptic (i.e., $|g|$ is uniformly bounded away from 0), and is globally $β$-Holder continuous for some $β\in(0,1)$. We prove that weak uniqueness holds as long as $β>\frac{2}{3}$. The same uniqueness holds for vector-valued solutions where the coefficient $G$ has the same dimension as the white noise. Previously, uniqueness of solutions to the SHE with Holder diffusion coefficient was only established for $β>\frac{3}{4}$ via a Yamada Watanabe argument by Mytnik and Perkins (arxiv:0809.0248) without assuming $g$ is nonzero. And when $β<\frac{3}{4}$, Mueller, Mytnik and Perkins (arXiv:1201.2767) constructed a non-unique SPDE example satisfying $g(0)=0$. A later generalized coupling argument for nondegenerate $g$ also stopped at the same threshold $\frac{3}{4}$. Our result shows that uniform ellipticity of $g$ restores uniqueness to SHEs in the Holder regime where the same SHE with non-elliptic $g$ and the same Holder regularity are often non-unique in law. This constitutes the first general class of SHE weak uniqueness results in the $β\in(\frac{2}{3},\frac{3}{4}]$ regime.

math.PR↗

arXiv2026

Towards Spatial Trace with Reasoning in Vision-Language Models for Robotics

Spatial tracing, as a fundamental embodied interaction ability for robots, is inherently challenging as it requires multi-step metric-grounded reasoning compounded with complex spatial referring and real-world metric measurement. However, existing methods struggle with this compositional task. To this end, we propose RoboTracer, a 3D-aware VLM that first achieves both 3D spatial referring and measuring via a universal spatial encoder and a regression-supervised decoder to enhance scale awareness during supervised fine-tuning (SFT). Moreover, RoboTracer advances multi-step metric-grounded reasoning via reinforcement fine-tuning (RFT) with metric-sensitive process rewards, supervising key intermediate perceptual cues to accurately generate spatial traces. To support SFT and RFT training, we introduce TraceSpatial, a large-scale dataset of 30M QA pairs, spanning outdoor/indoor/tabletop scenes and supporting complex reasoning processes (up to 9 steps). We further present TraceSpatial-Bench, a challenging benchmark filling the gap to evaluate spatial tracing. Experimental results show that RoboTracer surpasses baselines in spatial understanding, measuring, and referring, with an average success rate of 79.1%, and also achieves SOTA performance on TraceSpatial-Bench by a large margin, exceeding Gemini-2.5-Pro by 36% accuracy. Notably, RoboTracer can be integrated with various control policies to execute long-horizon, dynamic tasks across diverse robots (UR5, G1 humanoid) in cluttered real-world scenes. Please see the project page at https://zhoues.github.io/RoboTracer.

cs.RO↗

arXiv2026

Are Large Language Models Suitable for Graph Computation? Progress and Prospects

Large language models (LLMs) have been increasingly explored for graph computation, where tasks require reasoning over structured relationships and algorithmic operations. Yet, it remains unclear when LLMs can reliably support such computation and how they should be incorporated into graph-solving pipelines. Existing surveys at the intersection of LLMs and graphs primarily focus on graph learning, text-attributed graphs, or graph-language modeling. To bridge this gap, we provide a comprehensive review of LLMs for graph computation through a role-based taxonomy. Specifically, we identify two major paradigms: i) LLMs as executors, where models directly solve graph tasks from graph descriptions and instructions; and ii) LLMs as planners, where models formulate problems, decompose reasoning steps, and invoke external tools or agents for execution. Based on this taxonomy, we analyze the strengths and limitations of current methods. Our review indicates that LLMs are promising for simple, small-scale tasks, but remain unreliable for large-scale and exactness-demanding tasks. Finally, we summarize available datasets and suggest four future directions.

cs.CL↗

arXiv2026

Brown measure convergence for the spectrum of polynomials in Ginibre matrices

Fix a multivariate polynomial $\mathfrak{p}$ in $n$ non-commuting variables of arbitrary degree, and consider $n$ independent $N\times N$ complex Ginibre matrices $X_1^N,\cdots,X_n^N$. We prove that the empirical spectral distribution of $P^N=\mathfrak{p}(X_1^N,\cdots,X_n^N)$ converges as $N$ tends to infinity to the so-called Brown measure of $\mathfrak{p}$ evaluated at free circular variables. For polynomials of degree at most 2, the convergence was proven by Cook, Guionnet, and Husson \cite{cook2022spectrum}, and we prove that the convergence in fact holds for polynomials $\mathfrak{p}$ of any degree. The main step in the proof is a least singular value lower bound for $P^N-z$ for almost all complex shifts $z$, and we prove this via a least singular value lower bound for a wide class of tensorized Ginibre matrices of finite type with a deterministic shift, which is of independent interest. We further show that the Brown measure convergence holds beyond Gaussians: the same convergence holds when the entry law has mean 0, variance 1, bounded density on $\mathbb{C}$ and finite moments of all orders.

math.PR↗

arXiv2026

FinTagging: Benchmarking LLMs for Extracting and Structuring Financial Information

Accurate interpretation of numerical data in financial reports is critical for markets and regulators. Although XBRL (eXtensible Business Reporting Language) provides a standard for tagging financial figures, mapping thousands of facts to over 10k US GAAP concepts remains costly and error prone. Existing benchmarks oversimplify this task as flat, single step classification over small subsets of concepts, ignoring the hierarchical semantics of the taxonomy and the structured nature of financial documents. Consequently, these benchmarks fail to evaluate Large Language Models (LLMs) under realistic reporting conditions. To bridge this gap, we introduce FinTagging, the first comprehensive benchmark for structure aware and full scope XBRL tagging. We decompose the complex tagging process into two subtasks: (1) FinNI (Financial Numeric Identification), which extracts entities and types from heterogeneous contexts including text and tables; and (2) FinCL (Financial Concept Linking), which maps extracted entities to the full US GAAP taxonomy. This two stage formulation enables a fair assessment of LLMs' capabilities in numerical reasoning and taxonomy alignment. Evaluating diverse LLMs in zero shot settings reveals that while models generalize well in extraction, they struggle significantly with fine grained concept linking, highlighting critical limitations in domain specific structure aware reasoning.

cs.CL↗

arXiv2026

Conv-FinRe: A Conversational and Longitudinal Benchmark for Utility-Grounded Financial Recommendation

Most recommendation benchmarks evaluate how well a model imitates user behavior. In financial advisory, however, observed actions can be noisy or short-sighted under market volatility and may conflict with a user's long-term goals. Treating what users chose as the sole ground truth, therefore, conflates behavioral imitation with decision quality. We introduce Conv-FinRe, a conversational and longitudinal benchmark for stock recommendation that evaluates LLMs beyond behavior matching. Given an onboarding interview, step-wise market context, and advisory dialogues, models must generate rankings over a fixed investment horizon. Crucially, Conv-FinRe provides multi-view references that distinguish descriptive behavior from normative utility grounded in investor-specific risk preferences, enabling diagnosis of whether an LLM follows rational analysis, mimics user noise, or is driven by market momentum. We build the benchmark from real market data and human decision trajectories, instantiate controlled advisory conversations, and evaluate a suite of state-of-the-art LLMs. Results reveal a persistent tension between rational decision quality and behavioral alignment: models that perform well on utility-based ranking often fail to match user choices, whereas behaviorally aligned models can overfit short-term noise. The dataset is publicly released on Hugging Face, and the codebase is available on GitHub.

cs.AI↗

arXiv2026

Can LLM Agents Be CFOs? Benchmarking Long-Horizon Resource Allocation in an Uncertain Enterprise Environment

Large language model (LLM) agents are increasingly tested on complex tasks, but their ability to allocate scarce resources over long horizons remains unclear. Unlike reactive tasks with immediate feedback, this setting requires agents to make binding commitments under partial observability, delayed consequences, hard resource budgets, and shifting dynamics. We introduce EnterpriseArena, a 132-month CFO simulator that evaluates long-horizon resource allocation under uncertainty in a FinTech lending firm. Agents must manage liquidity, close books, gather costly signals, and request equity or debt financing across changing macroeconomic regimes. The simulator is built from transformed firm-level financial data, anonymized business documents, decade-scale macroeconomic and industry signals, and expert-validated operating rules. Experiments across 23 LLMs and four agent frameworks show that current agents remain far from robust: only 15.4% of trials survive the full horizon, larger models do not reliably outperform smaller ones, and failures cascade across observation, action timing, and capital sizing. These findings establish long-horizon resource allocation under uncertainty as a distinct capability gap for LLM agents.

cs.AI↗

arXiv2026

On the rank of a random symmetric matrix in the large deviation regime

Let $A$ be an $n\times n$ random symmetric matrix with independent identically distributed subgaussian entries of unit variance. We prove the following large deviation inequality for the rank of $A$: for all $1\leq k\leq c\sqrt{n}$, $$\mathbb{P}(\operatorname{Rank}(A)\geq n-k)\geq 1-\exp(-c'kn),$$ for some fixed constants $c,c'>0$. A similar large deviation inequality is proven for the rank of the adjacency matrix of dense Erdos-Renyi graphs. This corank estimate enhances the recent breakthrough of Campos, Jensen, Michelen and Sahasrabudhe that the singularity probability of a random symmetric matrix is exponentially small, and echoes a large deviation inequality of Mark Rudelson for the rank of a random matrix with independent entries.

math.PR↗

arXiv2026

Glauber dynamics for random field Ising models on bounded degree graphs and MLSI

We study the ferromagnetic random field Ising model (RFIM) on a graph $G=(V,E)$ having maximal degree $Δ$, where the external field at each vertex is an i.i.d. random variable. When the random field distribution is sufficiently anti-concentrated, we prove that with high probability over the quenched randomness of the external field, the Glauber dynamics of this RFIM mixes in polynomial time as a consequence of a Poincaré inequality. This model is relevant to the Griffiths phase where the correlations decay exponentially fast in expectation over the quenched random field, but contraction does not hold point-wise due to the existence of weak fields that lead to low-temperature behavior. Previously, fast mixing of Glauber dynamics under large disorder was only proven on the integer lattice, and for RFIM on general graphs, only a sampling algorithm based on self-avoiding walks was known. Under a further technical condition that the random fields are bounded, we prove a modified log-Sobolev inequality for the Glauber dynamics. When the random field is weaker but still satisfies weak spatial mixing (exponential decay of correlations from boundary to bulk) in expectation, and the graph has at most $α$-stretched exponential growth for some $α<1$, then we prove a weak Poincaré inequality holds, which gives rise to a polynomial time sampling algorithm based on Glauber dynamics with warm start. The latter result was previously proven for the integer lattice, and we extend its scope to graphs with only a volume growth condition without assuming a local geometry.

math.PR↗

arXiv2026

FinCriticalED: A Visual Benchmark for Financial Fact-Level OCR

Recent progress in multimodal large language models (MLLMs) has substantially improved document understanding, yet strong optical character recognition (OCR) performance on surface metrics does not guarantee faithful preservation of decision-critical evidence. This limitation is especially consequential in financial documents, where small visual errors can induce discrete shifts in meaning. To study this gap, we introduce FinCriticalED (Financial Critical Error Detection), a fact-centric visual benchmark for evaluating whether OCR and vision-language systems preserve financially critical evidence beyond lexical similarity. FinCriticalED contains 859 real-world financial document pages with 9,481 expert-annotated facts spanning five critical field types: numeric, temporal, monetary unit, reporting entity, and financial concept. We formulate the task as structured OCR with fact-level verification, and develop a Deterministic-Rule-Guided LLM-as-Judge protocol to assess whether model outputs preserve annotated facts in context. We benchmark 13 systems spanning OCR pipelines, specialized OCR VLMs, open-source MLLMs, and proprietary MLLMs. Results reveal a clear gap between lexical accuracy and factual reliability, with numerical values and monetary units emerging as the most vulnerable fact types, and critical errors concentrating in visually complex, mixed-layout documents with distinct failure patterns across model families. Overall, FinCriticalED provides a rigorous benchmark for trustworthy financial OCR and a practical testbed for evidence fidelity in high-stakes multimodal document understanding. Benchmark and dataset details available at https://the-finai.github.io/FinCriticalED/

cs.CV↗

arXiv2026

Quadratic shift-and-stack for Ground-Based Optical Detection of Faint Cislunar Objects

Detecting faint objects in cislunar space using ground-based optical telescopes is difficult because of their low brightness, strong lunar background, and complex, nonlinear apparent motion. Traditional shift-and-stack techniques based on linear motion assumption suffer signal trailing loss due to significant nonlinear motion during long integrations, thus producing a degraded signal-to-noise ratio (SNR). In this paper, we first derive a theoretical criterion based on the point spread function to determine the maximum applicable integration time for linear-motion stacking. We then propose a quadratic shift-and-stack (QSS) method to correct for the first-order nonlinear motion, namely the angular acceleration of cislunar targets. Simulations of typical cislunar orbits verify this theoretical criterion and show that the QSS method significantly improves SNR from stacking and can enhance the detection limit by up to 1 stellar magnitude compared with the linear-motion stacking method. Furthermore, tests using observational data of the cislunar object Tiandu-1 confirm that while linear stacking degrades after a 29-minute integration due to trajectory curvature, the QSS method achieves continuous SNR improvement over a 46-minute integration, outperforming the peak SNR of the linear method by 31%.

astro-ph.IM↗

arXiv2026

More scaling limits for 1d random Schrödinger operators with critically decaying and vanishing potentials

Consider the random Schrödinger operator $H_n$ defined on $\{0,1,\cdots,n\}\subset\mathbb{Z}$ $$ (H_nψ)_\ell=ψ_{\ell-1,n}+ψ_{\ell+1,n}+σ\frac{ω_\ell}{a_{\ell,n}}ψ_{\ell,n},\quad ψ_0=ψ_{n+1}=0, $$ where $σ>0$, $ω_\ell$ are i.i.d. random variables and $a_{\ell,n}$ typically has order $\sqrt{n}$ for $\ell\in[εn,(1-ε)n]$ and any $ε>0$. Two important cases: (a) the vanishing case $a_{\ell,n}=\sqrt{n}$ and (b) the decaying case $a_{\ell,n}=\sqrt{\ell}$, were studied before in \cite{kritchevski2011scaling}. In this paper we consider more general decaying profiles that lie in between these two extreme cases. We characterize the scaling limit of transfer matrices and determine the point process limit of eigenvalues near a fixed energy in the bulk, in terms of solutions to coupled SDEs. We obtain new point processes that share similar properties to the $\text{Sch}_τ$ process. We determine the shape profile of eigenfunctions after a suitable rescaling, that corresponds to a uniformly chosen eigenvalue of $H_n$. We also give a more detailed description of the newly defined point processes, including the probability of small and large gaps and a variance estimate.

math.PR↗

arXiv2026

SaPaVe: Towards Active Perception and Manipulation in Vision-Language-Action Models for Robotics

Active perception and manipulation are crucial for robots to interact with complex scenes. Existing methods struggle to unify semantic-driven active perception with robust, viewpoint-invariant execution. We propose SaPaVe, an end-to-end framework that jointly learns these capabilities in a data-efficient manner. Our approach decouples camera and manipulation actions rather than placing them in a shared action space, and follows a bottom-up training strategy: we first train semantic camera control on a large-scale dataset, then jointly optimize both action types using hybrid data. To support this framework, we introduce ActiveViewPose-200K, a dataset of 200k image-language-camera movement pairs for semantic camera movement learning, and a 3D geometry-aware module that improves execution robustness under dynamic viewpoints. We also present ActiveManip-Bench, the first benchmark for evaluating active manipulation beyond fixed-view settings. Extensive experiments in both simulation and real-world environments show that SaPaVe outperforms recent vision-language-action models such as GR00T N1 and $π_0$, achieving up to 31.25\% higher success rates in real-world tasks. These results show that tightly coupled perception and execution, when trained with decoupled yet coordinated strategies, enable efficient and generalizable active manipulation. Project page: https://lmzpai.github.io/SaPaVe

cs.RO↗

arXiv2026

TIGeR: Tool-Integrated Geometric Reasoning in Vision-Language Models for Robotics

Vision-Language Models (VLMs) have shown remarkable capabilities in spatial reasoning, yet they remain fundamentally limited to qualitative precision and lack the computational precision required for real-world robotics. Current approaches fail to leverage metric cues from depth sensors and camera calibration, instead reducing geometric problems to pattern recognition tasks that cannot deliver the centimeter-level accuracy essential for robotic manipulation. We present TIGeR (Tool-Integrated Geometric Reasoning), a novel framework that transforms VLMs from perceptual estimators to geometric computers by enabling them to generate and execute precise geometric computations through external tools. Rather than attempting to internalize complex geometric operations within neural networks, TIGeR empowers models to recognize geometric reasoning requirements, synthesize appropriate computational code, and invoke specialized libraries for exact calculations. To support this paradigm, we introduce TIGeR-300K, a comprehensive tool-invocation-oriented dataset covering point transformations, pose estimation, and spatial compatibility verification, complete with tool invocation sequences and intermediate computations. Through a two-stage training pipeline combining supervised fine-tuning (SFT) and reinforcement fine-tuning (RFT) with our proposed hierarchical reward design, TIGeR achieves SOTA performance on geometric reasoning benchmarks while demonstrating centimeter-level precision in real-world robotic manipulation tasks.

cs.RO↗

arXiv2026

The USTC-NERCSLIP Systems for the CHiME-9 MCoRec Challenge

This report details our submission to the CHiME-9 MCoRec Challenge on recognizing and clustering multiple concurrent natural conversations within indoor social settings. Unlike conventional meetings centered on a single shared topic, this scenario contains multiple parallel dialogues--up to eight speakers across up to four simultaneous conversations--with a speech overlap rate exceeding 90%. To tackle this, we propose a multimodal cascaded system that leverages per-speaker visual streams extracted from synchronized 360 degree video together with single-channel audio. Our system improves three components of the pipeline by leveraging enhanced audio-visual pretrained models: Active Speaker Detection (ASD), Audio-Visual Target Speech Extraction (AVTSE), and Audio-Visual Speech Recognition (AVSR). The AVSR module further incorporates Whisper and LLM techniques to boost transcription accuracy. Our best single cascaded system achieves a Speaker Word Error Rate (WER) of 32.44% on the development set. By further applying ROVER to fuse outputs from diverse front-end and back-end variants, we reduce Speaker WER to 31.40%. Notably, our LLM-based zero-shot conversational clustering achieves a speaker clustering F1 score of 1.0, yielding a final Joint ASR-Clustering Error Rate (JACER) of 15.70%.

eess.AS↗

arXiv2026

Invertibility for non-Hermitian and symmetric random band matrices with sublinear bandwidth and discrete entries

A well-known result in random matrix theory, proven by Kahn, Komlós and Szemerédi in 1995, states that a square random matrix with i.i.d. uniform $\{\pm 1\}$ entries is invertible with probability $1-\exp(-Ω(n))$. As a natural generalization of the model, we consider the invertibility of a class of random band matrices with independent entries where the bandwidth $d_n$ scales like $n^α$, for some $α\in(0,1)$. The band matrix model we consider is sufficiently general and covers existing models such as the block band matrix and periodic band matrix, allowing great flexibility in the variance profile. As the bandwidth is sublinear in the dimension, estimating the invertibility and least singular values of these matrices is a well-known open problem. We make progress towards the invertibility problem by showing that, when $α>\frac{2}{3}$ and when the random variables are i.i.d. uniformly distributed on $\{\pm 1+c\}$ for any fixed integer $c$, then the band matrix is invertible with probability $1-\exp(-Ω(n^{α/2}))$. Previously, even invertibility with probability $1-o(1)$ was not known for these band matrix models except in the very special case of block band matrices. We then extend the invertibility result to symmetric random band matrices with integer entries, and prove the same non-singularity probability estimate whenever $α>\frac{2}{3}$.

math.PR↗

arXiv2026

MIRROR: Manifold Ideal Reference ReconstructOR for Generalizable AI-Generated Image Detection

High-fidelity generative models have narrowed the perceptual gap between synthetic and real images, posing serious threats to media security. Most existing AI-generated image (AIGI) detectors rely on artifact-based classification and struggle to generalize to evolving generative traces. In contrast, human judgment relies on stable real-world regularities, with deviations from the human cognitive manifold serving as a more generalizable signal of forgery. Motivated by this insight, we reformulate AIGI detection as a Reference-Comparison problem that verifies consistency with the real-image manifold rather than fitting specific forgery cues. We propose MIRROR (Manifold Ideal Reference ReconstructOR), a framework that explicitly encodes reality priors using a learnable discrete memory bank. MIRROR projects an input into a manifold-consistent ideal reference via sparse linear combination, and uses the resulting residuals as robust detection signals. To evaluate whether detectors reach the "superhuman crossover" required to replace human experts, we introduce the Human-AIGI benchmark, featuring a psychophysically curated human-imperceptible subset. Across 14 benchmarks, MIRROR consistently outperforms prior methods, achieving gains of 2.1% on six standard benchmarks and 8.1% on seven in-the-wild benchmarks. On Human-AIGI, MIRROR reaches 89.6% accuracy across 27 generators, surpassing both lay users and visual experts, and further approaching the human perceptual limit as pretrained backbones scale. The code is publicly available at: https://github.com/349793927/MIRROR

cs.CV↗

arXiv2026

RoboBrain 2.5: Depth in Sight, Time in Mind

We introduce RoboBrain 2.5, a next-generation embodied AI foundation model that advances general perception, spatial reasoning, and temporal modeling through extensive training on high-quality spatiotemporal supervision. Building upon its predecessor, RoboBrain 2.5 introduces two major capability upgrades. Specifically, it unlocks Precise 3D Spatial Reasoning by shifting from 2D pixel-relative grounding to depth-aware coordinate prediction and absolute metric constraint comprehension, generating complete 3D manipulation traces as ordered keypoint sequences under physical constraints. Complementing this spatial precision, the model establishes Dense Temporal Value Estimation that provides dense, step-aware progress prediction and execution state understanding across varying viewpoints, producing stable feedback signals for downstream learning. Together, these upgrades extend the framework toward more physically grounded and execution-aware embodied intelligence for complex, fine-grained manipulation. The code and checkpoints are available at project website: https://superrobobrain.github.io

cs.RO↗