A New Cross-Space Total Variation Regularization Model for Color Image Restoration with
Quaternion Blur Operator

Zhigang Jia School of Mathematics and Statistics & RIIS, Jiangsu Normal University, Xuzhou 221116, P.R. China. E-mail: [email protected] โ€ƒโ€ƒ Yuelian Xiang School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou 221116, P.R. China. E-mail: [email protected] โ€ƒโ€ƒ Meixiang Zhao School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou 221116, P.R. China. E-mail: [email protected] โ€ƒโ€ƒ Tingting Wu School of Science, Nan**g University of Posts and Telecommunications, Nan**g 210003, P.R. China. E-mail: [email protected] โ€ƒโ€ƒ Michael K. Ng Corresponding author. Department of Mathematics, Hong Kong Baptist University, Hong Kong. E-mail: [email protected]
Abstract

The cross-channel deblurring problem in color image processing is difficult to solve due to the complex coupling and structural blurring of color pixels. Until now, there are few efficient algorithms that can reduce color infection in deblurring process. To solve this challenging problem, we present a novel cross-space total variation (CSTV) regularization model for color image deblurring by introducing a quaternion blur operator and a cross-color space regularization functional. The existence and uniqueness of the solution is proved and a new L-curve method is proposed to find a sweet balance of regularization functionals on different color spaces. The Euler-Lagrange equation is derived to show that CSTV has taken into account the coupling of all color channels and the local smoothing within each color channel. A quaternion operator splitting method is firstly proposed to enhance the ability of color infection reduction of the CSTV regularization model. This strategy also applies to the well-known color deblurring models. Numerical experiments on color image databases illustrate the efficiency and manoeuvrability of the new model and algorithms. The color images restored by them successfully maintain the color and spatial information and are of higher quality in terms of PSNR, SSIM, MSE and CIEde2000 than the restorations of the-state-of-the-art methods.

Index Terms:
Color image restoration; Cross-channel deblurring; Cross-space total variation; Quaternion operator splitting; Saturation value total variation.

I Introduction

Blurring process of color image is typically applied to all color channels and is also cross-channel. The observed color pixels may have been affeced by neighboring pixels, and there possiblly are mutual contamination between their color channels. The classic and latest color image restoration models have made outstanding contributions in this regard. Their innovation focuses on the improvement of regularization terms, while the fidelity items basically follow the classic total variation (TV) model. A long-overlooked, but important, fact is that fidelity items containing blur operators require more accurate characterization and robust algorithms. In this paper, we present a learning regularization term and a new characterization of fidelity item for color image restoration, and also develop a new efficient and fast algorithm to enhance the performance of deblurring.

A color image contains multiple color channels, each of which can be thought of as a binary function. A general color image degradation model is

๐ณโข(x,y)=๐Šโ‹†๐ฎโข(x,y)+๐งโข(x,y),๐ณ๐‘ฅ๐‘ฆโ‹†๐Š๐ฎ๐‘ฅ๐‘ฆ๐ง๐‘ฅ๐‘ฆ\mathbf{z}(x,y)=\mathbf{K}\star\mathbf{u}(x,y)+\mathbf{n}(x,y),bold_z ( italic_x , italic_y ) = bold_K โ‹† bold_u ( italic_x , italic_y ) + bold_n ( italic_x , italic_y ) , (1)

where ๐ณโข(x,y),๐Š,๐ฎโข(x,y),๐งโข(x,y)๐ณ๐‘ฅ๐‘ฆ๐Š๐ฎ๐‘ฅ๐‘ฆ๐ง๐‘ฅ๐‘ฆ\mathbf{z}(x,y),\mathbf{K},\mathbf{u}(x,y),\mathbf{n}(x,y)bold_z ( italic_x , italic_y ) , bold_K , bold_u ( italic_x , italic_y ) , bold_n ( italic_x , italic_y ) denote degraded color image, blur operator, original color image and additive noise, respectively. Here, โ‹†โ‹†\starโ‹† denotes the convolution operator and ๐Šโ‹†๐ฎโข(x,y)โ‹†๐Š๐ฎ๐‘ฅ๐‘ฆ\mathbf{K}\star\mathbf{u}(x,y)bold_K โ‹† bold_u ( italic_x , italic_y ) characterizes the blurring process. One main task of color image processing is to reconstruct the original color image ๐ฎโข(x,y)๐ฎ๐‘ฅ๐‘ฆ\mathbf{u}(x,y)bold_u ( italic_x , italic_y ) from the observed color image ๐ณโข(x,y)๐ณ๐‘ฅ๐‘ฆ\mathbf{z}(x,y)bold_z ( italic_x , italic_y ). Since the noise ๐งโข(x,y)๐ง๐‘ฅ๐‘ฆ\mathbf{n}(x,y)bold_n ( italic_x , italic_y ) is unknown, one has to inversely solve (1) with minimizing the noise indicator. This unfortunately leads to an ill-posed inverse problem. The way of transforming it into a well-posed problem is to introduce a regularization term into the initial problem. However, the development of color image regularization is blocked for a long time by the difficulty of characterizing complexly coupling and structured blur of color pixels and the hardness to eliminate color infection.

A groundbreaking color image regularization is the (global) channel coupling color TV regularization [1], followed by a local version [2]. These two regularization functionals are based on the RGB color space and couple red, green and blue channels by different norms of TVs on three channels and they can been seen as different norms of vectorial TV of color image. A general framework, called collaborative TV [6], incorporates various norms along different dimensions to provide a comprehensive approach to regularization and the considerd norms includes nuclear, Frobenius, and spectral norms. Recently, Duan et al. [5] proposed a new Beltrami regularization model for color image denoising and an efficient and robust operator splitting method, with regarding color images as manifolds embedded in a five dimensional spatial-chromatic space. And a new color elastica model is developed in [17, 18] by using the Polyakov action and a Laplaceโ€“Beltrami operator on color channels. These beautiful regularization functionals greatly enriche color image models based on vector representation in one color space.

To find more efficient manners of coupling, various studies explore color space transformation methods to generate regularization functionals on new color space. The chrominance, luminance, or R/B component was formed through a weighted linear combination of the R, G, and B channels of the color image in [3]. This process is also represented as โˆ‘kTโขVโข(ukโˆ˜ฯˆ)subscript๐‘˜๐‘‡๐‘‰subscript๐‘ข๐‘˜๐œ“\sum_{k}~{}TV(u_{k}\circ\psi)โˆ‘ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_T italic_V ( italic_u start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT โˆ˜ italic_ฯˆ ) in [6], where ฯˆ๐œ“\psiitalic_ฯˆ is an orthonormal transform to describe the color space transformation. Besides, the human eye is highly sensitive to changes in the opponent color channel. In [25], the opponent transform is employed to transform the RGB color space into the opponent space and the decomposition of the coupling of color channels is allowed. Jia, Ng and Wang [21] recently introduce a saturation-value TV (SVTV) model (given later in (4)) based on quaternion representation of color images. The SVTV regularization functional successfully reflects the physical principle of the human visual system and considers the coupling of red, green, and blue channels. So the SVTV model reconstructs color images of high quality and with slight color infection. The SVTV ragularization has been combined with other methods to handle other image processing tasks and the corresponding modified models achieve at a high level on numerical performance; see [13, 31, 32, 33] for instance.

Above models consider color image restoration in a single color space and thier regullarizations have been well known for their prior on color edges. Can their advantages be combined into one model? A natural way is to define a learnable regularization term that can chararize the color structures in different color spaces. (See the general model (8).) It is expected to perform bettter than those with single color space regularization. Color image restoration models with cross color space regularition terms breaks out the limitations in terms of preserving color and texture information. This is shown in Section III-A and also in Section V.

As is well known, the SVTV regularization model is a quaternion-based description [21]. In the actual alternating iteration process, color images are not directly represented and computed by quaternions but by their real counterparts. This conversion of quaternion operations into real operations makes the calculation easier. However, this could cause color infection in the deblurring process (see numerical experiments in Section V). In order not to weaken the advantages of the quaternion model, we need to solve the quaternion model using the quaternion algorithm. In this paper, we further embed quaternion operations in color image cross-channel restoration based on the quaternion operator splitting approach that considers color pixels as quaternions rather than a vectorised representation of individual color channels. Additionally, we directly solve the quaternion linear systems throughout the iterative process using the quaternion Krylov subspace method. This decision will contribute to color fidelity. One effective existing quaternion Krylov subspace method is the quaternion generalized minimal residual method (QGMRES) [22], which can provide more accurate numerical solutions. For details, please refer to [22]. Therefore, the quaternion linear systems in the deblurring process will be solved by the QGMRES method in this paper.

The contribution is in three aspects:

  • โ€ข

    We present a versatile framework for balanced regularization in multi-color space blending, enhancing color image restoration. This framework contains diverse regularization terms across different color spaces, maintaining color channel relationships and addressing limitations of single-space models. We detail the cross-channel SVTV-CTV balanced regularization model with RGB and HSV color space regularization and provide theoretical proof of its solutionโ€™s existence and uniqueness.

  • โ€ข

    A new algorithm is proposed for the cross-channel SVTV-CTV balance regularization model based on the framework of the alternating minimization method, based on quaternion operator splitting.

  • โ€ข

    The newly proposed method is applied to color image cross-channel restoration. Their efficiency and superiority are indicated by numerical results in terms of visual, PSNR, SSIM, MSE and CIEde2000 criteria. The numerical results also support the assertion that the proposed new methods can better preserve the color fidelity and texture.

The structure of this paper is as follows. We review several preliminary findings of the quaternion and SVTV regularization models in Section II of this paper. In Section III, we propose a new color image restoration model with an SVTV-CTV balance regularization term and give theoretical proof of the existence and uniqueness of the model solution. In Section IV, we propose an effective algorithm for the cross-channel SVTV-CTV balance regularization model. In Section V, we demonstrate numerical examples to illustrate the superiority of the proposed methods. In Section VI, we present concluding remarks.

II Preliminaries

In this section, we shortly recall quaternions and the existing total variation regularization functions for color images.

Let โ„š={๐š=a0+a1โข๐ข+a2โข๐ฃ+a3โข๐ค|a0,a1,a2,a3โˆˆโ„}โ„šconditional-set๐šsubscript๐‘Ž0subscript๐‘Ž1๐ขsubscript๐‘Ž2๐ฃsubscript๐‘Ž3๐คsubscript๐‘Ž0subscript๐‘Ž1subscript๐‘Ž2subscript๐‘Ž3โ„\mathbb{Q}=\left\{{\bf a}=a_{0}+a_{1}\mathbf{i}+a_{2}\mathbf{j}+a_{3}\mathbf{k% }|a_{0},a_{1},a_{2},a_{3}\in\mathbb{R}\right\}blackboard_Q = { bold_a = italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_a start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k | italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_a start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT โˆˆ blackboard_R } denote the quaternion skew-field, โ„šnsuperscriptโ„š๐‘›\mathbb{Q}^{n}blackboard_Q start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT the set of n๐‘›nitalic_n-dimensional quaternion vectors, and โ„šmร—nsuperscriptโ„š๐‘š๐‘›\mathbb{Q}^{m\times n}blackboard_Q start_POSTSUPERSCRIPT italic_m ร— italic_n end_POSTSUPERSCRIPT the set of mร—n๐‘š๐‘›m\times nitalic_m ร— italic_n quaternion matrices [15], where three imaginary units ๐ข,๐ฃ,๐ค๐ข๐ฃ๐ค\mathbf{i},\mathbf{j},\mathbf{k}bold_i , bold_j , bold_k satisfy

๐ข2=๐ฃ2=๐ค2=๐ข๐ฃ๐ค=โˆ’1.superscript๐ข2superscript๐ฃ2superscript๐ค2๐ข๐ฃ๐ค1\mathbf{i}^{2}=\mathbf{j}^{2}=\mathbf{k}^{2}=\mathbf{i}\mathbf{j}\mathbf{k}=-1.bold_i start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = bold_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = bold_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = bold_ijk = - 1 .

For a quaternion ๐š=a0+a1โข๐ข+a2โข๐ฃ+a3โข๐คโˆˆโ„š๐šsubscript๐‘Ž0subscript๐‘Ž1๐ขsubscript๐‘Ž2๐ฃsubscript๐‘Ž3๐คโ„š{\bf a}=a_{0}+a_{1}\mathbf{i}+a_{2}\mathbf{j}+a_{3}\mathbf{k}\in\mathbb{Q}bold_a = italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_a start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k โˆˆ blackboard_Q, a0subscript๐‘Ž0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is called real part and a1,a2,a3subscript๐‘Ž1subscript๐‘Ž2subscript๐‘Ž3a_{1},a_{2},a_{3}italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_a start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT are called three imagenary parts. Pure quaternion is nonzero quaternion with zero real part. The conjugate and modulus of ๐š๐š{\bf a}bold_a are defined by ๐šยฏ=a0โˆ’a1โข๐ขโˆ’a2โข๐ฃโˆ’a3โข๐คยฏ๐šsubscript๐‘Ž0subscript๐‘Ž1๐ขsubscript๐‘Ž2๐ฃsubscript๐‘Ž3๐ค\bar{{\bf a}}=a_{0}-a_{1}\mathbf{i}-a_{2}\mathbf{j}-a_{3}\mathbf{k}overยฏ start_ARG bold_a end_ARG = italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i - italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j - italic_a start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k and |๐š|=๐šยฏโข๐š=a02+a12+a22+a32๐šยฏ๐š๐šsuperscriptsubscript๐‘Ž02superscriptsubscript๐‘Ž12superscriptsubscript๐‘Ž22superscriptsubscript๐‘Ž32|{\bf a}|=\sqrt{\bar{{\bf a}}{\bf a}}=\sqrt{a_{0}^{2}+a_{1}^{2}+a_{2}^{2}+a_{3% }^{2}}| bold_a | = square-root start_ARG overยฏ start_ARG bold_a end_ARG bold_a end_ARG = square-root start_ARG italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_a start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG, respectively. Every nonzero quaternion is invertible and its unique inverse is defined by ๐šโˆ’1=๐šยฏ/|๐š|2superscript๐š1ยฏ๐šsuperscript๐š2{\bf a}^{-1}=\bar{{\bf a}}/|{\bf a}|^{2}bold_a start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = overยฏ start_ARG bold_a end_ARG / | bold_a | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The conjugate transpose of quaternion vector ๐ฏ=v0+v1โข๐ข+v2โข๐ฃ+v3โข๐คโˆˆโ„šn๐ฏsubscript๐‘ฃ0subscript๐‘ฃ1๐ขsubscript๐‘ฃ2๐ฃsubscript๐‘ฃ3๐คsuperscriptโ„š๐‘›{\bf v}=v_{0}+v_{1}\mathbf{i}+v_{2}\mathbf{j}+v_{3}\mathbf{k}\in\mathbb{Q}^{n}bold_v = italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_v start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_v start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_v start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT is defined as ๐ฏโˆ—=v0Tโˆ’v1Tโข๐ขโˆ’v2Tโข๐ฃโˆ’v3Tโข๐คsuperscript๐ฏsuperscriptsubscript๐‘ฃ0๐‘‡superscriptsubscript๐‘ฃ1๐‘‡๐ขsuperscriptsubscript๐‘ฃ2๐‘‡๐ฃsuperscriptsubscript๐‘ฃ3๐‘‡๐ค{\bf v}^{*}=v_{0}^{T}-v_{1}^{T}\mathbf{i}-v_{2}^{T}\mathbf{j}-v_{3}^{T}\mathbf% {k}bold_v start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT = italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - italic_v start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_i - italic_v start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_j - italic_v start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_k, where v0,v1,v2,v3โˆˆโ„nsubscript๐‘ฃ0subscript๐‘ฃ1subscript๐‘ฃ2subscript๐‘ฃ3superscriptโ„๐‘›v_{0},v_{1},v_{2},v_{3}\in\mathbb{R}^{n}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_v start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT โˆˆ blackboard_R start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT and โ‹…Tsuperscriptโ‹…๐‘‡\cdot^{T}โ‹… start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT denotes the transpose operator. Similarly, the conjugate transpose of quaternion matrix ๐€=A0+A1โข๐ข+A2โข๐ฃ+A3โข๐คโˆˆโ„šmร—n๐€subscript๐ด0subscript๐ด1๐ขsubscript๐ด2๐ฃsubscript๐ด3๐คsuperscriptโ„š๐‘š๐‘›{\bf A}=A_{0}+A_{1}\mathbf{i}+A_{2}\mathbf{j}+A_{3}\mathbf{k}\in\mathbb{Q}^{m% \times n}bold_A = italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_m ร— italic_n end_POSTSUPERSCRIPT is defined as ๐€โˆ—=A0Tโˆ’A1Tโข๐ขโˆ’A2Tโข๐ฃโˆ’A3Tโข๐คsuperscript๐€superscriptsubscript๐ด0๐‘‡superscriptsubscript๐ด1๐‘‡๐ขsuperscriptsubscript๐ด2๐‘‡๐ฃsuperscriptsubscript๐ด3๐‘‡๐ค{\bf A}^{*}=A_{0}^{T}-A_{1}^{T}\mathbf{i}-A_{2}^{T}\mathbf{j}-A_{3}^{T}\mathbf% {k}bold_A start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT = italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_i - italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_j - italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_k, where A0,A1,A2,A3โˆˆโ„mร—nsubscript๐ด0subscript๐ด1subscript๐ด2subscript๐ด3superscriptโ„๐‘š๐‘›A_{0},A_{1},A_{2},A_{3}\in\mathbb{R}^{m\times n}italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT โˆˆ blackboard_R start_POSTSUPERSCRIPT italic_m ร— italic_n end_POSTSUPERSCRIPT. According to [22], we define a homeomorphic map** โ„œ\Reroman_โ„œ from quaternion matrices, vectors, scalars or functions to real structured real matrices:

โ„œโก(๐€)=[A0โˆ’A1โˆ’A2โˆ’A3A1A0โˆ’A3A2A2A3A0โˆ’A1A3โˆ’A2A1A0].๐€delimited-[]subscript๐ด0subscript๐ด1subscript๐ด2subscript๐ด3subscript๐ด1subscript๐ด0subscript๐ด3subscript๐ด2subscript๐ด2subscript๐ด3subscript๐ด0subscript๐ด1subscript๐ด3subscript๐ด2subscript๐ด1subscript๐ด0\Re({\bf A})=\left[\begin{array}[]{rrrr}A_{0}&-A_{1}&-A_{2}&-A_{3}\\ A_{1}&A_{0}&-A_{3}&A_{2}\\ A_{2}&A_{3}&A_{0}&-A_{1}\\ A_{3}&-A_{2}&A_{1}&A_{0}\end{array}\right].roman_โ„œ ( bold_A ) = [ start_ARRAY start_ROW start_CELL italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL start_CELL - italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL - italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL - italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL start_CELL - italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL start_CELL italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL start_CELL italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL start_CELL - italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_CELL start_CELL - italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL start_CELL italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ] . (2)

Let โ„œcโก(๐€)subscript๐‘๐€\Re_{c}({\bf A})roman_โ„œ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( bold_A ) denote the first column of โ„œโก(๐€)๐€\Re({\bf A})roman_โ„œ ( bold_A ).

Now we introduce the measurement of quaternion vectors and matrices. The absolute of quaternion vector ๐ฏ=[๐ฏi]โˆˆโ„šn๐ฏdelimited-[]subscript๐ฏ๐‘–superscriptโ„š๐‘›{\bf v}=[{\bf v}_{i}]\in\mathbb{Q}^{n}bold_v = [ bold_v start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ] โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT is |๐ฏ|=[|๐ฏi|]โˆˆโ„n.๐ฏdelimited-[]subscript๐ฏ๐‘–superscriptโ„๐‘›|{\bf v}|=[|{\bf v}_{i}|]\in\mathbb{R}^{n}.| bold_v | = [ | bold_v start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | ] โˆˆ blackboard_R start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT . Similarly, the absolute of quaternion matrix ๐€=[๐šiโขj]โˆˆโ„šmร—n๐€delimited-[]subscript๐š๐‘–๐‘—superscriptโ„š๐‘š๐‘›{\bf A}=[{\bf a}_{ij}]\in\mathbb{Q}^{m\times n}bold_A = [ bold_a start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ] โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_m ร— italic_n end_POSTSUPERSCRIPT is |๐€|=[|๐šiโขj|]โˆˆโ„mร—n.๐€delimited-[]subscript๐š๐‘–๐‘—superscriptโ„๐‘š๐‘›|{\bf A}|=[|{\bf a}_{ij}|]\in\mathbb{R}^{m\times n}.| bold_A | = [ | bold_a start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | ] โˆˆ blackboard_R start_POSTSUPERSCRIPT italic_m ร— italic_n end_POSTSUPERSCRIPT . From [20], we know that quaternion vector (or matrix) norms are functions from quaternion vectors (or matrices) to nonnegative real numbers.

Definition 1.

Let pโ‰ฅ1๐‘1p\geq 1italic_p โ‰ฅ 1. The p๐‘pitalic_p-norm of ๐ฏโˆˆโ„šn๐ฏsuperscriptโ„š๐‘›{\bf v}\in\mathbb{Q}^{n}bold_v โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT is โ€–๐ฏโ€–p=(โˆ‘i=1n|๐ฏi|p)1p.subscriptnorm๐ฏ๐‘superscriptsuperscriptsubscript๐‘–1๐‘›superscriptsubscript๐ฏ๐‘–๐‘1๐‘\|{\bf v}\|_{p}=\big{(}\sum_{i=1}^{n}|{\bf v}_{i}|^{p}\big{)}^{\frac{1}{p}}.โˆฅ bold_v โˆฅ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = ( โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT | bold_v start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG italic_p end_ARG end_POSTSUPERSCRIPT . The p๐‘pitalic_p-norm and F๐นFitalic_F-norm of ๐€โˆˆโ„šmร—n๐€superscriptโ„š๐‘š๐‘›{\bf A}\in\mathbb{Q}^{m\times n}bold_A โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_m ร— italic_n end_POSTSUPERSCRIPT are

โ€–๐€โ€–p=max๐ฑโˆˆโ„šn/{0}โกโ€–๐€๐ฑโ€–pโ€–๐ฑโ€–p,โ€–๐€โ€–F=(โˆ‘i=1nโˆ‘j=1n|๐šiโขj|2)12.formulae-sequencesubscriptnorm๐€๐‘subscript๐ฑsuperscriptโ„š๐‘›0subscriptnorm๐€๐ฑ๐‘subscriptnorm๐ฑ๐‘subscriptnorm๐€๐นsuperscriptsuperscriptsubscript๐‘–1๐‘›superscriptsubscript๐‘—1๐‘›superscriptsubscript๐š๐‘–๐‘—212\|{\bf A}\|_{p}=\max_{{\bf x}\in\mathbb{Q}^{n}/\{0\}}\frac{\|{\bf A}{\bf x}\|_% {p}}{\|{\bf x}\|_{p}},~{}\|{\bf A}\|_{F}=\big{(}\sum\limits_{i=1}^{n}\sum% \limits_{j=1}^{n}|{\bf a}_{ij}|^{2}\big{)}^{\frac{1}{2}}.โˆฅ bold_A โˆฅ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = roman_max start_POSTSUBSCRIPT bold_x โˆˆ blackboard_Q start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT / { 0 } end_POSTSUBSCRIPT divide start_ARG โˆฅ bold_Ax โˆฅ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG โˆฅ bold_x โˆฅ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG , โˆฅ bold_A โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = ( โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT โˆ‘ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT | bold_a start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT .

From this definition and the definition (2), one can easily derive that โ€–๐ฏโ€–2=โ€–โ„œcโก(๐ฏ)โ€–2=12โขโ€–โ„œโก(๐ฏ)โ€–2subscriptnorm๐ฏ2subscriptnormsubscript๐‘๐ฏ212subscriptnorm๐ฏ2\|{\bf v}\|_{2}=\|\Re_{c}({\bf v})\|_{2}=\frac{1}{2}\|\Re({\bf v})\|_{2}โˆฅ bold_v โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = โˆฅ roman_โ„œ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( bold_v ) โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ roman_โ„œ ( bold_v ) โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, โ€–๐€โ€–2=โ€–โ„œโก(๐€)โ€–2subscriptnorm๐€2subscriptnorm๐€2\|{\bf A}\|_{2}=\|\Re({\bf A})\|_{2}โˆฅ bold_A โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = โˆฅ roman_โ„œ ( bold_A ) โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and โ€–๐€โ€–F=โ€–โ„œcโก(๐€)โ€–F=12โขโ€–โ„œโก(๐€)โ€–Fsubscriptnorm๐€๐นsubscriptnormsubscript๐‘๐€๐น12subscriptnorm๐€๐น\|{\bf A}\|_{F}=\|\Re_{c}({\bf A})\|_{F}=\frac{1}{2}\|\Re({\bf A})\|_{F}โˆฅ bold_A โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = โˆฅ roman_โ„œ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( bold_A ) โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ roman_โ„œ ( bold_A ) โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT.

Next, we give a brief description of the SVTV regularization function for color image based on quaternion representation [21]. A quaternion function

๐ฎโข(x,y)=u1โข(x,y)โข๐ข+u2โข(x,y)โข๐ฃ+u3โข(x,y)โข๐ค๐ฎ๐‘ฅ๐‘ฆsubscript๐‘ข1๐‘ฅ๐‘ฆ๐ขsubscript๐‘ข2๐‘ฅ๐‘ฆ๐ฃsubscript๐‘ข3๐‘ฅ๐‘ฆ๐ค\mathbf{u}(x,y)=u_{1}(x,y)\mathbf{i}+u_{2}(x,y)\mathbf{j}+u_{3}(x,y)\mathbf{k}bold_u ( italic_x , italic_y ) = italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_i + italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_j + italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_k

was used to represent a color image in the RGB color space in [21], where (x,y)๐‘ฅ๐‘ฆ(x,y)( italic_x , italic_y ) denotes the position of a color pixel in a given range ฮฉฮฉ\Omegaroman_ฮฉ and three real binary functions uiโข(x,y)subscript๐‘ข๐‘–๐‘ฅ๐‘ฆu_{i}(x,y)italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y )(i=1,2,3)๐‘–123(i=1,~{}2,~{}3)( italic_i = 1 , 2 , 3 ) denote pixel values of red, green and blue channels, respectively. After a strict derivation of quaternion operations, a real-valued version of SVTV was also given in [21], which make it possible to handle it by real calculations instead of quaternion calculations. For simplicity, let โˆ‚x/ysubscript๐‘ฅ๐‘ฆ\partial_{x/y}โˆ‚ start_POSTSUBSCRIPT italic_x / italic_y end_POSTSUBSCRIPT denote โˆ‚xsubscript๐‘ฅ\partial_{x}โˆ‚ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT or โˆ‚ysubscript๐‘ฆ\partial_{y}โˆ‚ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. Without causing misunderstandings, we still use the following vector function to represent a color image,

๐ฎโข(x,y):=[u1โข(x,y)u2โข(x,y)u3โข(x,y)]T.assign๐ฎ๐‘ฅ๐‘ฆsuperscriptdelimited-[]subscript๐‘ข1๐‘ฅ๐‘ฆsubscript๐‘ข2๐‘ฅ๐‘ฆsubscript๐‘ข3๐‘ฅ๐‘ฆ๐‘‡\mathbf{u}(x,y):=\left[\begin{array}[]{ccc}u_{1}(x,y)&u_{2}(x,y)&u_{3}(x,y)% \end{array}\right]^{T}.bold_u ( italic_x , italic_y ) := [ start_ARRAY start_ROW start_CELL italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL end_ROW end_ARRAY ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . (3)

Define

โˆ‚x/y๐ฎโข(x,y)T=[โˆ‚x/yu1โข(x,y)โˆ‚x/yu2โข(x,y)โˆ‚x/yu3โข(x,y)],C=[2โˆ’1โˆ’1โˆ’12โˆ’1โˆ’1โˆ’12].formulae-sequencesubscript๐‘ฅ๐‘ฆ๐ฎsuperscript๐‘ฅ๐‘ฆ๐‘‡delimited-[]subscript๐‘ฅ๐‘ฆsubscript๐‘ข1๐‘ฅ๐‘ฆsubscript๐‘ฅ๐‘ฆsubscript๐‘ข2๐‘ฅ๐‘ฆsubscript๐‘ฅ๐‘ฆsubscript๐‘ข3๐‘ฅ๐‘ฆ๐ถdelimited-[]211121112\displaystyle\partial_{x/y}\mathbf{u}(x,y)^{T}\!=\!\left[\!\begin{array}[]{c}% \partial_{x/y}u_{1}(x,y)\\ \partial_{x/y}u_{2}(x,y)\\ \partial_{x/y}u_{3}(x,y)\end{array}\!\right]\!,C=\left[\begin{array}[]{rrr}2&-% 1&-1\\ -1&2&-1\\ -1&-1&2\end{array}\right].โˆ‚ start_POSTSUBSCRIPT italic_x / italic_y end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = [ start_ARRAY start_ROW start_CELL โˆ‚ start_POSTSUBSCRIPT italic_x / italic_y end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL end_ROW start_ROW start_CELL โˆ‚ start_POSTSUBSCRIPT italic_x / italic_y end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL end_ROW start_ROW start_CELL โˆ‚ start_POSTSUBSCRIPT italic_x / italic_y end_POSTSUBSCRIPT italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL end_ROW end_ARRAY ] , italic_C = [ start_ARRAY start_ROW start_CELL 2 end_CELL start_CELL - 1 end_CELL start_CELL - 1 end_CELL end_ROW start_ROW start_CELL - 1 end_CELL start_CELL 2 end_CELL start_CELL - 1 end_CELL end_ROW start_ROW start_CELL - 1 end_CELL start_CELL - 1 end_CELL start_CELL 2 end_CELL end_ROW end_ARRAY ] .

The saturation and value components of color image ๐ฎโข(x,y)๐ฎ๐‘ฅ๐‘ฆ\mathbf{u}(x,y)bold_u ( italic_x , italic_y ) are defined as

|๐ฎโข(x,y)|s=12โˆฅCโข๐ฎโข(x,y)Tsubscript๐ฎ๐‘ฅ๐‘ฆ๐‘ conditional12๐ถ๐ฎsuperscript๐‘ฅ๐‘ฆ๐‘‡\displaystyle|\mathbf{u}(x,y)|_{s}=\frac{1}{2}\|C\mathbf{u}(x,y)^{T}| bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ italic_C bold_u ( italic_x , italic_y ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT โˆฅ2,\displaystyle\|_{2},โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ,
|๐ฎโข(x,y)|v=13โข|โˆ‘i=13uiโข(x,y)|.subscript๐ฎ๐‘ฅ๐‘ฆ๐‘ฃ13superscriptsubscript๐‘–13subscript๐‘ข๐‘–๐‘ฅ๐‘ฆ\displaystyle|\mathbf{u}(x,y)|_{v}=\frac{1}{\sqrt{3}}|\sum\limits_{i=1}^{3}u_{% i}(x,y)|.| bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 3 end_ARG end_ARG | โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) | .

The SVTV regularization is defined in [21] by

SVTVโข(๐ฎ)=โˆซฮฉ(|โˆ‚x๐ฎโข(x,y)|s2)+(|โˆ‚y๐ฎโข(x,y)|s2)โข๐‘‘xโข๐‘‘ySVTV๐ฎsubscriptฮฉsuperscriptsubscriptsubscript๐‘ฅ๐ฎ๐‘ฅ๐‘ฆ๐‘ 2superscriptsubscriptsubscript๐‘ฆ๐ฎ๐‘ฅ๐‘ฆ๐‘ 2differential-d๐‘ฅdifferential-d๐‘ฆ\displaystyle{\rm{SVTV}}(\mathbf{u})=\int_{\Omega}\sqrt{(|\partial_{x}\mathbf{% u}(x,y)|_{s}^{2})+(|\partial_{y}\mathbf{u}(x,y)|_{s}^{2})}dxdyroman_SVTV ( bold_u ) = โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT square-root start_ARG ( | โˆ‚ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + ( | โˆ‚ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG italic_d italic_x italic_d italic_y (4)
+ฮฑโข(|โˆ‚x๐ฎโข(x,y)|v2)+(|โˆ‚y๐ฎโข(x,y)|v2)โขdโขxโขdโขy,๐›ผsuperscriptsubscriptsubscript๐‘ฅ๐ฎ๐‘ฅ๐‘ฆ๐‘ฃ2superscriptsubscriptsubscript๐‘ฆ๐ฎ๐‘ฅ๐‘ฆ๐‘ฃ2๐‘‘๐‘ฅ๐‘‘๐‘ฆ\displaystyle+\alpha\sqrt{(|\partial_{x}\mathbf{u}(x,y)|_{v}^{2})+(|\partial_{% y}\mathbf{u}(x,y)|_{v}^{2})}dxdy,+ italic_ฮฑ square-root start_ARG ( | โˆ‚ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + ( | โˆ‚ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG italic_d italic_x italic_d italic_y ,

where ฮฑ๐›ผ\alphaitalic_ฮฑ is the weight of the value component. SVTVโข(๐ฎ)SVTV๐ฎ{\rm{SVTV}}(\mathbf{u})roman_SVTV ( bold_u ) is exactly a functional of real functions: u1โข(x,y),u2โข(x,y),u3โข(x,y)subscript๐‘ข1๐‘ฅ๐‘ฆsubscript๐‘ข2๐‘ฅ๐‘ฆsubscript๐‘ข3๐‘ฅ๐‘ฆu_{1}(x,y),~{}u_{2}(x,y),~{}u_{3}(x,y)italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) , italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) , italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ).

Before SVTV regularization, there are several well-known TV regulariztions developed for color image in the RGB color space. For instance,

  • โ€ข

    Blomgren and Chan [1]:

    CTV1โข(๐ฎ):=โˆ‘i=13(โˆซฮฉโ€–โˆ‡uiโข(x,y)โ€–2โข๐‘‘xโข๐‘‘y)2.assignsubscriptCTV1๐ฎsuperscriptsubscript๐‘–13superscriptsubscriptฮฉsubscriptnormโˆ‡subscript๐‘ข๐‘–๐‘ฅ๐‘ฆ2differential-d๐‘ฅdifferential-d๐‘ฆ2{\rm CTV}_{1}(\mathbf{u}):=\sqrt{\sum_{i=1}^{3}\bigg{(}\int_{\Omega}\|\nabla u% _{i}(x,y)\|_{2}~{}dxdy\bigg{)}^{2}}.roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_u ) := square-root start_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT โˆฅ โˆ‡ italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_d italic_x italic_d italic_y ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (5)
  • โ€ข

    Bresson and Chan [2]:

    CTV2โข(๐ฎ):=โˆซฮฉโˆ‘k=13โ€–โˆ‡uiโข(x,y)โ€–22โข๐‘‘xโข๐‘‘y.assignsubscriptCTV2๐ฎsubscriptฮฉsuperscriptsubscript๐‘˜13superscriptsubscriptnormโˆ‡subscript๐‘ข๐‘–๐‘ฅ๐‘ฆ22differential-d๐‘ฅdifferential-d๐‘ฆ{\rm CTV}_{2}(\mathbf{u}):=\int_{\Omega}\sqrt{\sum_{k=1}^{3}\|\nabla u_{i}(x,y% )\|_{2}^{2}}~{}dxdy.roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( bold_u ) := โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT square-root start_ARG โˆ‘ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT โˆฅ โˆ‡ italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_d italic_x italic_d italic_y . (6)
  • โ€ข

    Sapiro [27]:

    VTVโข(๐ฎ):=โˆซฮฉfโข(ฮปโข((โˆ‡๐ฎโข(x,y))Tโขโˆ‡๐ฎโข(x,y)))โข๐‘‘xโข๐‘‘y,assignVTV๐ฎsubscriptฮฉ๐‘“๐œ†superscriptโˆ‡๐ฎ๐‘ฅ๐‘ฆ๐‘‡โˆ‡๐ฎ๐‘ฅ๐‘ฆdifferential-d๐‘ฅdifferential-d๐‘ฆ{\rm VTV}(\mathbf{u}):=\int_{\Omega}f(\lambda((\nabla\mathbf{u}(x,y))^{T}% \nabla\mathbf{u}(x,y)))dxdy,roman_VTV ( bold_u ) := โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT italic_f ( italic_ฮป ( ( โˆ‡ bold_u ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT โˆ‡ bold_u ( italic_x , italic_y ) ) ) italic_d italic_x italic_d italic_y , (7)

    where ฮปโข(โ‹…)๐œ†โ‹…\lambda(\cdot)italic_ฮป ( โ‹… ) refers to eigenvalues and fโข(โ‹…)๐‘“โ‹…f(\cdot)italic_f ( โ‹… ) is a penalty function on eigenvalues.

In above equations, โˆ‡=[โˆ‚x,โˆ‚y]Tโˆ‡superscriptsubscript๐‘ฅsubscript๐‘ฆ๐‘‡\nabla=[\partial_{x},\partial_{y}]^{T}โˆ‡ = [ โˆ‚ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , โˆ‚ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT represents the gradient operator. In [6], classic and advanced versions of vector TV regularizations are summarized into a classification called collaborative total variation (CTV). When applied to color images, they are all based on one color space. A new regularization on defferent color spaces will be introduced in next section.

III Cross-space color image restoration model

In this section, we present a novel cross color space regularization and a new color image restoration model for cross-channel deblurring.

With the degradation model (1) in hand, we are concerned with a general framework for color image restoration expressed as

min๐€โˆˆโ„m๐ฎโข(x,y)โˆˆ๐”นโข๐•โข(ฮฉ)Jโข(๐ฎ,๐€)+Fโข(๐ฎ,๐ณ,๐Š),subscriptFRACOP๐€superscriptโ„๐‘š๐ฎ๐‘ฅ๐‘ฆ๐”น๐•ฮฉ๐ฝ๐ฎ๐€๐น๐ฎ๐ณ๐Š\mathop{\min}\limits_{\bm{\lambda}\in\mathbb{R}^{m}\atop\mathbf{u}(x,y)\in% \mathbb{BV}(\Omega)}~{}J(\mathbf{u},\bm{\lambda})+F(\mathbf{u},\mathbf{z},% \mathbf{K}),roman_min start_POSTSUBSCRIPT FRACOP start_ARG bold_italic_ฮป โˆˆ blackboard_R start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG bold_u ( italic_x , italic_y ) โˆˆ blackboard_B blackboard_V ( roman_ฮฉ ) end_ARG end_POSTSUBSCRIPT italic_J ( bold_u , bold_italic_ฮป ) + italic_F ( bold_u , bold_z , bold_K ) , (8)

where โ„msuperscriptโ„๐‘š\mathbb{R}^{m}blackboard_R start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT denotes the m๐‘šmitalic_m-dimensional real-valued vector space, ๐”นโข๐•โข(ฮฉ)={๐ฎโข(x,y)=u1โข(x,y)โข๐ข+u2โข(x,y)โข๐ฃ+u3โข(x,y)โข๐ค|uiโข(x,y)โˆˆBVโข(ฮฉ),(x,y)โˆˆฮฉ}๐”น๐•ฮฉconditional-set๐ฎ๐‘ฅ๐‘ฆsubscript๐‘ข1๐‘ฅ๐‘ฆ๐ขsubscript๐‘ข2๐‘ฅ๐‘ฆ๐ฃsubscript๐‘ข3๐‘ฅ๐‘ฆ๐คformulae-sequencesubscript๐‘ข๐‘–๐‘ฅ๐‘ฆBVฮฉ๐‘ฅ๐‘ฆฮฉ\mathbb{BV}(\Omega)=\{\mathbf{u}(x,y)=u_{1}(x,y)\mathbf{i}+u_{2}(x,y)\mathbf{j% }+u_{3}(x,y)\mathbf{k}~{}|~{}u_{i}(x,y)\in{\rm BV}(\Omega),~{}(x,y)\in\Omega\}blackboard_B blackboard_V ( roman_ฮฉ ) = { bold_u ( italic_x , italic_y ) = italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_i + italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_j + italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_k | italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) โˆˆ roman_BV ( roman_ฮฉ ) , ( italic_x , italic_y ) โˆˆ roman_ฮฉ } and BVโข(ฮฉ)BVฮฉ{\rm BV}(\Omega)roman_BV ( roman_ฮฉ ) is bounded variation space on a given color image region ฮฉโŠ†โ„2ฮฉsuperscriptโ„2\Omega\subseteq\mathbb{R}^{2}roman_ฮฉ โŠ† blackboard_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The function Jโข(๐ฎ,๐€)๐ฝ๐ฎ๐€J(\mathbf{u},\bm{\lambda})italic_J ( bold_u , bold_italic_ฮป ) punishes the gradients of the targeted color image ๐ฎโข(x,y)๐ฎ๐‘ฅ๐‘ฆ\mathbf{u}(x,y)bold_u ( italic_x , italic_y ) in different color spaces and it is called a cross color space regularization term with balance parameters ๐€=(ฮป1,ฮป2,โ‹ฏ,ฮปm)โˆˆโ„m๐€subscript๐œ†1subscript๐œ†2โ‹ฏsubscript๐œ†๐‘šsuperscriptโ„๐‘š\bm{\lambda}=(\lambda_{1},\lambda_{2},\cdots,\lambda_{m})\in\mathbb{R}^{m}bold_italic_ฮป = ( italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , โ‹ฏ , italic_ฮป start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) โˆˆ blackboard_R start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT. The function Fโข(๐ฎ,๐ณ,๐Š)๐น๐ฎ๐ณ๐ŠF(\mathbf{u},\mathbf{z},\mathbf{K})italic_F ( bold_u , bold_z , bold_K ) is a data fidelity term to control the distance between the targeted and observed color images under the blurring operator.

We now face two difficulties: how to construct the correct regularization term, and how to use quaternion matrices to approximate blurring operators. Next, let us do a detailed analysis.

III-A Cross color space regularization term

The regularization term Jโข(๐ฎ,๐€)๐ฝ๐ฎ๐€J(\mathbf{u},\bm{\lambda})italic_J ( bold_u , bold_italic_ฮป ) is a fusion of regularizations on different color spaces. This fusion is tailored to extract information across various dimensions within color images, thereby enhancing the preservation of color and texture details. For instance, a regularization crossing HSV and RGB color spaces can be defined by

Jโข(๐ฎ,๐€)=ฮป1โขSVTVโข(๐ฎ)+ฮป2โขCTVโข(๐ฎ),๐ฝ๐ฎ๐€subscript๐œ†1SVTV๐ฎsubscript๐œ†2CTV๐ฎJ(\mathbf{u},\bm{\lambda})=\lambda_{1}{\rm{SVTV}}(\mathbf{u})+\lambda_{2}{\rm{% CTV}}(\mathbf{u}),italic_J ( bold_u , bold_italic_ฮป ) = italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_u ) + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_u ) , (9)

where regulariation function SVTVSVTV{\rm{SVTV}}roman_SVTV is defined in (4), CTVCTV{\rm{CTV}}roman_CTV represents CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT or CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT defined in (5) and (6), and ฮป1,ฮป2โˆˆโ„subscript๐œ†1subscript๐œ†2โ„\lambda_{1},\lambda_{2}\in\mathbb{R}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆˆ blackboard_R. The choice of different regularization fuctions is empirical and it relies on the requirement from practical applictions. A solution based on machine learning methods is to perform a linear combination of all possible regular functions with parameters, and then learn the best parameters. There are a number of well-known techniques for dynamically calculating optimal parameters, such as the generalized cross-validation [11, 16], the L-curve method [14] and the discrepancy principle [29]. Here, we generalize the L-curve method to a new L-surface method to determine optimal parameters simultaneously.

The L-surface method is to find a sweet spot on a surface with respect to a certain quality index of the parameter ๐€๐€\bm{\lambda}bold_italic_ฮป. To be clear, we discribe the L-surface method by applying it to determine the optimal ๐€=(ฮป1,ฮป2)๐€subscript๐œ†1subscript๐œ†2\bm{\lambda}=(\lambda_{1},\lambda_{2})bold_italic_ฮป = ( italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) in (9). Suppose we have obtained an observed color image, say โ€™statuesโ€™ in Figure 5, under the setting of Example V-A. The upper bound of parameters is set as b=2โขNโขฯƒ2ร—10โˆ’3๐‘2๐‘superscript๐œŽ2superscript103b=2\sqrt{N\sigma^{2}}\times 10^{-3}italic_b = 2 square-root start_ARG italic_N italic_ฯƒ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT, where N๐‘Nitalic_N is image size and ฯƒ๐œŽ\sigmaitalic_ฯƒ is the noise level. The surface of PSNR values of restored color images are plotted in Figure 1 (a) according to ฮป1,ฮป2โˆˆ(0,b)subscript๐œ†1subscript๐œ†20๐‘\lambda_{1},\lambda_{2}\in(0,b)italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆˆ ( 0 , italic_b ). High PSNR values are obtained with ฮป1โˆˆ(0.4ร—10โˆ’3,b)subscript๐œ†10.4superscript103๐‘\lambda_{1}\in(0.4\times 10^{-3},b)italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT โˆˆ ( 0.4 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , italic_b ) and ฮป2โˆˆ(0.2ร—10โˆ’3,0.5ร—10โˆ’3)subscript๐œ†20.2superscript1030.5superscript103\lambda_{2}\in(0.2\times 10^{-3},0.5\times 10^{-3})italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆˆ ( 0.2 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , 0.5 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ) and the highest PSNR value is 27.190327.190327.190327.1903 at (ฮป1=0.8ร—10โˆ’3,ฮป2=0.2ร—10โˆ’3)formulae-sequencesubscript๐œ†10.8superscript103subscript๐œ†20.2superscript103(\lambda_{1}=0.8\times 10^{-3},~{}\lambda_{2}=0.2\times 10^{-3})( italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.8 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.2 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ). The surface of SSIM values of restored color images are plotted in Figure 1 (b) according to ฮป1,ฮป2โˆˆ(0,b)subscript๐œ†1subscript๐œ†20๐‘\lambda_{1},\lambda_{2}\in(0,b)italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆˆ ( 0 , italic_b ). High SSIM values are obtained with ฮป1โˆˆ(0.5ร—10โˆ’3,b)subscript๐œ†10.5superscript103๐‘\lambda_{1}\in(0.5\times 10^{-3},b)italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT โˆˆ ( 0.5 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , italic_b ) and ฮป2โˆˆ(0.1ร—10โˆ’3,0.3ร—10โˆ’3)subscript๐œ†20.1superscript1030.3superscript103\lambda_{2}\in(0.1\times 10^{-3},0.3\times 10^{-3})italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆˆ ( 0.1 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , 0.3 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ), and the highest SSIM value is 0.77040.77040.77040.7704 at (ฮป1=0.8ร—10โˆ’3,ฮป2=0.1ร—10โˆ’3)formulae-sequencesubscript๐œ†10.8superscript103subscript๐œ†20.1superscript103(\lambda_{1}=0.8\times 10^{-3},~{}\lambda_{2}=0.1\times 10^{-3})( italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.8 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.1 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ). By the weighted average surface of above PSNR and SSIM surfaces, we obtain the sweet spot ๐€=(0.8ร—10โˆ’3,0.2ร—10โˆ’3)๐€0.8superscript1030.2superscript103\bm{\lambda}=(0.8\times 10^{-3},~{}0.2\times 10^{-3})bold_italic_ฮป = ( 0.8 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT , 0.2 ร— 10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT ) that leads to a good combination of SVTV and CTV regularizations.

Refer to caption
Figure 1: The values of PSNR and SSIM for the restored image โ€˜statuesโ€™ in different ฮป1,ฮป2subscript๐œ†1subscript๐œ†2\lambda_{1},\lambda_{2}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT conditions.
Refer to caption
Figure 2: The values of PSNR and SSIM for the restored image โ€˜statuesโ€™ in ฮป1=0subscript๐œ†10\lambda_{1}=0italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0 or ฮป2=0subscript๐œ†20\lambda_{2}=0italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.

Obviously, the combined regularization term Jโข(๐ฎ,๐€)๐ฝ๐ฎ๐€J(\mathbf{u},\bm{\lambda})italic_J ( bold_u , bold_italic_ฮป ) performs better than single regullariztion SVTVโข(๐ฎ)SVTV๐ฎ{\rm{SVTV}}(\mathbf{u})roman_SVTV ( bold_u ) or CTVโข(๐ฎ)CTV๐ฎ{\rm{CTV}}(\mathbf{u})roman_CTV ( bold_u ). This implicits that the color image restoration model (8) with the combined regularization term can obtain a broader range of pre-existing knowledge about color image and thus it is enriched an ability to interpret color image. To demonstrate the superiority, we plot the PSNR and SSIM values in Figure 2 at boundary ฮป1=0subscript๐œ†10\lambda_{1}=0italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0 or ฮป2=0subscript๐œ†20\lambda_{2}=0italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0. We can see that the PSNR and SSIM values in Figure 2 are significantly smaller than 27.190327.190327.190327.1903 and 0.77040.77040.77040.7704 , respectively. So one can conclude that color image restoration models with cross color space regularition performs bettter than those with single color space regularization.

III-B Fidelity term with quaternion operator

The fidelity term Fโข(๐ฎ,๐ณ,๐Š)๐น๐ฎ๐ณ๐ŠF(\mathbf{u},\mathbf{z},\mathbf{K})italic_F ( bold_u , bold_z , bold_K ) of color image restoration model (8) aims to minimize the distance between the observed color image ๐ณ๐ณ\mathbf{z}bold_z and the original color image ๐ฎ๐ฎ\mathbf{u}bold_u after a blurring operation. Next, we introduce a new discription of blur operator by quaternion operator. The new form can lead to a stable algorithm to compute a solution without color confusion and mutual infection.

At first, we recall the cross-channel blur mechanism. The color image cross-channel blurring process is mathematically described in [9, 10, 12] as

๐ฎ^โข(x,y)^๐ฎ๐‘ฅ๐‘ฆ\displaystyle\hat{\mathbf{u}}(x,y)over^ start_ARG bold_u end_ARG ( italic_x , italic_y ) =๐Šโ‹†๐ฎโข(x,y),absentโ‹†๐Š๐ฎ๐‘ฅ๐‘ฆ\displaystyle=\mathbf{K}\star\mathbf{u}(x,y),= bold_K โ‹† bold_u ( italic_x , italic_y ) , (10)

where ๐Š=WโŠ™K๐Šdirect-product๐‘Š๐พ\mathbf{K}=W\odot Kbold_K = italic_W โŠ™ italic_K with

K=[K11K12K13K21K22K23K31K32K33],W=[w11w12w13w21w22w23w31w32w33].formulae-sequence๐พdelimited-[]subscript๐พ11subscript๐พ12subscript๐พ13subscript๐พ21subscript๐พ22subscript๐พ23subscript๐พ31subscript๐พ32subscript๐พ33๐‘Šdelimited-[]subscript๐‘ค11subscript๐‘ค12subscript๐‘ค13subscript๐‘ค21subscript๐‘ค22subscript๐‘ค23subscript๐‘ค31subscript๐‘ค32subscript๐‘ค33\displaystyle K\!\!=\!\!\left[\!\begin{array}[]{ccc}K_{11}&K_{12}&K_{13}\\ K_{21}&K_{22}&K_{23}\\ K_{31}&K_{32}&K_{33}\end{array}\!\right]\!\!,~{}W\!\!=\!\!\left[\!\begin{array% }[]{ccc}w_{11}&w_{12}&w_{13}\\ w_{21}&w_{22}&w_{23}\\ w_{31}&w_{32}&w_{33}\end{array}\!\right]\!\!.italic_K = [ start_ARRAY start_ROW start_CELL italic_K start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_CELL start_CELL italic_K start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_CELL start_CELL italic_K start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_K start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT end_CELL start_CELL italic_K start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_CELL start_CELL italic_K start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_K start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT end_CELL start_CELL italic_K start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT end_CELL start_CELL italic_K start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ] , italic_W = [ start_ARRAY start_ROW start_CELL italic_w start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_CELL start_CELL italic_w start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_CELL start_CELL italic_w start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_w start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT end_CELL start_CELL italic_w start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_CELL start_CELL italic_w start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_w start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT end_CELL start_CELL italic_w start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT end_CELL start_CELL italic_w start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ] . (17)

In (17), the sub-matrices of K๐พKitalic_K, denoted by Kiโขjsubscript๐พ๐‘–๐‘—K_{ij}italic_K start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPTโ€™s, are real blur kernels, and the entries of W๐‘ŠWitalic_W, wiโขjsubscript๐‘ค๐‘–๐‘—w_{ij}italic_w start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPTโ€™s, belong to the interval [0,1]01[0,1][ 0 , 1 ] and โˆ‘j=13wiโขj=1superscriptsubscript๐‘—13subscript๐‘ค๐‘–๐‘—1\sum_{j=1}^{3}w_{ij}=1โˆ‘ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = 1 for i=1,2,3๐‘–123i=1,2,3italic_i = 1 , 2 , 3.

The cross-channel blurring process (10) can be embedded into a higher dimentional space,

[u^0โข(x,y)u^rโข(x,y)u^gโข(x,y)u^bโข(x,y)]delimited-[]subscript^๐‘ข0๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript^๐‘ข๐‘Ÿ๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript^๐‘ข๐‘”๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript^๐‘ข๐‘๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpression\displaystyle\left[\begin{array}[]{cccc}\hat{u}_{0}(x,y)\\ \hat{u}_{r}(x,y)\\ \hat{u}_{g}(x,y)\\ \hat{u}_{b}(x,y)\end{array}\right][ start_ARRAY start_ROW start_CELL over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] =[B11B12B13B14\hdashlineโขB21B31๐ŠB41]โ‹†[u0โข(x,y)u1โข(x,y)u2โข(x,y)u3โข(x,y)],absentโ‹†delimited-[]subscript๐ต11subscript๐ต12subscript๐ต13subscript๐ต14\hdashlinesubscript๐ต21missing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐ต31missing-subexpression๐Šmissing-subexpressionsubscript๐ต41missing-subexpressionmissing-subexpressionmissing-subexpressiondelimited-[]subscript๐‘ข0๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘ข1๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘ข2๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘ข3๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpression\displaystyle=\left[\begin{array}[]{c:ccc}B_{11}&B_{12}&B_{13}&B_{14}\\ \hdashline B_{21}&&&\\ B_{31}&&\mathbf{K}&\\ B_{41}&&&\end{array}\right]\star\left[\begin{array}[]{cccc}u_{0}(x,y)\\ u_{1}(x,y)\\ u_{2}(x,y)\\ u_{3}(x,y)\end{array}\right],= [ start_ARRAY start_ROW start_CELL italic_B start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_CELL start_CELL italic_B start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_CELL start_CELL italic_B start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT end_CELL start_CELL italic_B start_POSTSUBSCRIPT 14 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL bold_K end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUBSCRIPT 41 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] โ‹† [ start_ARRAY start_ROW start_CELL italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] , (18)

where u0^โข(x,y)^subscript๐‘ข0๐‘ฅ๐‘ฆ\hat{u_{0}}(x,y)over^ start_ARG italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG ( italic_x , italic_y ) and u0โข(x,y)subscript๐‘ข0๐‘ฅ๐‘ฆu_{0}(x,y)italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) are zero functions and Biโขjsubscript๐ต๐‘–๐‘—B_{ij}italic_B start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPTโ€™s are arbitrary operators of the same size of Kiโขjsubscript๐พ๐‘–๐‘—K_{ij}italic_K start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPTโ€™s in (17). Denote the extended blurring operator by B๐ตBitalic_B, that is,

B=[B11B12B13B14\hdashlineโขB21B31๐ŠB41].๐ตdelimited-[]subscript๐ต11subscript๐ต12subscript๐ต13subscript๐ต14\hdashlinesubscript๐ต21missing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐ต31missing-subexpression๐Šmissing-subexpressionsubscript๐ต41missing-subexpressionmissing-subexpressionmissing-subexpressionB=\left[\begin{array}[]{c:ccc}B_{11}&B_{12}&B_{13}&B_{14}\\ \hdashline B_{21}&&&\\ B_{31}&&\mathbf{K}&\\ B_{41}&&&\end{array}\right].italic_B = [ start_ARRAY start_ROW start_CELL italic_B start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT end_CELL start_CELL italic_B start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_CELL start_CELL italic_B start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT end_CELL start_CELL italic_B start_POSTSUBSCRIPT 14 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL bold_K end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_B start_POSTSUBSCRIPT 41 end_POSTSUBSCRIPT end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] . (19)

It can be splitted into a sum of a JRS-symmetric matrix Q๐‘„Qitalic_Q and a 4ร—4444\times 44 ร— 4 real block matrix R๐‘…Ritalic_R, according to the following rules:

B=Q+R,๐ต๐‘„๐‘…B=Q+R,italic_B = italic_Q + italic_R , (20)

where

Q=14โข(B+JnโขBโขJnT+RnโขBโขRnT+SnโขBโขSnT),๐‘„14๐ตsubscript๐ฝ๐‘›๐ตsuperscriptsubscript๐ฝ๐‘›๐‘‡subscript๐‘…๐‘›๐ตsuperscriptsubscript๐‘…๐‘›๐‘‡subscript๐‘†๐‘›๐ตsuperscriptsubscript๐‘†๐‘›๐‘‡\displaystyle Q=\frac{1}{4}(B+J_{n}B{J_{n}}^{T}+R_{n}B{R_{n}}^{T}+S_{n}B{S_{n}% }^{T}),italic_Q = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( italic_B + italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT + italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT + italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) , (21)
R=14โข(3โขBโˆ’JnโขBโขJnTโˆ’RnโขBโขRnTโˆ’SnโขBโขSnT),๐‘…143๐ตsubscript๐ฝ๐‘›๐ตsuperscriptsubscript๐ฝ๐‘›๐‘‡subscript๐‘…๐‘›๐ตsuperscriptsubscript๐‘…๐‘›๐‘‡subscript๐‘†๐‘›๐ตsuperscriptsubscript๐‘†๐‘›๐‘‡\displaystyle R=\frac{1}{4}(3B-J_{n}B{J_{n}}^{T}-R_{n}B{R_{n}}^{T}-S_{n}B{S_{n% }}^{T}),italic_R = divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( 3 italic_B - italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_B italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ,

and Jn,Rn,Snsubscript๐ฝ๐‘›subscript๐‘…๐‘›subscript๐‘†๐‘›J_{n},R_{n},S_{n}italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are unitary operators defined in [24]. Since these unitary operators satisfy JnโขJn=โˆ’I4โขnsubscript๐ฝ๐‘›subscript๐ฝ๐‘›subscript๐ผ4๐‘›J_{n}J_{n}=-I_{4n}italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = - italic_I start_POSTSUBSCRIPT 4 italic_n end_POSTSUBSCRIPT, JnโขRn=Snsubscript๐ฝ๐‘›subscript๐‘…๐‘›subscript๐‘†๐‘›J_{n}R_{n}=S_{n}italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and JnโขSn=โˆ’Rnsubscript๐ฝ๐‘›subscript๐‘†๐‘›subscript๐‘…๐‘›J_{n}S_{n}=-R_{n}italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = - italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, we can easily derive

JnโขQโขJnT=Q,RnโขQโขRnT=Q,SnโขQโขSnT=Q.formulae-sequencesubscript๐ฝ๐‘›๐‘„superscriptsubscript๐ฝ๐‘›๐‘‡๐‘„formulae-sequencesubscript๐‘…๐‘›๐‘„superscriptsubscript๐‘…๐‘›๐‘‡๐‘„subscript๐‘†๐‘›๐‘„superscriptsubscript๐‘†๐‘›๐‘‡๐‘„J_{n}QJ_{n}^{T}=Q,~{}~{}R_{n}QR_{n}^{T}=Q,~{}~{}S_{n}QS_{n}^{T}=Q.italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_Q italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = italic_Q , italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_Q italic_R start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = italic_Q , italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_Q italic_S start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT = italic_Q .

From [24], there exists a quaternion matrix

๐=Q0+Q1โข๐ข+Q2โข๐ฃ+Q3โข๐ค๐subscript๐‘„0subscript๐‘„1๐ขsubscript๐‘„2๐ฃsubscript๐‘„3๐ค{\bf Q}=Q_{0}+Q_{1}\mathbf{i}+Q_{2}\mathbf{j}+Q_{3}\mathbf{k}bold_Q = italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_Q start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k (22)

such that

Q=โ„œโก(๐),๐‘„๐Q=\Re({\bf Q}),italic_Q = roman_โ„œ ( bold_Q ) , (23)

and

Q0subscript๐‘„0\displaystyle Q_{0}italic_Q start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT =14โข(B11+w11โขK11+w22โขK22+w33โขK33),absent14subscript๐ต11subscript๐‘ค11subscript๐พ11subscript๐‘ค22subscript๐พ22subscript๐‘ค33subscript๐พ33\displaystyle=\frac{1}{4}(B_{11}+w_{11}K_{11}+w_{22}K_{22}+w_{33}K_{33}),= divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( italic_B start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT + italic_w start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT + italic_w start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT + italic_w start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT ) , (24)
Q1subscript๐‘„1\displaystyle Q_{1}italic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =14โข(B21โˆ’B12+w32โขK32โˆ’w23โขK23),absent14subscript๐ต21subscript๐ต12subscript๐‘ค32subscript๐พ32subscript๐‘ค23subscript๐พ23\displaystyle=\frac{1}{4}(B_{21}-B_{12}+w_{32}K_{32}-w_{23}K_{23}),= divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( italic_B start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT - italic_B start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT + italic_w start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT - italic_w start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT ) ,
Q2subscript๐‘„2\displaystyle Q_{2}italic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =14โข(B31โˆ’B13+w13โขK13โˆ’w31โขK31),absent14subscript๐ต31subscript๐ต13subscript๐‘ค13subscript๐พ13subscript๐‘ค31subscript๐พ31\displaystyle=\frac{1}{4}(B_{31}-B_{13}+w_{13}K_{13}-w_{31}K_{31}),= divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( italic_B start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT - italic_B start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT + italic_w start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT - italic_w start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT ) ,
Q3subscript๐‘„3\displaystyle Q_{3}italic_Q start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT =14โข(B41โˆ’B14+w21โขK21โˆ’w12โขK12).absent14subscript๐ต41subscript๐ต14subscript๐‘ค21subscript๐พ21subscript๐‘ค12subscript๐พ12\displaystyle=\frac{1}{4}(B_{41}-B_{14}+w_{21}K_{21}-w_{12}K_{12}).= divide start_ARG 1 end_ARG start_ARG 4 end_ARG ( italic_B start_POSTSUBSCRIPT 41 end_POSTSUBSCRIPT - italic_B start_POSTSUBSCRIPT 14 end_POSTSUBSCRIPT + italic_w start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT - italic_w start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) .

Note that the blocks Biโขjsubscript๐ต๐‘–๐‘—B_{ij}italic_B start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPTโ€™s of matrix B๐ตBitalic_B defined by (19) are solution of the minimization problem:

minBiโขjโ€–Bโˆ’Qโ€–Fsubscriptsubscript๐ต๐‘–๐‘—subscriptnorm๐ต๐‘„๐น\displaystyle\mathop{\min}\limits_{B_{ij}}~{}\|B-Q\|_{F}roman_min start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_POSTSUBSCRIPT โˆฅ italic_B - italic_Q โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT (25)
s.t.โขB12โ‹†u1+B1,3โ‹†u2+B14โ‹†u3=0.โ‹†s.t.subscript๐ต12subscript๐‘ข1โ‹†subscript๐ต13subscript๐‘ข2โ‹†subscript๐ต14subscript๐‘ข30\displaystyle\text{s.t.}~{}~{}B_{12}\star u_{1}+B_{1,3}\star u_{2}+B_{14}\star u% _{3}=0.s.t. italic_B start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT โ‹† italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_B start_POSTSUBSCRIPT 1 , 3 end_POSTSUBSCRIPT โ‹† italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_B start_POSTSUBSCRIPT 14 end_POSTSUBSCRIPT โ‹† italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = 0 .

Now we introduce a quaternion representation of blurring process. Define

๐ฎ^โข(x,y)^๐ฎ๐‘ฅ๐‘ฆ\displaystyle\hat{\mathbf{u}}(x,y)over^ start_ARG bold_u end_ARG ( italic_x , italic_y ) =u^0โข(x,y)+u^rโข(x,y)โข๐ข+u^gโข(x,y)โข๐ฃ+u^bโข(x,y)โข๐ค,absentsubscript^๐‘ข0๐‘ฅ๐‘ฆsubscript^๐‘ข๐‘Ÿ๐‘ฅ๐‘ฆ๐ขsubscript^๐‘ข๐‘”๐‘ฅ๐‘ฆ๐ฃsubscript^๐‘ข๐‘๐‘ฅ๐‘ฆ๐ค\displaystyle=\hat{u}_{0}(x,y)+\hat{u}_{r}(x,y)\mathbf{i}+\hat{u}_{g}(x,y)% \mathbf{j}+\hat{u}_{b}(x,y)\mathbf{k},= over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) + over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_i + over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_j + over^ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_k ,
๐ฎโข(x,y)๐ฎ๐‘ฅ๐‘ฆ\displaystyle{\mathbf{u}}(x,y)bold_u ( italic_x , italic_y ) =u0โข(x,y)+urโข(x,y)โข๐ข+ugโข(x,y)โข๐ฃ+ubโข(x,y)โข๐ค.absentsubscript๐‘ข0๐‘ฅ๐‘ฆsubscript๐‘ข๐‘Ÿ๐‘ฅ๐‘ฆ๐ขsubscript๐‘ข๐‘”๐‘ฅ๐‘ฆ๐ฃsubscript๐‘ข๐‘๐‘ฅ๐‘ฆ๐ค\displaystyle={u}_{0}(x,y)+{u}_{r}(x,y)\mathbf{i}+{u}_{g}(x,y)\mathbf{j}+{u}_{% b}(x,y)\mathbf{k}.= italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) + italic_u start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_i + italic_u start_POSTSUBSCRIPT italic_g end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_j + italic_u start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_k .

Based on the above matrix splitting, the blurring process (18) can be rewritten as

๐ฎ^โข(x,y)=๐โ‹†๐ฎโข(x,y)+๐ซโข(x,y),^๐ฎ๐‘ฅ๐‘ฆโ‹†๐๐ฎ๐‘ฅ๐‘ฆ๐ซ๐‘ฅ๐‘ฆ\hat{\mathbf{u}}(x,y)={\bf Q}\star\mathbf{u}(x,y)+{\bf r}(x,y),over^ start_ARG bold_u end_ARG ( italic_x , italic_y ) = bold_Q โ‹† bold_u ( italic_x , italic_y ) + bold_r ( italic_x , italic_y ) , (26)

where

๐ซโข(x,y)=r0โข(x,y)+r1โข(x,y)โข๐ข+r2โข(x,y)โข๐ฃ+r3โข(x,y)โข๐ค,๐ซ๐‘ฅ๐‘ฆsubscript๐‘Ÿ0๐‘ฅ๐‘ฆsubscript๐‘Ÿ1๐‘ฅ๐‘ฆ๐ขsubscript๐‘Ÿ2๐‘ฅ๐‘ฆ๐ฃsubscript๐‘Ÿ3๐‘ฅ๐‘ฆ๐ค{{\bf r}}(x,y)=r_{0}(x,y)+r_{1}(x,y)\mathbf{i}+r_{2}(x,y)\mathbf{j}+r_{3}(x,y)% \mathbf{k},bold_r ( italic_x , italic_y ) = italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) + italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_i + italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_j + italic_r start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) bold_k ,
[r0โข(x,y)r1โข(x,y)r2โข(x,y)r3โข(x,y)]=Rโ‹†[u0โข(x,y)u1โข(x,y)u2โข(x,y)u3โข(x,y)].delimited-[]subscript๐‘Ÿ0๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘Ÿ1๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘Ÿ2๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘Ÿ3๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionโ‹†๐‘…delimited-[]subscript๐‘ข0๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘ข1๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘ข2๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpressionsubscript๐‘ข3๐‘ฅ๐‘ฆmissing-subexpressionmissing-subexpressionmissing-subexpression\left[\begin{array}[]{rrrr}r_{0}(x,y)\\ r_{1}(x,y)\\ r_{2}(x,y)\\ r_{3}(x,y)\end{array}\right]=R\star\left[\begin{array}[]{rrrr}u_{0}(x,y)\\ u_{1}(x,y)\\ u_{2}(x,y)\\ u_{3}(x,y)\end{array}\right].[ start_ARRAY start_ROW start_CELL italic_r start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_r start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] = italic_R โ‹† [ start_ARRAY start_ROW start_CELL italic_u start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_x , italic_y ) end_CELL start_CELL end_CELL start_CELL end_CELL start_CELL end_CELL end_ROW end_ARRAY ] .

In the discrete form, the cross-channel blurring process is in fact a sum of a quaternion matrix-vector product ๐๐ฎ๐๐ฎ{\bf Q}\mathbf{u}bold_Qu and a quaternion vector ๐ซ๐ซ{\bf r}bold_r. The quaternion operations can preserve the ratio of red, green and blue information of color pixels in the blurring process and thus, color confusion and interinfection can be reduced in the delburring process. As a result, the correlation of color channels are well preserved and the revovered color images can achieve a high quality. In theroy, there always exists an invertible quaternion matrix ๐๐{\bf Q}bold_Q such that ๐๐ฎ=๐ฎ^๐๐ฎ^๐ฎ{\bf Q}\mathbf{u}=\widehat{\mathbf{u}}bold_Qu = over^ start_ARG bold_u end_ARG. However, it is impractical to compute such quaternion matrix, since a large number of pairs of original and observed color images under the same blurring process are in need. Especially, the original color image is definitely unknown. So we altermatively constuct ๐๐{\bf Q}bold_Q according to (22), (24) and (25) to minimize โ€–๐ซโ€–2subscriptnorm๐ซ2\|{\bf r}\|_{2}โˆฅ bold_r โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT in this paper.

Let us turn back to construct the fidelity term Fโข(๐ฎ,๐ณ,๐Š)๐น๐ฎ๐ณ๐ŠF(\mathbf{u},\mathbf{z},\mathbf{K})italic_F ( bold_u , bold_z , bold_K ) of color image restoration model (8). To treat different kinds of noise, we define the distance between the observed and original color images by Lpsubscript๐ฟ๐‘L_{p}italic_L start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT norm as

Fโข(๐ฎ,๐ณ,๐Š)=1pโขโˆซฮฉ|๐Šโ‹†๐ฎโข(x,y)โˆ’๐ณโข(x,y)|pโข๐‘‘xโข๐‘‘y,pโ‰ฅ1.formulae-sequence๐น๐ฎ๐ณ๐Š1๐‘subscriptฮฉsuperscriptโ‹†๐Š๐ฎ๐‘ฅ๐‘ฆ๐ณ๐‘ฅ๐‘ฆ๐‘differential-d๐‘ฅdifferential-d๐‘ฆ๐‘1F(\mathbf{u},\mathbf{z},\mathbf{K})=\frac{1}{p}\int_{\Omega}|\mathbf{K}\star% \mathbf{u}(x,y)-\mathbf{z}(x,y)|^{p}dxdy,~{}~{}p\geq 1.italic_F ( bold_u , bold_z , bold_K ) = divide start_ARG 1 end_ARG start_ARG italic_p end_ARG โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT | bold_K โ‹† bold_u ( italic_x , italic_y ) - bold_z ( italic_x , italic_y ) | start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y , italic_p โ‰ฅ 1 . (27)

According to (10) and (26), we have a quaternion operator form

Fโข(๐ฎ,๐ณ,๐Š)=1pโขโˆซฮฉ|๐โ‹†๐ฎโข(x,y)+๐ซโข(x,y)โˆ’๐ณโข(x,y)|pโข๐‘‘xโข๐‘‘y.๐น๐ฎ๐ณ๐Š1๐‘subscriptฮฉsuperscriptโ‹†๐๐ฎ๐‘ฅ๐‘ฆ๐ซ๐‘ฅ๐‘ฆ๐ณ๐‘ฅ๐‘ฆ๐‘differential-d๐‘ฅdifferential-d๐‘ฆF(\mathbf{u},\mathbf{z},\mathbf{K})=\frac{1}{p}\int_{\Omega}|{\bf Q}\star% \mathbf{u}(x,y)+{\bf r}(x,y)-\mathbf{z}(x,y)|^{p}dxdy.italic_F ( bold_u , bold_z , bold_K ) = divide start_ARG 1 end_ARG start_ARG italic_p end_ARG โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT | bold_Q โ‹† bold_u ( italic_x , italic_y ) + bold_r ( italic_x , italic_y ) - bold_z ( italic_x , italic_y ) | start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y . (28)

This general framework offers a flexibility to adaptlivey choose suitable fidelity terms to rescove color images based on specific noise types and image texture characteristics. For instance, one can explore the utilization of the L2subscript๐ฟ2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT fidelity term to reduce Gaussian noise, the L1subscript๐ฟ1L_{1}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT fidelity term to eliminate poisson and mixed noise, and the L1subscript๐ฟ1L_{1}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT-L2subscript๐ฟ2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT mixed fidelity term for more effectively mitigating losses induced by degradation factors. The forms in (27) and (28) are mathematically equivalent to each other. The former is used for theorectical analysis and the later is used to design stable and fast algorithm.

III-C A new color image restoration model

Now we propose a color image restoration model with a cross color space regularisation term and a fidelity with quatrnion operator. To make the discription clear, we concentrate into two color spaces: the widely used RGB color space and the more human eye-perceiving HSV color space.

Let the cross-space regularization be defined as in (9) and the fidelity term in (28). For an observed image ๐ณ๐ณ\mathbf{z}bold_z, a new cross-space color image restoration model is

๐ฎ^=argโกmin๐ฎโข(x,y)โˆˆ๐”นโข๐•โข(ฮฉ)ฮป1โขSVTVโข(๐ฎ)+ฮป2โขCTVโข(๐ฎ)+^๐ฎsubscript๐ฎ๐‘ฅ๐‘ฆ๐”น๐•ฮฉsubscript๐œ†1SVTV๐ฎlimit-fromsubscript๐œ†2CTV๐ฎ\displaystyle\widehat{\mathbf{u}}=\mathop{\arg\min}\limits_{\mathbf{u}(x,y)\in% \mathbb{BV}(\Omega)}~{}\lambda_{1}{\rm{SVTV}}(\mathbf{u})+\lambda_{2}{\rm{CTV}% }(\mathbf{u})+over^ start_ARG bold_u end_ARG = start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) โˆˆ blackboard_B blackboard_V ( roman_ฮฉ ) end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_u ) + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_u ) + (29)
1pโขโˆซฮฉ|๐โ‹†๐ฎ+๐ซโˆ’๐ณ|pโข๐‘‘xโข๐‘‘y,1๐‘subscriptฮฉsuperscriptโ‹†๐๐ฎ๐ซ๐ณ๐‘differential-d๐‘ฅdifferential-d๐‘ฆ\displaystyle\frac{1}{p}\int_{\Omega}|{\bf Q}\star\mathbf{u}+{\bf r}-\mathbf{z% }|^{p}dxdy,divide start_ARG 1 end_ARG start_ARG italic_p end_ARG โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT | bold_Q โ‹† bold_u + bold_r - bold_z | start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y ,

where ฮป1subscript๐œ†1\lambda_{1}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and ฮป2subscript๐œ†2\lambda_{2}italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are two given nonnegative regularization parameters, and p๐‘pitalic_p is a positive integer not less than 1111. Here, parameters ฮป1subscript๐œ†1\lambda_{1}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and ฮป2subscript๐œ†2\lambda_{2}italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT play in two roles: one is the regularization parameters to banlance regularization and fidelity terms, and another is the balance parameters between two regularization terms.

This model contains one fidelity term and two regularization terms: SVTV regularization and CTV regularization. The two regularizations complement each other with color and texture information. In this way, the loss of information caused by considering only one color space will be decreased. Parameters ฮป1subscript๐œ†1\lambda_{1}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and ฮป2subscript๐œ†2\lambda_{2}italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT control the balance of them. When ฮป1=0subscript๐œ†10\lambda_{1}=0italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0, the model degenerates to the classical color total variation model; when ฮป2=0subscript๐œ†20\lambda_{2}=0italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0, the model degenerates to the saturation value total variation model; and when both ฮป1subscript๐œ†1\lambda_{1}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and ฮป2subscript๐œ†2\lambda_{2}italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are greater than 0, both regularization terms come into play and the information of saturation, value, red, green and blue is used for color image restoration.

Next, we analyze the solvability of the newly proposed model (29) with p=2๐‘2p=2italic_p = 2.

Theorem 1.

If p=2๐‘2p=2italic_p = 2, there is at least one solution for the minimization problem (29) and moreover, the solution is unique when ๐ฎโ†ฆ๐โ‹†๐ฎ+๐ซmaps-to๐ฎโ‹†๐๐ฎ๐ซ\mathbf{u}\mapsto{\bf Q}\star\mathbf{u}+{\bf r}bold_u โ†ฆ bold_Q โ‹† bold_u + bold_r is injective.

Proof:

If ๐ฎโข(x,y)๐ฎ๐‘ฅ๐‘ฆ\mathbf{u}(x,y)bold_u ( italic_x , italic_y ) is a constant value function, then SVTVโข(๐ฎ)=0SVTV๐ฎ0{\rm{SVTV}}(\mathbf{u})=0roman_SVTV ( bold_u ) = 0 and CTVโข(๐ฎ)=0CTV๐ฎ0{\rm{CTV}}(\mathbf{u})=0roman_CTV ( bold_u ) = 0. The energy in (7) thus becomes finite. This implies that the infimum of the energy must be finite. Suppose that {๐ฎ(n)โข(x,y)}superscript๐ฎ๐‘›๐‘ฅ๐‘ฆ\left\{\mathbf{u}^{(n)}(x,y)\right\}{ bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ( italic_x , italic_y ) } is a minimizing sequence of problem (7). Consequently, a constant M>0๐‘€0M>0italic_M > 0 exists such that

SVTVโข(๐ฎ(n))โ‰คM.SVTVsuperscript๐ฎ๐‘›๐‘€{\rm{SVTV}}(\mathbf{u}^{(n)})\leq M.roman_SVTV ( bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) โ‰ค italic_M .

We get that {SVTVโข(๐ฎ(n))+โˆ‘i=13โ€–ui(n)โˆฅL1}conditional-setSVTVsuperscript๐ฎ๐‘›superscriptsubscript๐‘–13evaluated-atsuperscriptsubscript๐‘ข๐‘–๐‘›superscript๐ฟ1\left\{{\rm{SVTV}}(\mathbf{u}^{(n)})+\sum\limits_{i=1}^{3}\|u_{i}^{(n)}\|_{L^{% 1}}\right\}{ roman_SVTV ( bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) + โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT โˆฅ italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT โˆฅ start_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT end_POSTSUBSCRIPT } is uniformly bounded by combining the boundedness of u1(n),u2(n),u3(n)superscriptsubscript๐‘ข1๐‘›superscriptsubscript๐‘ข2๐‘›superscriptsubscript๐‘ข3๐‘›u_{1}^{(n)},u_{2}^{(n)},u_{3}^{(n)}italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT , italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT , italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT. Noting the compactness of [21], we know that there exist u1โˆ—,u2โˆ—,u3โˆ—superscriptsubscript๐‘ข1superscriptsubscript๐‘ข2superscriptsubscript๐‘ข3u_{1}^{*},u_{2}^{*},u_{3}^{*}italic_u start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT , italic_u start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT , italic_u start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT such that

ui(n)โข(x,y)โ†’L1โข(ฮฉ)uiโˆ—โข(x,y),ui(n)โข(x,y)โ†’uiโˆ—โข(x,y)formulae-sequencesuperscript๐ฟ1ฮฉโ†’superscriptsubscript๐‘ข๐‘–๐‘›๐‘ฅ๐‘ฆsuperscriptsubscript๐‘ข๐‘–๐‘ฅ๐‘ฆโ†’superscriptsubscript๐‘ข๐‘–๐‘›๐‘ฅ๐‘ฆsuperscriptsubscript๐‘ข๐‘–๐‘ฅ๐‘ฆ\displaystyle u_{i}^{(n)}(x,y)\!\xrightarrow{{L^{1}}(\Omega)}\!u_{i}^{*}(x,y),% ~{}~{}~{}u_{i}^{(n)}(x,y)\!\rightarrow\!u_{i}^{*}(x,y)italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ( italic_x , italic_y ) start_ARROW start_OVERACCENT italic_L start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT ( roman_ฮฉ ) end_OVERACCENT โ†’ end_ARROW italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ( italic_x , italic_y ) , italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ( italic_x , italic_y ) โ†’ italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ( italic_x , italic_y )
a.e.(x,y)โˆˆฮฉ,i=1,2,3.formulae-sequence๐‘Ž๐‘’formulae-sequence๐‘ฅ๐‘ฆฮฉ๐‘–123\displaystyle a.e.~{}(x,y)\!\in\!\Omega,~{}~{}i=1,2,3.italic_a . italic_e . ( italic_x , italic_y ) โˆˆ roman_ฮฉ , italic_i = 1 , 2 , 3 .

Recall that ๐โ‹†๐ฎโข(x,y)+๐ซโข(x,y)=๐Šโ‹†๐ฎโข(x,y)โ‹†๐๐ฎ๐‘ฅ๐‘ฆ๐ซ๐‘ฅ๐‘ฆโ‹†๐Š๐ฎ๐‘ฅ๐‘ฆ{\bf Q}\star\mathbf{u}(x,y)+{\bf r}(x,y)=\mathbf{K}\star\mathbf{u}(x,y)bold_Q โ‹† bold_u ( italic_x , italic_y ) + bold_r ( italic_x , italic_y ) = bold_K โ‹† bold_u ( italic_x , italic_y ). Subsequently, the convergence of the following results is valid:

(๐Šโ‹†ui(n)โข(x,y)โˆ’ziโข(x,y))2โ†’(๐Šโ‹†uiโˆ—โข(x,y)โˆ’ziโข(x,y))2โ†’superscriptโ‹†๐Šsuperscriptsubscript๐‘ข๐‘–๐‘›๐‘ฅ๐‘ฆsubscript๐‘ง๐‘–๐‘ฅ๐‘ฆ2superscriptโ‹†๐Šsuperscriptsubscript๐‘ข๐‘–๐‘ฅ๐‘ฆsubscript๐‘ง๐‘–๐‘ฅ๐‘ฆ2\displaystyle(\mathbf{K}\star u_{i}^{(n)}(x,y)-z_{i}(x,y))^{2}\rightarrow(% \mathbf{K}\star u_{i}^{*}(x,y)-z_{i}(x,y))^{2}( bold_K โ‹† italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ( italic_x , italic_y ) - italic_z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT โ†’ ( bold_K โ‹† italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ( italic_x , italic_y ) - italic_z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
a.e.(x,y)โˆˆฮฉ,i=1,2,3.formulae-sequence๐‘Ž๐‘’formulae-sequence๐‘ฅ๐‘ฆฮฉ๐‘–123\displaystyle a.e.~{}~{}(x,y)\in\Omega,~{}~{}i=1,2,3.italic_a . italic_e . ( italic_x , italic_y ) โˆˆ roman_ฮฉ , italic_i = 1 , 2 , 3 .

Taking advantage of the Fatouโ€™s lemma, one has

โˆ‘i=13liminfโˆซฮฉ(๐Šโ‹†ui(n)โข(x,y)โˆ’ziโข(x,y))2โข๐‘‘xโข๐‘‘ysuperscriptsubscript๐‘–13infimumsubscriptฮฉsuperscriptโ‹†๐Šsuperscriptsubscript๐‘ข๐‘–๐‘›๐‘ฅ๐‘ฆsubscript๐‘ง๐‘–๐‘ฅ๐‘ฆ2differential-d๐‘ฅdifferential-d๐‘ฆ\displaystyle\sum\limits_{i=1}^{3}\lim\inf\int_{\Omega}(\mathbf{K}\star u_{i}^% {(n)}(x,y)-z_{i}(x,y))^{2}dxdyโˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_lim roman_inf โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT ( bold_K โ‹† italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ( italic_x , italic_y ) - italic_z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y
โ‰ฅโˆ‘i=13โˆซฮฉ(๐Šโ‹†uiโˆ—โข(x,y)โˆ’ziโข(x,y))2โข๐‘‘xโข๐‘‘y.absentsuperscriptsubscript๐‘–13subscriptฮฉsuperscriptโ‹†๐Šsuperscriptsubscript๐‘ข๐‘–๐‘ฅ๐‘ฆsubscript๐‘ง๐‘–๐‘ฅ๐‘ฆ2differential-d๐‘ฅdifferential-d๐‘ฆ\displaystyle\geq\sum\limits_{i=1}^{3}\int_{\Omega}(\mathbf{K}\star u_{i}^{*}(% x,y)-z_{i}(x,y))^{2}dxdy.โ‰ฅ โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT ( bold_K โ‹† italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ( italic_x , italic_y ) - italic_z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y .

On account of the lower semicontinuity of CTVโข(๐ฎ)CTV๐ฎ{\rm{CTV}}(\mathbf{u})roman_CTV ( bold_u ) and SVTVโข(๐ฎ)SVTV๐ฎ{\rm{SVTV}}(\mathbf{u})roman_SVTV ( bold_u ),

liminfCTVโข(๐ฎ(n))โ‰ฅCTVโข(๐ฎโˆ—),infimumCTVsuperscript๐ฎ๐‘›CTVsuperscript๐ฎ\displaystyle\lim\inf~{}{\rm{CTV}}(\mathbf{u}^{(n)})\geq{\rm{CTV}}(\mathbf{u}^% {*}),roman_lim roman_inf roman_CTV ( bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) โ‰ฅ roman_CTV ( bold_u start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ) ,
liminfSVTVโข(๐ฎ(n))โ‰ฅSVTVโข(๐ฎโˆ—),infimumSVTVsuperscript๐ฎ๐‘›SVTVsuperscript๐ฎ\displaystyle\lim\inf~{}{\rm{SVTV}}(\mathbf{u}^{(n)})\geq{\rm{SVTV}}(\mathbf{u% }^{*}),roman_lim roman_inf roman_SVTV ( bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) โ‰ฅ roman_SVTV ( bold_u start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ) ,

then we obtain

liminf(ฮป1SVTV(๐ฎ(n))+ฮป2CTV(๐ฎ(n))\displaystyle\lim\inf~{}(\lambda_{1}{\rm{SVTV}}(\mathbf{u}^{(n)})+\lambda_{2}{% \rm{CTV}}(\mathbf{u}^{(n)})roman_lim roman_inf ( italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_u start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT )
+โˆ‘i=13โˆซฮฉ(๐Šโ‹†ui(n)(x,y)โˆ’zi(x,y))2dxdy)\displaystyle~{}~{}~{}~{}~{}~{}~{}+\sum\limits_{i=1}^{3}\int_{\Omega}(\mathbf{% K}\star u_{i}^{(n)}(x,y)-z_{i}(x,y))^{2}dxdy)+ โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT ( bold_K โ‹† italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ( italic_x , italic_y ) - italic_z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y )
โ‰ฅฮป1SVTV(๐ฎโˆ—)+ฮป2CTV(๐ฎโˆ—\displaystyle\geq\lambda_{1}{\rm{SVTV}}(\mathbf{u}^{*})+\lambda_{2}{\rm{CTV}}(% \mathbf{u}^{*}โ‰ฅ italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_u start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ) + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_u start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT
+โˆ‘i=13โˆซฮฉ(๐Šโ‹†uiโˆ—(x,y)โˆ’zi(x,y))2dxdy).\displaystyle~{}~{}~{}~{}~{}~{}+\sum\limits_{i=1}^{3}\int_{\Omega}(\mathbf{K}% \star u_{i}^{*}(x,y)-z_{i}(x,y))^{2}dxdy).+ โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT โˆซ start_POSTSUBSCRIPT roman_ฮฉ end_POSTSUBSCRIPT ( bold_K โ‹† italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT ( italic_x , italic_y ) - italic_z start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d italic_x italic_d italic_y ) .

It leads to the existence of the solution of (7) in the main body. If ๐ฎโ†ฆ๐โ‹†๐ฎ+๐ซmaps-to๐ฎโ‹†๐๐ฎ๐ซ\mathbf{u}\mapsto{\bf Q}\star\mathbf{u}+{\bf r}bold_u โ†ฆ bold_Q โ‹† bold_u + bold_r (=๐Šโ‹†๐ฎ)absentโ‹†๐Š๐ฎ(=\mathbf{K}\star\mathbf{u})( = bold_K โ‹† bold_u ) is injective, the uniqueness of the solution can be obtained quickly by combining the convexity of SVTV(๐ฎ๐ฎ\mathbf{u}bold_u) and CTV(๐ฎ๐ฎ\mathbf{u}bold_u). โˆŽ

An important advantage of the newly proposed model (29) is that it takes into account the color channels coupling and the local smoothing within each channel. This implicitly leads to achieving better results in terms of both image texture and color fidelity. We can get the explanation from the corresponding Euler-Lagrange equation:

ฮป13โˆ‡โ‹…(โˆ‡(๐‚๐ฎ)(|โˆ‚x๐ฎโข(x,y)|s2)+(|โˆ‚y๐ฎโข(x,y)|s2)\displaystyle\frac{\lambda_{1}}{3}\nabla\cdot\Bigg{(}\frac{\nabla\left({\bf C}% \mathbf{u}\right)}{\sqrt{(|\partial_{x}\mathbf{u}(x,y)|_{s}^{2})+(|\partial_{y% }\mathbf{u}(x,y)|_{s}^{2})}}divide start_ARG italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 3 end_ARG โˆ‡ โ‹… ( divide start_ARG โˆ‡ ( bold_Cu ) end_ARG start_ARG square-root start_ARG ( | โˆ‚ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + ( | โˆ‚ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG end_ARG (30)
+ฮฑโˆ‡๐ฎ(|โˆ‚x๐ฎโข(x,y)|v2)+(|โˆ‚y๐ฎโข(x,y)|v2))\displaystyle+\alpha\frac{\nabla\mathbf{u}}{\sqrt{(|\partial_{x}\mathbf{u}(x,y% )|_{v}^{2})+(|\partial_{y}\mathbf{u}(x,y)|_{v}^{2})}}\Bigg{)}+ italic_ฮฑ divide start_ARG โˆ‡ bold_u end_ARG start_ARG square-root start_ARG ( | โˆ‚ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + ( | โˆ‚ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT bold_u ( italic_x , italic_y ) | start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG end_ARG )
+ฮป2โขโˆ‘i=13subscript๐œ†2superscriptsubscript๐‘–13\displaystyle+\lambda_{2}\sum\limits_{i=1}^{3}+ italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT โˆ‡โ‹…(โˆ‡uiโข(x,y)|๐ฎโข(x,y)|)โˆ’(๐Šโˆ—โ‹†๐Šโ‹†๐ฎโˆ’๐Šโˆ—โ‹†๐ณ)=0.โ‹…โˆ‡โˆ‡subscript๐‘ข๐‘–๐‘ฅ๐‘ฆ๐ฎ๐‘ฅ๐‘ฆโ‹†superscript๐Š๐Š๐ฎโ‹†superscript๐Š๐ณ0\displaystyle\nabla\cdot\left(\frac{\nabla u_{i}(x,y)}{|\mathbf{u}(x,y)|}% \right)-\left(\mathbf{K}^{*}\star\mathbf{K}\star\mathbf{u}-\mathbf{K}^{*}\star% \mathbf{z}\right)=0.โˆ‡ โ‹… ( divide start_ARG โˆ‡ italic_u start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_x , italic_y ) end_ARG start_ARG | bold_u ( italic_x , italic_y ) | end_ARG ) - ( bold_K start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT โ‹† bold_K โ‹† bold_u - bold_K start_POSTSUPERSCRIPT โˆ— end_POSTSUPERSCRIPT โ‹† bold_z ) = 0 .

In (30), the proposed model takes into account both the diffusion coefficients of the channel coupling over the saturation and value components and the diffusion coefficients of the summation of the individual channels over the RGB space. The quaternion representation also leads to many other advantages, such as the values of three color channels of a color pixel are flocked together and their physical meanings are preserved in the whole color image processing based on quaternion computation. Especially, color distortion will be hugely reduced in the recovered color image by the new model.

To end this section, we present the dual form of model (29). The dual forms of regularization functions SVTV and CTV are

SVTVโข(๐ฎ)SVTV๐ฎ\displaystyle{\rm{SVTV}}(\mathbf{u})roman_SVTV ( bold_u ) =maxโ€–gโ€–โ‰ค1โกโŸจdiagโก(1,1,ฮฑ)โข๐๐ฎ,โˆ‡gโŸฉ,absentsubscriptnorm๐‘”1diag11๐›ผ๐๐ฎโˆ‡๐‘”\displaystyle=\max_{\|g\|\leq 1}~{}\left<\operatorname{diag}(1,1,\alpha){\bf P% }\mathbf{u},\nabla g\right>,= roman_max start_POSTSUBSCRIPT โˆฅ italic_g โˆฅ โ‰ค 1 end_POSTSUBSCRIPT โŸจ roman_diag ( 1 , 1 , italic_ฮฑ ) bold_Pu , โˆ‡ italic_g โŸฉ ,
CTVโข(๐ฎ)CTV๐ฎ\displaystyle{\rm{CTV}}(\mathbf{u})roman_CTV ( bold_u ) =maxโ€–hโ€–โ‰ค1โกโŸจ๐ฎ,โˆ‡hโŸฉ,absentsubscriptnormโ„Ž1๐ฎโˆ‡โ„Ž\displaystyle=\max_{\|h\|\leq 1}~{}\left<\mathbf{u},\nabla h\right>,= roman_max start_POSTSUBSCRIPT โˆฅ italic_h โˆฅ โ‰ค 1 end_POSTSUBSCRIPT โŸจ bold_u , โˆ‡ italic_h โŸฉ ,

where ๐๐{\bf P}bold_P is an orthogonal transformation matrix that takes the form of

๐=[12โขIโˆ’12โขI016โขI16โขIโˆ’26โขI13โขI13โขI13โขI].๐delimited-[]12๐ผ12๐ผ016๐ผ16๐ผ26๐ผ13๐ผ13๐ผ13๐ผ{\bf P}=\left[\begin{array}[]{ccc}\frac{1}{\sqrt{2}}{I}&\frac{-1}{\sqrt{2}}{I}% &\textbf{0}\\ \frac{1}{\sqrt{6}}{I}&\frac{1}{\sqrt{6}}{I}&\frac{-2}{\sqrt{6}}{I}\\ \frac{1}{\sqrt{3}}{I}&\frac{1}{\sqrt{3}}{I}&\frac{1}{\sqrt{3}}{I}\end{array}% \right].bold_P = [ start_ARRAY start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_I end_CELL start_CELL divide start_ARG - 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_I end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 6 end_ARG end_ARG italic_I end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 6 end_ARG end_ARG italic_I end_CELL start_CELL divide start_ARG - 2 end_ARG start_ARG square-root start_ARG 6 end_ARG end_ARG italic_I end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 3 end_ARG end_ARG italic_I end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 3 end_ARG end_ARG italic_I end_CELL start_CELL divide start_ARG 1 end_ARG start_ARG square-root start_ARG 3 end_ARG end_ARG italic_I end_CELL end_ROW end_ARRAY ] .

By converting the regularization terms into dual forms, we can rephrase the minimization problem (29) as the following dual form:

min๐ฎโกmaxโ€–gโ€–โ‰ค1โ€–hโ€–โ‰ค1โกฮป1โขโŸจdiagโก(1,1,ฮฑ)โข๐๐ฎ,โˆ‡gโŸฉ+ฮป2โขโŸจ๐ฎ,โˆ‡hโŸฉ+12โˆฅ๐โ‹†๐ฎ+๐ซโˆ’๐ณโˆฅ2.\min\limits_{\mathbf{u}}\!\max\limits_{\|g\|\leq 1\atop\|h\|\leq 1}\lambda_{1}% \!\left<\operatorname{diag}(1,1,\alpha){\bf P}\mathbf{u},\nabla g\right>+% \lambda_{2}\!\left<\mathbf{u},\nabla h\right>+\atop\frac{1}{2}\|{\bf Q}\star% \mathbf{u}+{\bf r}-\mathbf{z}\|^{2}.FRACOP start_ARG roman_min start_POSTSUBSCRIPT bold_u end_POSTSUBSCRIPT roman_max start_POSTSUBSCRIPT FRACOP start_ARG โˆฅ italic_g โˆฅ โ‰ค 1 end_ARG start_ARG โˆฅ italic_h โˆฅ โ‰ค 1 end_ARG end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT โŸจ roman_diag ( 1 , 1 , italic_ฮฑ ) bold_Pu , โˆ‡ italic_g โŸฉ + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โŸจ bold_u , โˆ‡ italic_h โŸฉ + end_ARG start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_Q โ‹† bold_u + bold_r - bold_z โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . end_ARG (31)

In the dual form, the solution ๐ฎโข(x,y)๐ฎ๐‘ฅ๐‘ฆ\mathbf{u}(x,y)bold_u ( italic_x , italic_y ) can be differentiable or not, which expands the feasible set. Obviously, the min-max problem (31) is a new saddle-point problem.

There are various methods to solve the new model (29) or the dual form (31) with real variables. However, there no methods for solving them with quaternion variables. So we will develop fast algorithms for solving model (29) in next section.

IV Fast algorithms

In this section, we present a new stable and fast algorithm for model (29) based on quaternion operator splitting.

It is impractical to solve the Euler-Lagrange equation (30) directly, since a non-linear differential equation leads to a non-linear system after discretization. So we introduce two auxilary variables into (29) and obtain an mathematically equivalent model:

๐ฎ^=argโกmin๐ฎฮป1โขSVTVโข(๐ฐ)+ฮป2โขCTVโข(๐ฏ)+12โˆฅ๐โ‹†๐ฎ+๐ซโˆ’๐ณโˆฅ2,\displaystyle\displaystyle\widehat{\mathbf{u}}=\mathop{\arg\min}\limits_{% \mathbf{u}}~{}\lambda_{1}{\rm{SVTV}}(\mathbf{w})+\lambda_{2}{\rm{CTV}}({\bf v}% )+\atop\frac{1}{2}\|{\bf Q}\star\mathbf{u}+{\bf r}-\mathbf{z}\|^{2},FRACOP start_ARG over^ start_ARG bold_u end_ARG = start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_u end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_w ) + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_v ) + end_ARG start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_Q โ‹† bold_u + bold_r - bold_z โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_ARG
s.t.โข๐ฐ=๐ฎ,๐ฏ=๐ฎ.formulae-sequences.t.๐ฐ๐ฎ๐ฏ๐ฎ\displaystyle\text{s.t.}~{}~{}\mathbf{w}=\mathbf{u},~{}~{}{\bf v}=\mathbf{u}.s.t. bold_w = bold_u , bold_v = bold_u .

The constraints mentioned above can be converted into an unconstrained problem:

๐ฎ^=argโกmin๐ฎ,๐ฐ,๐ฏฮป1โขSVTVโข(๐ฐ)+ฮฑ12โขโ€–๐ฐโˆ’๐ฎโ€–2+12โˆฅ๐โ‹†๐ฎ+๐ซโˆ’๐ณโˆฅ2+ฮป2CTV(๐ฏ)+ฮฑ22โˆฅ๐ฏโˆ’๐ฎโˆฅ2,\widehat{\mathbf{u}}=\mathop{\arg\min}\limits_{\mathbf{u},\mathbf{w},{\bf v}}~% {}\lambda_{1}{\rm{SVTV}}(\mathbf{w})+\frac{\alpha_{1}}{2}\|\mathbf{w}-\mathbf{% u}\|^{2}+\atop\frac{1}{2}\|{\bf Q}\star\mathbf{u}+{\bf r}-\mathbf{z}\|^{2}+% \lambda_{2}{\rm{CTV}}({\bf v})+\frac{\alpha_{2}}{2}\|{\bf v}-\mathbf{u}\|^{2},FRACOP start_ARG over^ start_ARG bold_u end_ARG = start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_u , bold_w , bold_v end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_w ) + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_w - bold_u โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + end_ARG start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_Q โ‹† bold_u + bold_r - bold_z โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_v ) + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_v - bold_u โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_ARG (32)

where ฮฑ1subscript๐›ผ1\alpha_{1}italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and ฮฑ2subscript๐›ผ2\alpha_{2}italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are two positive parameters. Three unknown variables ๐ฎ๐ฎ\mathbf{u}bold_u, ๐ฐ๐ฐ\mathbf{w}bold_w and ๐ฏ๐ฏ{\bf v}bold_v can be splitted into two indepentent groups and under the framework of alternating minimization method, problem (32) can be solved by altermatively solving two subproblems:

  • โˆ™โˆ™\bulletโˆ™

    ๐ฎ๐ฎ\mathbf{u}bold_u-subproblem

    With fixing ๐ฐ๐ฐ\mathbf{w}bold_w and ๐ฏ๐ฏ{\bf v}bold_v, the minimization problem (32) is equivalently reduced to

    argโกmin๐ฎฮฑ12โขโ€–๐ฎโˆ’๐ฐโ€–2+ฮฑ22โขโ€–๐ฎโˆ’๐ฏโ€–2+12โˆฅ๐โ‹†๐ฎ+๐ซโˆ’๐ณโˆฅ2.\mathop{\arg\min}\limits_{\mathbf{u}}~{}\frac{\alpha_{1}}{2}\|\mathbf{u}-% \mathbf{w}\|^{2}+\frac{\alpha_{2}}{2}\|\mathbf{u}-{\bf v}\|^{2}+\atop\frac{1}{% 2}\|{\bf Q}\star\mathbf{u}+{\bf r}-\mathbf{z}\|^{2}.FRACOP start_ARG start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_u end_POSTSUBSCRIPT divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_u - bold_w โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_u - bold_v โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + end_ARG start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_Q โ‹† bold_u + bold_r - bold_z โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . end_ARG (33)
  • โˆ™โˆ™\bulletโˆ™

    (๐ฐ,๐ฏ)๐ฐ๐ฏ(\mathbf{w},{\bf v})( bold_w , bold_v )-subproblem

    With fixing ๐ฎ๐ฎ\mathbf{u}bold_u, the minimization problem (32) is equivalently reduced to

    argโกmin๐ฐ,๐ฏฮป1โขSVTVโข(๐ฐ)+ฮฑ12โขโ€–๐ฐโˆ’๐ฎโ€–2+ฮป2CTV(๐ฏ)+ฮฑ22โˆฅ๐ฏโˆ’๐ฎโˆฅ2.\mathop{\arg\min}\limits_{\mathbf{w},{\bf v}}~{}\lambda_{1}{\rm{SVTV}}(\mathbf% {w})+\frac{\alpha_{1}}{2}\|\mathbf{w}-\mathbf{u}\|^{2}+\atop\lambda_{2}{\rm{% CTV}}({\bf v})+\frac{\alpha_{2}}{2}\|{\bf v}-\mathbf{u}\|^{2}.FRACOP start_ARG start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_w , bold_v end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_w ) + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_w - bold_u โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + end_ARG start_ARG italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_v ) + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_v - bold_u โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . end_ARG (34)

IV-A Quaternion operator splitting method for ๐ฎ๐ฎ\mathbf{u}bold_u-subproblem

Now we consider the ๐ฎ๐ฎ\mathbf{u}bold_u-subproblem (33) and use its real presentation to introduce a quaternion operator splitting method.

From the analysis in Section III-B, the real representation of (33) is

argโกmin๐ฎฮฑ12โขโ€–๐ฎโˆ’๐ฐโ€–2+ฮฑ22โขโ€–๐ฎโˆ’๐ฏโ€–2+12โˆฅB๐ฎโˆ’๐ณโˆฅ2,\mathop{\arg\min}\limits_{\mathbf{u}}~{}\frac{\alpha_{1}}{2}\|\mathbf{u}-% \mathbf{w}\|^{2}+\frac{\alpha_{2}}{2}\|\mathbf{u}-{\bf v}\|^{2}+\atop\frac{1}{% 2}\|B\mathbf{u}-\mathbf{z}\|^{2},FRACOP start_ARG start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_u end_POSTSUBSCRIPT divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_u - bold_w โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_u - bold_v โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + end_ARG start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ italic_B bold_u - bold_z โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_ARG (35)

where B=Q+R๐ต๐‘„๐‘…B=Q+Ritalic_B = italic_Q + italic_R with Q๐‘„Qitalic_Q and R๐‘…Ritalic_R being 4-by-4 block matrices defined by (21). Its nomral equation is

[BTโขB+(ฮฑ1+ฮฑ2)โขI]โข๐ฎ=BTโข๐ณ+ฮฑ1โข๐ฐ+ฮฑ2โข๐ฏ.delimited-[]superscript๐ต๐‘‡๐ตsubscript๐›ผ1subscript๐›ผ2๐ผ๐ฎsuperscript๐ต๐‘‡๐ณsubscript๐›ผ1๐ฐsubscript๐›ผ2๐ฏ[B^{T}B+(\alpha_{1}+\alpha_{2}){I}]\mathbf{u}=B^{T}\mathbf{z}+\alpha_{1}% \mathbf{w}+\alpha_{2}{\bf v}.[ italic_B start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_B + ( italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_I ] bold_u = italic_B start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_z + italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_w + italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_v . (36)

We split BTโขBsuperscript๐ต๐‘‡๐ตB^{T}Bitalic_B start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_B into QTโขQ+QTโขR+RTโขR+RTโขQsuperscript๐‘„๐‘‡๐‘„superscript๐‘„๐‘‡๐‘…superscript๐‘…๐‘‡๐‘…superscript๐‘…๐‘‡๐‘„Q^{T}Q+Q^{T}R+R^{T}R+R^{T}Qitalic_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_Q + italic_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_R + italic_R start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_R + italic_R start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_Q and obtain an iterative format

๐ฎk+1=โˆ’(QTโขR+RTโขQ+RTโขR)โข๐ฎksuperscript๐ฎ๐‘˜1superscript๐‘„๐‘‡๐‘…superscript๐‘…๐‘‡๐‘„superscript๐‘…๐‘‡๐‘…superscript๐ฎ๐‘˜\displaystyle\mathbf{u}^{k+1}=-(Q^{T}R+R^{T}Q+R^{T}R)\mathbf{u}^{k}bold_u start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT = - ( italic_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_R + italic_R start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_Q + italic_R start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_R ) bold_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT (37)
+ฮปโข(Q+R)Tโข๐ณ+ฮฑ1โข๐ฐ+ฮฑ2โข๐ฏ.๐œ†superscript๐‘„๐‘…๐‘‡๐ณsubscript๐›ผ1๐ฐsubscript๐›ผ2๐ฏ\displaystyle+\lambda(Q+R)^{T}\mathbf{z}+\alpha_{1}\mathbf{w}+\alpha_{2}{\bf v}.+ italic_ฮป ( italic_Q + italic_R ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_z + italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_w + italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_v .

From the structure of Q๐‘„Qitalic_Q as in (23), we can construct a equivalent quaternion linear system

๐€๐ฎk+1=๐›,superscript๐€๐ฎ๐‘˜1๐›\displaystyle{\bf A}\mathbf{u}^{k+1}={\bf b},bold_Au start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT = bold_b , (38)

where ๐€=A0+A1โข๐ข+A2โข๐ฃ+A3โข๐ค๐€subscript๐ด0subscript๐ด1๐ขsubscript๐ด2๐ฃsubscript๐ด3๐ค{\bf A}=A_{0}+A_{1}\mathbf{i}+A_{2}\mathbf{j}+A_{3}\mathbf{k}bold_A = italic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_A start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_A start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_A start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k with โ„œโก(๐€)=QTโขQ+ฮฑ1โขI+ฮฑ2โขI๐€superscript๐‘„๐‘‡๐‘„subscript๐›ผ1๐ผsubscript๐›ผ2๐ผ\Re({\bf A})=Q^{T}Q+\alpha_{1}{I}+\alpha_{2}{I}roman_โ„œ ( bold_A ) = italic_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_Q + italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_I + italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_I and ๐›=b0+b1โข๐ข+b2โข๐ฃ+b3โข๐ค๐›subscript๐‘0subscript๐‘1๐ขsubscript๐‘2๐ฃsubscript๐‘3๐ค{\bf b}=b_{0}+b_{1}\mathbf{i}+b_{2}\mathbf{j}+b_{3}\mathbf{k}bold_b = italic_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_i + italic_b start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT bold_j + italic_b start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT bold_k with โ„œcโก(๐›)subscript๐‘๐›\Re_{c}({\bf b})roman_โ„œ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( bold_b ) denotes the right handside of (37). So the solution of the ๐ฎ๐ฎ\mathbf{u}bold_u-subproblem (33) can be computed by iteratively solving (38).

In the above, we have proposed a quaternion operator splitting method for solving the ๐ฎ๐ฎ\mathbf{u}bold_u-subproblem, where the coefficient matrix is splitted into a quaternion operator and a residual operator. This leads to an advantage that the color information of restored color image ๐ฎ๐ฎ\mathbf{u}bold_u is preserved by quaternion algebra operations in the solving process. This advantage will be verified numerically in Section V. Now the core work becomes solving (38). Obviousely, the QGMRES method proposed in [22] is feasible to solve this quaternion linear system. However, we can further apply the Hermitian and positive definte properties of ๐€๐€{\bf A}bold_A to develop a new quaternion conjugate gradient method. Inspired by [22], we present a structure-preserving version in Algorithm 1. The quaternion matrix-vector product is implemented by real operation, i.e., ๐€๐ฑk=โ„œโˆ’1โก(โ„œโก(๐€)โขโ„œโก(๐ฑk))subscript๐€๐ฑ๐‘˜superscript1๐€subscript๐ฑ๐‘˜{\bf A}{\bf x}_{k}=\Re^{-1}(\Re({\bf A})\Re({\bf x}_{k}))bold_Ax start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = roman_โ„œ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( roman_โ„œ ( bold_A ) roman_โ„œ ( bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ).

Algorithm 1 Quaternion Conjugate Gradient Method
1:ย ย Initialization Set the stop** criteria tโขoโขl>0๐‘ก๐‘œ๐‘™0tol>0italic_t italic_o italic_l > 0 and the initial solution ๐ฑ0=0subscript๐ฑ00{\bf x}_{0}=0bold_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.
2:ย ย k=0๐‘˜0k=0italic_k = 0, ๐ซk=๐›โˆ’โ„œโˆ’1โก(โ„œโก(๐€)โขโ„œโก(๐ฑk))subscript๐ซ๐‘˜๐›superscript1๐€subscript๐ฑ๐‘˜{\bf r}_{k}={\bf b}-\Re^{-1}(\Re({\bf A})\Re({\bf x}_{k}))bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = bold_b - roman_โ„œ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( roman_โ„œ ( bold_A ) roman_โ„œ ( bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ) and let ๐ฉk=๐ซksubscript๐ฉ๐‘˜subscript๐ซ๐‘˜{\bf p}_{k}={\bf r}_{k}bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT.
3:ย ย whileย โ€–โ„œcโก(๐ซk)โ€–2>tโขoโขlsubscriptnormsubscript๐‘subscript๐ซ๐‘˜2๐‘ก๐‘œ๐‘™\|\Re_{c}({\bf r}_{k})\|_{2}>tolโˆฅ roman_โ„œ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ( bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT > italic_t italic_o italic_lย do
4:ย ย ย ย ย ๐ชk=โ„œโˆ’1โก(โ„œโก(๐€)โขโ„œโก(๐ฉk))subscript๐ช๐‘˜superscript1๐€subscript๐ฉ๐‘˜{\bf q}_{k}=\Re^{-1}(\Re({\bf A})\Re({\bf p}_{k}))bold_q start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = roman_โ„œ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( roman_โ„œ ( bold_A ) roman_โ„œ ( bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ),
5:ย ย ย ย ย Compute ak=โŸจ๐ซk,๐ซkโŸฉโŸจ๐ฉk,๐ชkโŸฉsubscript๐‘Ž๐‘˜subscript๐ซ๐‘˜subscript๐ซ๐‘˜subscript๐ฉ๐‘˜subscript๐ช๐‘˜a_{k}=\frac{\left<{\bf r}_{k},{\bf r}_{k}\right>}{\left<{\bf p}_{k},{\bf q}_{k% }\right>}italic_a start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = divide start_ARG โŸจ bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT โŸฉ end_ARG start_ARG โŸจ bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , bold_q start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT โŸฉ end_ARG,
6:ย ย ย ย ย Compute ๐ฑk+1=๐ฑk+akโข๐ฉksubscript๐ฑ๐‘˜1subscript๐ฑ๐‘˜subscript๐‘Ž๐‘˜subscript๐ฉ๐‘˜{\bf x}_{k+1}={\bf x}_{k}+a_{k}{\bf p}_{k}bold_x start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT = bold_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + italic_a start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT,
7:ย ย ย ย ย Compute ๐ซk+1=๐ซk+akโข๐ชksubscript๐ซ๐‘˜1subscript๐ซ๐‘˜subscript๐‘Ž๐‘˜subscript๐ช๐‘˜{\bf r}_{k+1}={\bf r}_{k}+a_{k}{\bf q}_{k}bold_r start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT = bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT + italic_a start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT bold_q start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT,
8:ย ย ย ย ย Compute bk=โŸจ๐ซk+1,๐ซk+1โŸฉโŸจ๐ซk,๐ซkโŸฉsubscript๐‘๐‘˜subscript๐ซ๐‘˜1subscript๐ซ๐‘˜1subscript๐ซ๐‘˜subscript๐ซ๐‘˜b_{k}=\frac{\left<{\bf r}_{k+1},{\bf r}_{k+1}\right>}{\left<{\bf r}_{k},{\bf r% }_{k}\right>}italic_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = divide start_ARG โŸจ bold_r start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT , bold_r start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT โŸฉ end_ARG start_ARG โŸจ bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , bold_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT โŸฉ end_ARG,
9:ย ย ย ย ย Compute ๐ฉk+1=๐ซk+1+bkโข๐ฉksubscript๐ฉ๐‘˜1subscript๐ซ๐‘˜1subscript๐‘๐‘˜subscript๐ฉ๐‘˜{\bf p}_{k+1}={\bf r}_{k+1}+b_{k}{\bf p}_{k}bold_p start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT = bold_r start_POSTSUBSCRIPT italic_k + 1 end_POSTSUBSCRIPT + italic_b start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT,
10:ย ย ย ย ย k=k+1๐‘˜๐‘˜1k=k+1italic_k = italic_k + 1.
11:ย ย endย while

IV-B Augmented Lagrangian method for (๐ฎ,๐ฏ)๐ฎ๐ฏ(\mathbf{u},{\bf v})( bold_u , bold_v )-subproblem

Now, we present a new augmented Lagrangian method for solving (๐ฐ,๐ฏ)๐ฐ๐ฏ(\mathbf{w},{\bf v})( bold_w , bold_v )-subproblem (34). Since the two variables are independent of each other and have no intersecting terms, we construct the augmented Lagrangian schemes of computing ๐ฐ๐ฐ\mathbf{w}bold_w and ๐ฏ๐ฏ{\bf v}bold_v, respectively.

  • โˆ™โˆ™\bulletโˆ™

    ๐ฐ๐ฐ\mathbf{w}bold_w-subproblem

    With ๐ฎ๐ฎ\mathbf{u}bold_u and ๐ฏ๐ฏ{\bf v}bold_v fixed, the minimization problem (34) is reduced to

    argโกmin๐ฐฮป1โขSVTVโข(๐ฐ)+ฮฑ12โขโ€–๐ฐโˆ’๐ฎโ€–2.subscript๐ฐsubscript๐œ†1SVTV๐ฐsubscript๐›ผ12superscriptnorm๐ฐ๐ฎ2\mathop{\arg\min}\limits_{\mathbf{w}}~{}\lambda_{1}{\rm{SVTV}}(\mathbf{w})+% \frac{\alpha_{1}}{2}\|\mathbf{w}-\mathbf{u}\|^{2}.start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_w end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_SVTV ( bold_w ) + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_w - bold_u โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (39)

    We define two discrete differential operators ๐ƒxsubscript๐ƒ๐‘ฅ\mathbf{D}_{x}bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT, ๐ƒysubscript๐ƒ๐‘ฆ\mathbf{D}_{y}bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT,

    (๐ƒxโข๐ฐ)i,j=๐ฐโข(i,j)โˆ’๐ฐโข(iโˆ’1,j),subscriptsubscript๐ƒ๐‘ฅ๐ฐ๐‘–๐‘—๐ฐ๐‘–๐‘—๐ฐ๐‘–1๐‘—\displaystyle(\mathbf{D}_{x}\mathbf{w})_{i,j}=\mathbf{w}(i,j)-\mathbf{w}(i-1,j),( bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT bold_w ) start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = bold_w ( italic_i , italic_j ) - bold_w ( italic_i - 1 , italic_j ) ,
    (๐ƒyโข๐ฐ)i,j=๐ฐโข(i,j)โˆ’๐ฐโข(i,jโˆ’1),subscriptsubscript๐ƒ๐‘ฆ๐ฐ๐‘–๐‘—๐ฐ๐‘–๐‘—๐ฐ๐‘–๐‘—1\displaystyle(\mathbf{D}_{y}\mathbf{w})_{i,j}=\mathbf{w}(i,j)-\mathbf{w}(i,j-1),( bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT bold_w ) start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT = bold_w ( italic_i , italic_j ) - bold_w ( italic_i , italic_j - 1 ) ,

    under adequate boundary conditions for color image. Define

    ๐ฌ=๐๐ฐโขandโข๐ช=๐๐ฎ.๐ฌ๐๐ฐand๐ช๐๐ฎ{\bf s}={\bf P}\mathbf{w}~{}\text{and}~{}{\bf q}={\bf P}\mathbf{u}.bold_s = bold_Pw and bold_q = bold_Pu .

    Then the objective color image restoration model (39) is reformulated as

    argโกmin๐ฌฮป1ฮฑ1โˆ‘i=1mโˆ‘j=1n(โˆ‘k=12((๐ƒxโขsk)iโขj)2+((๐ƒyโขsk)iโขj)2\displaystyle\mathop{\arg\min}\limits_{{\bf s}}~{}\frac{\lambda_{1}}{\alpha_{1% }}\sum\limits_{i=1}^{m}\sum\limits_{j=1}^{n}(\sqrt{\sum\limits_{k=1}^{2}((% \mathbf{D}_{x}s_{k})_{ij})^{2}\!+\!((\mathbf{D}_{y}s_{k})_{ij})^{2}}start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_s end_POSTSUBSCRIPT divide start_ARG italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT โˆ‘ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( square-root start_ARG โˆ‘ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( ( bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( ( bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG (40)
    +ฮฑ((๐ƒxโขs3)iโขj)2+((๐ƒyโขs3)iโขj)2)+12โˆฅ๐ฌโˆ’๐ชโˆฅ2.\displaystyle+\alpha\sqrt{((\mathbf{D}_{x}s_{3})_{ij})^{2}+((\mathbf{D}_{y}s_{% 3})_{ij})^{2}})+\frac{1}{2}\|{\bf s}-{\bf q}\|^{2}.+ italic_ฮฑ square-root start_ARG ( ( bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( ( bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_s - bold_q โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT .

    By introducing auxiliary variables tixsuperscriptsubscript๐‘ก๐‘–๐‘ฅt_{i}^{x}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT and tiysuperscriptsubscript๐‘ก๐‘–๐‘ฆt_{i}^{y}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT, the minimization problem (40) is equivalently rewritten into

    argโกmin๐ฌฮป1ฮฑ1โˆ‘i=1mโˆ‘j=1n(โˆ‘k=12|(tkx)iโขj|2+|(tky)iโขj|2\displaystyle\mathop{\arg\min}\limits_{{\bf s}}~{}\frac{\lambda_{1}}{\alpha_{1% }}\sum\limits_{i=1}^{m}\sum\limits_{j=1}^{n}(\sqrt{\sum\limits_{k=1}^{2}|(t_{k% }^{x})_{ij}|^{2}+|(t_{k}^{y})_{ij}|^{2}}start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_s end_POSTSUBSCRIPT divide start_ARG italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT โˆ‘ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( square-root start_ARG โˆ‘ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG
    +ฮฑ|(t3x)iโขj|2+|(t3y)iโขj2|)+12โˆฅ๐ฌโˆ’๐ชโˆฅ2,\displaystyle+\alpha\sqrt{|(t_{3}^{x})_{ij}|^{2}+|(t_{3}^{y})_{ij}^{2}|})+% \frac{1}{2}\|{\bf s}-{\bf q}\|^{2},+ italic_ฮฑ square-root start_ARG | ( italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ( italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | end_ARG ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_s - bold_q โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ,
    s.t. t1x=๐ƒxโขs1,t2x=๐ƒxโขs2,t3x=๐ƒxโขs3,formulae-sequencesuperscriptsubscript๐‘ก1๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ 1formulae-sequencesuperscriptsubscript๐‘ก2๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ 2superscriptsubscript๐‘ก3๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ 3\displaystyle t_{1}^{x}=\mathbf{D}_{x}s_{1},t_{2}^{x}=\mathbf{D}_{x}s_{2},t_{3% }^{x}=\mathbf{D}_{x}s_{3},italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT = bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT = bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT = bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ,
    t1y=๐ƒyโขs1,t2y=๐ƒyโขs2,t3y=๐ƒyโขs3.formulae-sequencesuperscriptsubscript๐‘ก1๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ 1formulae-sequencesuperscriptsubscript๐‘ก2๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ 2superscriptsubscript๐‘ก3๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ 3\displaystyle t_{1}^{y}=\mathbf{D}_{y}s_{1},t_{2}^{y}=\mathbf{D}_{y}s_{2},t_{3% }^{y}=\mathbf{D}_{y}s_{3}.italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT = bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT = bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT = bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT .

    The augmented Lagrangian of the aforementioned minimization problem is

    ฮป1ฮฑ1โˆ‘i=1mโˆ‘j=1n(โˆ‘k=12|(tkx)iโขj|2+|(tky)iโขj|2\displaystyle\frac{\lambda_{1}}{\alpha_{1}}\sum\limits_{i=1}^{m}\sum\limits_{j% =1}^{n}(\sqrt{\sum\limits_{k=1}^{2}|(t_{k}^{x})_{ij}|^{2}+|(t_{k}^{y})_{ij}|^{% 2}}divide start_ARG italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT โˆ‘ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ( square-root start_ARG โˆ‘ start_POSTSUBSCRIPT italic_k = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ( italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG (41)
    +ฮฑ|(t3x)iโขj|2+|(t3y)iโขj2|)+12โˆฅ๐ฌโˆ’๐ชโˆฅ2\displaystyle+\alpha\sqrt{|(t_{3}^{x})_{ij}|^{2}+|(t_{3}^{y})_{ij}^{2}|})+% \frac{1}{2}\|{\bf s}-{\bf q}\|^{2}+ italic_ฮฑ square-root start_ARG | ( italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ( italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ) start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | end_ARG ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_s - bold_q โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
    +โˆ‘i=13((ฯ„ix,tixโˆ’๐ƒxโขsi)+(ฯ„iy,tiyโˆ’๐ƒyโขsi))superscriptsubscript๐‘–13superscriptsubscript๐œ๐‘–๐‘ฅsuperscriptsubscript๐‘ก๐‘–๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–superscriptsubscript๐œ๐‘–๐‘ฆsuperscriptsubscript๐‘ก๐‘–๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ ๐‘–\displaystyle+\sum\limits_{i=1}^{3}((\tau_{i}^{x},t_{i}^{x}-\mathbf{D}_{x}s_{i% })+(\tau_{i}^{y},t_{i}^{y}-\mathbf{D}_{y}s_{i}))+ โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( ( italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) + ( italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) )
    +ฮฒ2โขโˆ‘i=13(โ€–tixโˆ’๐ƒxโขsiโ€–2+โ€–tiyโˆ’๐ƒyโขsiโ€–2),๐›ฝ2superscriptsubscript๐‘–13superscriptnormsuperscriptsubscript๐‘ก๐‘–๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–2superscriptnormsuperscriptsubscript๐‘ก๐‘–๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ ๐‘–2\displaystyle+\frac{\beta}{2}\sum\limits_{i=1}^{3}(\|t_{i}^{x}-\mathbf{D}_{x}s% _{i}\|^{2}+\|t_{i}^{y}-\mathbf{D}_{y}s_{i}\|^{2}),+ divide start_ARG italic_ฮฒ end_ARG start_ARG 2 end_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( โˆฅ italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + โˆฅ italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ,

    where ฯ„ixsuperscriptsubscript๐œ๐‘–๐‘ฅ\tau_{i}^{x}italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT and ฯ„iysuperscriptsubscript๐œ๐‘–๐‘ฆ\tau_{i}^{y}italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT are Lagrangian multipliers and ฮฒ๐›ฝ\betaitalic_ฮฒ is a positive penalty parameter.

    According to the classic framework of the ADMM [7, 8], we construct a method to sovle (41) with three steps as follows.

    Step one: When fixing ๐ฌ๐ฌ{\bf s}bold_s, tixsuperscriptsubscript๐‘ก๐‘–๐‘ฅt_{i}^{x}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT and tiysuperscriptsubscript๐‘ก๐‘–๐‘ฆt_{i}^{y}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT are computed by using the soft shrinkage functions,

    tix,y=superscriptsubscript๐‘ก๐‘–๐‘ฅ๐‘ฆabsent\displaystyle t_{i}^{x,y}=italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x , italic_y end_POSTSUPERSCRIPT = maxโก(0,n1โˆ’ฮป1ฮฒโขฮฑ1)โ‹…๐ƒxโขsiโˆ’ฯ„ix,yฮฒn1,i=1,2,formulae-sequenceโ‹…0subscript๐‘›1subscript๐œ†1๐›ฝsubscript๐›ผ1subscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–superscriptsubscript๐œ๐‘–๐‘ฅ๐‘ฆ๐›ฝsubscript๐‘›1๐‘–12\displaystyle\max{(0,n_{1}-\frac{\lambda_{1}}{\beta\alpha_{1}})}\cdot\frac{% \mathbf{D}_{x}s_{i}-\frac{\tau_{i}^{x,y}}{\beta}}{n_{1}},~{}~{}~{}~{}i=1,2,roman_max ( 0 , italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ฮฒ italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ) โ‹… divide start_ARG bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x , italic_y end_POSTSUPERSCRIPT end_ARG start_ARG italic_ฮฒ end_ARG end_ARG start_ARG italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG , italic_i = 1 , 2 , (42a)
    t3x,y=superscriptsubscript๐‘ก3๐‘ฅ๐‘ฆabsent\displaystyle t_{3}^{x,y}=italic_t start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x , italic_y end_POSTSUPERSCRIPT = maxโก(0,n2โˆ’ฮฑโขฮป1ฮฒโขฮฑ1)โ‹…๐ƒxโขs3โˆ’ฯ„3x,yฮฒn2,โ‹…0subscript๐‘›2๐›ผsubscript๐œ†1๐›ฝsubscript๐›ผ1subscript๐ƒ๐‘ฅsubscript๐‘ 3superscriptsubscript๐œ3๐‘ฅ๐‘ฆ๐›ฝsubscript๐‘›2\displaystyle\max{(0,n_{2}-\frac{\alpha\lambda_{1}}{\beta\alpha_{1}})}\cdot% \frac{\mathbf{D}_{x}s_{3}-\frac{\tau_{3}^{x,y}}{\beta}}{n_{2}},roman_max ( 0 , italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - divide start_ARG italic_ฮฑ italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_ฮฒ italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ) โ‹… divide start_ARG bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_ฯ„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x , italic_y end_POSTSUPERSCRIPT end_ARG start_ARG italic_ฮฒ end_ARG end_ARG start_ARG italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG , (42b)

    where

    n1subscript๐‘›1\displaystyle n_{1}italic_n start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =โˆ‘i=12(๐ƒxโขsiโˆ’ฯ„ixฮฒ)2+(๐ƒyโขsiโˆ’ฯ„iyฮฒ)2,absentsuperscriptsubscript๐‘–12superscriptsubscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–superscriptsubscript๐œ๐‘–๐‘ฅ๐›ฝ2superscriptsubscript๐ƒ๐‘ฆsubscript๐‘ ๐‘–superscriptsubscript๐œ๐‘–๐‘ฆ๐›ฝ2\displaystyle=\sqrt{\sum\limits_{i=1}^{2}(\mathbf{D}_{x}s_{i}-\frac{\tau_{i}^{% x}}{\beta})^{2}+(\mathbf{D}_{y}s_{i}-\frac{\tau_{i}^{y}}{\beta})^{2}},= square-root start_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT end_ARG start_ARG italic_ฮฒ end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - divide start_ARG italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT end_ARG start_ARG italic_ฮฒ end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ,
    n2subscript๐‘›2\displaystyle n_{2}italic_n start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =(๐ƒxโขs3โˆ’ฯ„3xฮฒ)2+(๐ƒyโขs3โˆ’ฯ„3yฮฒ)2.absentsuperscriptsubscript๐ƒ๐‘ฅsubscript๐‘ 3superscriptsubscript๐œ3๐‘ฅ๐›ฝ2superscriptsubscript๐ƒ๐‘ฆsubscript๐‘ 3superscriptsubscript๐œ3๐‘ฆ๐›ฝ2\displaystyle=\sqrt{(\mathbf{D}_{x}s_{3}-\frac{\tau_{3}^{x}}{\beta})^{2}+(% \mathbf{D}_{y}s_{3}-\frac{\tau_{3}^{y}}{\beta})^{2}}.= square-root start_ARG ( bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_ฯ„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT end_ARG start_ARG italic_ฮฒ end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - divide start_ARG italic_ฯ„ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT end_ARG start_ARG italic_ฮฒ end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .

    Step two: When fixing tixsuperscriptsubscript๐‘ก๐‘–๐‘ฅt_{i}^{x}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT and tiysuperscriptsubscript๐‘ก๐‘–๐‘ฆt_{i}^{y}italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT, ๐ฌ๐ฌ{\bf s}bold_s is computed by solving the following minimization problem

    12โขโ€–๐ฌโˆ’๐ชโ€–2+โˆ‘i=13((ฯ„ix,tixโˆ’๐ƒxโขsi)+(ฯ„iy,tiyโˆ’๐ƒyโขsi))12superscriptnorm๐ฌ๐ช2superscriptsubscript๐‘–13superscriptsubscript๐œ๐‘–๐‘ฅsuperscriptsubscript๐‘ก๐‘–๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–superscriptsubscript๐œ๐‘–๐‘ฆsuperscriptsubscript๐‘ก๐‘–๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ ๐‘–\displaystyle\frac{1}{2}\|{\bf s}-{\bf q}\|^{2}+\sum\limits_{i=1}^{3}((\tau_{i% }^{x},t_{i}^{x}-\mathbf{D}_{x}s_{i})+(\tau_{i}^{y},t_{i}^{y}-\mathbf{D}_{y}s_{% i}))divide start_ARG 1 end_ARG start_ARG 2 end_ARG โˆฅ bold_s - bold_q โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( ( italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) + ( italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT , italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) )
    +ฮฒ2โขโˆ‘i=13(โ€–tixโˆ’๐ƒxโขsiโ€–2+โ€–tiyโˆ’๐ƒyโขsiโ€–2).๐›ฝ2superscriptsubscript๐‘–13superscriptnormsuperscriptsubscript๐‘ก๐‘–๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–2superscriptnormsuperscriptsubscript๐‘ก๐‘–๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ ๐‘–2\displaystyle+\frac{\beta}{2}\sum\limits_{i=1}^{3}(\|t_{i}^{x}-\mathbf{D}_{x}s% _{i}\|^{2}+\|t_{i}^{y}-\mathbf{D}_{y}s_{i}\|^{2}).+ divide start_ARG italic_ฮฒ end_ARG start_ARG 2 end_ARG โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( โˆฅ italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + โˆฅ italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) .

    The above minimization problem can be equivalently described by the following real linear system

    (I+ฮฒ๐ƒxT\displaystyle({I}+\beta\mathbf{D}_{x}^{T}( italic_I + italic_ฮฒ bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ๐ƒx+ฮฒ๐ƒyT๐ƒy)๐ฌ\displaystyle\mathbf{D}_{x}+\beta\mathbf{D}_{y}^{T}\mathbf{D}_{y}){\bf s}bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_ฮฒ bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) bold_s (43)
    =๐ช+โˆ‘i=13(๐ƒxTฯ„ix+\displaystyle={\bf q}+\sum\limits_{i=1}^{3}(\mathbf{D}_{x}^{T}\tau_{i}^{x}+= bold_q + โˆ‘ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ( bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + ๐ƒyTฯ„iy+ฮฒ๐ƒxTtix+ฮฒ๐ƒyTtiy).\displaystyle\mathbf{D}_{y}^{T}\tau_{i}^{y}+\beta\mathbf{D}_{x}^{T}t_{i}^{x}+% \beta\mathbf{D}_{y}^{T}t_{i}^{y}).bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT + italic_ฮฒ bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + italic_ฮฒ bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ) .

    Once ๐ฌ๐ฌ{\bf s}bold_s is computed, we obtain ๐ฐ=๐โˆ’1โข๐ฌ๐ฐsuperscript๐1๐ฌ\mathbf{w}={\bf P}^{-1}{\bf s}bold_w = bold_P start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_s.

    Step three: The Lagrangian multipliers are updated as follows

    ฯ„ix=ฯ„ix+ฮฒโข(tixโˆ’๐ƒxโขsi),ฯ„iy=ฯ„iy+ฮฒโข(tiyโˆ’๐ƒyโขsi),i=1,2,3.formulae-sequencesuperscriptsubscript๐œ๐‘–๐‘ฅsuperscriptsubscript๐œ๐‘–๐‘ฅ๐›ฝsuperscriptsubscript๐‘ก๐‘–๐‘ฅsubscript๐ƒ๐‘ฅsubscript๐‘ ๐‘–formulae-sequencesuperscriptsubscript๐œ๐‘–๐‘ฆsuperscriptsubscript๐œ๐‘–๐‘ฆ๐›ฝsuperscriptsubscript๐‘ก๐‘–๐‘ฆsubscript๐ƒ๐‘ฆsubscript๐‘ ๐‘–๐‘–123\tau_{i}^{x}\!=\!\tau_{i}^{x}+\beta(t_{i}^{x}-\mathbf{D}_{x}s_{i}),~{}~{}\tau_% {i}^{y}\!=\!\tau_{i}^{y}+\beta(t_{i}^{y}-\mathbf{D}_{y}s_{i}),~{}i=1,2,3.italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT = italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT + italic_ฮฒ ( italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT = italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT + italic_ฮฒ ( italic_t start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT - bold_D start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) , italic_i = 1 , 2 , 3 .
  • โˆ™โˆ™\bulletโˆ™

    ๐ฏ๐ฏ{\bf v}bold_v-subproblem

    With ๐ฎ๐ฎ\mathbf{u}bold_u an ๐ฐ๐ฐ\mathbf{w}bold_w fixed, the minimization problem (34) is reduced to

    argโกmin๐ฏฮป2โขCTVโข(๐ฏ)+ฮฑ22โขโ€–๐ฏโˆ’๐ฎโ€–2.subscript๐ฏsubscript๐œ†2CTV๐ฏsubscript๐›ผ22superscriptnorm๐ฏ๐ฎ2\mathop{\arg\min}\limits_{{\bf v}}~{}\lambda_{2}{\rm{CTV}}({\bf v})+\frac{% \alpha_{2}}{2}\|{\bf v}-\mathbf{u}\|^{2}.start_BIGOP roman_arg roman_min end_BIGOP start_POSTSUBSCRIPT bold_v end_POSTSUBSCRIPT italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_CTV ( bold_v ) + divide start_ARG italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG โˆฅ bold_v - bold_u โˆฅ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (44)

    This minimization problem can be solved by using a three-step method similar to that of the ๐ฐ๐ฐ\mathbf{w}bold_w-subproblem. The solution can also be computed by the method given in [2].

To sumup, the (๐ฐ,๐ฏ)๐ฐ๐ฏ(\mathbf{w},{\bf v})( bold_w , bold_v )-subproblem need to compute several soft shrinkage functions and solve two real linear systems.

IV-C New algorithm

Now we present a new algorithm for model (29) based on the methods in Sections IV-A and IV-B. The puedo code is given in Algorithm 2.

Algorithm 2 Quaternion Operator Splitting Method
1:ย ย Initialization Choose parameters ฮป1,ฮป2,ฮฑ1,ฮฑ2,ฯ„ix,ฯ„iysubscript๐œ†1subscript๐œ†2subscript๐›ผ1subscript๐›ผ2superscriptsubscript๐œ๐‘–๐‘ฅsuperscriptsubscript๐œ๐‘–๐‘ฆ\lambda_{1},\lambda_{2},\alpha_{1},\alpha_{2},\tau_{i}^{x},\tau_{i}^{y}italic_ฮป start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮป start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_x end_POSTSUPERSCRIPT , italic_ฯ„ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT (i=1,2,3),ฮฑ,ฮฒ๐‘–123๐›ผ๐›ฝ(i=1,2,3),\alpha,\beta( italic_i = 1 , 2 , 3 ) , italic_ฮฑ , italic_ฮฒ. Set the stop** criteria tโขoโขl>0๐‘ก๐‘œ๐‘™0tol>0italic_t italic_o italic_l > 0 and ๐ฎ0=๐ŸŽsuperscript๐ฎ00\mathbf{u}^{0}=\bf{0}bold_u start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = bold_0, ๐ฐ0=๐ณ,๐ฏ0=๐ณ,eโขrโขr=1,eโขrโขru=1,l=0formulae-sequencesuperscript๐ฐ0๐ณformulae-sequencesuperscript๐ฏ0๐ณformulae-sequence๐‘’๐‘Ÿ๐‘Ÿ1formulae-sequence๐‘’๐‘Ÿsubscript๐‘Ÿ๐‘ข1๐‘™0\mathbf{w}^{0}=\mathbf{z},{\bf v}^{0}=\mathbf{z},err=1,err_{u}=1,l=0bold_w start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = bold_z , bold_v start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT = bold_z , italic_e italic_r italic_r = 1 , italic_e italic_r italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = 1 , italic_l = 0.
2:ย ย whileย eโขrโขr>tโขoโขl๐‘’๐‘Ÿ๐‘Ÿ๐‘ก๐‘œ๐‘™err>tolitalic_e italic_r italic_r > italic_t italic_o italic_lย do
3:ย ย ย ย ย k=0,๐ฎk=๐ฎlformulae-sequence๐‘˜0superscript๐ฎ๐‘˜superscript๐ฎ๐‘™k=0,\mathbf{u}^{k}=\mathbf{u}^{l}italic_k = 0 , bold_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT = bold_u start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT
4:ย ย ย ย ย whileย eโขrโขru>tโขoโขl๐‘’๐‘Ÿsubscript๐‘Ÿ๐‘ข๐‘ก๐‘œ๐‘™err_{u}>tolitalic_e italic_r italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT > italic_t italic_o italic_lย do
5:ย ย ย ย ย ย ย ย Solve ๐ฎk+1superscript๐ฎ๐‘˜1\mathbf{u}^{k+1}bold_u start_POSTSUPERSCRIPT italic_k + 1 end_POSTSUPERSCRIPT by (38) using Algorithm 1,
6:ย ย ย ย ย ย ย ย k=k+1๐‘˜๐‘˜1k=k+1italic_k = italic_k + 1,
7:ย ย ย ย ย ย ย ย Compute eโขrโขru=โ€–๐ฎkโˆ’1โˆ’๐ฎkโ€–22โ€–๐ฎkโˆ’1โ€–22๐‘’๐‘Ÿsubscript๐‘Ÿ๐‘ขsuperscriptsubscriptnormsuperscript๐ฎ๐‘˜1superscript๐ฎ๐‘˜22superscriptsubscriptnormsuperscript๐ฎ๐‘˜122err_{u}=\frac{\|\mathbf{u}^{k-1}-\mathbf{u}^{k}\|_{2}^{2}}{\|\mathbf{u}^{k-1}% \|_{2}^{2}}italic_e italic_r italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = divide start_ARG โˆฅ bold_u start_POSTSUPERSCRIPT italic_k - 1 end_POSTSUPERSCRIPT - bold_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG โˆฅ bold_u start_POSTSUPERSCRIPT italic_k - 1 end_POSTSUPERSCRIPT โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG,
8:ย ย ย ย ย endย while
9:ย ย ย ย ย ๐ฎl+1=๐ฎksuperscript๐ฎ๐‘™1superscript๐ฎ๐‘˜\mathbf{u}^{l+1}=\mathbf{u}^{k}bold_u start_POSTSUPERSCRIPT italic_l + 1 end_POSTSUPERSCRIPT = bold_u start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT,
10:ย ย ย ย ย Update ๐ฐl+1superscript๐ฐ๐‘™1\mathbf{w}^{l+1}bold_w start_POSTSUPERSCRIPT italic_l + 1 end_POSTSUPERSCRIPT by solving (39),
11:ย ย ย ย ย Update ๐ฏl+1superscript๐ฏ๐‘™1{\bf v}^{l+1}bold_v start_POSTSUPERSCRIPT italic_l + 1 end_POSTSUPERSCRIPT by solving (44),
12:ย ย ย ย ย l=l+1๐‘™๐‘™1l=l+1italic_l = italic_l + 1,
13:ย ย ย ย ย Compute eโขrโขr=โ€–๐ฏlโˆ’1โˆ’๐ฏlโ€–22โ€–๐ฏlโˆ’1โ€–22๐‘’๐‘Ÿ๐‘Ÿsuperscriptsubscriptnormsuperscript๐ฏ๐‘™1superscript๐ฏ๐‘™22superscriptsubscriptnormsuperscript๐ฏ๐‘™122err=\frac{\|{\bf v}^{l-1}-{\bf v}^{l}\|_{2}^{2}}{\|{\bf v}^{l-1}\|_{2}^{2}}italic_e italic_r italic_r = divide start_ARG โˆฅ bold_v start_POSTSUPERSCRIPT italic_l - 1 end_POSTSUPERSCRIPT - bold_v start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG โˆฅ bold_v start_POSTSUPERSCRIPT italic_l - 1 end_POSTSUPERSCRIPT โˆฅ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG.
14:ย ย endย while

The main idea of Aglorithm 2 is to alternately solve (33) and (34) with proper initial values. The only problem left for discussion is how to determine their augumented Larange parameters ฮฑisubscript๐›ผ๐‘–\alpha_{i}italic_ฮฑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPTโ€™s. This is one of the well-known parameter-selection problems that stand for a long history. Here, we apply the newly proposed L-surface method in Section III-A to determine the optimal ฮฑisubscript๐›ผ๐‘–\alpha_{i}italic_ฮฑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPTโ€™s. These parameters are determined using a few typical images before running before running Algorithm 2 and, once determined, are used to process all images of the same degradation type.

Now we demonstrate the parameter selection process of ฮฑiโ€ฒโขssuperscriptsubscript๐›ผ๐‘–โ€ฒ๐‘ \alpha_{i}^{\prime}sitalic_ฮฑ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT โ€ฒ end_POSTSUPERSCRIPT italic_s by the L-surface method in Section III-A. Suppose that we have obtained an observed color image, say โ€™statuesโ€™ in Figure 5, under the setting of Example V-A. In case of taking CIEde2000 value as a criterion, we plot the surface of CIEde2000 values according to ฮฑ1,ฮฑ2โˆˆ[0,0.4]subscript๐›ผ1subscript๐›ผ200.4\alpha_{1},\alpha_{2}\in[0,0.4]italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT โˆˆ [ 0 , 0.4 ] of restored color images in Figure 3. The optimal parameter is ฮฑ1=0.28,ฮฑ2=0.06formulae-sequencesubscript๐›ผ10.28subscript๐›ผ20.06\alpha_{1}=0.28,~{}\alpha_{2}=0.06italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.28 , italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0.06 at which the minimum CIEde2000 value reaches 3.14103.14103.14103.1410.

Refer to caption
Figure 3: The values of CIEde2000 for the restored image โ€˜statuesโ€™ in different ฮฑ1subscript๐›ผ1\alpha_{1}italic_ฮฑ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and ฮฑ2subscript๐›ผ2\alpha_{2}italic_ฮฑ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT conditions.

V Numerical Experiments

In this section, we consider various types of cross-channel blur kernels and weight matrices to illustrate the validity of the proposed model and algorithms. We compare the proposed m Algorithm 2 (referred to as Alg. 2) with the CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [1], CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT [2], the SVTVSVTV{\rm{SVTV}}roman_SVTV [21], the split-algorithm-based CTVCTV{\rm{CTV}}roman_CTV (for simplicity, the following is referred to as CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT) [30], MTVMTV{\rm{MTV}}roman_MTV [34] by applying them to solve cross-channel deblurring problems. All experiments were performed by MATLAB ( R2020a) on a computer with Intel(R) Xeon(R) CPU E5-2630 @ 2.40Ghz/32.00 GB. The stop** criterion for all these iterative methods is that the norm of the successive iterations is less than 1.0ร—10โˆ’51.0superscript1051.0\times 10^{-5}1.0 ร— 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT.

We use the ground truth images shown in Figure 4 to test the image restoration capability of the proposed methods. Let ๐”๐”\mathbf{U}bold_U, ๐”^^๐”\hat{\mathbf{U}}over^ start_ARG bold_U end_ARG and ๐”msubscript๐”๐‘š\mathbf{U}_{m}bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT denote the original, observed and restored color images of size nร—n๐‘›๐‘›n\times nitalic_n ร— italic_n, respectively. The quality of the restored color image is indicated by the four standard criteria: PSNR, SSIM, MSE, and CIEde2000. Here, PSNR means the peak signal-to-noise ratio value of ๐”msubscript๐”๐‘š\mathbf{U}_{m}bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, defined by

PSNRโข(๐”m,๐”)=10โˆ—log10โก(2552โขn2โ€–๐”mโˆ’๐”โ€–F2).PSNRsubscript๐”๐‘š๐”10subscript10superscript2552superscript๐‘›2superscriptsubscriptnormsubscript๐”๐‘š๐”๐น2\texttt{PSNR}(\mathbf{U}_{m},\mathbf{U})=10*\log_{10}\left(\frac{255^{2}n^{2}}% {\|\mathbf{U}_{m}-\mathbf{U}\|_{F}^{2}}\right).PSNR ( bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_U ) = 10 โˆ— roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT ( divide start_ARG 255 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG โˆฅ bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_U โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) .

SSIM denotes the structural similarity index [28] of ๐”msubscript๐”๐‘š\mathbf{U}_{m}bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and ๐”๐”\mathbf{U}bold_U, defined by

SSIMโข(๐”m,๐”)=(4โขฮผxโขฮผy+c1)โข(2โขฯƒxโขy+c2)(ฮผx2+ฮผy2+c1)โข(ฯƒx2+ฯƒy2+c2),SSIMsubscript๐”๐‘š๐”4subscript๐œ‡๐‘ฅsubscript๐œ‡๐‘ฆsubscript๐‘12subscript๐œŽ๐‘ฅ๐‘ฆsubscript๐‘2superscriptsubscript๐œ‡๐‘ฅ2superscriptsubscript๐œ‡๐‘ฆ2subscript๐‘1superscriptsubscript๐œŽ๐‘ฅ2superscriptsubscript๐œŽ๐‘ฆ2subscript๐‘2\texttt{SSIM}(\mathbf{U}_{m},\mathbf{U})=\frac{(4\mu_{x}\mu_{y}+c_{1})(2\sigma% _{xy}+c_{2})}{(\mu_{x}^{2}+\mu_{y}^{2}+c_{1})(\sigma_{x}^{2}+\sigma_{y}^{2}+c_% {2})},SSIM ( bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_U ) = divide start_ARG ( 4 italic_ฮผ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_ฮผ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ( 2 italic_ฯƒ start_POSTSUBSCRIPT italic_x italic_y end_POSTSUBSCRIPT + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG ( italic_ฮผ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ฮผ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ( italic_ฯƒ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_ฯƒ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG ,

where x๐‘ฅxitalic_x and y๐‘ฆyitalic_y respectively stand for the vector forms of ๐”๐”\mathbf{U}bold_U and ๐”^^๐”\hat{\mathbf{U}}over^ start_ARG bold_U end_ARG, c1,2subscript๐‘12c_{1,2}italic_c start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT are two constants, ฮผx,ysubscript๐œ‡๐‘ฅ๐‘ฆ\mu_{x,y}italic_ฮผ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT signify the averages of x๐‘ฅxitalic_x and y๐‘ฆyitalic_y, and ฯƒx,y2superscriptsubscript๐œŽ๐‘ฅ๐‘ฆ2\sigma_{x,y}^{2}italic_ฯƒ start_POSTSUBSCRIPT italic_x , italic_y end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT stand for the variances of x๐‘ฅxitalic_x and y๐‘ฆyitalic_y, and ฯƒxโขysubscript๐œŽ๐‘ฅ๐‘ฆ\sigma_{xy}italic_ฯƒ start_POSTSUBSCRIPT italic_x italic_y end_POSTSUBSCRIPT denotes the covariance between x๐‘ฅxitalic_x and y๐‘ฆyitalic_y. MSE is the mean square error value of ๐”msubscript๐”๐‘š\mathbf{U}_{m}bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, defined by

MSEโข(๐”m,๐”)=โ€–๐”mโˆ’๐”โ€–F2n2.MSEsubscript๐”๐‘š๐”superscriptsubscriptnormsubscript๐”๐‘š๐”๐น2superscript๐‘›2\texttt{MSE}(\mathbf{U}_{m},\mathbf{U})=\frac{\|\mathbf{U}_{m}-\mathbf{U}\|_{F% }^{2}}{n^{2}}.MSE ( bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , bold_U ) = divide start_ARG โˆฅ bold_U start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - bold_U โˆฅ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG .

The CIEde2000 color difference formula is described in [26], which is used to evaluate the color difference between the original and the restored image.

Refer to caption
Figure 4: Ground truth images

V-A Symmetric weight matrix

In this example, we consider the case where all sub-blur kernels are identical and the weight matrix is symmetric. The degraded images used for testing are generated for all models by applying the following cross-channel blur to the clean images,

oโขnโขeโขsโข(3,3)โŠ—(G,5,5)tensor-product๐‘œ๐‘›๐‘’๐‘ 33๐บ55ones(3,3)\otimes(G,5,5)italic_o italic_n italic_e italic_s ( 3 , 3 ) โŠ— ( italic_G , 5 , 5 )

adding Gaussian noise with standard deviation ฯƒ=0.01๐œŽ0.01\sigma=0.01italic_ฯƒ = 0.01 . The weight matrix is chosen as follows

W=[0.70.150.150.150.70.150.150.150.7].๐‘Šdelimited-[]0.70.150.150.150.70.150.150.150.7W=\left[\begin{array}[]{ccc}0.7&0.15&0.15\\ 0.15&0.7&0.15\\ 0.15&0.15&0.7\end{array}\right].italic_W = [ start_ARRAY start_ROW start_CELL 0.7 end_CELL start_CELL 0.15 end_CELL start_CELL 0.15 end_CELL end_ROW start_ROW start_CELL 0.15 end_CELL start_CELL 0.7 end_CELL start_CELL 0.15 end_CELL end_ROW start_ROW start_CELL 0.15 end_CELL start_CELL 0.15 end_CELL start_CELL 0.7 end_CELL end_ROW end_ARRAY ] .

We manually tuned the parameters in the three models to make the results solved by each model numerically optimal. In Figures 5 and 6, we give the observed images after the above degradation process, and the restored images of the seven models: The corresponding evaluation criteria for each of the methods used to restore the images are shown in Table I. We observed that the newly proposed methods have the highest PSNR, SSIM, MSE, and CIEde2000 values.

From Figures 5 and 6 we can see that CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT have a large color shift. The reason for this is that the algorithms corresponding to these methods are designed for within-channel blurring. As a result, only the diagonal blocks of the blur matrix are extracted for processing when considering cross-channel blurring. The CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT still has some artifacts; see the grass skirt detail in โ€™aborigineโ€™ and the watercress in โ€™bearโ€™. The MTVMTV{\rm{MTV}}roman_MTV has obtained relatively good results visually and numerically when dealing with cross-channel blurring. However, the MTVMTV{\rm{MTV}}roman_MTV method seems oversmoothing in some small details; see the flower texture in the upper right corner of the โ€™butterflyโ€™. Alg. 2 is an algorithms for the SVTVSVTV\rm{SVTV}roman_SVTV-CTVCTV\rm{CTV}roman_CTV balance regularization model, which restores images of higher quality under the same stop** criterion. Alg. 2 is more efficient in terms of PSNR, SSIM and CIEde2000 values because it introduces quaternion and thus considers color pixel as a whole.

To further highlight the differences between the MTVMTV{\rm{MTV}}roman_MTV and Alg. 2 visual restoration results, we enlarge the local features and display them in Figure 7. The corresponding zoomed portions are denoted with red boxes in Figures 5 and 6. Magnification of local features reveals that Alg. 2 preserves more texture details; see the tip of a tree branch in โ€™waterfallโ€™, the texture of petals in โ€™butterflyโ€™, and the details of the letters in โ€™gardenโ€™. Additionally, we can see color infection at the edges of the MTVMTV{\rm{MTV}}roman_MTV restored images, including the part of the hair in โ€™girlโ€™ and the left edge of the flower in โ€™butterflyโ€™ and the lower half of the fence in โ€™aborigineโ€™.

Refer to caption
Figure 5: Restoration results at ฯƒ=0.01๐œŽ0.01\sigma=0.01italic_ฯƒ = 0.01 when the weight matrix is symmetric. (Listed in order are the observed images and the restoration results obtained using CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT, MTVMTV{\rm{MTV}}roman_MTV, SVTVSVTV{\rm{SVTV}}roman_SVTV, Alg. 2.)
Refer to caption
Figure 6: Restoration results at ฯƒ=0.01๐œŽ0.01\sigma=0.01italic_ฯƒ = 0.01 when the weight matrix is symmetric. (Listed in order are the observed images and the restoration results obtained using CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT, MTVMTV{\rm{MTV}}roman_MTV, SVTVSVTV{\rm{SVTV}}roman_SVTV, Alg. 2.)
TABLE I: The values of PSNR, SSIM, MSE and CIEde2000 for the restored images at symmetric weight matrix.

Observed image (PSNRย SSIM) Method PSNR SSIM MSE CIEde2000 Observed image (PSNRย SSIM) Method PSNR SSIM MSE CIEde2000 statues (22.6920ย 0.5002) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 24.7890 24.7416 26.1593 26.9277 27.3174 27.319027.3190\mathbf{27.3190}bold_27.3190 0.6817 0.6740 0.6983 0.7374 0.7666 0.76670.7667\mathbf{0.7667}bold_0.7667 0.0033 0.0034 0.0024 0.0020 0.00190.0019\mathbf{0.0019}bold_0.0019 0.00190.0019\mathbf{0.0019}bold_0.0019 6.3750 6.1065 3.9703 4.0883 3.1070 3.10663.1066\mathbf{3.1066}bold_3.1066 waterfall (21.3554ย 0.5654) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 22.9317 22.8933 25.2652 26.3011 26.6026 26.604626.6046\mathbf{26.6046}bold_26.6046 0.7027 0.7097 0.7541 0.8008 0.8132 0.81330.8133\mathbf{0.8133}bold_0.8133 0.0051 0.0051 0.0030 0.0023 0.00220.0022\mathbf{0.0022}bold_0.0022 0.00220.0022\mathbf{0.0022}bold_0.0022 7.5840 7.4116 3.7826 3.7302 3.1930 3.19253.1925\mathbf{3.1925}bold_3.1925 aborigine (21.1179ย 0.5610) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 22.3146 22.29382 26.8057 27.7981 28.0820 28.084128.0841\mathbf{28.0841}bold_28.0841 0.7152 0.7181 0.7673 0.8107 0.8241 0.82420.8242\mathbf{0.8242}bold_0.8242 0.0059 0.0059 0.0021 0.0017 0.00160.0016\mathbf{0.0016}bold_0.0016 0.00160.0016\mathbf{0.0016}bold_0.0016 7.2164 7.0597 3.3089 3.3228 2.7849 2.78472.7847\mathbf{2.7847}bold_2.7847 bear (20.2929ย 0.5507) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 21.9875 21.9315 23.3130 24.3554 24.5442 24.547624.5476\mathbf{24.5476}bold_24.5476 0.7154 0.7134 0.7477 0.7907 0.80630.8063\mathbf{0.8063}bold_0.8063 0.80630.8063\mathbf{0.8063}bold_0.8063 0.0063 0.0064 0.0047 0.0037 0.00350.0035\mathbf{0.0035}bold_0.0035 0.00350.0035\mathbf{0.0035}bold_0.0035 8.1320 8.0203 4.3142 4.3680 3.7621 3.76133.7613\mathbf{3.7613}bold_3.7613 penguin (21.8428ย 0.6083) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 24.1892 24.1561 25.3151 26.5423 26.5423 26.680126.6801\mathbf{26.6801}bold_26.6801 0.7349 0.7389 0.7760 0.8079 0.8166 0.81670.8167\mathbf{0.8167}bold_0.8167 0.0038 0.0038 0.0029 0.0022 0.00210.0021\mathbf{0.0021}bold_0.0021 0.00210.0021\mathbf{0.0021}bold_0.0021 5.7218 5.3536 4.5552 4.7076 3.5964 3.59543.5954\mathbf{3.5954}bold_3.5954 butterfly (20.9821ย 0.6702) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 22.6934 22.6994 26.8852 28.3685 28.4456 28.460928.4609\mathbf{28.4609}bold_28.4609 0.7702 0.7789 0.8355 0.8672 0.8705 0.87090.8709\mathbf{0.8709}bold_0.8709 0.0054 0.0054 0.0020 0.0015 0.00140.0014\mathbf{0.0014}bold_0.0014 0.00140.0014\mathbf{0.0014}bold_0.0014 7.8815 7.7457 3.0992 3.0369 2.6925 2.68962.6896\mathbf{2.6896}bold_2.6896 garden (19.4933ย 0.5176) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 21.6959 21.6205 23.7840 25.2706 25.2987 25.303225.3032\mathbf{25.3032}bold_25.3032 0.7188 0.7167 0.7741 0.8354 0.8421 0.84230.8423\mathbf{0.8423}bold_0.8423 0.0068 0.0069 0.0042 0.0030 0.0030 0.00290.0029\mathbf{0.0029}bold_0.0029 7.7463 7.5397 4.9869 4.9658 4.3127 4.31154.3115\mathbf{4.3115}bold_4.3115 girl (22.5950ย 0.6946) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 24.0889 24.0870 28.5861 29.5834 29.7722 29.773829.7738\mathbf{29.7738}bold_29.7738 0.7844 0.7941 0.8430 0.8634 0.87090.8709\mathbf{0.8709}bold_0.8709 0.87090.8709\mathbf{0.8709}bold_0.8709 0.0039 0.0039 0.0014 0.00110.0011\mathbf{0.0011}bold_0.0011 0.00110.0011\mathbf{0.0011}bold_0.0011 0.00110.0011\mathbf{0.0011}bold_0.0011 6.9659 6.7890 2.8742 2.9632 2.4627 2.46242.4624\mathbf{2.4624}bold_2.4624

Refer to caption
Figure 7: Corresponding zooming parts is in turn a detail of the original image, restored by the MTVMTV{\rm{MTV}}roman_MTV and Alg. 2 models at symmetric weight matrix.

V-B Asymmetric weight matrix

In this example, we consider the restoration results of each method when the sub-blur kernels are different and the weight matrix is asymmetric. For each method, the degraded images are generated by introducing the following cross-channel blur to the clean images,

[(A,5)(M,11,45)(M,21,90)(M,11,45),(A,5)(G,5,5)(M,21,90)(G,5,5)(A,5)].delimited-[]๐ด5๐‘€1145๐‘€2190๐‘€1145๐ด5๐บ55๐‘€2190๐บ55๐ด5\left[\begin{array}[]{ccc}(A,5)&(M,11,45)&(M,21,90)\\ (M,11,45),&(A,5)&(G,5,5)\\ (M,21,90)&(G,5,5)&(A,5)\end{array}\right].[ start_ARRAY start_ROW start_CELL ( italic_A , 5 ) end_CELL start_CELL ( italic_M , 11 , 45 ) end_CELL start_CELL ( italic_M , 21 , 90 ) end_CELL end_ROW start_ROW start_CELL ( italic_M , 11 , 45 ) , end_CELL start_CELL ( italic_A , 5 ) end_CELL start_CELL ( italic_G , 5 , 5 ) end_CELL end_ROW start_ROW start_CELL ( italic_M , 21 , 90 ) end_CELL start_CELL ( italic_G , 5 , 5 ) end_CELL start_CELL ( italic_A , 5 ) end_CELL end_ROW end_ARRAY ] .

adding Gaussian noise with standard deviation ฯƒ=0.01๐œŽ0.01\sigma=0.01italic_ฯƒ = 0.01. The weight matrix is chosen as follows

W=[0.70.150.150.10.80.10.050.050.9].๐‘Šdelimited-[]0.70.150.150.10.80.10.050.050.9W=\left[\begin{array}[]{ccc}0.7&0.15&0.15\\ 0.1&0.8&0.1\\ 0.05&0.05&0.9\end{array}\right].italic_W = [ start_ARRAY start_ROW start_CELL 0.7 end_CELL start_CELL 0.15 end_CELL start_CELL 0.15 end_CELL end_ROW start_ROW start_CELL 0.1 end_CELL start_CELL 0.8 end_CELL start_CELL 0.1 end_CELL end_ROW start_ROW start_CELL 0.05 end_CELL start_CELL 0.05 end_CELL start_CELL 0.9 end_CELL end_ROW end_ARRAY ] .

In Figures 8 and 9, we display the observed images in cross-channel blurring with asymmetric weight matrix, and the restored images of the seven methods. From the visual, CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are ineffective at removing cross-channel blur and all show the color shift, for example, the texture of the grass skirt in โ€™aborigineโ€™ is relatively smooth and darker overall. We can observe that in this example the color shift of the images restored by these three methods is smaller than the previous example. This is because a more diagonally dominant weight matrix is used in this example. CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT shows a significant color shift in this design of asymmetric weight matrix and different sub-blur kernels. The MTVMTV{\rm{MTV}}roman_MTV method seems to lose some of the detailed textures and has an oversmoothing effect in the restored images, though it gives relatively good results visually; see the detailed textures on petals of โ€™butterflyโ€™ and rock of โ€™waterfallโ€™. Later on, we will also zoom in locally to specifically compare the differences between the MTVMTV{\rm{MTV}}roman_MTV method and the newly proposed model. As expected, the proposed Alg. 2 achieves better visual results, preserving the geometric textures and color information of the color images.

We then compare the PSNR, SSIM, MSE, and CIEde2000 values of the images restored by these seven methods and show these values in Table II. We evidently observe that the new approach Alg. 2 obtains much higher PSNR, SSIM, MSE, and CIEde2000 values compared to the other methods. Especially for the CIEde2000 criterion, our proposed methods have an average minimum reduction of around 0.64 compared to the other methods.

To further compare MTVMTV{\rm{MTV}}roman_MTV with Alg. 2, we zoom in the local details of the restored images from both methods (the zoomed areas are indicated by red boxes in Figures 8 and 9), as shown in Figure 10. From the comparison of the skin detail in โ€™aborigineโ€™ and the petal textures in โ€™butterflyโ€™, we can see that the newly proposed method produces better results in terms of texture features preservation, while the MTVMTV{\rm{MTV}}roman_MTV method tends to oversmooth. Also, Alg. 2 produces superior results in terms of color fidelity judging from the branch edges in โ€™waterfallโ€™ and the petal edges in โ€™butterflyโ€™, where the MTVMTV{\rm{MTV}}roman_MTV tends to have color infection in the sharply changing areas of the images. Besides, from the comparison between Tables I and II, it is worth emphasizing that the restoration numerical results of the MTVMTV{\rm{MTV}}roman_MTV method are worse than the corresponding results in Example V-A in terms of indicators such as CIEde2000, while the two newly proposed methods are more stable for the restoration of different blur kernels. This means that MTVMTV{\rm{MTV}}roman_MTV is more sensitive to the design of cross-channel blur kernel, while the newly proposed methods are more general and stable due to the application of the Krylov subspace methods. The above results support the efficiency and superiority of the newly proposed methods.

Refer to caption
Figure 8: Restoration results at ฯƒ=0.01๐œŽ0.01\sigma=0.01italic_ฯƒ = 0.01 when the weight matrix is asymmetric. (Listed in order are the observed images and the restoration results obtained using CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, SVTVSVTV{\rm{SVTV}}roman_SVTV, CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT, MTVMTV{\rm{MTV}}roman_MTV, SVTVSVTV{\rm{SVTV}}roman_SVTV, Alg. 2.)
Refer to caption
Figure 9: Restoration results at ฯƒ=0.01๐œŽ0.01\sigma=0.01italic_ฯƒ = 0.01 when the weight matrix is asymmetric. (Listed in order are the observed images and the restoration results obtained using CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, SVTVSVTV{\rm{SVTV}}roman_SVTV, CTVsโขpโขlโขiโขtsubscriptCTV๐‘ ๐‘๐‘™๐‘–๐‘ก{\rm{CTV}}_{split}roman_CTV start_POSTSUBSCRIPT italic_s italic_p italic_l italic_i italic_t end_POSTSUBSCRIPT, MTVMTV{\rm{MTV}}roman_MTV, SVTVSVTV{\rm{SVTV}}roman_SVTV, Alg. 2.)
TABLE II: The values of PSNR, SSIM, MSE and CIEde2000 for the restored images at asymmetric weight matrix.

Observed image (PSNRย SSIM) Method PSNR SSIM MSE CIEde2000 Observed image (PSNRย SSIM) Method PSNR SSIM MSE CIEde2000 statues (22.8211ย 0.4890) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 24.8674 24.8129 18.6735 26.7807 27.3078 27.308927.3089\mathbf{27.3089}bold_27.3089 0.6587 0.6510 0.6336 0.7275 0.76410.7641\mathbf{0.7641}bold_0.7641 0.76410.7641\mathbf{0.7641}bold_0.7641 0.0033 0.0033 0.0136 0.0021 0.00190.0019\mathbf{0.0019}bold_0.0019 0.00190.0019\mathbf{0.0019}bold_0.0019 5.7584 5.4356 14.4771 4.3106 3.1218 3.12143.1214\mathbf{3.1214}bold_3.1214 waterfall (21.87546ย 0.5683) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 23.5651 23.5176 16.2687 26.3129 26.8064 26.807726.8077\mathbf{26.8077}bold_26.8077 0.6927 0.7005 0.6819 0.7962 0.81610.8161\mathbf{0.8161}bold_0.8161 0.81610.8161\mathbf{0.8161}bold_0.8161 0.0044 0.0044 0.0236 0.0023 0.00210.0021\mathbf{0.0021}bold_0.0021 0.00210.0021\mathbf{0.0021}bold_0.0021 6.0229 5.8441 15.3867 3.8289 3.1233 3.12293.1229\mathbf{3.1229}bold_3.1229 aborigine (22.3385ย 0.5643) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 23.8554 23.8243 15.1137 27.7450 28.2340 28.235328.2353\mathbf{28.2353}bold_28.2353 0.7054 0.7091 0.6704 0.8013 0.8230 0.82310.8231\mathbf{0.8231}bold_0.8231 0.0041 0.0041 0.0308 0.0017 0.00150.0015\mathbf{0.0015}bold_0.0015 0.00150.0015\mathbf{0.0015}bold_0.0015 6.0587 5.8796 15.6282 3.4535 2.6851 2.68492.6849\mathbf{2.6849}bold_2.6849 bear (20.4969ย 0.5420) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 22.1822 22.1152 14.9329 24.5403 24.9258 24.927924.9279\mathbf{24.9279}bold_24.9279 0.6965 0.6947 0.6858 0.7876 0.8103 0.81040.8104\mathbf{0.8104}bold_0.8104 0.0060 0.0061 0.0321 0.0035 0.00320.0032\mathbf{0.0032}bold_0.0032 0.00320.0032\mathbf{0.0032}bold_0.0032 6.6658 6.5229 18.1410 4.5132 3.6703 3.66973.6697\mathbf{3.6697}bold_3.6697 penguin (21.5152ย 0.5904) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 23.6758 23.6289 16.1198 26.3597 26.6109 26.617826.6178\mathbf{26.6178}bold_26.6178 0.7131 0.7171 0.7181 0.7989 0.8115 0.81170.8117\mathbf{0.8117}bold_0.8117 0.0043 0.0043 0.0244 0.0023 0.00220.0022\mathbf{0.0022}bold_0.0022 0.00220.0022\mathbf{0.0022}bold_0.0022 6.1883 5.7965 20.1197 4.9455 3.6455 3.64373.6437\mathbf{3.6437}bold_3.6437 butterfly (21.5967ย 0.6596) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 23.6836 23.6712 15.4844 28.2452 28.3127 28.314528.3145\mathbf{28.3145}bold_28.3145 0.7609 0.7694 0.7548 0.8625 0.8687 0.86880.8688\mathbf{0.8688}bold_0.8688 0.0043 0.0043 0.0283 0.00150.0015\mathbf{0.0015}bold_0.0015 0.00150.0015\mathbf{0.0015}bold_0.0015 0.00150.0015\mathbf{0.0015}bold_0.0015 6.1226 5.9530 14.9422 3.1680 2.6089 2.60852.6085\mathbf{2.6085}bold_2.6085 garden (19.4949ย 0.5044) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 21.5268 21.4425 16.6254 25.0593 25.3852 25.391825.3918\mathbf{25.3918}bold_25.3918 0.6970 0.6941 0.6942 0.8270 0.8409 0.84110.8411\mathbf{0.8411}bold_0.8411 0.0070 0.0072 0.0217 0.0031 0.00290.0029\mathbf{0.0029}bold_0.0029 0.00290.0029\mathbf{0.0029}bold_0.0029 7.5611 7.3168 18.7589 5.2695 4.2331 4.23084.2308\mathbf{4.2308}bold_4.2308 girl (23.0120ย 0.6945) CTV1subscriptCTV1{\rm{CTV}}_{1}roman_CTV start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT CTV2subscriptCTV2{\rm{CTV}}_{2}roman_CTV start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT CTVsplitsubscriptCTVsplit\rm{{\rm{CTV}}_{split}}roman_CTV start_POSTSUBSCRIPT roman_split end_POSTSUBSCRIPT MTVMTV{\rm{MTV}}roman_MTV SVTVSVTV{\rm{SVTV}}roman_SVTV Alg. 2 24.6124 24.6185 16.4629 29.3705 29.7134 29.714729.7147\mathbf{29.7147}bold_29.7147 0.7778 0.7885 0.7647 0.8552 0.86660.8666\mathbf{0.8666}bold_0.8666 0.86660.8666\mathbf{0.8666}bold_0.8666 0.0035 0.0035 0.0226 0.0012 0.00110.0011\mathbf{0.0011}bold_0.0011 0.00110.0011\mathbf{0.0011}bold_0.0011 6.2335 6.0251 18.9103 3.1128 2.4739 2.47342.4734\mathbf{2.4734}bold_2.4734

Refer to caption
Figure 10: Corresponding zooming parts is in turn a detail of the original image, restored by the MTVMTV{\rm{MTV}}roman_MTV and Alg. 2 models at asymmetric weight matrix.

VI Conclusion

In this paper, we have proposed a novel total variation model for color image cross-channel deblurring using quaternion matrices to represent color images. The proposed model introduces an SVTV-CTV balance regularization term, jointly exploiting the complementary information of the RGB and HSV color spaces. We also present two different iterative algorithms for the proposed model based on the alternating minimization framework. These two iterative algorithms introduce real and quaternion Krylov subspace methods to solve the linear system in the deblurring process, respectively. The numerical results of color image restoration demonstrates the superior performance of the newly proposed method in terms of PSNR, SSIM, MSE and CIEde2000 criteria compared to the existing total variation methods. Furthermore, we demonstrate the practicality and effectiveness of our newly proposed models and algorithms in addressing medical image artifacts.

Acknowledgment

This work is supported in part by the National Natural Science Foundation of China under grants 12171210, 12090011, and 11771188; the Major Projects of Universities in Jiangsu Province (No. 21KJA110001); the Qing Lan Project of Jiangsu Province; and the Natural Science Foundation of Fujian Province of China grants 2020J05034.

References

  • [1] T. Blomgren and T. Chan. Color TV: Total variation methods for restoration of vector valued images, IEEE Trans. Image Process., 7: 304โ€“309, 1998.
  • [2] X. Bresson and T. Chan. Fast dual minimization of the vectorial total variation norm and applications to color image processing, Inverse Probl. Imag., 2: 255โ€“284, 2008.
  • [3] T. Chan, S. Kang, and J. Shen. Total variation denoising and enhancement of color images based on the CB and HSV color models, J. Visual Commun. Image Repres., 12: 422โ€“435, 2001.
  • [4] P. Denis, P. Carre, and C. Fernandez-Maloigne. Spatial and spectral quaternionic approaches for colour images, Comput. Vis. Image Und., 107: 74โ€“87, 2007.
  • [5] Y. Duan, Q. Zhong, X.-C. Tai, R. Glowinski. A fast operator-splitting method for Beltrami color image denoising, J. Sci. Comput., 92(3): 89, 2022.
  • [6] J. Duran, M. Moeller, C. Sbert, and D. Cremers. Collaborative total variation: A general framework for vectorial TV models, SIAM J. Imaging Sci., 9: 116โ€“151, 2016.
  • [7] E. Esser. Applications of Lagrangian-Based Alternating Direction Methods and Connections to Split Bregman, CAM Rep., 9, 2009.
  • [8] J. Eckstein and D. Bertsekas. On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators, Math. Program., 55: 293-318, 1992.
  • [9] H. Y. Fu, M. K. Ng, and J. L. Barlow. Structured total least squares for color image restoration, SIAM J. Sci. Comput., 28(3): 1100โ€“1119, 2006.
  • [10] H. Y. Fu, M. K. Ng, M. Nikolova, and J. L. Barlow. Efficient minimization methods of mixed l2-l1 and l1-l1 norms for image restoration, SIAM J. Sci. Comput., 27(6): 1881โ€“1902, 2006.
  • [11] N. P. Galatsanos, A. K. Katsaggelos. Methods for choosing the regularization parameter and estimating the noise variance in image restoration and their relation, IEEE Trans. Image Process., 1(3): 322โ€“336, 1992.
  • [12] N. P. Galatsanos, A. K. Katsaggelos, R. T. Chin, and A. D. Hillery. Least squares restoration of multichannel images, IEEE Trans. Signal Process., 39: 2222โ€“2236, 1991.
  • [13] C. Y. Huang, M. K. Ng, T. T. Wu, and T. Y. Zeng. Quaternion-Based Dictionary Learning and Saturation-Value Total Variation Regularization for Color Image Restoration, IEEE Trans. Multimedia, 3769-3781, 2022.
  • [14] P. C. Hansen. Analysis of discrete ill-posed problems by means of the L-curve, SIAM Rev., 34(4): 561โ€“580, 1992
  • [15] W. R. Hamilton. Elements of Quaternions, Longmans, Green, and Co, London, 1866.
  • [16] H. Y. Liao, F. Li and M. K. Ng. Selection of regularization parameter in total variation image restoration, JOSA A, 26(11): 2311โ€“2320, 2011.
  • [17] H. Liu , X.-C. Tai , R. Kimmel , and R. Glowinski. A color elastica model for vector-valued image regularization, SIAM J. Imaging Sci., 14(2): 717โ€“748, 2021.
  • [18] H. Liu , X.-C. Tai , R. Kimmel , and R. Glowinski. Elastica models for color image regularization, SIAM J. Imaging Sci., 16(1): 461โ€“500, 2023
  • [19] Y. Jung. Multiple predicting K-fold cross-validation for model selection, J. Nonparametr Stat. 30(1): 197โ€“215, 2018.
  • [20] Z. G. Jia. The Eigenvalue Problem of Quaternion Matrix: Structure-Preserving Algorithms and Applications, Science Press, 2019.
  • [21] Z. G. Jia, M.K. Ng, and W. Wang. Color Image Restoration by Saturation-Value (SV) Total Variation, SIAM J. Imaging Sci., 12(2): 972โ€“1000, 2019.
  • [22] Z. G. Jia and M. K. Ng. Structure-Preserving Quaternion Genenralized Minimal Residual Method, SIAM J. Matrix Anal. A., 42(2): 616โ€“634, 2021.
  • [23] Z.G. Jia, Q. Y. **, M. K. Ng and X. L. Zhao. Non-local robust quaternion matrix completion for large-scale color image and video inpainting, IEEE Trans. Image Process., 31: 3868โ€“3883, 2022.
  • [24] Z. G. Jia, M. S. Wei, M. X. Zhao, and Y. Chen. A new real structure-preserving quaternion QR algorithm, J. Comput. Appl. Math., 343: 26โ€“48, 2018.
  • [25] S. Ono and I. Yamada. Decorrelated Vectorial Total Variation, Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 4090โ€“4097, 2014.
  • [26] G. Sharma, W. C. Wu, and E. N. Dalal. The CIEDE2000 color-difference formula: Implementation notes, supplementary test data, and mathematical observations, Color Res. Appl., 30: 21โ€“30, 2005.
  • [27] G.ย Sapiro. Vector-valued active contours, Proc. IEEE Conf. Comput. Vis. Pattern Recog. (CVPR), 680โ€“685, 1996.
  • [28] Z. Wang, A. C. Bovik, H.R. Sheikh, and E. P. Simoncelli. Image quality assessment: from error visibility to structural similarity, IEEE Trans. Image Process., 13(4): 600โ€“612, 2004.
  • [29] W. Y. Wen and R. H. Chan. Parameter selection for total-variation-based image restoration using discrepancy principle, IEEE Trans. Image Process., 21(4): 1770โ€“1781, 2011.
  • [30] W. Y. Wen, M. K. Ng, and Y. M. Huang. Efficient Total Variation Minimization Methods for Color Image Restoration, IEEE Trans. Image Process., 17(11): 2081โ€“2088, 2008.
  • [31] W. Wang, L. Pi, and M. K. Ng. Saturation-Value Total Variation model for chromatic aberration correction, Inverse Probl. Imag., 14: 733โ€“755, 2020.
  • [32] W. Wang and Q. G. Song. Color image restoration based on saturation-value total variation plus L1 fidelity, Inverse Probl., 38(8): 085009, 2022.
  • [33] W. Wang, Y. M. Yang, and M. K. Ng. A Spatial Color Compensation Model Using Saturation-Value Total Variation, SIAM J. Imaging Sci., 15(3): 1400โ€“1430, 2022.
  • [34] J. F. Yang, W. T. Yin, Y. Zhang, Y. L. Wang. A Fast Algorithm for Edge-Preserving Variational Multichannel Image Restoration, SIAM J. Imaging Sci., 2(2): 569โ€“592, 2009.
  • [35] J. F. Yang, Y. Zhang, and W. T. Yin. An Efficient TVL1 Algorithm for Deblurring Multichannel Images Corrupted by Impulsive Noise, SIAM J. Imaging Sci., 31(4): 2842โ€“2865, 2009.