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.

Improved Rank-One-Based Relaxations and Bound Tightening Techniques for the Pooling Problem

Pooling problems under perfect and imperfect competition

An Efficient Interior-Point Algorithm with New Non-Monotone Line Search Filter Method for Nonlinear Constrained Programming

Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks

Convex Relaxation of Dynamic Optimal Power and Gas Flow

Pooling designs with surprisingly high degree of error correction in a finite vector space

Convex Relaxation of Non-Isothermal Optimal Power and Gas Flow

MIP Relaxations in Factorable Programming

A UNIFIED AND TIGHT LINEAR CONVERGENCE ANALYSIS OF THE RELAXED PROXIMAL POINT ALGORITHM

On the optimal linear convergence factor of the relaxed proximal point algorithm for monotone inclusion problems.

A nonlinear relaxation-strategy-based algorithm for solving sum-of-linear-ratios problems

Hybridizing two linear relaxation techniques in interval-based solvers

Piecewise Polyhedral Relaxations of Multilinear Optimization

P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints

Improved Convex and Concave Relaxations of Composite Bilinear Forms

On relaxed inertial projection and contraction algorithms for solving monotone inclusion problems

Surrogate "Level-Based" Lagrangian Relaxation for mixed-integer linear programming

Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas

On the Parameterized Complexity of Pooling Design

Distributed Recursion Revisited