Abstract:We give new rounding schemes for SDP relaxations for the problems of maximizing cubic polynomials over the unit sphere and the $n$-dimensional hypercube. In both cases, the resulting algorithms yield a $O(\sqrt{n/k})$ multiplicative approximation in $2^{O(k)} \text{poly}(n)$ time. In particular, we obtain a $O(\sqrt{n/\log n})$ approximation in polynomial time. For the unit sphere, this improves on the rounding algorithms of Bhattiprolu et. al. [BGG+17] that need quasi-polynomial time to obtain a similar approximation guarantee. Over the $n$-dimensional hypercube, our results match the guarantee of a search algorithm of Khot and Naor [KN08] that obtains a similar approximation ratio via techniques from convex geometry. Unlike their method, our algorithm obtains an upper bound on the integrality gap of SDP relaxations for the problem and as a result, also yields a certificate on the optimum value of the input instance. Our results naturally generalize to homogeneous polynomials of higher degree and imply improved algorithms for approximating satisfiable instances of Max-3SAT. Our main motivation is the stark lack of rounding techniques for SDP relaxations of higher degree polynomial optimization in sharp contrast to a rich theory of SDP roundings for the quadratic case. Our rounding algorithms introduce two new ideas: 1) a new polynomial reweighting based method to round sum-of-squares relaxations of higher degree polynomial maximization problems, and 2) a general technique to compress such relaxations down to substantially smaller SDPs by relying on an explicit construction of certain hitting sets. We hope that our work will inspire improved rounding algorithms for polynomial optimization and related problems.

An Improved Analysis of Semidefinite Approximation Bound for Nonconvex Nonhomogeneous Quadratic Optimization with Ellipsoid Constraints

Tightening a Copositive Relaxation for Standard Quadratic Optimization Problems

Improving the Performance of MIQP Solvers for Quadratic Programs with Cardinality and Minimum Threshold Constraints: A Semidefinite Program Approach.

Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming: Matrix Cone Decomposition and Polyhedral Approximation

New SDP Roundings and Certifiable Approximation for Cubic Optimization

On the Reduction of Duality Gap in Box Constrained Nonconvex Quadratic Program

Exact SDP relaxations for a class of quadratic programs with finite and infinite quadratic constraints

On semidefinite descriptions for convex hulls of quadratic programs

A new inexact SQP algorithm for nonlinear systems of mixed equalities and inequalities

Improving Efficiency and Scalability of Sum of Squares Optimization: Recent Advances and Limitations

A note on semidefinite programming relaxations for polynomial optimization over a single sphere

Piecewise SOS-Convex Moment Optimization and Applications via Exact Semi-Definite Programs

Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory

Conic approximation to nonconvex quadratic programming with convex quadratic constraints

Exactness Conditions for Semidefinite Relaxations of the Quadratic Assignment Problem

A subspace SQP method for equality constrained optimization

Conic Approximation to Quadratic Optimization with Linear Complementarity Constraints.

Nonconvex Quadratically Constrained Quadratic Programming: Best D.C. Decompositions and Their SDP Representations.

Exact SDP Reformulations for Adjustable Robust Quadratic Optimization with Affine Decision Rules

Ellipse-Specific Fitting by Relaxing the 3l Constraints with Semidefinite Programming

SOS-convex Semi-algebraic Programs and its Applications to Robust Optimization: A Tractable Class of Nonsmooth Convex Optimization