Improved Sum-of-Squares Lower Bounds for Hidden Clique and Hidden Submatrix Problems

02/23/2015
by   Yash Deshpande, et al.
0

Given a large data matrix A∈R^n× n, we consider the problem of determining whether its entries are i.i.d. with some known marginal distribution A_ij∼ P_0, or instead A contains a principal submatrix A_ Q, Q whose entries have marginal distribution A_ij∼ P_1≠ P_0. As a special case, the hidden (or planted) clique problem requires to find a planted clique in an otherwise uniformly random graph. Assuming unbounded computational resources, this hypothesis testing problem is statistically solvable provided | Q|> C n for a suitable constant C. However, despite substantial effort, no polynomial time algorithm is known that succeeds with high probability when | Q| = o(√(n)). Recently Meka and Wigderson meka2013association, proposed a method to establish lower bounds within the Sum of Squares (SOS) semidefinite hierarchy. Here we consider the degree-4 SOS relaxation, and study the construction of meka2013association to prove that SOS fails unless k> C n^1/3/ n. An argument presented by Barak implies that this lower bound cannot be substantially improved unless the witness construction is changed in the proof. Our proof uses the moments method to bound the spectrum of a certain random association scheme, i.e. a symmetric random matrix whose rows and columns are indexed by the edges of an Erdös-Renyi random graph.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/04/2022

A degree 4 sum-of-squares lower bound for the clique number of the Paley graph

We prove that the degree 4 sum-of-squares (SOS) relaxation of the clique...
research
08/12/2016

Chi-squared Amplification: Identifying Hidden Hubs

We consider the following general hidden hubs model: an n × n random mat...
research
07/26/2019

A Tight Degree 4 Sum-of-Squares Lower Bound for the Sherrington-Kirkpatrick Hamiltonian

We show that, if W∈R^N × N_sym is drawn from the gaussian orthogonal ens...
research
09/03/2020

Sum-of-Squares Lower Bounds for Sherrington-Kirkpatrick via Planted Affine Planes

The Sum-of-Squares (SoS) hierarchy is a semi-definite programming meta-a...
research
09/15/2020

Positivity-preserving extensions of sum-of-squares pseudomoments over the hypercube

We introduce a new method for building higher-degree sum-of-squares lowe...
research
03/11/2022

The spectrum of the Grigoriev-Laurent pseudomoments

Grigoriev (2001) and Laurent (2003) independently showed that the sum-of...
research
05/16/2021

A Stress-Free Sum-of-Squares Lower Bound for Coloring

We prove that with high probability over the choice of a random graph G ...

Please sign up or login with your details

Forgot password? Click here to reset