形式陈述
给定 ( X , Y ) ∼ D 与损失函数 理路 损失函数与总体风险 Loss function · Population risk · Expected risk 损失刻画一次决策的代价,总体风险是未知分布下的平均代价。 ,条件分布 理路 条件分布 Conditional distribution · Regular conditional distribution 给定观测值后随机量的概率律,以及它与原联合分布相容的核表示。 Y ∣ X = x 决定动作 a 的条件期望损失 理路 条件期望 Conditional expectation 以信息分组的加权平均建立条件期望直觉,再连接测度定义、最小均方预测、塔式性质和可计算反例。 r ( a ∣ x ) = E [ ℓ ( a , Y ) ∣ X = x ] 。Bayes 预测器逐点选择
h ∗ ( x ) ∈ arg min a r ( a ∣ x ) , Bayes 风险则是 R ∗ = inf h R D ( h ) 。对非负损失,若有可测的最优选择 h ∗ ,与任意风险有限的规则比较,逐点不等式经全期望 理路 全期望公式与全方差公式 Law of total expectation · Law of total variance · Iterated expectation 借助条件信息分解总体均值,并把总波动拆成组内与组间两部分。 积分,便说明 h ∗ 整体最优。若最小值不达到或选择不可测,应保留下确界与可测选择条件。
二分类令 η ( x ) = Pr ( Y = 1 ∣ X = x ) 。0–1 损失下预测 1 与 0 的条件错误分别为 1 − η ( x ) 和 η ( x ) ,故阈值为 1 / 2 。
平方损失下,假设 E Y 2 < ∞ ,记 μ ( x ) = E [ Y ∣ X = x ] 。展开 Y − a = ( Y − μ ) + ( μ − a ) 后交叉项的条件期望为零,故几乎处处有
r ( a ∣ x ) = Var ( Y ∣ X = x ) + ( a − μ ( x ) ) 2 . 第一项与动作无关,第二项在 a = μ ( x ) 为零,所以条件均值最优。绝对损失下,E | Y | < ∞ 足以保证有限风险,此时条件中位数最优;最优中位数可以不唯一。
直觉
若同一 x 的标签以 0.8 / 0.2 随机出现,任何分类器至少承担 0.2 条件错误。正 Bayes 风险不是样本少或优化失败,而是观察 X 后仍不可消除的不确定性。
Bayes classifier 不要求给参数设置先验。Bayes 定理 理路 Bayes 定理 Bayes' theorem · Bayes' rule 用先验与证据在各假设下的可能性反转条件方向,得到归一化后验。 可帮助计算条件概率;本页“Bayes 最优”说的是相对真实联合分布与损失的最优预测,有限样本学习器只能尝试估计它。与之相近的Bayes 估计量 理路 Bayes 估计量与后验风险 Bayes estimator · Posterior expected loss 给定观测后最小化后验期望损失的行动规则及其条件风险。 则先对参数设先验,再最小化后验平均损失,所平均的是参数不确定性。
例子与边界
以两个特征值为例:Pr ( X = a ) = Pr ( X = b ) = 1 / 2 ,Pr ( Y = 1 ∣ a ) = 0.9 、Pr ( Y = 1 ∣ b ) = 0.4 。0–1 Bayes 分类器在 a 预测 1、在 b 预测 0,风险为
R ∗ = 1 2 ( 0.1 ) + 1 2 ( 0.4 ) = 0.25 . 始终预测多数类 1 的风险则为 Pr ( Y = 0 ) = 0.35 。这个算例既说明特征条件化能降低风险,也说明 Bayes 风险不必为零。
最优阈值也依赖损失。若误报正类与漏报正类的代价分别为 c 01 , c 10 ≥ 0 ,且 c 01 + c 10 > 0 ,两动作的条件风险分别为 c 01 ( 1 − η ) 和 c 10 η ,因此在 η ≥ c 01 / ( c 01 + c 10 ) 时预测 1 。漏报代价为误报四倍时阈值为 1 / 5 ,不能仍取 1 / 2 。
若动作还允许拒绝,条件成本要再加入拒绝代价,并同时报告接受覆盖率与接受后错误;完整规则见选择性分类 理路 选择性分类与拒绝风险 Selective classification · Classification with reject option · Risk-coverage tradeoff 为可拒绝预测同时定义覆盖率、接受后错误和拒绝成本,推导Bayes拒绝区间与固定覆盖率最优选择,并说明校准保证可保留的筛选范围。 。若另要求跨群组的选择比例或条件错误率满足约束,优化目标也要增加相应条件,见群体公平准则 理路 分类中的群体公平准则 Demographic parity · Equalized odds · Equality of opportunity 用不同条件独立关系区分选择比例平衡、等化错误率、机会均等与概率校准,并在同一混淆表中计算它们的差异。 。对连续概率分数,群体校准与正负类平均分平衡 理路 校准与群体平衡的不可兼得性 Calibration fairness impossibility 在不同非退化基率下,用两条平均分恒等式证明群体内概率校准与正负类平均分平衡只有完美预测例外,并区分阈值错误率条件。 在不同基率下还存在明确的不可兼得性,单一总体风险最优不会自动解决这些约束。
多类并列时,任取条件概率最大的标签都有相同条件风险,但学习器必须固定可测的平票规则。连续动作还需检查可积性:平方损失下若条件二阶矩为无穷,即使条件均值有限,也不能据此得到有限的条件风险。
推论与应用
Bayes 风险还可写成条件最优风险的期望:
R ∗ = E X [ inf a E ( ℓ ( a , Y ) ∣ X ) ] , 这里需要条件下确界可测,并能由允许的可测规则实现或逼近。例如非负损失下,若对每个 η > 0 都有可测规则 h η 满足 r ( h η ( x ) ∣ x ) ≤ inf a r ( a ∣ x ) + η 几乎处处,积分后再令 η ↓ 0 即得等式。仅允许“所有可测规则”并不能自动保证这样的选择存在。若只在假设类 H 中优化,得到的是 R H ∗ ,通常大于 R ∗ ;把二者相减才是逼近误差。
平方回归还给出精确的误差分解。若 E Y 2 < ∞ 且 E h ( X ) 2 < ∞ ,将上面的条件平方恒等式积分便得
E ( Y − h ( X ) ) 2 = E Var ( Y ∣ X ) + E ( μ ( X ) − h ( X ) ) 2 . 第一项是观察 X 后仍残留的噪声,第二项是预测器偏离条件均值的代价。分类中的代理损失需要另一种联系:分类校准约束逐点条件风险的最优决策,不能单凭校准就断言任意受限假设类的代理损失最优解也是该类的 0–1 最优解。
当 Y 为二元标签、X 换成报告概率 S 时,再用全方差公式比较条件均值与总体基率,可得Brier 分数的可靠度—分辨力分解 理路 Brier 分数的可靠度—分辨力分解 Brier score decomposition · Murphy decomposition 把二元概率平方误差严格分为可靠度损失减分辨力加基率不确定性,并逐项算出校准修正和无信息预报的差别。 。它区分了报告值失准造成的损失与不同报告档真实风险差异带来的收益,所以完全校准的常数预报仍可能不够有用。
Gaussian 判别分析 理路 Gaussian 判别分析 Gaussian discriminant analysis · Linear discriminant analysis · Quadratic discriminant analysis · LDA · QDA 从类别条件正态密度与先验推导 LDA/QDA 分数,明确误分类成本、协方差假设和估计参数后的插件规则。 给出显式分类实例:类别条件密度正态时,Bayes 比较化为含先验和协方差行列式的二次分数;共享协方差时化为线性分数。未知参数的训练估计产生插件规则,不自动继承已知真实模型下的 Bayes 最优性。
参考资料
James Berger, Statistical Decision Theory and Bayesian Analysis , 1985.
Devroye, Györfi, Lugosi, A Probabilistic Theory of Pattern Recognition , 1996.