4 research outputs found
Bounds on the Norms of Uniform Low Degree Graph Matrices
The Sum Of Squares hierarchy is one of the most powerful tools we know of for solving combinatorial optimization problems. However, its performance is only partially understood. Improving our understanding of the sum of squares hierarchy is a major open problem in computational complexity theory.
A key component of analyzing the sum of squares hierarchy is understanding the behavior of certain matrices whose entries are random but not independent. For these matrices, there is a random input graph and each entry of the matrix is a low degree function of the edges of this input graph. Moreoever, these matrices are generally invariant (as a function of the input graph) when we permute the vertices of the input graph. In this paper, we bound the norms of all such matrices up to a polylogarithmic factor
A Nearly Tight Sum-of-Squares Lower Bound for the Planted Clique Problem
We prove that with high probability over the choice of a random graph
from the Erd\H{o}s-R\'enyi distribution , the -time degree
Sum-of-Squares semidefinite programming relaxation for the clique problem
will give a value of at least for some constant
. This yields a nearly tight bound on the value of this
program for any degree . Moreover we introduce a new framework
that we call \emph{pseudo-calibration} to construct Sum of Squares lower
bounds. This framework is inspired by taking a computational analog of Bayesian
probability theory. It yields a general recipe for constructing good
pseudo-distributions (i.e., dual certificates for the Sum-of-Squares
semidefinite program), and sheds further light on the ways in which this
hierarchy differs from others.Comment: 55 page
Machinery for Proving Sum-of-Squares Lower Bounds on Certification Problems
In this paper, we construct general machinery for proving Sum-of-Squares
lower bounds on certification problems by generalizing the techniques used by
Barak et al. [FOCS 2016] to prove Sum-of-Squares lower bounds for planted
clique. Using this machinery, we prove degree Sum-of-Squares
lower bounds for tensor PCA, the Wishart model of sparse PCA, and a variant of
planted clique which we call planted slightly denser subgraph.Comment: 134 page