Lecture 4
Learning with Gradient Descent
回顾:经验风险最小化与梯度下降
为每个预测器分配一个d d d 维的参数向量,也即每一个d d d 维参数向量对应一个预测器。并将经验风险最小化视作一个优化问题:
minimize : R ( h w ) = 1 n ∑ i = 1 n L ( h w ( x i ) , y i ) over w ∈ R d \text{minimize}:R(h_w)=\frac{1}{n}\sum_{i=1}^nL(h_w(x_i),y_i) \; \text{over} \; w \in \mathbb{R}^d
minimize : R ( h w ) = n 1 i = 1 ∑ n L ( h w ( x i ) , y i ) over w ∈ R d
通常,我们将经验风险视作关于参数w w w 的函数:
f ( w ) = R ( h w ) = 1 n ∑ i = 1 n L ( h w ( x i ) , y i ) = 1 n ∑ i = 1 n f i ( w ) f(w)=R(h_w)=\frac{1}{n}\sum_{i=1}^nL(h_w(x_i),y_i)=\frac{1}{n}\sum_{i=1}^nf_i(w)
f ( w ) = R ( h w ) = n 1 i = 1 ∑ n L ( h w ( x i ) , y i ) = n 1 i = 1 ∑ n f i ( w )
依照下式的法则,迭代地降低经验风险损失的值。
w t + 1 = w t − α t ⋅ ∇ f ( w t ) = w t − α t ⋅ 1 n ∑ i = 1 n ∇ f i ( w ) w_{t+1}=w_t-\alpha_t \cdot \nabla f(w_t) = w_t - \alpha_t \cdot \frac{1}{n}\sum_{i=1}^n \nabla f_i(w)
w t + 1 = w t − α t ⋅ ∇ f ( w t ) = w t − α t ⋅ n 1 i = 1 ∑ n ∇ f i ( w )
其中, w t w_t w t 表示迭代t t t 轮时的参数向量, α t \alpha_t α t 是学习率, ∇ f \nabla f ∇ f 表示 f f f 的梯度(偏导数向量,具体的计算与损失函数的形式有关)。
牛顿迭代法
通常用于非线性函数的优化。
将参数初始化为 w 0 ∈ R d w_0 \in \mathbb{R}^d w 0 ∈ R d ,按下式对经验风险进行迭代:
w t + 1 = w t − ( ∇ 2 f ( w t ) ) − 1 ∇ f ( w t ) w_{t+1}=w_t-(\nabla^2f(w_t))^{-1}\nabla f(w_t)
w t + 1 = w t − ( ∇ 2 f ( w t ) ) − 1 ∇ f ( w t )
其中, ∇ 2 f \nabla^2f ∇ 2 f 表示 f f f 的 Hessian 矩阵(二阶偏导数矩阵)。这一方法能够更快收敛,因为它是二阶优化方法(使用 f f f 的二阶导数),而梯度下降只是一阶方法(使用 f f f 的一阶导数)。
问题 :梯度下降和牛顿法的计算成本是多少?不考虑训练数据集,需要多少内存?(假设计算样本损失的梯度能够在 O ( d ) O(d) O ( d ) 的时间复杂度内解决)
综上,梯度下降法每次迭代的计算成本为 O ( n ⋅ d ) O(n \cdot d) O ( n ⋅ d ) 。
综上,梯度下降法的内存需求为 O ( d ) O(d) O ( d ) 。
牛顿法
计算梯度:由于计算样本损失的梯度能够在 O ( d ) O(d) O ( d ) 的时间复杂度内解决,则计算 n n n 个样本损失梯度的时间复杂度为 O ( n ⋅ d ) O(n \cdot d) O ( n ⋅ d ) 。
计算 Hessian 矩阵:因为每个样本的 Hessian 矩阵是一个 d × d d \times d d × d 的矩阵,所以计算每个样本对 Hessian 矩阵的贡献的时间复杂度为 O ( d 2 ) O(d^2) O ( d 2 ) ,计算所有样本的为 O ( n ⋅ d 2 ) O(n \cdot d^2) O ( n ⋅ d 2 ) 。实例见计算非线性函数的 Hessian 矩阵 。
求解线性系统 ( ∇ 2 f ( w ) ) − 1 ∇ f ( w ) (\nabla ^2f(w))^{-1}\nabla f(w) ( ∇ 2 f ( w ) ) − 1 ∇ f ( w ) :通常需要进行矩阵求逆或使用其他方法(如 Cholesky 分解)来求解,时间复杂度一般为 O ( d 3 ) O(d^3) O ( d 3 ) 。
综合以上分析,牛顿法每次迭代的计算成本为 O ( n d 2 + d 3 ) O(nd^2+d^3) O ( n d 2 + d 3 ) 。
空间复杂度
(1)储存参数向量 w w w ,需要 O ( d ) O(d) O ( d ) 的内存。
(2)储存梯度 ∇ f ( w ) \nabla f(w) ∇ f ( w ) ,需要 O ( d ) O(d) O ( d ) 的内存。
(3)储存 Hessian 矩阵 ∇ 2 f ( w ) \nabla ^2f(w) ∇ 2 f ( w ) ,需要 O ( d 2 ) O(d^2) O ( d 2 ) 的内存。
综上,牛顿法的内存需求为 O ( d 2 ) O(d^2) O ( d 2 ) 。
因此,从计算成本和内存需求上看,梯度下降法适合于维度较高的情况( d d d 比较大),而牛顿法适用于维度较低的情况( d d d 比较小)。因为牛顿法在维度较高时计算成本和内存需求都较高,但在低维度时可以更快收敛。
梯度下降原理
直观地说,只要学习率足够小并且梯度值不为零,它就会在每次迭代时减小目标值。最终,这应该导致梯度下降接近梯度为零的点。我们可以证明梯度下降在目标的二阶导数有界 的假设下起作用。
假设我们要最小化一个目标函数 f ( w ) f(w) f ( w ) ,,并且假设这个函数的 Hessian 矩阵(也就是二阶导数矩阵)是有界的。这意味着对于某个常数 L > 0 L > 0 L > 0 ,以下条件成立:
∣ u T ∇ 2 f ( x ) u ∣ ≤ L ∣ ∣ u ∣ ∣ 2 |u^T \nabla^2 f(x) u| \leq L ||u||^2
∣ u T ∇ 2 f ( x ) u ∣ ≤ L ∣ ∣ u ∣ ∣ 2
其中, x x x 是空间中任意的向量, u ∈ R b u \in \mathbb{R}^b u ∈ R b 。上式中, ∣ u T ∇ 2 f ( x ) u ∣ |u^T \nabla^2 f(x) u| ∣ u T ∇ 2 f ( x ) u ∣ 表示向量 u u u 在 Hessian 矩阵 ∇ 2 f ( x ) \nabla ^2 f(x) ∇ 2 f ( x ) 作用下的二次型,反映了函数 f f f 在 x x x 点沿 u u u 方向上的曲率。换句话说,它是 f f f 在 u u u 方向上的二阶导数的加权和。 L ∣ ∣ u ∣ ∣ 2 L ||u||^2 L ∣ ∣ u ∣ ∣ 2 是一个界限。上式等价于:
∣ ∣ ∇ 2 f ( x ) ∣ ∣ 2 ≤ L || \nabla ^2 f(x) ||_2 \leq L
∣ ∣ ∇ 2 f ( x ) ∣ ∣ 2 ≤ L
这里的 ∣ ∣ ∇ 2 f ( x ) ∣ ∣ 2 || \nabla ^2 f(x) ||_2 ∣ ∣ ∇ 2 f ( x ) ∣ ∣ 2 表示的是 Hessian 矩阵 ∇ 2 f ( x ) \nabla^2 f(x) ∇ 2 f ( x ) 的谱范数(也叫做矩阵的 2-范数或诱导范数,谱范数的定义是矩阵 ∇ 2 f ( x ) \nabla ^2 f(x) ∇ 2 f ( x ) 的最大特征值的绝对值)。
特征值的求法
谱范数
二次型
在上述条件下,目标值随着梯度下降是如何变化的?根据泰勒定理,存在一个 ξ t \xi_t ξ t 使得下面的式子成立:
f ( w t + 1 ) = f ( w t − α ∇ f ( w t ) ) = f ( w t ) − α ∇ f ( w t ) T ∇ f ( w t ) + 1 2 ( α ∇ f ( w t ) ) T ∇ 2 f ( ξ t ) ( α ∇ f ( w t ) ) T ≤ f ( w t ) − α ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 + α 2 L 2 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 = f ( w t ) − α ( 1 − α L 2 ) ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 f(w_{t+1})=f(w_t - \alpha \nabla f(w_t))\\
=f(w_t) - \alpha \nabla f(w_t)^T \nabla f(w_t) + \frac{1}{2}(\alpha \nabla f(w_t))^T \nabla^2 f(\xi_t)(\alpha \nabla f(w_t))^T \\
\leq f(w_t) - \alpha ||\nabla f(w_t)||^2 + \frac{\alpha^2 L}{2} ||\nabla f(w_t)||^2 \\
= f(w_t) - \alpha (1 - \frac{\alpha L}{2})||\nabla f(w_t)||^2
f ( w t + 1 ) = f ( w t − α ∇ f ( w t ) ) = f ( w t ) − α ∇ f ( w t ) T ∇ f ( w t ) + 2 1 ( α ∇ f ( w t ) ) T ∇ 2 f ( ξ t ) ( α ∇ f ( w t ) ) T ≤ f ( w t ) − α ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 + 2 α 2 L ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 = f ( w t ) − α ( 1 − 2 α L ) ∣ ∣ ∇ f ( w t ) ∣ ∣ 2
首先,考虑函数 f f f 在 w t w_t w t 处的一阶泰勒展开。在 w t w_t w t 为一维向量的情况下,泰勒展开的形式为:
f ( w t + 1 ) ≈ f ( w t ) + ∇ f ( w t ) T ( w t + 1 − w t ) f(w_{t+1}) \approx f(w_t) + \nabla f(w_t)^T (w_{t+1} - w_t)
f ( w t + 1 ) ≈ f ( w t ) + ∇ f ( w t ) T ( w t + 1 − w t )
这里 ∇ f ( w t ) \nabla f(w_t) ∇ f ( w t ) 是在 w t w_t w t 处的梯度。由于 ∇ f ( w t ) \nabla f(w_t) ∇ f ( w t ) 和 w t + 1 − w t w_{t+1}-w_t w t + 1 − w t 同为列向量/行向量,为了保证内积计算的正确性,需要进行转置,结果为一个标量。
接下来考虑二阶泰勒展开项:
f ( w t + 1 ) ≈ f ( w t ) + ∇ f ( w t ) T ( w t + 1 − w t ) + 1 2 ( w t + 1 − w t ) T ∇ 2 f ( ξ t ) ( w t + 1 − w t ) f(w_{t+1}) \approx f(w_t) + \nabla f(w_t)^T (w_{t+1} - w_t) + \frac{1}{2} (w_{t+1} - w_t)^T \nabla^2 f(\xi_t) (w_{t+1} - w_t)
f ( w t + 1 ) ≈ f ( w t ) + ∇ f ( w t ) T ( w t + 1 − w t ) + 2 1 ( w t + 1 − w t ) T ∇ 2 f ( ξ t ) ( w t + 1 − w t )
二阶项为 Hessian 矩阵 ∇ 2 f ( ξ t ) \nabla^2f(\xi_t) ∇ 2 f ( ξ t ) ,它是一个对称矩阵,表示在某个点 ξ t \xi_t ξ t 处的二阶导数。为了保证矩阵乘法的合法性,需要将 w t + 1 − w t w_{t+1} - w_t w t + 1 − w t 进行转置,最后得到一个标量。
∇ f ( w t ) T ∇ f ( w t ) \nabla f(w_t)^T \nabla f(w_t) ∇ f ( w t ) T ∇ f ( w t ) 为一个标量,等同于 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ||\nabla f(w_t)||^2 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ,因此,利用上述有关于谱范数的不等式,放缩得到最终结果。
泰勒定理
如果取一个足够小的学习率 α \alpha α ,使得 1 ≥ α L 1 \geq \alpha L 1 ≥ α L ,则原式 f ( w t + 1 ) ≤ f ( w t ) − α ( 1 − α L 2 ) ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 f(w_{t+1}) \leq f(w_t) - \alpha (1 - \frac{\alpha L}{2})||\nabla f(w_t)||^2 f ( w t + 1 ) ≤ f ( w t ) − α ( 1 − 2 α L ) ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 变化为:
1 2 α ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ f ( w t ) − f ( w t + 1 ) \frac{1}{2} \alpha || \nabla f(w_t) ||^2 \leq f(w_t) - f(w_{t+1})
2 1 α ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ f ( w t ) − f ( w t + 1 )
这样就保证了每一次迭代后,目标值都在减少。现在,如果将 T T T 轮迭代的梯度结果累加,则:
1 2 α ∑ t = 0 T − 1 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ ∑ t = 0 T − 1 ( f ( w t ) − f ( t + 1 ) ) = f ( w 0 ) − f ( w T ) ≤ f ( w 0 ) − f ∗ \frac{1}{2} \alpha \sum_{t=0}^{T-1} ||\nabla f(w_t)||^2 \leq \sum_{t=0}^{T-1}(f(w_t) - f(_{t+1})) = f(w_0) - f(w_T) \leq f(w_0) - f^*
2 1 α t = 0 ∑ T − 1 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ t = 0 ∑ T − 1 ( f ( w t ) − f ( t + 1 ) ) = f ( w 0 ) − f ( w T ) ≤ f ( w 0 ) − f ∗
其中, f ∗ f^* f ∗ 为损失函数 f f f 的目标最小值,由此得到:
min t ∈ { 0 , … , T } ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ 1 T ∑ t = 0 T − 1 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ 2 ( f ( w 0 ) − f ∗ ) α T \text{min}_{t \in \{0, \dots, T\}} ||\nabla f(w_t)||^2 \leq \frac{1}{T} \sum_{t=0}^{T-1} ||\nabla f(w_t)||^2 \leq \frac{2(f(w_0) - f^*)}{\alpha T}
min t ∈ { 0 , … , T } ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ T 1 t = 0 ∑ T − 1 ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 ≤ α T 2 ( f ( w 0 ) − f ∗ )
上面不等式的左半部分显然成立,因为最小值不大于平均值。
在梯度下降过程中,最小梯度的大小随着迭代次数的增加而减小,且这种减小是与 1 T \frac{1}{\sqrt{T}} T 1 成正比的。这说明了梯度下降算法在逐渐逼近目标函数的最优值,即使有时函数值减少的速度会变慢,只要我们看的是最小梯度,这个过程就是收敛的。
1 2 Q:这个不等式是否确保梯度下降收敛到全局最优? A:梯度下降算法通过沿着负梯度方向更新参数来最小化目标函数。这个过程可以确保找到一个局部最优解,但不一定能保证找到全局最优解。如果目标函数是非凸的,它可能存在多个局部最优解。梯度下降算法可能会收敛到其中一个局部最优解,而不是全局最优解。
凸函数
首先了解凸函数在数学上的定义,若一个函数 f : R d → R f: \mathbb{R}^d \rightarrow \mathbb{R} f : R d → R ,对于所有的 x , y ∈ R d x, y \in \mathbb{R}^d x , y ∈ R d ,以及所有 η ∈ [ 0 , 1 ] \eta \in [0,1] η ∈ [ 0 , 1 ] ,有:
f ( η x + ( 1 − η ) y ) ≤ η f ( x ) + ( 1 − η ) f ( y ) f(\eta x + (1-\eta)y) \leq \eta f(x) + (1 - \eta)f(y)
f ( η x + ( 1 − η ) y ) ≤ η f ( x ) + ( 1 − η ) f ( y )
这意味着 f f f 在 x x x 和 y y y 之间的值,不会超过在 x x x 和 y y y 处的值按权重 η \eta η 和 1 − η 1 - \eta 1 − η 的线性组合。
从图形上看,这意味着如果我们在函数图中的任意两点之间画一条线段,该线段将位于函数上方。就梯度来说,对于所有 x , y ∈ R d x, y \in \mathbb{R}^d x , y ∈ R d :
( x − y ) T ( ∇ f ( x ) − ∇ f ( y ) ) ≥ 0 (x - y)^T (\nabla f(x) - \nabla f(y)) \geq 0
( x − y ) T ( ∇ f ( x ) − ∇ f ( y ) ) ≥ 0
这意味着两个点之间的梯度差与这两个点之间的向量的内积不为负数。这也是凸函数的一个特性。
对于 Hessian 矩阵来说,对于所有 x , u ∈ R d x, u \in \mathbb{R}^d x , u ∈ R d :
u T ∇ 2 f ( x ) u ≥ 0 u^T \nabla ^2 f(x) u \geq 0
u T ∇ 2 f ( x ) u ≥ 0
也就是说, Hessian 矩阵是半正定的。即对于任意非零向量 u u u , u T ∇ 2 f ( x ) u u^T \nabla ^2 f(x) u u T ∇ 2 f ( x ) u 始终不为负数。
实例:线性回归
线性模型: h ( x ) = w T x + b h(x) = w^T x + b h ( x ) = w T x + b
损失函数:均方误差MSE
L ( y , y ^ ) = 1 2 ( y − y ^ ) 2 L(y, \hat{y}) = \frac{1}{2}(y - \hat{y})^2
L ( y , y ^ ) = 2 1 ( y − y ^ ) 2
目标函数
J ( w , b ) = 1 2 m ∑ i = 1 m ( h ( x ( i ) ) − y ( i ) ) 2 J(w, b) = \frac{1}{2m} \sum_{i=1}^m (h(x^{(i)}) - y^{(i)})^2
J ( w , b ) = 2 m 1 i = 1 ∑ m ( h ( x ( i ) ) − y ( i ) ) 2
线性回归模型的目标函数为凸函数。
强凸函数
如果存在一个正的参数 μ > 0 \mu > 0 μ > 0 ,使得对于所有的 x , y ∈ R d x, y \in \mathbb{R} ^ d x , y ∈ R d ,函数 f f f 满足下式:
f ( y ) ≥ f ( x ) + ∇ f ( x ) T ( y − x ) + μ 2 ∣ ∣ x − y ∣ ∣ 2 f(y) \geq f(x) + \nabla f(x) ^T (y-x) + \frac{\mu}{2} || x-y || ^2
f ( y ) ≥ f ( x ) + ∇ f ( x ) T ( y − x ) + 2 μ ∣ ∣ x − y ∣ ∣ 2
强凸性还可以通过函数的 Hessian \text{Hessian} Hessian 矩阵(即二阶导数矩阵)来定义。对于任意 x , u ∈ R d x, u \in \mathbb{R} ^d x , u ∈ R d ,函数 f f f 满足下式:
u T ∇ 2 f ( x ) u ≥ μ ∣ ∣ u ∣ ∣ 2 u^T \nabla ^2 f(x) u \geq \mu ||u|| ^2
u T ∇ 2 f ( x ) u ≥ μ ∣ ∣ u ∣ ∣ 2
强凸性隐含了下式信息:
∣ ∣ ∇ f ( x ) ∣ ∣ 2 ≥ 2 μ ( f ( x ) − f ∗ ) ||\nabla f(x)|| ^2 \geq 2 \mu (f(x) - f ^ *)
∣ ∣ ∇ f ( x ) ∣ ∣ 2 ≥ 2 μ ( f ( x ) − f ∗ )
这一性质也称 Polyak–Lojasiewicz \text{Polyak–Lojasiewicz} Polyak–Lojasiewicz 条件,此外,还可以通过添加 l 2 \mathcal{l}_2 l 2 正则化将凸函数转变为强凸函数。
强凸函数的梯度下降
沿用上文的情形,我们得到下式:
f ( w t + 1 ) ≤ f ( w t ) − 1 2 α ∣ ∣ ∇ f ( w t ) ∣ ∣ 2 f(w_{t+1}) \leq f(w_t) - \frac{1}{2} \alpha || \nabla f(w_t) ||^2
f ( w t + 1 ) ≤ f ( w t ) − 2 1 α ∣ ∣ ∇ f ( w t ) ∣ ∣ 2
由于强凸性,我们应用 Polyak–Lojasiewicz \text{Polyak–Lojasiewicz} Polyak–Lojasiewicz 条件可以得到:
f ( w t + 1 ) ≤ f ( w t ) − α μ ( f ( w t ) − f ∗ ) f(w_{t+1}) \leq f(w_t) - \alpha \mu (f(w_{t}) - f ^ *)
f ( w t + 1 ) ≤ f ( w t ) − α μ ( f ( w t ) − f ∗ )
在不等式两端减去损失函数 f f f 的目标最小值 f ∗ f ^ * f ∗ :
f ( w t + 1 ) − f ∗ ≤ f ( w t ) − α μ f ( w t ) − f ∗ + α μ f ∗ = ( 1 − α μ ) ( f ( w t ) − f ∗ ) f(w_{t+1}) - f ^ * \leq f(w_t) - \alpha \mu f(w_{t}) - f ^ * + \alpha \mu f ^ * = (1-\alpha \mu)(f(w_t) - f^*)
f ( w t + 1 ) − f ∗ ≤ f ( w t ) − α μ f ( w t ) − f ∗ + α μ f ∗ = ( 1 − α μ ) ( f ( w t ) − f ∗ )
上式递归地应用T步,得到:
f ( w t + T ) − f ∗ ≤ ( 1 − α μ ) T ( f ( w t ) − f ∗ ) f(w_{t+T}) - f^* \leq (1-\alpha \mu)^T(f(w_t)-f^*)
f ( w t + T ) − f ∗ ≤ ( 1 − α μ ) T ( f ( w t ) − f ∗ )
递推过程:
f ( w t + 1 ) − f ∗ ≤ ( 1 − α μ ) ( f ( w t ) − f ∗ ) f ( w t + 2 ) − f ∗ ≤ ( 1 − α μ ) ( f ( w t + 1 ) − f ∗ ) ≤ ( 1 − α μ ) 2 ( f ( w t ) − f ∗ ) … f ( w t + T ) − f ∗ ≤ ( 1 − α μ ) T ( f ( w t ) − f ∗ ) f(w_{t+1}) - f ^ * \leq (1-\alpha \mu)(f(w_t) - f^*)
\\
f(w_{t+2}) - f ^ * \leq (1-\alpha \mu)(f(w_{t+1}) - f^*) \leq (1-\alpha \mu)^2(f(w_t) - f^*)
\\
\dots
\\
f(w_{t+T}) - f^* \leq (1-\alpha \mu)^T(f(w_t)-f^*)
f ( w t + 1 ) − f ∗ ≤ ( 1 − α μ ) ( f ( w t ) − f ∗ ) f ( w t + 2 ) − f ∗ ≤ ( 1 − α μ ) ( f ( w t + 1 ) − f ∗ ) ≤ ( 1 − α μ ) 2 ( f ( w t ) − f ∗ ) … f ( w t + T ) − f ∗ ≤ ( 1 − α μ ) T ( f ( w t ) − f ∗ )
在 t = 0 t=0 t = 0 时,有:
f ( w T ) − f ∗ ≤ ( 1 − α μ ) T ( f ( w 0 ) − f ∗ ) f(w_{T}) - f^* \leq (1-\alpha \mu)^T(f(w_0)-f^*)
f ( w T ) − f ∗ ≤ ( 1 − α μ ) T ( f ( w 0 ) − f ∗ )
又:
( 1 − α μ ) T ≤ exp ( − α μ T ) (1 - \alpha \mu) ^T \leq \text{exp} (- \alpha \mu T)
( 1 − α μ ) T ≤ exp ( − α μ T )
得到:
f ( w T ) − f ∗ ≤ exp ( − α μ T ) ⋅ ( f ( w 0 ) − f ∗ ) f(w_{T}) - f^* \leq \text{exp} (- \alpha \mu T) \cdot (f(w_0)-f^*)
f ( w T ) − f ∗ ≤ exp ( − α μ T ) ⋅ ( f ( w 0 ) − f ∗ )
因此,对于强凸函数,使用常数学习率的梯度下降算法能够以指数级的速度收敛到最优解。如果我们使用满足 1 ≥ α L 1 \geq \alpha L 1 ≥ α L 的最大学习率(比如设定 α = 1 L \alpha = \frac{1}{L} α = L 1 ),则有:
f ( w T ) − f ∗ ≤ exp ( − μ T L ) ⋅ ( f ( w 0 ) − f ∗ ) f(w_{T}) - f^* \leq \text{exp} (- \frac{\mu T}{L}) \cdot (f(w_0)-f^*)
f ( w T ) − f ∗ ≤ exp ( − L μ T ) ⋅ ( f ( w 0 ) − f ∗ )
同样地,为了保证 f ( w T ) − f ∗ f(w_T) - f^* f ( w T ) − f ∗ (即在 T 步后目标函数值和最优值之间的差距)小于某个目标误差 $ \epsilon > 0$,我们需要设置足够大的 T:
T ≥ L μ ⋅ log ( f ( w 0 ) − f ∗ ϵ ) T \geq \frac{L}{\mu} \cdot \text{log} (\frac{f(w_0)-f^*}{\epsilon})
T ≥ μ L ⋅ log ( ϵ f ( w 0 ) − f ∗ )
确定优化算法需要进行多少步 T 以达到某个目标误差的主要因素是 κ = L μ \kappa = \frac{L}{\mu} κ = μ L ,这个比例是由问题本身的性质决定的,而与初始条件或所需解决方案的精度无关。这个比例通常被称为条件数(condition number) 。条件数隐含了一个强凸问题的难度。当条件数非常大时,问题可能非常难以解决,并且可能需要很多次梯度下降的迭代才能接近最优解。
1 2 3 4 Q:What affects the condition number? What can we do to make the condition number smaller? A: 影响条件数的因素有梯度的 Lipschitz 常数 L ,如果函数的梯度变化非常剧烈,即梯度的 Lipschitz 常数很大,那么条件数会较高。这通常意味着函数在不同点的梯度变化幅度很大;还有强凸性参数 μ ,如果函数的强凸性参数较小,即函数的下界不够紧凑,那么条件数也会较高。这通常表示函数的曲率较低,优化过程可能较为困难。此外,在数据规模增大或者特征数量增加时,可能会导致 L 增加,从而导致条件数变大。复杂的模型(例如深度神经网络)也可能导致较高的 L。 可以通过特征工程、数据预处理、正则化等来减小条件数。