Learning of Patch-Based Smooth-Plus-Sparse Models for Image Reconstruction
Stanislas Ducotterd, Sebastian Neumayer, Michael Unser
TL;DR
This work tackles inverse imaging problems by learning a patch-based smooth-plus-sparse model that combines a data-consistent term with a per-patch dictionary-based regularizer. The approach casts reconstruction as a bilevel optimization: an inner solver computes the image $\mathbf{x}^*$ given dictionaries $\mathbf{D}$ and regularizer $R$, while an outer loop optimizes these parameters (and an analysis dictionary $\mathbf{Q}$) using implicit differentiation, yielding a two-layer convolutional network fixed point. A key design is the separation of low-frequency content via $\hat{\mathbf{P}}_k=(\mathbf{I}-\mathbf{Q}\mathbf{Q}^T)\mathbf{P}_k$, enabling a smooth component in the $\mathbf{Q}$-subspace and a sparse component from $\mathbf{D}$. The paper demonstrates gains over classical priors (TV, KSVD, BM3D) and competitive or superior performance to deep learning methods in denoising, super-resolution, and CS-MRI, with particular robustness when data are scarce or highly undersampled. The method provides interpretable decompositions and carries convergence guarantees due to its fixed-point CNN formulation, offering a principled alternative to large DL models in medical and scientific imaging.
Abstract
We aim at the solution of inverse problems in imaging, by combining a penalized sparse representation of image patches with an unconstrained smooth one. This allows for a straightforward interpretation of the reconstruction. We formulate the optimization as a bilevel problem. The inner problem deploys classical algorithms while the outer problem optimizes the dictionary and the regularizer parameters through supervised learning. The process is carried out via implicit differentiation and gradient-based optimization. We evaluate our method for denoising, super-resolution, and compressed-sensing magnetic-resonance imaging. We compare it to other classical models as well as deep-learning-based methods and show that it always outperforms the former and also the latter in some instances.
