Algorithmic Thresholds for Refuting Random Polynomial Systems

10/16/2021
by   Jun-Ting Hsieh, et al.
0

Consider a system of m polynomial equations {p_i(x) = b_i}_i ≤ m of degree D≥ 2 in n-dimensional variable x ∈ℝ^n such that each coefficient of every p_i and b_is are chosen at random and independently from some continuous distribution. We study the basic question of determining the smallest m – the algorithmic threshold – for which efficient algorithms can find refutations (i.e. certificates of unsatisfiability) for such systems. This setting generalizes problems such as refuting random SAT instances, low-rank matrix sensing and certifying pseudo-randomness of Goldreich's candidate generators and generalizations. We show that for every d ∈ℕ, the (n+m)^O(d)-time canonical sum-of-squares (SoS) relaxation refutes such a system with high probability whenever m ≥ O(n) · (n/d)^D-1. We prove a lower bound in the restricted low-degree polynomial model of computation which suggests that this trade-off between SoS degree and the number of equations is nearly tight for all d. We also confirm the predictions of this lower bound in a limited setting by showing a lower bound on the canonical degree-4 sum-of-squares relaxation for refuting random quadratic polynomials. Together, our results provide evidence for an algorithmic threshold for the problem at m ≳O(n) · n^(1-δ)(D-1) for 2^n^δ-time algorithms for all δ.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

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...
09/10/2017

A Note on Property Testing Sum of Squares and Multivariate Polynomial Interpolation

In this paper, we investigate property testing whether or not a degree d...
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...
07/08/2021

SoS certification for symmetric quadratic functions and its connection to constrained Boolean hypercube optimization

We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean...
07/30/2018

High-dimensional estimation via sum-of-squares proofs

Estimation is the computational task of recovering a hidden parameter x ...
04/15/2020

Learning sums of powers of low-degree polynomials in the non-degenerate case

We develop algorithms for writing a polynomial as sums of powers of low ...
08/12/2016

Chi-squared Amplification: Identifying Hidden Hubs

We consider the following general hidden hubs model: an n × n random mat...
This week in AI

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