Answers are grounded in this paper and cite their sources.
The purpose of this note is to establish a Central Limit Theorem for the number of eigenvalues of a Wigner matrix in an interval. The proof relies on the correct asymptotics of the variance of the eigenvalue counting function of GUE matrices due to Gustavsson, and its extension to large families of Wigner matrices by means of the Tao and Vu Four Moment Theorem and recent localization results by Erd?s, Yau and Yin.
No takes yet. Share an insight, caveat, or question.
Dallaporta et al. (2011) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: