On the variational problem for upper tails in sparse random graphs1. Issue 3 (28th April 2016)

• Record Type: Journal Article
• Authors: Lubetzky, Eyal; Zhao, Yufei
• Is Part Of: Random structures & algorithms. Volume 50:Issue 3(2017)
• Page Start: 420
• Page End: 436
• Publication Date: 2016-04-28
• Subjects: large deviations -- sparse random graphs -- upper tails of subgraph counts; Random graphs -- Periodicals; Mathematical analysis -- Periodicals; 519
• DOI: 10.1002/rsa.20658
• Languages: English
• ISSNs: 1042-9832

Abstract

Abstract: What is the probability that the number of triangles in G n, p, the Erdős‐Rényi random graph with edge density p, is at least twice its mean? Writing it as exp [ − r ( n, p ) ], already the order of the rate function r ( n, p ) was a longstanding open problem when p = o (1), finally settled in 2012 by Chatterjee and by DeMarco and Kahn, who independently showed that r ( n, p ) ≍ n 2 p 2 log ( 1 / p ) for p ≳ log n n ; the exact asymptotics of r ( n, p ) remained unknown. The following variational problem can be related to this large deviation question at p ≳ log n n : for δ > 0 fixed, what is the minimum asymptotic p ‐relative entropy of a weighted graph on n vertices with triangle density at least (1 + δ ) p 3 ? A beautiful large deviation framework of Chatterjee and Varadhan (2011) reduces upper tails for triangles to a limiting version of this problem for fixed p . A very recent breakthrough of Chatterjee and Dembo extended its validity to n − α ≪ p ≪ 1 for an explicit α > 0, and plausibly it holds in all of the above sparse regime. In this note we show that the solution to the variational problem is min { 1 2 δ 2 / 3 , 1 3 δ } when n − 1 / 2 ≪ p ≪ 1 vs. 1 2 δ 2 / 3 when n − 1 ≪ p ≪ n − 1 / 2 (the transition between these regimes is expressed in the count of triangles minus an edge in the minimizer). From the results of Chatterjee and Dembo, this shows for instance that the probability that G n, p for n − α ≤ p ≪ 1 has twice as many triangles as its expectation is exp [ − r ( n, p ) ] where r ( n, p ) ∼ 1 3 n 2 p 2 log ( 1 / p ) . Our results further extend to k ‐cliques for any fixed k, as well as give the order of the upper tail rate function for an arbitrary fixed subgraph when p ≥ n − α . © 2016 Wiley Periodicals, Inc. Random Struct. Alg., 50, 420–436, 2017