Lipschitz bounds for noise robustness in compressive sensing: two algorithms

Abstract : The paper deals with estimating the local noise robustness in a compressive sensing framework. We provide two algorithms which estimate, for each vector x that can be recovered by $\ell^1$ minimization, the Lipschitz bounds relating the $\ell^1$-reconstruction error to the measurement error (or noise) for a given sensing matrix. Classical theoretical estimations, such as those based on the restricted isometry property, theoretically give error bounds estimates depending on RIP constants. Unfortunately these RIP assumptions can only be applied for random matrices and are unsuitable for a given deterministic matrix. Other known results applying to deterministic matrices give errors bounds estimates under a small noise assumption, using a semi implicit formula of the solution considering small perturbations of the noiseless $\ell^1$ minimization problem. As an alternative, more recent papers focus on the local behavior of the reconstruction error. One such approach theoretically consists in emphasizing an error bound for each member of a certain family of vectors associated to a local noiseless solution. These vectors are called dual certificates and play a fundamental role in several reconstruction criteria. As such, the theoretical bound estimates based on dual certificates are more versatile, since they are local - hence potentially more accurate - and need no a priori assumptions on the magnitude of the measurement noise. However, as a drawback, finding dual certificates might have a significant computational cost. The paper provides two algorithms for computing dual certificates that minimize their related Lipschitz error bounds, based on two different approaches. The first is a greedy algorithm that provides a fast approximate solution, by minimizing the error bound with respect to a dual certificate. This produces a fast approximation of the optimal bound, since all the numerical computations only rely on scalar products. The second algorithm is based on a theoretical geometric result that describes the exact optimal solution. More precisely we showed that the problem of finding the dual certificate minimizing the error bound can be reduced to computing the convex projection of a suitable vector over a certain convex set. As such, it gives the best error bound but has a higher complexitational cost than the greedy approximation. The two algorithms are illustrated and numerically compared for compressive sensing matrices issued from a tomography application framework. The relationship between theoretical bounds and numerical observed bounds is also discussed.
Type de document :
Communication dans un congrès
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. 2014
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01063235
Contributeur : Marc Nicodème <>
Soumis le : jeudi 11 septembre 2014 - 16:22:51
Dernière modification le : vendredi 12 septembre 2014 - 10:26:37
Document(s) archivé(s) le : vendredi 12 décembre 2014 - 10:50:37

Fichier

synasc2014_submission_12_1_.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01063235, version 1

Citation

Marc Nicodème, Charles Dossal, Flavius Turcu, Yannick Berthoumieu. Lipschitz bounds for noise robustness in compressive sensing: two algorithms. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2014, Timisoara, Romania. 2014. <hal-01063235>

Partager

Métriques

Consultations de
la notice

1274952

Téléchargements du document

180