深度学习中的正则化

1、参数范数惩罚

正则化在深度学习的出现前就已经被使用了数十年。线性模型,如线性回归和逻辑回归可以使用简单、直接、有效的正则化策略。在探究不同范数的正则化表现之前,我们需要说明一下,在神经网络中,参数包括每一层仿射变换的权重和偏置,我们通常只对权重做惩罚而不对偏置做正则惩罚。精确拟合偏置所需的数据通常比拟合权重少得多。每个权重会指定两个变量如何相互作用。我们需要在各种条件下观察这两个变量才能良好地拟合权重。而每个偏置仅控制一个单变量。这意味着,我们不对其进行正则化也不会导致太大的方差。另外,正则化偏置参数可能会导致明显的欠拟合。

在神经网络的情况下,有时希望对网络的每一层使用单独的惩罚,并分配不同的\alpha系数。寻找合适的多个超参数的代价很大,因此为了减少搜索空间,我们会在所有层使用相同的权重衰减。

1.1、L^2参数正则化

最简单而又最常见的参数范数惩罚,即通常被称为权重衰减(weight decay)的参数范数惩罚。这个正则化策略通过向目标函数添加一个正则项 \Omega(\boldsymbol{\theta})=\frac{1}{2}\|\boldsymbol{w}\|_{2}^{2},使权重更加接近原点。

为了简单起见,我们假定其中没有偏置参数,因此\theta就是w。这样一个模型具有以下总的目标函数:

\tilde{J}(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})=\frac{\alpha}{2} \boldsymbol{w}^{\top} \boldsymbol{w}+J(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})

与之对应的梯度为:

\nabla_{w} \tilde{J}(w ; X, y)=\alpha w+\nabla_{w} J(w ; X, y)

使用单步梯度下降更新权重,即执行以下更新:

\boldsymbol{w} \leftarrow \boldsymbol{w}-\epsilon\left(\alpha \boldsymbol{w}+\nabla_{w} J(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})\right)

换种写法就是:

\boldsymbol{w} \leftarrow(1-\epsilon \alpha) \boldsymbol{w}-\epsilon \nabla_{\boldsymbol{w}} J(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})

可以看到,加入权重衰减后会引起学习规则的修改,即在每步执行通常的梯度更新之前先收缩权重向量(将权重向量乘以一个常数因子)

w^*为未正则化目标函数取得最小误差时的权重,即\boldsymbol{w}^{*}=\arg \min _{\boldsymbol{w}} J(\boldsymbol{w}),在w^*的邻域对目标函数做二次近似(泰勒公式),近似的\hat{J}(\boldsymbol{\theta})如下:

\hat{J}(\boldsymbol{\theta})=J\left(\boldsymbol{w}^{*}\right)+\frac{1}{2}\left(\boldsymbol{w}-\boldsymbol{w}^{*}\right)^{\top} \boldsymbol{H}\left(\boldsymbol{w}-\boldsymbol{w}^{*}\right)

HJw^∗处计算的Hessian矩阵(Hessian矩阵是由目标函数在w^∗处的二阶偏导数组成的对称矩阵)。因为w^∗被定义为最优,即梯度消失为0,所以该二次近似中没有一阶项。同样地,因为w^∗J的一个最优点,我们可以得出H半正定。

\hat{J}取得最小时,其梯度为0:

\nabla_{\boldsymbol{w}} \hat{J}(\boldsymbol{w})=\boldsymbol{H}\left(\boldsymbol{w}-\boldsymbol{w}^{*}\right)=0

为了研究权重衰减带来的影响,我们在上式中添加权重衰减的梯度。现在我们探讨最小化正则化后的\hat{J},我们使用变量\tilde{w}表示此时的最优点:

\begin{array}{c}{\alpha \tilde{\boldsymbol{w}}+\boldsymbol{H}\left(\tilde{\boldsymbol{w}}-\boldsymbol{w}^{*}\right)=0} \\ {(\boldsymbol{H}+\alpha \boldsymbol{I}) \tilde{\boldsymbol{w}}=\boldsymbol{H} \boldsymbol{w}^{*}} \\ {\tilde{\boldsymbol{w}}=(\boldsymbol{H}+\alpha \boldsymbol{I})^{-1} \boldsymbol{H} \boldsymbol{w}^{*}}\end{array}

\alpha趋向于0时,正则化的解\tilde{w}会趋向w^∗。当\alpha增加时会发生什么呢?因为H是实对称的,所以我们可以将其分解为一个对角矩阵Λ和一组特征向量的标准正交基Q,并且有H = QΛQ^T

\begin{aligned} \tilde{w} &=\left(Q \Lambda Q^{\top}+\alpha I\right)^{-1} Q \Lambda Q^{\top} w^{*} \\ &=\left[Q(\Lambda+\alpha I) Q^{\top}\right]^{-1} Q \Lambda Q^{\top} w^{*} \\ &=Q(\Lambda+\alpha I)^{-1} \Lambda Q^{\top} w^{*} \end{aligned}

我们可以看到权重衰减的效果是沿着由H的特征向量所定义的轴缩放。具体来说,我们会根据\frac{\lambda_{i}}{\lambda_{i}+\alpha}因子缩放与Hi个特征向量对齐的w^*的分量。

沿着H特征值较大的方向 (如λ_i ≫ \alpha)正则化的影响较小。而λ_i ≪ \alpha的分量将会收缩到几乎为零。

实线椭圆表示没有正则化目标的等值线。虚线圆圈表示L^2正则化项的等值线。在\tilde{w}点,这两个竞争目标达到平衡。目标函数JHessian的第一维特征值很小。当从w^∗水平移动时,目标函数不会增加得太多。因为目标函数对这个方向没有强烈的偏好,所以正则化项对该轴具有强烈的影响。正则化项将w_1拉向零。而目标函数对沿着第二维远离w^*的移动非常敏感。对应的特征值较大,表示高曲率。因此,权重衰减对w_2的位置影响相对较小。

只有在显著减小目标函数方向上的参数会保留得相对完好。在无助于目标函数减小的方向(对应 Hessian 矩阵较小的特征值)上改变参数不会显著增加梯度。这种不重要方向对应的分量会在训练过程中因正则化而衰减掉。

1.2、L^1参数正则化

L^1正则化的目标函数如下所示:

\tilde{J}(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})=\alpha\|\boldsymbol{w}\|_{1}+J(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})

对应的次梯度为(https://blog.csdn.net/qq_32742009/article/details/81704139):

\nabla_{w} \tilde{J}(w ; X, y)=\alpha \operatorname{sign}(w)+\nabla_{w} J(w ; X, y)

由于L^1惩罚项在完全一般化的Hessian的情况下,无法得到直接清晰的代数表达式,因此我们进一步简化假设Hessian是对角的,即\boldsymbol{H}=\operatorname{diag}\left(\left[H_{1,1}, \ldots, H_{n, n}\right]\right),其中每个H_{i, i}>0。若数据已被预处理(如可以使用 PCA),去除了输入特征之间的相关性,那么这一假设成立。

我们可以将L^1正则化目标函数的二次近似分解成关于参数的求和:

\hat{J}(\boldsymbol{w} ; \boldsymbol{X}, \boldsymbol{y})=J\left(\boldsymbol{w}^{*} ; \boldsymbol{X}, \boldsymbol{y}\right)+\sum_{i}\left[\frac{1}{2} H_{i, i}\left(w_{i}-w_{i}^{*}\right)^{2}+\alpha\left|w_{i}\right|\right]

如下列形式的解析解(对每一维 i)可以最小化这个近似代价函数:

w_{i}=\operatorname{sign}\left(w_{i}^{*}\right) \max \left\{\left|w_{i}^{*}\right|-\frac{\alpha}{H_{i, i}}, 0\right\}

对每个 i, 考虑w_{i}^{*}>0的情形,会有两种可能结果:

  • w_{i}^{*} \leq \frac{\alpha}{H_{i, i}}:正则化后目标中的 wi 最优值是w_i = 0

  • w_{i}^{*}>\frac{\alpha}{H_{i, i}}:在这种情况下,正则化不会将w_i的最优值推至 0,而仅仅在那个方向上移动\frac{\alpha}{H_{i, i}}的距离。

w^*>0的情况与之类似。

相比L^2正则化,L^1正则化会产生更稀疏(sparse)的解。此处稀疏性指的是最优值中的一些参数为 0。由L^1正则化导出的稀疏性已经被广泛地用于特征选择(feature selection)机制。特征选择从可用特征子集选出有意义的特征,化简机器学习问题。

2、作为约束的范数惩罚

考虑经过参数范数正则化的代价函数:

\tilde{J}(\boldsymbol{\theta} ; \boldsymbol{X}, \boldsymbol{y})=J(\boldsymbol{\theta} ; \boldsymbol{X}, \boldsymbol{y})+\alpha \Omega(\boldsymbol{\theta})

我们可以构造一个广义 Lagrange 函数来最小化带约束的函数,即在原始目标函数上添加一系列惩罚项。每个惩罚是一个被称为 Karush–Kuhn–Tucker(Karusuhucker)乘子的系数以及一个表示约束是否满足的函数之间的乘积。如果我们想约束\Omega({\theta})小于某个常数k,我们可以构建广义 Lagrange 函数:

\mathcal{L}(\boldsymbol{\theta}, \alpha ; \boldsymbol{X}, \boldsymbol{y})=J(\boldsymbol{\theta} ; \boldsymbol{X}, \boldsymbol{y})+\alpha(\Omega(\boldsymbol{\theta})-k)

这个约束问题的解由下式给出:

\boldsymbol{\theta}^{*}=\underset{\boldsymbol{\theta}}{\arg \min } \max _{\boldsymbol{\alpha}, \boldsymbol{\alpha} \geq 0} \mathcal{L}(\boldsymbol{\theta}, \alpha)

解决这个问题我们需要对\theta\alpha都做出调整。为了洞察约束的影响,我们固定\alpha^*,把这个问题看成只跟\theta有关的函数:

\boldsymbol{\theta}^{*}=\underset{\boldsymbol{\theta}}{\arg \min } \mathcal{L}\left(\boldsymbol{\theta}, \alpha^{*}\right)=\underset{\boldsymbol{\theta}}{\arg \min } J(\boldsymbol{\theta} ; \boldsymbol{X}, \boldsymbol{y})+\alpha^{*} \Omega(\boldsymbol{\theta})

通常我们不知道权重衰减系数\alpha^*约束的区域大小,因为\alpha^*的值不直接告诉我们k的值。原则上我们可以解得k,但k\alpha^*之间的关系取决于J的形式。虽然我们不知道约束区域的确切大小,但我们可以通过增加或者减小\alpha来大致扩大或收缩约束区域。较大的\alpha,将得到一个较小的约束区域。较小的\alpha,将得到一个较大的约束区域。

有时候,我们希望使用显式的限制,而不是惩罚。我们可以修改下降算法(如随机梯度下降算法),使其先计算J(θ)的下降步,然后将\theta投影到满足Ω(θ) < k的最近点。如果我们知道什么样的k是合适的,而不想花时间寻找对应于此k处的\alpha值,这会非常有用。

3、正则化和欠约束问题

在某些情况下,为了正确定义机器学习问题,正则化是必要的。机器学习中许多线性模型,包括线性回归和 PCA,都依赖于对矩阵X^T X求逆。只要X^T X是奇异的,这些方法就会失效。当数据生成分布在一些方向上确实没有差异时,或因为例子较少(即相对输入特征的维数来说)而在一些方向上没有观察到方差时,这个矩阵就是奇异的。在这种情况下,正则化的许多形式对应求逆X + \alpha I。这个正则化矩阵可以保证可逆。

没有闭式解的问题也可能是欠定的。一个例子是应用于线性可分问题的逻辑回归。如果权重向量w能够实现完美分类,那么2w也会以更高似然实现完美分类。类似随机梯度下降的迭代优化算法将持续增加w的大小,理论上永远不会停止。在实践中,数值实现的梯度下降最终会达到导致数值溢出的超大权重,此时的行为将取决于程序员如何处理这些不是真正数字的值。大多数形式的正则化能够保证应用于欠定问题的迭代方法收敛。例如,当似然的斜率等于权重衰减的系数时,权重衰减将阻止梯度下降继续增加权重的大小。

4、数据集增强

让机器学习模型泛化得更好的最好办法是使用更多的数据进行训练。当然,在实践中,我们拥有的数据量是很有限的。解决这个问题的一种方法是创建假数据并添加到训练集中。对于一些机器学习任务,创建新的假数据相当简单。

对分类来说这种方法是最简单的。分类器需要一个复杂的高维输入x,并用单个类别标识y概括x。这意味着分类面临的一个主要任务是要对各种各样的变换保持不变。我们可以轻易通过转换训练集中的x来生成新的(x, y)

数据集增强对一个具体的分类问题来说是特别有效的方法:对象识别。图像是高维的并包括各种巨大的变化因素,其中有许多可以轻易地模拟。即使模型已使用卷积和池化技术对部分平移保持不变,沿训练图像每个方向平移几个像素的操作通常可以大大改善泛化。许多其他操作如旋转图像或缩放图像也已被证明非常有效。

这种方法对于其他许多任务来说并不那么容易。例如,除非我们已经解决了密度估计问题,否则在密度估计任务中生成新的假数据是很困难的。

在神经网络的输入层注入噪声 (Sietsma and Dow, 1991) 也可以被看作是数据增强的一种方式。对于许多分类甚至一些回归任务而言,即使小的随机噪声被加到输入,任务仍应该是能够被解决的。然而,神经网络被证明对噪声不是非常健壮 (Tangand Eliasmith, 2010)。改善神经网络健壮性的方法之一是简单地将随机噪声添加到输入再进行训练。向隐藏单元施加噪声也是可行的,这可以被看作在多个抽象层上进行的数据集增强。

5、噪声鲁棒性

对于某些模型而言,向输入添加方差极小的噪声等价于对权重施加范数惩罚 (Bishop, 1995a,b)。在一般情况下,注入噪声远比简单地收缩参数强大,特别是噪声被添加到隐藏单元时会更加强大。之后要提到的Dropout 算法是这种做法的主要发展方向。

另一种正则化模型的噪声使用方式是将其加到权重。这项技术主要用于循环神经网络 (Jim et al., 1996; Graves, 2011)。这可以被解释为关于权重的贝叶斯推断的随机实现。

在某些假设下,施加于权重的噪声可以被解释为与更传统的正则化形式等同,鼓励要学习的函数保持稳定。我们研究回归的情形,也就是训练将一组特征x映射成一个标量的函数\hat{y}(x),并使用最小二乘代价函数衡量模型预测值\hat{y}(x)与真实值y的误差:

J=\mathbb{E}_{p(x, y)}\left[(\hat{y}(\boldsymbol{x})-y)^{2}\right]

现在我们假设对每个输入表示,网络权重添加随机扰动\epsilon_{w} \sim \mathcal{N}(\epsilon ; 0, \eta I)。想象我们有一个标准的l层MLP。我们将扰动模型记为\hat{y}_{\epsilon_{W}}(\boldsymbol{x}),尽管有噪声注入,我们仍然希望减少网络输出误差的平方。因此目标函数变为:

\begin{aligned} \tilde{J}_{W} &=\mathbb{E}_{p\left(x, y, \epsilon_{W}\right)}\left[\left(\hat{y}_{\epsilon_{W}}(\boldsymbol{x})-y\right)^{2}\right] \\ &=\mathbb{E}_{p\left(\boldsymbol{x}, y, \epsilon_{W}\right)}\left[\hat{y}_{\epsilon_{W}}^{2}(\boldsymbol{x})-2 y \hat{y}_{\epsilon_{W}}(\boldsymbol{x})+y^{2}\right] \end{aligned}

对于小的η,最小化带权重噪声(方差为ηI)的J等同于最小化附加正则化项\eta \mathbb{E}_{p(\boldsymbol{x}, y)}\left[\left\|\nabla_{\boldsymbol{W}} \hat{y}(\boldsymbol{x})\right\|^{2}\right]J这种形式的正则化鼓励参数进入权重小扰动对输出相对影响较小的参数空间区域。换句话说,它推动模型进入对权重小的变化相对不敏感的区域,找到的点不只是极小点,还是由平坦区域所包围的极小点 (Hochreiter andSchmidhuber, 1995)。

另一种正则化方法是向输出目标注入噪声。大多数数据集的y标签都有一定错误。错误的y不利于最大化log p(y | x)。避免这种情况的一种方法是显式地对标签上的噪声进行建模。例如,标签平滑(label smoothing)通过把确切分类目标从 0 和1 替换成\frac{ϵ}{k−1}1 − ϵ,正则化具有k个输出的softmax函数的模型。标准交叉熵损失可以用在这些非确切目标的输出上。使用softmax函数和明确目标的最大似然学习可能永远不会收敛——softmax函数永远无法真正预测0概率或1概率,因此它会继续学习越来越大的权重,使预测更极端。使用如权重衰减等其他正则化策略能够防止这种情况。标签平滑的优势是能够防止模型追求确切概率而不影响模型学习正确分类。

6、半监督学习

在半监督学习的框架下,P (x)产生的未标记样本和P (x, y)中的标记样本都用于估计P (y | x)或者根据x预测y

在深度学习的背景下,半监督学习通常指的是学习一个表示h = f (x)。学习表示的目的是使相同类中的样本有类似的表示。无监督学习可以为如何在表示空间聚集样本提供有用线索。在输入空间紧密聚集的样本应该被映射到类似的表示。

7、多任务学习

多任务学习 (Caruana, 1993) 是通过合并几个任务中的样例(可以视为对参数施加的软约束)来提高泛化的一种方式。正如额外的训练样本能够将模型参数推向具有更好泛化能力的值一样,当模型的一部分被多个额外的任务共享时,这部分将被约束为良好的值(如果共享合理),通常会带来更好的泛化能力。

下图展示了多任务学习中非常普遍的一种形式,不同的监督任务(给定x预测y^{(i)})共享相同的输入x以及一些中间层表示h^{(share)},能学习共同的因素池。该模型通常可以分为两类相关的参数:

  • 具体任务的参数(只能从各自任务的样本中实现良好的泛化)。如图中的上层。

  • 所有任务共享的通用参数(从所有任务的汇集数据中获益)。如图中的下层。因为共享参数,其统计强度(共享参数的样本数量相对于单任务模式增加的比例)可大大提高,并能改善泛化和泛化误差的范围 (Baxter, 1995)。当然,仅当不同的任务之间存在某些统计关系的假设是合理(意味着某些参数能通过不同任务共享)时才会发生这种情况。

多任务学习在深度学习框架中可以以多种方式进行,该图说明了任务共享相同输入但涉及不同目标随机变量的常见情况。深度网络的较低层(无论是监督前馈的,还是包括向下箭头的生成组件)可以跨这样的任务共享,而任务特定的参数(分别与从h^{(1)}h^{(2)}进入和发出的权重)可以在共享表示h^{(share)}之上学习。这里的基本假设是存在解释输入x变化的共同因素池,而每个任务与这些因素的子集相关联。在该示例中,额外假设顶层隐藏单元h^{(1)}h^{(2)}专用于每个任务(分别预测y^{(1)}y^{(2)}),而一些中间层表示h^{(share)}在所有任务之间共享。

8、提前终止

当训练有足够的表示能力甚至会过拟合的大模型时,我们经常观察到,训练误差会随着时间的推移逐渐降低但验证集的误差会再次上升。

这意味着我们只要返回使验证集误差最低的参数设置,就可以获得验证集误差更低的模型(并且因此有希望获得更好的测试误差)。当验证集上的误差在事先指定的循环次数内没有进一步改善时,算法就会终止。这种策略被称为提前终止(early stopping)。这可能是深度学习中最常用的正则化形式。它的流行主要是因为有效性和简单性。

提前终止是一种非常不显眼的正则化形式,它几乎不需要改变基本训练过程、目标函数或一组允许的参数值。这意味着,无需破坏学习动态就能很容易地使用提前终止。

提前终止对减少训练过程的计算成本也是有用的。除了由于限制训练的迭代次数而明显减少的计算成本,还带来了正则化的益处(不需要添加惩罚项的代价函数或计算这种附加项的梯度)。

Bishop (1995a) 和 Sjöberg and Ljung(1995) 认为提前终止可以将优化过程的参数空间限制在初始参数值\theta_0的小邻域内。更具体地,想象用学习率ϵ进行τ个优化步骤(对应于τ个训练迭代)。我们可以将ϵτ作为有效容量的度量。假设梯度有界,限制迭代的次数和学习速率能够限制从\theta_0到达的参数空间的大小。在这个意义上,ϵτ的效果就好像是权重衰减系数的倒数。

事实上,在二次误差的简单线性模型和简单的梯度下降情况下,我们可以展示提前终止相当于L^2正则化。我们在权重w的经验最佳值w^∗附近以二次近似建模代价函数J

\hat{J}(\boldsymbol{\theta})=J\left(\boldsymbol{w}^{*}\right)+\frac{1}{2}\left(\boldsymbol{w}-\boldsymbol{w}^{*}\right)^{\top} \boldsymbol{H}\left(\boldsymbol{w}-\boldsymbol{w}^{*}\right)

其中HJ关于ww^*点的Hessian矩阵。鉴于假设w^∗J(w)的最小点,我们知道H为半正定。在局部泰勒级数逼近下,梯度由下式给出:

\nabla_{w} \hat{J}(\boldsymbol{w})=\boldsymbol{H}\left(\boldsymbol{w}-\boldsymbol{w}^{*}\right)

为简化起见,我们将参数向量初始化为原点,也就是w^{(0)} = 0。我们通过分析\hat{J}上的梯度下降来研究J上近似的梯度下降的效果:

\begin{aligned} \boldsymbol{w}^{(\tau)} &=\boldsymbol{w}^{(\tau-1)}-\epsilon \nabla_{\boldsymbol{w}} \hat{J}\left(\boldsymbol{w}^{(\tau-1)}\right) \\ &=\boldsymbol{w}^{(\tau-1)}-\epsilon \boldsymbol{H}\left(\boldsymbol{w}^{(\tau-1)}-\boldsymbol{w}^{*}\right) \end{aligned}

即:

\boldsymbol{w}^{(\tau)}-\boldsymbol{w}^{*}=(\boldsymbol{I}-\epsilon \boldsymbol{H})\left(\boldsymbol{w}^{(\tau-1)}-\boldsymbol{w}^{*}\right)

现在让我们在H特征向量的空间中改写表达式,利用H的特征分解H = QΛQ^T,其中Λ是对角矩阵,Q是特征向量的一组标准正交基。

\begin{aligned} \boldsymbol{w}^{(\tau)}-\boldsymbol{w}^{*} &=\left(\boldsymbol{I}-\epsilon \boldsymbol{Q} \boldsymbol{\Lambda} \boldsymbol{Q}^{\top}\right)\left(\boldsymbol{w}^{(\tau-1)}-\boldsymbol{w}^{*}\right) \\ \boldsymbol{Q}^{\top}\left(\boldsymbol{w}^{(\tau)}-\boldsymbol{w}^{*}\right) &=(\boldsymbol{I}-\epsilon \boldsymbol{\Lambda}) \boldsymbol{Q}^{\top}\left(\boldsymbol{w}^{(\tau-1)}-\boldsymbol{w}^{*}\right) \end{aligned}

假定w^{(0)} = 0并且ϵ选择得足够小以保证|1 − ϵλi | < 1,经过τ次参数更新后轨迹如下:

\boldsymbol{Q}^{\top} \boldsymbol{w}^{(\tau)}=\left[\boldsymbol{I}-(\boldsymbol{I}-\epsilon \boldsymbol{\Lambda})^{\tau}\right] \boldsymbol{Q}^{\top} \boldsymbol{w}^{*}

回忆L^2正则化中有:

\tilde{w}=Q(\Lambda+\alpha I)^{-1} \Lambda Q^{\top} w^{*}

从而:

Q^{\top} \tilde{w}=\left[I-(\Lambda+\alpha I)^{-1} \alpha\right] Q^{\top} w^{*}

我们能够发现,如果超参数ϵ,ατ满足如下关系:

(\boldsymbol{I}-\epsilon \boldsymbol{\Lambda})^{\tau}=(\boldsymbol{\Lambda}+\alpha \boldsymbol{I})^{-1} \alpha

L^2正则化和提前终止可以被看作是等价的(至少在目标函数的二次近似下)。进一步取对数,使用\log (1 + x)的级数展开,我们可以得出结论:如果所有λ_i是小的(即ϵ≪ 1\frac{λ_i}{α} ≪ 1),那么:

\begin{aligned} \tau & \approx \frac{1}{\epsilon \alpha} \\ \alpha & \approx \frac{1}{\tau \epsilon} \end{aligned}

也就是说,在这些假设下,训练迭代次数τ起着与L^2参数成反比的作用,τ ϵ的倒数与权重衰减系数的作用类似。

9、参数绑定和参数共享

目前为止,本章讨论对参数添加约束或惩罚时,一直是相对于固定的区域或点。例如,L^2正则化(或权重衰减)对参数偏离零的固定值进行惩罚。然而,有时我们可能需要其他的方式来表达我们对模型参数适当值的先验知识。有时候,我们可能无法准确地知道应该使用什么样的参数,但我们根据相关领域和模型结构方面的知识得知模型参数之间应该存在一些相关性。

我们经常想要表达的一种常见依赖是某些参数应当彼此接近。考虑以下情形:我们有两个模型执行相同的分类任务(具有相同类别),但输入分布稍有不同。形式地,我们有参数为w(A)的模型A和参数为w(B)的模型B。这两种模型将输入映射到两个不同但相关的输出:\hat{y}(A) = f (w(A) , x)\hat{y}(B) = f(w(B) , x)

们可以想象,这些任务会足够相似(或许具有相似的输入和输出分布),因此我们认为模型参数应彼此靠近:\forall i, w_{i}^{(A)}应与w_{i}^{(B)}接近。我们可以通过正则化利用此信息。具体来说,我们可以使用以下形式的参数范数惩罚:

\Omega\left(\boldsymbol{w}^{(A)}, \boldsymbol{w}^{(B)}\right)=\left\|\boldsymbol{w}^{(A)}-\boldsymbol{w}^{(B)}\right\|_{2}^{2}

在这里我们使用L^2惩罚,但也可以使用其他选择。

参数范数惩罚是正则化参数使其彼此接近的一种方式,而更流行的方法是使用约束:强迫某些参数相等。由于我们将各种模型或模型组件解释为共享唯一的一组参数,这种正则化方法通常被称为参数共享(parameter sharing)。目前为止,最流行和广泛使用的参数共享出现在应用于计算机视觉的卷积神经网络(CNN)中。

10、稀疏表示

前文所述的权重衰减直接惩罚模型参数。另一种策略是惩罚神经网络中的激活单元,稀疏化激活单元。这种策略间接地对模型参数施加了复杂惩罚。

表示的稀疏描述了许多元素是零(或接近零)的表示。我们可以在线性回归的情况下简单说明这种区别:

y=Ax

\left[\begin{array}{c}{18} \\ {5} \\ {15} \\ {-9} \\ {-3}\end{array}\right]=\left[\begin{array}{cccccc}{4} & {0} & {0} & {-2} & {0} & {0} \\ {0} & {0} & {-1} & {0} & {3} & {0} \\ {0} & {5} & {0} & {0} & {0} & {0} \\ {1} & {0} & {0} & {-1} & {0} & {-4} \\ {1} & {0} & {0} & {0} & {-5} & {0}\end{array}\right] \left[\begin{array}{c}{2} \\ {3} \\ {-2} \\ {-5} \\ {1} \\ {4}\end{array}\right]

y=Bh

\left[\begin{array}{c}{-14} \\ {1} \\ {19} \\ {2} \\ {23}\end{array}\right]=\left[\begin{array}{cccccc}{3} & {-1} & {2} & {-5} & {4} & {1} \\ {4} & {2} & {-3} & {-1} & {1} & {3} \\ {-1} & {5} & {4} & {2} & {-3} & {-2} \\ {3} & {1} & {2} & {-3} & {0} & {-3} \\ {-5} & {4} & {-2} & {2} & {-5} & {-1}\end{array}\right]\left[\begin{array}{c}{0} \\ {2} \\ {0} \\ {0} \\ {-3} \\ {0}\end{array}\right]

第一个表达式是参数稀疏的线性回归模型的例子。第二个表达式是数据x具有稀疏表示h的线性回归。也就是说hx的一个函数,在某种意义上表示存在于x中的信息,但只是用一个稀疏向量表示。

表示的范数惩罚正则化是通过向损失函数 J 添加对表示的范数惩罚来实现的。我们将这个惩罚记作Ω(h)。和以前一样,我们将正则化后的损失函数记作:

\tilde{J}(\boldsymbol{\theta} ; \boldsymbol{X}, \boldsymbol{y})=J(\boldsymbol{\theta} ; \boldsymbol{X}, \boldsymbol{y})+\alpha \Omega(\boldsymbol{h})

正如对参数的L^1惩罚诱导参数稀疏性,对表示元素的L^1惩罚诱导稀疏的表示:

\Omega(\boldsymbol{h})=\|\boldsymbol{h}\|_{1}=\sum_{i}\left|h_{i}\right|

其他方法还包括从表示上的Student-t先验导出的惩罚 (Olshausen and Field, 1996; Bergstra, 2011)和KL散度惩罚(Larochelle and Bengio, 2008b),这些方法对于将表示中的元素约束于单位区间上特别有用。

还有一些其他方法通过激活值的硬性约束来获得表示稀疏。例如,正交匹配追踪 (orthogonal matching pursuit)(Pati et al., 1993) 通过解决以下约束优化问题将输入值x编码成表示h

\underset{h,\|h\|_{0}<k}{\arg \min }\|x-W h\|^{2}

其中||h||_0h中非零项的个数。当W被约束为正交时,我们可以高效地解决这个问题。这种方法通常被称为OMP-k,通过k指定允许的非零特征数量。Coates and Ng (2011) 证明OMP-1可以成为深度架构中非常有效的特征提取器。

11、Bagging 和其他集成方法

Bagging(bootstrap aggregating)是通过结合几个模型降低泛化误差的技术。主要想法是分别训练几个不同的模型,然后让所有模型表决测试样例的输出。这是机器学习中常规策略的一个例子,被称为模型平均(model averaging)。采用这种策略的技术被称为集成方法。模型平均奏效的原因是不同的模型通常不会在测试集上产生完全相同的误差。

神经网络能找到足够多的不同的解,意味着他们可以从模型平均中受益 (即使所有模型都在同一数据集上训练)。神经网络中随机初始化的差异、小批量的随机选择、超参数的差异或不同输出的非确定性实现往往足以使得集成的不同成员具有部分独立的误差。

不是所有构建集成的技术都是为了让集成模型比单一模型更加正则化。例如,一种被称为Boosting的技术 (Freund and Schapire, 1996b,a) 构建比单个模型容量更高的集成模型。通过向集成逐步添加神经网络,Boosting已经被应用于构建神经网络的集成(Schwenk and Bengio, 1998)。通过逐渐增加神经网络的隐藏单元Boosting也可以将单个神经网络解释为一个集成。

12、Dropout

Dropout (Srivastava et al., 2014) 提供了正则化一大类模型的方法,计算方便但功能强大。在第一种近似下,Dropout可以被认为是集成大量深层神经网络的实用Bagging方法。Bagging涉及训练多个模型,并在每个测试样本上评估多个模型。当每个模型都是一个很大的神经网络时,这似乎是不切实际的,因为训练和评估这样的网络需要花费很多运行时间和内存。通常我们只能集成五至十个神经网络,如Szegedy et al. (2014a)集成了六个神经网络赢得 ILSVRC,超过这个数量就会迅速变得难以处理。Dropout提供了一种廉价的Bagging集成近似,能够训练和评估指数级数量的神经网络。

具体而言,Dropout训练的集成包括所有从基础网络除去非输出单元后形成的子网络,如下图。最先进的神经网络基于一系列仿射变换和非线性变换,我们只需将一些单元的输出乘零就能有效地删除一个单元。这个过程需要对模型(如径向基函数网络,单元的状态和参考值之间存在一定区别)进行一些修改。

回想一下Bagging学习,我们定义k个不同的模型,从训练集有放回采样构造k个不同的数据集,然后在训练集i上训练模型i。Dropout的目标是在指数级数量的神经网络上近似这个过程。具体来说,在训练中使用Dropout时,我们会使用基于小批量产生较小步长的学习算法,如随机梯度下降等。我们每次在小批量中加载一个样本,然后随机抽样应用于网络中所有输入和隐藏单元的不同二值掩码。对于每个单元,掩码是独立采样的。掩码值为 1 的采样概率(导致包含一个单元)是训练开始前一个固定的超参数。它不是模型当前参数值或输入样本的函数。通常在每一个小批量训练的神经网络中,一个输入单元被包括的概率为0.8,一个隐藏单元被包括的概率为0.5。然后,我们运行和之前一样的前向传播、反向传播以及学习更新。

使用Dropout之后神经网络的训练流程如下:

(1)首先随机(临时)删掉网络中一部分(具体比例可通过超参数设定)的隐藏神经元,输入输出神经元保持不变(下图中虚线为部分临时被删除的神经元)。

(2)把输入x通过修改后的网络前向传播,然后把得到的损失结果通过修改的网络反向传播。一小批训练样本执行完这个过程后,在没有被删除的神经元上按照随机梯度下降法更新对应的参数。

(3)恢复被删掉的神经元(此时被删除的神经元保持原样,而没有被删除的神经元已经有所更新),继续重复这一过程。

更正式地说,假设一个掩码向量\mu指定被包括的单元,J(\theta,\mu)是由参数\theta和掩码\mu定义的模型代价。那么Dropout训练的目标是最小化\mathbb{E}_{\boldsymbol{\mu}} J(\boldsymbol{\theta}, \boldsymbol{\mu})。这个期望包含多达指数级的项,但我们可以通过抽样\mu获得梯度的无偏估计。

Dropout训练与Bagging训练不太一样。在Bagging的情况下,所有模型都是独立的。在Dropout中,所有模型共享参数,其中每个模型继承父神经网络参数的不同子集。参数共享使得在有限可用的内存下表示指数级数量的模型变得可能。

在Bagging的情况下,每一个模型在其相应训练集上训练到收敛。在Dropout中,通常大部分模型都没有显式地被训练,因为通常父神经网络会很大,以致于到宇宙毁灭都不可能采样完所有的子网络。取而代之的是,在单个步骤中我们训练一小部分的子网络,参数共享会使得剩余的子网络也能有好的参数设定。这些是仅有的区别。除了这些,Dropout与Bagging算法一样。例如,每个子网络中遇到的训练集确实是有放回采样的原始训练集的一个子集。

们假定该模型的作用是输出一个概率分布。在Bagging的情况下,每个模型i产生一个概率分布p^{(i)} (y | x)。集成的预测由这些分布的算术平均值给出:

\frac{1}{k} \sum_{i=1}^{k} p^{(i)}(y | \boldsymbol{x})

在Dropout的情况下,通过掩码\mu定义每个子模型的概率分布p(y | x, \mu)。集成的预测由关于\mu的算术平均值由下式给出:

\sum_{\boldsymbol{\mu}} p(\boldsymbol{\mu}) p(y | \boldsymbol{x}, \boldsymbol{\mu})

其中p(\mu)是训练时采样\mu的概率分布。

这个求和包含多达指数级的项,除非该模型的结构允许某种形式的简化,否则是不可能计算的。我们可以通过采样近似推断,即平均许多掩码的输出。即使是10 − 20个掩码就足以获得不错的表现。

然而,一个更好的方法能不错地近似整个集成的预测,且只需一个前向传播的代价。要做到这一点,我们改用集成成员预测分布的几何平均而不是算术平均。通过几何平均直接定义的非标准化概率分布由下式给出:

\tilde{p}_{\text {ensemble}}(y | \boldsymbol{x})=\sqrt[2^d]{\prod_{\mu} p(y | \boldsymbol{x}, \boldsymbol{\mu})}

其中d是可被丢弃的单元数。

为了作出预测,我们必须重新标准化集成:

p_{\text {ensemble}}(y | \boldsymbol{x})=\frac{\tilde{p}_{\text {ensemble}}(y | \boldsymbol{x})}{\sum_{y^{\prime}} \tilde{p}_{\text {ensemble}}\left(y^{\prime} | \boldsymbol{x}\right)}

涉及Dropout的一个重要观点 (Hinton et al., 2012c) 是,我们可以通过评估模型中p(y | x)来近似p_{ensemble}:该模型具有所有单元,但我们将单元i的输出的权重乘以单元i的被包含概率。这个修改的动机是得到从该单元输出的正确期望值。我们把这种方法称为权重比例推断规则(weight scaling inference rule)。目前还没有在深度非线性网络上对这种近似推断规则的准确性作任何理论分析,但经验上表现得很好。

因为我们通常使用0.5的包含概率,权重比例规则一般相当于在训练结束后将权重除2,然后像平常一样使用模型。我们的目标是确保在测试时一个单元的期望总输入与在训练时该单元的期望总输入是大致相同的(即使近半单位在训练时丢失)。

总之,在训练时,每个神经单元以概率p被保留;则在测试阶段,每个神经单元都是存在的,权重参数w要乘以p,成为pw。测试时需要乘上p的原因:若隐藏层的一个神经元在dropout前输出是x,则dropout后期望值是E=p x+(1-p) 0=px。而在测试时该神经元总是激活,为了保持同样的输出期望值并使下一层也得到同样的结果,需要调整x→px

一个关于Dropout的重要见解是,通过随机行为训练网络并平均多个随机决定进行预测,实现了一种参数共享的Bagging形式。早些时候,我们将Dropout描述为通过包括或排除单元形成模型集成的Bagging。然而,这种参数共享策略不一定要基于包括和排除。原则上,任何一种随机的修改都是可接受的。我们可以认为由向量\mu参数化的任何形式的修改,是对\mu所有可能的值训练p(y | x,\mu)的集成。例如\mu可以是实值。Srivastava et al. (2014) 表明,权重乘以\mu\sim N (1, I) 比基于二值掩码Dropout表现得更好。由于E[\mu] = 1,标准网络自动实现集成的近似推断,而不需要权重比例推断规则。

更进一步的Dropout观点认为,Dropout不仅仅是训练一个Bagging的集成模型,并且是共享隐藏单元的集成模型。这意味着无论其他隐藏单元是否在模型中,每个隐藏单元必须都能够表现良好。隐藏单元必须准备好进行模型之间的交换和互换。Hintonet al. (2012d) 由生物学的想法受到启发:有性繁殖涉及到两个不同生物体之间交换基因,进化产生的压力使得基因不仅是良好的而且要准备好不同有机体之间的交换。这样的基因和这些特点对环境的变化是非常稳健的,因为它们一定会正确适应任何一个有机体或模型不寻常的特性。因此Dropout正则化每个隐藏单元不仅是一个很好的特征,更要在许多情况下是良好的特征。

Dropout强大的大部分原因来自施加到隐藏单元的掩码噪声,了解这一事实是重要的。这可以看作是对输入内容的信息高度智能化、自适应破坏的一种形式,而不是对输入原始值的破坏。例如,如果模型学得通过鼻检测脸的隐藏单元 ,那么丢失对应于擦除图像中有鼻子的信息。模型必须学习另一种 ,要么是鼻子存在的冗余编码,要么是像嘴这样的脸部的另一特征。传统的噪声注入技术,在输入端加非结构化的噪声不能够随机地从脸部图像中抹去关于鼻子的信息,除非噪声的幅度大到几乎能抹去图像中所有的信息。Dropout破坏提取的特征而不是原始值,让破坏过程充分利用该模型迄今获得的关于输入分布的所有知识。

13、对抗训练

在许多情况下,神经网络在独立同分布的测试集上进行评估已经达到了人类表现。因此,我们自然要怀疑这些模型在这些任务上是否获得了真正的人类层次的理解。为了探索网络对底层任务的理解层次,我们可以探索这个模型错误分类的例子。Szegedy et al. (2014b) 发现,在精度达到人类水平的神经网络上通过优化过程故意构造数据点,其上的误差率接近100%,模型在这个输入点x^{′}的输出与附近的数据点x非常不同。在许多情况下,x^{′}x非常近似,人类观察者不会察觉原始样本和对抗样本(adversarial example)之间的差异,但是网络会作出非常不同的预测。它们在正则化的背景下很有意思,因为我们可以通过对抗训练(adversarial training)减少原有独立同分布的测试集的错误率——在对抗扰动的训练集样本上训练网络。

Goodfellow et al. (2014b) 表明,这些对抗样本的主要原因之一是过度线性。神经网络主要是基于线性块构建的。因此在一些实验中,它们实现的整体函数被证明是高度线性的。这些线性函数很容易优化。不幸的是,如果一个线性函数具有许多输入,那么它的值可以非常迅速地改变。如果我们用ϵ改变每个输入,那么权重为w的线性函数可以改变ϵ||w||_1之多,如果w是高维的这会是一个非常大的数。对抗训练通过鼓励网络在训练数据附近的局部区域恒定来限制这一高度敏感的局部线性行为。这可以被看作是一种明确地向监督神经网络引入局部恒定先验的方法。

对抗样本也提供了一种实现半监督学习的方法。在与数据集中的标签不相关联的点x处,模型本身为其分配一些标签\hat{y}。模型的标记\hat{y}未必是真正的标签,但如果模型是高品质的,那么\hat{y}提供正确标签的可能性很大。我们可以搜索一个对抗样本x^{'},导致分类器输出一个标签y^{′}y^{′} \neq \hat{y}。不使用真正的标签,而是由训练好的模型提供标签产生的对抗样本被称为虚拟对抗样本(virtual adversarial example)。我们可以训练分类器为xx^{'}分配相同的标签。这鼓励分类器学习一个沿着未标签数据所在流形上任意微小变化都很鲁棒的函数。驱动这种方法的假设是,不同的类通常位于分离的流形上,并且小扰动不会使数据点从一个类的流形跳到另一个类的流形上。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,185评论 6 503
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,652评论 3 393
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 163,524评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,339评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,387评论 6 391
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,287评论 1 301
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,130评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,985评论 0 275
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,420评论 1 313
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,617评论 3 334
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,779评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,477评论 5 345
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,088评论 3 328
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,716评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,857评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,876评论 2 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,700评论 2 354

推荐阅读更多精彩内容