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

We consider a wide class of closed convex cones K in the space of real n*n symmetric matrices and establish the existence of a chain of faces of K, the length of which is maximized at n(n+1)/2 + 1. Examples of such cones include, but are not limited to, the completely positive and the copositive … Read more

A minimal face constant rank constraint qualification for reducible conic programming

\(\) In a previous paper [R. Andreani, G. Haeser, L. M. Mito, H. Ramírez, T. P. Silveira. First- and second-order optimality conditions for second-order cone and semidefinite programming under a constant rank condition. Mathematical Programming, 2023. DOI: 10.1007/s10107-023-01942-8] we introduced a constant rank constraint qualification for nonlinear semidefinite and second-order cone programming by considering all … Read more

Jordan automorphisms and derivatives of symmetric cones

Hyperbolicity cones, and in particular symmetric cones, are of great interest in optimization. Renegar showed that every hyperbolicity cone has a family of derivative cones that approximate it. Ito and Lourenço found the automorphisms of those derivatives when the original cone is generated by rank-one elements, as symmetric cones happen to be. We show that … Read more

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

\(\) Globally optimizing a nonconvex quadratic over the intersection of \(m\) balls in \(\mathbb{R}^n\) is known to be polynomial-time solvable for fixed \(m\). Moreover, when \(m=1\), the standard semidefinite relaxation is exact, and when \(m=2\), it has recently been shown that an exact relaxation can be constructed via a disjunctive semidefinite formulation based on essentially two copies of the \(m=1\) case. … Read more

A Newton-CG based barrier-augmented Lagrangian method for general nonconvex conic optimization

\(\) In this paper we consider finding an approximate second-order stationary point (SOSP) of general nonconvex conic optimization that minimizes a twice differentiable function subject to nonlinear equality constraints and also a convex conic constraint. In particular, we propose a Newton-conjugate gradient (Newton-CG) based barrier-augmented Lagrangian method for finding an approximate SOSP of this problem. … Read more

A Note on Semidefinite Representable Reformulations for Two Variants of the Trust-Region Subproblem

Motivated by encouraging numerical results in the literature, in this note we consider two specific variants of the trust-region subproblem and provide exact semidefinite representable reformulations. The first is over the intersection of two balls; the second is over the intersection of a ball and a special second-order conic representable set. Different from the technique … Read more

Approximation Hierarchies for Copositive Cone over Symmetric Cone and Their Comparison

We first provide an inner-approximation hierarchy described by a sum-of-squares (SOS) constraint for the copositive (COP) cone over a general symmetric cone. The hierarchy is a generalization of that proposed by Parrilo (2000) for the usual COP cone (over a nonnegative orthant). We also discuss its dual. Second, we characterize the COP cone over a … Read more

Linear optimization over homogeneous matrix cones

A convex cone is homogeneous if its automorphism group acts transitively on the interior of the cone, i.e., for every pair of points in the interior of the cone, there exists a cone automorphism that maps one point to the other. Cones that are homogeneous and self-dual are called symmetric. The symmetric cones include the … Read more

Weighted Geometric Mean, Minimum Mediated Set, and Optimal Second-Order Cone Representation

We study optimal second-order cone representations for weighted geometric means, which turns out to be closely related to minimum mediated sets. Several lower bounds and upper bounds on the size of optimal second-order cone representations are proved. In the case of bivariate weighted geometric means (equivalently, one dimensional mediated sets), we are able to prove … Read more

Superadditive duality and convex hulls for mixed-integer conic optimization

We present an infinite family of linear valid inequalities for a mixed-integer conic program, and prove that these inequalities describe the convex hull of the feasible set when this set is bounded and described by integral data. The main element of our proof is to establish a new strong superadditive dual for mixed-integer conic programming … Read more