• No results found

The modified accelerated Bregman method for regularized basis pursuit problem

N/A
N/A
Protected

Academic year: 2020

Share "The modified accelerated Bregman method for regularized basis pursuit problem"

Copied!
17
0
0

Loading.... (view fulltext now)

Full text

(1)

R E S E A R C H

Open Access

The modified accelerated Bregman method

for regularized basis pursuit problem

Yajun Xie

1,2

, Yifen Ke

1

and Changfeng Ma

1*

*Correspondence:

[email protected]

1School of Mathematics and

Computer Science, Fujian Normal University, Fuzhou, 350007, P.R. China

Full list of author information is available at the end of the article

Abstract

In this paper, a modified accelerated Bregman method (MABM) for solving the regularized basis pursuit problem is considered and analyzed in detail. This idea is based on the fact that the linearized Bregman method (LBM) proposed by Osheret al.

(Multiscale Model. Simul. 4(2):460-489, 2005) is equivalent to a gradient descent method applied to a certain dual formulation which converges to the solution of the regularized basis pursuit problem. The proposed method is based on an

extrapolation technique which is used in accelerated proximal gradient methods presented by Nesterov (Dokl. Akad. Nauk SSSR 269:543-547, 1983). It is verified that the modified accelerated Bregman method (MABM) is equivalent to the

corresponding accelerated augmented Lagrangian method (AALM). The theoretical results confirm that the method has a rapid convergence rate ofO(1/(k+ 1)2). Keywords: compressed sensing; linear constraint; Bregman method; modified accelerated method; convergence rate

1 Introduction

Compressed sensing, an interesting research field involving how to obtain information, acts as a crucial role in signal processing, image restoration,etc.The origin of its name is based on the idea of encoding a large sparse signal exploiting a relatively small number of linear measurements, then decoding the signal either through minimizing the -norm or utilizing a combinational algorithm, a greedy algorithm,etc.It resulted from elementary analysis and approximation theory by Kashin [], but was brought into the forefront by the work of Candéset al. [–] and Donoho [] who constructed specific methods and showed their application prospects. The concrete model considered in compressed sensing is the so-called basis pursuit problem [, ]

min

xnx subject toAx=b, (.)

whereAm×n,bm. It can be deemed a classical transform in the compressed sensing field into the following NP-hard discrete optimization problem:

min

xnx subject toAx=b, (.)

whereAm×n,bm, ·

denotes the number of nonzero elements.

In many practical circumstances, the data or signals are frequently represented by a few matrices, which, in fact, is convenient for data processing and analysis. However, the data

(2)

are often given with damage, loss or noise pollution,etc.In this case, how to restore the original data is among the practical difficulties faced when solving the matrix reconstruc-tion problem. Being similar to handling the original signal (vector form) in the compressed sensing field, matrix remodeling refers to an original compressible or sparse representa-tion matrix which can be exactly or approximately reconstructed with a proper model. The matrix reconstruction problem can be classified with matrix completion (MC) [, ] and matrix recovery (MR) [, ], which is met in various areas,e.g., a famous application is the Netflix system [] in matrix completion; while the matrix recovery problem orig-inates from face image processing, background modeling and so forth, it can be applied to image alignment as by Penget al.[]. Generally speaking, the matrix reconstruction problem is written as

min rank(X) subject toXC, (.)

whereXm×nandCis a convex set. Normally, the following affine constrained mini-mization problem can be considered:

min rank(X) subject toA(X) =b, (.)

where the linear mapA:m×nd,bdis a given vector.

The model emerges in many fields, such as determining a low-order controller for a plant [] and a minimum order linear system realization [], and solving low-dimensional Euclidean embedding problems []. A natural generalization in the sense of compressed sensing, (.) can be formulated as the nuclear norm minimization problem

minX∗ subject toA(X) =b, (.)

where · ∗denotes the sum of singular values of the corresponding matrix. The matrix

completion problem

min rank(X) subject toXi,j=Mi,j, (i,j)∈, (.) whereXm×n,Mm×n,is a certain index set, is considered as a special case of (.). The idea is inspired by the method presented in [, ]etc.Now, we consider the so-called regularized basis pursuit problem

min

xnx+ μ

x

 subject toAx=b. (.)

Adding the penalized term of the constraint condition to the objection function of the regularized basis pursuit problem, we obtain

min

xnx+ μ

x

 +

λ

Axb

. (.)

(3)

is also the solution of (.). This exact regularization property of (.) was studied in [, ]. Problem (.) has a -norm in the regularizer term, thus it is considered less sensitive to noise than the basis pursuit problem (.).

To solve (.), a linearized Bregman iteration method was presented in [], which was motivated by []. The idea of the linearized Bregman method is to combine a fixed point iteration with the Bregman method in [, ], but the linearized Bregman method is a bit slow in the convergence result. Hence, many accelerated schemes have been brought up in various theses. For example, in [] the kicking technique was introduced. Yin [] verified that the linearized Bregman method is equivalent to a gradient descent method applied to the Lagrangian dual problem of (.). They improved the linearized Bregman method, utilizing the Barzilai-Borwein line of searching [], nonlinear conjugate gradi-ent methods, and the method of limited memory BFGS []. Huanget al.[] proposed an accelerated linearized Bregman method which is based on the fact that the linearized Bregman method is equivalent to the gradient descent method applied to a Lagrangian dual of problem (.) and the extrapolation technique, which is adopted in the acceler-ated proximal gradient methods [] proposed by Nesterovet al.To solve problem (.), Goldsteinet al.[] used an alternating split technique and its Lagrange dual problem.

Based on these studies, we extend the accelerated Bregman method to solve (.) in which the object function might be not differentiable but have the ‘good’ performance (convex and continuous). We put forward a new improvement formula based on the accel-erated Bregman method. It can be proved to have the property that the modified Bregman method is equivalent to the corresponding accelerated augmented Lagrangian method, and the latter has a rapid convergence rate which can be deemed to be an improvement of [].

The rest of this article is organized as follows. In Section , we sketch the original Bregman method and the linearized Bregman method which are useful for the subse-quent analysis. In Section , we introduce the accelerated augmented Lagrangian method (AALM), and we present our modified accelerated Bregman method (MABM). Section  is devoted to the convergence of the regularized basis pursuit problem and here we ana-lyze the error bound of the MABM in detail. In Section , we give some conclusions and discuss the research plans for our future work.

2 The original Bregman method and its linearized form

The Bregman method was introduced into image processing by Osheret al.in [] for solving the total-variation (TV)-based image restoration problems. Letϕ(·) be a Bregman function, the Bregman distance [] of the pointuto the pointvis defined as

Dpϕ(u,v) :=ϕ(u) –ϕ(v) –p,uv, (.)

wherep∂ϕ(v), the subdifferential ofϕatv. Note that updating the formula for (.), this Bregman iterative regularization procedure recursively solves

xk+:=arg min

x D pk

ϕ

x,xk+λ

Axb

 (.)

fork= , , . . . , starting withx= ,p= . Since (.) is a convex programming problem,

the optimality conditions can be given by

(4)

from which we obtain the updated formula

pk+:=pk+λATbAxk+. (.)

Hence, the Bregman iterative scheme is given by

xk+:=arg min

xDp

k

ϕ (x,xk) +λAxb,

pk+:=pk+λAT(bAxk+). (.)

By the following lemma, we get the equivalent form of (.)

xk+:=arg min(x) +λAxbk,

bk+:=bk+ (bAxk+), (.)

starting withx= ,b=b.

For the sake of the requirement for the whole theoretical analysis, in the following, we propose some significant equivalence results, and we give the detailed proofs.

Lemma . The Bregman iterative scheme,which is given by(.),will obtain the same

optimum point in the first term as(.)if

pk=λATbkb (.)

holds,whereλis a certain positive constant.

Proof From the first formula of (.) and the definition of Bregman distance (.), we get

xk+=arg min

x ϕ(x) –ϕ

xkpk,xxk+λ

Axb

 

=arg min

x ϕ(x) –

λATbkb,x+λ

Axb

 

=arg min

x ϕ(x) –λ

bkb,Axb+λ

Axb

 +

λ

b kb

=arg min

x ϕ(x) –

λ

Axb k

,

therefore, we complete the proof.

From the discussion above, we can give a crucial conclusion.

Theorem . The original Bregman iterative scheme(.)is equivalent to its variant(.).

Proof By induction, in fact, we only need to verify that (.) holds.

Ifk= ,p=λAT(bb) = , (.) holds by the initial conditionsp=  andb=b.

Now, we suppose that (.) holds fork– . Then

pk=pk–+λATbAxk

(5)

=λATbk––b+bAxk

=λATbkb,

where the first equality is from the second term of (.), and the third equality is from the second term of (.). Therefore, the original Bregman iterative scheme (.) is equivalent

to its variant (.).

Noting that [, , ] and the references therein, it was argued that the Bregman iter-ative method is equivalent to the augmented Lagrangian method. The significance of this statement will be demonstrated in our later analysis in Section .

For the following analysis, we define the Lagrangian function of (.),

L(x,σ) :=ϕ(x) +σ,bAx,

where σm is the Lagrangian multiplier. The corresponding augmented Lagrangian function can be expressed as

L(x,σ,λ) :=ϕ(x) +σ,bAx+λ

Axb

, (.)

whereϕ(x) :=x+μxandλAxb

is the penalty term.

The augmented Lagrangian iterative scheme is

xk+:=arg min

(x) +σk,bAx+λAxb,

σk+:=σk+λ(bAxk+), (.)

starting fromσ= .

Lemma . The first item of the iterative sequence{xk}of(.)and that of(.)are equal if

bk=b+

λσ (.)

holds.

Proof From the first formula of (.) and (.), we get

xk+=arg min

x ϕ(x) +

λ

Axbσ k

λ

=arg min

x ϕ(x) +

λ

Axb

 +

σk,bAx.

The constant of the objective function does not affect the optimum point, so by com-paring with the above equations, we get the conclusion.

Theorem . The augmented Lagrangian iterative scheme (.) is equivalent to the

(6)

Proof It is not difficult to see that the proof is the same as that of Theorem .. Similarly, by the mathematical induction, we simply show that (.) holds.

Ifk= ,b=b+σ

λ, (.) holds by the initial conditionsσ

=  andb=b. Now, we

suppose that (.) holds fornk– . Then, whenn=k,

bk=bk–+bAxk=b+

λσ

k–+bAxk

=b+

λσ

k–+λ

σkσk–=b+

λσ

k,

where the first equality is from the second term of (.), the second equality has its roots in induction, and the third equality is derived from the second term of (.). Therefore, the augmented Lagrangian iterative scheme (.) is equivalent to the Bregman iterative method variant (.). Moreover, we can get the equivalence of (.) and (.) from the

two theorems above.

For solving the subproblem of Bregman iterative method (.), different algorithms were conceived in [, , ], however, these methods have to perform significant iterations for solving the subproblem. In order to overcome the difficulties, the linearized Bregman method is obtained by linearizing the last term in (.) intoAT(Axkb),x(whereλ= ) and adding thel-proximity term γxxk. The concrete scheme is

xk+:=arg min

xDp

k

ϕ (x,xk) +AT(Axkb),x+γxxk,

pk+:=pk+AT(Axk+b) –

γ(xx

k). (.)

By the optimality conditions, we obtain the following formula:

∈∂ϕxk+–pkATbAxk+ 

γ

xk+–xk.

That is, for the second term of (.)pk+∂ϕ(xk+). In [, , ], the linearized Bregman

method was analyzed; asγ <A(where·denotes the spectral norm of the

correspond-ing matrix) the iterates of the linearized Bregman method converge to the solution of the regularized basis pursuit problem

min

xnx+

 γx

 subject toAx=b.

It has appeared in the accelerated Bregman algorithm in recent years, such as in []etc. But we shall argue that the accelerated Bregman method has large room to advance. We give some valid improvements on these accelerated Bregman methods. It can be verified that the theoretical result as regards the proposed method has a rapid convergence rate of O(/(k+ )).

3 The modified accelerated Bregman method

In [], the linearized Bregman algorithm could be written as follows.

(7)

Step . Input:J(·),H(·),γ > ; initial point:x,p.

Step . Initialize:k= , letx= andp= .

Step . Computexk+:=arg min

xDp

k

ϕ (x,xk) +∇H(xk),x+γxxk.

Step . Setpk+:=pk–∇H(xk) –γ(xk+–xk). Step . Setk:=k+ , go to step .

For the iterative scheme above,H(x) =Axb. Next, we give its equivalence form from the following lemma.

Lemma . The linearized Bregman method(LBM)in Algorithm.is equivalent to the

iterative scheme

xk+:=arg min(x) +γxγu

k ,

uk+:=uk+AT(bAxk+), (.)

starting from u=ATb,where uk=pk+AT(bAxk) +xk

γ.

Proof From step  of Algorithm ., we have

pk+=pk+ATbAxk– 

γ

xk+–xk=· · ·= k

i=

ATbAxi– 

γx

k+. (.)

Thus, we denote

uk:=pk++ 

γx

k+=pk+ATbAxk+

γx

k= k

i=

ATbAxi;

then we simplify step  of Algorithm .,

xk+=arg min

x ϕ(x) +

pk,xATbAxk,x+  γxx

k 

=arg min

x ϕ(x) +  γ

xγ pk+ATbAxk+x k

γ

 

=arg min

x ϕ(x) + 

γxγu

k

.

On the other hand,

uk+=pk++ATbAxk++ 

γx

k+

=pk+ATbAxk– 

γ

xk+–xk+ATbAxk++x k+

γ

=pk+ATbAxk+ 

γx

k+ATbAxk+

=uk+ATbAxk+,

where the second equality is from (.). So, step  and step  in Algorithm . can be

(8)

Yinet al.presented all kinds of techniques, for example, line search, and L-BFGS and BB steps, to accelerate the linearized Bregman method. It is interesting that for the latter in [] the accelerated linearized Bregman algorithm is argued for as follows.

Algorithm .(Accelerated linearized Bregman method (ALBM))

Step . Initialize:x=x=p=p= ,γ > ,λ> ,k= .

Step . Computexk+:=arg min

xDp

k

ϕ(x,xk) +λAT(Axkb),x+γxxk.

Step . Setpk+:=pkλAT(Axkb) – γ(xk+–xk). Step . Setxk+:=α

kxk++ ( –αk)xk. Step . Setpk+:=α

kpk++ ( –αk)xk. Step . Setk:=k+ , go to step .

These methods motivated us to consider the following algorithm, and its acceleration idea is based on the extrapolation technique proposed by Nesterov in [, ]; see also the references therein.

Algorithm .(Modified accelerated Bregman method (MABM))

Step . Initialize:x=p=p= ,t

= ,λ> ,k= .

Step . Computexk+:=arg min

xDp

k

ϕ(x,xk) +λAxb.

Step . Setpk+:=pk+λAT(bAxk). Step . Setpk+:= ( ––tk

tk+ )p

k++–tk

tk+ p

k.

Step . Settk+=(

 + t

k+ ). Step . Setk:=k+ , go to step .

The basic idea of the equivalence between MABA and the corresponding AALM can be traced back to []. Especially, we can see that our updated iterative forpkis obviously better than the pre-iterativepk[], since we consider a sufficient amount of information about the former iterative. In this way, most of the better iterative efficiency could be ex-pected, which is just our purpose in improving the method. Then we will be dependent on a series of transformations in preparation for the convergence proof in Section .

Lemma . The MABM in Algorithm.is equal to the following iterative scheme:

⎧ ⎪ ⎨ ⎪ ⎩

xk+:=arg min

(x) +λAxbk, bk+:=bk+ (bAxk+),

bk+:= ( ––tk

tk+ )b

k++–tk

tk+ b

k,

(.)

starting with b=b.

Proof Recalling (.) and noting Theorem ., we can prove that (.) holds for allkby induction.

Ifk= ,p=λAT(b–b) = , (.) holds by the initial conditionsp=  andb=b. Now, we assume that (.) holds fornk– , then

pn=pn–+λATbAxn=λATbn––b+λATbAxn

(9)

where the first equality is directly derived from step  of Algorithm ., the first equality is derived from the induction hypothesis, the fourth equality utilizes the second step of (.).

Moreover, whenn=k, we have

pk=

 – – tk tk+

pk+ – tk tk+

pk–

=

 – – tk tk+

λATbkb+ – tk tk+

λATbk––b

=λAT  – – tk tk+

bk

 – – tk tk+

b+ – tk tk+

bk–– – tk tk+

b

=λATbkb,

where the first equality is from step  of Algorithm ., the second term is from (.) and the induction hypothesis, the fourth equality is from the third term of (.), so (.) holds for allk. Namely, the MABM in Algorithm . is equal to (.).

Lemma . Iterative scheme(.)is equal to the following AALM iterative scheme:

⎧ ⎪ ⎨ ⎪ ⎩

xk+:=arg min

(x) +σk,bAx+λAxbk, σk+:=σk+ (bAxk+),

σk+:= ( ––tk

tk+ )σ

k++–tk

tk+ σ

k,

(.)

starting fromσ= ,whereσkmis the Lagrangian multiplier.

Proof It is not difficult to see that the idea has likeness to Theorem ., we are just required to verify that (.) holds. To this end, we proceed by mathematical induction.

Ifk= ,b=b+σ

λ, (.) holds by the initial conditionsσ

=  andb=b. Suppose that

(.) holds fornk– , then, whenn=k, we have

bk=bk–+bAxk=b+

λσ

k–+bAxk

=b+

λσ

k–+λ

σkσk–=b+

λσ

k,

where the first equality is from the second term of (.), the second equality stems from induction, and the third equality is derived from the second term of (.).

Thus, we get

bk=

 – – tk tk+

bk+ – tk tk+

bk–

=

 – – tk tk+

b+

λσ

n

+ – tk tk+

b+

λσ

n–

=b+

λ

 – tk tk+

σn+ – tk tk+

σn–

=b+

λσ

(10)

Therefore, AALM (.) is equivalent to iterative scheme (.). Moreover, we can get the equivalence of the MABM in Algorithm . to AALM from the above two lemmas.

Theorem . The MABM in Algorithm.is equivalent to the corresponding AALM(.).

4 The convergence analysis

A practical challenge for the regularized basis pursuit problem is to offer an efficient method to solve the non-smooth optimization problems. Many algorithms have been pro-posed in recent years []. In these methods, some schemes of approximation that have to do with the non-smooth norm term are usually employed. However, a fast global con-vergence is difficult to guarantee. Due to the non-smooth nature of the -norm, a simple method to solve these problems is the subgradient approach [], which converges only asO(√

k), wherekis the iteration counter.

In this paper, we present an efficient method with fast global convergence rate to solve the regularized basis pursuit problem. Particularly, we verify that this result is an extended gradient algorithm with the convergence rate of O(√

k), like that for smooth problems. Following the Nesterov method for accelerating the gradient method [, ], we show that the MABM can be further accelerated to converge asO(/(k+ )).

A series of lemmas in the following are to ensure the convergence rate of the MABM.

Lemma . Let(xn,σn)be generated by the augmented Lagrangian iterative scheme(.), and let(x∗,σ∗)be a globally optimal solution of the problem

min

x(x) s.t. Ax=b, (.)

then the inequality

ϕxkϕ(x)≥σ,Axkx (.)

for any(x,σ) = (xn,σn)and(x,σ)holds.

Proof By the optimality conditions, we get

∈∂ϕxnATσn–λATbAxn. From the second term of (.), we obtain

ATσn∂ϕxn. (.)

By the definition of subdifferential, we have

ϕxkϕxn+σn,Axkxn.

So (.) holds for (x,σ) = (xn,σn). Owing to the fact that (x,σ) of (.) satisfies the KKT condition, it is easy to obtain

(11)

Compared with (.), inequality (.) holds for (x,σ) = (x∗,σ∗), which completes the

proof.

Lemma . Let(xk,σk)be generated by the augmented Lagrangian iterative scheme(.). For any(x,σ),the inequality

Lxk,σkL(x,σ)≥

λσ

kσk– –

λ

σk––σ,σk––σk (.)

holds.

Proof By the definition of the Lagrangian function and Lemma ., we get the following result:

Lxk,σkL(x,σ) =ϕxkϕ(x) –σ,bAx+σk,bAxk

σ,Axkxσ,bAx+σk,bAxk =σkσ,bAxk

= 

λ

σσk,σkσk–

= 

λσ

kσk– –

λ

σk––σ,σk––σk.

The second inequality is derived from (.), and the third equality is from (.).

From the fact thatATσk∂ϕ(xk),ATσ∂ϕ(x), and the definition of subdifferential,

we have

ϕx∗≥ϕxk+σn,Ax∗–xn, then

ϕx∗–σ∗,Ax∗–bϕxkσn,Axnb, thus

Lx∗,σ∗≥Lxk,σk, (.)

where we exploit the fact thatAx∗=b.

Lemma . Let(xk,σk)be generated by the augmented Lagrangian iterative scheme(.), then

σkσ∗σk––σ∗σkσk–– λLx∗,σ∗–Lxk,σk.

Proof Considering (.) and replacing (x,σ) with (x∗,σ∗), we get

σkσ∗ =σkσk–+σk––σ∗

(12)

σkσk– +σ

k–σ∗ 

– σkσk–– λLx∗,σ∗–Lxk,σk

=σk––σ∗ –σ

kσk– – λ

Lx∗,σ∗–Lxk,σk,

which completes the proof.

Moreover,σkσ∗σk––σ∗σkσk–holds due to (.), this implies the global convergence of (.). By summing the above inequality overk= , , . . . ,n, we get

n

k=

σkσk– ≤σ

σ∗

. (.)

Hence,

lim

k→∞

σkσk–= . (.)

Theorem . Let (xk,σk)be generated by the augmented Lagrangian iterative scheme (.),then L(x∗,σ∗) –L(xk,σk) =O(

k).

Proof Noting (.) of Lemma . and substituting (xn–,σn–) for (x,σ), we get

Lxn,σnLxn–,σn–≥  λσ

nσn–

. (.)

By multiplying withn–  and summing it overn= , . . . ,k, we obtain

k

n=

(n– )Lxn,σn– (n– )Lxn–,σn–

= k

n=

nLxn,σn– (n– )Lxn–,σn––Lxn,σn

=kLxk,σkn

k=

Lxn,σn

k

n=

n– 

λ σ

nσn– ≥.

From the above inequality, we have

k

n=

Lxn,σnkLxk,σk. (.)

On the other hand, it follows from Lemma . that

Lx∗,σ∗–Lxn,σn≤ 

λσ

n–σ∗ –σ

nσn– –σ

nσ∗

(13)

Summing the inequality overn= , . . . ,k, we obtain

k

n=

Lx∗,σ∗–Lxn,σn

= – k

n=

Lxn,σn+nLx∗,σ

≤ 

λ

k

n=

σn––σ∗σnσ∗σnσn–

=  λ

σ–σ∗ –σ

kσ∗ –

k

n=

σnσn– 

. (.)

Combining (.) with (.), we get

kLxk,σk+kLx∗,σ∗≤– k

n=

Lxn,σn+kLx∗,σ

≤ 

λ

σ–σ∗σkσ∗k

n=

σnσn–

≤ 

λσ

σ∗ .

Consequently, we obtain

Lx∗,σ∗–Lxk,σk≤ 

kλσ

σ =O

k

.

This completes the proof.

Comparing (.) with (.), we have the following two lemmas by replacing (xk,σk) with (xk,σk).

Lemma . Let(xk,σk)be generated by the augmented Lagrangian iterative scheme(.). For any(x,σ),we have the inequality

Lxk,σkL(x,σ)≥

λσ

kσk– –

λ

σk––σ,σk––σk. (.)

Lemma . Let(xk,σk)be generated by the augmented Lagrangian iterative scheme(.), then

σkσ∗σk––σ∗σkσk–– λLx∗,σ∗–Lxk,σk. (.)

Theorem . Let(xk,σk)be generated by the augmented Lagrangian iterative scheme (.),then

(14)

Proof We work from step  of Algorithm .,i.e.,tk+=(

 + t

k+ ), wheret= . By a

simple calculation, we have

tk+(tk+– ) = tk (.)

and

tkk+ 

 . (.)

Based on Lemma ., by replacing (x,σ) with (xn–,σn–) and (x,σ), settingk=n, we

get the two inequalities

wn––wn≥ 

λσ

nσn– –

λ

σn––σn–,σn––σn, (.)

wn≥ 

λσ

nσn– –

λ

σn––σ∗,σn––σn, (.)

where

wn:=L

x∗,σ∗–Lxn,σn.

By multiplying both sides of (.), (.) with tn–  and , respectively, and adding the two sides, we obtain

(tn– )wn– tnwn+

≥tn

λ σ

nσn– +

λ

σ∗+ (tn– )σn–– tnσn–,σn––σn

. (.)

For the sake of convenience, we denote

Pn:= σ∗+ (tn– )σn–– tnσn+tnσn–

and

Qn:= σ∗+ (tn– )σn–– tnσntnσn–.

By multiplying both sides of (.) withtn, we have

tn(tn– )wn– tnwn+

≥

λtn

σnσn–

+ 

λ

σ∗+ (tn– )σn–– tnσn–,tn

σn––σn

=

λ

σ∗+ (tn– )σn–– tnσn,tn

σn––σn

=  λσ

+ (t

n– )σn–– tnσn+tnσn–

(15)

–  λσ

+ (t

n– )σn–– tnσntnσn–

 

=  λPn

 –

 λQn

 ,

where the second equality is derived from the fact thatα+βαβ= α,β. Then we have

PnQn =

σ∗+ (tn– )σn–– tnσn+tnσn–

–σ∗+ (tn– )σn–– tnσntnσn–

= tnσn–– tnσn

= tnσn–– tn

tn+σn– ( – tn)σn–

tn++ tn– 

=:K

σn––σn,

where

K:=

tntn+

tn++ tn–  ,

and the third equality is from the third iterative scheme of (.) and we make a transposi-tion to the third term. Thus,

tn–wn– tnwn+≥

 λPn

 –

λPn– (PnQn)  

≥ 

λPn  –

 λ

Pn+PnQn

≥– 

λPnQn  

:= –K λσ

n–σn

.

Summing the inequality overn= , . . . ,k, we get

tw– tkwk+≥–

k

n=

K

λσ

n–σn

. (.)

Then, combining (.), (.) with (.), we have

wk+≤

tw+

k

n=

K

λσn––σn

 

tk

≤ tw+ ε

(k+ ) ,

asktends to infinity, whereεis an arbitrarily small positive number. Hence,

Lx∗,σ∗–Lxk,σk=O/(k+ ).

(16)

Remark The right formula of (.) exploits the fact that the choice of the penalty factor

λcan be seen as a monotonically increasing sequence (such asλk) that depends on the selection oftkin Algorithm .. In this way, we are not only able to guarantee the conver-gence in the formula ofKdivided byλk, but also to play a critical role of punishment to

the constraint condition.

5 Conclusion

In this paper, we put forward the modified accelerated Bregman method (MABM) for solving the regularized basis pursuit problem. We give some beneficial improvement tasks on the basis of some recent literature on the accelerated Bregman method, and we perform the theoretical feasibility analysis in detail. It can be showed that the proposed MABM has a rapid convergence rate ofO(/(k+ )). We will devote our future study to combining

the advantages of LBM with our MABM as regards theory and numerical results.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Author details

1School of Mathematics and Computer Science, Fujian Normal University, Fuzhou, 350007, P.R. China.2Fujian Jiangxia

University, Fuzhou, 350108, P.R. China.

Acknowledgements

The project is supported by the Scientific Research Special Fund Project of Fujian University (Grant No. JK2013060), Fujian Natural Science Foundation (Grant No. 2013J01006) and the National Natural Science Foundation of China (Grant No. 11071041).

Received: 9 November 2013 Accepted: 18 March 2014 Published:31 Mar 2014 References

1. Kashin, B: The widths of certain finite dimensional sets and classes of smooth functions. Izv. Akad. Nauk SSSR, Ser. Mat.41, 334-351 (1977)

2. Candés, E, Romberg, J, Tao, T: Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information. IEEE Trans. Inf. Theory52, 489-509 (2006)

3. Candés, E, Romberg, J, Tao, T: Stable signal recovery from incomplete and inaccurate measurements. Commun. Pure Appl. Math.59, 1207-1223 (2006)

4. Candés, E, Tao, T: Decoding by linear programming. IEEE Trans. Inf. Theory51, 4203-4215 (2005) 5. Donoho, D: Compressed sensing. IEEE Trans. Inf. Theory52, 1289-1306 (2006)

6. Candés, E, Wakin, M: An introduction to compressive sampling. IEEE Signal Process. Mag.21, 21-30 (2008) 7. Cai, J, Osher, S, Shen, Z: Linearized Bregman iterations for compressed sensing. Math. Comput.78, 1515-1536 (2009) 8. Cai, J, Candés, E, Shen, Z: A singular value thresholding algorithm for matrix completion. SIAM J. Optim.20,

1956-1982 (2010)

9. Candés, E, Recht, B: Exact matrix completion via convex optimization. Found. Comput. Math.9, 717-772 (2009) 10. Candés, E, Li, X, Ma, Y, Wright, J: Robust principal component analysis. Preprint (2009)

11. Figueiredo, MAT, Nowak, RD, Wright, SJ: Gradient projection for sparse reconstruction: application to compressed sensing and other inverse problems. IEEE J. Sel. Top. Signal Process.1(4), 586-597 (2007)

12. Beck, A, Teboulle, M: Fast iterative shrinkage-thresholding algorithm for linear inverse problems. SIAM J. Imaging Sci. 2, 183-202 (2009)

13. Peng, Y, Ganesh, A, Wright, J, Xu, W, Ma, Y: RASL: robust alignment by sparse and low-rank decomposition for linearly correlated images. In: Proceedings of IEEE Conference on Computer Vision and Pattern Recognition (CVPR) (2010) 14. Ghaoui, LE, Gahinet, P: Rank minimization under LMI constraints: a framework for output feedback problems. In:

Proceedings of the European Control Conference (1993)

15. Fazel, M, Hindi, H, Boyd, SP: A rank minimization heuristic with application to minimum order system approximation. In: Proceedings of the American Control Conference, vol. 6, pp. 4734-4739 (2001)

16. Linial, N, London, E, Rabinovich, Y: The geometry of graphs and some of its algorithmic applications. Combinatorica 15, 215-245 (1995)

17. Kang, M, Yun, S, Woo, H, Kang, M: Accelerated Bregman method for linearly constrainedl1l2minimization. J. Sci. Comput.56, 515-534 (2012)

(17)

21. Osher, S, Mao, Y, Dong, B, Yin, W: Fast linearized Bregman iteration for compressive sensing and sparse denoising. Commun. Math. Sci.8, 93-111 (2010)

22. Darbon, J, Osher, S: Fast discrete optimization for sparse approximations and deconvolutions. Preprint (2007) 23. Osher, S, Burger, M, Goldfarb, D, Xu, J, Yin, W: An iterative regularization method for total variation-based image

restoration. Multiscale Model. Simul.4(2), 460-489 (2005) (electronic). MR2162864 (2006c:49051)

24. Yin, W, Osher, S, Goldfarb, D, Darbon, J: Bregman iterative algorithms for1-minimization with applications to

compressed sensing. SIAM J. Imaging Sci.1(1), 143-168 (2008)

25. Barzilai, J, Borwein, J: Two point step size gradient methods. IMA J. Numer. Anal.8, 141-148 (1988)

26. Liu, D, Nocedal, J: On the limited memory method for large scale optimization. Math. Program., Ser. B45, 503-528 (1989)

27. Bennett, J, Lanning, S: The Netflix prize. In: Proceedings of KDD Cup and Workshop (2007)

28. Goldstein, T, Osher, S: The split Bregman method for L1-regularized problems. SIAM J. Imaging Sci.2(2), 323-343 (2009)

29. Bregman, L: The relaxation method of finding the common points of convex sets and its application to the solution of problems in convex programming. USSR Comput. Math. Math. Phys.7, 200-217 (1967)

30. Powell, MJD: A method for nonlinear constraints in minimization problems. In: Fletcher, R (ed.) Optimization, pp. 283-298 (1972)

31. Rockafellar, RT: Augmented Lagrangians and applications of the proximal point algorithm in convex programming. Math. Oper. Res.1, 97-116 (1976)

32. Hale, ET, Yin, W, Zhang, Y: Fixed-point continuation forl1minimization: methodology and convergence. SIAM J. Optim.19, 1107-1130 (2008)

33. Berg, EVD, Friedlander, MP: Probing the Pareto frontier for basis pursuit solutions. SIAM J. Sci. Comput.31, 890-912 (2008)

34. Nesterov, YE: A method for unconstrained convex minimization problem with the rate of convergenceO(1/k2). Dokl.

Akad. Nauk SSSR269, 543-547 (1983)

35. Nesterov, YE: Introductory Lectures on Convex Optimization, vol. 87, pp. 220-236 (2004)

36. Rennie, JDM, Srebro, N: Fast maximum margin matrix factorization for collaborative prediction. In: Proceedings of the International Conference on Machine Learning, pp. 713-719 (2005)

37. Bertsekas, D: Nonlinear Programming. Athena Scientific, Nashua (1999)

10.1186/1029-242X-2014-130

References

Related documents

In order to assess any potential interactions between sequence complexity (as assessed by entropy rate, the complexity measure that correlates the most strongly with

AGENCY TOTAL SAVINGS FY11 SAVINGS RECURRING GEN FUND1.

Seasonal flooding, coastal erosion, changes in water temperature and salinity, water level rise, extreme storm events, sand deficit – those are the main risk factors that threatens

Nevertheless, separ- ate introduction from co-circulating similar isolates was less likely, because comparison of the flanking regions of the vanB gene cluster showed high

ökologischen  Kommunikation  –  in  die  Konzeption  einer  ökologisch  orientierten  Literaturwissenschaft  ein.  Glotfelty  hat  1996  die  Entwicklung  des 

Figure 2 shows the XRD pattern of compound 1 bulk sample (Figure 2a) in comparison with the XRD pattern of a typical sample of compound 1 prepared by the sonochemical process (Figure

The silver copeck, for example, had after several weight reductions by the end of the 17th century become a minuscule coin that could no longer fulfil the demands of the market

Data modeling and consequently the schema design is driven by the application specific query patterns, thus it can’t be thought of an automatic way of moving from RDBMS to NoSQL in