统一框架研究数据相关事件概率估计
A Unified Framework for Probability Estimation of Data-Dependent Events
理论向的读者看这篇:把 missing mass、自适应数据分析、测试误差估计统一到一个框架里,还给出两个误差界。
论文提出估计 D(dde(S)) 的统一框架,覆盖经典 missing mass、自适应数据分析中的数据相关目标以及数据训练预测器的测试误差。经验 plug-in 估计器的误差恰好是泛化差距,泛化界可直接迁移。leave-one-out 估计器恢复 Good-Turing 估计器,对删点稳定的映射均准确。框架的主应用是结合基分类器与记忆例外项的预测器误差估计,作者提出自适应 missing mass 估计问题,并基于 VC 维和互信息给出两个误差界。
A Unified Framework for Probability Estimation of Data-Dependent Events
We study the general problem of estimating $D(\dde(S))$, the probability that an unknown distribution $D$ assigns to an event determined by a sample $S$ of $n$ i.i.d.\ draws from $D$ through a known mapping $\dde$. The estimation algorithm knows $\dde$ and $S$ but does not have access to any additional samples from $D$. This formulation captures classical missing mass, the data-dependent targets of adaptive data analysis and post-selection inference, and the test error of a data-trained predictor, whose estimation was recently studied by \new{Gastpar et al.\ (2024a,b)}. Within this framework we examine the two classical approaches to estimation. The error of the empirical plug-in estimator is exactly a generalization gap, so generalization bounds transfer to it directly. The leave-one-out estimator, which recovers the Good--Turing estimator, is accurate for every mapping that is stable under the deletion of one sample point, including new structured examples such as neighborhoods of the sample and pierced sets. The main application of our framework is to error estimation for a predictor that combines a base classifier with memorized exceptions, a structure common in theory and in practice. For it, the test error is exactly the missing mass restricted to the error region of the base classifier, a region selected by the same sample. We formulate the general problem of \emph{adaptive missing mass estimation} to address such dependence and propose a natural hybrid estimator, the Good--Turing estimator restricted to the selected region. We show that the generalization of the base classifier alone does not guarantee the accuracy of this estimator, and derive two bounds on its error: the first one based on the VC dimension of possible error regions and another based on the mutual information of the selected region with the sample.