SPECTRAL EDGE IN SPARSE RANDOM GRAPHS: UPPER AND LOWER TAIL LARGE DEVIATIONS

• 成果类型: Article
• 署名作者: Bhattacharya, Bhaswar B.; Bhattacharya, Sohom; Ganguly, Shirshendu
• 署名单位: University of Pennsylvania; Stanford University; University of California System; University of California Berkeley
• 刊物名称: ANNALS OF PROBABILITY
• ISSN/ISSBN: 0091-1798
• DOI: 10.1214/20-AOP1495
• 发表日期: 2021
• 页码: 1847-1885
• 关键词: largest eigenvalue; wigner matrices; statistics; complexity; PRINCIPLE; NORM

摘要

In this paper, we consider the problem of estimating the joint upper and lower tail large deviations of the edge eigenvalues of an Erdos-Renyi random graph G(n,p), in the regime of p where the edge of the spectrum is no longer governed by global observables, such as the number of edges, but rather by localized statistics, such as high degree vertices. Going beyond the recent developments in mean-field approximations of related problems, this paper provides a comprehensive treatment of the large deviations of the spectral edge in this entire regime, which notably includes the well-studied case of constant average degree. In particular, for r >= 1 fixed, we pin down the asymptotic probability that the top r eigenvalues are jointly greater/less than their typical values by multiplicative factors bigger/smaller than 1, in the regime mentioned above. The proof for the upper tail relies on a novel structure theorem, obtained by building on estimates in (Combin. Probab. Comput. 12 (2003) 61-72), followed by an iterative cycle removal process, which shows, conditional on the upper tail large deviation event, with high probability the graph admits a decomposition in to a disjoint union of stars and a spectrally negligible part. On the other hand, the key ingredient in the proof of the lower tail is a Ramsey-type result which shows that if the K th largest degree of a graph is not atypically small (for some large K depending on r), then either the top eigenvalue or the rth largest eigenvalue is larger than that allowed by the lower tail event on the top r eigenvalues, thus forcing a contradiction. The above arguments reduce the problems to developing a large deviation theory for the extremal degrees which could be of independent interest.