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.

Matrix Completion and Decomposition in Phase Bounded Cones

The Cone of Completely Positive Matrices

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

Interiors of completely positive cones

Matrix completion algorithms with optimal phase transition

Some Properties for the Euclidean Distance Matrix and Positive Semidefinite Matrix Completion Problems

An Efficient Matrix Splitting Method for the Second-Order Cone Complementarity Problem

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

Scalable Completion of Nonnegative Matrix with Separable Structure.

A Krylov Subspace Method for Large-Scale Second-Order Cone Linear Complementarity Problem

Dual Bounded Generation: Polynomial, Second-order Cone and Positive Semidefinite Matrix Inequalities

A Structure-Tensor Approach to Integer Matrix Completion with Applications to Differentiated Energy Services

Phase limit sets of linear spaces and discriminants

A Structure-Tensor Approach to Integer Matrix Completion in Indivisible Resource Allocation

A Combinatorial Decomposition of Knapsack Cones

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

Second-order cone and semidefinite methods for the bisymmetric matrix approximation problem

Matrix Completion for the Independence Model

A Primal-Dual Framework for Symmetric Cone Programming

ON SOME RELATIONS BETWEEN THE CONE OF POSITIVE SEMIDEFINITE MATRICES AND THE MOMENT CONE

Computable Representation of the Cone of Nonnegative Quadratic Forms over A General Second-Order Cone and Its Application to Completely Positive Programming