RIP-based Performance Guarantee for Low Rank Matrix Recovery via $L_{*-F}$ Minimization

TL;DR

This paper introduces a new nonconvex $L_{*-F}$ minimization approach for low-rank matrix recovery, providing theoretical guarantees under RIP conditions and analyzing both noiseless and noisy scenarios.

Contribution

It proposes a novel nonconvex relaxation for low-rank matrix recovery using $L_{*-F}$ minimization and establishes exact recovery conditions based on RIP, including for regularized models.

Findings

Exact recovery guaranteed under RIP with $ delta_{4r}<rac{ ext{threshold}}{}$ in noiseless case.

Provides recovery error bounds for noisy scenarios.

First to analyze exact reconstruction via regularized $L_{*-F}$ minimization.

Abstract

In the undetermined linear system $\bm{b}=\mathcal{A}(\bm{X})+\bm{s}$, vector $\bm{b}$ and operator $\mathcal{A}$ are the known measurements and $\bm{s}$ is the unknown noise. In this paper, we investigate sufficient conditions for exactly reconstructing desired matrix $\bm{X}$ being low-rank or approximately low-rank. We use the difference of nuclear norm and Frobenius norm ($L_{*-F}$) as a surrogate for rank function and establish a new nonconvex relaxation of such low rank matrix recovery, called the $L_{*-F}$ minimization, in order to approximate the rank function closer. For such nonconvex and nonsmooth constrained $L_{*-F}$ minimization problems, based on whether the noise level is $0$, we give the upper bound estimation of the recovery error respectively. Particularly, in the noise-free case, one sufficient condition for exact recovery is presented. If linear operator $\mathcal{A}$ satisfies the restricted isometry property with $\delta_{4r}<\frac{\sqrt{2r}-1}{\sqrt{2r}-1+\sqrt{2}(\sqrt{2r}+1)}$, then $r$-\textbf{rank} matrix $\bm{X}$ can be exactly recovered without other assumptions. In addition, we also take insights into the regularized $L_{*-F}$ minimization model since such regularized model is more widely used in algorithm design. We provide the recovery error estimation of this regularized $L_{*-F}$ minimization model via RIP tool. To our knowledge, this is the first result on exact reconstruction of low rank matrix via regularized $L_{*-F}$ minimization.