Abstract:This paper investigates the theoretical guarantees of L1-analysis regularization when solving linear inverse problems. Most of previous works in the literature have mainly focused on the sparse synthesis prior where the sparsity is measured as the L1 norm of the coefficients that synthesize the signal from a given dictionary. In contrast, the more general analysis regularization minimizes the L1 norm of the correlations between the signal and the atoms in the dictionary, where these correlations define the analysis support. The corresponding variational problem encompasses several well-known regularizations such as the discrete total variation and the Fused Lasso. Our main contributions consist in deriving sufficient conditions that guarantee exact or partial analysis support recovery of the true signal in presence of noise. More precisely, we give a sufficient condition to ensure that a signal is the unique solution of the L1-analysis regularization in the noiseless case. The same condition also guarantees exact analysis support recovery and L2-robustness of the L1-analysis minimizer vis-a-vis an enough small noise in the measurements. This condition turns to be sharp for the robustness of the analysis support. To show partial support recovery and L2-robustness to an arbitrary bounded noise, we introduce a stronger sufficient condition. When specialized to the L1-synthesis regularization, our results recover some corresponding recovery and robustness guarantees previously known in the literature. From this perspective, our work is a generalization of these results. We finally illustrate these theoretical findings on several examples to study the robustness of the 1-D total variation and Fused Lasso regularizations.

Robust method for finding sparse solutions to linear inverse problems using an L2 regularization

Weighted LASSO for Sparse Recovery with Statistical Prior Support Information

A multilevel framework for sparse optimization with application to inverse covariance estimation and logistic regression

Subspace projection regularization for large-scale Bayesian linear inverse problems

Robust Sparse Analysis Regularization

Greedy solution of ill-posed problems: error bounds and exact inversion

Image reconstructions using sparse dictionary representations and implicit, non-negative mappings

A Unified Study on $L_1$ over $L_2$ Minimization

A Decoupled Approach for Composite Sparse-plus-Smooth Penalized Optimization

A Fast Algorithm for Sparse Reconstruction Based on Shrinkage, Subspace Optimization, and Continuation

An Efficient Two-Stage Sparse Representation Method.

Augmented Flexible Krylov Subspace methods with applications to Bayesian inverse problems

A Barzilai-Borwein $l_1$-Regularized Least Squares Algorithm for Compressed Sensing

Dictionary Learning with ℓ1/2 Regularizer for Sparsity Based on Proximal Operator

Sparse Recovery Beyond Compressed Sensing: Separable Nonlinear Inverse Problems

Unified Analysis on L1 over L2 Minimization for Signal Recovery

A constructive approach to L

Bayesian Sparse Estimation Using Double Lomax Priors

A randomized sparse Kaczmarz solver for sparse signal recovery via minimax‐concave penalty