Abstract:Semidefinite programming (SDP) is a central topic in mathematical optimization with extensive studies on its efficient solvers. Recently, quantum algorithms with superpolynomial speedups for solving SDPs have been proposed assuming access to its constraint matrices in quantum superposition. Mutually inspired by both classical and quantum SDP solvers, in this paper we present a sublinear classical algorithm for solving low-rank SDPs which is asymptotically as good as existing quantum algorithms. Specifically, given an SDP with $m$ constraint matrices, each of dimension $n$ and rank $\mathrm{poly}(\log n)$, our algorithm gives a succinct description and any entry of the solution matrix in time $O(m\cdot\mathrm{poly}(\log n,1/\varepsilon))$ given access to a sample-based low-overhead data structure of the constraint matrices, where $\varepsilon$ is the precision of the solution. In addition, we apply our algorithm to a quantum state learning task as an application. Technically, our approach aligns with both the SDP solvers based on the matrix multiplicative weight (MMW) framework and the recent studies of quantum-inspired machine learning algorithms. The cost of solving SDPs by MMW mainly comes from the exponentiation of Hermitian matrices, and we propose two new technical ingredients (compared to previous sample-based algorithms) for this task that may be of independent interest: $\bullet$ Weighted sampling: assuming sampling access to each individual constraint matrix $A_{1},\ldots,A_{\tau}$, we propose a procedure that gives a good approximation of $A=A_{1}+\cdots+A_{\tau}$. $\bullet$ Symmetric approximation: we propose a sampling procedure that gives low-rank spectral decomposition of a Hermitian matrix $A$. This improves upon previous sampling procedures that only give low-rank singular value decompositions, losing the signs of eigenvalues.

Solving Low-Rank Semidefinite Programs via Manifold Optimization

Suboptimality bounds for trace-bounded SDPs enable a faster and scalable low-rank SDP solver SDPLR+

A Low-Rank ADMM Splitting Approach for Semidefinite Programming

A feasible method for solving an SDP relaxation of the quadratic knapsack problem

A feasible method for general convex low-rank SDP problems

A DECOMPOSITION AUGMENTED LAGRANGIAN METHOD FOR LOW-RANK SEMIDEFINITE PROGRAMMING

SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0)

Enhancing low-rank solutions in semidefinite relaxations of Boolean quadratic problems

Accelerating Low-Rank Factorization-Based Semidefinite Programming Algorithms on GPU

Barrier and penalty methods for low-rank semidefinite programming with application to truss topology design

A Newton-CG Augmented Lagrangian Method for Semidefinite Programming

Efficient Low-Rank Semidefinite Programming With Robust Loss Functions

An inexact projected gradient method with rounding and lifting by nonlinear programming for solving rank-one semidefinite relaxation of polynomial optimization

Quantum-inspired Sublinear Algorithm for Solving Low-Rank Semidefinite Programming

Improving the Performance of MIQP Solvers for Quadratic Programs with Cardinality and Minimum Threshold Constraints: A Semidefinite Program Approach.

Nonlinear Eigen-approach ADMM for Sparse Optimization on Stiefel Manifold

Towards Scalable Semidefinite Programming: Optimal Metric ADMM with A Worst-case Performance Guarantee

An Overview and Comparison of Spectral Bundle Methods for Primal and Dual Semidefinite Programs

On the Burer-Monteiro method for general semidefinite programs

ManiDec: Manifold Constrained Low-Rank and Sparse Decomposition

Proximal-stabilized semidefinite programming