# A necessary and sufficient condition for exact recovery by l1 minimization.

Abstract : The minimum $\ell_1$-norm solution to an underdetermined system of linear equations $y = A x$, is often, remarkably, also the sparsest solution to that system. In this paper, we provide a \textit{necessary} and \textit{sufficient} condition for $x$ to be identifiable for a large set of matrices $A$; that is to be the unique sparsest solution to the $\ell_1$-norm minimization problem. Furthermore, we prove that this sparsest solution is stable under a reasonable perturbation of the observations $y$. We also propose an efficient semi-greedy algorithm to check our condition for any vector $x$. We present numerical experiments showing that our condition is able to predict almost perfectly all identifiable solutions $x$, whereas other previously proposed criteria are too pessimistic and fail to identify properly some identifiable vectors $x$. Beside the theoretical proof, this provides empirical evidence to support the sharpness of our condition.
Keywords :
Type de document :
Pré-publication, Document de travail
2011

Littérature citée [4 références]

https://hal.archives-ouvertes.fr/hal-00164738
Contributeur : Charles Dossal <>
Soumis le : vendredi 25 novembre 2011 - 09:51:14
Dernière modification le : jeudi 11 janvier 2018 - 06:21:22
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 12:00:41

### Fichier

DossalMinimisationl1.pdf
Fichiers produits par l'(les) auteur(s)

### Identifiants

• HAL Id : hal-00164738, version 2

### Citation

Charles Dossal. A necessary and sufficient condition for exact recovery by l1 minimization.. 2011. 〈hal-00164738v2〉

### Métriques

Consultations de la notice

## 347

Téléchargements de fichiers