1. 引言
本文主要考虑以下最优化问题(文 [1] ):
(1.1)
其中,
是经验风险函数。
是训练实例,
是相应的标签。l是一个凸的损失函数,用来衡量y与通过w产生的预测值之间的差异,例如,
,其中
定义为标准的欧几里得内积。最后,
是一个凸函数且作为正则化项,而
是正则化参数。特别的,
是可微的且易于计算。与之相反的,经验风险函数项
通常是不可微的,而且它的计算代价总是很大的(文 [2] )。
目前,各种各样的机器学习问题都可以描述成一类最小化正则风险函数问题,具体地,不同的机器学习算法会形成不同的风险函数和正则化项,例如:线性支持向量机(SVMs),逻辑回归,条件随机场(CRFs)等等。因而研究此类凸优化问题具有重要的理论和现实意义。本文在束方法的基础上,结合一类BMRM算法,对BMRM算法的精确线搜索进行改进,推广到非精确的情形,给出一个改进的BMRM算法来求解正则化风险函数问题,在一定条件下,证明算法的全局收敛性。
2. 基础知识
机器学习问题建立在最优化基础理论上,为了更好的研究机器学习,下面将简要介绍与最优化理论相关的基本概念和一些重要结论,次梯度和束方法等。先介绍一些记号,其中:序列或者集合元素的索引记在下标,如
。向量u的第i个分量记为
,
表示集合
,
范数定义为:
,这里的
,然后使用
来定义
。
次梯度(文 [3] ):对于一类非光滑的凸函数,次梯度是对于梯度的一个近似,假设
是凸函数J上的一点,
是J在点
处的次梯度,当且仅当:
对任意的w,有
成立 (2.1)
则在
处所有的次梯度组成的集合叫做次微分,记为
。
切平面模型(CPM) (文 [4] ):
给定点
处的次梯度
,产生一系列分段线性下界来迫近J:
(2.2)
迭代点
的更新:
(2.3)
切平面模型(CPM)的模型迭代过程不断改进分段线性下界
,且使整个模型逐步逼近J的最小值。
邻近束方法(Proximal Bundle Methods) (文 [5] ):
虽然切平面模型是收敛的,但是当新的迭代点与上一个迭代点距离较大时,切平面模型收敛速度很慢。为了改进切平面模型的不稳定性,邻近束方法通过增加一个邻近函数来改进下一个点的选取,其中,一般选取
作为邻近函数:
(2.4)
这里
是最近的邻近中心,
是正邻近项参数。但是,这样的改进会使束方法需要对参数进行仔细地调整。
3. 一个新的最小化正则风险函数算法(BMRM)
结合次梯度和邻近束方法,文章 [6] 提出了一种新的机器学习凸优化算法:BMRM算法。在求解一类机器学习问题(1.1)时,对于每一次迭代t,BMRM算法都会构建下界
来近似经验风险函数
,而新的迭代点
则由最小化
更新,
由
与正则项
组成。这是BMRM算法和邻近束方法的最大不同。
实际上,BMRM算法不涉及邻近中心,进一步,BMRM算法甚至不包括邻近项。
BMRM算法具体如下:
算法1 (BMRM算法)
步骤1:输入及初始化:
步骤2:循环:
,计算:
步骤3:(更新模型)
步骤4:(迭代点更新)
步骤5:
步骤6:直到
,返回
与邻近束方法相比较,BMRM算法有两点不同:
a) BMRM算法是用一个分段线性下界来接近
而不是
。
b) 在邻近束方法中,邻近项(
)被正则化项
替代,因此,就不需要调整邻近参数了。
进一步,考虑存在有效的精确线搜索时,BMRM算法可以实现更快速的收敛,所以,结合线搜索的BMRM算法如下(文 [4] ):
算法2 (结合精确线搜索的BMRM算法)
步骤1:输入及初始化:
步骤2:循环:
,计算:
步骤3:(更新模型)
步骤4:
步骤5:(线搜索)
步骤6:
直到
,返回
。
注意到,对所有的t,如果设
,则算法2可以简化为算法1,且两个算法使用相同的终止准则.值得注意的是,带线搜索的BMRM算法并不能应用于结构化的机器学习问题,例如:最大边际马尔科夫网络问题。
4. 改进的非精确线搜索BMRM算法
在机器学习的优化问题中,算法2中的精确线搜索往往需要计算很多的函数值和梯度值,这样的话会产生较大的计算代价,特别是当迭代点离最优点比较远的时候,精确线搜索往往不是最有效和合理的。所以,对于许多像问题(1.1)的机器学习凸优化问题,非精确线搜索既能保证目标函数具有可接受的下降量,又能使最终形成的迭代序列收敛,以下将考虑非精确线搜索和BMRM算法的结合。
算法3 (结合非精确线搜索的BMRM算法)
步骤1:输入及初始化:
步骤2:循环:
,计算:
步骤3:(更新模型)
步骤4:
步骤5:(线搜索)内循环:
步骤6:更新点列:
步骤7:
直到
,返回
。
在证明算法3的收敛性之前,先介绍相关引理。
定义4.1 (Fenchel对偶) 定义
是一个在凸集W上的凸函数,则
的对偶
定义为:
定理4.1 定义
的列向量为(次)梯度,
,则问题:
(4.1)
的对偶问题为:
(4.2)
此外,
和
之间有对偶关系式
。
证明:首先将(4.1)式改写成一个带约束的最优化问题:
式中
。通过引入非负的拉格朗日乘子
和元素都是1的t维向量
,相应的拉格朗日函数可以写成:
(4.3)
式中,
表示向量
的每一个分量都是非负的,对
求导可得:
。此外,对变量w最小化L意味着求解问题:
把上述两项插回到(4.3)式中,就可以消除了原始变量
和w。得证。
推论4.1 当
时,即取二次正则项的时候,(4.2)式可以写成:
5. 收敛性分析
接下来证明结合非精确线搜索的BMRM算法具有较好的收敛速度。事实上,对于求解非光滑优化问题,水平束方法收敛速度为
。本文将证明,对于求解具有非光滑损失函数的正则化风险函数问题,算法3将具有
的收敛速度。更具体的说,我们将证明以下收敛性:
假设
,而对于正则化项
有
,本文将证明在上述假设下,算法具有
收敛速度,即算法将在
的迭代次数中,得到其
-最优解。
在以下的证明过程中,我们使用了类似于文 [7] 的技术:
定理5.1 假设
对于所有的
成立,且
对于所有的
成立,这里
,且对
有
成立,即,存在:
证明:定理5.1的证明参考文献 [4] 。
定理5.2 假设对于所有的w有
,在定理5.1成立的条件下,可以证明算法1的收敛性。即对任
意的
,算法会在至多:
步后,收敛到所需精度。
证明:定理5.2的证明参考文献 [4] 。
在证明算法3收敛性之前先介绍相关引理。
引理5.1
。
证明:由
和
与
的关系,且
是
和
的凸组合,此外,根据
和
的定义,得到
。因此有:
(5.1)
因为
是凸的,所以:
即:
上式两边乘以
,然后加上
和减去
得:
结合算法3的步骤7:
(5.2)
联立(5.1)和(5.2):
由
可得:
化简得:
(5.3)
因为
是凸函数
的泰勒近似,所以有:
(5.4)
把(5.4)带入(5.3),得到:
两边除以
,得到:
又:
故:
引理5.2
。
证明:
引理5.3 令
如定理4.1中的定义,
和
,则在定理5.1里下述条件成立
情况下,下式成立:
证明:首先,有对偶关系
,且(4.2)在第t迭代时,
和
,随后,因为
在
的凸包里面,因此
,接下来,由Cauchy-Schwarz不等式得:
引理5.4 对满足以下递推条件:
是一个常数,当
时
的非负序列
,有当整数
时:
此外,当
时:总有
成立。
证明:此引理通过归纳法易得,参考文献 [8] 。
定理 5.3 在定理5.1成立条件下,算法3收敛到任意
精度需要:
步。
证明:对于
,结合定理5.1及其证明过程,易知:
又由引理5.4可知
,这里
。令
,假设
,然后
解出n,有: