形式陈述
方法模板
设参数空间 是度量空间公理库度量空间Metric space用满足正定性、对称性与三角不等式的实值距离刻画点间远近的空间。,对应分布族 ,并观察 个 IID 样本。要下界所有估计器的极小极大风险公理库极小极大风险Minimax risk在模型族最坏参数上评价算法风险,再在所有允许算法中寻找最优值。,先取一个 -packing
令随机索引 在 上均匀,条件于 时生成 。任意估计器都诱导最近邻解码器
若 ,packing 的三角不等式保证 是唯一最近候选。因此
Fano 不等式公理库Fano 不等式Fano's inequality用估计错误概率上界条件熵,从而把信息不足转化为推断下界。再给
只要候选数的 很大,而样本携带的互信息远小于它,任何估计器就以常数概率犯至少 的误差;于是平方损失的极小极大风险至少为常数倍 。
如何上界互信息
令混合分布 ,则
混合分布常不易直接计算。由 KL 的凸性,可选任意参考候选 ,得到
最后一个等号是 IID 乘积分布的 KL 可加性;从完整观测转向解码索引的步骤则受数据处理不等式公理库数据处理不等式Data processing inequality对 Markov 链 X→Y→Z,有 I(X;Z)≤I(X;Y)。约束。证明设计因此要同时满足两种相反要求:参数在 下足够远,使 大;诱导分布在 KL 下足够近,使 小。Packing 大小本身并不保证下界非平凡。
直觉
Packing–Fano 把连续估计问题压成多路通信:自然先从候选集合均匀挑一个隐藏索引,样本是经过统计信道后的消息,估计器则试图从消息恢复索引。候选在目标度量下必须相隔很远,才能把解码错误转成实质估计误差;诱导分布又必须足够接近,才能让样本难以传递索引。
候选数的对数是需要传输的信息量,互信息是样本实际提供的辨识能力。两者保持常数比例差距时,Fano 强迫常数解码错误;指数规模 packing 的 因而能把高维方向数带入下界。
例子与边界
高斯均值估计的维数因子
观察 ,以平方欧氏误差估计 。由 Varshamov–Gilbert 构造,可在 中选出 个向量,任意两者 Hamming 距离至少 。令 ,则候选间
故可取 。另一方面,单样本高斯 KL 为 , 个样本的互信息至多 。选择 为足够小的常数倍 ,便使 ,Fano 给出常数解码错误率,最终
两点法只能提供一个方向上的困难;指数多个 packing 候选把 个可区分方向压进 ,这正是维数因子的来源。
Packing、covering 与边界
-packing 要求候选两两分离;-covering 要求每个参数靠近某个中心,方向相反。最大 packing 与最小 covering 可通过标准半径关系比较,但不能把一个 covering 网直接当成 Fano 所需的分离集合。
连续参数空间必须先离散化,否则没有有限均匀索引 和 。对数底数也须一致:若互信息用自然对数,Fano 中写 与 ;改用比特时全部换成底 。若问题具有逐坐标超立方结构,Assouad 引理常比全局解码更精细;若只有两个自然候选,两点检验下界公理库两点检验下界Le Cam's two-point method · two-point lower bound把两个目标相隔但观测分布接近的参数点化为二元检验,从而证明估计下界。更直接。
推论与应用
两点法捕捉一个困难方向,Packing–Fano 通过 汇总许多方向,因此特别适合高维均值、回归、密度估计和函数估计的维数敏感下界。若候选具有逐坐标 product 结构,Assouad 方法可能保留更细的坐标损失。
构造候选时应同时列出三张账:最小参数距离决定风险尺度,packing 基数决定 ,KL 或互信息决定可辨识度。只证明“候选很多”或“分布很近”都不够;非平凡下界来自三项在同一参数选择下兼容。
参考资料
- Bin Yu, “Assouad, Fano, and Le Cam,” in Festschrift for Lucien Le Cam, Springer, 1997.
- Alexandre B. Tsybakov, Introduction to Nonparametric Estimation, Springer, 2009.
- Thomas M. Cover and Joy A. Thomas, Elements of Information Theory, 2nd ed., Wiley, 2006, Fano-inequality chapter.