Weight Decay
Now that we have characterized the problem of overfitting, we can introduce our first regularization technique. Recall that we can always mitigate overfitting by collecting more training data. However, that can be costly, time consuming, or entirely out of our control, making it impossible in the short run. For now, we can assume that we already have as much high-quality data as our resources permit and focus the tools at our disposal when the dataset is taken as a given.
Recall that in our polynomial regression example (“polynomial curve fitting”) we could limit our model's capacity by tweaking the degree of the fitted polynomial. Indeed, limiting the number of features is a popular technique for mitigating overfitting. However, simply tossing aside features can be too blunt an instrument. Sticking with the polynomial regression example, consider what might happen with high-dimensional input. The natural extensions of polynomials to multivariate data are called monomials, which are simply products of powers of variables. The degree of a monomial is the sum of the powers. For example, , and are both monomials of degree 3.
Note that the number of terms with degree blows up rapidly as grows larger. Given variables, the number of monomials of degree is . Even small changes in degree, say from to , dramatically increase the complexity of our model. Thus we often need a more fine-grained tool for adjusting function complexity.
from d2l import torch as d2l
import torch
from torch import nn
Norms and Weight Decay
(Rather than directly manipulating the number of parameters, weight decay, operates by restricting the values that the parameters can take.) More commonly called regularization outside of deep learning circles when optimized by minibatch stochastic gradient descent, weight decay might be the most widely used technique for regularizing parametric machine learning models. The technique is motivated by the basic intuition that among all functions , the function (assigning the value to all inputs) is in some sense the simplest, and that we can measure the complexity of a function by the distance of its parameters from zero. But how precisely should we measure the distance between a function and zero? There is no single right answer. In fact, entire branches of mathematics, including parts of functional analysis and the theory of Banach spaces, are devoted to addressing such issues.
One simple interpretation might be to measure the complexity of a linear function by some norm of its weight vector, e.g., . Recall that we introduced the norm and norm, which are special cases of the more general norm, in “lin algebra norms”. The most common method for ensuring a small weight vector is to add its norm as a penalty term to the problem of minimizing the loss. Thus we replace our original objective, minimizing the prediction loss on the training labels, with new objective, minimizing the sum of the prediction loss and the penalty term. Now, if our weight vector grows too large, our learning algorithm might focus on minimizing the weight norm rather than minimizing the training error. That is exactly what we want. To illustrate things in code, we revive our previous example from “linear regression” for linear regression. There, our loss was given by
Recall that are the features, is the label for any data example , and are the weight and bias parameters, respectively. To penalize the size of the weight vector, we must somehow add to the loss function, but how should the model trade off the standard loss for this new additive penalty? In practice, we characterize this trade-off via the regularization constant , a nonnegative hyperparameter that we fit using validation data:
For , we recover our original loss function. For , we restrict the size of . We divide by by convention: when we take the derivative of a quadratic function, the and cancel out, ensuring that the expression for the update looks nice and simple. The astute reader might wonder why we work with the squared norm and not the standard norm (i.e., the Euclidean distance). We do this for computational convenience. By squaring the norm, we remove the square root, leaving the sum of squares of each component of the weight vector. This makes the derivative of the penalty easy to compute: the sum of derivatives equals the derivative of the sum.
Moreover, you might ask why we work with the norm in the first place and not, say, the norm. In fact, other choices are valid and popular throughout statistics. While -regularized linear models constitute the classic ridge regression algorithm, -regularized linear regression is a similarly fundamental method in statistics, popularly known as lasso regression. One reason to work with the norm is that it places an outsize penalty on large components of the weight vector. This biases our learning algorithm towards models that distribute weight evenly across a larger number of features. In practice, this might make them more robust to measurement error in a single variable. By contrast, penalties lead to models that concentrate weights on a small set of features by clearing the other weights to zero. This gives us an effective method for feature selection, which may be desirable for other reasons. For example, if our model only relies on a few features, then we may not need to collect, store, or transmit data for the other (dropped) features.
Using the same notation in “linreg batch update”, minibatch stochastic gradient descent updates for -regularized regression as follows:
\mathbf{w} & \leftarrow \left(1- \eta\lambda \right) \mathbf{w} - \frac{\eta}{|\mathcal{B}|} \sum_{i \in \mathcal{B}} \mathbf{x}^{(i)} \left(\mathbf{w}^\top \mathbf{x}^{(i)} + b - y^{(i)}\right). \end{aligned}$$ As before, we update $\mathbf{w}$ based on the amount by which our estimate differs from the observation. However, we also shrink the size of $\mathbf{w}$ towards zero. That is why the method is sometimes called "weight decay": given the penalty term alone, our optimization algorithm *decays* the weight at each step of training. In contrast to feature selection, weight decay offers us a mechanism for continuously adjusting the complexity of a function. Smaller values of $\lambda$ correspond to less constrained $\mathbf{w}$, whereas larger values of $\lambda$ constrain $\mathbf{w}$ more considerably. Whether we include a corresponding bias penalty $b^2$ can vary across implementations, and may vary across layers of a neural network. Often, we do not regularize the bias term. Besides, although $\ell_2$ regularization may not be equivalent to weight decay for other optimization algorithms, the idea of regularization through shrinking the size of weights still holds true. ## High-Dimensional Linear Regression We can illustrate the benefits of weight decay through a simple synthetic example. First, we [**generate some data as before**]: (**$$y = 0.05 + \sum_{i = 1}^d 0.01 x_i + \epsilon \textrm{ where } \epsilon \sim \mathcal{N}(0, 0.01^2).$$**) In this synthetic dataset, our label is given by an underlying linear function of our inputs, corrupted by Gaussian noise with zero mean and standard deviation 0.01. For illustrative purposes, we can make the effects of overfitting pronounced, by increasing the dimensionality of our problem to $d = 200$ and working with a small training set with only 20 examples. ```python class Data(d2l.DataModule): def __init__(self, num_train, num_val, num_inputs, batch_size): self.save_hyperparameters() n = num_train + num_val if tab.selected('mxnet') or tab.selected('pytorch'): self.X = d2l.randn(n, num_inputs) noise = d2l.randn(n, 1) * 0.01 if tab.selected('tensorflow'): self.X = d2l.normal((n, num_inputs)) noise = d2l.normal((n, 1)) * 0.01 if tab.selected('jax'): self.X = jax.random.normal(jax.random.PRNGKey(0), (n, num_inputs)) noise = jax.random.normal(jax.random.PRNGKey(0), (n, 1)) * 0.01 w, b = d2l.ones((num_inputs, 1)) * 0.01, 0.05 self.y = d2l.matmul(self.X, w) + b + noise def get_dataloader(self, train): i = slice(0, self.num_train) if train else slice(self.num_train, None) return self.get_tensorloader([self.X, self.y], train, i) ``` ## Implementation from Scratch Now, let's try implementing weight decay from scratch. Since minibatch stochastic gradient descent is our optimizer, we just need to add the squared $\ell_2$ penalty to the original loss function. ### (**Defining $\ell_2$ Norm Penalty**) Perhaps the most convenient way of implementing this penalty is to square all terms in place and sum them. ```python def l2_penalty(w): return d2l.reduce_sum(w**2) / 2 ``` ### Defining the Model In the final model, the linear regression and the squared loss have not changed since “linear scratch”, so we will just define a subclass of `d2l.LinearRegressionScratch`. The only change here is that our loss now includes the penalty term. ```python class WeightDecayScratch(d2l.LinearRegressionScratch): def __init__(self, num_inputs, lambd, lr, sigma=0.01): super().__init__(num_inputs, lr, sigma) self.save_hyperparameters() def loss(self, y_hat, y): return (super().loss(y_hat, y) + self.lambd * l2_penalty(self.w)) ``` The following code fits our model on the training set with 20 examples and evaluates it on the validation set with 100 examples. ```python data = Data(num_train=20, num_val=100, num_inputs=200, batch_size=5) trainer = d2l.Trainer(max_epochs=10) def train_scratch(lambd): model = WeightDecayScratch(num_inputs=200, lambd=lambd, lr=0.01) model.board.yscale='log' trainer.fit(model, data) if tab.selected('pytorch', 'mxnet', 'tensorflow'): print('L2 norm of w:', float(l2_penalty(model.w))) if tab.selected('jax'): print('L2 norm of w:', float(l2_penalty(trainer.state.params['w']))) ``` ### [**Training without Regularization**] We now run this code with `lambd = 0`, disabling weight decay. Note that we overfit badly, decreasing the training error but not the validation error---a textbook case of overfitting. ```python train_scratch(0) ``` ### [**Using Weight Decay**] Below, we run with substantial weight decay. Note that the training error increases but the validation error decreases. This is precisely the effect we expect from regularization. ```python train_scratch(3) ``` ## [**Concise Implementation**] Because weight decay is ubiquitous in neural network optimization, the deep learning framework makes it especially convenient, integrating weight decay into the optimization algorithm itself for easy use in combination with any loss function. Moreover, this integration serves a computational benefit, allowing implementation tricks to add weight decay to the algorithm, without any additional computational overhead. Since the weight decay portion of the update depends only on the current value of each parameter, the optimizer must touch each parameter once anyway. :begin_tab:`mxnet` Below, we specify the weight decay hyperparameter directly through `wd` when instantiating our `Trainer`. By default, Gluon decays both weights and biases simultaneously. Note that the hyperparameter `wd` will be multiplied by `wd_mult` when updating model parameters. Thus, if we set `wd_mult` to zero, the bias parameter $b$ will not decay. :end_tab: :begin_tab:`pytorch` Below, we specify the weight decay hyperparameter directly through `weight_decay` when instantiating our optimizer. By default, PyTorch decays both weights and biases simultaneously, but we can configure the optimizer to handle different parameters according to different policies. Here, we only set `weight_decay` for the weights (the `net.weight` parameters), hence the bias (the `net.bias` parameter) will not decay. :end_tab: :begin_tab:`tensorflow` Below, we create an $\ell_2$ regularizer with the weight decay hyperparameter `wd` and apply it to the layer's weights through the `kernel_regularizer` argument. :end_tab: ```python class WeightDecay(d2l.LinearRegression): def __init__(self, wd, lr): super().__init__(lr) self.save_hyperparameters() self.wd = wd def configure_optimizers(self): return torch.optim.SGD([ {'params': self.net.weight, 'weight_decay': self.wd}, {'params': self.net.bias}], lr=self.lr) ``` [**The plot looks similar to that when we implemented weight decay from scratch**]. However, this version runs faster and is easier to implement, benefits that will become more pronounced as you address larger problems and this work becomes more routine. ```python model = WeightDecay(wd=3, lr=0.01) model.board.yscale='log' trainer.fit(model, data) if tab.selected('jax'): print('L2 norm of w:', float(l2_penalty(model.get_w_b(trainer.state)[0]))) if tab.selected('pytorch', 'mxnet', 'tensorflow'): print('L2 norm of w:', float(l2_penalty(model.get_w_b()[0]))) ``` So far, we have touched upon one notion of what constitutes a simple linear function. However, even for simple nonlinear functions, the situation can be much more complex. To see this, the concept of [reproducing kernel Hilbert space (RKHS)](https://en.wikipedia.org/wiki/Reproducing_kernel_Hilbert_space) allows one to apply tools introduced for linear functions in a nonlinear context. Unfortunately, RKHS-based algorithms tend to scale poorly to large, high-dimensional data. In this book we will often adopt the common heuristic whereby weight decay is applied to all layers of a deep network. ## Summary Regularization is a common method for dealing with overfitting. Classical regularization techniques add a penalty term to the loss function (when training) to reduce the complexity of the learned model. One particular choice for keeping the model simple is using an $\ell_2$ penalty. This leads to weight decay in the update steps of the minibatch stochastic gradient descent algorithm. In practice, the weight decay functionality is provided in optimizers from deep learning frameworks. Different sets of parameters can have different update behaviors within the same training loop. ## Exercises 1. Experiment with the value of $\lambda$ in the estimation problem in this section. Plot training and validation accuracy as a function of $\lambda$. What do you observe? 1. Use a validation set to find the optimal value of $\lambda$. Is it really the optimal value? Does this matter? 1. What would the update equations look like if instead of $\|\mathbf{w}\|^2$ we used $\sum_i |w_i|$ as our penalty of choice ($\ell_1$ regularization)? 1. We know that $\|\mathbf{w}\|^2 = \mathbf{w}^\top \mathbf{w}$. Can you find a similar equation for matrices (see the Frobenius norm in “lin algebra norms”)? 1. Review the relationship between training error and generalization error. In addition to weight decay, increased training, and the use of a model of suitable complexity, what other ways might help us deal with overfitting? 1. In Bayesian statistics we use the product of prior and likelihood to arrive at a posterior via $P(w \mid x) \propto P(x \mid w) P(w)$. How can you identify $P(w)$ with regularization? :begin_tab:`mxnet` :end_tab: :begin_tab:`pytorch` :end_tab: :begin_tab:`tensorflow` :end_tab: :begin_tab:`jax` :end_tab: