机器学习 第10章-降维与度量学习

机器学习 第10章-降维与度量学习

10.1 k近邻学习

k近邻(k-Nearest Neighbor,简称kNN)学习是一种常用的监督学习方法其工作机制非常简单:给定测试样本，基于某种距离度量找出训练集中与其最靠近的k个训练样本，然后基于这k个“邻居”的信息来进行预测。通常，在分类任务中可使用“投票法”，即选择这k个样本中出现最多的类别标记作为预测结果；在回归任务中可使用“平均法”，即将这k个样本的实值输出标记的平均值作为预测结果；还可基于距离远近进行加权平均或加权投票，距离越近的样本权重越大。

与前面介绍的学习方法相比，k近邻学习有一个明显的不同之处:它似乎没有显式的训练过程!事实上，它是“懒惰学习”(lazy learning)的著名代表此类学习技术在训练阶段仅仅是把样本保存起来，训练时间开销为零，待收到测试样本后再进行处理；相应的，那些在训练阶段就对样本进行学习处理的方法，称为“急切学习”(eager learning)。

图10.1给出了k近邻分类器的一个示意图。显然，k是一个重要参数，当k取不同值时，分类结果会有显著不同。另一方面，若采用不同的距离计算方式，则找出的“近邻”可能有显著差别，从而也会导致分类结果有显著不同。

10.2 低维嵌入

事实上，在高维情形下出现的数据样本稀疏、距离计算困难等问题是所有机器学习方法共同面临的严重障碍，被称为“维数灾难”(curse of dimensionality)。

缓解维数灾难的一个重要途径是降维(dimensionreduction)，亦称“维数约简”，即通过某种数学变换将原始高维属性空间转变为一个低维“子空间”(subspace)，在这个子空间中样本密度大幅提高，距离计算也变得更为容易。为什么能进行降维？这是因为在很多时候，人们观测或收集到的数据样本虽是高维的，但与学习任务密切相关的也许仅是某个低维分布，即高维空间中的一个低维“嵌入”(embedding)。图10.2给出了一个直观的例子。原始高维空间中的样本点，在这个低维嵌入子空间中更容易进行学习。

假定$m$个样本在原始空间的距离矩阵为$D\in R^{m\ast m}$，其中第$i$行$j$列的元素$dis{t}_{ij}$为样本$x_i$到$x_j$的距离，目标是要获取样本在$d^{\prime }$维空间的表示$Z\in R^{d^{\prime }\ast m}，d^{\prime }\le d$，且任意两个样本在$d^{\prime }$维空间中的欧氏距离等于原始空间中的距离，即$\Vert z_i-z_j\Vert =dis{t}_{ij}$。

令$B=Z^{T}Z\in R^{m\ast m}$，其中$B$为降维后样本的内积矩阵$b_{ij}=z_i^T{z}_j$，则有：
$$dis{t}_{ij}^2=||z_i|{|}^2+||z_j|{|}^2-2z_i^T{z}_j=b_{ii}+b_{jj}-2b_{ij}$$
令降维后的样本$Z$中心化，即${\sum }_{i=1}^m{z}_i=0$，且矩阵B的行列之和都为0，可以得到：
$$\sum _{i=1}^{m}dis{t}_{ij}^2=tr(B)+m{b}_{jj}$$
$$\sum _{j=1}^{m}dis{t}_{ij}^2=tr(B)+m{b}_{ii}$$
$$\sum _{i=1}^m\sum _{i=j}^{m}dis{t}_{ij}^2=2mtr(B)$$
联立得：
$$b_{ij}=-\frac{1}{2}(dis{t}_{ij}^2-dis{t}_{i\cdot }^2-dis{t}_{\cdot j}^2+dis{t}_{\cdot \cdot }^2)$$

整个算法描述如下图所示：

基于线性变换来进行降维的方法称为线性降维方法，和MDS方法不同之处是对低维子空间的性质有不同的要求。

10.3 主成分分析

主成分分析(Principal Component Analysis,简称 PCA)是最常用的一种降维方法。

对于正交属性空间中的样本点，如何用一个超平面(直线的高维推广)对所有样本进行恰当的表达？
容易想到，若存在这样的超平面，那么它大概应具有这样的性质:
最近重构性:样本点到这个超平面的距离都足够近；
最大可分性:样本点在这个超平面上的投影能尽可能分开

根据最近重构性，可以得到：
KaTeX parse error: Undefined control sequence: \； at position 20: …derset{W}{min} \̲；̲ \； -tr(W^TXX^T…
根据最大可分性，可以得到：
KaTeX parse error: Undefined control sequence: \； at position 19: …nderset{W}{max}\̲；̲ \； \； tr(W^TXX…
显然两式等价，对其使用拉格朗日乘子法可得：
$$X{X}^{T}W=\lambda W$$
于是，只需对协方差矩阵$X{X}^T$进行特征值分解，将求得的特征值排序:${\lambda }_1\ge {\lambda }_2\ge 。。。\ge {\lambda }_d$，再取前$d^{\prime }$个特征值对应的特征向量构成$W=(w_1,w_2,...,w_{d^{\prime }})$。这就是主成分分析的解。

PCA 算法描述如图 10.5 所示。

PCA 仅需保留W与样本的均值向量即可通过简单的向量减法和矩阵-向量乘法将新样本投影至低维空间中。显然，低维空间与原始高维空间必有不同因为对应于最小的d-d个特征值的特征向量被舍弃了，这是降维导致的结果但舍弃这部分信息往往是必要的:一方面，舍弃这部分信息之后能使样本的采样密度增大，这正是降维的重要动机；另一方面，当数据受到噪声影响时，最小的特征值所对应的特征向量往往与噪声有关，将它们舍弃能在一定程度上起到去噪的效果。

10.4 核化线性降维

线性降维方法假设从高维空间到低维空间的函数映射是线性的，然而，在不少现实任务中，可能需要非线性映射才能找到恰当的低维嵌入。图10.6给出了一个例子，样本点从二维空间中的矩形区域采样后以S形曲面嵌入到三维空间，若直接使用线性降维方法对三维空间观察到的样本点进行降维，则将丢失原本的低维结构。为了对“原本采样的”低维空间与降维后的低维空间加以区别，我们称前者为“本真”(intrinsic)低维空间。

10.5 流形学习

流形学习(manifold learning)是一类借鉴了拓扑流形概念的降维方法“流形”是在局部与欧氏空间同胚的空间，换言之，它在局部具有欧氏空间的性质，能用欧氏距离来进行距离计算。这给降维方法带来了很大的启发:若低维流形嵌入到高维空间中，则数据样本在高维空间的分布虽然看上去非常复杂但在局部上仍具有欧氏空间的性质，因此，可以容易地在局部建立降维映射关系，然后再设法将局部映射关系推广到全局。当维数被降至二维或三维时，能对数据进行可视化展示，因此流形学习也可被用于可视化。

10.5.1 等度量映射

等度量映射(Isometric Mapping,简称Isomap)的基本出发点，是认为低维流形嵌入到高维空间之后，直接在高维空间中计算直线距离具有误导性，因为高维空间中的直线距离在低维嵌入流形上是不可达的如图 10.7(a)所示，低维嵌入流形上两点间的距离是“测地线”(geodesic)距离想象一只虫子从一点爬到另一点，如果它不能脱离曲面行走，那么图10.7(a)中的红色曲线是距离最短的路径，即S曲面上的测地线，测地线距离是两点之间的本真距离。显然，直接在高维空间中计算直线距离是不恰当的

在近邻连接图上计算两点间的最短路径，可采用著名的Diikstra算法或Floyd 算法，在得到任意两点的距离之后，就可通过 10.2节介绍的 MDS 方法来获得样本点在低维空间中的坐标。图10.8给出了Isomap 算法描述

Isomap仅是得到了训练样本在低维空间的坐标，对于新样本如何将其映射到低维空间呢？这个问题的常用解决方案，是将训练样本的高维空间坐标作为输入、低维空间坐标作为输出，训练一个回归学习器来对新样本的低维空间坐标进行预测，这显然仅是一个权宜之计，但目前似乎并没有更好的办法。

对近邻图的构建通常有两种做法，一种是指定近邻点个数，例如欧氏距离最近的$k$个点为近邻点，这样得到的近邻图称为$k$近邻图；另一种是指定距离阈值$ϵ$，距离小于$ϵ$的点被认为是近邻点，这样得到的近邻图称为$ϵ$近邻图。两种方式均有不足，例如若近邻范围指定得较大，则距离很远的点可能被误认为近邻，这样就出现“短路”问题:近邻范围指定得较小，则图中有些区域可能与其他区域不存在连接，这样就出现“断路”问题。短路与断路都会给后续的最短路径计算造成误导

10.5.2 局部线性嵌入

与Isomap试图保持近邻样本之间的距离不同，局部线性嵌入(LocallyLinear Embedding,简称LLE)试图保持邻域内样本之间的线性关系，如图10.9所示，假定样本点$x_i$的坐标可以通过它的邻域样本$x_j$，$x_k$，$x_l$的坐标通过线性组合来表示，即
$$x_i=w_{ij}{x}_j+w_{ik}{x}_k+w_{il}{x}_l$$

LLE先为每个样本KaTeX parse error: Expected group after '_' at position 2: x_̲找到其近邻下标集合$Q_i$，然后计算出基于$Q_i$；中的样本点$x_i$对；进行线性重构的系数$w_i$:
$$w_{ij}=\frac{{\sum }_{k\in Q_i}{C}_{jk}^{-1}}{{\sum }_{l,s\in Q_i}{C}_{ls}^{-1}}$$
然后去求解低维坐标：
$$Z=(z_1,z_2,\cdots ,z_m)\in R^{d^{\prime }\ast m},(W{)}_{ij}=w_{ij}$$
$$M=(I-W{)}^T(I-W)$$
最后可以得到：
KaTeX parse error: Undefined control sequence: \； at position 19: …nderset{z}{min}\̲；̲ \； tr(ZMZ^T)\；…
LLE 的算法描述如图 10.10所示。

10.6 度量学习

在机器学习中，对高维数据进行降维的主要目的是希望找到一个合适的低维空间，在此空间中进行学习能比原始空间性能更好。事实上，每个空间对应了在样本属性上定义的一个距离度量，而寻找合适的空间，实质上就是在寻找一个合适的距离度量。那么，为何不直接尝试“学习”出一个合适的距离度量呢？这就是度量学习(metric learning)的基本动机。

对两个$d$维样本$x_i$和$x_j$，，它们之间的平方欧氏距离可写为
$$dis{t}_{ed}^2(x_i，x_j)=||x_i-x_j|{|}_2^2=dis{t}_{ij,1}^2+dis{t}_{ij,2}^2+\cdots +dis{t}_{ij,d}^2$$

其中 $dis{t}_{ij,k}$表示$x_i$与$x_j$，在第k维上的距离。若假定不同属性的重要性不同，则可引入属性权重$w$，得到:
$$dis{t}_{wed}^2(x_i，x_j)=||x_i-x_j|{|}_2^2=w_1\cdot dis{t}_{ij,1}^2+w_2\cdot dis{t}_{ij,2}^2+\cdots +w_d\cdot dis{t}_{ij,d}^2=(x_i-x_j{)}^{T}W(x_i-x_j)$$
其中 $w_i\ge 0$，$W=diag(w)$是一个对角矩阵，$(W)ii=w_i$。

式(1033)中的$W$可通过学习确定，但我们还能再往前走一步:$W$的非对角元素均为零，这意味着坐标轴是正交的，即属性之间无关；但现实问题中往往不是这样，例如考虑西瓜的“重量”和“体积”这两个属性，它们显然是正相关的，其对应的坐标轴不再正交。为此，将式(1033)中的$W$替换为一个普通的半正定对称矩阵$M$，于是就得到了马氏距离(Mahalanobis distance)
$$dis{t}_{mah}^2(x_i，x_j)=(x_i-x_j{)}^{T}M(x_i-x_j)=||x_i-x_j|{|}_M^2$$
其中$M$亦称“度量矩阵”，而度量学习则是对$M$进行学习。注意到为了保持距离非负且对称，$M$必须是(半)正定对称矩阵，即必有正交基$P$使得$M$能写为$M=P{P}^T$

对M进行学习当然要设置一个目标。假定我们是希望提高近邻分类器的性能，则可将M直接嵌入到近邻分类器的评价指标中去，通过优化该性能指标相应地求得M。