Randomized sketch descent methods for nonseparable linearly constrained optimization
Abstract
In this paper we consider largescale smooth optimization problems with multiple linear coupled constraints. Due to the nonseparability of the constraints, arbitrary random sketching would not be guaranteed to work. Thus, we first investigate necessary and sufficient conditions for the sketch sampling to have welldefined algorithms. Based on these sampling conditions we developed new sketch descent methods for solving general smooth linearly constrained problems, in particular, random sketch descent and accelerated random sketch descent methods. From our knowledge, this is the first convergence analysis of random sketch descent algorithms for optimization problems with multiple nonseparable linear constraints. For the general case, when the objective function is smooth and nonconvex, we prove for the nonaccelerated variant sublinear rate in expectation for an appropriate optimality measure. In the smooth convex case, we derive for both algorithms, nonaccelerated and accelerated random sketch descent, sublinear convergence rates in the expected values of the objective function. Additionally, if the objective function satisfies a strong convexity type condition, both algorithms converge linearly in expectation. In special cases, where complexity bounds are known for some particular sketching algorithms, such as coordinate descent methods for optimization problems with a single linear coupled constraint, our theory recovers the bestknown bounds. We also show that when random sketch is sketching the coordinate directions randomly produces better results than the fixed selection rule. Finally, we present some numerical examples to illustrate the performances of our new algorithms.
1 Introduction
During the last decade first order methods, that eventually utilize also some curvature information, have become the methods of choice for solving optimization problems of large sizes arising in all areas of human endeavor where data is available, including machine learning [21, 27, 31], portfolio optimization [17, 6], internet and multiagent systems [10], resource allocation [18, 40] and image processing [39]. These largescale problems are often highly structured (e.g., sparsity in data, separability in objective function, convexity) and it is important for any optimization method to take advantage of the underlying structure. It turns out that gradientbased algorithms can really benefit from the structure of the optimization models arising in these recent applications [5, 22].
Why random sketch descent methods? The optimization problem we consider in this paper has the following features: the size of data is very large so that usual methods based on whole gradient/Hessian computations are prohibitive; moreover the constraints are coupled. In this case, an appropriate way to approach these problems is through sketch descent methods due to their low memory requirements and low periteration computational cost. Sketching is a very general framework that covers as a particular case the (block) coordinate descent methods [15] when the sketch matrix is given by sampling columns of the identity matrix. Sketching was used, with a big success, to either decrease the computation burden when evaluating the gradient in first order methods [22] or to avoid solving the full Newton direction in second order methods [24]. Another crucial advantage of sketching is that for structured problems it keeps the computation cost low, while preserving the amount of data brought from RAM to CPU as for full gradient or Newton methods, and consequently allows for better CPUs utilization on modern multicore machines. Moreover, in many situations general sketching keeps the periteration runningtime almost unchanged when compared to the particular sketching of the identity matrix (i.e. comparable to coordinate descent settings). This, however, leads to a smaller number of iterations needed to achieve the desired quality of the solution as observed e.g. in [25].
In second order methods sketching was used to either decrease the computation cost when evaluating the full Hessian or to avoid solving the full Newton direction. In [24, 3] a Newton sketch algorithm was proposed for unconstrained selfconcordant minimization, which performs an approximate Newton step, wherein each iteration only a subsampled Hessian is used. This procedure significantly reduces the computation cost, and still guarantees superlinear convergence for selfconcordant objective functions. In [25], a random sketch method was used to minimize a smooth function which admits a nonseparable quadratic upperbound. In each iteration a block of coordinates was chosen and a subproblem involving a random principal submatrix of the Hessian of the quadratic approximation was solved to obtain an improving direction.
In first order methods particular sketching was used, by choosing as sketch matrix (block) columns of the identity matrix, in order to avoid computation of the full gradient, leading to coordinate descent framework. The main differences in all variants of coordinate descent methods consist in the criterion of choosing at each iteration the coordinate over which we minimize the objective function and the complexity of this choice. Two classical criteria used often in these algorithms are the cyclic and the greedy coordinate search, which significantly differs by the amount of computations required to choose the appropriate index. For cyclic coordinate search estimates on the rate of convergence were given recently in [2, 8, 32], while for the greedy coordinate search (e.g. GaussSouthwell rule) the convergence rates were given in [35, 15]. Another approach is based on random choice rule, where the coordinate search is random. Complexity results on random coordinate descent methods for smooth convex objective functions were obtained in [22, 18]. The extension to composite convex objective functions was given e.g. in [27, 19, 14, 21, 28]. These methods are inherently serial. Recently, accelerated [5, 4], parallel [19, 29, 34], asynchronous [13] and distributed implementations [33, 16] of coordinate descent methods were also analyzed. Let us note that the idea of sketching or subsampling was also successfully applied in various other settings, including [37, 30, 7].
Related work. However, most of the aforementioned sketch descent methods assume essentially unconstrained problems, which at best allow separable constraints. In contrast, in this paper we consider sketch descent methods for general smooth problems with linear coupled constraints. Particular sketchingbased algorithms, such as greedy coordinate descent schemes, for solving linearly constrained optimization problems were investigated in [35, 15], while more recently in [1] a greedy coordinate descent method is developed for minimizing a smooth function subject to a single linear equality constraint and additional bound constraints on the decision variables. Random coordinate descent methods that choose at least 2 coordinates at each iteration have been also proposed recently for solving convex problems with a single linear coupled constraint in [18, 21, 20]. In all these papers, detailed convergence analysis is provided for both, convex and nonconvex settings. Motivated by the work in [20] several recent papers have tried to extended the random coordinate descent settings to multiple linear coupled constraints [6, 21, 26]. In particular, in [26] an extension of the 2random coordinate descent method from [20] has been analyzed, however under very conservative assumptions, such as full rank condition on each block of the matrix describing the linear constraints. In [6] a particular sketch descent method is proposed, where the sketch matrices specify arbitrary subspaces that need to generate the kernel of the matrix describing the coupled constraints. However, in the largescale context and for general linear constraints it is very difficult to generate such sketch matrices. Another strand of this literature develops and analysis centerfree gradient methods [40], augmented Lagrangian based methods [9] or Newton methods [38].
Our approach and contribution. Our approach introduces general sketch descent algorithms for solving largescale smooth optimization problems with multiple linear coupled constraints. Since we have nonseparable constraints in the problem formulation, a random sketch descent scheme needs to consider new sampling rules for choosing the coordinates. We first investigate conditions on the sketching of the coordinates over which we minimize at each iteration in order to have welldefined algorithms. Based on these conditions we develop new random sketch descent methods for solving our linearly constrained convex problem, in particular, random sketch descent and accelerated random sketch descent methods. However, unlike existing methods such as coordinate descent, our algorithms are capable of utilizing curvature information, which leads to striking improvements in both theory and practice.
Our contribution. To this end, our main contribution can be summarized as follows:
(i) Since we deal with optimization problems having nonseparable constraints we need to design sketch descent schemes based on new sampling rules for choosing the sketch matrix. We derive necessary and sufficient conditions on the sketching of the coordinates over which we minimize at each iteration in order to have welldefined algorithms. To our knowledge, this is the first complete work on random sketch descent type algorithms for problems with more than one linear constraint. Our theoretical results consist of new optimization algorithms, accompanied with global convergence guarantees to solve a wide class of nonseparable optimization problems.
(ii) In particular, we propose a random sketch descent algorithm for solving such general optimization problems. For the general case, when the objective function is smooth and nonconvex, we prove sublinear rate in expectation for an appropriate optimality measure. In the smooth convex case we obtain in expectation an accurate solution in at most iterations, while for strongly convex functions the method converges linearly.
(iii) We also propose an accelerated random sketch descent algorithm. From our knowledge, this is the first analysis of an accelerated variant for optimization problems with nonseparable linear constraints. In the smooth convex case we obtain in expectation an accurate solution in at most iterations. For strongly convex functions the new random sketch descent method converges linearly.
Let us emphasize the following points of our contribution. First, our sampling strategies are for multiple linear constraints and thus very different from the existing methods designed only for one linear constraint. Second, our (accelerated) sketch descent schemes are the first designed for this class of problems. Thirdly, our nonaccelerated sketch descent algorithm covers as special cases some methods designed for problems with a single linear constraint and coordinate sketch. In these special cases, where convergence bounds are known, our theory recovers the best known bounds. We also illustrate, that for some problems, random sketching of the coordinates produces better results than deterministic selection of them. Finally, our theory can be used to further develop other methods such as Newtontype schemes.
Paper organization. The rest of this paper is organized as follows. Section 2 presents necessary and sufficient conditions for the sampling of the sketch matrix. Sections 3 provides a full convergence analysis of the random sketch descent method, while Section 4 extends this convergence analysis to an accelerated variant. In Section 5 we show the benefits of general sketching over fixed selection of coordinates.
1.1 Problem formulation
We consider the following largescale general smooth optimization problem with multiple linear coupled constraints:
\hb@xt@.01(1.1) 
where is a general differentiable function and , with , is such that the feasible set is nonempty. The last condition is satisfied if e.g. has full row rank. The simplest case is when , that is we have a single linear constraint as considered in [1, 18, 21, 20]. Note that we do not necessarily impose to be a convex function. From the optimality conditions for our optimization problem (LABEL:problem) we have that is a stationary point if there exists some such that:
However, if is convex, then any satisfying the previous optimality conditions is a global optimum for optimization problem (LABEL:problem). Let us define the set of these points. Therefore, is a stationary (optimal) point if it is feasible and satisfies the condition:
1.2 Motivation
We present below several important applications from which the interest for problems of type (LABEL:problem) stems.
1.2.1 Page ranking
This problem has many applications in google ranking, network control, data analysis [10, 22, 18]. For a given graph let be its incidence matrix, which is sparse. Define , where denotes the vector with all entries equal to . Since , i.e. the matrix is column stochastic, the goal is to determine a vector such that: and . This problem can be written directly in optimization form:
which is a particular case of our optimization problem (LABEL:problem) with and sparse matrix.
1.2.2 Machine learning
Consider the optimization problem associated with the loss minimization of linear predictors without regularization for a training data set containing observations [31]:
Here is some loss function, e.g. SVM , logistic regression , ridge regression , regression with the absolute value and support vector regression for some predefined insensitivity parameter . Moreover, in classification the labels , while in regression . Further, let denote the Fenchel conjugate of . Then the dual of this problem becomes:
where . Clearly, this problem fits into our model (LABEL:problem), with representing the number of features, the number of training data, and the objective function is separable.
1.2.3 Portfolio optimization
In the basic Markowitz portfolio selection model [17], see also [6] for related formulations, one assumes a set of assets, each with expected returns , and a covariance matrix , where is the covariance between returns of assets and . The goal is to allocate a portion of the budget into different assets, i.e. represents a portion of the wealth to be invested into asset , leading to the first constraint: . Then, the expected return (profit) is and the variance of the portfolio can be computed as . The investor seeks to minimize risk (variance) and maximize the expected return, which is usually formulates as maximizing profit while limiting the risk or minimizing risk while requiring given expected return. The later formulation can be written as:
which clearly fits again into our optimization model (LABEL:problem) with . We can further assume that each asset belongs exactly to one class , e.g. financials, health care, industrials, etc. The investor would like to diversify its portfolio in such a way that the net allocation in class is : for all , where if asset is in class and otherwise. One can observer that in this case we get a similar problem as above, but with additional linear constraints ().
2 Random sketching
It is important to note that stochasticity enters in our algorithmic framework through a userdefined distribution describing an ensemble of random matrices (also called sketch matrices). We assume that , in fact we usually require and note that can also be random (i.e. the can return matrices with different ). Our schemes and the underlying convergence theory support virtually all thinkable distributions. The choice of the distribution should ideally depend on the problem itself, as it will affect the convergence speed. However, for now we leave such considerations aside. The basic idea of our algorithmic framework consists of a given feasible , a sample sketch matrix and a basic update of the form:
\hb@xt@.01(2.1) 
where the requirement ensures that the new point will remain feasible. Clearly, one can choose a distribution which will not guarantee convergence to stationary/optimal point. Therefore, we need to impose some minimal necessary conditions for such a scheme to be welldefined. In particular, in order to avoid trivial updates, we need to choose such that the homogeneous linear system admits also nontrivial solutions, that is we require:
\hb@xt@.01(2.2) 
Moreover, since for any feasible an optimal solution satisfies , it is necessary to require that with our distribution we can generate :
\hb@xt@.01(2.3) 
Note that the geometric conditions (LABEL:eq:suf1)(LABEL:eq:suf2) are only necessary for a sketch descent type scheme to be welldefined. However, for a discrete probability distribution, having e.g. the property that for all , condition (LABEL:eq:suf2) is also sufficient. In Section LABEL:sect:prelim (see Assumption LABEL:ass_Z) we will provide sufficient conditions for a general probability distribution in order to obtain welldefined algorithms based on such sketching. Below we provide several examples of distributions satisfying our geometric conditions (LABEL:eq:suf1)(LABEL:eq:suf2).
2.1 Example 1 (finite case)
Let us consider a finite (or even countable) probability distribution . Further, let be a particular solution of the linear system . For example, if denotes the pseudoinverse of the matrix , then we can take . Moreover, by the properties of the pseudoinverse, is a projection matrix onto , that is . Therefore, any solution of the linear system can be written as:
for any . Thus, we may consider a finite (the extension to countable case is straightforward) set of matrices endowed with a probability distribution for all and condition (LABEL:eq:suf2) requires that the span of the image spaces of contains or is equal to :
\hb@xt@.01(2.4) 
In particular, we have several choices for the sampling for a finite distribution:

If one can compute a basis for , then we can take as random sketch matrix any block of elements of this basis endowed with some probability (for the case the matrix represents a single element of this basis generating ). This sampling was also considered in [6]. Clearly, in this particular case condition (LABEL:eq:suf1) and condition (LABEL:eq:suf2) or equivalently (LABEL:eq:suf22) hold since .

However, for a general matrix it is difficult to compute a basis of . A simple alternative is to consider then any tuple , with , and the corresponding random sketch matrix , where denotes the th column of the identity matrix , with some probability distribution over the set of tuples in . It is clear that for this choice condition (LABEL:eq:suf1) and condition (LABEL:eq:suf2) or equivalently (LABEL:eq:suf22) also hold. For the particular case when we have a single linear coupled constraint, i.e. , we can take random matrices also considered e.g. in [18]. This particular sketch matrix based on sampling columns of the identity matrix leads to coordinate descent framework. However, the other examples (including those from Section LABEL:sect:ex_inf) show that our sketching framework is more general than coordinate descent.

Instead of working with the matrix , as considered previously, we can take any orthogonal or full rank matrix having the columns and thus forming a basis of . Then, we can consider tuples , with , and the corresponding random sketch matrix , with some probability distribution over the set of tuples in . It is clear that for this choice of the random sketch matrices the condition (LABEL:eq:suf1) and condition (LABEL:eq:suf2) or equivalently (LABEL:eq:suf22) still hold.
2.2 Example 2 (infinite case)
Let us now consider a continuous (uncountable) probability distribution . We can consider in this case two simple sampling strategies:

If one can sample easily a random matrix such that , then we can choose one or several columns from this matrix as a sketch matrix . In this case .

Alternatively, we can sample random full rank matrices in and then define to be random columns. Furthermore, since it is known that random Gaussian matrices are full rank almost surely, then we can define to be a random Gaussian matrix. Similarly, we can consider random uniform matrices and define e.g. .
A sufficient condition for a welldefined sampling in the infinite case is to ensure that in expectation one can move in any direction in . Considering the general update rule (LABEL:eq:updateRuleIntro), we see that if we sample , then our update can be only for some . Now, we also have a condition, that we want to stay in the , and therefore cannot be anything, but has to be chosen such that . Now, this restricts the set of possible ’s to be such that:
for some . Recall, that we allow to be also random, hence to derive the sufficient condition we need to have some quantity with dimension independent on . Note that each can be represented as for some (possibly nonunique) . Therefore, we see that if is sampled, then we can move in the direction:
hence, we have the ability to move in . Now, the condition to be able to move in can be expressed as requiring that on expectation we can move anywhere in :
\hb@xt@.01(2.5) 
provided that the expectation exists and is finite. Note, that this condition must hold also for a discrete probability distribution, however the condition (LABEL:eq:suf2) is more intuitive in the discrete case. In the next section we provide algebraic sufficient conditions on the sampling for a general probability distribution in order to obtain welldefined algorithms.
2.3 Sufficient conditions for sketching
It is well known that in order to derive any reasonable convergence guarantees for a minimization scheme we need to impose some smoothness property on the objective function. Therefore, throughout the paper we consider the following blanket assumption on the smoothness of :
Assumption 2.1
For any feasible there exists a positive semidefinite matrix such that is positive definite on and the following inequality holds:
\hb@xt@.01(2.6) 
Note that for a general (possibly nonconvex) differentiable function the smoothness inequality (LABEL:eq:M) does not imply that the objective function has Lipschitz continuous gradient, so our assumption is less conservative than requiring Lipchitz gradient assumption. However, when is convex the condition (LABEL:eq:M) is equivalent with Lipschitz continuity of the gradient of on [23]. In particular, if for some Lipschitz constant we recover the usual definition of Lipschitz continuity of the gradient for the class of convex functions. Our sketching methods derived below are based on (LABEL:eq:M) and therefore they have the capacity to utilize curvature information. In particular, if the objective function is quadratic, our methods can be interpreted as novel extensions to more general optimization models of the recently introduced iterative Hessian sketch method for minimizing selfconcordant objective functions [24]. The reader should also note that we can further relax the condition (LABEL:eq:M) and require smoothness of with respect to any image space generated by the random matrix . More precisely, it is sufficient to assume that for any sample there exists a positive semidefinite matrix such that is positive definite on and the following inequality holds:
Note that if for all we recover the relation (LABEL:eq:M). For simplicity of the exposition in the sequel we assume (LABEL:eq:M) to be valid, although all our convergence results can be also extended under previous smoothness condition given in terms of .
From the above discussion it is clear that the direction in our basic update (LABEL:eq:updateRuleIntro) needs to be in the kernel of matrix . However, it is well known that the projection onto is given by the projection matrix:
Clearly, we have . Let us further define the matrix:
\hb@xt@.01(2.7) 
The matrix has some important properties that we will derive below since they are useful for algorithm development. First we observe that:
Lemma 2.2
For any probability distribution the matrix is symmetric (), positive semidefinite (), and for any we have , that is . Moreover, the following identity holds .
Proof. It is clear that is positive semidefinite matrix since is assumed positive semidefinite. It is wellknown that for any given matrix its pseudoinverse satisfies and . Now, for the first statement given the expression of it is sufficient to prove that for . However, if then there exists such that and consequently we have:
where in the last equality we used the first property of pseudoinverse . For the second part of the lemma we use the expression of and the second property of the pseudoinverse applied to the matrix , that is:
which concludes our statements.
Now, since the random matrix is positive semidefinite, then we can define its expected value, which is also a symmetric positive semidefinite matrix:
\hb@xt@.01(2.8) 
In the sequel we also consider the following assumption on the expectation matrix :
Assumption 2.3
We assume that the distribution is chosen such that has a finite mean, that is the matrix is well defined, and positive definite (notation ) on .
As we will see below, Assumption LABEL:ass_Z is a sufficient condition on the probability distribution in order to ensure convergence of our algorithms that will be defined in the sequel. To our knowledge this algebraic characterization of the probability distribution defining the sketch matrices for problems with multiple nonseparable linear constraints seems to be new.
Note that the necessary condition (LABEL:eq:suf1) holds provided that . Indeed, from Lemma (LABEL:lema1) we have for all and . Therefore, we get that and we know that . Let , , then there exists unique and such that . Moreover, we have , i.e. , which implies that . Thus, and . From the last relation, we get:
Moreover, from the definition of the symmetric matrix we have , which combined with the previous relation leads to:
and consequently proving that the condition (LABEL:eq:suf1) holds provided that . Moreover, we can show that the necessary condition (LABEL:eq:suf2) holds if satisfies Assumption LABEL:ass_Z:
Lemma 2.4
Under Assumption LABEL:ass_Z the necessary condition (LABEL:eq:suf2) is valid. Additionally, the following identity takes place:
and consequently is a projection matrix onto , where denotes the pseudoinverse of the matrix .
Proof. Note that Assumption LABEL:ass_Z holds, i.e. on , if and only if on . Moreover, for any nonzero , we have , that is . In conclusion, we get . But, , from which we can conclude (LABEL:eq:suf2).
For the second part we use again Lemma (LABEL:lema1): for all . This means that . The other inclusion follows by reducing to absurd. Assume that there exists such that , or equivalently for some . However, note that on if and only if on , which contradicts our assumption. In conclusion, the second statement holds. Finally, it is wellknown that is an orthogonal projector onto and the rest follows from standard algebraic arguments.
The primaldual ”norms”. Since the matrix is positive semidefinite, matrix is also positive semidefinite. Moreover, from Lemma LABEL:lema1 we conclude that . In the sequel we assume that such that is a positive definite matrix on and consequently on (see Assumption LABEL:ass_Z). Then, we can define a norm induced by the matrix on or even . This norm will be used subsequently for measuring distances in the subspace . More precisely, we define the primal norm induced by the positive semidefinite matrix as:
Note that for all (see Lemma LABEL:lema1) and for all . On the subspace we introduce the extended dual norm:
Using the definition of conjugate norms, the CauchySchwartz inequality holds:
\hb@xt@.01(2.9) 
Lemma 2.5
Under Assumption LABEL:ass_Z the primal and dual norms have the following expressions:
\hb@xt@.01(2.10) 
Proof. Let us consider any . Then, the dual norm can be computed for any as follows:
We obtain an extended dual norm that is well defined on the subspace :
\hb@xt@.01(2.11) 
The eigenvalue decomposition of the positive semidefinite matrix can be written as , where are its positive eigenvalues and the columns of orthogonal matrix are the corresponding eigenvectors, generating and generating . Then, we have:
where are the nonzero eigenvalues of symmetric matrix . From (LABEL:primalnorm) it follows that our newly defined dual norm has the following closed form:
where denotes the pseudoinverse of matrix .
The following example shows that the 2coordinate sampling proposed in [20] (in the presence of a single linear constraint ) is just a special case of the sketching analyzed in this paper:
Example 2.6
Let us consider the following optimization problem:
In this case, assuming that each scalar function has Lipschitz continuous gradient, then . Moreover, we can take any random pair of coordinates with and consider the particular sketch matrix . Note that, for simplicity, we focus here on Lipschitz dependent probabilities for choosing the pair , that is with . Following basic derivations we get:
\hb@xt@.01(2.12) 
Clearly, on and thus Assumption LABEL:ass_Z holds. Similarly, we can compute explicitly and for the fixed selection of the pair of coordinates with .
3 Random Sketch Descent (RSD ) algorithm
For the largescale optimization problem (LABEL:problem) methods which scale cubically, or even quadratically, with the problem size is already out of the question; instead, linear scaling of the computational costs periteration is desired. Clearly, optimization problem (LABEL:problem) can be solved using projected first order methods, such as gradient or accelerated gradient, both algorithms having comparable cost per iteration [23]. In particular, both methods require the computation of the full gradient and finding the optimal solution of a subproblem with quadratic objective over the subspace :
\hb@xt@.01(3.1) 
For example, for the projected gradient method since we assume positive definite on (see Assumption LABEL:ass_lip), then the previous subproblem has a unique solution leading to the following gradient iteration:
\hb@xt@.01(3.2) 
where is obtained by replacing in the definition of the matrix . However, for very large even the first iteration is not computable, since the cost of computing is cubic in the problem dimension (i.e. of order operations) for a dense matrix . Moreover, since usually is a dense matrix regardless of the matrix being dense or spare, the cost of the subsequent iterations is quadratic in the problem size (i.e. ). Therefore, the development of new optimization algorithms that target linear cost per iteration and nearly dimensionindependent convergence rate is needed. These properties can be achieved using the sketch descent framework. In particular, let us assume that the initial iterate is a feasible point, i.e. . Then, the first algorithm we propose, Random Sketch Descent (RSD ) algorithm, chooses at each iteration a random sketch matrix according to the probability distribution and find a new direction solving a simple subproblem (see Algorithm LABEL:alg:rcd below).
Let us explain the update rule of our algorithm RSD . Note that the new direction in the update of RSD is computed from a subproblem with quadratic objective over the subspace that it is simpler than subproblem (LABEL:eq:gsubproblem) corresponding to the full gradient:
We observe that from the feasibility condition we can compute as:
for some . Then, the constrains will not be violated. Now, let’s plug this into the objective function of the subproblem, to obtain an unconstrained problem in :
Then, from the first order optimality conditions we obtain that:
and hence we can define as
In conclusion we obtain the following update rule for our RSD algorithm:
\hb@xt@.01(3.3) 
After iterations of the RSD algorithm, we generate a random output , which depends on the observed implementation of the random variable:
Let us define the expected value of the objective function w.r.t. :
Next, we compute the decrease of the objective function after one random step:
\hb@xt@.01(3.4) 
Then, we obtain the following strict decrease for the objective function in the conditional expectation:
\hb@xt@.01(3.5) 
provided that is not optimal. This holds since we assume that on and since any feasible satisfying is optimal for the original problem. Therefore, RSD algorithm belongs to the class of descent methods.
3.1 Computation cost periteration for RSD
It is easy to observe that if the cost of updating the gradient is negligible, then the cost per iteration in RSD is given by the computational effort of finding the solution of the subproblem. The sketch sampling can be completely dense (e.g. Gaussian random matrix) or can be extremely sparse (e.g. a few columns of the identity matrix).
Case 1: dense sketch matrix . In this case, since we assume (in fact we usually choose of order or even smaller), then the computational cost periteration in the update (LABEL:eq:rcdupdate) is linear in (more precisely of order ) plus the cost of computing the matrix . Clearly, if is also a dense matrix, then the cost of computing the matrix is quadratic in . However, it can be reduced substantially, that is the cost of computing this matrix depends linearly on , when e.g. we have available a decomposition of the matrix as , with and , or is sparse.
Case 2: sparse sketch matrix . For simplicity, we can assume that is chosen as few columns of the identity matrix and thus obtaining a coordinate descent type method. In this case, the cost periteration of RSD is independent of the problem size . For example, the cost of computing is , while the cost of computing is .
In conclusion, in all situations the iteration (LABEL:eq:rcdupdate) of RSD is much computationally cheaper (at least one order of magnitude) than the iteration (LABEL:eq:gupdate) corresponding to the full gradient. Based on the decrease of the objective function (LABEL:expdecreaseM) we can derive different convergence rates for our algorithm RSD depending on the assumptions imposed on the objective function .
3.2 Convergence rate: smooth case
We derive in this section the convergence rate of the sequence generated by the RSD algorithm when the objective function is only smooth (Assumption LABEL:ass_lip). Recall that in the nonconvex settings a feasible is a stationary point for optimization problem (LABEL:problem) if . On the other hand, for any feasible we have the unique decomposition of :
It is clear that if a feasible satisfies , then such an is a stationary point for (LABEL:problem). In conclusion, a good measure of optimality for a feasible is described in terms of . The theorem below provides a convergence rate for the sequence generated by RSD in terms of this optimality measure:
Theorem 3.1
Let be bounded from below, i.e. there exists such that we have and Assumptions LABEL:ass_lip and LABEL:ass_Z hold. Then, the iterates of RSD have the following sublinear convergence rate in expectation:
\hb@xt@.01(3.6) 
Proof. Taking expectation over the entire history in (LABEL:expdecreaseM) we get:
\hb@xt@.01(3.7) 
Summing the previous relation and using that is bounded from below we further get:
Using the unique decomposition for all and since , then we obtain . Therefore, taking the limit as we obtain the asymptotic convergence