Skip to content

Hinge 损失

hinge loss · max-margin loss · 合页损失

以单位函数间隔为拐点的凸分段线性分类损失,并给出次梯度和尺度约定。

条目类型
定义

形式陈述

对标签 y{1,+1} 和实值分数 t,Hinge 损失定义为

hinge(y,t)=[1yt]+=max{0,1yt}.

令 margin 变量 u=yt,其次数梯度为

[1u]+={{1},u<1,[1,0],u=1,{0},u>1.

对分数 t 的次梯度再乘 y。损失是凸的、1-Lipschitz 于 u,在 u=1 不可微;正确分类但 0<u<1 仍受罚,误分类 u<0 则损失大于 1。

常数 1 是函数间隔的规范,不是数据固有长度。对线性分类器 t=w,x+b,把 (w,b) 缩放会改变 hinge 值,因此必须与范数正则项共同固定尺度。几何间隔仍需除以 w,不能把 yt1 本身称为一单位欧氏距离。

直觉

零一损失只问符号是否错误,hinge 还要求正确点越过安全带 u=1。在安全带之外梯度为零;带内每减少一单位 margin 就线性付一单位代价。这个分段线性形状把最大间隔约束变成可优化的凸惩罚,并让违反量直接对应 soft-margin SVM 的 slack。

Hinge 在 SVM 中的角色是损失、次梯度和 margin 归一化。它对分类是否校准、代理超额风险如何控制零一风险,已由分类代理损失与校准处理;这里不把优化几何重新包装成校准定理。

例子与边界

取三个 (y,t)(1,2)(1,1/4)(1,1/2)。margin 分别是 2,1/4,1/2,损失为

0,34,12,

平均损失为 5/12。前一点已越过安全带,分数方向的次梯度为 0;后二点均在带内,次梯度分别为 y=1y=1。若把所有分数乘 4,margin 变为 8,1,2,经验 hinge 变成 0,但参数范数也放大;只报训练 hinge 而忽略正则项会遗漏代价。

与 slack 的联系可逐点复算:

minξi0{ξi:yiti1ξi}=[1yiti]+.

所以

12w2+Ciξi

消去 slack 后就是 12w2+Ci[1yiti]+。若改写为 λ2w2+1mii,整体除以 λC=1/(mλ);这一定标关系将在 soft-margin SVM 中保持一致。

Hinge 不光滑却有次梯度,并非“无法做梯度优化”。它也不是概率评分规则:大量正 margin 都有零损失,不能从最优分数唯一恢复 Pr(Y=1X=x)。对严重异常点,损失随负 margin 线性无界,仍可能受离群点影响。

推论与应用

线性或 RKHS 分数加平方范数正则得到凸目标;有限样本时表示定理给核展开,soft-margin 原始问题则给等价 slack 形式。支持向量正是落在 margin 上或违反 margin、因而在最优性条件中可能有非零乘子的样本。

由于 hinge 对 margin 是 1-Lipschitz,复合函数类的 Rademacher 分析可用收缩引理把损失波动控制回分数类;常数仍会乘上输入半径与范数约束。若不限制分数类,仅凭损失凸和 Lipschitz 并不能得到有限的分布无关泛化保证。

平方 hinge [1u]+2 更平滑但改变对违例的惩罚与对偶约束;logistic 损失处处非零且有概率链接。替换损失不是纯实现细节,必须重新核对 Lipschitz 常数、鲁棒性、最优性条件和正则参数尺度。

参考资料
  • Ingo Steinwart and Andreas Christmann, Support Vector Machines, Springer, 2008, Secs. 2.3 and 3.3.
  • Shai Shalev-Shwartz and Shai Ben-David, Understanding Machine Learning: From Theory to Algorithms, Cambridge University Press, 2014, Chs. 12 and 15.
  • Peter L. Bartlett, Michael I. Jordan, and Jon D. McAuliffe, “Convexity, Classification, and Risk Bounds,” Journal of the American Statistical Association 101(473), 2006, pp. 138–156, doi:10.1198/016214505000000907.
关系图谱13 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组