Random matrices: Localization of the eigenvalues and the necessity of four moments

Consider the eigenvalues λᵢ(Mₙ) (in increasing order) of a random Hermitian matrix Mₙ whose upper-triangular entries are independent with mean zero and variance one, and are exponentially decaying. By Wigner's semicircular law, one expects that λᵢ(Mₙ) concentrates around γᵢ √ n, where ∫-∞γᵢ ρsc (x) dx = i/n and ρsc is the semicircular function. In this paper, we show that if the entries have vanishing third moment, then for all 1≤ i ≤ n |λᵢ(Mₙ)-√n γᵢ|² = O(min(n⁻ᶜ min(i,n+1-i)-2/3 n2/3, n1/3+)) , for some absolute constant $c>0$ and any absolute constant >0. In particular, for the eigenvalues in the bulk (min , n-i\=Θ(n)), |λᵢ(Mₙ)-√n γᵢ|² = O(n⁻ᶜ). A similar result is achieved for the rate of convergence. As a corollary, we show that the four moment condition in the Four Moment Theorem is necessary, in the sense that if one allows the fourth moment to change (while keeping the first three moments fixed), then the mean of λᵢ(Mₙ) changes by an amount comparable to n-1/2 on the average. We make a precise conjecture about how the expectation of the eigenvalues vary with the fourth moment.