Machine LearningA regression example: linear models
A very common approach to estimating the regression function for a particular joint distribution is to assume that it takes a particular form. For example, to perform a linear regression, we posit that for some constants and . To estimate from the observations , we can minimize the empirical mean squared error (also known as the residual sum of squares:
Example
Find the value of which minimizes .
Solution. We can write as
where and
The function
we can solve to find that
is the only critical point. Therefore, it must be the unique global minimizer.
Let's apply this formula to find the linear regression estimate for the exam-scores example in the statistics course.
include("data-gymnasia/exam-studying.jl") y = [Y for (X,Y) in observations] X = [ones(n) [X for (X,Y) in observations]] β = (X'*X) \ X'*y # (computes (X'X)⁻¹X'y) scatter(observations, label = "observations") plot!(xs, [β'*[1,x] for x in xs], label = "empirical risk minimizer")
We can also use linear regression techniques to handle polynomial regression. If we posit that
then we find the coefficients
where
Example
Perform a quadratic regression on the exam-scores example, and show that its integrated squared difference from the true regression function is lower than that of the linear estimator and the Nadaraya-Watson estimator.
Solution.
We perform the quadratic regression by doing the same calculation as for the linear regression but with an extra column in
y = [Y for (X,Y) in observations] X = [ones(n) [X for (X,Y) in observations] [X^2 for (X,Y) in observations]] βq = (X'*X) \ X'*y quaderr = sum((r(x)-βq'*[1,x,x^2])^2 for x in xs)*step(xs) print("error for quadratic estimator is $quaderr") linerr = sum((r(x)-β'*[1,x])^2 for x in xs)*step(xs) print("error for linear estimator is $linerr") scatter(observations, label = "observations") plot!(xs, [βq'*[1,x,x^2] for x in xs], label = "quadratic regression estimator")
The results of this example are telling: the true regression function was quadratic for this example, and assuming quadraticness enabled us to achieve more than three times lower error than for the nonparametric estimator. On the other hand, the assumption that the regression function is linear resulted in significantly greater error. Thus we see that
Exercise
Despite their simplicity, linear models are quite capable of overfitting. Ridge and Lasso regression address this problem by adding a term to the loss functional which penalizes large coefficients. In this problem, we will explore how these methods behave on a simulated example where the response variable is defined to be a linear combination of some of the feature variables, while other features are nearly linearly dependent.
(a) Execute this cell to see what happens if there is nearly a linear dependence relationship among the features. Note that the loss minimizer is [3, 1, -4, 0, 0, 0, 0, 0, 0, 0]
, since we are defining the response variable so that it has a conditional expectation given
using Plots, Random Random.seed!(12) function groupedbar(β) bar([3; 1; -4; zeros(7)], bar_width = 0.4, label = "actual coefficients", legend = :topleft) bar!((1:length(β)) .+ 0.4, β, bar_width = 0.4, label = "coefficients from fit") end n = 10 # generate n-1 features, together with a column of ones: X = [ones(n) randn(n, n-1)] # make the last two columns nearly parallel X[:,10] = 3X[:,9] .+ 0.01randn(n) # response variable depends on first two features: y = 3.0 .+ X[:,2] .- 4X[:,3] + 0.1randn(n) β = X \ y groupedbar(β)
(b) Execute this cell to see how ridge regression mitigates the problems you observed in (a):
using Optim, LinearAlgebra λ = 1 o = optimize(β -> sum((y - X*β).^2) + λ*β[2:end]'*β[2:end], ones(10)) groupedbar(o.minimizer)
(c) Execute this cell to see how lasso regression compares to ridge regression.
λ = 1 o = optimize(β -> sum((y - X*β).^2) + λ*norm(β[2:end],1), ones(10)) groupedbar(o.minimizer)
Which model does the best job of zeroing out the coefficients that should be zero, in this example?
Solution. With no regularization, the coefficients for the last two features are very large. Ridge and lasso both reduce this problem substantially, although lasso does a better job of getting the coefficients that should be zero very close to zero. An explanation for this phenomenon is discussed in the optimization section of the Multivariable Calculus course.