Abstract:We show {\it semidefinite programming} (SDP) feasibility problem is equivalent to solving a {\it convex hull relaxation} (CHR) for a finite 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 the largest eigenvalue of a symmetric matrix arising in that iteration. Alternate complexity bounds on the total number of iterations can be derived. The Triangle Algorithm thus provides an alternative to the existing interior-point algorithms for SDP feasibility and SDP optimization. In particular, based on a preliminary computational result, we can efficiently solve SDP relaxation of {\it binary quadratic} feasibility via the Triangle Algorithm. This finds application in solving SDP relaxation of MAX-CUT. We also show in the case of testing the feasibility of a system of convex quadratic inequalities, the problem is reducible to a corresponding CHR, where the worst-case complexity of each iteration via the Triangle Algorithm is solving a {\it trust region subproblem}. Gaining from these results, we discuss potential extension of CHR and the Triangle Algorithm to solving general system of polynomial equations.

A Tight Semidefinite Relaxation of the MAX CUT Problem

On relaxations of the max $k$-cut problem formulations

Instance-specific linear relaxations of semidefinite optimization problems

Tightening a Copositive Relaxation for Standard Quadratic Optimization Problems

On the tightness of an SDP relaxation for homogeneous QCQP with three real or four complex homogeneous constraints

On the Equivalence of SDP Feasibility and a Convex Hull Relaxation for System of Quadratic Equations

On Integrality in Semidefinite Programming for Discrete Optimization

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

Strong SDP based bounds on the cutwidth of a graph

Semidefinite Programming by Projective Cutting Planes

Eigenvalue, Quadratic Programming, and Semidefinite Programming Bounds for a Cut Minimization Problem

A note on semidefinite relaxation for 0-1 quadratic knapsack problems

Semidefinite Programming Relaxations of the Traveling Salesman Problem and Their Integrality Gaps

An Enhanced Semidefinite Relaxation Model Combined with Clique Graph Merging Strategy for Efficient AC Optimal Power Flow Solution

A New Global Algorithm for Max-Cut Problem with Chordal Sparsity

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

Improved Approximation Algorithms for MAX

Affine FR: an Effective Facial Reduction Algorithm for Semidefinite Relaxations of Combinatorial Problems

Improved Approximation Algorithms for MAX \frac{n}2 -DIRECTED-BISECTION and MAX \frac{n}2 -DENSE-SUBGRAPH

Relaxations and cutting planes for linear programs with complementarity constraints