间隔理论是什么?用分类间隔解释模型为什么能泛化
间隔理论(Margin Theory)是机器学习中用来解释分类器泛化能力的一套理论。它的核心观点是:一个分类器不仅要把训练样本分对,还要分得“有把握”,也就是让样本离分类的边界足够远。训练样本的间隔越大,分类器在新数据上的表现往往越好。
什么是间隔
对于一个分类器,间隔衡量的是一个样本被分类的“确定程度”。从几何上看,间隔就是样本到分类边界的距离:一个样本离边界很远,说明分类器很确定地把它分到了某一类;一个样本紧贴着边界,说明分类器对它的判断很勉强,稍有扰动就可能被分到另一边。对于分类器整体来说,通常关注的是所有训练样本中最小的那个间隔,或者整个训练集上间隔的分布情况。
在支持向量机中
间隔理论最直接的应用是支持向量机。在能把两类数据分开的无数条分界线中,支持向量机选择让间隔最大的那一条,也就是让分界线离两边最近的样本都尽可能地远。为什么这样做好?直观的解释是:间隔越大,分界线两边留出的缓冲区越宽,新的样本即使与训练样本有些不同、有些偏移,也不容易越过分界线被分错。从理论上,瓦普尼克等人证明,对于线性分类器,分类间隔越大,它的有效复杂度就越低,泛化误差的上界就越小,而且这个上界与数据的维度无关。这意味着即使在维度非常高的空间中,只要能找到一个间隔很大的分界面,模型仍然可以很好地泛化。这也解释了支持向量机配合核函数,把数据映射到极高维的空间之后,为什么仍然不容易过拟合。
解释 AdaBoost 之谜
间隔理论另一个著名的应用,是解释提升算法 AdaBoost 的一个奇怪现象。研究者发现,AdaBoost 在训练误差已经降到零之后,继续增加更多的弱分类器,测试误差往往还会继续下降,而不是像人们预期的那样开始过拟合。按照传统的观点,模型越复杂越容易过拟合,这个现象很难解释。1998 年,Robert Schapire、Yoav Freund、Peter Bartlett 和 Wee Sun Lee 用间隔理论给出了解释:即使训练误差已经为零,继续迭代仍然会增大训练样本的间隔,让分类器对它的判断越来越有把握,而更大的间隔意味着更好的泛化能力。他们给出了一个只与间隔分布有关、而与弱分类器的数量无关的泛化误差上界。此后,Leo Breiman 等人对这一解释提出了质疑,引发了长时间的学术讨论,周志华等人后来的研究认为,应该关注整个间隔分布,而不只是最小间隔,进一步完善了这一理论。
在深度学习中的延伸
间隔的思想也被广泛用于深度学习:在人脸识别中,ArcFace、CosFace 等损失函数在训练时人为地加大类别之间的间隔,让同一个人的不同照片在特征空间中聚得更紧、不同的人离得更远,显著提高了识别的准确率。研究者也在尝试用间隔来理解深度神经网络的泛化能力,以及对抗样本的问题:对抗样本之所以能骗过模型,部分原因可能就是很多样本离分类边界太近了,提高间隔也是增强模型鲁棒性的一种思路。