Table of Contents
Fetching ...

Compressed sensing for inverse problems II: applications to deconvolution, source recovery, and MRI

Giovanni S. Alberti, Alessandro Felisi, Matteo Santacesaria, S. Ivan Trapasso

TL;DR

This work extends infinite-dimensional compressed sensing to ill-posed inverse problems by embedding forward models into an abstract framework whose guarantees rely on quasi-diagonalization, multiscale coherence, and a balancing property, with sampling designed via a density f_ν that matches the coherence structure. It unifies three practical problems—sparse deconvolution, sparse inverse source recovery for elliptic PDEs, and ill-posed Fourier sampling relevant to MRI—under a single theory, providing explicit recovery bounds and sample complexities that scale with the ill-posedness parameter b and the truncation level j0. Key contributions include a rigorous abstract recovery theorem, optimized sampling strategies (including nonuniform density choices), and concrete error bounds for cartoon-like images and MRI-like settings, all framed in a wavelet dictionary context. The results offer a principled, theoretically grounded foundation for applying compressed sensing to diverse inverse problems, with direct implications for improved sampling design and reconstruction guarantees in practice.

Abstract

This paper extends the sample complexity theory for ill-posed inverse problems developed in a recent work by the authors [`Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform', J. Eur. Math. Soc., to appear], which was originally focused on the sparse Radon transform. We demonstrate that the underlying abstract framework, based on infinite-dimensional compressed sensing and generalized sampling techniques, can effectively handle a variety of practical applications. Specifically, we analyze three case studies: (1) The reconstruction of a sparse signal from a finite number of pointwise blurred samples; (2) The recovery of the (sparse) source term of an elliptic partial differential equation from finite samples of the solution; and (3) A moderately ill-posed variation of the classical sensing problem of recovering a wavelet-sparse signal from finite Fourier samples, motivated by magnetic resonance imaging. For each application, we establish rigorous recovery guarantees by verifying the key theoretical requirements, including quasi-diagonalization and coherence bounds. Our analysis reveals that careful consideration of balancing properties and optimized sampling strategies can lead to improved reconstruction performance. The results provide a unified theoretical foundation for compressed sensing approaches to inverse problems while yielding practical insights for specific applications.

Compressed sensing for inverse problems II: applications to deconvolution, source recovery, and MRI

TL;DR

This work extends infinite-dimensional compressed sensing to ill-posed inverse problems by embedding forward models into an abstract framework whose guarantees rely on quasi-diagonalization, multiscale coherence, and a balancing property, with sampling designed via a density f_ν that matches the coherence structure. It unifies three practical problems—sparse deconvolution, sparse inverse source recovery for elliptic PDEs, and ill-posed Fourier sampling relevant to MRI—under a single theory, providing explicit recovery bounds and sample complexities that scale with the ill-posedness parameter b and the truncation level j0. Key contributions include a rigorous abstract recovery theorem, optimized sampling strategies (including nonuniform density choices), and concrete error bounds for cartoon-like images and MRI-like settings, all framed in a wavelet dictionary context. The results offer a principled, theoretically grounded foundation for applying compressed sensing to diverse inverse problems, with direct implications for improved sampling design and reconstruction guarantees in practice.

Abstract

This paper extends the sample complexity theory for ill-posed inverse problems developed in a recent work by the authors [`Compressed sensing for inverse problems and the sample complexity of the sparse Radon transform', J. Eur. Math. Soc., to appear], which was originally focused on the sparse Radon transform. We demonstrate that the underlying abstract framework, based on infinite-dimensional compressed sensing and generalized sampling techniques, can effectively handle a variety of practical applications. Specifically, we analyze three case studies: (1) The reconstruction of a sparse signal from a finite number of pointwise blurred samples; (2) The recovery of the (sparse) source term of an elliptic partial differential equation from finite samples of the solution; and (3) A moderately ill-posed variation of the classical sensing problem of recovering a wavelet-sparse signal from finite Fourier samples, motivated by magnetic resonance imaging. For each application, we establish rigorous recovery guarantees by verifying the key theoretical requirements, including quasi-diagonalization and coherence bounds. Our analysis reveals that careful consideration of balancing properties and optimized sampling strategies can lead to improved reconstruction performance. The results provide a unified theoretical foundation for compressed sensing approaches to inverse problems while yielding practical insights for specific applications.
Paper Structure (30 sections, 24 theorems, 216 equations)

This paper contains 30 sections, 24 theorems, 216 equations.

Key Result

Theorem 2.4

Consider the setting introduced in Section sec:setting. Let Assumptions ass:quasi-diag and ass:coherence be satisfied, and fix $j_0\in\mathbb{N}$ and $\gamma\in (0,1)$. Consider: Define There exist constants $C_0,C_1,C_2,C_3>0$, depending only on $C_F$ and the quasi-diagonalization bounds in eq:quasi-diag, for which the following results hold. Uniform bound case. Suppose that: Let $\widehat{x}$

Theorems & Definitions (55)

  • Theorem 2.4
  • Remark 2.5
  • Remark 2.6
  • Example 2.7: Reconstruction of a signal via Fourier samples
  • Remark 2.8
  • Example 2.9: The truncated Radon transform
  • Definition 2.10
  • Proposition 2.11
  • Example 2.12: Optimal sampling for Fourier reconstruction
  • Lemma 3.1
  • ...and 45 more