--- title: Non-Asymptotic Wigner Matrices url: https://www.emergentmind.com/topics/non-asymptotic-wigner-matrices type: topic --- # Non-Asymptotic Wigner Matrices Non-asymptotic Wigner matrices are Wigner and Wigner-type random matrix models studied through finite-\(N\) estimates, quantitative large-\(N\) approximations, and spectral control that is meaningful before passage to the limit. In the cited literature, this includes explicit high-probability bounds, local laws down to the smallest spectral resolution scale, deterministic approximations for traces and matrix elements, convergence rates for operator norms, eigenvalue-exclusion statements, and singularity estimates. It also includes a persistent contrast with asymptotic-only universality theory: Tao–Vu’s bulk universality work proves convergence of local \(k\)-point correlation functions to the Dyson sine process and explicitly states that it “does not claim non-asymptotic universality bounds,” while the critical heavy-tail edge paper proves a new limiting law for the largest eigenvalue but is “essentially asymptotic only” and does not derive explicit finite-\(n\) tail inequalities, concentration inequalities, or quantitative convergence rates [1101.5707], [2203.08712]. ## 1. Models, normalizations, and deterministic reference objects The standard Wigner model in this literature is an \(N\times N\) real symmetric or complex Hermitian matrix with independent upper-triangular entries, centered, and normalized so that off-diagonal variances are of order \(N^{-1}\). Several papers extend this to generalized or Wigner-type ensembles with a deterministic variance profile \[ s_{ij}:=\mathbb E|h_{ij}|^2, \] or to polynomial and finite-rank deformations involving deterministic matrices [1506.05098], [1103.3731]. For general Wigner-type matrices, the semicircle law is replaced by a self-consistent density of states determined by the quadratic vector equation \[ -\frac{1}{m_i(z)} = z + \sum_j s_{ij} m_j(z), \] whose solution \(\mathbf m(z)=(m_1(z),\dots,m_N(z))\) gives the deterministic diagonal approximation to the resolvent \(G(z)=(H-z)^{-1}\) [1506.05098]. This shift from a scalar Stieltjes transform to a vector-valued deterministic profile is one of the main structural differences between classical Wigner ensembles and general variance-profile models. A parallel deterministic reference appears in free-probability formulations. For Hermitian polynomials in independent Wigner and deterministic matrices, the limiting support is described by evaluating the polynomial on a free semicircular system and the deterministic limit variables. In this setting, the support of the free operator’s spectral distribution acts as the deterministic spectral boundary for large finite matrices [1611.07440]. For products of functions of self-adjoint polynomials in Wigner and deterministic matrices, deterministic approximations are formulated in the free-product model \(\mathcal M_N(\mathbb C)*\mathcal A(x)\), with the free trace \(T_N\) and the conditional expectation onto \(\mathcal M_N(\mathbb C)\) providing the leading finite-\(N\) terms [2208.02118]. This suggests that non-asymptotic Wigner theory is organized around two kinds of deterministic objects: self-consistent analytic objects such as the QVE solution, and operator-valued free-probability models used to predict finite-dimensional spectra and observables. ## 2. Local laws, rigidity, and the boundary with asymptotic bulk universality The modern quantitative core of the subject is the local law. For general self-adjoint \(N\times N\) matrices with centered independent entries and arbitrary nonnegative symmetric variance profile \(S=(s_{ij})\), Ajanki, Erdős, and Krüger prove that the resolvent is close to \(\mathrm{diag}(\mathbf m(z))\) down to the optimal resolution scale \[ \eta \ge N^{\gamma-1}, \qquad \gamma\in(0,1), \] and obtain bulk universality for both real symmetric and complex Hermitian symmetry classes [1506.05098]. In the bulk, where \(\rho(\tau)\ge \rho_*>0\), the entrywise local law simplifies to \[ \max_{i,j}|G_{ij}(z)-m_i(z)\delta_{ij}|\prec (N\eta)^{-1/2}, \] and the averaged law improves to order \((N\eta)^{-1}\) [1506.05098]. These estimates yield large-but-finite spectral control. The same paper derives convergence of the empirical spectrum to the density of states, rigidity of individual eigenvalues relative to their deterministic quantiles, absence of eigenvalues outside \(\operatorname{supp}\rho\) except near the correct microscopic scale, and complete delocalization \[ \|u^{(i)}\|_\infty \prec N^{-1/2} \] for all eigenvectors [1506.05098]. The deterministic density may have multiple intervals, internal gaps, square-root edges, cubic-root singularities, and cusp regimes, so the local law is not tied to a single-cut semicircle geometry. By contrast, Tao–Vu’s bulk universality paper is explicitly asymptotic. It studies the local \(k\)-point correlation functions \[ p_{n,u}^{(k)}(t_1,\dots,t_k) \] obtained by rescaling around a bulk energy \(u\in(-2,2)\) at the semicircle spacing scale \(1/(n\rho_{\mathrm{sc}}(u))\), and proves convergence to the determinantal Dyson sine process under weak distributional assumptions. Under a sufficiently high finite-moment assumption, the convergence is vague; under an additional regularity hypothesis on the atom density, it upgrades to local \(L^1\) convergence [1101.5707]. The paper is careful about the distinction between vague convergence, local \(L^1\), weak convergence, averaged vague convergence, and local uniform convergence, and it emphasizes that local \(L^1\) is stronger than vague convergence and only makes sense for continuous ensembles [1101.5707]. The contrast is conceptually important. Local laws and rigidity supply finite-\(N\) control and stability estimates; bulk universality in the sense of \(k\)-point correlations supplies limiting local statistics but, in the cited asymptotic formulation, not non-asymptotic error bounds. ## 3. Spectral norm, regular edges, and outliers A central non-asymptotic problem is control of the spectral edge. For Wigner-type ensembles with variance matrix \(S\), the norm is asymptotically given by the maximum of the support of the self-consistent density of states. Alt, Erdős, and Krüger improve the earlier bound \(2\|S\|_\infty^{1/2}\) by proving \[ \max \operatorname{supp} p \le \frac{2}{\omega_c(J)}, \] where \(\omega_c(J)\) is the smallest positive root of \[ \Phi_J(\omega) = 1-\omega\left( 1+\sum_{j=1}^{J} z_j\,\omega^{j} +\sum_{j>J}\omega^{j} \right), \qquad z_j=\|S^j\|_\infty. \] This yields a high-probability finite-\(N\) bound on \(\lambda_{\max}(H(N))\) for sequences satisfying the stated moment assumptions [1802.05175]. The proof uses a tree/Dyck-path expansion of the Dyson equation, a chopping procedure converting long branches into factors \(\|S^j\|_\infty\), and an effective Markov chain approximation for weighted Dyck paths [1802.05175]. For Hermitian quadratic polynomials in several independent Wigner matrices, \[ q(X_1,\ldots,X_l)=\sum_{i,j=1}^l X_iA_{ij} X_j + \sum_{i=1}^l b_i X_i+c, \] Ajanki, Cipolloni, and Erdős prove that, except for specific reducible cases, the limiting spectral density has regular square-root edges and the operator norm converges to the deterministic edge at the optimal rate \(N^{-2/3+o(1)}\) [2308.16778]. The paper explicitly states that the exponent is optimal, and relates this to the \(N^{-2/3}\) edge spacing implied by square-root behavior. Finite-rank deformations give a second major edge regime. For \[ M_N = -\frac{1}{\sqrt N}W_N + A_N, \] with \(A_N\) a deterministic Hermitian finite-rank perturbation, Capitaine, Knowles, and others show that spikes satisfying \(|\theta_j|>\sigma\) produce outliers converging to \[ \rho_j=\theta_j+\frac{\sigma^2}{\theta_j}, \] under the finite-moment assumptions of uniformly bounded fifth moments off-diagonal and uniformly bounded third moments on the diagonal [1103.3731]. The corresponding eigenvalues fluctuate on the \(\sqrt N\)-scale, with non-universal limits in the localized-eigenvector case and universal GOE/GUE limits in the delocalized-eigenvector case [1103.3731]. A more recent generalized Wigner result studies \[ A_N = W_N+\theta_N \sum_{i=1}^k \alpha_i e_i e_i', \] where the variance profile is \(f(j/N,\ell/N)\) and the spike scale satisfies \[ \sqrt N(\log N)^\xi \preceq \theta_N \preceq N. \] In this regime the top \(k\) eigenvalues become outliers with first-order behavior \[ \lambda_i(A)=\theta_N\alpha_i\left(1+o_{hp}(1)\right), \] their centered fluctuations are jointly Gaussian, the eigenvectors align with the perturbation directions, and the full eigenvector process converges in \(H^{-d}[0,1]\) for every \(d>1/2\) [2601.10204]. By contrast, the borderline heavy-tail edge paper identifies the asymptotic transition law \[ \lambda_1(A)\Rightarrow f(\mathcal F_c), \qquad f(x)= \begin{cases} 2, & 0