Abstract:Deterministic nonconvex optimization solvers generate convex relaxations of nonconvex functions by making use of underlying factorable representations. One approach introduces auxiliary variables assigned to each factor that lifts the problem into a higher-dimensional decision space. In contrast, a generalized McCormick relaxation approach offers the significant advantage of constructing relaxations in the lower dimensionality space of the original problem without introducing auxiliary variables, often referred to as a "reduced-space" approach. Recent contributions illustrated how additional nontrivial inequality constraints may be used in factorable programming to tighten relaxations of the ubiquitous bilinear term. In this work, we exploit an analogous representation of McCormick relaxations and factorable programming to formulate tighter relaxations in the original decision space. We develop the underlying theory to generate necessarily tighter reduced-space McCormick relaxations when a priori convex/concave relaxations are known for intermediate bilinear terms. We then show how these rules can be generalized within a McCormick relaxation scheme via three different approaches: the use of a McCormick relaxations coupled to affine arithmetic, the propagation of affine relaxations implied by subgradients, and an enumerative approach that directly uses relaxations of each factor. The developed approaches are benchmarked on a library of optimization problems using the EAGO.jl optimizer. Two case studies are also considered to demonstrate the developments: an application in advanced manufacturing to optimize supply chain quality metrics and a global dynamic optimization application for rigorous model validation of a kinetic mechanism. The presented subgradient method leads to an improvement in CPU time required to solve the considered problems to -global optimality.

Exponential Conic Relaxations for Signomial Geometric Programming

A GLOBALLY AND SUPERLIEARLY CONVERGENT FEASIBLE SQP ALGORITHM FOR DEGENERATE CONSTRAINED OPTIMIZATION

A new global optimization algorithm for signomial geometric programming via Lagrangian relaxation

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

Convex Mixed-Integer Nonlinear Programs Derived from Generalized Disjunctive Programming using Cones

Improved Convex and Concave Relaxations of Composite Bilinear Forms

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

Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming: Matrix Cone Decomposition and Polyhedral Approximation

Kkt Solution And Conic Relaxation For Solving Quadratically Constrained Quadratic Programming Problems

A Slightly Lifted Convex Relaxation for Nonconvex Quadratic Programming with Ball Constraints

Convex Relaxations for Gas Expansion Planning

Conic relaxation approaches for equal deployment problems

Algebraic perspectives on signomial optimization

MIP Relaxations in Factorable Programming

IPRSOCP: A Primal-Dual Interior-Point Relaxation Algorithm for Second-Order Cone Programming

Inexact Augmented Lagrangian Methods for Conic Programs: Quadratic Growth and Linear Convergence

Cutting planes for signomial programming

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

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