Cusp Universality for Correlated Random Matrices

For correlated real symmetric or complex Hermitian random matrices, we prove that the local eigenvalue statistics at any cusp singularity are universal. Since the density of states typically exhibits only square root edge or cubic root cusp singularities, our result completes the proof of the Wigner-Dyson-Mehta universality conjecture in all spectral regimes for a very general class of random matrices. Previously only the bulk and the edge universality were established in this generality (Alt et al. in Ann Probab 48(2):963-1001, 2020), while cusp universality was proven only for Wigner-type matrices with independent entries (Cipolloni et al. in Pure Appl Anal 1:615-707, 2019; Erdős et al. in Commun. Math. Phys. 378:1203-1278, 2018). As our main technical input, we prove an optimal local law at the cusp using the Zigzag strategy, a recursive tandem of the characteristic flow method and a Green function comparison argument. Moreover, our proof of the optimal local law holds uniformly in the spectrum, thus we also provide a significantly simplified alternative proof of the local eigenvalue universality in the previously studied bulk (Erdős et al. in Forum Math. Sigma 7:E8, 2019) and edge (Alt et al. in Ann Probab 48(2):963-1001, 2020) regimes.