Abstract:In this paper, we propose a new convergent conic programming hierarchy of relaxations involving both semi-definite cone and second-order cone constraints for solving nonconvex polynomial optimization problems to global optimality. The significance of this hierarchy is that the size and number of the semi-definite and second-order cone constraints of the relaxations are fixed and independent of the step or level of the approximation in the hierarchy. Using the Krivine-Stengle's certificate of positivity in real algebraic geometry, we establish the convergence of the hierarchy of relaxations, extending the very recent so-called bounded degree Lasserre hierarchy. In particular, we also provide a convergent bounded degree second-order cone programming (SOCP) hierarchy for solving polynomial optimization problems. We then present finite convergence at step one of the SOCP hierarchy for two classes of polynomial optimization problems: a subclass of convex polynomial optimization problems where the objective and constraint functions are SOCP-convex polynomials, defined in terms of specially structured sum of squares polynomials, and a class of polynomial optimization problems, involving polynomials with essentially non-positive coefficients. In the case of one-step convergence for problems with SOCP-convex polynomials, we show how a global solution is recovered from the relaxation via Jensen's inequality of SOCP-convex polynomials. As an application, we derive a corresponding convergent conic linear programming hierarchy for conic-convex semi-algebraic programs. Whenever the semi-algebraic set of the conic-convex program is described by convex polynomial inequalities, we show further that the values of the relaxation problems converge to the common value of the convex program and its Lagrangian dual under a constraint qualification.

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming

A second order cone characterization for sums of nonnegative circuits

Second-Order Conic and Polyhedral Approximations of the Exponential Cone: Application to Mixed-Integer Exponential Conic Programs

Computation Algorithm for Convex Semi-infinite Program with Second-Order Cones: Special Analyses for Affine and Quadratic Case

Symmetric SAGE and SONC forms, exactness and quantitative gaps

Geometrical Study of the Cone of Sums of Squares plus Sums of Nonnegative Circuits

A Semismooth Newton Method for SOCCPs Based on a One-Parametric Class of SOC Complementarity Functions

Optimization over Nonnegative and Convex Polynomials With and Without Semidefinite Programming

Optimality Conditions for Problems over Symmetric Cones and a Simple Augmented Lagrangian Method

A Bounded Degree Lasserre Hierarchy with SOCP Relaxations for Global Polynomial Optimization and Applications

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

A Survey on Soc Complementarity Functions and Solution Methods for Socps and Soccps

The Penalized Fischer-Burmeister SOC Complementarity Function

Initial Application of SONC to Lyapunov Stability of Dynamical Systems

Sum of Squares Basis Pursuit with Linear and Second Order Cone Programming

Exact Certification in Global Polynomial Optimization Via Sums-of-squares of Rational Functions with Rational Coefficients

Second Order Cone Constrained Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming

A Second-Order Cone Based Approach for Solving the Trust Region Subproblem and Its Variants

On semidefinite programming relaxations for a class of robust SOS-convex polynomial optimization problems

A Krylov Subspace Method for Large-Scale Second-Order Cone Linear Complementarity Problem

Computable Representation of the Cone of Nonnegative Quadratic Forms over A General Second-Order Cone and Its Application to Completely Positive Programming