Abstract:We propose an analytic center cutting plane method to determine whether a matrix is completely positive and return a cut that separates it from the completely positive cone if not. This was stated as an open (computational) problem by Berman et al. [Berman A, Dur M, Shaked-Monderer N (2015) Open problems in the theory of completely positive and copositive matrices. Electronic J. Linear Algebra 29(1):46–58]. Our method optimizes over the intersection of a ball and the copositive cone, where membership is determined by solving a mixed-integer linear program suggested by Xia et al. [Xia W, Vera JC, Zuluaga LF (2020) Globally solving nonconvex quadratic programs via linear integer programming techniques. INFORMS J. Comput. 32(1):40–56]. Thus, our algorithm can, more generally, be used to solve any copositive optimization problem, provided one knows the radius of a ball containing an optimal solution. Numerical experiments show that the number of oracle calls (matrix copositivity checks) for our implementation scales well with the matrix size, growing roughly like [Formula: see text] for d × d matrices. The method is implemented in Julia and available at https://github.com/rileybadenbroek/CopositiveAnalyticCenter.jl . Summary of Contribution: Completely positive matrices play an important role in operations research. They allow many NP-hard problems to be formulated as optimization problems over a proper cone, which enables them to benefit from the duality theory of convex programming. We propose an analytic center cutting plane method to determine whether a matrix is completely positive by solving an optimization problem over the copositive cone. In fact, we can use our method to solve any copositive optimization problem, provided we know the radius of a ball containing an optimal solution. We emphasize numerical performance and stability in developing this method. A software implementation in Julia is provided.

Properties of the cone of polynomials of fixed degree that preserve nonnegative matrices

Polynomials that preserve nonnegative monomial matrices

Nonnegative Polynomials and Moment Problems on Algebraic Curves

The Cone of Completely Positive Matrices

Positivity Proofs for Linear Recurrences through Contracted Cones

Algebraic and Geometric Properties of $\mathcal{L}^n_+$-Semipositive Matrices and $\mathcal{L}^n_+$-Semipositive Cones

Strictly positive polynomials in the boundary of the SOS cone

A Cone-preserving Solution to a Nonsymmetric Riccati Equation

On Cones of Nonnegative Quartic Forms

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

Representation of nonnegative convex polynomials

Totally nonnegative matrices, chain enumeration and zeros of polynomials

Eventual cone invariance revisited

Positivity preservers forbidden to operate on diagonal blocks

On cone of nonsymmetric positive semidefinite matrices

An Analytic Center Cutting Plane Method to Determine Complete Positivity of a Matrix

On the natural nullcones of the symplectic and general linear groups

On Degenerate Doubly Nonnegative Projection Problems

Interiors of completely positive cones

Proving Nonnegativity of Polynomial with Computer

Analytic Formulas for Alternating Projection Sequences for the Positive Semidefinite Cone and an Application to Convergence Analysis