A Researcher's Guide to Empirical Risk Minimization
Organizations: Department of Statistics, University of Washington
Abstract
This guide provides a reference for high-probability regret bounds in empirical risk minimization (ERM). The presentation is modular: we begin with intuition and general proof strategies, then state broadly applicable guarantees under high-level conditions and provide tools for verifying them for specific losses and function classes. We emphasize that many ERM rate derivations can be organized around a three-step recipe -- a basic inequality, a uniform local concentration bound, and a fixed-point argument -- which yields regret bounds in terms of a critical radius, defined via localized Rademacher complexity, under a mild Bernstein-type variance-risk condition. To make these bounds concrete, we upper bound the critical radius using local maximal inequalities and metric-entropy integrals, thereby recovering familiar rates for VC-subgraph, Sobolev/Hölder, and bounded-variation classes. We also study ERM with nuisance components -- including weighted ERM and Neyman-orthogonal losses -- as they arise in causal inference, missing data, and domain adaptation. Following the orthogonal statistical learning framework, we highlight that these problems often admit regret-transfer bounds linking regret under an estimated loss to population regret under the target loss. These bounds typically decompose the regret into (i) statistical error under the estimated loss and (ii) approximation error due to nuisance estimation. Under sample splitting or cross-fitting, the first term can be controlled using standard fixed-loss ERM regret bounds, while the second depends only on nuisance-estimation accuracy. As a novel contribution, we also treat the in-sample regime, in which the nuisances and the ERM are fit on the same data, deriving regret bounds and showing that fast oracle rates remain attainable under suitable smoothness and Donsker-type conditions.
Figures & tables
| Function class | Local scaling | Critical radius |
|---|---|---|
| Star hull of single function | ||
| -sparse linear predictors in | ||
| VC-subgraph of dimension | ||
| Hölder/Sobolev with smoothness in dimension | ||
| Bounded Hardy–Krause variation | ||
| RKHS with eigenvalue decay |
| Function class | Entropy bound |
|---|---|
| Hölder/Sobolev (smoothness in dimension ) | ; |
| Monotone functions on | |
| Bounded Hardy–Krause variation (dimension ) | |
| -sparse linear predictors in (support size ) | |
| VC-subgraph (VC dimension ) |
Appendix figures & tables1 asset
Supplementary material from the paper’s appendix.
Appendix
| Function class | Critical radius | Reference |
|---|---|---|
| Star hull of single function | Wainwright (2019) | |
| -sparse linear predictors in | Wainwright (2019) | |
| VC-subgraph of dimension | Van Der Vaart and Wellner (1996) | |
| Hölder/Sobolev with smoothness in dimension | Nickl and Pötscher (2007) | |
| Bounded Hardy–Krause variation | Bibaut and van der Laan (2019) | |
| RKHS with eigenvalue decay | Mendelson and Neeman (2010) |