Modified hybrid decomposition of the augmented Lagrangian method with larger step size for three-block separable convex programming

Abstract

The Jacobian decomposition and the Gauss–Seidel decomposition of augmented Lagrangian method (ALM) are two popular methods for separable convex programming. However, their convergence is not guaranteed for three-block separable convex programming. In this paper, we present a modified hybrid decomposition of ALM (MHD-ALM) for three-block separable convex programming, which first updates all variables by a hybrid decomposition of ALM, and then corrects the output by a correction step with constant step size $\alpha \in (0,2-\sqrt{2})$ which is much less restricted than the step sizes in similar methods. Furthermore, we show that $2-\sqrt{2}$ is the optimal upper bound of the constant step size α. The rationality of MHD-ALM is testified by theoretical analysis, including global convergence, ergodic convergence rate, nonergodic convergence rate, and refined ergodic convergence rate. MHD-ALM is applied to solve video background extraction problem, and numerical results indicate that it is numerically reliable and requires less computation.

Introduction

Many problems encountered in applied mathematics area can be formulated as separable convex programming, such as basis pursuit (BP) problem [1–3], video background extraction problem [4–7], image decomposition [8–10], and so on. Thus the solving of separable convex programming plays a fundamental role in applied mathematics and has drawn persistent attention. In the existing literature, several forms of separable convex programming have been investigated [11–15], in which the following three-block separable convex programming rouses more interest:

$$min\{\sum _{i=1}^3{\theta }_i(x_i)|\sum _{i=1}^3{A}_i{x}_i=b,x_i\in {\mathcal{X}}_i,i=1,2,3\},$$ 1

where ${\theta }_i:{\mathcal{R}}^{n_i}\mapsto (-\mathrm{\infty },+\mathrm{\infty }]$ ($i=1,2,3$) are lower semicontinuous proper convex functions, $A_i\in {\mathcal{R}}^{l\times n_i}$ ($i=1,2,3$) and $b\in {\mathcal{R}}^l$, ${\mathcal{X}}_i$ ($i=1,2,3$) are nonempty closed convex sets in ${\mathcal{R}}^{n_i}$ ($i=1,2,3$). Throughout this paper, we assume that the solution set of problem (1) is nonempty.

The Lagrangian and augmented Lagrangian functions of problem (1) are defined, respectively, as

$$\mathcal{L}(x_1,x_2,x_3,\lambda )=\sum _{i=1}^3{\theta }_i(x_i)-\langle \lambda ,\sum _{i=1}^3{A}_i{x}_i-b\rangle ,$$ 2

$${\mathcal{L}}_{\beta }(x_1,x_2,x_3,\lambda )=\mathcal{L}(x_1,x_2,x_3,\lambda )+\frac{\beta }{2}{\parallel \sum _{i=1}^3{A}_i{x}_i-b\parallel }^2,$$ 3

where $\lambda \in {\mathcal{R}}^l$ is the Lagrange multiplier associated with the linear constraints in (1), and $\beta >0$ is a penalty parameter. Applying the augmented Lagrangian method (ALM) [16] to problem (1), we can obtain the following iterative scheme:

$$\{\begin{array}{c}(x_1^{k+1},x_2^{k+1},x_3^{k+1})=argmin\{{\mathcal{L}}_{\beta }(x_1,x_2,x_3,{\lambda }^k)|x_1\in {\mathcal{X}}_1,x_2\in {\mathcal{X}}_2,x_3\in {\mathcal{X}}_3\},\hfill \\ {\lambda }^{k+1}={\lambda }^k-\beta (A_1{x}_1^{k+1}+A_2{x}_2^{k+1}+A_3{x}_3^{k+1}-b).\hfill \end{array}$$ 4

Obviously, three variables $x_1$, $x_2$, $x_3$ are all involved in the minimization problem of (4), which makes the method often hard to implement. One technique to handle this is to split the subproblem into several small scale subproblems. Based on this, if we split it in a Gauss–Seidel manner and adopt the famous alternating direction method of multiplier (ADMM) [11], we obtain the following iterative scheme:

$$\{\begin{array}{c}{x}_1^{k+1}=argmin\{{\mathcal{L}}_{\beta }(x_1,x_2^k,x_3^k,{\lambda }^k)|x_1\in {\mathcal{X}}_1\},\hfill \\ x_2^{k+1}=argmin\{{\mathcal{L}}_{\beta }(x_1^{k+1},x_2,x_3^k,{\lambda }^k)|x_2\in {\mathcal{X}}_2\},\hfill \\ x_3^{k+1}=argmin\{{\mathcal{L}}_{\beta }(x_1^{k+1},x_2^{k+1},x_3,{\lambda }^k)|x_3\in {\mathcal{X}}_3\},\hfill \\ {\lambda }^{k+1}={\lambda }^k-\beta (A_1{x}_1^{k+1}+A_2{x}_2^{k+1}+A_3{x}_3^{k+1}-b).\hfill \end{array}$$ 5

On the other hand, if we split it in a Jacobian manner, we get the following full parallel iterative scheme:

$$\{\begin{array}{c}{x}_1^{k+1}=argmin\{{\mathcal{L}}_{\beta }(x_1,x_2^k,x_3^k,{\lambda }^k)|x_1\in {\mathcal{X}}_1\},\hfill \\ x_2^{k+1}=argmin\{{\mathcal{L}}_{\beta }(x_1^k,x_2,x_3^k,{\lambda }^k)|x_2\in {\mathcal{X}}_2\},\hfill \\ x_3^{k+1}=argmin\{{\mathcal{L}}_{\beta }(x_1^k,x_2^k,x_3,{\lambda }^k)|x_3\in {\mathcal{X}}_3\},\hfill \\ {\lambda }^{k+1}={\lambda }^k-\beta (A_1{x}_1^{k+1}+A_2{x}_2^{k+1}+A_3{x}_3^{k+1}-b).\hfill \end{array}$$ 6

Compared with the minimization problem in (4), the scale of the minimization procedures in (5) and (6) is decreased, and they fully utilize the separable property of the objective function of (1), thus the new iterative schemes (5) and (6) gain some solvability. However, their convergence cannot be guaranteed under milder conditions as shown in [12, 17]. To overcome this drawback, several new techniques, such as the regularization method with large proximal parameter [18–23], the prediction-correction method with shrunk step size [12, 13, 24–26], etc., have been developed.

Compared with the regularization method, the prediction-correction method has attracted extensive interest, and during the past decades many scholars have performed studies in this direction. For example, He et al. [24] proposed an ADMM-based contraction type method for solving multi-block separable convex programming, which first generates a temporal iterate by (5), and then corrects it with a Gaussian back substitution procedure. Later, He et al. [12] developed a full Jacobian decomposition of the augmented Lagrangian method for solving multi-block separable convex programming, which first generates a temporal iterate by (6), and then corrects it with a constant step size or varying step size. Different from the above, Han et al. [13] proposed a partial splitting augmented Lagrangian method for solving three-block separable convex programming, which first updates the primal variables $x_1$, $x_2$, $x_3$ in a partially-parallel manner, and then corrects $x_3$, λ with a constant step size. Later, Wang et al. [25] presented a proximal partially-parallel splitting method for solving multi-block separable convex programming, which first updates all primal variables in a partially-parallel manner, and then corrects the output with a constant step size or varying step size. Quite recently, Chang et al. [26] proposed a convergent prediction-correction-based ADMM in which more minimization problems are involved. In conclusion, the above iteration schemes first generate a temporal iterate by (5) or (6) or their variants, and then generate the new iterate by correcting the temporal iterate with varying step size or a constant step size.

Varying step size needs to be dynamically updated at each iteration, which might be computationally demanding for large-scale (1). Hence in this paper, we consider the prediction-correction method with constant step size for solving problem (1). To the best of our knowledge, He et al. [12] first proposed a prediction-correction method with constant step size for solving (1), and they proved that the upper bound of the constant step size is 0.2679. By taking a hybrid splitting of (4) as the prediction step, Wang et al. [25] relaxed the upper bound of the constant step size to 0.3670 and Han et al. [13] further relaxed it to 0.3820. In practice, to enhance the numerical efficiency of the corresponding iteration method, larger values of the step size are preferred as long as the convergence is still guaranteed [26]. In this paper, based on the methods in [12, 13, 25], we propose a modified hybrid decomposition of the augmented Lagrangian method with constant step size, whose upper bound is relaxed to 0.5858.

The rest of this paper is organized as follows. Section 2 lists some notations and basic results. In Sect. 3, we present a modified hybrid decomposition of the augmented Lagrangian method with larger step size for problem (1) and establish its global convergence and refined convergence rate. Furthermore, a simple example is given to illustrate that $2-\sqrt{2}\cong 0.5858$ is the optimal upper bound of the constant step size in MHD-ALM. In Sect. 4, some numerical results are given to demonstrate the numerical advantage of larger step size. Finally, a brief conclusion including some possible future works is drawn in Sect. 5.

Preliminaries

In this section, we give some notations and basic results about the minimization problem (1), which will be used in the forthcoming discussions.

Throughout this paper, we define the following notations:

$$\begin{array}{c}x=(x_1,x_2,x_3),v=(x_2,x_3,\lambda ),w=(x_1,x_2,x_3,\lambda ),\hfill \\ \theta (x)={\theta }_1(x_1)+{\theta }_2(x_2)+{\theta }_3(x_3)\hfill \end{array}$$

and

$$\mathcal{A}=(A_1,A_2,A_3),\mathcal{X}={\mathcal{X}}_1\times {\mathcal{X}}_2\times {\mathcal{X}}_3,\mathcal{V}={\mathcal{X}}_2\times {\mathcal{X}}_3\times {\mathcal{R}}^l,\mathcal{W}=\mathcal{X}\times {\mathcal{R}}^l.$$

Definition 2.1

A tuple $(x^{\ast },{\lambda }^{\ast })\in \mathcal{W}$ is called a saddle point of the Lagrangian function (2) if it satisfies the inequalities

$${\mathcal{L}}_{\lambda \in {\mathcal{R}}^l}(x^{\ast },\lambda )\le \mathcal{L}(x^{\ast },{\lambda }^{\ast })\le {\mathcal{L}}_{x\in \mathcal{X}}(x,{\lambda }^{\ast }).$$ 7

Solving problem (1) is equivalent to finding a saddle point of $\mathcal{L}(x,\lambda )$ [26, 27]. Therefore, to solve (1), we only need to solve the two inequalities in (7), which can be written as the following mixed variational inequality:

$$\theta (x)-\theta \left(x^{\ast }\right)+{(w-w^{\ast })}^{\mathrm{\top }}F\left(w^{\ast }\right)\ge 0,\mathrm{\forall }w\in \mathcal{W},$$ 8

where

$$F(w)=\left(\begin{array}{c}-A_1^{\mathrm{\top }}\lambda \\ -A_2^{\mathrm{\top }}\lambda \\ -A_3^{\mathrm{\top }}\lambda \\ {\sum }_{i=1}^3{A}_i{x}_i-b\end{array}\right)=\left(\begin{array}{c}-{\mathcal{A}}^{\mathrm{\top }}\lambda \\ \mathcal{A}x-b\end{array}\right)=\left(\begin{array}{cc}0& -{\mathcal{A}}^{\mathrm{\top }}\\ \mathcal{A}& 0\end{array}\right)\left(\begin{array}{c}x\\ \lambda \end{array}\right)-\left(\begin{array}{c}0\\ b\end{array}\right).$$ 9

Because $F(w)$ is a linear mapping with skew-symmetric coefficient matrix, it satisfies the following property:

$${(w^{\prime }-w)}^{\mathrm{\top }}F\left(w^{\prime }\right)={(w^{\prime }-w)}^{\mathrm{\top }}F(w),\mathrm{\forall }{w}^{\prime },w\in \mathcal{W}.$$ 10

The mixed variational inequality (8) is denoted by $MVI(\mathcal{W},F,\theta )$, whose solution set is denoted by ${\mathcal{W}}^{\ast }$, which is nonempty from the assumption on problem (1).

To solve $MVI(\mathcal{W},F,\theta )$, He et al. [28] presented the following prototype algorithm:

A prototype algorithm for $MVI\mathbf{(}\mathcal{W}\mathbf{,}\mathit{F}\mathbf{,}\mathit{\theta }\mathbf{)}$ , denoted by ProAlo:

Prediction: For given $v^k$, find ${\hat{w}}^k\in \mathcal{W}$ and Q satisfying

$$\theta (x)-\theta \left({\hat{x}}^k\right)+{(w-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\hat{w}}^k\right)\ge {(v-{\hat{v}}^k)}^{\mathrm{\top }}Q(v^k-{\hat{v}}^k),\mathrm{\forall }w\in \mathcal{W},$$ 11

where the matrix Q has the property: $(Q+Q^{\mathrm{\top }})$ is positive definite.

Correction: Determine a nonsingular matrix M, a scalar $\alpha >0$, and generate the new iterate $v^{k+1}$ via

$$v^{k+1}=v^k-\alpha M(v^k-{\hat{v}}^k).$$ 12

Condition 2.1

The matrices Q, M in the ProAlo satisfy that the three matrices $Q+Q^{\mathrm{\top }}$, $H:=Q{M}^{-1}$, $G(\alpha ):=Q+Q^{\mathrm{\top }}-\alpha M^{\mathrm{\top }}HM$ are positive definite.

Under Condition 2.1, He et al. [28] established the convergence results of ProAlo, including the global convergence, the worst-case $\mathcal{O}(1/t)$ convergence rate in ergodic or nonergodic sense, where t is the iteration counter. See Theorems 3.3, 4.2, 4.5 in [28].

To end this section, we give the following lemma which will be used in the subsequent section.

Lemma 2.1

([27])

Let $\mathcal{X}\subseteq {\mathcal{R}}^n$ be a closed nonempty convex set, $\theta (x)$ and $f(x)$ be two convex functions. If the function $\theta (x)$ is nondifferentiable, the function $f(x)$ is differentiable, and the solution set of the problem $min\{\theta (x)+f(x)|x\in \mathcal{X}\}$ is nonempty, then

$$x^{\ast }\in argmin\{\theta (x)+f(x)|x\in \mathcal{X}\}$$

if and only if

$$x^{\ast }\in \mathcal{X},\theta (x)-\theta \left(x^{\ast }\right)+{(x-x^{\ast })}^{\mathrm{\top }}\mathrm{\nabla }f\left(x^{\ast }\right)\ge 0,\mathrm{\forall }x\in \mathcal{X}.$$

Algorithm and its convergence

In this section, we give the process of the modified hybrid decomposition of the augmented Lagrangian method (MHD-ALM) for three-block separable convex programming (1) and establish its convergence results, including global convergence, ergodic convergence rate, nonergodic convergence rate, and refined ergodic convergence rate.

Algorithm: MHD-ALM

Step 0.

Let parameters $\alpha \in (0,2-\sqrt{2})$, $\beta >0$, tolerance error $\epsilon >0$. Choose an initial point $v^0=(x_2^0,x_3^0,{\lambda }^0)\in \mathcal{V}$. Set $k=0$.

Step 1.

Compute the prediction iterate ${\tilde{w}}^k=({\tilde{x}}_1^k,{\tilde{x}}_2^k,{\tilde{x}}_3^k,{\tilde{\lambda }}^k)$ via

$$\{\begin{array}{c}{\tilde{x}}_1^k=argmin\{{\mathcal{L}}_{\beta }(x_1,x_2^k,x_3^k,{\lambda }^k)|x_1\in {\mathcal{X}}_1\},\hfill \\ {\tilde{x}}_2^k=argmin\{{\mathcal{L}}_{\beta }({\tilde{x}}_1^k,x_2,x_3^k,{\lambda }^k)|x_2\in {\mathcal{X}}_2\},\hfill \\ {\tilde{x}}_3^k=argmin\{{\mathcal{L}}_{\beta }({\tilde{x}}_1^k,x_2^k,x_3,{\lambda }^k)|x_3\in {\mathcal{X}}_3\},\hfill \\ {\tilde{\lambda }}^k={\lambda }^k-\beta (A_1{\tilde{x}}_1^k+A_2{\tilde{x}}_2^k+A_3{\tilde{x}}_3^k-b).\hfill \end{array}$$ 13

Step 2.

If $max\{\parallel A_2{x}_2^k-A_2{\tilde{x}}_2^k\parallel ,\parallel A_3{x}_3^k-A_3{\tilde{x}}_3^k\parallel ,\parallel {\lambda }^k-{\tilde{\lambda }}^k\parallel \}\le \epsilon$, then stop; otherwise, go to Step 3.

Step 3.

Generate the new iterate $w^{k+1}=(x_1^{k+1},x_2^{k+1},x_3^{k+1},{\lambda }^{k+1})$ by

$$\{\begin{array}{c}{x}_1^{k+1}={\tilde{x}}_1^k,\hfill \\ x_2^{k+1}=x_2^k-\alpha (x_2^k-{\tilde{x}}_2^k),\hfill \\ x_3^{k+1}=x_3^k-\alpha (x_3^k-{\tilde{x}}_3^k),\hfill \\ {\lambda }^{k+1}={\lambda }^k-\alpha ({\lambda }^k-{\tilde{\lambda }}^k).\hfill \end{array}$$ 14

Replace $k+1$ by k, and go to Step 1.

Remark 3.1

Different from the iterative schemes (5) and (6), the iterative scheme (13) first updates the primal variable $x_1$ and then updates the primal variables $x_2$, $x_3$ in a parallel manner. Furthermore, the feasible set of the step size α in MHD-ALM is extended from $(0,0.2679)$ in [12], $(0,0.3820)$ in [13], $(0,0.3670)$ in [25] to $(0,0.5858)$.

The methods in [12, 13, 24–26] and MHD-ALM all fall into the algorithmic framework of prediction-correction methods. The main differences among these methods are: (i) in the prediction step, the methods in [24, 26] update all the primal variables in a sequential order; the method in [12] updates all the primal variables in a parallel manner; the methods in [13, 25] and MHD-ALM update all the primal variables in a partial parallel manner, i.e., they first update $x_1$ and then update $x_2$, $x_3$ in a parallel manner; (ii) in the correction step, the method in [13] updates $x_3$, λ; the method in [26] and MHD-ALM update $x_2$, $x_3$, λ, and the methods in [12, 24, 25] update all the variables.

The convergence analysis of MHD-ALM needs the following assumption and auxiliary sequence.

Assumption 3.1

The matrices $A_2$, $A_3$ in problem (1) are both full column rank.

Define an auxiliary sequence ${\hat{w}}^k=({\hat{x}}_1^k,{\hat{x}}_2^k,{\hat{x}}_3^k,{\hat{\lambda }}^k)$ as

$${\hat{x}}_i^k={\tilde{x}}_i^k(i=1,2,3),{\hat{\lambda }}^k={\lambda }^k-\beta (A_1{\tilde{x}}_1^k+A_2{x}_2^k+A_3{x}_3^k-b).$$ 15

To prove the convergence results of MHD-ALM, we only need cast it into the ProAlo and ensure the following two conditions hold: (i) the generated sequence satisfying (11), (12); (ii) the resulting matrices Q, M satisfying Condition 2.1 in Sect. 2. We first verify the first condition. Based on Lemma 2.1, we can derive the first order optimality conditions of the subproblems in (13), which are summarized in the following lemma.

Lemma 3.1

Let $\{w^k\}$ be the sequence generated by MHD-ALM and $\{{\hat{w}}^k\}$ be defined as in (15). Then it holds that

$$\theta (x)-\theta \left({\hat{x}}^k\right)+{(w-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\hat{w}}^k\right)\ge {(v-{\hat{v}}^k)}^{\mathrm{\top }}Q(v^k-{\hat{v}}^k),\mathrm{\forall }w\in \mathcal{W},$$ 16

where the matrix Q is defined by

$$Q=\left(\begin{array}{ccc}\beta A_2^{\mathrm{\top }}{A}_2& 0& 0\\ 0& \beta A_3^{\mathrm{\top }}{A}_3& 0\\ -A_2& -A_3& I_l/\beta \end{array}\right).$$ 17

Proof

Based on Lemma 2.1 and using the notation of ${\hat{w}}^k$ in (15), the first order optimality conditions for the three minimization problems in (13) can be summarized as the following inequalities:

$$\begin{array}{c}{\theta }_1(x_1)-{\theta }_1\left({\hat{x}}_1^k\right)+{(x_1-{\hat{x}}_1^k)}^{\mathrm{\top }}(-A_1^{\mathrm{\top }}{\hat{\lambda }}^k)\ge 0,\mathrm{\forall }{x}_1\in {\mathcal{X}}_1,\hfill \\ {\theta }_2(x_2)-{\theta }_2\left({\hat{x}}_2^k\right)+{(x_2-{\hat{x}}_2^k)}^{\mathrm{\top }}(-A_2^{\mathrm{\top }}{\hat{\lambda }}^k-\beta A_2^{\mathrm{\top }}{A}_2(x_2^k-{\hat{x}}_2^k))\ge 0,\mathrm{\forall }{x}_2\in {\mathcal{X}}_2,\hfill \\ {\theta }_3(x_3)-{\theta }_3\left({\hat{x}}_3^k\right)+{(x_3-{\hat{x}}_3^k)}^{\mathrm{\top }}(-A_3^{\mathrm{\top }}{\hat{\lambda }}^k-\beta A_3^{\mathrm{\top }}{A}_3(x_3^k-{\hat{x}}_3^k))\ge 0,\mathrm{\forall }{x}_3\in {\mathcal{X}}_3.\hfill \end{array}$$

Furthermore, the definition of the variable ${\hat{\lambda }}^k$ in (15) gives

$$\begin{array}{c}{(\lambda -{\hat{\lambda }}^k)}^{\mathrm{\top }}(A_1{\hat{x}}_1^k+A_2{\hat{x}}_2^k+A_3{\hat{x}}_3^k-b+A_2(x_2^k-{\hat{x}}_2^k)+A_3(x_3^k-{\hat{x}}_3^k)+\frac{1}{\beta }({\hat{\lambda }}^k-{\lambda }^k))=0,\hfill \\ \mathrm{\forall }\lambda \in {\mathcal{R}}^l.\hfill \end{array}$$

Adding the above four inequalities, rearranging terms, and using the definition of the matrix Q, the function $F(w)$, we can get the result (16). This completes the proof. □

Remark 3.2

When $max\{\parallel A_2{x}_2^k-A_2{\tilde{x}}_2^k\parallel ,\parallel A_3{x}_3^k-A_3{\tilde{x}}_3^k\parallel ,\parallel {\lambda }^k-{\tilde{\lambda }}^k\parallel \}=0$, by (15), we get $A_2{x}_2^k=A_2{\hat{x}}_2^k$, $A_3{x}_3^k=A_3{\hat{x}}_3^k$, ${\lambda }^k={\hat{\lambda }}^k$. Thus, $Q(v^k-{\hat{v}}^k)=0$. This and inequality (16) indicate that

$$\theta (x)-\theta \left({\hat{x}}^k\right)+{(w-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\hat{w}}^k\right)\ge 0,\mathrm{\forall }w\in \mathcal{W}.$$

Therefore, $w^k\in {\mathcal{W}}^{\ast }$, and the stopping criterion of MHD-ALM is reasonable.

By the definition of ${\hat{\lambda }}^k$ in (15), the updating formula of ${\tilde{\lambda }}^k$ can be represented as

$$\begin{array}{rcl}{\tilde{\lambda }}^k& =& {\lambda }^k-\beta (A_1{\tilde{x}}_1^k+A_2{\tilde{x}}_2^k+A_3{\tilde{x}}_3^k-b)\\ & =& {\lambda }^k-({\lambda }^k-{\hat{\lambda }}^k-\beta (A_2(x_2^k-{\hat{x}}_2^k)+A_3(x_3^k-{\hat{x}}_3^k)))\\ & =& {\lambda }^k-(-\beta A_2,-\beta A_3,I_l)(v^k-{\hat{v}}^k).\end{array}$$

This together with (14), (15) gives

$$\{\begin{array}{c}{x}_1^{k+1}={\tilde{x}}_1^k,\hfill \\ v^{k+1}=v^k-\alpha M(v^k-{\hat{v}}^k),\hfill \end{array}$$ 18

where the matrix M is defined as

$$M=\left(\begin{array}{ccc}{I}_l& 0& 0\\ 0& I_l& 0\\ -\beta A_2& -\beta A_3& I_l\end{array}\right).$$ 19

Now to establish the convergence results of MHD-ALM, we only need to verify that the matrices Q, M satisfy Condition 2.1 in Sect. 2.

Lemma 3.2

Let the matrices Q, M be defined as in (17) and (19). If $\alpha \in (0,0.5858)$ and Assumption 3.1 hold, then we have

• (i)the symmetric matrix $Q+Q^{\mathrm{\top }}$ is positive definite;
• (ii)the matrix $H=Q{M}^{-1}$ is symmetric and positive definite;
• (iii)the matrix $G(\alpha )=Q+Q^{\mathrm{\top }}-\alpha M^{\mathrm{\top }}HM$ is symmetric and positive definite.

Proof

(i) From the definition of Q, we have

$$Q+Q^{\mathrm{\top }}=\left(\begin{array}{ccc}2\beta A_2^{\mathrm{\top }}{A}_2& 0& -A_2^{\mathrm{\top }}\\ 0& 2\beta A_3^{\mathrm{\top }}{A}_3& -A_3^{\mathrm{\top }}\\ -A_2& -A_3& 2I_l/\beta \end{array}\right).$$

Therefore, for any $v=(x_2,x_3,\lambda )\ne 0$, we have

$$v^{\mathrm{\top }}(Q+Q^{\mathrm{\top }})v=2\beta {\parallel A_2{x}_2\parallel }^2+2\beta {\parallel A_3{x}_3\parallel }^2+2{\lambda }^{\mathrm{\top }}(A_2{x}_2+A_3{x}_3)+\frac{2}{\beta }{\parallel \lambda \parallel }^2.$$ 20

• If $(x_2,x_3)=0$, then $\lambda \ne 0$, so by (20), we get $v^{\mathrm{\top }}(Q+Q^{\mathrm{\top }})v=\frac{2}{\beta }{\parallel \lambda \parallel }^2>0$.

• If $(x_2,x_3)\ne 0$, then from (20) we get

  $$v^{\mathrm{\top }}(Q+Q^{\mathrm{\top }})v\ge \beta {\parallel A_2{x}_2\parallel }^2+\beta {\parallel A_3{x}_3\parallel }^2>0,$$

  where the first inequality follows from the inequality $2x^{\mathrm{\top }}y\ge -(\beta {\parallel x\parallel }^2+{\parallel y\parallel }^2/\beta )$, and the second inequality comes from Assumption 3.1.

(ii) From the definition of Q, M, we have

$$H=\left(\begin{array}{ccc}\beta A_2^{\mathrm{\top }}{A}_2& 0& 0\\ 0& \beta A_3^{\mathrm{\top }}{A}_3& 0\\ 0& 0& I_l/\beta \end{array}\right),$$

which is obviously positive definite by Assumption 3.1.

(iii) Similarly, from the definition of Q, M, we have

$$\begin{array}{rcl}G(\alpha )& =& \left(\begin{array}{ccc}\beta (2-2\alpha )A_2^{\mathrm{\top }}{A}_2& -\alpha \beta A_2^{\mathrm{\top }}{A}_3& -(1-\alpha )A_2^{\mathrm{\top }}\\ -\alpha \beta A_3^{\mathrm{\top }}{A}_2& \beta (2-2\alpha )A_3^{\mathrm{\top }}{A}_3& -(1-\alpha )A_3^{\mathrm{\top }}\\ -(1-\alpha )A_2& -(1-\alpha )A_3& (2-\alpha )I_l/\beta \end{array}\right)\\ & =& L^{\mathrm{\top }}R(\alpha )L,\end{array}$$

where

$$L=\left(\begin{array}{ccc}\sqrt{\beta }{A}_2& 0& 0\\ 0& \sqrt{\beta }{A}_3& 0\\ 0& 0& I_l/\sqrt{\beta }\end{array}\right),R(\alpha )=\left(\begin{array}{ccc}(2-2\alpha )I_l& -\alpha I_l& -(1-\alpha )I_l\\ -\alpha I_l& (2-2\alpha )I_l& -(1-\alpha )I_l\\ -(1-\alpha )I_l& -(1-\alpha )I_l& (2-\alpha )I_l\end{array}\right).$$

This together with Assumption 3.1 implies that we only need to prove the matrix $R(\alpha )$ is positive definite. In fact, it can be written as

$$R(\alpha )=\left(\begin{array}{ccc}2-2\alpha & -\alpha & -(1-\alpha )\\ -\alpha & 2-2\alpha & -(1-\alpha )\\ -(1-\alpha )& -(1-\alpha )& 2-\alpha \end{array}\right)\otimes I_l,$$

where ⊗ denotes the matrix Kronecker product. Thus, we only need to prove the 3 order matrix

$$\left(\begin{array}{ccc}2-2\alpha & -\alpha & -(1-\alpha )\\ -\alpha & 2-2\alpha & -(1-\alpha )\\ -(1-\alpha )& -(1-\alpha )& 2-\alpha \end{array}\right)$$

is positive definite, whose three eigenvalues are ${\lambda }_1=2-\alpha$, ${\lambda }_2=2-2\alpha -\sqrt{3{\alpha }^2-4\alpha +2}$, ${\lambda }_3=2-2\alpha +\sqrt{3{\alpha }^2-4\alpha +2}$. Then, solving the following three inequalities simultaneously

$$\{\begin{array}{c}2-\alpha >0,\hfill \\ 2-2\alpha -\sqrt{3{\alpha }^2-4\alpha +2}>0,\hfill \\ 2-2\alpha +\sqrt{3{\alpha }^2-4\alpha +2}>0,\hfill \end{array}$$

we get $0<\alpha <2-\sqrt{2}\cong 0.5858$. Therefore, the matrix G is positive definite for any $\alpha \in (0,0.5858)$. This completes the proof. □

Lemma 3.2 indicates that the matrices Q, M defined as in (17) and (19) satisfy Condition 2.1 in Sect. 2, and thus we get the following convergence results of MHD-ALM based on Theorems 3.3, 4.2, 4.5 in [28].

Theorem 3.1

(Global convergence)

Let $\{w^k\}$ be the sequence generated by MHD-ALM. Then it converges to a vector $w^{\mathrm{\infty }}$, which belongs to ${\mathcal{W}}^{\ast }$.

Theorem 3.2

(Ergodic convergence rate)

Let $\{w^k\}$ be the sequence generated by MHD-ALM, $\{{\hat{w}}^k\}$ be the corresponding sequence defined in (15). Set

$${\overline{w}}^t=\frac{1}{t}\sum _{k=0}^t{\hat{w}}^k.$$

Then, for any integer $t\ge 1$, we have

$$\theta \left({\overline{x}}^t\right)-\theta (x)+{({\overline{w}}^t-w)}^{\mathrm{\top }}F(w)\le \frac{1}{2\alpha t}{\parallel v-v^0\parallel }_H^2,\mathrm{\forall }w\in \mathcal{W}.$$ 21

Theorem 3.3

(Nonergodic convergence rate)

Let $\{w^k\}$ be the sequence generated by MHD-ALM. Then, for any $w^{\ast }\in {\mathcal{W}}^{\ast }$ and integer $t\ge 1$, we have

$${\parallel M(v^t-{\hat{v}}^t)\parallel }_H^2\le \frac{1}{c_{0}t}{\parallel v^0-v^{\ast }\parallel }_H^2,$$

where $c_0>0$ is a constant.

The term

$$\frac{1}{2\alpha t}{\parallel v-v^0\parallel }_H^2$$

on the right-hand side of (21) is used to measure the ergodic convergence rate of MHD-ALM. However, it is not only independent of the distance between the initial iterate $w^0$ and the solution set ${\mathcal{W}}^{\ast }$ but also hard to estimate due to the variable v. Therefore, inequality (21) is not a reasonable criterion to measure the nonergodic convergence rate of MHD-ALM. In the following, we shall give a refined result from the objective function and constraint condition of problem (1), which is more reasonable, accurate, and intuitive.

Lemma 3.3

Let $\{w^k\}$ be the sequence generated by MHD-ALM. Then, for any $w\in \mathcal{W}$, we have

$$\alpha (\theta (x)-\theta \left({\hat{x}}^k\right)+{(w-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\hat{w}}^k\right))\ge \frac{1}{2}({\parallel v-v^{k+1}\parallel }_H^2-{\parallel v-v^k\parallel }_H^2)+\frac{\alpha }{2}{\parallel v^k-{\hat{v}}^k\parallel }_H^2.$$ 22

Proof

The proof is similar to that of Lemma 3.1 in [28] and is omitted for brevity of this paper. This completes the proof. □

Theorem 3.4

(Refined ergodic convergence rate)

Let $\{w^k\}$ be the sequence generated by MHD-ALM, $\{{\hat{w}}^k\}$ be the sequence defined in (15). Set

$${\overline{w}}^t=\frac{1}{t}\sum _{k=0}^{t-1}{\hat{w}}^k.$$

Then, for any integer $t\ge 1$, there exists a constant $c>0$ such that

$$\{\begin{array}{c}|\theta ({\overline{x}}^t)-\theta (x^{\ast })|\le \frac{c}{2\alpha t},\hfill \\ \parallel \mathcal{A}{\overline{x}}^t-b\parallel \le \frac{c}{2\alpha t}.\hfill \end{array}$$

Proof

Choose $w^{\ast }=(x^{\ast },{\lambda }^{\ast })\in {\mathcal{W}}^{\ast }$. Then, for any $\lambda \in {\mathcal{R}}^l$, we have ${\tilde{w}}^{\ast }:=(x^{\ast },\lambda )\in \mathcal{W}$. From the definition of $F(w)$ in (9), we have

$$\begin{array}{c}{({\tilde{w}}^{\ast }-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\hat{w}}^k\right)\hfill \\ ={({\tilde{w}}^{\ast }-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\tilde{w}}^{\ast }\right)\hfill \\ ={\left(\begin{array}{c}{x}^{\ast }-{\hat{x}}^k\\ \lambda -{\hat{\lambda }}^k\end{array}\right)}^{\mathrm{\top }}\left(\begin{array}{c}-{\mathcal{A}}^{\mathrm{\top }}\lambda \\ \mathcal{A}{x}^{\ast }-b\end{array}\right)\hfill \\ =-{\lambda }^{\mathrm{\top }}(\mathcal{A}{x}^{\ast }-\mathcal{A}{\hat{x}}^k)\hfill \\ ={\lambda }^{\mathrm{\top }}(\mathcal{A}{\hat{x}}^k-b),\hfill \end{array}$$

where the first equation follows from (10). Setting $w={\tilde{w}}^{\ast }$ in (22), we get

$$\alpha (\theta \left({\hat{x}}^k\right)-\theta \left(x^{\ast }\right)-{({\tilde{w}}^{\ast }-{\hat{w}}^k)}^{\mathrm{\top }}F\left({\hat{w}}^k\right))\le \frac{1}{2}({\parallel {\tilde{v}}^{\ast }-v^k\parallel }_H^2-{\parallel {\tilde{v}}^{\ast }-v^{k+1}\parallel }_H^2)-\frac{\alpha }{2}{\parallel v^k-{\hat{v}}^k\parallel }_H^2.$$

Combining the above two inequalities gives

$$\alpha (\theta \left({\hat{x}}^k\right)-\theta \left(x^{\ast }\right)-{\lambda }^{\mathrm{\top }}(\mathcal{A}{\hat{x}}^k-b))\le \frac{1}{2}({\parallel {\tilde{w}}^{\ast }-w^k\parallel }_H^2-{\parallel {\tilde{v}}^{\ast }-v^{k+1}\parallel }_H^2)-\frac{\alpha }{2}{\parallel v^k-{\hat{v}}^k\parallel }_H^2.$$

Summing the above inequality from $k=0$ to $t-1$ yields

$$\sum _{k=0}^{t-1}\theta \left({\hat{x}}^k\right)-t\theta \left(x^{\ast }\right)-{\lambda }^{\mathrm{\top }}(\mathcal{A}\sum _{k=0}^{t-1}{\hat{x}}^k-tb)\le \frac{1}{2\alpha }{\parallel {\tilde{v}}^{\ast }-v^0\parallel }_H^2.$$

Dividing both sides of the above inequality by t, we get

$$\frac{1}{t}\sum _{k=0}^{t-1}\theta \left({\hat{x}}^k\right)-\theta \left(x^{\ast }\right)-{\lambda }^{\mathrm{\top }}(\mathcal{A}{\overline{x}}^t-b)\le \frac{1}{2\alpha t}{\parallel {\tilde{v}}^{\ast }-v^0\parallel }_H^2.$$

Then it follows from the convexity of ${\theta }_i$ ($i=1,2,3$) that

$$\theta \left({\overline{x}}^t\right)-\theta \left(x^{\ast }\right)-{\lambda }^{\mathrm{\top }}(\mathcal{A}{\overline{x}}^t-b)\le \frac{1}{2\alpha t}{\parallel \left(\begin{array}{c}{y}^0-y^{\ast }\\ {\lambda }^0-\lambda \end{array}\right)\parallel }_H^2,$$ 23

where $y^0=(x_2^0,x_3^0)$, $y^{\ast }=(x_2^{\ast },x_3^{\ast })$. Since (23) holds for any λ, we can set

$$\lambda =-\frac{\mathcal{A}{\overline{x}}^t-b}{\parallel \mathcal{A}{\overline{x}}^t-b\parallel },$$

and consequently,

$$\theta \left({\overline{x}}^t\right)-\theta \left(x^{\ast }\right)+\parallel \mathcal{A}{\overline{x}}^t-b\parallel \le \frac{1}{2\alpha t}\underset{\parallel \lambda \parallel \le 1}{sup}{\parallel \left(\begin{array}{c}{y}^0-y^{\ast }\\ {\lambda }^0-\lambda \end{array}\right)\parallel }_H^2.$$

Set

$$c=\underset{\parallel \lambda \parallel \le 1}{sup}{\parallel \left(\begin{array}{c}{y}^0-y^{\ast }\\ {\lambda }^0-\lambda \end{array}\right)\parallel }_H^2,$$

and we thus get

$$\theta \left({\overline{x}}^t\right)-\theta \left(x^{\ast }\right)+\parallel \mathcal{A}{\overline{x}}^t-b\parallel \le \frac{c}{2\alpha t}.$$

Since $x^{\ast }\in {\mathcal{X}}^{\ast }$ (here ${\mathcal{X}}^{\ast }$ denotes the solution set of problem (1)), we have

$$\theta \left({\overline{x}}^t\right)-\theta \left(x^{\ast }\right)\ge 0.$$

Combining the above two inequalities gives

$$\{\begin{array}{c}|\theta ({\overline{x}}^t)-\theta (x^{\ast })|\le \frac{c}{2\alpha t},\hfill \\ \parallel \mathcal{A}{\overline{x}}^t-b\parallel \le \frac{c}{2\alpha t},\hfill \end{array}$$

which completes the proof. □

As mentioned in Sect. 1, He et al. [12] used a simple example to show that the iterative scheme (6) may diverge for two-block separable convex programming. If we set ${\theta }_1=0$, $A_1=0$ in (1) and MHD-ALM, then MHD-ALM reduces to the method in [12]. In this case, the feasible set of α in [12] is (0,0.3670), the same as that of the method in [25] for three-block separable convex programming. Now we use this example given in [12] to show that: (i) larger values of $\alpha \in (0,2-\sqrt{2})$ can enhance the performance of MHD-ALM; (ii) MHD-ALM with $\alpha \ge 2-\sqrt{2}\cong 0.5858$ may diverge.

Example 3.1

Consider the linear equation

$$x_2+x_3=0.$$ 24

Obviously, the linear equation (24) is a special case of problem (1) with the specifications: ${\theta }_1={\theta }_2={\theta }_3=0$, $A_1=0$, $A_2=A_3=1$, $b=0$, ${\mathcal{X}}_1={\mathcal{X}}_2={\mathcal{X}}_3=\mathcal{R}$. Due to ${\theta }_1=0$, $A_1=0$, in the following we do not consider the variable $x_1$. The solution set of the corresponding mixed variation inequalities is

$${\mathcal{W}}^{\ast }=\{(x_2^{\ast },x_3^{\ast },{\lambda }^{\ast })|x_2^{\ast }+x_3^{\ast }=0,{\lambda }^{\ast }=0\}.$$

For MHD-ALM, we set $\beta =1$, the initial point $x_2^0=x_3^0=0$, ${\lambda }^0=1$, and choose

$$\alpha \in \{0.20,0.21,0.22,\dots ,0.55\}.$$

The stopping criterion is set as

$$max\left\{\right|x_2^k+x_3^k|,|{\lambda }^k\left|\right\}\le {10}^{-5},$$

or the number of iterations exceeds 10,000.

The numerical results are graphically shown in Fig. 1, which illustrates that when $\alpha \le 0.5$, the number of iterations is descending with respect to α, while when $\alpha \in (0.5,0.55)$, the number of iterations increases quickly. Therefore, $\alpha =0.5$ is optimal for this problem, and larger values of α in its feasible set indeed can enhance the numerical performance of MHD-ALM. Of course, some extreme values, such as the values near the upper bound 0.5858, are not appropriate choices.

Figure 1.

Sensitivity test on the step size α

Now, we show that MHD-ALM may diverge for $\alpha \ge 2-\sqrt{2}$. By some simple manipulations, the iterative scheme of (13) and (14) for problem (24) can be written in the following compact form:

$$\left(\begin{array}{c}{x}_2^{k+1}\\ x_3^{k+1}\\ {\lambda }^{k+1}\end{array}\right)=P(\alpha )\left(\begin{array}{c}{x}_2^k\\ x_3^k\\ {\lambda }^k\end{array}\right),$$ 25

where

$$P(\alpha )=\left(\begin{array}{ccc}1-\alpha & -\alpha & \alpha \\ -\alpha & 1-\alpha & \alpha \\ \alpha & \alpha & 1-2\alpha \end{array}\right).$$

Three eigenvalues of the matrix $P(\alpha )$ are

$${\lambda }_1=1,{\lambda }_2=1-2\alpha +\sqrt{2}\alpha ,{\lambda }_3=1-2\alpha -\sqrt{2}\alpha .$$

Now let us consider the following two cases:

(1) For any $\alpha >2-\sqrt{2}$, we have

$${\lambda }_3=1-(2+\sqrt{2})\alpha <1-(2+\sqrt{2})(2-\sqrt{2})=-1.$$

Then $\rho (P(\alpha ))>1$ for $\alpha >2-\sqrt{2}$, where $\rho (P(\alpha ))$ is the spectral radius of $P(\alpha )$. Hence, the iterative scheme (25) with $\alpha >2-\sqrt{2}$ is divergent for this problem.

(2) For $\alpha =2-\sqrt{2}$, by eigenvalue decomposition, the matrix $P(2-\sqrt{2})$ can be decomposed as

$$P(2-\sqrt{2})=VD{V}^{\mathrm{\top }},$$

where

$$V=\left(\begin{array}{ccc}-1/2& -\sqrt{2}/2& 1/2\\ -1/2& \sqrt{2}/2& 1/2\\ \sqrt{2}/2& 0& \sqrt{2}/2\end{array}\right),D=\left(\begin{array}{ccc}-1& 0& 0\\ 0& 1& 0\\ 0& 0& 4\sqrt{2}-5\end{array}\right).$$

Thus, by (25), we get

$$\left(\begin{array}{c}{x}_2^{k+1}\\ x_3^{k+1}\\ {\lambda }^{k+1}\end{array}\right)=\left(\begin{array}{c}-\frac{\sqrt{2}({(-1)}^k-{(4\sqrt{2}-5)}^k)}{4}\\ -\frac{\sqrt{2}({(-1)}^k-{(4\sqrt{2}-5)}^k)}{4}\\ \frac{{(-1)}^k}{2}+\frac{{(4\sqrt{2}-5)}^k}{2}\end{array}\right),$$

from which it holds that

$$\left(\begin{array}{c}{x}_2^{2k}\\ x_3^{2k}\\ {\lambda }^{2k}\end{array}\right)\to \left(\begin{array}{c}-\frac{\sqrt{2}}{4}\\ -\frac{\sqrt{2}}{4}\\ \frac{1}{2}\end{array}\right),\left(\begin{array}{c}{x}_2^{2k+1}\\ x_3^{2k+1}\\ {\lambda }^{2k+1}\end{array}\right)\to \left(\begin{array}{c}\frac{\sqrt{2}}{4}\\ \frac{\sqrt{2}}{4}\\ -\frac{1}{2}\end{array}\right).$$

Hence, the iterative scheme (25) with $\alpha =2-\sqrt{2}$ is also divergent for this problem. Overall, $2-\sqrt{2}$ is the optimal upper bound of the step size α in MHD-ALM.

Now let us consider some special cases and extensions of MHD-ALM:

(1) Problem (1) with ${\theta }_1=0$, $A_1=0$ reduces to two-block separable convex programming, which can be solved by MHD-ALM as follows:

$$\{\begin{array}{c}{\tilde{x}}_2^k=argmin\{{\mathcal{L}}_{\beta }(x_2,x_3^k,{\lambda }^k)|x_2\in {\mathcal{X}}_2\},\hfill \\ {\tilde{x}}_3^k=argmin\{{\mathcal{L}}_{\beta }(x_2^k,x_3,{\lambda }^k)|x_3\in {\mathcal{X}}_3\},\hfill \\ {\tilde{\lambda }}^k={\lambda }^k-\beta (A_2{\tilde{x}}_2^k+A_3{\tilde{x}}_3^k-b),\hfill \end{array}$$ 26

and

$$\{\begin{array}{c}{x}_2^{k+1}=x_2^k-\alpha (x_2^k-{\tilde{x}}_2^k),\hfill \\ x_3^{k+1}=x_3^k-\alpha (x_3^k-{\tilde{x}}_3^k),\hfill \\ {\lambda }^{k+1}={\lambda }^k-\alpha ({\lambda }^k-{\tilde{\lambda }}^k).\hfill \end{array}$$ 27

Since the iterative scheme (26), (27) is a special case of MHD-ALM, it is convergent for any $\alpha \in (0,2-\sqrt{2})$. Furthermore, by Example 3.1, $2-\sqrt{2}$ is the optimal upper bound of the constant step size α in (26), (27).

(2) Similarly, problem (1) with ${\theta }_3=0$, $A_3=0$ also reduces to two-block separable convex programming, which can be solved by MHD-ALM as follows:

$$\{\begin{array}{c}{\tilde{x}}_1^k=argmin\{{\mathcal{L}}_{\beta }(x_1,x_2^k,{\lambda }^k)|x_1\in {\mathcal{X}}_1\},\hfill \\ {\tilde{x}}_2^k=argmin\{{\mathcal{L}}_{\beta }({\tilde{x}}_1^k,x_2,{\lambda }^k)|x_2\in {\mathcal{X}}_2\},\hfill \\ {\tilde{\lambda }}^k={\lambda }^k-\beta (A_1{\tilde{x}}_1^k+A_2{\tilde{x}}_2^k-b),\hfill \end{array}$$ 28

and

$$\{\begin{array}{c}{x}_1^{k+1}={\tilde{x}}_1^k,\hfill \\ x_2^{k+1}=x_2^k-\alpha (x_2^k-{\tilde{x}}_2^k),\hfill \\ {\lambda }^{k+1}={\lambda }^k-\alpha ({\lambda }^k-{\tilde{\lambda }}^k).\hfill \end{array}$$ 29

Following a similar analysis procedure, we can prove that the iterative scheme (28), (29) is convergent for any $\alpha \in (0,1)$.

(3) Extending MHD-ALM to solve four-block separable convex programming:

$$min\{\sum _{i=1}^4{\theta }_i(x_i)|\sum _{i=1}^4{A}_i{x}_i=b,x_i\in {\mathcal{X}}_i,i=1,2,3,4\},$$

we can get the following iterative scheme:

$$\{\begin{array}{c}{\tilde{x}}_1^k=argmin\{{\mathcal{L}}_{\beta }(x_1,x_2^k,x_3^k,x_4^k,{\lambda }^k)|x_1\in {\mathcal{X}}_1\},\hfill \\ {\tilde{x}}_2^k=argmin\{{\mathcal{L}}_{\beta }({\tilde{x}}_1^k,x_2,x_3^k,x_4^k,{\lambda }^k)|x_2\in {\mathcal{X}}_2\},\hfill \\ {\tilde{x}}_3^k=argmin\{{\mathcal{L}}_{\beta }({\tilde{x}}_1^k,x_2^k,x_3,x_4^k,{\lambda }^k)|x_3\in {\mathcal{X}}_3\},\hfill \\ {\tilde{x}}_4^k=argmin\{{\mathcal{L}}_{\beta }({\tilde{x}}_1^k,x_2^k,x_3^k,x_4,{\lambda }^k)|x_4\in {\mathcal{X}}_4\},\hfill \\ {\tilde{\lambda }}^k={\lambda }^k-\beta ({\mathcal{A}}_1{\tilde{x}}^k-b),\hfill \end{array}$$ 30

and

$$\{\begin{array}{c}{x}_1^{k+1}={\tilde{x}}_1^k,\hfill \\ x_2^{k+1}=x_2^k-\alpha (x_2^k-{\tilde{x}}_2^k),\hfill \\ x_3^{k+1}=x_3^k-\alpha (x_3^k-{\tilde{x}}_3^k),\hfill \\ x_4^{k+1}=x_4^k-\alpha (x_4^k-{\tilde{x}}_4^k),\hfill \\ {\lambda }^{k+1}={\lambda }^k-\alpha ({\lambda }^k-{\tilde{\lambda }}^k).\hfill \end{array}$$ 31

With similar reasoning, we can prove that the iterative scheme (30), (31) is convergent for any $\alpha \in (0,2-\sqrt{3})$.

Numerical results

In this section, we demonstrate the practical efficiency of MHD-ALM by applying it to recover low-rank and sparse components of matrices from incomplete and noisy observation. Furthermore, to give more insight into the behavior of MHD-ALM, we compare it with the full Jacobian decomposition of the augmented Lagrangian method (FJD-ALM) [12] and the proximal partially parallel splitting method with constant step size (PPPSM) [25]. All experiments are performed on a Pentium(R) Dual-Core CPU T4400@2.2 GHz PC with 4 GB of RAM running on 64-bit Windows operating system.

The mathematical model of recovering low-rank and sparse components of matrices from incomplete and noisy observation is [20]

$$\begin{array}{rl}& \underset{L,S,U}{min}\{{\parallel L\parallel }_{\ast }+\tau {\parallel S\parallel }_1+\frac{1}{2\mu }{\parallel P_{\mathrm{\Omega }}(U)\parallel }^2\},\\ & \text{s.t. }L+S+U=D,\end{array}$$ 32

where $D\in {\mathcal{R}}^{p\times q}$ is a given matrix, $\tau >0$ is a balancing parameter, $\mu >0$ is a penalty parameter, $\mathrm{\Omega }\subseteq \{1,2,\dots ,p\}\times \{1,2,\dots ,q\}$ is the index set of the observable entries of D, and $P_{\mathrm{\Omega }}:{\mathcal{R}}^{p\times q}\to {\mathcal{R}}^{p\times q}$ is the projection operator defined by

$${[P_{\mathrm{\Omega }}(X)]}_{ij}=\{\begin{array}{cc}{X}_{ij},\hfill & \text{if }(i,j)\in \mathrm{\Omega },\hfill \\ 0,\hfill & \text{otherwise},\hfill \end{array}1\le i\le p,1\le j\le q.$$

Problem (32) is a concrete model of the generic problem (1), and MHD-ALM is applicable. For this problem, the three minimization problems in (13) all admit closed-form solutions, which can be found in [20].

Simulation example

We generate the synthetic data of (32) in the same way as [5, 20]. Specifically, let $L^{\ast }$, $S^{\ast }$ be the low-rank matrix, the sparse matrix, respectively, and rr, spr, and sr represent the ratios of the low-rank ratio of $L^{\ast }$ (i.e., $r/p$), the number of nonzero entries of $S^{\ast }$ (i.e., ${\parallel S^{\ast }\parallel }_0/(pq)$), and the observed entries (i.e., $|\mathrm{\Omega }/(pq)$), respectively. The observed part of the matrix D is generated by the following Matlab scripts, in which b is the vectorization of D:

$$\begin{array}{c}\mathtt{X}=\mathtt{r}\mathtt{a}\mathtt{n}\mathtt{d}\mathtt{n}(\mathtt{m},\mathtt{r}\mathtt{r}\ast \mathtt{m})\ast \mathtt{r}\mathtt{a}\mathtt{n}\mathtt{d}\mathtt{n}(\mathtt{r}\mathtt{r}\ast \mathtt{m},\mathtt{n});\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}\mathtt{a}=\mathtt{r}\mathtt{a}\mathtt{n}\mathtt{d}\mathtt{p}\mathtt{e}\mathtt{r}\mathtt{m}(\mathtt{m}\ast \mathtt{n});\hfill \\ \mathtt{p}=\mathtt{r}\mathtt{o}\mathtt{u}\mathtt{n}\mathtt{d}(\mathtt{s}\mathtt{r}\ast \mathtt{m}\ast \mathtt{n});\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}\mathtt{a}=\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}\mathtt{a}(\mathtt{1}:\mathtt{p});\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}\mathtt{a}=\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}{\mathtt{a}}^{\prime };\hfill \\ \mathtt{Y}=\mathtt{z}\mathtt{e}\mathtt{r}\mathtt{o}\mathtt{s}(\mathtt{m},\mathtt{n});\mathtt{L}=\mathtt{r}\mathtt{o}\mathtt{u}\mathtt{n}\mathtt{d}(\mathtt{m}\mathtt{i}\mathtt{n}(\mathtt{s}\mathtt{p}\mathtt{r},\mathtt{s}\mathtt{r})\ast \mathtt{m}\ast \mathtt{n});\mathtt{n}\mathtt{z}\mathtt{p}=\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}\mathtt{a}(\mathtt{1}:\mathtt{L});\hfill \\ \mathtt{Y}(\mathtt{n}\mathtt{z}\mathtt{p})=(\mathtt{r}\mathtt{a}\mathtt{n}\mathtt{d}(\mathtt{L},\mathtt{1})\ast \mathtt{2}-\mathtt{1})\ast \mathtt{500};\mathtt{b}=\mathtt{X}+\mathtt{Y};\hfill \\ \mathtt{b}=\mathtt{b}(\mathtt{O}\mathtt{m}\mathtt{e}\mathtt{g}\mathtt{a});\mathtt{s}\mathtt{i}\mathtt{g}\mathtt{m}\mathtt{a}=\mathtt{0.001};\mathtt{b}=\mathtt{b}+\mathtt{s}\mathtt{i}\mathtt{g}\mathtt{m}\mathtt{a}\ast \mathtt{r}\mathtt{a}\mathtt{n}\mathtt{d}\mathtt{n}(\mathtt{p},\mathtt{1});\hfill \end{array}$$

In this experiment, we set $\tau =1/\sqrt{p}$, $\mu =\sqrt{p+\sqrt{8p\sigma }}/10$, $\beta =\frac{0.06|\mathrm{\Omega }|}{{\parallel P_{\mathrm{\Omega }}(D)\parallel }_1}$, the initial iterate $(L^0,S^0,U^0,{\lambda }^0)=(0,0,0,0)$, and use the stopping criterion

$$max\{\frac{\parallel {\tilde{L}}^k-L^k\parallel }{1+\parallel L^k\parallel },\frac{\parallel {\tilde{S}}^k-S^k\parallel }{1+\parallel S^k\parallel }\}<{10}^{-4},$$ 33

or the number of iterations exceeds 500.

The parameters in the three tested methods are listed as follows:

• FJD-ALM: $\alpha =0.38$.

• PPPSM: $S_i=0$, $H=\beta I$, $Q=I$, $\alpha =0.36$.

• MHD-ALM: $\alpha =0.5$.

In Tables 1 and 2, we report the numerical results of three tested methods, in which the number of iterations (denoted by ‘Iter.’), the elapsed CPU time in seconds (denoted by ‘Time’), the relative error of the recovered low-rank matrix, and the relative error of the recovered sparse matrix are reported when the stopping criterion (33) is satisfied.

Table 1.

Numerical comparisons between different algorithms for $p=q=500$

rr	spr	sr	Method	Iter.	Time	$\frac{\parallel L^k-L^{\ast }\parallel }{\parallel L^{\ast }\parallel }$	$\frac{\parallel S^k-S^{\ast }\parallel }{\parallel S^{\ast }\parallel }$
0.05	0.05	0.9	FJD-ALM	97	7.42	5.7325e−04	9.7830e−05
			PPPSM	133	14.70	2.4034e−04	3.6358e−05
			MHD-ALM	44	5.17	7.5910e−04	1.5025e−04
0.05	0.05	0.6	FJD-ALM	120	11.03	1.6528e−03	1.3102e−04
			PPPSM	181	17.62	5.4329e−04	5.1513e−05
			MHD-ALM	75	6.76	1.7148e−03	1.1343e−04
0.1	0.1	0.9	FJD-ALM	127	11.39	2.2566e−03	2.2374e−04
			PPPSM	175	17.79	5.2215e−04	6.1755e−05
			MHD-ALM	80	6.86	1.5097e−03	1.5994e−04
0.1	0.1	0.8	FJD-ALM	188	17.45	4.2439e−03	2.7536e−04
			PPPSM	222	20.78	1.2697e−03	9.5339e−05
			MHD-ALM	119	10.15	2.8338e−03	1.9242e−04
0.1	0.15	0.9	FJD-ALM	209	20.18	3.9031e−03	2.3423e−04
			PPPSM	222	25.95	1.3444e−03	9.5133e−05
			MHD-ALM	120	12.37	3.2420e−03	2.0704e−04

Table 2.

Numerical comparisons between different algorithms for $p=q=1000$

rr	spr	sr	Method	Iter.	Time	$\frac{\parallel L^k-L^{\ast }\parallel }{\parallel L^{\ast }\parallel }$	$\frac{\parallel S^k-S^{\ast }\parallel }{\parallel S^{\ast }\parallel }$
0.05	0.05	0.9	FJD-ALM	105	93.16	2.6808e−04	6.1154e−05
			PPPSM	129	131.08	9.9216e−05	2.3683e−05
			MHD-ALM	46	46.82	3.5053e−04	9.5144e−05
0.05	0.05	0.6	FJD-ALM	139	117.67	7.1439e−04	6.8845e−05
			PPPSM	147	138.08	2.1260e−04	3.4427e−05
			MHD-ALM	57	53.31	5.9883e−04	9.8047e−05
0.1	0.1	0.9	FJD-ALM	119	100.13	9.3082e−04	1.6381e−04
			PPPSM	188	179.91	2.3296e−04	4.2820e−05
			MHD-ALM	61	57.04	8.9591e−04	1.6198e−04
0.1	0.1	0.8	FJD-ALM	133	114.80	1.2760e−03	1.8083e−04
			PPPSM	192	182.46	3.7423e−04	5.2624e−05
			MHD-ALM	76	67.08	1.3497e−03	1.6979e−04
0.1	0.15	0.9	FJD-ALM	139	117.89	1.9819e−03	2.3040e−04
			PPPSM	206	188.47	4.4773e−04	5.7452e−05
			MHD-ALM	84	76.34	1.6396e−03	1.8795e−04

Numerical results in Tables 1 and 2 indicate that: (i) all methods successfully solved all the tested cases; (ii) both MHD-ALM and PPPSM perform better than FJD-ALM, and MHD-ALM performed the best. The reason maybe that FJD-ALM updates all the primal variables in a parallel manner, while PPPSM and MHD-ALM update $x_2$, $x_3$ based on the newest updated $x_1$ to accelerate the convergence speed. Furthermore, the step size α of MHD-ALM is larger than that of PPPSM, and the latter is larger than that of FJD-ALM. Therefore, larger values of α can enhance the efficiency of the corresponding method.

Application example

In this subsection, we apply the proposed method to solve the video background extraction problem with missing and noisy data [29]. There is a video taken in an airport, which consists of 200 grayscale frames with each frame having $144\times 176$ pixels. We need to separate its background and foreground. Vectorizing all frames of the video, we get a matrix $D\in {\mathcal{R}}^{25\text{,}344\times 50}$, and each column represents a frame. Let $L,S\in {\mathcal{R}}^{25\text{,}344\times 200}$ be the matrix representations of its background and foreground (i.e., the moving objects), respectively. Then the rank of L is equal to one exactly, and S should be sparse with only a small number of nonzero elements. We consider only a fraction entries of D can be observed, whose indices are collected in the index set Ω. Then the background extraction problem with missing and noisy data can be casted as problem (32). In the experiment, the parameters in MHD-ALM are set as $\alpha =0.5$, $\beta =\frac{0.005|\mathrm{\Omega }|}{{\parallel P_{\mathrm{\Omega }}(D)\parallel }_1}$, the parameters in (32) are set as $\tau =1/\sqrt{p}$, $\mu =0.01$, and the initial iterate $(L^0,S^0,U^0,{\lambda }^0)=(0,0,0,0)$. We use the same stopping criterion as (33) with the tolerance 10⁻².

Figure 2 displays the separation results of the 10th and 125th frames of the video with $\mathtt{sr}=0.7$, which indicate that the proposed MHD-ALM successfully separates the background and foreground of the two frames.

Figure 2.

The 10th and 125th frames of the clean video and the corresponding corrupted frames with $\mathtt{sr}=0.7$ (the top and third lines); the extracted background and foreground by MHD-ALM (the second and fourth lines)

Conclusion

In this paper, a hybrid decomposition of the augmented Lagrangian method is proposed for three-block separable convex programming, whose most important characteristic is that its correction step adopts a constant step size. We showed that the optimal upper bound of the constant step size is $2-\sqrt{2}$. Preliminary numerical results indicate that the proposed method is more efficient than similar methods in the literature.

The following two issues deserve further researching: (i) Due to Condition 2.1 being only a sufficient condition to ensure the convergence of the ProAlo, is 1 the optimal upper bound of α in the iterative scheme (28), (29)? Similarly, is $2-\sqrt{2}$ the optimal upper bound of α in the iterative scheme (30), (31)? (ii) If we choose different step sizes for $x_2$, $x_3$, λ in the correction step of MHD-ALM, the feasible set of these step sizes needs more discussion.

Authors’ contributions

The first author provided the problems and gave the proof of the main results, and the second author finished the numerical experiment. All authors read and approved the final manuscript.

Funding

This work is supported by the National Natural Science Foundation of China and Shandong Province (No. 11671228, 11601475, ZR2016AL05).

Competing interests

The authors declare that there are no competing interests.