Despite its success in a wide range of applications, characterizing the generalization properties of stochastic gradient descent (SGD) in non-convex deep learning problems is still an important challenge. While modeling the trajectories of SGD via stochastic differential equations (SDE) under heavy-tailed gradient noise has recently shed light over several peculiar characteristics of SGD, a rigorous treatment of the generalization properties of such SDEs in a learning theoretical framework is still missing. Aiming to bridge this gap, in this paper, we prove generalization bounds for SGD under the assumption that its trajectories can be well-approximated by a \emph{Feller process}, which defines a rich class of Markov processes that include several recent SDE representations (both Brownian or heavy-tailed) as its special case. We show that the generalization error can be controlled by the \emph{Hausdorff dimension} of the trajectories, which is intimately linked to the tail behavior of the driving process. Our results imply that heavier-tailed processes should achieve better generalization; hence, the tail-index of the process can be used as a notion of "capacity metric". We support our theory with experiments on deep neural networks illustrating that the proposed capacity metric accurately estimates the generalization error, and it does not necessarily grow with the number of parameters unlike the existing capacity metrics in the literature.
翻译:尽管在广泛的应用中取得了成功,但将悬浮梯度下降(SGD)在非洞穴深层学习问题中的一般性特性定性为一般特性仍是一个重大挑战。虽然在重尾梯噪声下模拟SGD的轨迹(SDE),最近揭示了SGD的若干特殊特性,但严格处理SGD在学习理论框架中对这种SDE的概括特性仍然缺乏严格处理。为了缩小这一差距,本文证明SGD的概括性界限,前提是其轨迹可以通过一个\emph{Feller进程 来很好地接近。该模型将相当丰富的Markov进程类别界定为其特殊案例,其中包括最近若干SDE的表述(包括布朗或重尾尾尾部)。我们表明,这种概括性错误可以由学习理论的\emph{Hausdorf层面来控制,与驱动过程的尾部行为密切相连。我们的结果表明,其轨迹轨迹的轨迹可以很好地接近一个更精确的参数,因此,我们提出的指标性能更精确地显示,我们提出的指标性模型的模型的精确性能能够更好地反映我们现有的指标性能。