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.

Convexification of Bilinear Terms over Network Polytopes

Improved Convex and Concave Relaxations of Composite Bilinear Forms

Extended formulations for convex hulls of graphs of bilinear functions

Gaining or losing perspective for convex multivariate functions on box domains

Set characterizations and convex extensions for geometric convex-hull proofs

New finite relaxation hierarchies for concavo-convex, disjoint bilinear programs, and facial disjunctions

Gaining or losing perspective for convex multivariate functions on a simplex

Network Relaxations for Discrete Bilevel Optimization under Linear Interactions

Convexification of box-constrained polynomial optimization problems via monomial patterns

Connectivity via convexity: Bounds on the edge expansion in graphs

Efficient treatment of bilinear forms in global optimization

Linearization of McCormick relaxations and hybridization with the auxiliary variable method

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

On disjunction convex hulls by lifting

Aggregation of Bilinear Bipartite Equality Constraints and its Application to Structural Model Updating Problem

Piecewise Polyhedral Formulations for a Multilinear Term

Convexification Techniques for Fractional Programs

On Linear Convergence in Smooth Convex-Concave Bilinearly-Coupled Saddle-Point Optimization: Lower Bounds and Optimal Algorithms

Convexification of Permutation-Invariant Sets and an Application to Sparse Principal Component Analysis

Optimization over convex polyhedra via Hadamard parametrizations

Compact mixed-integer programming formulations in quadratic optimization