Abstract:We consider solving high-order and tight semidefinite programming (SDP) relaxations of nonconvex polynomial optimization problems (POPs) that often admit degenerate rank-one optimal solutions. Instead of solving the SDP alone, we propose a new algorithmic framework that blends local search using the nonconvex POP into global descent using the convex SDP. In particular, we first design a globally convergent inexact projected gradient method (iPGM) for solving the SDP that serves as the backbone of our framework. We then accelerate iPGM by taking long, but safeguarded , rank-one steps generated by fast nonlinear programming algorithms. We prove that the new framework is still globally convergent for solving the SDP. To solve the iPGM subproblem of projecting a given point onto the feasible set of the SDP, we design a two-phase algorithm with phase one using a symmetric Gauss–Seidel based accelerated proximal gradient method (sGS-APG) to generate a good initial point, and phase two using a modified limited-memory BFGS (L-BFGS) method to obtain an accurate solution. We analyze the convergence for both phases and establish a novel global convergence result for the modified L-BFGS that does not require the objective function to be twice continuously differentiable. We conduct numerical experiments for solving second-order SDP relaxations arising from a diverse set of POPs. Our framework demonstrates state-of-the-art efficiency, scalability, and robustness in solving degenerate SDPs to high accuracy, even in the presence of millions of equality constraints.

PREDICTOR–CORRECTOR SMOOTHING NEWTON METHOD FOR SOLVING SEMIDEFINITE PROGRAMMING

A PREDICTOR-CORRECTOR INTERIOR-POINT ALGORITHM FOR CONVEX QUADRATIC PROGRAMMING

A squared smoothing Newton method for semidefinite programming

A Predictor-Corrector Interior-Point Algorithm for Monotone Variational Inequality Problems

A predictor-corrector algorithm for semidefinite programming that uses the factor width cone

A Newton-CG Augmented Lagrangian Method for Semidefinite Programming

SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0)

A Semi-smooth Newton Method for Solving Semidefinite Programs in Electronic Structure Calculations

Improved Smoothing Newton Methods for P0 Nonlinear Complementarity Problems

A SemiSmooth Newton Method for Semidefinite Programs and Its Applications in Electronic Structure Calculations.

A quadratically convergent semismooth Newton method for nonlinear semidefinite programming without generalized Jacobian regularity

A projected semismooth Newton method for a class of nonconvex composite programs with strong prox-regularity

A Semismooth Newton Algorithm for High-Dimensional Nonconvex Sparse Learning

Semi-Smooth Newton Algorithm for Non-Convex Penalized Linear Regression

A Smoothing-Type Algorithm for Solving System of Inequalities

Superlinear／Quadratic One-step Smoothing Newton Methodf or P0-NCP

An inexact smoothing method for the monotone complementarity problem over symmetric cones

Nonlinearly preconditioned semismooth Newton algorithms for nonlinear nonsmooth systems

A Regularized Semi-Smooth Newton Method with Projection Steps for Composite Convex Programs

An inexact projected gradient method with rounding and lifting by nonlinear programming for solving rank-one semidefinite relaxation of polynomial optimization

A Semismooth Newton-CG Based Dual PPA for Matrix Spectral Norm Approximation Problems