1. 引言
本文主要研究无约束优化问题:
其中,
是二次可微函数,且其Hessian矩阵满足利普希茨条件(Lipschitz condition)。
无约束优化问题是优化理论中最为基本的问题之一,在诸多数学和工程问题中有着广泛应用。
梯度下降法和随机梯度下降法是求解无约束优化问题常用的方法 [1] [2] [3] 。在机器学习任务中,由于该类算法良好的并行性和较低的计算成本使其得到了广泛的引用。对于具有病态Hessian矩阵的问题,一阶方法的迭代收敛速度往往比较慢,极大地限制了梯度下降型方法在此类问题中的应用。相对于一阶梯度型方法,利用Hessian矩阵信息的Newton法在收敛速度方面具有较快的速度。然而,经典牛顿法仅适用于强凸问题,并且在初始值远离最优值点时可能出现不收敛情况。此外,每次迭代需要求解的Hessian矩阵可能存在病态问题,进而导致数值精度误差大和数值求解严重的不稳定性问题。为了解决这些问题,人们提出了多种方法来弥补Newton法的缺陷。
为解决Hessian矩阵非正定问题,学者提出了LM方法。
Levenberg-Marquardt正则化 [4] [5] :如果
不是正定的,可以用一个单位矩阵将其正则化。即,使用
和
来进行迭代:
然而Levenberg-Marquardt正则化方法存在正则化参数
选择的问题。
为解决算法对初始值的依赖的问题,就推动了Line-search和Trust-region方法的研究。
线搜索(Line search) [6] :这是一种全局优化策略,它采用牛顿方法的更新方向,并在该方向上找到最佳的步长
:
但线搜索方法也存在计算量较大以及当Hessian矩阵负定时导致函数值无法下降的缺点。
信赖域方法(Trust-region approach) [7] :根据这种方法,在
点,必须形成它的邻域。其中函数的二阶近似是可靠的。这是一个信任区域
。例如
。然后选择下一个点
作为以下辅助问题的解:
信赖域方法每次迭代需要求解子问题,子问题求解需要求出函数的一阶和二阶信息以及矩阵求逆等操作,计算复杂度较高。
三次正则化(CR)牛顿方法:采用一个初始化
,一个适当的参数
,并生成一个序列
通过以下更新规则来求解目标函数:
,
.
三次正则化(CR)牛顿方法相较其他方法在寻找二阶稳定点具有较好的优势 [8] 。然而,在大规模优化问题中,求解三次子优化问题的精确解是一个非线性问题,所以该方法在求解三次子优化问题的解时有巨大的计算负担。
为了降低三次正则化方法计算量大难题,Richtárik and Doikov [9] 提出了二阶块坐标下降且增加了三次正则项的RBCN算法,在许多问题上其收敛速度和计算量有了明显的改进;Song and Liu [10] 使用近似三次正则化牛顿法(PCNM)来求解目标函数由光滑凸函数和非光滑凸函数组成的优化问题,PCNM方法通过构造一个近似目标函数,来避免求解Hessian矩阵的逆矩阵,并且通过增加一个正则化项,来保证算法的收敛性和稳定性,该方法收敛速率比线性速率收敛更快,但比二次速率收敛更慢的收敛速度。其次,众多的学者还研究了通过各种采样方案降低计算复杂度,如小批量抽样 [11] 、子抽样 [12] 、方差减少抽样 [13] 。
Konstantin Mishchenko基于Levenberg-Marquardt正则化思想提出了正则化Newton方法,证明算法收敛性并给出了算法的全局收敛阶数和局部收敛阶数 [14] 。
经典的三次牛顿更新可以隐式地写成:
其中
是一个常数,I是单位矩阵。Konstantin Mishchenko取
,即更新规则为:
然而这一方法仍然具有线性方程组精确求解较难并且求解精确解需要较大计算量,其次也存在Hessian矩阵难求,占用内存大等难题。
本文基于正则化Newton方法,采用迭代法近似求解正则化Newton法中的高维线性方程组,提出了非精确三次正则化Newton方法,通过数值实验验证了方法收敛性和有效性。
2. 非精确三次正则化牛顿方法
2.1. 非精确牛顿法
非精确牛顿法的基本思路是利用迭代方法近似求解Newton方程组的解,当精度满足一定要求时就可以停止迭代,以此计算出一个满足一定精度要求的优化解。具体而言,在每次迭代中,非精确牛顿法不需要准确计算出Hessian矩阵
,只需要计算出Hessian矩阵
与解向量s,再结合梯度矢量
即可以计算出非精确解 [15] :
然后,当截断误差满足一定条件时就停止迭代。
考虑到非精确牛顿法具有计算量较少以及存储成本低的优点,所以本文拟将非精确牛顿法运用到求解三次正则化牛顿方法的子优化问题中,以此进一步降低计算量。
下面简要介绍一下一些非精确求解线性方程组的方法:
CG (共轭梯度法):算法的核心思想是通过迭代来寻找最优解。在每个迭代步骤中,它寻找一个共轭方向(conjugate direction),该方向与之前的方向是共轭的,然后在该方向上进行线性搜索以确定步长,从而更新当前的优化变量x。
GMRES (Generalized Minimal Residual)方法:该方法的思想是利用Krylov子空间的性质,该子空间由A和初始残差b-Ax0生成,其中x0是初始猜测解向量。GMRES迭代寻找一个近似解,它在Krylov子空间中最小化残差范数。
2.2. 更新迭代式
本文提出的非精确牛顿法运用在Konstantin Mishchenko所提出的正则化方法中的更新迭代式为:
其中
,
为非精确牛顿法计算的截断误差。
2.3. 算法
在Konstantin Mishchenko学者研究的基础上,根据本文提出的非精确更新迭代式,本文给出了在已知参数H情况下的算法1。
算法1在实际运用中,由于需要提前知道先验参数H,这对于现实情况是很困难的。所以需要对算法进行适当调整,使得算法能够自适应的寻找参数H。受到Konstantin Mishchenko研究的启示,本文对算法1进行了调整,算法2通过线搜索的方式来寻找合适的参数H。
由于线搜索方式过于消耗计算量,所以基于Konstantin Mishchenko的研究,给出算法3,可以自适应的估计参数H。
3. 数值实验
在本节中,本文通过数值实验探究本文提出方法的数值计算表现。本节将主要探究在不同绝对误差、不同相对误差以及不同非精确求解器在数值实验中的表现。本文数据集将使用mashrooms数据集(8124条 × 22维)。
带二次正则化的逻辑回归:
是特征矩阵,
是第i个样本的标签。本文设置正则化系数
使得问题是病态的。
从图1中可以看出,在算法1中不同绝对截断误差下的非精确牛顿法的数值实验结果相差不大。但在算法2中可以明显地发现非精确牛顿法可以在前期获得更快的收敛速度,在后期时由于绝对截断误差过大,导致其所能达到的最小值精度不够。在算法3中可以发现不同程度的绝对截断误差对于前期优化影响不大,但后期的收敛速度却比不上精确解。
![](//html.hanspub.org/file/43-1701195x75_hanspub.png?20231212171824698)
![](//html.hanspub.org/file/43-1701195x76_hanspub.png?20231212171824698)
Figure 1. Numerical results for L2 regularized logistic regression problems on the “mushrooms” dataset using exact solution and three algorithms with absolute truncation errors (η = 100, 10−3, 10−6)
图1. 对“mashrooms”数据集使用精确解和有绝对截断误差(η = 100, 10−3, 10−6)的3个算法的L2正则化逻辑回归问题的数值结果
与图1类似,从图2中可以看出,在算法1中不同相对截断误差下的非精确牛顿法的数值实验结果相差不大。同样可以在算法2中发现有相对截断误差可以在前期获得更快的收敛速度,由于是相对截断误差,所以在后期时也并未出现最小值精度无法达到的情况。同样不同程度的相对截断误差在算法3中前期优化影响不大,但后期可以发现相对误差越小其收敛速度越快。
![](//html.hanspub.org/file/43-1701195x78_hanspub.png?20231212171824698)
![](//html.hanspub.org/file/43-1701195x79_hanspub.png?20231212171824698)
Figure 2. Numerical results for L2 regularized logistic regression problems on the “mushrooms” dataset using exact solution and three algorithms with relative truncation errors (η = 100, 10−3, 10−6)
图2. 对“mashrooms”数据集使用精确解和有相对截断误差(η = 100, 10−3, 10−6)的3个算法的L2正则化逻辑回归问题的数值结果
见图3,其中非精确求解器为cg (共轭梯度法)、gmres (Generalized Minimal Residual)。与图1类似,在算法1中同一绝对截断误差下使用不同求解器的非精确牛顿法的数值实验结果相差不大。同样可以在算法2中发现cg方法略优于gmres方法。在算法3中不同求解器在前期优化速度基本相同,但后期在收敛速度上cg求解器略逊于gmres方法。
![](//html.hanspub.org/file/43-1701195x81_hanspub.png?20231212171824698)
![](//html.hanspub.org/file/43-1701195x80_hanspub.png?20231212171824698)
![](//html.hanspub.org/file/43-1701195x82_hanspub.png?20231212171824698)
Figure 3. Numerical results for L2 regularized logistic regression problems on the “mushrooms” dataset using exact solution and two algorithms with absolute truncation errors (η = 10−6)
图3. 对“mashrooms”数据集使用精确解和有绝对截断误差(η = 10−6)的2个算法的L2正则化逻辑回归问题的数值结果
4. 结论与展望
本文基于Konstantin Mishchenko学者提出自适应牛顿方法给出了非精确自适应三次正则化牛顿方法。本文针对参数H已知和未知的情况提出了3种算法,并通过数值实验验证了这些算法的单调性和收敛性。本文对比了不同相对截断误差、不同绝对截断误差、不同求解器几种情况下算法的实际表现。通过这些对比实验得出,在绝对截断误差过大时,算法2会导致函数达到的最小值精度有限的情况,但随着绝对误差的减少函数的精度可以得到提升。相对截断误差过大时也会出现一些迭代步时效果不好的情况。此外,不同的非精确求解器在数值实验中在算法1上表现差异不大,但在算法2和算法3中有一定的差异。本文后续将从理论上给出其保持单调性的截断条件、证明收敛阶数并给出在高维数据下的数值实验表现。