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: On the Equivalence of SDP Feasibility and a Convex Hull Relaxation for System of Quadratic Equations

Abstract: We show {\it semidefinite programming} (SDP) feasibility problem is equivalent to solving a {\it convex hull relaxation} (CHR) for system of quadratic equations. On the one hand this offers a simple description of SDP. On the other hand, this equivalence makes it possible to describe a version of the {\it Triangle Algorithm} for SDP feasibility based on solving CHR. Specifically, the Triangle Algorithm either computes an approximation to the least-norm feasible solution of SDP, or using its {\it distance duality}, provides a separation when no solution within a prescribed norm exists. The worst-case complexity of each iteration is computing largest eigenvalue of a symmetric matrix arising in that iteration. Alternate complexity bounds on the total number of iterations are derived. Further applications includes solving an SDP optimization problem. The Triangle Algorithm thus provides an alternative to the existing interior-point algorithms for SDP. Finally, gaining from these results and insights, we discuss potential extension to solving general system of polynomial equations.
Comments: 8 pages
Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)
MSC classes: 90C22, 90C25, 90C20, 90C90, 90C06, 68W25, 52A20, 32C37
ACM classes: F.2.1; G.1.3
Cite as: arXiv:1911.03989 [math.OC]
  (or arXiv:1911.03989v1 [math.OC] for this version)

Submission history

From: Bahman Kalantari [view email]
[v1] Sun, 10 Nov 2019 20:02:56 GMT (11kb)

Link back to: arXiv, form interface, contact.