K-SVD with a Real ℓ0 Optimization: Application to Image Denoising

This paper deals with sparse coding for dictionary learning in sparse representations. Because sparse coding involves an ℓ0-norm, most, if not all, existing solutions only provide an approximate solution. Instead, in this paper, a real ℓ0 optimization is considered for the sparse coding problem providing a global optimal solution. The proposed method reformulates the optimization problem as a Mixed-Integer Quadratic Program (MIQP), allowing then to obtain the global optimal solution by using an off-the-shelf solver. Because computing time is the main disadvantage of this approach, two techniques are proposed to improve its computational speed. One is to add suitable constraints and the other to use an appropriate initialization. The results obtained on an image denoising task demonstrate the feasibility of the MIQP approach for processing well-known benchmark images while achieving good performance compared with the most advanced methods.

[1]  Charles Soussen,et al.  Homotopy based algorithms for L0-regularized least-squares , 2020 .

[2]  Michel Barlaud,et al.  Image coding using wavelet transform , 1992, IEEE Trans. Image Process..

[3]  Marc Teboulle,et al.  Proximal alternating linearized minimization for nonconvex and nonsmooth problems , 2013, Mathematical Programming.

[4]  Michael Elad,et al.  Image Denoising Via Sparse and Redundant Representations Over Learned Dictionaries , 2006, IEEE Transactions on Image Processing.

[5]  Laureano F. Escudero,et al.  A mixed integer programming approach to multi-spectral image classification , 1977, Pattern Recognit..

[6]  Alain Billionnet,et al.  Exact quadratic convex reformulations of mixed-integer quadratically constrained problems , 2015, Mathematical Programming.

[7]  O. V. Stryk,et al.  Decomposition of Mixed-Integer Optimal Control Problems Using Branch and Bound and Sparse Direct Collocation , 2000 .

[8]  David J. Field,et al.  Sparse coding with an overcomplete basis set: A strategy employed by V1? , 1997, Vision Research.

[9]  M. Elad,et al.  $rm K$-SVD: An Algorithm for Designing Overcomplete Dictionaries for Sparse Representation , 2006, IEEE Transactions on Signal Processing.

[10]  Zuowei Shen,et al.  L0 Norm Based Dictionary Learning by Proximal Methods with Global Convergence , 2014, 2014 IEEE Conference on Computer Vision and Pattern Recognition.

[11]  Arnold Neumaier,et al.  Safe bounds in linear and mixed-integer linear programming , 2004, Math. Program..

[12]  Charles Soussen,et al.  Homotopy Based Algorithms for $\ell _{\scriptscriptstyle 0}$-Regularized Least-Squares , 2014, IEEE Transactions on Signal Processing.

[13]  A. Bruckstein,et al.  K-SVD : An Algorithm for Designing of Overcomplete Dictionaries for Sparse Representation , 2005 .

[14]  Robert E. Bixby,et al.  A Brief History of Linear and Mixed-Integer Programming Computation , 2012 .

[15]  Jean Ponce,et al.  Sparse Modeling for Image and Vision Processing , 2014, Found. Trends Comput. Graph. Vis..

[16]  Marcel Mongeau,et al.  Exact Sparse Approximation Problems via Mixed-Integer Programming: Formulations and Computational Performance , 2016, IEEE Transactions on Signal Processing.

[17]  Ted K. Ralphs,et al.  Integer and Combinatorial Optimization , 2013 .

[18]  Karin Schnass,et al.  On the Identifiability of Overcomplete Dictionaries via the Minimisation Principle Underlying K-SVD , 2013, ArXiv.

[19]  A. Lodi,et al.  Solving Mixed-Integer Quadratic Programming problems with IBM-CPLEX : a progress report , 2014 .

[20]  Hayit Greenspan,et al.  Sparsity-based liver metastases detection using learned dictionaries , 2016, 2016 IEEE 13th International Symposium on Biomedical Imaging (ISBI).