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.

Practical Integer-Constrained Cone Construction for Conformal Parameterizations

Efficient Cone Singularity Construction for Conformal Parameterizations

Computing sparse cones with bounded distortion for conformal parameterizations

Free Isotropic Material Optimization Via Second Order Cone Programming

Cubic rational polynomial parametrization of conics

Constructing IGA-suitable Planar Parameterization from Complex CAD Boundary by Domain Partition and Global/local Optimization.

Curve Fitting and Fairing Using Conic Splines

3D mesh cutting for high quality atlas packing *

Practical construction of globally injective parameterizations with positional constraints

Geometric constraint solving for parametric conics

Optimal Surface Parameterization Using Inverse Curvature Map.

A New Method for Cone-Beam Computed Tomography Geometric Parameters Estimation.

Conic Sparsity: Estimation of Regression Parameters in Closed Convex Polyhedral Cones

Conic Approximation to Quadratic Optimization with Linear Complementarity Constraints.

A nonmonotone adaptive trust region method for unconstrained optimization based on conic model

Multiparametric analysis of conic linear optimization based on the lift-and-project procedure

Stable Discrete Minimization of Conformal Energy for Disk Conformal Parameterization

Constructing Planar Domain Parameterization with HB-splines Via Quasi-Conformal Mapping

Mixed-Projection Conic Optimization: A New Paradigm for Modeling Rank Constraints

A Robust Hessian-based Trust Region Algorithm for Spherical Conformal Parameterizations

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