arXiv subjects

Ye Zhang

Publications and source records attributed to Ye Zhang.

At least 19 recordsLinked to original sources

arXiv2026

FrontierMat: Benchmarking Language Models at the Frontier of Materials R&D

To accelerate materials discovery, language models must be able to address problems at the research frontier. Yet textbook- and examination-derived benchmarks primarily assess established knowledge, leaving performance on frontier research problems largely untested. We introduce FrontierMat, a benchmark of 330 problems drawn from frontier academic and industrial research in fields including aerospace, semiconductors, embodied intelligence and nuclear fusion. Every problem is validated by leading experimentalists and industry experts in its field. Each problem presents a real study and asks the model to infer a withheld outcome or draw a conclusion from selected experimental evidence. Problems are annotated by functional domain, material system and the scale of the governing mechanism; 130 require cross-scale reasoning. The strongest general-purpose model scores only 53.7%, and on matched problems, cross-scale problems score 8.7 points below single-scale ones. Half of the problems are solved by at most one model, and models fail chiefly by endorsing what is plausible rather than what was observed. A domain-adaptation study with meta-weighted continued pretraining and scale-modular self-distillation raises an open-weight model from 36.7% to 55.4%, matching the strongest proprietary model, with improvements on public materials benchmarks and no decline in aggregate performance on general benchmarks. FrontierMat provides a testbed for measuring progress toward language models that support frontier materials R&D.

cs.AI↗

arXiv2026

Measure Convergence under Weak Domination for Unitarily Invariant Norms on Finite von Neumann Algebras

The classical Lebesgue dominated convergence theorem (DCT) is a cornerstone in commutative measure theory, while its extension to the noncommutative setting has remained a longstanding challenge due to the barriers posed by the noncommutative structure. Let $α$ be a unitarily invariant norm defined on a diffuse tracial von Neumann algebra $(\mathcal{M}, τ)$, let $L^α(\mathcal M, τ)$ be the completion of $\mathcal M$ with respect to the norm $α$(which includes all $L^p(\mathcal M, τ)$ as special cases). In this paper, by replacing ``almost everywhere convergence" with Nelson's convergence in measure, we establish a noncommutative analog of the dominated convergence theorem for $L^α(\mathcal M, τ)$ under a { significantly weaker dominating condition} than those previously considered. For instance, in a $II_1$ factor $\mathcal{M}$, if $P$ is a projection with $τ(P)=\frac{1}{n}$, then $n^2 P$ ``dominates" every operator of norm $\leq n$. As an application, we obtain a complete characterization of center-preserving $*$-automorphism of finite von Neumann algebras, which unifies and extends the earlier works of Kadison and Haagerup on the structure of automorphisms.

math.OA↗

arXiv2026

Uni-Stream: A Unified Streaming Speech Language Model for Speech Synthesis and Recognition

Unified streaming speech language models aim to support speech recognition and synthesis within a single model, enabling real-time human-computer interaction. However, jointly supporting these two directions of speech-text conversion while preserving task-specific performance remains challenging. We propose Uni-Stream, a unified streaming speech language model built on compact pretrained speech models. Uni-Stream processes interleaved text and speech in a streaming format and achieves performance comparable to task-specific models through two-stage training. We also develop a data annotation pipeline for streaming training and will publicly release the generated transcriptions and word-level timestamps. We further examine Uni-Stream's representations across tasks and modalities and find that speech and text residence in distinct latent feature space even when trained in a unified model architecture, while representations within each modality become more task-dependent in later layers.

eess.AS↗

arXiv2026

Mode-Weighted Transport Certificates for State-Dependent Reflected Switching Diffusions

State-dependent switching diffusions can contract in law even when individual modes are expansive. We establish a computable, constant-one contraction certificate on $\mathbb{R}^n$ and compact convex domains with normal reflection. The mode-weighted transport cost combines spatial separation with a discrete graph penalty and retains spatial dependence when the modes differ. A synchronous Brownian coupling and a maximal coupling of jump clocks in equal modes lead to separate equal- and unequal-mode generator inequalities. We give a complete regularization argument for the nonsmooth cost, including the drift and jump errors, the sign of reflection, and the limiting Itô-Dynkin calculation. A resolvent proof transfers contraction to probability-valued weak solutions of the no-flux Fokker-Planck-Kolmogorov system, while an explicit Foster-Lyapunov condition ensures existence and uniqueness of an invariant law on the whole space. For fixed weight ordering and decay rate, certificate synthesis is a semi-infinite linear feasibility problem; on compact domains, a Lipschitz-buffered finite mesh provides a rigorous test. One-dimensional and planar examples illustrate the certificate and its numerical verification.

cs.CE↗

arXiv2026

A unified spectral analysis of high-dimensional linear regression: debiasing and thresholding

We use spectral analysis to establish a unified theory of debiasing, thresholding, and simultaneous inference for high-dimensional linear regression with ill-conditioned designs. The methods include Ridge regression, spectral cut-off, and iterative and dynamical regression procedures. A common debiasing procedure uses two applications of the original linear algorithm with fixed parameters. Spectral analysis shows that debiasing squares the residual, while implementations based on matrix-vector products require no explicit spectral decomposition. Under explicit design, signal, and moment conditions, we establish maximum-norm consistency, recovery of the population threshold set, and error bounds for coefficient and noise-variance estimation. We derive Gaussian approximations for maximum coordinate errors and, under full column rank and deterministic sequences of regression parameters and thresholds, prove bootstrap validity for simultaneous confidence regions. Under additional regularity and gain conditions, we relate noise-free bias rates to best-worst-case error rates. Sparse and non-sparse regression experiments examine the effects of debiasing and thresholding under specified tuning rules. An elliptic inverse source problem extends the numerical assessment to reconstruction and empirical simultaneous coverage.

math.ST↗

arXiv2026

Shallow neural network yields regularization for ill-posed inverse problems

In this paper, we develop regularization theory for neural network approximations of general ill-posed operator equations with noisy data. Within the framework of iterative regularization, we propose two expanding neural network (ENN) based schemes under different a priori assumptions. Instead of prescribing a fixed architecture, ENNs adaptively select the number of neurons through an a posteriori stopping rule, so that the network size serves as a regularization parameter balancing approximation accuracy and stability with respect to data noise. We prove their regularizing properties and quantitative relationships between the network size and the noise level. Within the framework of variational regularization, we propose a neural network-based Tikhonov scheme and derive both convergence and convergence-rate results under mild assumptions. The estimates depend on the noise level, the network size, and the underlying smoothness expressed through general variational source conditions. Numerical experiments demonstrate the effectiveness and robustness of the algorithms, and show that, for highly noisy data, relatively small network architectures can already produce stable reconstructions.

math.NA↗

arXiv2026

Improving Atomic-Fact Recall via Focused Views in Unstructured Knowledge Editing

Large language models (LLMs) increasingly serve as general-purpose interfaces to factual knowledge, but their parameters do not automatically reflect information that changes after pretraining. Knowledge editing (KE) provides a targeted alternative to costly retraining by modifying selected knowledge and preserving unrelated knowledge and general capabilities. Conventional KE uses structured factual triples, whereas unstructured KE (UKE) uses free-form passages containing multiple facts. Nonetheless, existing UKE editors exhibit a failure mode known as context reliance: edited LLMs can often reproduce the editing passage but fail to reliably recall its individual facts without the original passage context. We identify context-induced difficulty underestimation under the standard passage-level editing objective: later facts receive increasingly rich ground-truth context and consequently incur lower initial losses, making them appear easier to learn. In response, we propose FOVEATED, a plug-and-play framework that constructs focused views of each sentence by randomly shifting the Rotary Position Embedding (RoPE) positions assigned to the keys of its preceding context. The perturbation is applied during editing and removed afterward, leaving the model's native positional encoding unchanged at inference time. We instantiate FOVEATED for both direct-optimization and locate-then-edit editors. We theoretically analyze how FOVEATED counteracts context-induced difficulty underestimation and empirically demonstrate consistent improvements across five KE editors, two LLM backbones, and three benchmarks.

cs.CL↗

arXiv2026

A Unified Hierarchical Framework for Fine-grained Cross-view Geo-localization over Large-scale Scenarios

Cross-view geo-localization is a promising solution for large-scale localization problems, requiring the sequential execution of retrieval and metric localization tasks to achieve fine?grained predictions. However, existing methods typically focus on designing standalone models for these two tasks, resulting in inefficient collaboration and increased training overhead. In this paper, we propose UnifyGeo, a novel unified hierarchical geo-localization framework that integrates retrieval and metric localization tasks into a single network. Specifically, we first em?ploy a unified learning strategy to jointly learn multi-granularity representations, establishing task associations between retrieval and metric localization. Subsequently, we design a re-ranking mechanism guided by a dedicated loss function, which enhances geo-localization performance by improving both retrieval accuracy and metric localization references. Extensive experiments demonstrate that UnifyGeo significantly outperforms state-of-the?art methods in both task-isolated and task-associated settings. On the challenging VIGOR benchmark, UnifyGeo achieves 39.64% and 25.58% 1-meter-level localization recall under same-area and cross-area evaluations, respectively, demonstrating strong fine?grained localization capability in large-scale scenarios. Code will be available at https://github.com/chord-sz/UnifyGeo.

cs.CV↗

arXiv2026

Loomis-Whitney inequalities on Reiter-Heisenberg groups

We establish a Loomis-Whitney inequality for the Reiter-Heisenberg groups $\mathbb{G}_{qp}$, a family of step-two Carnot groups that includes the Heisenberg groups when $q=1$. The proof is based on the duality between Brascamp-Lieb inequalities and entropy subadditivity: we first derive the result for $\mathbb{G}_{q1}$ from the known inequality on the first Heisenberg group, using conditional entropy and the invariance of differential entropy under volume-preserving diffeomorphisms; then we pass from $\mathbb{G}_{q1}$ to $\mathbb{G}_{qp}$ via a stability principle for Loomis-Whitney inequalities under finite central sums, which generalizes the argument in (Zhang, 2024 arXiv:2402.02749v2). As consequences, we obtain the associated geometric projection inequality, a Gagliardo-Nirenberg-Sobolev inequality, and an isoperimetric inequality.

math.CA↗

arXiv2026

Clinician-Friendly Foundation Models for Ophthalmic Image Diagnostics without Fine-Tuning or Technical Barriers

Artificial intelligence (AI) shows remarkable potential in medical imaging diagnostics, yet most current models require retraining when applied across different clinical settings, limiting their scalability. We developed GlobeReady, a deployment-oriented platform powered by the RetiGlobe foun- dation model and local feature augmentation. RetiGlobe was pretrained in two stages: 1) self-supervised learning using DINOv2 on 38 million synthetic ophthalmic images, and 2) contrastive learning using CLIP on 475,845 real image-text pairs spanning diverse ethnicities, imaging devices, and geographic regions worldwide. We evaluate GlobeReady on 488,448 ophthalmic images, including color fundus photographs (CFPs) and optical coherence tomography scans, from multi-centres in China, Singapore, Vietnam and the UK. Prospective testing included usability assessment with 31 ophthalmologists. Exploratory analyses evaluated domain generalisability, Bayesian uncertainty quantification, out-of-distribution (OOD) detection, and feature-based case retrieval.

cs.CV↗

arXiv2026

Spectral asymptotics of sub-Riemannian Laplacians on compact Heisenberg manifolds

Let $N_M(λ)$ be the spectral counting function of the sub-Laplacian on the compact Heisenberg manifold $M=Γ\backslash\mathbb H_d$, where $Γ$ is a lattice subgroup of the Heisenberg group $\mathbb H_d$. In 2016, Strichartz \cite[\textit{J. Geom. Anal.}]{Str16} proved the Weyl law with remainder $R_M(λ)=N_M(λ)-A_d\operatorname{vol}(M)λ^{d+1} = O_M(λ^d\logλ)$, and conjectured the optimal remainder to be $O_M(λ^d)$. In this work, we establish a new upper bound and the first two-sided lower bounds $$ R_M(λ)=O_M\!\left(λ^d(\logλ)^{2/3}\right), \qquad R_M(λ)=Ω_{M,\pm}\!\left(λ^d\log\logλ\right). $$ As a result, this implies that the sharp polynomial order is $d$, and disproves Strichartz's conjecture.

math.SP↗

arXiv2026

A $p = 2$ dichotomy for uniform Riesz transform bounds on stratified Lie groups

Let $\mathbb{G}$ be a stratified Lie group and $\mathcal L$ be its sub-Laplacian. We prove that the full horizontal Riesz transform $\nabla_{H} \mathcal L^{-1/2}$ is of weak type $(1,1)$ on real-valued functions, with constant at most $2$. In particular, the constant is independent of the horizontal dimension, the homogeneous dimension, the step, and the underlying group structure of $\mathbb{G}$. Our result provides a noncommutative generalization of the dimension-free Euclidean theorem of Ouyang, Spector, and Stockdale arXiv:2608.18068, with the same universal constant. Our proof relies upon a fractional obstacle problem adapted to stratified Lie groups by using the functional calculus of $\mathcal L$ instead of the Fourier transform. As a consequence, by interpolation we obtain uniform $L^p$ bounds for the full horizontal Riesz transform $\nabla_{H} \mathcal L^{-1/2}$ for $p \in (1,2]$. By contrast, for every $p > 2$, we construct a sequence of stratified Lie groups with fixed horizontal dimension $5$ and steps tending to infinity for which the $L^p$ norms of the horizontal Riesz transforms diverge.

math.CA↗

arXiv2026

A two-step ideal sub-Riemannian structure with no measure contraction properties

We construct a compact, equiregular, ideal sub-Riemannian manifold of step $2$ such that, for every smooth positive measure, the $\mathrm{MCP}(K,N)$ fails for all $K\in\mathbb{R}$ and $N \in (1,\infty)$. This shows that the real-analyticity assumption in the measure contraction theorem of Badreddine and Rifford in arXiv:1712.09900v2 cannot be replaced by smoothness. Moreover, our structure is ideal, i.e. it admits no non-trivial abnormal minimizing geodesics. Although failures of the measure contraction property for ideal structures were recently obtained in the higher-step setting, our construction shows that the phenomenon can already occur on compact, equiregular, ideal structures of step $2$. The proof exploits a differential consequence of the measure contraction property, namely a uniform upper bound for the sub-Laplacian of the squared distance near its base point, and constructs a structure for which this quantity is unbounded.

math.DG↗

arXiv2026

NeuroBreak: Unveil Internal Jailbreak Mechanisms in Large Language Models

Jailbreak attacks bypass the safety alignment of large language models (LLMs) to elicit harmful outputs, yet the vast parameter space makes diagnosing the underlying failure mechanisms extremely challenging. We present NeuroBreak, a visual analytics system that helps experts progressively unpack jailbreak mechanisms from layer-level semantics down to neuron-level behaviors. A layer-wise probing pipeline traces how harmful representations evolve across layers, while a dual-dimensional character--behavior categorization reveals each safety-related neuron's inherent tendency and contextual contribution. These analyses are made interpretable through tailored visualization designs: a task-driven probing projection that reveals safety decision boundaries, a dual-stream semantic evolution flow that traces cross-layer semantic shifts, and a character--behavior chord graph that unifies neuron roles, attribution scores, and collaborative relations in a single view with in-situ causal verification. Quantitative evaluations and case studies show that NeuroBreak uncovers safety failure causes and provides actionable insights for strengthening LLM defenses.

cs.CR↗

arXiv2026

Decoupled Physical Modeling and Execution for Physics Reasoning

Physics reasoning requires constructing a consistent model of the underlying physical system rather than relying solely on symbolic or formula-based manipulation. Although large language models have shown strong ability in solving math and coding problems, they still struggle with physics problems, as these problems entangle the physical modeling process with mathematical calculations. Humans approach physics by first building a representation of the system before performing calculations. Inspired by this, we introduce a unified framework that distills intermediate representations that explicitly encode the physical modeling process and adopt a two-stage post-training strategy, where supervised fine-tuning establishes structured modeling, and reinforcement learning with rubric-based feedback improves the quality of the modeling process. Experiments on multiple multimodal physics benchmarks show that our approach generally improves physical reasoning performance across different models and datasets. Across PhysReason, PhyX, and SeePhys, physical modeling outperforms GRPO by ~3% on average. showing that explicit physical modeling is an effective strategy for improving physics reasoning in small VLMs.

cs.LG↗

arXiv2026

Warp-free Cross-view Geo-localization via Feature-space Consensus Mining

Cross-view geo-localization is challenging due to drastic viewpoint changes and large appearance discrepancies between street-level and satellite imagery. Although existing methods often use geometric warping to expose co-visible cues, such transformations rely on restrictive spatial assumptions and inevitably introduce severe visual distortions under view-dependent visibility, yielding noisy supervision and fragile correspondences. To overcome this, we propose a novel joint-view consensus-guided learning framework that entirely bypasses explicit geometric warping. Instead of forcing rigid spatial alignment, we dynamically mine and adaptively strengthen a semantic consensus directly within the feature space. Specifically, an auxiliary joint-view pathway during training enables direct cross-view interaction, allowing each view to selectively aggregate corroborative evidence into a unified consensus representation. To resolve feature heterogeneity among the single- and joint-view streams, we introduce global pattern probes acting as a semantic dictionary to project divergent modalities into a strictly aligned metric space. Guided by a consensus-mediated contrastive objective, single-view embeddings are explicitly pulled toward the joint-view anchor during training, distilling this consensus-mining capability into the single-view encoders for robust retrieval at inference. Extensive experiments demonstrate that our method achieves state-of-the-art performance across four standard benchmarks, underscoring the importance of discovering cross-view semantic consensus for reliable geo-localization.

cs.CV↗

arXiv2026

Left-invariant metrics on step-two Carnot groups are uniformly doubling

We prove that the uniform doubling property holds for left-invariant Riemannian metrics on every step-two Carnot group and the sharp uniform doubling constant is $2^Q$, where $Q$ is the homogeneous dimension. More generally, every such metric satisfies the Bishop--Gromov type estimate.

math.DG↗

arXiv2026

Modulational spectrum of infinite-depth hydroelastic Stokes waves

We determine the complete local Bloch spectrum bifurcating from the origin for small-amplitude periodic hydroelastic Stokes waves in infinite depth, under the combined effects of gravity, surface tension, and elastic bending. Away from the Wilton-type resonance set, we construct a real-analytic Stokes-wave branch and analyze the four eigenvalues emerging from the defective zero eigenvalue of the linearized hydroelastic Euler system. Using analytic spectral perturbation theory and Hamiltonian-reversible reductions, we decouple them into a Benjamin--Feir pair and a long-wave pair. The long-wave pair remains purely imaginary and has the singular scale $\cO(\sqrt{|μ|})$, whereas the Benjamin--Feir pair is governed by an explicit discriminant whose leading sign yields a sharp criterion for modulational stability and instability. We derive the exact non-resonant phase diagram in the surface-tension-bending parameter plane and identify a bounded stability island generated by elastic bending. In the unstable region, and away from a drift degeneracy, the Benjamin--Feir branches form a local figure-eight curve. In the zero-bending limit, the reduced coefficients recover the known deep-water gravity and gravity-capillary results, while the change from the finite-depth $\cO(|μ|)$ long-wave scale to $\cO(\sqrt{|μ|})$ shows that the infinite-depth problem is singular.

math.AP↗