On the integrality gap of degree-4 sum of squares for planted clique

Abstract

The problem of finding large cliques in random graphs and its variant, where one wants to recover a clique of size ω > log (n) added to an Erdo's-Renyi graph G ~ G(n, 1/2), have been intensely studied. Nevertheless, existing polynomial time algorithms can only recover planted cliques of size ω = Ω([EQUATION]). By contrast, information theoretically, one can recover planted cliques so long as ω > log (n).In this work, we continue the investigation of algorithms from the sum of squares hierarchy for solving the planted clique problem begun by Meka, Potechin, and Wigderson [MPW15] and Deshpande and Montanari [DM15b]. Our main results improve upon both these previous works by showing:1. Degree four SoS does not recover the planted clique unless ω >[EQUATION] polylog n, improving upon the bound ω > n1/3 due to [DM15b].2. For [EQUATION], degree 2d SoS does not recover the planted clique unless ω > n1/(d+1)/(2d polylog n), improving upon the bound due to [MPW15].Our proof for the second result is based on a fine spectral analysis of the certificate used in the prior works [MPW15, DM15b, FK03] by decomposing it along an appropriately chosen basis. Along the way, we develop combinatorial tools to analyze the spectrum of random matrices with dependent entries and to understand the symmetries in the eigenspaces of the set symmetric matrices inspired by work of Grigoriev [Gri01a].An argument of Kelner shows that the first result cannot be proved using the same certificate. Rather, our proof involves constructing and analyzing a new certificate that yields the nearly tight lower bound by correcting the certificate of [MPW15, DM15b, FK03].