Rigidity of eigenvalues of generalized Wigner matrices

Consider N×NN×N Hermitian or symmetric random matrices H   with independent entries, where the distribution of the (i,j)(i,j) matrix element is given by the probability measure νijνij with zero expectation and with variance σij2. We assume that the variances satisfy the normalization condition ∑iσij2=1 for all j and that there is a positive constant c   such that c⩽Nσij2⩽c−1. We further assume that the probability distributions νijνij have a uniform subexponential decay. We prove that the Stieltjes transform of the empirical eigenvalue distribution of H   is given by the Wigner semicircle law uniformly up to the edges of the spectrum with an error of order (Nη)−1(Nη)−1 where η   is the imaginary part of the spectral parameter in the Stieltjes transform. There are three corollaries to this strong local semicircle law: (1) Rigidity of eigenvalues: If γj=γj,Nγj=γj,N denotes the classical location of the j-th eigenvalue under the semicircle law ordered in increasing order, then the j  -th eigenvalue λjλj is close to γjγj in the sense that for some positive constants C, cP(∃j:|λj−γj|⩾(logN)CloglogN[min(j,N−j+1)]−1/3N−2/3)⩽Cexp[−(logN)cloglogN]P(∃j:|λj−γj|⩾(logN)CloglogN[min(j,N−j+1)]−1/3N−2/3)⩽Cexp[−(logN)cloglogN] for N large enough. (2) The proof of Dysonʼs conjecture (Dyson, 1962 [15]) which states that the time scale of the Dyson Brownian motion to reach local equilibrium is of order N−1N−1 up to logarithmic corrections. (3) The edge universality holds in the sense that the probability distributions of the largest (and the smallest) eigenvalues of two generalized Wigner ensembles are the same in the large N limit provided that the second moments of the two ensembles are identical.