降维算法一览

太过爱你忘了你带给我的痛 2022-01-07 11:55 305阅读 0赞

在机器学习中经常会碰到一些高维的数据集，而在高维数据情形下会出现数据样本稀疏，距离计算等困难，这类问题是所有机器学习方法共同面临的严重问题，称之为 **“ 维度灾难 ”**。另外在高维特征中容易出现特征之间的线性相关，这也就意味着有的特征是冗余存在的。基于这些问题，降维思想就出现了。  
降维就是指采用某种映射方法，将原高维空间中的数据点映射到低维度的空间中。通过降维，可以方便数据可视化+数据分析+数据压缩+数据提取等。

# 降维方法架构 #

降维方法主要包括线性方法和非线性方法。  
![降维方法][Image 1]

> 特征降维经常会和特征选择混淆。实际上，特征选择和传统的特征降维有一定的区别。特征降维本质上是从一个维度空间映射到另一个维度空间，特征的多少并没有减少，当然在映射的过程中特征值也会相应的变化。特征选择就是单纯地从提取到的所有特征中选择部分特征作为训练集特征，特征在选择前和选择后不改变值，但是选择后的特征维数肯定比选择前小，毕竟我们只选择了其中的一部分特征。这里我们主要讲述映射方法，对于特征选择，我们会在后面进行详细的阐述。

# PCA #

PCA(Principal Component Analysis)，即主成分分析方法，是一种使用最广泛的数据降维算法。 **PCA通过线性变换将原始数据变换为一组各维度线性无关的表示，提取数据的主要特征分量，常用于高维数据的降维。**  
PCA有两种通俗易懂的解释：(1)最大方差理论；(2)最小平方误差。下面主要从最大方差理论出发，推导出表达式

## 最大方差理论 ##

PCA的目标可认为是最大化投影方差，也就是让数据在主轴上投影的方差最大。  
对于给定的一组数据点\$\\\{v\_1,v\_2,…,v\_n\\\}\$,其中所有向量均为列向量，对其进行中心化，表示为\$\\\{x\_1,x\_2,…,x\_n\\\}\$。可得向量\$x\_i\$在\$w\$（单位方向向量）上的投影坐标可以表示为\$(x\_i,w)=x\_i^T w\$，因此我们的目标是找到一个投影方向\$w\$，使得\$\\\{x\_1,x\_2,…,x\_n\\\}\$在\$w\$上的投影方差尽可能大。因为投影之后的均值为0，因此方差可以表示为：  
\\\[ \\begin\{aligned\} D(x)=& \\frac\{1\}\{n\} \\sum\_\{i=1\}^n (x\_i^T w)^T x\_i^T w \\\\ =& \\frac\{1\}\{n\} \\sum\_\{i=1\}^n w^T x\_i \{x\_i\}^T w \\\\ =& w^T (\\frac\{1\}\{n\} \\sum\_\{i=1\}^n x\_i x\_i^T)w \\end\{aligned\} \\\]  
其中，\$\\frac\{1\}\{n\} \\sum\_\{i=1\}^n x\_i x\_i^T\$为样本协方差矩阵，令为\$∑\$，另外由于\$w\$是单位方向向量，即\$w^T w=1\$，因此目标可写作：  
\\\[ \\begin\{cases\} \\max\\\{w^T\\sum w\\\} \\\\ s.t. w^T w=1 \\end\{cases\} \\\]  
引入拉格朗日乘子，对\$w\$求导令其为0，可以推出\$∑w=λw\$，此时  
\\\[ D(x)=w^T∑w=λw^T w=λ \\\]  
即，x投影后方差即协方差矩阵的特征值，最佳投影方向就是最大特征值对应的特征向量。次佳投影方向是第二大特征值对应的特征向量，以此类推，可得以下PCA的求解方法。

1.  对样本数据进行 **中心化处理**。
2.  求样本 **协方差矩阵**
3.  对协方差矩阵进行 **特征值分解**，将特征值从大到小排列
4.  取特征值前d大对应的特征向量\$w\_1,w\_2,…,w\_d\$,通过以下映射将n维样本映射到d维  
    \\\[ \{x\_i\}'= \\begin\{bmatrix\} \{w\_1\}^Tx\_i\\\\ \\vdots \\\\ \{w\_d\}^Tx\_i\\\\ \\end\{bmatrix\} \\\]  
    定义降维后信息占比为：  
    \\\[ \\eta=\\sqrt\{ \\frac\{\\sum\_\{i=1\}^d\{\\lambda\_i\}^2\}\{ \\sum\_\{i=1\}^n\{\\lambda\_i\}^2 \} \} \\\]

另外，由于得到协方差矩阵的特征值特征向量有两种方法：特征值分解协方差矩阵、奇异值分解协方差矩阵，所以PCA算法有两种实现方法：基于特征值分解协方差矩阵实现PCA算法、基于SVD分解协方差矩阵实现PCA算法。  
现实场景下，一般使用SVD，它有两个好处：  
1) 有一些SVD的实现算法可以先不求出协方差矩阵也能求出我们的右奇异矩阵V。也就是说，我们的PCA算法可以不用做特征分解而是通过SVD来完成，这个方法在样本量很大的时候很有效。实际上，scikit-learn的PCA算法的背后真正的实现就是用的SVD，而不是特征值分解。  
2) 注意到PCA仅仅使用了我们SVD的左奇异矩阵，没有使用到右奇异值矩阵，那么右奇异值矩阵有什么用？左奇异矩阵可以用于对行数的压缩；右奇异矩阵可以用于对列(即特征维度)的压缩。这就是我们用SVD分解协方差矩阵实现PCA可以得到两个方向的PCA降维(即行和列两个方向)。

PCA本质上是将方差最大的方向作为主要特征，并且在各个正交方向上将数据“离相关”，也就是让它们在不同正交方向上没有相关性。因此，PCA也存在一些限制，例如它可以很好的解除线性相关，但是对于高阶相关性就没有办法了，对于存在高阶相关性的数据，可以考虑Kernel PCA，通过Kernel函数将非线性相关转为线性相关，关于这点就不展开讨论了。另外，PCA假设数据各主特征是分布在正交方向上，如果在非正交方向上存在几个方差较大的方向，PCA的效果就大打折扣了。  
最后需要说明的是，PCA是一种无参数技术，也就是说面对同样的数据，如果不考虑清洗，谁来做结果都一样，没有主观参数的介入，所以PCA便于通用实现，但是本身无法个性化的优化。

# LDA #

线性判别分析（Linear Discriminant Alalysis,LDA）是一种有监督学习算法，同时经常被用来对数据进行降维。  
**LDA的中心思想是最大化类间距离和最小化类内距离，即将数据在低维度上进行投影，投影后希望每一种类别数据的投影点尽可能的接近，而不同类别的数据的类别中心之间的距离尽可能的大。**  
设有C1、C2两个类别的样本，两类的均值分别为\$μ\_1=\\frac\{1\}\{N\} \\sum\_\{x∈C\_1\} x\$, \$μ\_2=\\frac\{1\}\{N\} \\sum\_\{x∈C\_2\} x\$，则两类中心在w方向上的投影向量为\$w^T μ\_1\$，\$w^T μ\_2\$，因此类间距离为\$||w^T (μ\_1-μ\_2 )||\_2^2\$；我们将类内方差定义为各个类分别的方差之和，将目标函数定义为类间距离和类内距离的比值，于是我们最大化的目标为：  
\\\[ \\max\_w⁡ J(w)=\\frac\{||w^T (μ\_1-μ\_2 )||\_2^2\}\{D\_1+D\_2\} \\\]  
其中\$w\$为单位向量，\$D\_1\$，\$D\_2\$分别表示两类投影后的方差  
\\\[ D\_1=\\sum\_\{x∈C\_1\}(w^T x-w^T μ\_1)^2 =∑\_\{x∈C\_1\}w^T (x-μ\_1)(x-μ\_1)^T w \\\]  
\\\[ D\_2=∑\_\{x∈C\_2\}w^T (x-μ\_2)(x-μ\_2)^T w \\\]  
因此，\$J(w)\$可写成  
\\\[ J(w)=\\frac\{w^T (μ\_1-μ\_2)(μ\_1-μ\_2)^T w\} \{∑\_\{x∈C\_i\} \{w^T (x-μ\_i)(x-μ\_i)^T w\} \} \\\]  
定义类间散度矩阵\$S\_B=(μ\_1-μ\_2)(μ\_1-μ\_2)^T\$, 类内散度矩阵$S\_w=∑\_\{x∈C\_i\}(x-μ\_i)(x-μ\_i)^T $，得  
\\\[ J(w)=\\frac\{w^T S\_B w\} \{w^T S\_w w\} \\\]  
于是，可得  
\\\[ S\_B w=λS\_w w \\\]  
即  
\\\[ S\_w^\{-1\} S\_B w=λw \\\]

即求矩阵特征向量问题。\$J(w)\$对应了矩阵\$S\_w^\{-1\} S\_B\$最大的特征值，而投影方向是这个特征值对应的特征向量。  
LDA在降维过程中可以使用类别的先验知识经验，在样本分类信息依赖均值而不是方差的时候，比PCA之类的算法较优。

## PCA与LDA异同？ ##

相同点  
1）两者均可以对数据进行降维。  
2）两者在降维时均使用了矩阵特征分解的思想。  
3）两者都假设数据符合高斯分布。  
不同点  
1）LDA是有监督的降维方法，而PCA是无监督的降维方法  
2）LDA降维最多降到类别数k-1的维数，而PCA没有这个限制。  
3）LDA除了可以用于降维，还可以用于分类。  
4）LDA选择分类性能最好的投影方向，而PCA选择样本点投影具有最大方差的方向。

# 局部线性嵌入 （LLE） #

Locally linear embedding（LLE）是一种非线性降维算法，它能够使降维后的数据较好地保持原有流形结构 。LLE可以说是流形学习方法最经典的工作之一。很多后续的流形学习、降维方法都与LLE有密切联系。

> 和传统的PCA，LDA等关注样本方差的降维方法相比，LLE关注于降维时保持样本局部的线性特征，由于LLE在降维时保持了样本的局部特征，它广泛的用于图像图像识别，高维数据可视化等领域。

流形学习是一大类基于流形的框架。数学意义上的流形比较抽象，不过我们可以认为LLE中的流形是一个不闭合的曲面。这个流形曲面数据分布比较均匀，且比较稠密。基于流行的降维算法就是将流形从高维到低维的降维过程，在降维的过程中我们希望流形在高维的一些特征可以得到保留。

> 假设数据是均匀采样于一个高维欧氏空间中的低维流形，流形学习就是从高维采样数据中恢复低维流形结构，即找到高维空间中的低维流形，并求出相应的嵌入映射，以实现维数约简或者数据可视化。它是从观测到的现象中去寻找事物的本质，找到产生数据的内在规律。

LLE算法认为每一个数据点都可以由其近邻点的线性加权组合构造得到。算法的主要步骤分为三步：(1)寻找每个样本点的k个近邻点；（2）由每个 样本点的近邻点计算出该样本点的局部重建权值矩阵；（3）由该样本点的局部重建权值矩阵和其近邻点计算出该样本点的输出值。  
LLE算法很简单高效，但是却有一些问题，比如如果近邻数k大于输入数据的维度时，我们的权重系数矩阵不是满秩的。为了解决这样类似的问题，有一些LLE的变种产生出来。比如：Modified Locally Linear Embedding(MLLE)和Hessian Based LLE(HLLE)。对于HLLE，它不是考虑保持局部的线性关系，而是保持局部的Hessian矩阵的二次型的关系。而对于MLLE，它对搜索到的最近邻的权重进行了度量，我们一般都是找距离最近的k个最近邻就可以了，而MLLE在找距离最近的k个最近邻的同时要考虑近邻的分布权重，它希望找到的近邻的分布权重尽量在样本的各个方向，而不是集中在一侧。  
另一个比较好的LLE的变种是Local tangent space alignment(LTSA)，它希望保持数据集局部的几何关系，在降维后希望局部的几何关系得以保持，同时利用了局部几何到整体性质过渡的技巧。  
这些算法原理都是基于LLE，基本都是在LLE这三步过程中寻求优化的方法。

## 优缺点 ##

LLE是广泛使用的图形图像降维方法，它实现简单，但是对数据的流形分布特征有严格的要求。比如不能是闭合流形，不能是稀疏的数据集，不能是分布不均匀的数据集等等，这限制了它的应用。下面总结下LLE算法的优缺点。  
LLE算法的主要优点有：  
1）可以学习任意维的局部线性的低维流形  
2）算法归结为稀疏矩阵特征分解，计算复杂度相对较小，实现容易。

LLE算法的主要缺点有：  
1）算法所学习的流形只能是不闭合的，且样本集是稠密均匀的。  
2）算法对最近邻样本数的选择敏感，不同的最近邻数对最后的降维结果有很大影响。

# t-SNE #

t-SNE，即t-分布领域嵌入算法，读作“Tee-Snee”，是一种用于挖掘高维数据的非线性降维算法。  
算法出发点是：在高维空间相似的数据点，映射到低维空间距离也是相似的。常规的做法是用欧式距离表示这种相似性，而SNE把这种距离关系转换为一种条件概率来表示相似性。  
SNE主要想法是，将高维分布点的距离，用条件概率来表示相似性，同时低维分布的点也这样表示。只要二者的条件概率非常接近（用相对熵来训练，所以需要label），那就说明高维分布的点已经映射到低维分布上了。难点是：高维距离较近的点，比较方便聚在一起，但是高维距离较远的点，却比较难在低维拉开距离。其次，训练的时间也比较长。  
t-SNE算法把SNE变为对称SNE，提高了计算效率，效果稍有提升；并且在低维空间中采用了t分布代替原来的高斯分布，解决了拥挤问题，优化了SNE过于关注局部特征忽略全局特征的问题  
理论部分可参考：[从SNE到t-SNE再到LargeVis][SNE_t-SNE_LargeVis]  
在实际应用中，t-SNE很少用于降维，主要用于可视化，可能的原因有以下几方面：

*  当我们发现数据需要降维时，一般是特征间存在高度的线性相关性，此时我们一般使用线性降维算法，比如PCA。即使是特征之间存在非线性相关，也不会先使用非线性降维算法降维之后再搭配一个线性的模型，而是直接使用非线性模型；
 *  一般 t-SNE 都将数据降到 2 维或者 3 维进行可视化，但是数据降维降的维度一般会大一些，比如需要降到 20 维，t-SNE 算法使用自由度为 1 的 t 分布很难做到好的效果；
 *  t-SNE 算法的计算复杂度很高，另外它的目标函数非凸，可能会得到局部最优解；

> t-SNE在高维空间中采用的高斯核心函数定义了数据的局部和全局结构之间的软边界。对于高斯的标准偏差而言彼此临近的数据点对，对它们的间隔建模的重要性几乎与那些间隔的大小无关。 此外，t-SNE基于数据的局部密度（通过强制每个条件概率分布具有相同的困惑度）分别确定每个数据点的局部邻域大小。 这是因为算法定义了数据的局部和全局结构之间的软边界。 与其他非线性降维算法不同，它的性能优于其它任何一个算法。

转载于:https://www.cnblogs.com/hellojamest/p/10908052.html

[Image 1]: 
[SNE_t-SNE_LargeVis]: http://bindog.github.io/blog/2016/06/04/from-sne-to-tsne-to-largevis/