We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: Semidefinite Relaxations of Products of Nonnegative Forms on the Sphere

Abstract: We study the problem of maximizing the geometric mean of $d$ low-degree non-negative forms on the real or complex sphere in $n$ variables. We show that this highly non-convex problem is NP-hard even when the forms are quadratic and is equivalent to optimizing a homogeneous polynomial of degree $O(d)$ on the sphere. The standard Sum-of-Squares based convex relaxation for this polynomial optimization problem requires solving a semidefinite program (SDP) of size $n^{O(d)}$, with multiplicative approximation guarantees of $\Omega(\frac{1}{n})$. We exploit the compact representation of this polynomial to introduce a SDP relaxation of size polynomial in $n$ and $d$, and prove that it achieves a constant factor multiplicative approximation when maximizing the geometric mean of non-negative quadratic forms. We also show that this analysis is asymptotically tight, with a sequence of instances where the gap between the relaxation and true optimum approaches this constant factor as $d \rightarrow \infty$. Next we propose a series of intermediate relaxations of increasing complexity that interpolate to the full Sum-of-Squares relaxation, as well as a rounding algorithm that finds an approximate solution from the solution of any intermediate relaxation. Finally we show that this approach can be generalized for relaxations of products of non-negative forms of any degree.
Comments: 26 pages, 3 figures. New Section 2.4 and fixed typos involving Fact 4.4
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
MSC classes: 90C23, 90C22 (Primary) 14P10, 90C59, 68w25, 68Q25 (Secondary)
Cite as: arXiv:2102.13220 [math.OC]
  (or arXiv:2102.13220v2 [math.OC] for this version)

Submission history

From: Chenyang Yuan [view email]
[v1] Thu, 25 Feb 2021 23:06:32 GMT (1077kb,D)
[v2] Sat, 20 Mar 2021 06:50:58 GMT (1078kb,D)

Link back to: arXiv, form interface, contact.