Lifting Sum-of-Squares Lower Bounds: Degree-2 to Degree-4

11/04/2019
by   Sidhanth Mohanty, et al.
0

The degree-4 Sum-of-Squares (SoS) SDP relaxation is a powerful algorithm that captures the best known polynomial time algorithms for a broad range of problems including MaxCut, Sparsest Cut, all MaxCSPs and tensor PCA. Despite being an explicit algorithm with relatively low computational complexity, the limits of degree-4 SoS SDP are not well understood. For example, existing integrality gaps do not rule out a (2-ε)-algorithm for Vertex Cover or a (0.878+ε)-algorithm for MaxCut via degree-4 SoS SDPs, each of which would refute the notorious Unique Games Conjecture. We exhibit an explicit mapping from solutions for degree-2 Sum-of-Squares SDP (Goemans-Williamson SDP) to solutions for the degree-4 Sum-of-Squares SDP relaxation on boolean variables. By virtue of this mapping, one can lift lower bounds for degree-2 SoS SDP relaxation to corresponding lower bounds for degree-4 SoS SDPs. We use this approach to obtain degree-4 SoS SDP lower bounds for MaxCut on random d-regular graphs, Sherington-Kirkpatrick model from statistical physics and PSD Grothendieck problem. Our constructions use the idea of pseudocalibration towards candidate SDP vectors, while it was previously only used to produce the candidate matrix which one would show is PSD using much technical work. In addition, we develop a different technique to bound the spectral norms of _graphical matrices_ that arise in the context of SoS SDPs. The technique is much simpler and yields better bounds in many cases than the _trace method_ – which was the sole technique for this purpose.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

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...
11/09/2020

Machinery for Proving Sum-of-Squares Lower Bounds on Certification Problems

In this paper, we construct general machinery for proving Sum-of-Squares...
07/30/2018

High-dimensional estimation via sum-of-squares proofs

Estimation is the computational task of recovering a hidden parameter x ...
11/12/2020

Sparse PCA: Algorithms, Adversarial Perturbations and Certificates

We study efficient algorithms for Sparse PCA in standard statistical mod...
04/25/2022

Explicit Lower Bounds Against Ω(n)-Rounds of Sum-of-Squares

We construct an explicit family of 3-XOR instances hard for Ω(n)-levels ...
12/04/2018

Sum of squares bounds for the total ordering principle

In this paper, we analyze the sum of squares hierarchy (SOS) on the tota...
12/07/2021

Lattice-Based Methods Surpass Sum-of-Squares in Clustering

Clustering is a fundamental primitive in unsupervised learning which giv...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.