分布式计算、统计学习与ADMM算法
2014 年 02 月 11 日 | 分类于 算法在整理旧电脑时,才发现13年下半年电脑里有不少残文。老师说,东西搁下了再拿起来花费的时间和之前可能差不多。我一眼看过去这篇关于分布式计算的文章,貌似还真的没有了当时理解的深度和感觉。当时还想利用ADMM算法,把统计中常见的带惩罚的高维问题在此框架下用R重写一下,但是中途多种事情一耽搁,就早已抛之脑后。看来任何事情,真的还是需要坚持,哪怕拨点时间都是好的。先把一篇残文扔出来祭奠下过去的13年吧。公式多文字长,慎入!
业界一直在谈论大数据,对于统计而言,大数据其实意味着要不是样本量增加$n \rightarrow \infty$,要不就是维度的增加$p \rightarrow \infty$,亦或者两者同时增加,并且维度与样本量的增长速度呈线性或者指数型增长。在稀疏性的假设条件下,再加上一些正则性方法,统计学家可以证明各种加penalty的模型所给出的参数估计具有良好的统计性质,收敛速度也有保证,同时还会给出一些比较好的迭代算法,但是,他们并没有考虑真实环境下的所消耗的计算时间。虽然统计学家也希望尽量寻求迭代数目比较少的算法(比如one-step估计),但是面对真实的Gb级别以上的数据,很多时候我们还是无法直接用这些算法,原因是一般的硬件都无法支撑直接对所有数据进行运算的要求。如果想减少抽样误差,不想抽样,又想提高估计的精度,那么还是需要寻求其他思路,结合已有的模型思想来解决这些问题。在目前条件下,并行化、分布式计算是一种比较好的解决思路,利用多核和多机器的优势,这些好算法便可以大规模应用,处理大数据优势便体现出来了。对于统计而言,数据量越大当然信息越可能充分(假设冗余成分不是特别多),因为大样本性质本身就希望样本越多越好嘛。
本文是基于Stephen Boyd 2011年的文章《Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers》进行的翻译和总结。Boyd也给出了利用matlab的CVX包实现的多种优化问题的matlab示例。
1. 优化的一些基本算法思想
ADMM算法并不是一个很新的算法,他只是整合许多不少经典优化思路,然后结合现代统计学习所遇到的问题,提出了一个比较一般的比较好实施的分布式计算框架。因此必须先要了解一些基本算法思想。
1.1 Dual Ascent
对于凸函数的优化问题,对偶上升法核心思想就是引入一个对偶变量,然后利用交替优化的思路,使得两者同时达到optimal。一个凸函数的对偶函数其实就是原凸函数的一个下界,因此可以证明一个较好的性质:在强对偶性假设下,即最小化原凸函数(primal)等价于最大化对偶函数(dual),两者会同时达到optimal。这种转化可以将原来很多的参数约束条件变得少了很多,以利于做优化。具体表述如下:
在强对偶性的假设下,primal和dual问题同时达到最优。
因此,若对偶函数$g(y)$可导,便可以利用梯度上升法,交替更新参数,使得同时收敛到最优。迭代如下:
当$g$不可微的时候也可以将其转化下,成为一个所谓的subgradient的方法,虽然看起来不错,简单证明下即可知道$x^k$和$y^k$同时可达到optimal,但是上述条件要求很苛刻:$f(x)$要求严格凸,并且要求$\alpha$选择有比较合适。一般应用中都不会满足(比如$f(x)$是一个非零的仿射函数),因此dual ascent不会直接应用。
1.2 Dual Decomposition
虽然dual ascent方法有缺陷,要求有些严格,但是他有一个非常好的性质,当目标函数$f$是可分的(separable)时候(参数抑或feature可分),整个问题可以拆解成多个子参数问题,分块优化后汇集起来整体更新。这样非常有利于并行化处理。形式化阐述如下:
因此可以看到其实下面在迭代优化时,$x$-minimization步即可以拆分为多个子问题的并行优化,对偶变量更新不变这对于feature特别多时还是很有用的。
对偶分解是非常经典的优化方法,可追溯到1960年代。但是这种想法对后面的分布式优化方法影响较大,比如近期的graph-structure优化问题。
1.3 Augmented Lagrangians and the Method of Multipliers
从上面可以看到dual ascent方法对于目标函数要求比较苛刻,为了放松假设条件,同时比较好优化,于是就有了Augmented Lagrangians方法,目的就是放松对于$f(x)$严格凸的假设和其他一些条件,同时还能使得算法更加稳健。
从上面可以看到该问题等价于最初的问题,因为只要是可行解对目标函数就没有影响。但是加了后面的惩罚项的好处是使得对偶函数在更一般的条件下可导。计算过程与之前的dual ascent基本一样,除了最小化$x$时候加了扩增项。
上述也称作method of multipliers,可能也是因为更新对偶变量$y$时步长由原来变化的$\alpha^k$转为固定的$\rho$了吧。该算法在即使$f(x)$不是严格凸或者取值为$+\infty$情况都可以成立,适用面更广。同样可以简单证明primal变量$x$和对偶变量$y$可以同时达到最优。
虽然Augmented Lagrangians方法有优势,但也破坏了dual ascent方法的利用分解参数来并行的优势。当$f$是separable时,对于Augmented Lagrangians却是not separable的(因为平方项写成矩阵形式无法用之前那种分块形式),因此在$x -\min$步时候无法并行优化多个参数$x_i$。如何改进,继续下面的议题就可以慢慢发现改进思想的来源。
2. Alternating Direction Method of Multipliers(ADMM)
2.1 ADMM算法概述
为了整合dual ascent可分解性与method multiplers优秀的收敛性质,人们就又提出了改进形式的优化ADMM。目的就是想能分解原函数和扩增函数,以便于在对$f$更一般的假设条件下并行优化。ADMM从名字可以看到是在原来Method of Multipliers加了个Alternating Direction,可以大概猜想到应该是又想引入新变量,然后交叉换方向来交替优化。形式如下:
从上面形式确实可以看出,他的思想确实就是想把primal变量、目标函数拆分,但是不再像dual ascent方法那样,将拆分开的$x_i$都看做是$x$的一部分,后面融合的时候还需要融合在一起,而是最先开始就将拆开的变量分别看做是不同的变量$x$和$z$,同时约束条件也如此处理,这样的好处就是后面不需要一起融合$x$和$z$,保证了前面优化过程的可分解性。于是ADMM的优化就变成了如下序贯型迭代(这正是被称作alternating direction的缘故):
后面我们可以看到这种拆分思想非常适合统计学习中的$\ell_1$-norm等问题:loss + regulazition(注意:一定要保证$z$分解出来,ADMM借助的就是用一个$z$变量来简化问题,不管他是约束还是其他形式也罢,需要构造一个$z$出来,后面具体到细节问题我们会有更深的体会)。
为了简化形式,ADMM有一个scaled form形式,其实就是对对偶变量做了scaled处理。先定义每一步更新的残差为$r = Ax + Bz -c$,于是稍加计算
此处$u = (1/\rho)y$称为scaled dual variable,并令每一步迭代的残差为$r^k = Ax^k + Bz^k -c$,以及累计残差$u^k = u^0 + \sum^k_{j=1}r^j$,于是ADMM形式就可以简化为如下形式
写成这种形式有利于后面简化优化问题,当然可以不作任何处理。
2.2 ADMM算法性质和评价
(1)收敛性
关于收敛性,需要有两个假设条件:
- $f$和$g$分别是扩展的实数函数$\mathbf{R}^n(\mathbf{R}^m) \rightarrow \mathbf{R}\bigcup {+\infty}$,且是closed、proper和convex的;
- 扩增的lagrangian函数$L_0$有一个鞍点(saddle point);对于约束中的矩阵$A,B$都不需要满秩。
在此两个假设下,可以保证残差、目标函数、对偶变量的收敛性。
Note:实际应用而言,ADMM收敛速度是很慢的,类似于共轭梯度方法。迭代数十次后只可以得到一个acceptable的结果,与快速的高精度算法(Newton法,内点法等)相比收敛就慢很多了。因此实际应用的时候,其实会将ADMM与其他高精度算法结合起来,这样从一个acceptable的结果变得在预期时间内可以达到较高收敛精度。不过一般在大规模应用问题中,高精度的参数解对于预测效果没有很大的提高,因此实际应用中,短时间内一个acceptable的结果基本就可以直接应用预测了。
(2)停止准则
对于ADMM的能到到optimal的条件此处就不做赘述了,与基本的primal和dual feasibility 的条件差不多,即各primal variable的偏导和约束条件为0,从最优条件中可以得到所谓的对偶残差(dual residuals)和初始残差(primal residuals)形式:
相对而言,此处更难把握的其实是停止准则,因为收敛速度问题,要想获得一个还过得去可以拿来用的参数解,那么判断迭代停止还是比较重要的。实际应用中,一般都根据primal residuals和dual residuals足够小来停止迭代,阈值包含了绝对容忍度(absolute tolerance)和相对容忍度(relative tolerance),设置还是非常灵活和难把握的(貌似网上有不少人吐槽这个停止准则的不靠谱- -!),具体形式如下:
上面的$\sqrt{p}$和$\sqrt{n}$分别是维度和样本量。一般而言,相对停止阈值$\epsilon^{\text{rel}} = 10^{-3}$或者$10^{-4}$,绝对阈值的选取要根据变量取值范围来选取(咋选的呢?没说额,具体比例都不给说- -!)
另外一些细节问题,比如原来惩罚参数$\rho$是不变的,一些文献也做了一些可变的惩罚参数,目的是为了降低对于惩罚参数初始值的依赖性。不过变动的$\rho$会导致ADMM的收敛性证明比较困难,因此实际中假设经过一系列迭代后$\rho$也稳定,边可直接用固定的惩罚参数$\rho$了。还有其他问题,诸如$x$与$z$迭代顺序问题,实际操作下有所有不同,这些不是特别重要之处,可以忽略。其他与ADMM比较相关算法的有dual ADMM算法,distributed ADMM算法,还有整合了ADMM与proximal method of multiplier的算法
2.3 ADMM一般形式与部分具体应用
当构造了ADMM算法中的$f, g, A, B$后,便可直接应用该算法了。我们会经常遇到如下三种一般形式的问题
- 二次目标优化项(quadratic objective terms);
- 可分的目标函数和约束(separable objective and constraints);
- 光滑目标函数项(smooth objective terms)。
为下面讨论的方便,下面仅写出$x$-update的形式,根据ADMM简化形式,$z$-update对称更新即可:
上述更新$x$时候$z$和$u$都定下来,是个常数,$z$更新时后相同。
Proximity Operator(近邻算子)
上述形式有种特殊情况:当$A = I$时,即约束条件没有$x$的线性组合形式,只是对于$x$的可行区域进行限制。这种问题相当常见,目前统计学习也有不少类似的高维优化问题。此时$x$-update如下
上述右边可以写成$v$的函数$\textbf{prox}_{f, \rho}(v)$被称作带惩罚$\rho$的$f$的proximity operator(通常称作proximal minimization,近邻最小化),在变分分析中,还被称作$f$的Moreau-Yosida正则化。如果$f$形式很简单,可以写出$x$-update的解析解,比如$f$是非空的凸包$\mathcal{C}$上的示性函数,那么$x$-update就可以直接写成投影形式
投影与惩罚参数$\rho$无关。若$f$是非负象限的投影,则直接有。
下面再谈谈上述提到的三种一般形式的优化问题。
(1)Quadratic Objective Terms
假设$f$是如下(凸)的二次函数
$P$是对称的半正定矩阵$P \in \mathbf{S}^n_{+}$。这种形式问题也包含了$f$是线性或者常数的特殊情况。若$P + \rho A^TA$可逆,那么$x$-update步求个导即有如下的显示解,是$v$的仿射函数
因此在$x$-minnimiztion步只需要做两个矩阵运算即可,求逆与乘积,选用合适的线性运算库即可以得到不错的计算性能。当然还可以利用一些矩阵分解技巧,这个要看矩阵大小和稀疏程度。因为对于$Fx = g$,可以将$F = F_1F_2\cdots F_k$,然后$F_iz_i = z_{i-1}, z_1 = F_1^{-1}g, x= z_k$,这样会更节省计算时间。其他矩阵计算技巧,基本都是如何对矩阵大规模求解,利用矩阵的稀疏性、缓存分解等来提高性能。此处不赘述,有个很重要的求逆的定理很有用:
如果对于上述二次函数受限于某仿射集$x$-update步就更复杂些,如
$x$-update还有个重要的KKT方程可用:
(2)Smooth Objective Terms
当$f$光滑时,那么求导即成为可能了。对于一些非线性优化问题,包含梯度算法等方法的L-BFGS算法可以用。对于该算法有些小技巧如下:
- 早终止(early termination):当$f(x) + (\rho/2)|Ax - v|^2_2$梯度很小时,早点终止迭代,否则后面就很慢了。
- 热启动(warm start):即启动迭代时,利用之前迭代过的值带入即可。
(3)Separable objective and constraints 可分函数和约束对于并行计算和分布式计算来说是一个好消息。如果$A^TA$是分块的对角阵,那么约束中$|Ax|^22$也是可分的,则扩增的拉格朗日函数$L{\rho}$也是可分的。(注意,此处是指函数中的参数可分成小子块,而不是说数据可分。)下面有一个很重要的例子,即soft thresholding(针对$l_1+l_2$问题):
当$f(x) = \lambda|x|_1, \lambda >0$,并且$A = I$时,那么$x$-update就变成了
这种形式很常见在目前的高维统计中,虽然第一项在0处不可导,但是也有解析解,被称作软阈值(soft thresholding),也被称作压缩算子(shrinkage operator)。
在优化领域,软阈值被称作是$\ell_1$-norm问题的近邻算子(proximity operator)。
3. 一些具体优化应用
3.1受约束的凸优化问题
一般的受约束的凸优化问题可以写成如下形式
此类问题可以写成ADMM形式
其中的$g$函数即$\mathcal{C}$的示性函数,上述是scaled形式,那么具体算法就是
则上述$x-min$就变成了一个具体的受约束的优化问题。比如对于经典的二次规划问题(QP)
写成ADMM形式
即受约束的区域就是,$g$是向非负象限投影的示性函数。而$x$-update就变成了之前在Quadratic Objective Terms中谈到的$f(x)$有仿射集定义域的优化问题,根据KKT条件即可写出来$x$-update更新的形式,参见2.3节。
如果上述对$x$限制不是限制$x \geq 0$上,而是一个锥约束(conic constraint)$x \in \mathcal{K}$,那么$x$-update不变,继续上述KKT方程,而只需要变一下$z$-update,将向投影改成向$\mathcal{K}$投影。比如将上述约束改成,即$x$属于半正定空间,那么向(S^n_{+})投影就变成了一个半正定问题,利用特征值分解可以完成。这种受约束的凸优化问题的形式化对后续许多问题,特别是我们很关注的$\ell_1$-norm问题很重要,基本上都是转化成这种形式来直接应用ADMM算法,所以这里要好好把握其核心思想和形式。
虽然我对优化不在行,但是感觉优化问题还是挺有意思的,下面是一个经典问题,即找到两个非空凸包的交集中的一点。该算法都可以追溯到1930年代的Neumann交替投影算法(alternating projections algorithm):
分别是两个集合的欧式空间投影。写成ADMM形式就是
上述问题还可推广至找到$N$个非空凸包交集中一个点的问题,这样其实在$x$步是可以并行来做的,于是就有
3.2 $\ell_1$-norm问题
高维统计理论的发展,如果要追溯起来我觉得可以从Lasso解法算起,类似的思想在往前追可能是Huber相关的工作。是对于lasso问题,由于当年大家还没搞清楚lasso和boosting之间关系,对于sparsity性质不了解,谁也不知道如何很好地解决这个问题。直到后面Efron提出了LARS算法,对两者的路径解相似性做了很好的阐述,于是后面关于变量选择,关于basis-pursuit,compressed sensing,sparse graphical models等各种新问题的产生,随后各种优化算法也随之涌现出来,诸如Gradient Projection, Proximal methods,ADMM (Alternating Direction Method of Multipliers), (Split) Bregman methods,Nesterov’s method。不过要能够大规模部署$\ell_1$-norm的解决方案,那么这些算法中ADMM可能是首选。此处$\ell_1$-norm问题并不仅仅指Lasso问题,包含了多种$\ell_1$-norm类型问题。下面均介绍下。
之所以说ADMM适合机器学习和统计学习的优化问题,因为大部分机器学习问题基本都是“损失函数+正则项”形式,这种分法恰好可以套用到ADMM的框架$f(x) + g(z)$。因此结合ADMM框架基本可以解决很多已有的问题,以及利用$\ell_1$-norm构造的新的优化问题。下面将先介绍非分布式计算的版本,后面会单开一节来介绍如何分布式计算。
(1)Least Absolute Deviations
先从一个简单的问题开始。在稳健估计中,LAD是一个应用很广的模型,相对于直接优化平方和损失$|Ax - b|^2_2$,优化绝对损失$|Ax - b|_1$,它的抗噪性能更好。在ADMM框架下,往之前的受约束的凸优化问题靠拢,这个问题有简单的迭代算法
(2)Huber fitting
Huber问题与上面的其实差不多,只是损失函数形式不同,换成了Huber惩罚函数
因此与LAD除了$z$-update不在是proximity operator(或称作软阈值)之外,其余均是相同的
看着像是proximity operator与一个残差的加权。
LAD和Huber fitting这种问题只是一些传统损失不加正则项的ADMM化,注意一定要构造个$z$出来即可,$x$可以基本不用管,总是需要解的,下面的带有正则项的优化问题,ADMM形式就会更明显。
(3)Basis Pursuit
基追踪法师系数信号处理的一种重要方法。目的是想找到一组稀疏基可以完美恢复信号,换套话说就是为一个线性方程系统找到一个稀疏解。原始形式如下,与lasso有些像:
修改成ADMM形式,注意往之前受约束的凸优化问题的那种形式回套,将$\ell_1$看做约束,然后构造带定义域的$f(x)$,于是就有解
其中$\Pi(z^k - u^k)$是向一个线性约束的欧式空间中投影${x \in R^n \mid Ax = b}$,这也是有直接的显示解的
对于矩阵求逆、分解等用之前矩阵那些小技巧即可加快计算,节省计算资源。
最近还有一类算法来解决$\ell_1$问题,被称作Bregman iteration methods,对于基追踪相关问题,加正则项的Bregman iteration就是method of multiplier,而所谓的split Bregman iteration就等同于 ADMM。我没有继续深究,应该就是类似于并行化的ADMM算法来解决基追踪问题。
(4)一般化的损失函数 + $\ell_1$正则项问题
这类问题在高维统计开始时便是一个非常重要的问题,而即使到了现在也是一个非常重要的问题,比如group lasso,generalized lasso,高斯图模型,Tensor型图模型,与图相关的$\ell_1$问题等算法的开发,都可以在此框架上直接应用和实施,这正是ADMM一个优势所在,便于快速实施,也便于可能的大规模分布式部署。
可以看到与Basis Pursuit解法只是在$x$-update上有区别:Basis Pursuit是构造出来一个投影函数$f(x)$,而一般化的损失函数$f(x)$+$\ell_1$正则项问题,用ADMM就更为自然。所以很适合作为框架来解决这一类问题:广义线性模型(普通线性、logistic回归、possion回归、softmax回归)+正则项;广义可加模型+正则项;似然函数(高斯图方向)+正则项。
- Lasso:$f(x) = \frac{1}{2}|Ax - b|^2_2$,于是利用ADMM算法,$x$-update的解析解就是$x^{k + 1} = (A^TA + \rho I)^{-1}(A^Tb + \rho(z^k - u^k))$;于是$x$-update看起来是个岭回归了,因此ADMM对于lasso可以看做迭代的使用岭回归。至于矩阵求逆那些,利用之前的矩阵小技巧解决。
- Generalized lasso:这个问题可能不是那么为众人所熟悉,他是Tibs的儿子搞出来的框罗类似fused lasso这种事先定义好的线性变化的惩罚项的模型,损失函数是平方损失,而惩罚变成了一个特殊的参数线性组合
若将上述这种写成ADMM形式,同样可以放到ADMM算法框架中解决
- Group lasso:graph lasso问题应用比较广,对不同组的参数同时进行惩罚,进行一组组参数的挑选,故曰group lasso。不同于lasso,其正则项变成了$\sum^N_{i = 1}|x_i|_2, x_i \in \mathbf{R}^{n_i}$,lasso其实是group lasso的一种特殊形式。正则项并不是完全可分的。此时只是$z$-update变成了block的软阈值形式
这种形式还可以扩展到group间有重合的情况,即化成$N$可能存在重合的组$G_i \subseteq {1, \ldots, n}$。一般来说这种问题会非常难解决,但是对于ADMM算法只需要换下形式就很直接($x,z$互换,会变成后面非常重要的一致性优化问题(consensus optimization),局部$x_i$与全局真解$z$子集$\hat{z}_i$的对应。)
- Sparse Gaussian graph model:对于稀疏高斯图,熟悉该问题的人知道这其实是lasso的图上的推广,损失函数写成似然函数的负数即可。于是原来向量的操作就变成了矩阵操作,ADMM算法也有点变化:
上述算法继续化简,对于$z$-update做逐个元素软阈值操作即可。对于$x$-update也类似操作,直接求导一阶导为0,移项后对对称矩阵做特征值分解即可
由于$\Lambda$是对角阵,对于每个对角元素来说,上述问题就是解一个二次方程,解方程后,再将$\hat{X}$变化成$X$即可
总之,上述跟$\ell_1$相关的问题,基本都可以纳入ADMM框架,并且可以快速求解。
4. Consensus and Sharing
本节讲述的两个优化问题,是非常常见的优化问题,也非常重要,我认为是ADMM算法通往并行和分布式计算的一个途径:consensus和sharing,即一致性优化问题与共享优化问题。
Consensus
4.1 全局变量一致性优化(Global variable consensus optimization)(切割数据,参数(变量)维数相同)
所谓全局变量一致性优化问题,即目标函数根据数据分解成$N$子目标函数(子系统),每个子系统和子数据都可以获得一个参数解$x_i$,但是全局解只有一个$z$,于是就可以写成如下优化命题:
注意,此时$f_i: \mathbf{R}^n \rightarrow \mathbf{R} \bigcup {+\infty}$仍是凸函数,而$x_i$并不是对参数空间进行划分,这里是对数据而言,所以$x_i$维度一样$x_i, z \in \mathbf{R}^n$,与之前的问题并不太一样。这种问题其实就是所谓的并行化处理,或分布式处理,希望从多个分块的数据集中获取相同的全局参数解。
在ADMM算法框架下(先返回最初从扩增lagrangian导出的ADMM),这种问题解法相当明确:
对$y$-update和$z$-update的$y_i^{k+1}$和$z_i^{k+1}$分别求个平均,易得$\bar{y}^{k+1}=0$,于是可以知道$z$-update步其实可以简化为$z^{k+1} = \bar{x}^{k+1}$,于是上述ADMM其实可以进一步化简为如下形式:
这种迭代算法写出来了,并行化那么就是轻而易举了,各个子数据分别并行求最小化,然后将各个子数据的解汇集起来求均值,整体更新对偶变量$y^k$,然后再继续回带求最小值至收敛。当然也可以分布式部署(hadoop化),但是说起来容易,真正工程实施起来又是另外一回事,各个子节点机器间的通信更新是一个需要细细揣摩的问题。
另外,对于全局一致性优化,也需要给出相应的终止迭代准则,与一般的ADMM类似,看primal和dual的residuals即可
4.2 带正则项的全局一致性问题
下面就是要将之前所谈到的经典的机器学习算法并行化起来。想法很简单,就是对全局变量加上正则项即可,因此ADMM算法只需要改变下$z$-update步即可
同样的,我们仍对$z$做一个平均处理,于是就有
上述形式都取得是最原始的ADMM形式,简化处理,写成scaled形式即有
这样对于后续处理问题就清晰明了多了。可以看到如果$g(z) = \lambda|z|_1$,即lasso问题,那么$z$-update步就用软阈值operator即可。因此,对于大规模数据,要想用lasso等算法,只需要对数据做切块(切块也最好切均匀点),纳入到全局变量一致性的ADMM框架中,即可并行化处理。下面给出一些实例。
切割大样本数据,并行化计算
在经典的统计估计中,我们处理的多半是大样本低维度的数据,现在则多是是大样本高维度的数据。对于经典的大样本低维度数据,如果机器不够好,那么就抽样部分数据亦可以实现较好估计,不过如果没有很好的信息,就是想要对大样本进行处理,那么切割数据,并行计算是一个好的选择。现在的社交网络、网络日志、无线感应网络等都可以这么实施。下面的具体模型都在受约束的凸优化问题中以及$\ell_1$-norm问题中提过,此处只不过切割数据,做成分布式模型,思想很简单,与带正则项的global consensus问题一样的处理。经典问题lasso、sparse logistic lasso、SVM都可以纳入如下框架处理。
有观测阵$A \in \mathbf{R}^{m \times n}$和响应值$b \in \mathbf{R}^m$,可以对应切分,即对矩阵$A$和向量$b$横着切,
于是原来带正则项的优化问题就可以按照数据分解到多个子系统上去分别优化,然后汇集起来,形成一个global consensus问题。
结合受约束的凸优化问题时所给出来的具体的ADMM算法解的形式,下面直接给出这些问题的ADMM迭代算法公式
(1)Lasso
如果切割的数据量小于维数$m_i < n$,那么求解时分解小的矩阵$A_iA_i^T + \rho I$即可;其他求逆采用矩阵加速技巧即可。
(2)Sparse Logistic Regression
在$x$-update步是需要用一些有效的算法来解决$\ell_2$正则的logistic回归,比如L-BFGS,其他的优化算法应该问题不大吧。
(3)SVM
注意分类问题和回归问题的损失函数不同,一般都是用$l(\text{sign}(t)y)$形式来寻求最优的分类权重使得分类正确。SVM使用Hinge Loss:$\ell(y) = \max(0, 1-t \cdot y)$,即将预测类别与实际分类符号相反的损失给凸显出来。分布式的ADMM形式
4.3 一般形式的一致性优化问题(切割参数到各子系统,但各子系统目标函数参数维度不同,可能部分重合)
上述全局一致性优化问题,我们可以看到,所做的处理不过是对数据分块,然后并行化处理。但是更一般的优化问题是,参数空间也是分块的,即每个子目标函数$f_i(x_i)$的参数维度不同$x_i, \in \mathbf{R}^{n_i}$,我们称之为局部变量。而局部变量所对应的的也将不再是全局变量$z$,而是全局变量中的一部分$z_g$,并且不是像之前的顺序对应,而可能是随便对应到$z$的某个位置。可令$g = \mathcal{G}(i, \cdot)$,即将$x_i$映射到$z$的某部位
如果对所有$i$有$\mathcal{G}(i, j) = j$,那么$x_i$与$z$就是顺序映射,也就是全局一致性优化问题,否则就不是。结合下图就比较好理解
虽然如果用其他方法来做感觉会复杂,但是纳入到上述ADMM框架,其实只不过是全局一致性优化问题的一个局部化变形,不过此时不是对数据进行分块,是对参数空间进行分块
后续想做平均化处理,即中间会发生重合的参数$z_i$取值一样的,那么$z$-update将只能找他对应的那些$x$进行平均化,也就是变成局部了,因为不是所有值都是要全局保持一致的。比如上面那个图中的$z_1, z_2, z_3, z_4$都分别只要求在部分$x_i$发生了共享需要保持一样,而不是像之前全局要求每个$x_i$对应的都是$z$。即
该式子表示就是$z$的第$g$个变量的平均值来源于所有映射到该变量的$x$与$y$的平均值。与之前的global类似,此时对于$y$的取均值会为0,因此$z$-update就变成了更简单的形式
同全局一致性优化问题一样,我们可以加上正则项,然后也可以变成带正则项的一般形式的一致性优化问题。此处不赘述,与全局基本类似。
Sharing
4.4 共享问题(sharing)(横向切割数据,也可纵向切变量)
与之前的全局变量一致性优化问题类似,共享问题也是一个非常一般而且常见的问题。他的形式如下:
这里的第一部分局部损失$f_i(x_i)$与全局一致性优化是一样的,即所有的$x_i \in \mathbf{R}^n, i = 1, \ldots, N$同维度,而对于一个共享的目标函数$g$则是新加入的。在实际中,我们常常需要优化每个子数据集上的损失函数,同时还要加上全局数据所带来的损失;或者需要优化每个子系统的部分变量,同时还要优化整个变量。共享问题是一个非常重要而灵活的问题,它也可以纳入到ADMM框架中,形式如下:
上述形式当然还不够简洁,需要进一步化简。因为$x$-update可以不用担心,分机并行处理优化求解即可,而对于$z$-update这里面需要对$Nn$个变量求解,想加快速度,就减少变量个数。于是想办法通过和之前那种平均方式一样来简化形式解。
对于$z$-update步,令$a_i = u^k_i + x^{k+1}_i$,于是$z$-update步优化问题转化为
当$\bar{z}$固定时,那么后面的最优解(类似回归)为$z_i = a_i + \bar{z} - \bar{a}$,带入上式后于是后续优化就开始整体更新(均值化)
另外,有证明如果强对偶性存在,那么global consensus问题与sharing问题是可以相互转化的,可以同时达到最优,两者存在着很紧密的对偶关系。
本节开头提过,sharing问题用来切分数据做并行化,也可以切分参数空间做并行化。这对于高维、超高维问题是非常有好处的。因为高维统计中,大样本是一方面问题,而高维度才是重中之重,如果能切分特征到低纬度中去求解,然后在合并起来,那么这将是一个很美妙的事情。上面利用regularized global consensus问题解决了切分大样本数据的并行化问题,下面利用sharing思想解决常见的高维数据并行化问题
切割变量(特征)空间,并行化处理
同样假设面对还是一个观测阵$A \in \mathbf{R}^{m \times n}$和响应观测$b \in \mathbf{R}^n$,此时有$n » m$,那么要么就降维处理,要么就切分维度去处理,或者对于超高维矩阵,切分维度后再降维。此时$A$矩阵就不是像之前横着切分,而是竖着切分,这样对应着参数空间的切分:
于是正则项也可以切分为$r(x) = \sum^N_{i = 1}r_i(x_i)$。那么最初的$\min \,\, l(Ax - b) + r(x)$形式就变成了
这个与sharing问题非常接近了,做点变化那就是sharing问题了
与之前的global consensus问题相比,ADMM框架$x$-update与$z$-update似乎是反过来了。于是将此形式直接套到Lasso等高维问题即有很具体的形式解了。
(1)Lasso
当$|A^T_i(A_ix^k_i + \bar{z}^k - \overline{Ax}^k - u^k)|_2 \leq \lambda/\rho$时$x^{k+1}_i = 0$(第$i$块特征不需要用),这样加快了$x$-update速度,不过这个对串行更有效,对并行起来也没有多大用..
(2)Group Lasso 与lasso基本一样,只是在$x$-update上有一个正则项的不同,有$\ell_1$-norm变成了$\ell_2$-norm
该问题其实就是按组最小化$(\rho/2)|A_ix_i - v|^2_2 + \lambda|x_i|_2$,解为
涉及矩阵长短计算时,再看矩阵小技巧。
(3)Sparse Logstic Regression 也与lasso区别不大,只是$z$-update的损失函数不同,其余相同于是
(4)SVM
SVM与之前的global consensus时候优化顺序反了过来,与logistic rgression只是在$z$-update步不同(损失函数不同):
$z$-update解析解可以写成软阈值算子
(5)Generalized Additive Models
广义可加模型是一个很适合sharing框架的问题。它本身就是对各个各个特征做了变化后(非参方法),重新表示观测的方式
当$f_i$是线性变化时,则退化成普通线性回归。此时我们目标优化的问题是
其中有$m$个观测,$n$维特征(变量)。$r_j$此时是对一个functional的正则,此时这个问题看起来似乎既可以对数据切分,也可以对特征切分,不过此时仍用sharing问题来做,相当于对特征切分为一个特征为一个子系统,于是有
$f_j$是一个$\ell_2$正则的损失,有直接求解的算法求解,$z$可以一块一块的求解?
最后再说一个经济学中很重要的sharing问题的特例,即交换问题(exchange problem):
此时共享目标函数$g = 0$。$x_i$可以表示不同物品在$N$个系统上的交换数量,$(x_i)_j$可以表示物品$j$从子系统$i$上收到的交换数目,约束条件就可以看做在这些系统中物品交换是保持均衡稳定的。于是转化为sharing问题,就有很简单的ADMM解法(或者当做之前讲过的受约束的凸优化问题来解,做投影):
4.4 应用小总结
感觉上通过consensus problem和general consensus problem,我们可以看到并行和分布式部署优化方案的可行性。我们可以切分数据以及相应的目标函数,也可以切分变量到各个子系统上去,分别作优化,甚至我们可以大胆想象对不同类型数据块用不同的优化算法,结合consensus问题和ADMM算法,达到同一个global variable的优化目的;或者对不同变量在不同类型数据块上优化,即使有重叠,也可以结合general consensus思想和ADMM算法来解决这个问题。当然前提是能够定义好需要估计的参数和优化的目标函数!大规模部署的前景还是很不错的。下面具体分布式统计模型的构建便是ADMM算法非常好的应用。切分数据、切分变量(不过每个子系统的目标函数基本都是一样的,其实应该可以不同)
5. Nonconvex问题
5.1 变量选择(Regressor Selection)
5.2 因子模型(Factor Model Fitting)
5.3 双凸优化(Bi-convex Problem)
非负矩阵分解(Nonnegative Matrix Factorization)
6. 具体实施与实际计算结果
这块真的很实际,需要明白MPI的机理和Mapreduce、Graphlab等通信运作的机理,这样才好部署ADMM算法,因为中间有很多迭代,需要做好子节点间参数与整体参数的通信,保持迭代时能同步更新参数。看实际运作,MPI和GraphLab可能更适合这种框架,Hadoop也是可以的,不过毕竟不是为迭代算法所生,要做好需要进行一些优化。Boyd提到Hadoop其中的Hbase更适合这种框架,因为Hbase是一种大表格,带有时间戳,适合记录迭代的记录,这样就不容易导致分布计算时候搞不清是哪一步的迭代结果了,导致通信调整比较复杂。不过在MapReduce框架下实施ADMM算法是没有什么问题的,只要熟稔Hadoop的一些细节部分,基本没有太大问题。
8. 总结
一个好的一般性算法,我个人觉得是易实施,并可大规模应用许多问题。可以让统计学家卡在搞算法的瓶颈中解放出来,使得他们能快速用模拟,验证自己构建可能较为复杂的模型。只有当看到一个令人感到欣慰的结果时,那些模型的统计性质的证明才可能是有意义的,如果事先连希望都看不到,那证明起来都可能底气不足,让人难以信服,更难以大规模应用统计学家所构建的模型。现在是一个高维数据、海量数据的年代,算法的重要性更会凸显出来,一个好的模型如果没有一个有效的算法支撑,那么他将可能什么都不是,Lasso头几年所遭遇的冷遇也充分证明了这一点,再比如在没有计算机年代,Pearson的矩估计应用反而远多于Fisher的MLE估计方法也是一个道理。好的一般性的解决方案,我想这不管是优化理论,还是统计等其他应用学科,虽然知道没有最牛最终极的方法,但是能涌现一些大范围适用的方法,那就是再好不过了。一招鲜吃遍天,人还都是喜欢简单、安逸爱偷懒的嘛..
订阅 评论RSS
blog comments powered by Disqus