Searcharxiv⌕ Search

arXiv · 2610.35808

Operator limits of random matrices: Edge universality and sharp approximations

Abstract

We establish operator universality at the spectral edge of general Wigner matrices by showing that their suitably rescaled Lanczos tridiagonalizations, constructed from deterministic initial vectors, converge to the stochastic Airy operator with Dirichlet boundary condition. The result requires control of the entire tridiagonal structure on the scale relevant to the limiting differential operator. The Lanczos coefficients for non-Gaussian Wigner matrices are strongly dependent. We analyze their fluctuations by combining multi-resolvent local laws with quantitative control of Krylov subspaces and a comparison of the resulting Jacobi coefficients with those of the Gaussian ensembles. This approach identifies the limiting Brownian potential directly from the original matrix entries, without invoking Dyson Brownian motion in the step of Green function comparison. The resolvent limit yields joint convergence of edge eigenvalues, embedded eigenfunctions, and spectral measures. For Gaussian, Laguerre and circular $β$-ensembles we construct sharp couplings to the stochastic Airy, Bessel and Sine operators, preserving the finite-matrix laws. For fixed $β> 0$, their squared Hilbert-Schmidt inverse errors have almost-sure orders $n^{-1/3}, n^{-1}$ and $n^{-1}$, respectively, with $a > 0$ in the hard-edge upper bound. We also identify the positive leading order coefficient for the circular ensemble, whose second derivative jumps at $β= 2$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hyung-Gil Kwak. 2026-10-26. Operator limits of random matrices: Edge universality and sharp approximations. https://arxiv.org/abs/2610.35808

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

An Abstract Framework for Nonlinear Stochastic Parabolic Systems with Application to a Chemotaxis-Fluid Model

The purpose of the paper is twofold. Firstly, we want to present an abstract existence Theorem to show the existence of a martingale solution for coupled systems of non-linear stochastic partial differential equations. The idea is first to split the system by rewriting the nonlinear part in a linear part acting on a given process. This is done in such a way that the fixed point with respect to the given process would be the solution of the original Stochastic Partial Differential Equation (SPDE). However, it may be necessary to show the well-posedness of the linearized system using a cut-off argument, which may impose additional constraints. We work out under which conditions on the underlying spaces and the cut-off argument one gets a martingale solution of the original SPDE. A similar strategy was applied by Hausenblas and Tolle in [E. Hausenblas and J. Tolle. The stochastic Klausmeier system and a schauder tychonoff type theorem. Potential Analusis, 310:506-554, 2022] to investigate the stochastic Klausmeier system. Secondly, we want to verify the full applicability of the existence Theorem by showing the existence of a martingale solution of a highly nonlinear chemotaxis system with underlying fluid dynamics.

math.PR↗

Hitting probability for Reflected Brownian Motion at Small Target

We derive the asymptotic behavior of hitting probability at small target of size $O(ε)$ for reflected Brownian motion in domains with suitable smooth boundary conditions, where the boundary of domain contains both reflecting part, absorbing part and target. In this case the domain could be localized near the target and explicit computations are possible. The asymptotic behavior is only related to $ε$ up to some multiplicative constants that depends on the domain and boundary conditions.

math.PR↗

The Integrable Snake Model

A pure snake configuration is a bijection $σ:\mathbb{Z}^2 \to \mathbb{Z}^2$ containing no two-cycles and such that for each $x \in \mathbb{Z}^2$ we have $σ(x) \in \{ x , x+ \mathbf{e}^1, x+\mathbf{e}^2 , x- \mathbf{e}^2 \}.$ The non-trivial cycles of a pure snake configuration may be regarded as a collection of non-intersecting paths in $\mathbb{Z}^2$ that may travel right, up, or down (but not left) from a given vertex. Pure snake configurations are a generalisation of lozenge tilings, which are in natural correspondence with paths that only travel right or up. We introduce a partition function on a finite version of this model and study the probabilistic properties of random pure snake configurations chosen according to their contribution to this partition function. Under a suitable weighting, the model is integrable in the sense that we have access to explicit formulas for its partition function and correlation function. We utilise the integrable structure of this model in several applications through its various scaling limits, such as to prove a traffic representation of ASEP on the ring, generalising the analogous result for TASEP by the first author.

math.PR↗