One condition for solution uniqueness and robustness of both \(\ell_1\)-synthesis and \(\ell_1\)-analysis minimizations (Q2374380)

The article is a valuable contribution to sparse signal recovery including uniform and non-uniform recovery conditions for successful recovery. The authors investigate a type of non-uniform condition, the so-called dual certificate condition. They consider to complete the theory of non-uniform recovery of the \(\ell_1\)-synthesis and \(\ell_1\)-analysis models. They propose a condition to recover specific signals that is both necessary and sufficient to guarantee the recovery to be unique and exact, and, in the presence of measurement noise, to be robust. They also study a convex infinity-norm optimization problem for numerically verifying the condition. This article is well written, structured and explained, it contains eight sections: Section 1 on Introduction, Section 2 and 3 formulate the problem and state the main results, Section 4 reviews several related results, Section 5 discusses condition verification, and proofs for the main results are given in Section 6, 7 and 8.