arXiv Science⌕ Search

arXiv subjects

Yunfeng Shi

Publications and source records attributed to Yunfeng Shi.

At least 19 recordsLinked to original sources

All-Disorder Localization for the One-Dimensional Anderson Model with Power-Law Hopping

We consider the one-dimensional random operator \[ (H_{λ,ω}u)(n) = \sum_{m\ne n}\frac{u(m)}{|n-m|^r} +λω_nu(n), \] where the random variables $ω_n$ are independent and uniformly distributed on $[-1,1]$ (i.e., \mbox{$ω_n\stackrel{\mathrm{i.i.d.}}{\sim}\operatorname{Unif}[-1,1]$}). For every $λ>0$ and $r>3/2$, we prove that $H_{λ,ω}$ almost surely has pure point spectrum and admits an orthonormal eigenbasis $\{ψ_j\}$ satisfying \[ \sum_{n\in\bbZ}(1+|n|)^{2τ}|ψ_j(n)|^2<\infty \qquad \text{for every }j\text{ and }0\leτ<r-\frac32. \] These conclusions establish spectral localization, thereby rigorously confirming the prediction of earlier analytical and numerical studies in the physics literature, which identified $r=3/2$ as the marginal exponent.

math-ph↗

Scaling Latent Reasoning via Looped Language Models

Modern LLMs are trained to "think" primarily via explicit text generation, such as chain-of-thought (CoT), which defers reasoning to post-training and under-leverages pre-training data. We present and open-source Ouro, named after the recursive Ouroboros, a family of pre-trained Looped Language Models (LoopLM) that instead build reasoning into the pre-training phase through (i) iterative computation in latent space, (ii) an entropy-regularized objective for learned depth allocation, and (iii) scaling to 7.7T tokens. Ouro 1.4B and 2.6B models enjoy superior performance that match the results of up to 12B SOTA LLMs across a wide range of benchmarks. Through controlled experiments, we show this advantage stems not from increased knowledge capacity, but from superior knowledge manipulation capabilities. We also show that LoopLM yields reasoning traces more aligned with final outputs than explicit CoT. We hope our results show the potential of LoopLM as a novel scaling direction in the reasoning era. Our model is available here: http://ouro-llm.github.io.

cs.CL↗

Remote epitaxy beyond polarity

Remote epitaxy through a monolayer two-dimensional material-covered substrate establishes a crystallographic registry across the van der Waals (vdW) surface that enables the epitaxial growth, lift-off and transfer of single-crystalline films. A central belief in remote epitaxy is that the substrate facilitating the phenomenon must be a material with strong ionicity, as the interatomic electrostatic potential fluctuation in covalent and metallic materials is substantially attenuated by two-dimensional materials. Here, we show remote epitaxy is possible when the substrate is a metallic or covalently bonded material and experimentally demonstrate non-polar remote homo- and heteroepitaxy across a wide range of material systems, including both metals and semiconductors. The achieved non-polar remote interactions are designed and engineered by harnessing substrate conductivity and vicinal surface step-edge density. These findings indicate that remote epitaxy is universal and applicable to ionic, metallic, and covalent materials, expanding its capabilities and stimulating a plethora of new fundamental scientific questions about the mechanism of remote epitaxy.

cond-mat.mtrl-sci↗

HarnessDev: Can LLMs Create and Evolve Their Own Agent Harness?

As agents move from research prototypes to deployed tools, their capability increasingly depends on model-external execution infrastructure, commonly termed the agent harness. Changing this harness while holding model weights fixed can substantially alter task performance. Current agent evaluations typically report downstream performance under a chosen harness, leaving a model's ability to develop the harness itself comparatively underexplored. We introduce HarnessDev, a benchmark that shifts the unit of evaluation from task outputs to runnable infrastructure. HarnessDev covers two stages. In Creation, the agent starts from a minimal seed and a small number of cases, then builds a complete execution system. In Evolution, it starts from its own created harness and iteratively revises it using downstream execution feedback, with the goal of improving benchmark performance. We then evaluate each constructed harness on capability (task success on held-out benchmarks) and efficiency (execution-token cost). The reported Creation results cover six creator LLMs, four domains, and five downstream benchmarks totaling 2,207 unique downstream instances, with hidden evaluation tasks withheld from development. We find that generated harnesses remain substantially behind mature human-engineered references on code and on search and research, while matching or exceeding the selected references on writing and machine-learning experimentation, with large variation in execution cost. Evolution produces some performance gains, but they are unstable and transfer only partially to held-out tasks. Experiments with a fixed runtime model further show that the gains depend strongly on the model executing the harness, indicating limited transfer across models.

cs.SE↗

Aspire: Can Models Self-Evolve from Vague Goals?

Many important forms of human learning begin with a vague goal, such as "become a better physicist" or "improve at research." Learners must interpret the goal, identify capability gaps, decide how to learn, and determine whether they have actually improved. In contrast, existing work on LLM self-evolution typically begins with tasks and evaluation metrics specified by humans, reducing self-evolution to optimizing an explicit objective rather than deciding what and how to learn. We introduce ASPIRE, a benchmark for vague-goal-driven self-evolution. ASPIRE provides only a natural-language capability goal while downstream evaluation tasks remain hidden. The agent must operationalize the goal by choosing data and update methods, constructing training and validation signals, and deciding when to evaluate. ASPIRE supports both model-weight and agent-harness evolution in a unified interactive environment and evaluates the resulting systems on a hidden, expert-authored set of 520 items spanning six goals. Our experiments show that vague goals redirect search effort toward goal interpretation. Current agents routinely complete training and harness-editing loops, but weight-level gains remain sparse and unstable, and the strongest evolved harness remains below the engineered Qwen-Agent reference. Agents often train on mismatched data and trust narrow self-evaluations, so local gains fail to transfer to hidden evaluation and continued search and training can erase earlier improvements.

cs.CL↗

Localization and unique continuation for the Anderson-Bernoulli model with long-range hopping on $\mathbb{Z}$

In this paper, we study Anderson localization near the spectral edge for the Anderson-Bernoulli model on $\mathbb{Z}$ with long-range hopping. When the hopping has a rational Laurent symbol, a quantitative version of the unique continuation principle can be proved, and localization occurs. For the unique continuation in the general case, we give some counterexamples and prove a weaker result for hopping that decays faster than exponential rate. To the best of our knowledge, this is the first localization result for the long-range Anderson model with pure Bernoulli potentials.

math.SP↗

OProver: A Unified Framework for Agentic Formal Theorem Proving

Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely integrated into prover training, appearing only at inference time. We present OProver, a unified framework for agentic formal theorem proving in Lean 4, in which failed proof attempts are iteratively revised using retrieved compiler verified proofs and Lean compiler feedback. OProver is trained through continued pretraining followed by iterative post-training: each iteration runs agentic proving, indexes newly verified proofs into OProofs and the retrieval memory, uses repair trajectories as SFT data, and uses unresolved hard cases for RL. OProofs is built from public Lean resources, large-scale proof synthesis, and agentic proving traces, containing 1.77M Lean statements, 6.86M compiler-verified proofs, and serialized trajectories with retrieved context, failed attempts, feedback, and repairs. Across five benchmarks, OProver-32B attains the best Pass@32 on MiniF2F (93.3%), ProverBench (58.2%), and PutnamBench (11.3%), and ranks second on MathOlympiad (22.8%) and ProofNet (33.2%) more top placements than any prior open-weight whole-proof prover.

cs.CL↗

Anderson Localization for the hierarchical Anderson-Bernoulli model on $\mathbb{Z}^d$

In this paper, we prove Anderson localization for a hierarchical Anderson-Bernoulli model on lattice with arbitrary dimension, where the potential is characterized by a geometric hierarchical structure combined with fluctuations induced by independent and identically distributed (i.i.d.) Bernoulli random variables. Our method is also applicable to proving a probabilistic unique continuation result on $\mathbb{Z}^d$.

math.AP↗

Anderson localized states for the quasi-periodic nonlinear Schrödinger equation on $\mathbb Z^d$

We establish large sets of Anderson localized states for the quasi-periodic nonlinear Schrödinger equation on $\mathbb Z^d$, thus extending Anderson localization from the linear (cf. Bourgain [Geom. Funct. Anal., 17(3):682--706, 2007]) to a nonlinear setting, and the random (cf. Bourgain-Wang [J. Eur. Math. Soc., 10(1):1--45, 2008]) to a deterministic setting. Among the main ingredients are a new Diophantine estimate of quasi-periodic functions in arbitrarily dimensional phase space, and the application of Bourgain's geometric lemma in [Geom. Funct. Anal., 17(3):682--706, 2007].

math-ph↗

Anderson localization and Hölder continuity of the integrated density of states for analytic quasiperiodic Schrödinger operators

We establish both Anderson localization and Hölder continuity of the integrated density of states for quasiperiodic Schrödinger operators on $\mathbb{Z}^d$ with any non-constant analytic potential and any Diophantine frequency in the perturbative regime. Our proof is based on a new method for controlling Green's functions and eliminating double resonances, in the spirit of multi-scale analysis. To the best of our knowledge, this is the first multi-scale analysis approach that works for fixed Diophantine frequencies and potentials beyond the cosine type.

math-ph↗

Green's function estimates for quasi-periodic operators on $\mathbb{Z}^d$ with power-law long-range hopping

We establish quantitative Green's function estimates for a class of quasi-periodic (QP) operators on $\mathbb{Z}^d$ with power-law long-range hopping and analytic cosine type potentials. As applications, we prove the arithmetic version of localization, the finite volume version of $(\frac12-)$-Hölder continuity of the IDS, and the absence of eigenvalues (for Aubry dual operators).

math-ph↗

On localization for the alloy-type Anderson-Bernoulli model with long-range hopping

In this paper, we prove the Anderson localization near the spectral edge for some alloy-type Anderson-Bernoulli model on $\mathbb{Z}^d$ with exponential long-range hopping. This extends the work of Bourgain [Geometric Aspects of Functional Analysis, LNM 1850: 77--99, 2004], in which he pioneered a novel multi-scale analysis to treat Bernoulli random variables. Our proof is mainly based on Bourgain's method. However, to establish the initial scales Green's function estimates, we adapt the approach of Klopp [Comm. Math. Phys, Vol. 232, 125--155, 2002], which is based on the Floquet-Bloch theory and a certain quantitative uncertainty principle. Our proof also applies to an analogues model on $\mathbb{R}^d.$

math-ph↗

Localization for random operators on $\mathbb{Z}^d$ with the long-range hopping

In this paper, we investigate random operators on $\mathbb{Z}^d$ with Hölder continuously distributed potentials and the long-range hopping. The hopping amplitude decays with the inter-particle distance $\|\bm x\|$ as $e^{-\log^ρ(\|\bm x\|+1)}$ with $ρ>1,\bm x\in\Z^d$. By employing the multi-scale analysis (MSA) technique, we prove that for large disorder, the random operators have pure point spectrum with localized eigenfunctions whose decay rate is the same as the hopping term. This gives a partial answer to a conjecture of Yeung and Oono [{\it Europhys. Lett.} 4(9), (1987): 1061-1065].

math-ph↗

Extended states for the Random Schrödinger operator on $\mathbb{Z}^d$ ($d\geq 5$) with decaying Bernoulli potential

In this paper, we investigate the delocalization property of the discrete Schrödinger operator $H_ω=-Δ+v_nω_nδ_{n,n'}$, where $v_n=κ|n|^{-α}$ and $ω=\{ω_n\}_{n\in\mathbb{Z}^d}\in \{\pm 1\}^{\mathbb{Z}^d}$ is a sequence of i.i.d. Bernoulli random variables. Under the assumptions of $d\geq 5$, $α>\frac14$ and $0<κ\ll1$, we construct the extended states for a deterministic renormalization of $H_ω$ for most $ω$. This extends the work of Bourgain [{\it Geometric Aspects of Functional Analysis}, LNM 1807: 70--98, 2003], where the case $α>\frac13$ was handled. Our proof is based on Green's function estimates via a $6$th-order renormalization scheme. Among the main new ingredients are the proof of a generalized Khintchine inequality via Bonami's lemma, and the application of the fractional Gagliardo-Nirenberg inequality to control a new type of non-random operators arising from the $6$th-order renormalization.

math-ph↗

Localization for Lipschitz monotone quasi-periodic Schrödinger operators on $\mathbb{Z}^d$ via Rellich functions analysis

We establish the Anderson localization and exponential dynamical localization for a class of quasi-periodic Schrödinger operators on $\mathbb{Z}^d$ with bounded or unbounded Lipschitz monotone potentials via multi-scale analysis based on Rellich function analysis in the perturbative regime. We show that at each scale, the resonant Rellich function uniformly inherits the Lipschitz monotonicity property of the potential via a novel Schur complement argument.

math-ph↗

Anderson localized states for the nonlinear Maryland model on $\mathbb{Z}^d$

In this paper, we investigate Anderson localization for a nonlinear perturbation of the Maryland model $H=\varepsilonΔ+\cotπ(θ+j\cdotα)δ_{j,j'}$ on $\mathbb{Z}^d$. Specifically, if $\varepsilon,δ$ are sufficiently small, we construct a large number of time quasi-periodic and space exponentially decaying solutions (i.e., Anderson localized states) for the equation $i\frac{\partial u}{\partial t}=Hu+δ|u|^{2p}u$ with a Diophantine $α$. Our proof combines eigenvalue estimates of the Maryland model with the Craig-Wayne-Bourgain method, which originates from KAM theory for Hamiltonian PDEs.

math.AP↗