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.

Concave tents: a new tool for constructing concave reformulations of a large class of nonconvex optimization problems

Conic Approximation to Quadratic Optimization with Linear Complementarity Constraints.

Convexification, Concavification and Monotonization in Global Optimization

Finding quadratic underestimators for optimal value functions of nonconvex all-quadratic problems via copositive optimization

Sparse Conic Reformulation of Structured QCQPs based on Copositive Optimization with Applications in Stochastic Optimization

A Proximal-Gradient Method for Constrained Optimization

An efficient nonconvex reformulation of stagewise convex optimization problems

Conic approximation to nonconvex quadratic programming with convex quadratic constraints

Optimization over convex polyhedra via Hadamard parametrizations

Convexification of box-constrained polynomial optimization problems via monomial patterns

Constructing Tight Quadratic Relaxations for Global Optimization: I. Outer-Approximating Twice-Differentiable Convex Functions

Improved Convex and Concave Relaxations of Composite Bilinear Forms

On unbounded polyhedral convex set optimization problems

Efficiently Constructing Convex Approximation Sets in Multiobjective Optimization Problems

A Convexification Method for a Class of Global Optimization Problems with Applications to Reliability Optimization

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

Homotopy Methods for Convex Optimization

A penalty barrier framework for nonconvex constrained optimization

All You Need is a Paraboloid: Quadratic Cuts for Non-Convex MINLP

Adaptive computable approximation to cones of nonnegative quadratic functions

Lagrangian Reformulation for Nonconvex Optimization: Tailoring Problems to Specialized Solvers