Abstract:We study the problem of testing whether a symmetric $d \times d$ input matrix $A$ is symmetric positive semidefinite (PSD), or is $\epsilon$-far from the PSD cone, meaning that $\lambda_{\min}(A) \leq - \epsilon \|A\|_p$, where $\|A\|_p$ is the Schatten-$p$ norm of $A$. In applications one often needs to quickly tell if an input matrix is PSD, and a small distance from the PSD cone may be tolerable. We consider two well-studied query models for measuring efficiency, namely, the matrix-vector and vector-matrix-vector query models. We first consider one-sided testers, which are testers that correctly classify any PSD input, but may fail on a non-PSD input with a tiny failure probability. Up to logarithmic factors, in the matrix-vector query model we show a tight $\widetilde{\Theta}(1/\epsilon^{p/(2p+1)})$ bound, while in the vector-matrix-vector query model we show a tight $\widetilde{\Theta}(d^{1-1/p}/\epsilon)$ bound, for every $p \geq 1$. We also show a strong separation between one-sided and two-sided testers in the vector-matrix-vector model, where a two-sided tester can fail on both PSD and non-PSD inputs with a tiny failure probability. In particular, for the important case of the Frobenius norm, we show that any one-sided tester requires $\widetilde{\Omega}(\sqrt{d}/\epsilon)$ queries. However we introduce a bilinear sketch for two-sided testing from which we construct a Frobenius norm tester achieving the optimal $\widetilde{O}(1/\epsilon^2)$ queries. We also give a number of additional separations between adaptive and non-adaptive testers. Our techniques have implications beyond testing, providing new methods to approximate the spectrum of a matrix with Frobenius norm error using dimensionality reduction in a way that preserves the signs of eigenvalues.

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

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

Approximate Projections onto the Positive Semidefinite Cone Using Randomization

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

Matrix Completion and Decomposition in Phase Bounded Cones

A Primal-Dual Framework for Symmetric Cone Programming

Completely positive and completely positive semidefinite tensor relaxations for polynomial optimization

Separating Cones defined by Toric Varieties: Some Properties and Open Problems

Subset Selection and the Cone of Factor-Width-k Matrices

Testing Positive Semidefiniteness Using Linear Measurements

Decomposed Structured Subsets for Semidefinite Optimization

Optimality Conditions for Problems over Symmetric Cones and a Simple Augmented Lagrangian Method

A predictor-corrector algorithm for semidefinite programming that uses the factor width cone

The Cone of Completely Positive Matrices

Convergence Rate Analysis of a Dykstra-Type Projection Algorithm

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

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

Convex cones, assessment functions, balanced attributes

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

Self-dual polyhedral cones and their slack matrices

An algorithm for minimum cardinality generators of cones