From Mutual Information to Expected Dynamics: New Generalization Bounds for Heavy-Tailed SGD
Preprint
Abstract
Understanding the generalization abilities of modern machine learning algorithms has been a major research topic over the past decades. In recent years, the learning dynamics of Stochastic Gradient Descent (SGD) have been related to heavy-tailed dynamics. This has been successfully applied to generalization theory by exploiting the fractal properties of those dynamics. However, the derived bounds depend on mutual information (decoupling) terms that are beyond the reach of computability. In this work, we prove generalization bounds over the trajectory of a class of heavy-tailed dynamics, without those mutual information terms. Instead, we introduce a geometric decoupling term by comparing the learning dynamics (depending on the empirical risk) with an expected one (depending on the population risk). We further upper-bound this geometric term, by using techniques from the heavy-tailed and the fractal literature, making it fully computable. Moreover, as an attempt to tighten the bounds, we propose a PAC-Bayesian setting based on perturbed dynamics, in which the same geometric term plays a crucial role and can still be bounded using the techniques described above.Keywords
All Related Versions
This publication has 7 references indexed in Scilit:
- Generalization Bounds: Perspectives from Information Theory and PAC-BayesFoundations and Trends in Machine Learning, 2025
- User-friendly Introduction to PAC-Bayes BoundsFoundations and Trends in Machine Learning, 2024
- Hausdorff dimension, heavy tails, and generalization in neural networks*Journal of Statistical Mechanics: Theory and Experiment, 2021
- Lower bounds of the Hausdorff dimension for the images of Feller processesStatistics & Probability Letters, 2015
- Feller Processes Generated by Pseudo-Differential Operators: On the Hausdorff Dimension of Their Sample PathsJournal of Theoretical Probability, 1998
- Fractal Geometry: Mathematical Foundations and Applications.1990
- The correct measure function for the graph of a transient stable processProbability Theory and Related Fields, 1968