Compressive sensing (CS) has been emerging as a very active research field and brought about great changes in the field of signal processing during recent years with broad applications such as compressed imaging, analog-to-information conversion, biosensors, and so on    . Meanwhile, the norm based signal recovery is attractive in compressed sensing as it can facilitate exact recovery of sparse signal with very high probability   . Mathematically, the problem can be presented as
where is a measurement matrix, denotes the Euclidean norm and , formally called the quasi-norm, denotes the number of the nonzero components of , and the is a regulari- zation parameter.
We can then solve the unconstrained regularization problem
A natural approach to this problem is to solve a convex relaxation re- gularization problem   as following
where the is the norm. Undoubtly, the regularization
has many applications   and can be solved by many classic algorithms such as the iterative soft thresholding algorithm  , the LARs  , etc. An effective regression method, Lasso  , has a very close relationship with the re- gularization as well. In 2005, Zou et al. proposed the following algorithm, which called the elastic net regularization 
where the are two regularization parameters. It is proved in many papers that the elastic net regularization outperforms the Lasso in prediction accuracy. Cands proved that as long as A satisfies the RIP condition with a constant parameter, the minimization can yield an equivalent solution as that of minimization  . So in general, the regularization problem can be regard as an aproach to the regularization. Therefore, we shall consider a generalized elastic net regularization problem with penalty:
Unfortunately, the norm minimization problem is NP-hard  . And due to the sparsity of the solution x, we could turn out to calculate the following generalized elastic net regularization with smoothed penalty:
where , the is a parameter which approaches zero in
order to approximate .
In this paper,we propose an iterative algorithm for recovering sparse vectors which substitute the penalty with a function  . And by adding an term, we can prove that the algorithm is convergent based on the algebraic methods. In the experiment part, we compare the algorithm with the soft thresholding algorithm (ITH)  . And the output results show an outstanding success of the new method.
The rest of this paper is organized as follows. We develop the new algorithm in Section 2 and prove its convergence in Section 3. Experiments on accuracy and efficiency are reported in Section 4. Finally, we conclude this paper in Section 5.
2. Problem Reformulation
The reconstruction method discussed in this paper is for directly approaching the norm and obtaining its minimal solution with suitably designed objective functions. We denote by the objective function of the minimization problem (6).
Our goal is to minimize the objective function. For any and , the minimization problem is convex coercie, thus it has a solution. So the optimal solution of (7) can be given according to the optimal condition.
Then we can present the following iterative algorithm to solve the above minimization problem.
3. Convergence of the Algorithm
In this section, we prove that the algorithm is convergent. Firstly, we start from the lemma 1  which we can deduce the inquality directly by using the mean value theorem.
Lemma 1. Given , then the inequality
holds for any .
Proof. We first denote , then by the mean value theorem, we
So we have
Thus, we can simplify the inequality as follow:
This inequality of (11) holds no matter , or . And the next Lemma proves that the sequence drives the function downhill.
Lemma 2. For any and , let be the solution of (9) for Then we can have
where c is a positive constant that depends on .
Using (9). The last term in (16) can be simplified to be
Substituting (15) into (16) and using (11),
Since for any and . From (18) we can
obtain the results of (14) and (15) with .
Lemma 3. (  , Theorem 3.1) Let to be given, and let be its corresponding highest ordered system of equations. If has only the trivial solution , then has solutions, where is the degree of .
Theorem 1. For any and . Then the iterative solutions in (9) converge to , that is and is a critical point of (6).
Proof. Here, we need to prove that the sequence is bounded. We assume that is one convergent subsequence of and its limit point is . By (15) we know that the sequence also converges to . If we replace , with , in (10) and letting yields.
And this implies that the limit point which converges to any convergent subsequence of is the critical point of (8). In order to prove the convergence of sequence , we need to prove that the limit point set M, which contains all the limit points of convergent subsequence of is a finite set. So we have to prove that the following equation has finite solutions.
where . We can rewrite (20) as follow:
It is obvious that is a positive definite matrix, is the identity matrix. Then the (21) can be rewritten as the following eq- uation:
where B is an diagonal matrix with diagonal entries . We denote and . Then
If we want to prove that (23) has finite solutions, then we can prove the (22) system has finite solutions. According to lemma 3, if we prove that the highest ordered system of (23) has only trivial solution, then it's easy to conclude that the Equation (23) has finite solutions.
We prove the system (24) has only trivial solution. We assume that is a nonzero solution of (24), for , . Then we have
where is the leading principle submatrix of matrix is the positive definite, therefore the matrix C is positive definite as well. So we have for . This contradicts the assumption of , , .
Therefore, the system (24) has only trivial solution. So the Equation (20) has finite solutions. Since all the limit points of convergent subsequence of satisfies the Equation (20) and we have proved that (20) has finite solutions. So the limit point set M is a finite set. Combining with as , we thus obtain that the sequence is convergent and limit is a critical point of problem (7).
4. Numerical Experiments
In this section, we present some numerical experiments to show the efficiency and the accuracy of the Algorithm 1 for sparse vector recovery. We compare the performance of Algorithm 1 with IST  . In the test, the matrix A had the size of , which is and . All the experiments were performed in Matlab and all the experimental results were averaged over 100 independent trials for various sparsity s.
The experiment results contain two parts: the first one focuses on the comparison of the two algorithms in accuracy; the other one focuses on the efficiency of the two algorithms. In the experiments, the mean squared error of the original vector and the result is recorded as
4.1. Comparison on the Accuracy
The matrix and the original sparse vector was gene- rated randomly according to the standard Gaussian distribution with N-length and s-sparse, which varies as 2, 4, 6, 8, ・・・, 48. The location of the nonzero elements were randomly generated. The regularization parameters were set as and . All the other parameters of the two al- gorithms were set to be the same.The results are shown in Figure 1.
The Figure 1 shows that the convergence error MSE for the two algorithms tends to be stable at last for different sparsity s. We can also observe that the MSE of the LAGENR-L0 is lower than the IST which demonstrates that our algorithm is not only convergent,but also outperforms the IST in accuracy.
4.2. Comparison on the Efficiency
In this subsection, we focus on the speed of the two algorithms. We conduct various experiments to test the effectiveness of the proposed algorithm. Table 1 report the numerical results of the two algorithms for recovering vectors for different sparsity level. From the results, we can see that the IAGENR-L0 performs much better than IST in efficiency and the accuracy.
Figure 1. Comparison of the convergence error for both IAGENR-L0 and IST.
Table 1. The iteration time of the IAGENR-L0 and the IST for different sparsity level.
In this paper, we consider an iterative algorithm for solving the generalized elastic net regularization problems with smoothod penalty for recovering sparse vectors. Then a detailed proof of convergence of the iterative algorithm is given in Section 2 by using the algebraic method. Additionally, the numerical experiments in Section 3 show that our iterative algorithm is convergent and performs better than the IST on recovering sparse vectors.