Elsevier

Signal Processing

Volume 91, Issue 8, August 2011, Pages 1933-1940
Signal Processing

Fast optimization for multichannel total variation minimization with non-quadratic fidelity

https://doi.org/10.1016/j.sigpro.2011.02.015Get rights and content

Abstract

Total variation (TV) has been proved very successful in image processing, and it has been combined with various non-quadratic fidelities for non-Gaussian noise removal. However, these models are hard to solve because TV is non-differentiable and nonlinear, and non-quadratic fidelity term is also nonlinear and even non-differentiable for some special cases. This prevents their widespread use in practical applications. Very recently, it was found that the augmented Lagrangian method is extremely efficient for this kind of models. However, only the single-channel case (e.g., gray images) is considered. In this paper, we propose a general computational framework based on augmented Lagrangian method for multichannel TV minimization with non-quadratic fidelity, and then show how to apply it to two special cases: L1 and Kullback–Leibler (KL) fidelities, two common and important data terms for blurry images corrupted by impulsive noise or Poisson noise, respectively. For these typical fidelities, we show that the sub-problems either can be fast solved by FFT or have closed form solutions. The experiments demonstrate that our algorithm can fast restore high quality images.

Introduction

In image processing and signal processing areas, many problems can be casted as an energy minimization formulation, whose objective energy functional often contains two terms, one is the regularization term modeling some a priori information about the original data, and a fidelity term measuring some types of deviation of the original data from the observed data. One of the most used and successful regularization term is total variation, which was first put forward in [1], and has been successfully applied in many image processing areas, such as image restoration [1], [2], [3], [4], [5], [6], image segmentation, image compression, image reconstruction and surface reconstruction [5], [7], [8]. Its success is based on the fact that the gradient is sparse in most images and total variation catches this property, like the basis pursuit problem [9] in compressive sensing [10], [11].

As for the fidelity term, different problems use different formulation to suit its applications. For image restoration, the most common and popular fidelity term is the L2 type, which has shown great success for recovering blurry images corrupted by Gaussian noise [1], [12], [2], [13]. However, for many other important applications, the L2 type fidelity term is not suitable any more and we need to use a non-quadratic fidelity term to depict the relation between the observed data and the original data. For example, it has been shown that we can get high restoration results by using TV-L1 model to recover images corrupted by blur and impulsive noise [14], [3]. Another typical example is the TV-KL model for Poisson noise [4].

Although TV regularization has many good properties, it is also well-known to be hard to solve because of its non-differentiability and nonlinear properties. A lot of effort has been contributed to design fast solvers [15], [16], [17], [18], [19], [20], [21], [22] in the past few years, however, all of these works only consider TV minimization with squared L2 fidelity term. Compared with TV-L2 model, TV with non-quadratic fidelity models are more complicated because the first order variations of these fidelities are no longer linear. Several algorithms have been put forward to overcome these difficulties. For example, for TV-L1 model, there are gradient descent method [23], LAD method [24], splitting-and-penalty based method [25], and primal-dual method [26] based on semi-smooth Newton algorithm [27], alternating direction methods [28], as well as augmented Lagrangian method [29] for gray images. The same problem exists for TV-KL model, which is effective to deblur images corrupted by Poisson noise, but is quite hard to minimize. Popular methods to solve this TV-KL model are gradient descent [4], multilevel method [30], the scaled gradient projection method [31], and EM-TV alternative minimization [32], as well as variable splitting and convex optimization based methods [33], [34].

In this paper, we put forward a general computational framework for multichannel TV (MTV) minimization with non-quadratic fidelity. Our algorithm is derived from the well-known variable-splitting and augmented Lagrangian method in optimization, which is an unconstrained function based on augmenting the Lagrangian function with a quadratic penalty term. Another benefit of this formulation is that two of three subproblems either can be fast solved by FFT or has closed form solution for general fidelity terms, and the remaining subproblem has closed-form formula for some typical fidelities. We will see that our algorithm dramatically improves the computation speed because of the FFT implementation and closed form solutions. Besides, our different parameters for different auxiliary variables strategy is also much more effective than the one in [28], [33], [34]. Except the MTV regularization, our algorithm can also be extended to effectively handle weighted MTV, as well as high-order regularization terms, like the strategy used in [35]. In general, we present a very efficient algorithm for a quite general type of models which is composed of MTV-like regularization term and non-quadratic fidelity term. As shown in Section 4, our algorithm makes the edge-preserving variational color image restoration models to be practically viable technologies.

The rest of the paper is organized as follows. In the next section, we will first give an introduction about multichannel total variation. Augmented Lagrangian method based numerical solver for multichannel total variation with non-quadratic fidelity terms will be given in Section 3, and its application to two special cases: blurry images corrupted by impulsive noise or Poisson noise will also be presented in this section. Experimental results are shown in Section 4 and we conclude the paper in Section 5.

Section snippets

Multichannel total variation

Let us denote in general an M-channel image by u=(u1,u2,…,uM)T, where um(m=1,2,,M) can be treated as a single channel image represented as an N×N matrix. For convenience of description, we introduce the following notations: V=V×V××VM,Q=Q×Q××QM,where V denotes the Euclidean space RN×N and Q=V×V. The definition of inner products, norms, and operators and div in the spaces V, Q, V and Q can be referred to [35]. Assume fV is an observed multichannel image containing both blur and noise.

Augmented Lagrangian method for MTV with non-quadratic fidelity

For MTV with non-quadratic fidelity models, it is quite hard to directly solve it because MTV and fidelity are nonlinear. Similar with augmented Lagrangian method for TV-L2 model in [35], we use variable splitting technology to change it to minimization problem with equality constraints first. By introducing two new variables pQ and zV, we reformulate problem (3) to the following equality constrained optimization problem:minuV,pQ,zV{E(u,p,z)=Rmtv(p)+F(z,f)}s.t.p=u,z=Ku.To solve (4), we

Experimental results

Our proposed augmented Lagrangian algorithm is a quite general framework suitable for multichannel TV regularization with non-quadratic fidelity. In this section, we test our algorithm on recovering blurry color images with impulsive noise or Poisson noise on several levels. In the rest of this section, we will first describe restoration results for impulsive noise and then for Poisson noise.

The algorithms are implemented in MATLAB and all blurring effects are generated using the MATLAB

Conclusion

In this paper, we first proposed a fast computational framework for a quite general model, which can be composed of multichannel TV regularization with non-quadratic fidelity term. We then applied it to two typical image deblurring problems with impulsive noise or Poisson noise. Benefitting from FFT implementation, closed form solutions for its sub-problems and simple stopping criterion of the inner iteration, our algorithm is extremely efficient, which is also highly enhanced by the

References (44)

  • L.I. Rudin et al.

    Physica D

    (1992)
  • E.J. Candès et al.

    Signal Processing

    (2002)
  • J.P. Oliveira et al.

    Signal Processing

    (2009)
  • S. Setzer et al.

    Journal of Visual Communication and Image Representation

    (2010)
  • P. Blomgren et al.

    IEEE Transactions on Image Processing

    (1998)
  • M. Nikolova

    Journal of Mathematical Imaging and Vision

    (2004)
  • T. Le et al.

    Journal of Mathematical Imaging and Vision

    (2007)
  • Thomas Pock, Daniel Cremers, Horst Bischof, Antonin Chambolle, An algorithm for minimizing the Mumford-Shah functional,...
  • T. Goldstein et al.

    Journal of Science Computing

    (2009)
  • S.S. Chen et al.

    SIAM Journal on Scientific Computing

    (1998)
  • D.L. Donoho

    IEEE Transactions on Information Theory

    (2006)
  • E.J. Candès et al.

    IEEE Transactions on Information Theory

    (2006)
  • G. Sapiro et al.

    IEEE Transactions on Image Processing

    (1996)
  • X. Bresson et al.

    Inverse Problems and Imaging

    (2008)
  • M. Nikolova

    SIAM Journal on Numerical Analysis

    (2002)
  • T.F. Chan et al.

    SIAM Journal on Scientific Computing

    (1999)
  • A. Chambolle

    Journal of Mathematical Imaging and Vision

    (2004)
  • Y. Huang et al.

    Multiscale Modeling and Simulation

    (2008)
  • Y. Wang et al.

    SIAM Journal on Imaging Sciences

    (2008)
  • M. Zhu, T.F. Chan, An efficient primal-dual hybrid gradient algorithm for total variation image restoration, Technical...
  • M. Zhu, S.J. Wright, T.F. Chan, Duality-based algorithm for total variation image restoration, Technical Report 08-33,...
  • T. Goldstein et al.

    SIAM Journal on Imaging Sciences

    (2009)
  • Cited by (4)

    • Variational structure-texture image decomposition on manifolds

      2013, Signal Processing
      Citation Excerpt :

      For an image defined on a plane domain, it can be decomposed by our algorithms if we represent the plane domain as a triangular mesh. Fig. 2 is an example that shows the L2 and L1 decomposition results generated by the conventional planar image decomposition algorithms [18,26] and our proposed method. The running time is reported in Table 2.

    View full text