Now that we have introduced somewhat more formally the learning problem and its notation lets us study a simple but instructive regression problem that is known in the statistics literature as shrinkage.
Suppose that we are given the training set \(\mathbf{x} = \{x_1,...,x_m\}\) together with their labels, the vectors \(\mathbf{y}\). We need to construct a model such that a suitably chosen loss function is minimized for a different set of input data, the so-called test set. The ability to correctly predict when observing the test set, is called generalization.
Training Dataset (m=10) for the Regression Model. The green curve is the uknown target function. Please replace the label axis denoted by \(t\) with \(y\) to make it compatible with our notation.
Since the output \(y\) is a continuous variable then the supervised learning problem is called a regression problem (otherwise its a classification problem). The synthetic dataset is generated by the function \(\sin(2 \pi x) + ϵ\) where \(x\) is a uniformly distributed random variable and \(ϵ\) is \(N(\mu=0.0, \sigma^2=0.3)\). This target function is completely unknown to us - we just mention it here just to provide a visual clue of what the hypothesis set needs to aspire to.
!pip install git+https://github.com/pantelis-classes/PRML.git#egg=prmlimport seaborn as sns# Apply the default themesns.set_theme()
Collecting prml
Cloning https://github.com/pantelis-classes/PRML.git to /tmp/pip-install-u56rgxv9/prml_549867dfcd3f444992ead201b926f214
Running command git clone --filter=blob:none --quiet https://github.com/pantelis-classes/PRML.git /tmp/pip-install-u56rgxv9/prml_549867dfcd3f444992ead201b926f214
Resolved https://github.com/pantelis-classes/PRML.git to commit 6c7ef85da419a644a4a4feb7ab538d2f4f15d46b
Preparing metadata (setup.py) ... done
Requirement already satisfied: numpy in /workspaces/engineering-ai-agents/.venv/lib/python3.11/site-packages (from prml) (1.26.4)
Requirement already satisfied: scipy in /workspaces/engineering-ai-agents/.venv/lib/python3.11/site-packages (from prml) (1.16.0)
Building wheels for collected packages: prml
Building wheel for prml (setup.py) ... done
Created wheel for prml: filename=prml-0.0.1-py3-none-any.whl size=88378 sha256=501862446168ef175115dd98c3903afa9b51c2aaedd7ac4488e4e1d3312c770a
Stored in directory: /tmp/pip-ephem-wheel-cache-55ore5eo/wheels/be/c7/69/639b72a88940bc45c2c531c36b623139c05036dab44d33b761
Successfully built prml
Installing collected packages: prml
Successfully installed prml-0.0.1
[notice] A new release of pip is available: 24.0 -> 25.1.1[notice] To update, run: pip install --upgrade pip
where \(\phi_j(\mathbf x)\) are know as basis functions. A set of Polynomial, Gaussian and Sigmoidal basis functions are plotted below.
x = np.linspace(-1, 1, 100)X_polynomial = PolynomialFeature(11).transform(x[:, None])X_gaussian = GaussianFeature(np.linspace(-1, 1, 11), 0.1).transform(x)X_sigmoidal = SigmoidalFeature(np.linspace(-1, 1, 11), 10).transform(x)plt.figure(figsize=(20, 5))for i, X inenumerate([X_polynomial, X_gaussian, X_sigmoidal]): plt.subplot(1, 3, i +1)for j inrange(12): plt.plot(x, X[:, j])txt ="Polynomial, Gaussian and Sigmoidal basis functions"plt.figtext(0.5, 0.01, txt, wrap=True, horizontalalignment="center", fontsize=12)
Text(0.5, 0.01, 'Polynomial, Gaussian and Sigmoidal basis functions')
Our job is to find \(\mathbf{w}\) such that the polynomial expansion above fits the data we are given - as we will see there are multiple hypothesis that can satisfy this requirement. Consistent with the block diagram we need to define a metric, an figure of merit or loss function in fact, that is also a common metric in regression problems of this nature. This is the Mean Squared Error (MSE) function.
Figure 1: The loss function chosen for this regression problem, corresponds to the sum of the squares of the displacements of each data point and our hypothesis. The sum of squares in the case of Gaussian errors gives raise to an (unbiased) Maximum Likelihood estimate of the model parameters. Contrast this to sum of absolute differences.
Now our job has become to choose two things: the weight vector \(\mathbf{w^*}\)and\(M\) the order of the polynomial. Both define our hypothesis. If you think about it, the order \(M\) defines the model complexity in the sense that the larger \(M\) becomes the more the number of weights we need to estimate and store. Obviously this is a trivial example and storage is not a concern here but treat this example as instructive for that it applies in far for complicated settings.
Various final hypotheses.
Obviously you can reduce the training error to almost zero by selecting a model that is complicated enough (M=9) to perfectly fit the training data (if m is small).
Loss Function
But this is not what you want to do. Because when met with test data, the model will perform far worse than a less complicated model that is closer to the true model (e.g. M=3). This is a central observation in statistical learning called overfitting. In addition, you may not have the time to iterate over M (very important in online learning settings).
M =9# Pick one of the three features belowfeature = PolynomialFeature(M)# feature = GaussianFeature(np.linspace(0, 1, M), 0.1)# feature = SigmoidalFeature(np.linspace(0, 1, M), 10)X_train = feature.transform(x_train)X_test = feature.transform(x_test)model = LinearRegression()model.fit(X_train, y_train)plt.figure(figsize=[10, 8])plt.plot(model.w)plt.xlabel("index of $w$")plt.ylabel("$w$")y, y_std = model.predict(X_test, return_std=True)plt.figure(figsize=[10, 8])plt.scatter(x_train, y_train, facecolor="none", edgecolor="b", s=50, label="training data")plt.plot(x_test, y, label="mean")plt.fill_between(x_test, y - y_std, y + y_std, color="orange", alpha=0.5, label="std.")plt.legend()plt.xlabel("$x$")plt.ylabel("$y$")plt.show()
To avoid overfitting we have multiple strategies. One straightforward one is evident by observing the wild oscillations of the \(\mathbf{w}\) elements as the model complexity increases. We can penalize such oscillations by introducing the \(l_2\) norm of \(\mathbf{w}\) in our loss function.
This type of solution is called regularization and because we effectively shrink the weight dynamic range it is also called in statistics shrinkage or ridge regression. We have introduced a new parameter \(\lambda\) that regulates the relative importance of the penalty term as compared to the MSE. This parameter together with the polynomial order is what we call hyperparameters and we need to optimize them as both are needed for the determination of our final hypothesis \(g\).
The graph below show the results of each search iteration on the \(\lambda\) hyperparameter.
Loss Function
model = RidgeRegression(alpha=1e-3)model.fit(X_train, y_train)y = model.predict(X_test)plt.figure(figsize=[10, 8])plt.scatter(x_train, y_train, facecolor="none", edgecolor="b", s=50, label="training data")plt.plot(x_test, y, label="Regularized Final Hypothesis")plt.legend()plt.show()
Bias and Variance Decomposition during the training process
Apart from the composition of the generalization error for various model capacities, it is interesting to make some general comments regarding the decomposition of the generalization error (also known as empirical risk) during training. Early in training the bias is large because the network output is far from the design function. The variance is very small because the data has had little influence yet. Late in training the bias is small because the network has learned the underlying function. However if train for too long then the network will also have learned the noise specific to the dataset (overfitting). In such case the variance will be large because the noise varies between training and test datasets.