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.

An algorithm for determining copositive matrices

A COMPLETE SEMIDEFINITE ALGORITHM FOR DETECTING COPOSITIVE MATRICES AND TENSORS

Detecting Copositivity of a Symmetric Matrix by an Adaptive Ellipsoid-Based Approximation Scheme.

Monotonically Positive Matrices

Representation of Zeros of a Copositive Matrix via Maximal Cliques of a Graph

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

Almost Bijective Parametrization of $3 \times 3$ Copositive Matrices

Sufficient conditions for total positivity, compounds, and Dodgson condensation

Computational complexity of decomposing a symmetric matrix as a sum of positive semidefinite and diagonal matrices

Completely positive tensor decomposition

A Conjecture on C-matrices of Cluster Algebras

On equivalent representations and properties of faces of the cone of copositive matrice

A Semidefinite Algorithm for Completely Positive Tensor Decomposition.

A Semidefinite Relaxation Algorithm for Checking Completely Positive Separable Matrices

Positive-Definite Tensors to Nonlinear Complementarity Problems

On the combinatorial structure of 0/1-matrices representing nonobtuse simplices

Coefficientwise Hankel-total positivity of the row-generating polynomials for the output matrices of certain production matrices

Symbolic algorithm for solving cyclic penta-diagonal linear systems

The CP-Matrix Completion Problem.

Exponential Erdős-Szekeres theorem for matrices

Strong duality for a problem of linear copositive programming