Abstract:Optimizing a nonlinear function over nonconvex sets is challenging since solving convex relaxations may lead to substantial relaxation gaps and infeasible solutions, that must be "rounded" to feasible ones, often with uncontrollable losses in objective function performance. For this reason, these convex hulls are especially useful if the objective function is linear or even concave since concave optimization is invariant to taking the convex hull of the feasible set. Motivated by this observation, we propose the notion of concave tents, which are concave approximations of the original objective function that agree with this objective function on the feasible set, and allow for concave reformulations of the problem. We derive these concave tents for a large class of objective functions as the optimal value functions of conic optimization problems. Hence, evaluating our concave tents requires solving a conic problem. Interestingly, we can find supergradients by solving the conic dual problem, so that differentiation is of the same complexity as evaluation. For feasible sets that are contained in the extreme points of their convex hull, we construct these concave tents in the original space of variables. For general feasible sets, we propose a double lifting strategy, where the original optimization problem is lifted into a higher dimensional space in which the concave tent can be constructed with a similar effort. We investigate the relation of the so-constructed concave tents to concave envelopes and a naive concave tent based on concave quadratic updates. Based on these ideas we propose a primal heuristic for a class of robust discrete quadratic optimization problems, that can be used instead of classical rounding techniques. Numerical experiments suggest that our techniques can be beneficial as an upper bounding procedure in a branch and bound solution scheme.

Convex cones, assessment functions, balanced attributes

On the derivative cones of polyhedral cones

Proper efficiency and cone efficiency

Optimal Control on Positive Cones

The Nonconvex Second-Order Cone: Algebraic Structure Toward Optimization

Infinite-dimensional Convex Cones: Internal Geometric Structure and Analytical Representation

Integer Points in Arbitrary Convex Cones: The Case of the PSD and SOC Cones

Autopolar conic bodies and polyhedra

On the longest chain of faces of the completely positive and copositive cones

Convex Discrete Optimization

On unbounded polyhedral convex set optimization problems

Free Descriptions of Convex Sets

A Parametric, Second-Order Cone Representable Model of Fairness for Decision-Making Problems

Basic Convex Analysis in Metric Spaces with Bounded Curvature

Convex optimization on CAT(0) cubical complexes

Linear Optimization by Conical Projection

C-convexity and C-Polyhedron

Exploring Convexity in Normed Spaces

On strong duality, theorems of the alternative, and projections in conic optimization

On generators of $k$-PSD closures of the positive semidefinite cone

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