I Introduction
It is wellknown that SVMs can perform automatic variable selection by adding a sparsityinducing penalty (regularizer) to the loss function
[1, 2]. Typically, the sparsityinducing penalties can be divided into two catagories: convex penalty and nonconvex penalty. The penalty is the most famous convex penalty and has been widely used for variable selection [3, 1]. Commonly used nonconvex penalties include penalty with , smooth clipped absolute deviation (SCAD) penalty [4], log penalty [5], minimax concave penalty (MCP) [6], logsum penalty (LSP) [7], and capped penalty [8]. It has been shown in literatures that nonconvex penalties outperform the convex ones with better statistics properties [9]; theoretically, SVMs with elaborately designed nonconvex penalties can asymptotically unbiasedly estimate the large nonzero parameters as well as shrink the estimates of zero valued parameters to zero
[10]. Consequently, the nonconvex penalized SVMs conduct variable selection and classification simultaneously; and they are more robust to the outliers and are able to yield a compact classifier with high accuracy.
Although nonconvex penalized SVMs are appealing, it is rather hard to optimize due to the nondifferentiability of the hinge loss function and the nonconvexity and nonsmoothness introduced by the nonconvex regularization term. Existing solutions to nonconvex penalized SVMs [11, 2] are pretty computationally inefficient, and they are limited to a few of nonconvex penalties. Besides that, other popular approaches are unable to apply to the nonconvex penalized hinge loss function since they typically require the loss function to be differentiable [12, 13].
In this paper, we focus on solving the standard support vector machines with a general class of nonconvex penalties including the SCAD penalty, MCP, LSP and capped penalty. Mathematically, given a train set , where and , the nonconvex penalized SVMs minimize the following penalized hinge loss function:
(1) 
where the pair is the decision variable with and . is the regularization term with a tunning parameter , and is one of the nonconvex regularizers listed in Table I. Here and throughout this paper, represents ; and denotes the transposition of matrices and column vectors.
Name  

LSP  
SCAD  
MCP  
Capped 
To address problem (1), we propose an efficient algorithm by incorporating the framework of alternating direction method of multipliers (ADMM) [14]. The main contributions of this paper can be summarized as follows.

We find that by reasonably reformulating problem (1) and applying the framework of ADMM, nonconvex penalized SVMs can be solved by optimizing a series of subproblems. In addition, each subproblem owns a closedform solution and is easy to solve.

More importantly, we find the main computational burden of the ADMM procedure lies in the update of which requires to calculate the inversion of a matrix. It costs flops (floating point operations) when the order of is bigger than . We propose an efficient scheme to update via using the ShermanMorrison formula [15] and Cholesky factorization, attaining an improvement by a factor of over the naive method in this case. Furthermore, we optimize the iteration scheme so that the computationally expensive part is calculated only once.

We present detailed computational complexity analysis and show that the optimized algorithm is pretty computationally efficient.

In addition, we also present detailed convergence analysis of the proposed ADMM algorithm.

Extensive experimental evaluations on five LIBSVM benchmark datasets demonstrate the outstanding performance of the proposed algorithm. In comparison with other three stateoftheart algorithms, the proposed algorithm runs faster as well as attains high prediction accuracy.
The rest of this paper is organized as follows. Section II reviews the related work. Section III presents the derivation procedure and studies the computational complexity of the proposed algorithm. Section IV shows the convergence analysis. Section V details and discusses the experimental results. Finally, we conclude this paper in Section VI.
Ii Related Work
Lots of studies have been devoted to the nonconvex penalized SVMs due to their superior performance in various applications arising from academic community and industry. Liu et al.[10] developed an norm penalized SVM with nonconvex penalty norm () based on margin maximization and approximation. Zhang et al.[11] combined SVM with smoothly clipped absolute deviation (SCAD) penalty, and obtained a compact classifier with high accuracy. In order to efficiently solve SCADpenalized SVM, they proposed a successive quadratic algorithm (SQA) which converted the nondifferentiable and nonconvex optimization problem into an easily solved linear equation system. Zhang et al.[2] established a unified theory for SCAD and MCPpenalized SVM in the highdimensional setting. Laporte et al.[16]
proposed a general framework for feature selection in learning to rank using SVM with nonconvex regularizations such as log penalty, MCP and
norm with . Recently, Zhang et al.[17] have established an unified theory for a general class of nonconvex penalized SVMs in the highdimensional setting. Liu et al.[18] showed that a class of nonconvex learning problems are equivalent to general quadratic programmings and proposed a reformulationbase technique named mixed integer programmingbased global optimization (MIPGO).Apart from previous work discussed above, many researches concerned with optimization problems with a general class of nonconvex regularizations [12, 19, 20, 13] are developed. Nevertheless, these proposed methods cannot be applied to solve the optimization problem studied in this paper. In [19], Hong et al. analyzed the convergence of the ADMM for solving certain nonconvex consensus and sharing problems. However, they require the nonconvex regularization term to be smooth, which violates the nonsmooth trait of the penalty functions considered in this paper. Later, Wang et al.[20] analyzed the convergence of ADMM for minimizing a nonconvex and possibly nonsmooth objective function with coupled linear constraints. Unfortunately, their analysis cannot be applied to the nonconvex penalized hinge loss function since they require the objective to be differentiable. Gong et al.[12] proposed General Iterative Shrinkage and Thresholding (GIST) algorithm to solve the nonconvex optimization problem for a large class of nonconvex penalties. Recently, Jiang et al.[13] have proposed two proximaltype variants of the ADMM to solve the structured nonconvex and nonsmooth problems. Nevertheless, the algorithms proposed in [12] and [13] are unable to solve the nonconvex penalized hinge loss function because they both require the loss function to be differentiable as well.
Iii Algorithm For Nonconvex Penalized SVMs
In this section, we derive the solution of nonconvex penalized SVMs based on the framework of ADMM [14]. By introducing auxiliary variables and reformulating the original optimization problem, the nonconvex penalized SVMs can be solved by iterating a series of subproblems with closedform solutions. Moreover, detailed computational complexity analysis of the proposed algorithm is presented in this section.
Iiia Derivation Procedure
In order to apply the framework of ADMM, we first introduce auxiliary variables to handl the nondifferentiability of problem (1).
Let () and . Then the unconstrained problem (1) can be rewritten as an equivalent form
(2) 
where and is a diagonal matrix with on the th diagonal element, i.e., . In what follows, is an column vector of s, is an column vector of s, and denotes elementwised .
Note that, using variable splitting and introducing another slack variable , problem (2) can be converted to following equivalent constrained problem:
(3) 
where and .
Hence, the corresponding surrogate Lagrangian function of (3) is
(4) 
where and are the dual variables corresponding to the first and second linear constraints of (3), respectively. represents the standard inner product in Euclidean space. Note that we call as “surrogate Lagrangian function” since it does not involve the set of constraints . The projections onto these two simple linear constraints can be easily calculated by basic algebra computations and projections to the 1dimensional nonnegative set ().
Let and note that , thus the scaledform surrogate augmented Lagrangian function can be written as
(5) 
where and are the scaled dual variables. The constants and are penalty parameters with and .
The resulting ADMM procedure starts with an iterate ; and for each iteration count , the scaledform ADMM procedure can be expressed as
(6)  
(7)  
(9)  
(10)  
(11)  
Considering optimizing problem (6), we can obtain the closedform solution of it via , that is,
(13) 
where denotes the identity matrix.
Note that (13) requires to calculate the inversion of a matrix. The computational cost is especially high for the large case. Therefore, we further investigate an efficient solution for the update of according to the value of and .
Let and , then Equation (13) can be equivalently converted to
(14) 
If is more than in order, we can apply the ShermanMorrison formula [15] to solve (14). Therefore, we have
(15) 
where and are the Cholesky factorization of a positive definite matrix , i.e., . Here, is the identity matrix.
For the case when , observe that the matrix is positive definite, then we can obtain the solution of via
(16) 
where and are the Cholesky factorization of a matrix , i.e., .
Consequently, equation (13) can be equivalently converted to
(17) 
where and are the Cholesky factorization of , if , and the Cholesky factorization of otherwise.
Proposition 1.
Proof.
This proof exploits no structure in , i.e., our generic method works for any matrix. For convenience, this proof neglects the superscripts of each variable.
For the reformulated update by Equation (17), we can first form at a cost of flops. Then forming costs flops, followed by the calculation of via Cholesky factorization at a cost of flops. After that, we can form through two matrixvector multiplications and two backsolve steps at a cost of flops. Since it costs flops for forming and , the overall cost of forming is flops.
In terms of the naive update by Equation (13), we can first form at a cost of flops. Because is more than in order, we can form at a cost of flops. Considering that and , the cost of forming is flops. Thus, the naive method for calculating costs flops in total.
Since , thus the reformulated method obtains an improvement by a factor of over the naive method. This completes the proof of Proposition 1. ∎
By letting , we obtain the solution of Equation (7), that is,
(18) 
In addition, note that Equation (LABEL:eq7) is equivalent to optimizing the following problem:
(19) 
Based on the observation that , we can get the solution of problem (19) via solving independent univariate optimization problems. Let , then we can obtain the solution of the th entry of variable in the th iteration, that is,
(20) 
It has been shown in [12] that this subproblem admits a closedform solution for many commonly used nonconvex penalties. The closedform solution of for four commonly used nonconvex regularizers including LSP, SCAD penalty, MCP and capped penalty are shown in the Appendix A.
The closedform solution of Equation (9) can be obtained by performing , followed by the projection to the 1dimensional nonnegative set(), that is,
(21)  
(22) 
Similarly, the solution of (10) can be calculated through . Therefore, we can perform a twostep update as follows.
(23)  
(24) 
IiiB Algorithm and Computational Cost Analysis
The procedure for solving nonconvex penalized SVMs via ADMM is shown in Algorithm 1. It mainly consists of two parts: the precomputation stage (line 18) and the iteration stage (line 921).
In Algorithm 1, the primal and dual variables are initialized first at line 1, followed by the calculation of two constant variable and at line 2. Since is a diagonal matrix, line 2 can be carried out at a total cost of flops. Note that the parameter and remain unchanged throughout the ADMM procedure. Thus we can carry out the Cholesky factorization according to the value of and once, and then use this cached factorization in subsequent solve steps. In algorithm 1, we first form an intermediate variable , a or matrix, according to the value of and , and then factor it (line 38). According to analysis arising in the proof of proposition 1, forming and then factoring it cost flops when the order of is more than . Meanwhile, if is on the order of or less than , line 38 can be carried out at a cost of flops. Therefore, we can see that the overall cost of carrying out the precomputation stage is flops, if , and flops otherwise.
After the precomputation stage, Algorithm 1 begins to iterate the ADMM procedure and quits until the predefined stopping criterion is satisfied (line 921). For the update, can be first obtained via performing line 10 at a cost of flops. Then if the order of is more than , we can see that can be formed at a cost of flops according to the analysis arising in the proof of proposition 1. Otherwise, it takes flops to form via two backsolve steps. Since and , the update costs flops in any case. In terms of the update of , it has been shown that we can get the solution of by solving independent univariate optimization problems and each of these univariate optimization problems owns a closedform solution. Therefore, this step can be carried out at a cost of flops. Moreover, line 12 and line 1420 can be easily carried out at a cost of flops in total. Since , thus it takes flops per iteration.
As a result, we can see that the overall computational cost of Algorithm 1 is
(25) 
The computational complexity shown in (25) demonstrates the efficiency of the proposed algorithm. In addition, note that the computational complexity analysis discussed above does not consider the sparse structure of the feature matrix. When exploring the sparsity, the overall computational complexity of Algorithm 1 can be further decreased. Meanwhile, it has been shown that ADMM can converge to modest accuracysufficient for many applicationswithin a few tens of iterations in [14]. The experimental results also demonstrate this point. We find that Algorithm 1 always converges within only a few tens of iterations to get a reasonable result by appropriately tuning the parameter , , and .
Iv Convergence Analysis
In this section, we present the detailed convergence analysis of the proposed algorithm. To present the analysis, we first modify a little about the scheme for updating , that is,
(26) 
where but is small. If , (IV) equals to (LABEL:eq7); and if is very small, (IV) is very close to (LABEL:eq7). After that, we give the convergence analysis following the proof framework built in [20], which is also used in [21, 22]. However, it’s noting that our work is totally not an simple extension of [20]. As mentioned before, [20] cannot be applied to solve the nonconvex penalized hinge loss function since it requires the loss function to be differentiable.
Before giving the convergence analysis, We need following two assumptions.
Assumption 1.
For any , .
Assumption 2.
The augmented Lagrangian function has a lower bound, that is, .
Now we introduce several definitions and properties needed in the analysis.
Definition 1.
We say is strongly convex with constant , if the function is also convex.
If a function is strongly convex, the following fact obviously holds: Let be a minimizer of which is strongly convex with constant . Then, it holds that
(27) 
To simplify the presentation, we use
Now, we are prepared to present the convergence analysis of our algorithm.
Lemma 3.
Let be generated by our algorithm, then,
(28) 
where
Proof.
Lemma 4.
If Assumption 1 holds,
Comments
There are no comments yet.