《动手学深度学习》第一次打卡

线性回归

基本要素

模型定义

线性回归适用于回归问题，输出是一个连续值。以一个简单的房屋价格预测为例子，我们假设价格$y$（元）只取决于房屋状况的两个因素，即面积$x_1$（平方米）和房龄$x_2$（年）。建立基于输入$x_1$和$x_2$来计算输出$y$的表达式，也就是模型（model），线性回归假设输出与各个输入之间是线性关系：
$$\hat{y}=x_1{w}_1+x_2{w}_2+b$$
其中$w_1$和$w_2$是权重（weight），$b$是偏差（bias），它们是线性回归模型的参数（parameter），模型输出$\hat{y}$是线性回归对真实价格$y$的预测或估计。

模型训练

接下来需要进行模型训练（model training）：通过数据来寻找特定的模型参数值，使模型在数据上的误差尽可能小。模型训练涉及3个要素：

训练数据

通常是真实收集的一系列数据，在机器学习术语中被称为训练数据集（training data set）或训练集（training set），如例子的一栋房屋被称为一个样本（sample），其真实售出价格叫作标签（label），用来预测标签的两个因素叫作特征（feature），特征用来表征样本的特点。假设采集的样本数为$n$，索引为$i$的样本的特征为$x_1^{(i)}$和$x_2^{(i)}$，标签为$y^{(i)}$，其线性回归模型的房屋价格预测表达式为：
$${\hat{y}}^{(i)}=x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b$$

损失函数

将衡量误差的函数称为损失函数（loss function），这里使用平方误差函数（也称为平方损失square loss），对于索引为$i$的样本，其误差表达式为：
$${\ell }^{(i)}(w_1,w_2,b)=\frac{1}{2}({\hat{y}}^{(i)}-y^{(i)}{)}^2$$
通常用训练数据集中所有样本误差的平均来衡量模型预测的质量，即:
$$\ell (w_1,w_2,b)=\frac{1}{n}\sum _{i=1}^n{\ell }^{(i)}(w_1,w_2,b)=\frac{1}{n}\sum _{i=1}^n\frac{1}{2}{\left(x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)}\right)}^2$$
在模型训练中，希望能找到一组模型参数，记为$w_1^{\ast },w_2^{\ast },b^{\ast }$，使训练样本平均损失最小：
$$w_1^{,}{w}_2^{,}{b}^{\ast }=\underset{w_1,w_2,b}{\mathrm{argmin}}\ell (w_1,w_2,b)$$

优化算法

若模型和损失函数形式较为简单，上面的误差最小问题可以有解析解（analytical solution），线性回归和平方误差就属于这类问题。而大多数深度学习模型只能通过优化算法有限次迭代模型参数来尽可能降低损失函数的值，称为数值解（numerical solution）。

小批量随机梯度下降（mini-batch stochastic gradient descent）是一种常用的求解数值解的优化算法。它在每次迭代中，先随机均匀采样一个由固定数目训练数据样本所组成的小批量（mini-batch）$\mathcal{B}$，然后求小批量中数据样本的平均损失有关模型参数的导数（梯度），最后用此结果与预先设定的一个正数的乘积作为模型参数在本次迭代的减小量。

在线性回归模型中，每个参数将作如下迭代：
$$\begin{array}{rl}{w}_1& \leftarrow w_1-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}\frac{\partial {\ell }^{(i)}(w_1,w_2,b)}{\partial w_1}=w_1-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}{x}_1^{(i)}\left(x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)}\right)\\ w_2& \leftarrow w_2-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}\frac{\partial {\ell }^{(i)}(w_1,w_2,b)}{\partial w_2}=w_2-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}{x}_2^{(i)}\left(x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)}\right)\\ b& \leftarrow b-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}\frac{\partial {\ell }^{(i)}(w_1,w_2,b)}{\partial b}=b-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}\left(x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)}\right).\end{array}$$
式中：$|\mathcal{B}|$ 代表每个小批量中的样本个数（批量大小，batch size）；

​ $\eta$ 称作学习率（learning rate）并取正数。

矢量计算表达式

如果我们对训练数据集里的3个房屋样本（索引分别为1、2和3）逐一预测价格，将得：
$$\begin{array}{rl}{\hat{y}}^{(1)}& =x_1^{(1)}{w}_1+x_2^{(1)}{w}_2+b\\ {\hat{y}}^{(2)}& =x_1^{(2)}{w}_1+x_2^{(2)}{w}_2+b\\ {\hat{y}}^{(3)}& =x_1^{(3)}{w}_1+x_2^{(3)}{w}_2+b.\end{array}$$
将上面3个等式转化成矢量计算，设

$$\hat{\mathbf{y}}=\left[\begin{array}{c}{\hat{y}}^{(1)}\\ {\hat{y}}^{(2)}\\ {\hat{y}}^{(3)}\end{array}\right],\mathbf{X}=\left[\begin{array}{cc}{x}_1^{(1)}& x_2^{(1)}\\ x_1^{(2)}& x_2^{(2)}\\ x_1^{(3)}& x_2^{(3)}\end{array}\right],\mathbf{w}=\left[\begin{array}{c}{w}_1\\ w_2\end{array}\right]$$
那么对3个房屋样本预测价格的矢量计算表达式为$\hat{\mathbf{y}}=\mathbf{X}\mathbf{w}+b$。

一般地，当数据样本数为 $n$，特征数为 $d$ 时，线性回归的矢量计算表达式为：
$$\hat{\mathbf{y}}=\mathbf{X}\mathbf{w}+b$$
其中模型输出 $\hat{\mathbf{y}}\in {\mathbb{R}}^{n\times 1}$ 批量数据样本特征 $\mathbf{X}\in {\mathbb{R}}^{n\times d}$，权重 $\mathbf{w}\in {\mathbb{R}}^{d\times 1}$， 偏差 $b\in \mathbb{R}$。

相应地，批量数据样本标签 $\mathbf{y}\in {\mathbb{R}}^{n\times 1}$，设模型参数 $\mathbf{\theta }=[w_1,w_2,b{]}^{\top }$，损失函数可以表示为：
$$\ell (\mathbf{\theta })=\frac{1}{2n}(\hat{\mathbf{y}}-\mathbf{y}{)}^{\top }(\hat{\mathbf{y}}-\mathbf{y})$$
小批量随机梯度下降的迭代步骤为：
$$\mathbf{\theta }\leftarrow \mathbf{\theta }-\frac{\eta }{|\mathcal{B}|}\sum _{i\in \mathcal{B}}{\nabla }_{\mathbf{\theta }}{\ell }^{(i)}(\mathbf{\theta })$$
其中梯度是损失有关3个为标量的模型参数的偏导数组成的向量：
$${\nabla }_{\mathbf{\theta }}{\ell }^{(i)}(\mathbf{\theta })=\left[\begin{array}{c}\frac{\partial {\ell }^{(i)}(w_1,w_2,b)}{\partial w_1}\\ \frac{\partial {\ell }^{(i)}(w_1,w_2,b)}{\partial w_2}\\ \frac{\partial {\ell }^{(i)}(w_1,w_2,b)}{\partial b}\end{array}\right]=\left[\begin{array}{c}{x}_1^{(i)}(x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)})\\ x_2^{(i)}(x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)})\\ x_1^{(i)}{w}_1+x_2^{(i)}{w}_2+b-y^{(i)}\end{array}\right]=\left[\begin{array}{c}{x}_1^{(i)}\\ x_2^{(i)}\\ 1\end{array}\right]({\hat{y}}^{(i)}-y^{(i)})$$

softmax回归

对于离散值预测问题，可以采用如softmax回归在内的分类模型，softmax回归的输出单元从一个变成多个，且引入softmax运算使输出更适合离散值的预测和训练。

分类问题

考虑一个简单的图像分类问题，其输入图像的高和宽均为2像素，且色彩为灰度。这样每个像素值都可以用一个标量表示。我们将图像中的4像素分别记为$x_1,x_2,x_3,x_4$。假设训练数据集中图像的真实标签为狗、猫或鸡（假设可以用4像素表示出这3种动物），这些标签分别对应离散值$y_1,y_2,y_3$。通常使用离散的数值来表示类别，例如$y_1=1,y_2=2,y_3=3$。如此，一张图像的标签为1、2和3这3个数值中的一个。

softmax回归模型

softmax回归将输入特征与权重做线性叠加，输出值个数等于标签里的类别数。因为一共有4种特征和3种输出动物类别，所以权重包含12个标量（带下标的$w$）、偏差包含3个标量（带下标的$b$），且对每个输入计算$o_1,o_2,o_3$这3个输出：
$$\begin{array}{rl}{o}_1& =x_1{w}_{11}+x_2{w}_{21}+x_3{w}_{31}+x_4{w}_{41}+b_1,\\ o_2& =x_1{w}_{12}+x_2{w}_{22}+x_3{w}_{32}+x_4{w}_{42}+b_2,\\ o_3& =x_1{w}_{13}+x_2{w}_{23}+x_3{w}_{33}+x_4{w}_{43}+b_3.\end{array}$$
softmax运算符（softmax operator）通过下式将输出值变换成值为正且和为1的概率分布：

$${\hat{y}}_1,{\hat{y}}_2,{\hat{y}}_3=\text{softmax}(o_1,o_2,o_3)$$
其中：
$$\hat{y}1=\frac{\exp (o_1)}{\sum {i=1}^3\exp (o_i)},\hat{y}2=\frac{\exp (o_2)}{\sum {i=1}^3\exp (o_i)},\hat{y}3=\frac{\exp (o_3)}{\sum {i=1}^3\exp (o_i)}$$
则有：${\hat{y}}_1+{\hat{y}}_2+{\hat{y}}_3=1$且$0\le {\hat{y}}_1,{\hat{y}}_2,{\hat{y}}_3\le 1$

因为$$\underset{i}{\mathrm{argmax}}{o}_i=\underset{i}{\mathrm{argmax}}{\hat{y}}_i$$，所以softmax运算不改变预测类别输出。

单样本分类的矢量计算表达式

为了提高计算效率可以将单样本分类通过矢量计算来表达。在上面的图像分类问题中，假设softmax回归的权重和偏差参数分别为：
$$\mathbf{W}=\left[\begin{array}{ccc}{w}_{11}& w_{12}& w_{13}\\ w_{21}& w_{22}& w_{23}\\ w_{31}& w_{32}& w_{33}\\ w_{41}& w_{42}& w_{43}\end{array}\right],\mathbf{b}=\left[\begin{array}{ccc}{b}_1& b_2& b_3\end{array}\right]$$
设高和宽分别为2个像素的图像样本$i$的特征为：
$${\mathbf{x}}^{(i)}=\left[\begin{array}{cccc}{x}_1^{(i)}& x_2^{(i)}& x_3^{(i)}& x_4^{(i)}\end{array}\right]$$
输出层的输出为：
$${\mathbf{o}}^{(i)}=\left[\begin{array}{ccc}{o}_1^{(i)}& o_2^{(i)}& o_3^{(i)}\end{array}\right]$$
预测为狗、猫或鸡的概率分布为：
$${\hat{\mathbf{y}}}^{(i)}=\left[\begin{array}{ccc}{\hat{y}}_1^{(i)}& {\hat{y}}_2^{(i)}& {\hat{y}}_3^{(i)}\end{array}\right]$$
softmax回归对样本$i$分类的矢量计算表达式为：
$$\begin{array}{rlr}{\mathbf{o}}^{(i)}& ={\mathbf{x}}^{(i)}\mathbf{W}+\mathbf{b},{\hat{\mathbf{y}}}^{(i)}& =\text{softmax}({\mathbf{o}}^{(i)})\end{array}$$

小批量样本分类的矢量计算表达式

为了进一步提升计算效率通常对小批量数据做矢量计算。给定一个小批量样本，其批量大小为$n$，输入个数（特征数）为$d$，输出个数（类别数）为$q$。设批量特征为$\mathbf{X}\in {\mathbb{R}}^{n\times d}$。假设softmax回归的权重和偏差参数分别为$\mathbf{W}\in {\mathbb{R}}^{d\times q}$和$\mathbf{b}\in {\mathbb{R}}^{1\times q}$。softmax回归的矢量计算表达式为：
$$\begin{array}{rl}\mathbf{O}& =\mathbf{X}\mathbf{W}+\mathbf{b},\\ \hat{\mathbf{Y}}& =\text{softmax}(\mathbf{O}),\end{array}$$

交叉熵损失函数

想要预测分类结果正确，我们其实并不需要预测概率完全等于标签概率，此时平方损失就显得过于严格。交叉熵损失函数则是一种更适合衡量两个概率分布差异的测量函数。交叉熵只关心对正确类别的预测概率，因为只要其值足够大，就可以确保分类结果正确。
$$H\left({\mathbf{y}}^{(i)},{\hat{\mathbf{y}}}^{(i)}\right)=-\sum _{j=1}^q{y}_j^{(i)}\log {\hat{y}}_j^{(i)}=-\log {\hat{y}}_{y^{(i)}}^{(i)}$$
假设训练数据集的样本数为$n$，交叉熵损失函数定义为：
$$\ell (\mathbf{\Theta })=\frac{1}{n}\sum _{i=1}^{n}H\left({\mathbf{y}}^{(i)},{\hat{\mathbf{y}}}^{(i)}\right)=-(1/n)\sum _{i=1}^n\log {\hat{y}}_{y^{(i)}}^{(i)}$$
因此最小化$\ell (\mathbf{\Theta })$等价于最大化$\exp (-n\ell (\mathbf{\Theta }))={\prod }_{i=1}^n{\hat{y}}_{y^{(i)}}^{(i)}$，即最小化交叉熵损失函数等价于最大化训练数据集所有标签类别的联合预测概率。

多层感知机

前两节介绍的线性回归和softmax回归属于单层神经网络，本节以多层感知机（multilayer perceptron，MLP）为例，介绍多层神经网络。

隐藏层

多层感知机在单层神经网络基础上引入了一到多个隐藏层（hidden layer），隐藏层有若干个隐藏单元（hidden unit），隐藏层位于输入层和输出层之间，多层感知机中的隐藏层和输出层都是全连接层。

全连接层只是对数据做仿射变换（affine transformation），而多个仿射变换的叠加仍然是一个仿射变换，因此即使添加再多的隐藏层，以上设计只能与仅含输出层的单层神经网络等价。解决问题的一个方法是引入非线性变换，例如对隐藏变量使用按元素运算的非线性函数进行变换，然后再作为下一个全连接层的输入。这个非线性函数被称为激活函数（activation function）。

激活函数

ReLU函数

ReLU（rectified linear unit）函数只保留正数元素，并将负数元素清零。给定元素$x$，该函数定义为：
$$\text{ReLU}(x)=\max (x,0)$$

sigmoid函数

sigmoid函数可以将元素的值变换到0和1之间，当输入接近0时，sigmoid函数接近线性变换。
$$\text{sigmoid}(x)=\frac{1}{1+\exp (-x)}$$

tanh函数

tanh（双曲正切）函数可以将元素的值变换到-1和1之间，当输入接近0时，tanh函数接近线性变换；形状和sigmoid函数的形状很像，但tanh函数在坐标系的原点上对称。
$$\text{tanh}(x)=\frac{1-\exp (-2x)}{1+\exp (-2x)}$$
多层感知机就是含有至少一个隐藏层的由全连接层组成的神经网络，且每个隐藏层的输出通过激活函数进行变换。多层感知机的层数和各隐藏层中隐藏单元个数都是超参数。以单隐藏层为例并沿用本节之前定义的符号，多层感知机按以下方式计算输出：

$$\begin{array}{rl}\mathbf{H}& =\varphi (\mathbf{X}{\mathbf{W}}_h+{\mathbf{b}}_h),\\ \mathbf{O}& =\mathbf{H}{\mathbf{W}}_o+{\mathbf{b}}_o,\end{array}$$
其中$\varphi$表示激活函数。

—————————————————————————————————————————————————
参考：《动手学深度学习》（Pytorch版）

​