Paper Info
Title
Stable Rank-One Matrix Completion Is Solved By The Level 2 Lasserre Relaxation
Abstract
This paper studies the problem of deterministic rank-one matrix completion. It is known that the simplest semidefinite programming relaxation, involving minimization of the nuclear norm, does not in general return the solution for this problem. In this paper, we show that in every instance where the problem has a unique solution, one can provably recover the original matrix through the level 2 Lasserre relaxation with minimization of the trace norm. We further show that the solution of the proposed semidefinite program is Lipschitz stable with respect to perturbations of the observed entries, unlike more basic algorithms such as nonlinear propagation or ridge regression. Our proof is based on recursively building a certificate of optimality corresponding to a dual sum-of-squares (SoS) polynomial. This SoS polynomial is built from the polynomial ideal generated by the completion constraints and the monomials provided by the minimization of the trace. The proposed relaxation fits in the framework of the Lasserre hierarchy, albeit with the key addition of the trace objective function. Finally, we show how to represent and manipulate the moment tensor in favorable complexity by means of a hierarchical low-rank factorization.
Year
DOI
Venue
2021
10.1007/s10208-020-09471-y
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS
Keywords
DocType
Volume
Matrix completion, Convex optimization, Semidefinite programming, Semidefinite programming hierarchies, Duality in optimization, Sum-of-Squares polynomials
Journal
21
Issue
ISSN
Citations 
4
1615-3375
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Augustin Cosse100.34
Laurent Demanet275057.81