Stochastic Gradient Descent (SGD) has turned out to be a workhorse for most gradient-based supervised learning algorithms today. But, why does that work? This post presents an understanding from recent  theoretical results which gives insights into the properties of this algorithm.
Formally, we define the general problem of stochastic optimization given a random variable as
In supervised learning, this framework is seen in the form of Empirical Risk Minimization (ERM) where the aim is to search the d-dimensional parameter space , so that we minimize the expected risk (colloquially know as loss) over the given data. is a single sample from this data . Concisely, we write this in a finite sum form
where . For instance, could represent the Squared Loss function. Having minimized the risk, we declare the system "learned".
From basic convex optimization theory, a closed form solution to a (strongly) convex minimization problem is to solve the system of linear equations after equating the derivative to zero. In other cases an analytical solution might not even be possible. It is well known that calculating the gradient over the complete sample becomes computationally prohibitive when the number of samples become very large (which is typically the case). Therefore, we approximate the gradient step by considering a small batch of the samples (sometimes just one) which is what the core of SGD contains. It is easy to show that this is an unbiased estimator of the true gradient, i.e . The canonical form of the parameter update is then written as
which can be intuitively seen as a step in the opposite direction of steepest ascent (and hence the name gradient descent). represents the step size in that direction. Make it too small, SGD will take a long time to converge to the solution. Make it too large, SGD will most likely never find a solution. is typically a constant value with respect to time steps in vanilla SGD.
It has been observed that when the components of are far from the optimal solution, SGD wanders erratically around the optimum causing high variance in the descent path (see graph on the right above). Variance reduction techniques like RMSProp and Adam provide faster and smoother path to convergence by varying with the time steps (see graph on the left above).
Now that we have setup a quick background to realize the problem this work is trying to solve, here is the crux of the proposed results.
We can achieve fast convergence rates using Stochastic Gradient Descent for both convex and non-convex cases, until some accuracy is reached. This can be done with a reasonably large fixed step size without using variance reduction techniques.
This claim is interesting because it is a step towards the theoretical understanding of why SGD behaves the way it does.
One way to understand the behavior of SGD algorithm is to bind the expected value (over samples from the population) of the difference of objective values at the end of epoch. In Learning Theory literature, we derive such "concentration bounds" so as to explain how the empirical estimates "concentrate" around the true estimate. Quite understandably, we want the RHS of these inequalities to be as small as possible for a good generalization behavior.
The main result from the work in  for convex objectives is paraphrased below
Suppose that is L-smooth and convex for every realization of . With , for any we have
where is any optimal solution of , is the initial solution, , and .
where L-smoothness is defined as
A function is -Smooth if there exists a constant such that
This result is quite dense with information. A few key definitions are important to understand this.
From calculus, we know that the gradient vanishes at a stationary point but since we are now approximating gradients, we can only analyze how well it "concentrates" around the true optimum. In light of this, the quantity represents the probability of the gradient norm being less than a small positive value . represents the average bound for large gradients. Quite understandably, we also see that the initial solution also affects the viability of this bound.
It should be observed that as decreases, increases. Owing to this dynamic, if we hover around the region where , then SGD uniformly converges in the neighborhood of which is a tighter bound than previous results [2, 3].
The result shown above shows dependence on the initial solution, and . If we now restrict and (only for notational simplication), we get the following bound
and for ,
Hence, under the key assumptions stated above and bounding , we achieve the optimality gap. This bound tells us that with sufficient time steps, the vanilla SGD algorithm can uniformly converge to the true optimum within a given accuracy estimate . This is indeed contingent on the probability that the stochastic gradients have a norm below at the solution. Increasing the batch size, we can expect to hold for small values of making the bounds even better. In the limit of arbitrarily small we basically recover the gradient.
A similar analysis for non-convex objectives is also presented in . Empirical results reported in the work show that SGD tends to be faster than other techniques like SVRG and L-BFGS which is quite fascinating. It should also be noted there that the specific form of the objective function doesn't matter as long as it satisfies the smoothness property.
One could point out that most objectives that we encounter in Neural Networks generally tend to be non-convex. How could the analysis of convex objectives even be of importance? The motivation lies in the fact that stationary points will fall in a "locally" convex neighborhood. A convex analysis above would be a great help in analyzing and understanding the properties of SGD in such neighborhoods. Removing this local constraint can only make things better.
However, one must be wary of such theoretical bounds. They are only meant to be indicative of behavior in practice. These bounds act as a tool for investigation of properties or in others as a tool for the invention of new algorithms. The calculation of the terms in concentration bounds is helpful to provide empirical evidence of an overall trend. However, for most situations, searching for exact values is a fruitless endeavor and the bounds are only meant to nudge us in the right conceptual direction.