逃离参数空间:通过表征质量得到紧的泛化上界
来自 arXiv · 期号 2026-10-17
摘要
这篇论文提出了一种新的神经网络泛化上界,它不依赖参数空间(如权重范数、KL散度),而是通过评估最后一层隐藏层表征的质量来推导。 核心方法是用一个无参数的k近邻(k-NN)分类器来度量表征质量。这个上界可以分解为三个可独立测量的经验项:局部类别几何(k-NN解码器误差)、解码器-网络一致性、以及训练稳定性。 实验上,该上界很紧:在CIFAR-10上用ResNet-18从头训练,上界与测试误差的差距仅为8.0个百分点;在CIFAR-100上首次给出了非平凡(non-vacuous)的证书。使用冻结的DINOv2表征时,在CIFAR-10上可认证到1.4%的误差,在1000类的ImageNet上为23.1%。 作者还利用该上界作为诊断工具:主动破坏局部类别几何会消除泛化能力,但保留了对数据集的记忆,从而识别出类别几何是泛化的一个因果相关机制。此外,学习到的表征对权重噪声的敏感度远低于线性读出层,这解释了为什么基于参数空间的证书往往难以保持紧致。
深读
导读 这篇论文提出了一种全新的神经网络泛化上界,它不依赖传统的参数空间复杂度(如权重范数、KL散度),而是通过评估最后一层隐藏层表征的质量来推导。该上界在多个基准上达到了非平凡(non-vacuous)的紧度,并可作为诊断工具识别出局部类别几何是泛化的一个因果机制。值得一读,因为它为理解深度学习的泛化提供了不同于参数计数或压缩的视角。 关键信息 - 该泛化上界基于一个无参数的 k 近邻(k-NN)分类器来度量表征质量,避免了参数空间复杂度、KL 散度、权重范数和压缩等传统方法。 - 在 CIFAR-10 上用 ResNet-18 从头训练,该上界与测试误差的差距仅为 8.0 个百分点。 - 在 CIFAR-100 上,该论文首次给出了非平凡(non-vacuous)的泛化证书。 - 使用冻结的 DINOv2 表征时,在 CIFAR-10 上可认证到 1.4% 的误差,在 1000 类的 ImageNet 上为 23.1%。 - 该上界可加性分解为三个可独立测量的经验项:局部类别几何(k-NN 解码器误差)、解码器-网络一致性和训练稳定性。 - 实验表明,主动破坏局部类别几何会消除泛化能力,但保留了对数据集的记忆,从而识别出类别几何是泛化的一个因果相关机制。 逐节讲解 核心思想:从表征质量推导泛化上界 传统泛化上界通常依赖于参数空间的复杂度度量,如权重范数或 KL 散度,但这些方法往往导致上界过于宽松(vacuous),无法提供有意义的保证。这篇论文另辟蹊径,提出通过评估神经网络最后一层隐藏层表征的质量来推导泛化上界。其核心工具是一个无参数的 k 近邻(k-NN)分类器:用这个分类器在表征空间中对测试样本进行分类,其性能直接反映了表征的优劣,并由此导出泛化上界。这种方法完全绕开了参数空间,因此不受参数数量或范数大小的限制。 上界的紧度与分解 该上界在多个标准基准上表现出了很高的紧度。在 CIFAR-10 上使用 ResNet-18 从头训练,上界与真实测试误差的差距仅为 8.0 个百分点。在更具挑战性的 CIFAR-100 上,它首次给出了非平凡(non-vacuous)的证书,即上界显著低于随机猜测。当使用冻结的 DINOv2 这种强大的预训练表征时,紧度进一步提升:在 CIFAR-10 上可认证到 1.4% 的误差,在 1000 类的 ImageNet 上为 23.1%。 该上界可以加性分解为三个可独立测量的经验项:局部类别几何(k-NN 解码器误差)、解码器-网络一致性和训练稳定性。这种分解使得上界不仅是理论结果,更是一个可操作的诊断工具。 作为诊断工具:识别泛化的因果机制 作者利用该上界的分解特性,通过干预实验来探究泛化的因果机制。他们主动破坏表征空间中的局部类别几何(例如,通过随机打乱表征),发现这完全消除了泛化能力,但模型对训练数据集的记忆(如训练…