核方法

机器学习中，核机是一类用于模式分析的算法，最知名的成员是支持向量机（SVM）。 这些方法用线性分类器解决非线性问题。模式分析的一般任务是在数据集中发现并研究一般类型的关系（如聚类分析、排名、主成分分析、相关性分析、统计分类）。对许多解决此类任务的算法来说，原始表示的数据必须通过用户指定的特征映射明确转换为特征向量表示；相反，核方法只需要用户指定核，即用内积计算所有数据点对的相似性函数。核机中的特征映射是无限维的，但根据表示定理，只需输入有限维矩阵。在不并行处理的情况下，核机的计算速度会很慢。

核方法得名于核函数的使用，使其能在高维隐特征空间中运行，而无需计算空间中数据的坐标，只需计算特征空间中所有数据对的像之间的内积。这种运算比显式计算坐标更节约，称为“核技巧”。核函数已被引入序列数据、图核函数、文本、图像及向量处理中。

能使用核的算法有核感知器、支持向量机（SVM）、高斯过程、主成分分析（PCA）、典型相关分析、岭回归、谱聚类、自适应滤波器等等很多算法。 大多数核算法都基于凸优化或特征问题，有很好的统计学基础。通常用统计学习理论（如拉德马赫复杂度）分析其统计特性。

动机与非正式解释

核方法可被视为基于实例的学习器：不是学习与输入特征相对应的固定参数集，而是“记忆”第$i$个训练样本$(\mathbf {x} _{i},y_{i})$并学习相应权$w_{i}$。预测不在训练集中的输入（未标记输入）是用未标记输入$\mathbf {x'}$与每个训练输入$\mathbf {x} _{i}$的相似性函数$k$（称作核）。例如，核化二分分类器通常计算相似度的加权和

${\hat {y}}=\operatorname {sgn} \sum _{i=1}^{n}w_{i}y_{i}k(\mathbf {x} _{i},\mathbf {x'} )$,

其中

• ${\hat {y}}\in \{-1,+1\}$是核化二分分类器对无标输入$\mathbf {x'}$的预测标签，其隐藏的真实标签$y$是我们感兴趣的；
• $k\colon {\mathcal {X}}\times {\mathcal {X}}\to \mathbb {R}$是核函数，度量了任意一对输入 $\mathbf {x} ,\mathbf {x'} \in {\mathcal {X}}$的相似性；
• 和的范围是分类器训练集中的n个有标示例$\{(\mathbf {x} _{i},y_{i})\}_{i=1}^{n}\ (y_{i}\in \{-1,+1\})$；
• $w_{i}\in \mathbb {R}$是由学习算法确定的训练样本的权重；
• 符号函数$\operatorname {sgn}$决定预测分类结果${\hat {y}}$属于正类还是负类。

核分类器的描述可追溯至1960年代核感知器的发明。1990年代，随着支持向量机（SVM）的流行，人们发现其在手写识别等任务上的表现可与神经网络媲美。

数学：核技巧

SVM，核为$\varphi ((a,b))=(a,b,a^{2}+b^{2})$，因此$k(\mathbf {x} ,\mathbf {y} )=\mathbf {x} \cdot \mathbf {y} +\left\|\mathbf {x} \right\|^{2}\left\|\mathbf {y} \right\|^{2}$。训练点被映射到三维空间，很容易找到分离超平面。

核技巧避免了让线性学习算法学习非线性函数或决策边界所需的显式映射。$\forall \mathbf {x}$与$\mathbf {x'} \in {\mathcal {X}}$（输入空间），某些函数$k(\mathbf {x} ,\mathbf {x'} )$可表示为另一空间${\mathcal {V}}$中的内积。函数$k\colon {\mathcal {X}}\times {\mathcal {X}}\to \mathbb {R}$ 常被称为核或核函数。“核”在数学中用于表示加权和或积分的加权函数。 机器学习中某些问题比任意权函数$k$更具结构性。若核能写成“特征映射”$\varphi \colon {\mathcal {X}}\to {\mathcal {V}}$，满足

$k(\mathbf {x} ,\mathbf {x'} )=\langle \varphi (\mathbf {x} ),\varphi (\mathbf {x'} )\rangle _{\mathcal {V}}$

那么计算就能简化很多。关键的约束是$\langle \cdot ,\cdot \rangle _{\mathcal {V}}$必须是适当的内积。另一方面，只要${\mathcal {V}}$是内积空间，就不必明确表示出$\varphi$。另一种方法来自默瑟定理：只要空间${\mathcal {X}}$匹配了合适的测度确保函数$k$满足默瑟条件，就存在隐定义的函数$\varphi$。

默瑟定理类似于线性代数中将内积与任意正定矩阵相关联的结果的推广。实际上，默瑟条件可以简化为这种更简单的情况：若$\forall T\subset X$择计数测度$\mu (T)=|T|$（计算集合$T$内部的点数），那么默瑟定理中的积分就简化为和式

$\sum _{i=1}^{n}\sum _{j=1}^{n}k(\mathbf {x} _{i},\mathbf {x} _{j})c_{i}c_{j}\geq 0.$

若对于${\mathcal {X}}$中的所有有限点序列$(\mathbf {x} _{1},\dotsc ,\mathbf {x} _{n})$及所有$n$个实值系数选择$(c_{1},\dots ,c_{n})$（参考正定核），和式都成立，那么函数$k$满足默瑟条件。

一些依赖于原空间${\mathcal {X}}$中任意关系的算法在别的环境中会有线性解释：$\varphi$的范围空间。线性解释让我们对算法有了更深入的了解。此外，在计算过程中通常无需直接计算$\varphi$，支持向量机就是这样。有人认为这种运行时间上的节省是其主要优点。研究人员也用它来证明现有算法的意义和特性。

理论上讲，关于$\{\mathbf {x} _{1},\dotsc ,\mathbf {x} _{n}\}$的格拉姆矩阵$\mathbf {K} \in \mathbb {R} ^{n\times n}$（有时也称为“核矩阵”），其中$K_{ij}=k(\mathbf {x} _{i},\mathbf {x} _{j})$须是正半定（PSD）矩阵。根据经验，对于机器学习的启发式方法来说，若$k$至少近似于相似性的直观概念，那么不满足默瑟条件的函数$k$的选择可能仍有合理表现。无论$k$是不是默瑟核，$k$仍可称为“核”。

若核函数$k$也是高斯过程中使用的协方差函数，那么格拉姆矩阵$\mathbf {K}$也可称为协方差矩阵。

应用

核方法的应用十分广泛，见于地理统计、克里金法、反距离加权、三维重建、生物信息学、化学信息学、信息抽取和手写识别。

常用核函数

• Fisher核
• 图核
• 核平滑器
• 多项式核
• 径向基函数核
• 字符串函数核
• 神经正切核
• 神经网络高斯过程（NNGP）核

另见

• 向量输出的核方法
• 核密度估计
• 表示定理
• 相似性学习
• 科孚定理

阅读更多

• Shawe-Taylor, J.; Cristianini, N. Kernel Methods for Pattern Analysis. Cambridge University Press. 2004. 
• Liu, W.; Principe, J.; Haykin, S. Kernel Adaptive Filtering: A Comprehensive Introduction. Wiley. 2010. ISBN 9781118211212. 
• Schölkopf, B.; Smola, A. J.; Bach, F. Learning with Kernels : Support Vector Machines, Regularization, Optimization, and Beyond. MIT Press. 2018. ISBN 978-0-262-53657-8. 

外部链接

• Kernel-Machines Org （页面存档备份，存于互联网档案馆）—community website
• onlineprediction.net Kernel Methods Article （页面存档备份，存于互联网档案馆）