Rademacher and Gaussian Complexities: Risk Bounds and Structural Results
P. BartlettS. Mendelson
Establishes data-dependent generalization bounds using Rademacher and Gaussian complexities alongside structural composition rules that yield practical error guarantees for neural networks, kernel methods, and decision trees.
The paper develops data-dependent measures of function-class complexity, specifically Rademacher and Gaussian complexities, to derive tighter risk bounds for learning algorithms and to relate the complexity of composite classes to that of simpler basis classes. Traditional bounds that rely on fixed penalties such as VC-dimension often fail to adapt to the training sample and therefore produce overly conservative model-selection rules. The authors address this limitation by proving general error bounds expressed directly in terms of empirical Rademacher or Gaussian averages and by establishing structural inequalities that allow these averages to be computed or bounded for practical model families.
The central results establish that, with high probability, the true risk of any function is at most its empirical risk plus a term proportional to the Rademacher complexity of a suitably transformed class, plus a small additive deviation of order 1/√n. The same bounds hold when the Rademacher term is replaced by its Gaussian counterpart, which differs from it by at most a logarithmic factor. Additional lemmas show that these complexities are comparable to the maximum discrepancy of the class and that they satisfy natural monotonicity, scaling, and Lipschitz-composition properties. For classes formed by convex combinations, Boolean operations, or Lipschitz maps of simpler classes, the complexity of the composite is controlled by the sum of the complexities of the components, scaled by constants that depend only on the Lipschitz constants or the number of summands.
These abstract bounds translate into concrete improvements for concrete models. For decision trees the resulting penalty can be substantially smaller than a uniform VC-style term whenever many leaves receive little empirical mass. For two-layer neural networks with ℓ1 weight constraints the Gaussian complexity scales with the square root of the maximum pairwise distance among input coordinates, again data-dependent. For kernel expansions the same machinery yields a margin-based bound whose complexity term is proportional to the trace of the empirical kernel matrix. In each case the derived penalty decreases at rate 1/√n or faster and never exceeds the order of classical combinatorial-dimension bounds.
Because the penalties adapt to the observed sample, they support more reliable complexity-regularization procedures for model selection. The structural results further reduce the computational burden by allowing the optimization that defines the complexity to be performed only over the simpler basis classes rather than over the full composite class. The main limitation is that exact evaluation still requires solving a non-convex optimization problem whose difficulty grows with model size; practical use therefore depends on efficient approximation schemes or on further tightening of the structural inequalities.
- Paper: A training algorithm for optimal margin classifiers, B. Boser et al. (1992). Reading the foundational optimal margin classifier paper provides the essential structural background on support vector machines and margin maximization that the source paper analyzes via Rademacher complexities.
- Paper: Manifold Regularization: A Geometric Framework for Learning from Labeled and Unlabeled Examples, Mikhail Belkin et al. (2006). This paper extends the empirical complexity framework of the source into a manifold regularization setting to exploit geometric structures in both labeled and unlabeled data.
