Table of Contents
Fetching ...

Stability and Generalization of Nonconvex Optimization with Heavy-Tailed Noise

Hongxu Chen, Ke Wei, Xiaoming Yuan, Luo Luo

TL;DR

The paper addresses generalization in nonconvex stochastic optimization under heavy-tailed gradient noise by developing a truncation-based stability framework under the $p$-BCM condition with $p\in(1,2]$. It couples algorithmic stability in gradients with a ghost-sample argument to bound the population gradient error by $4\epsilon + C_p\sigma_p n^{-(p-1)/p}$, where $\epsilon$ is a stability parameter and $C_p$ a $p$-dependent constant. The authors then apply the framework to clipped SGD and normalized SGD (including mini-batch and momentum variants), deriving explicit stability and rate bounds that improve upon prior results in the heavy-tailed regime. The results illuminate trade-offs between clipping and normalization and provide concrete guidance on parameter choices to achieve favorable generalization in practice, with potential impact on training regimes where gradient noise is heavy-tailed.

Abstract

The empirical evidence indicates that stochastic optimization with heavy-tailed gradient noise is more appropriate to characterize the training of machine learning models than that with standard bounded gradient variance noise. Most existing works on this phenomenon focus on the convergence of optimization errors, while the analysis for generalization bounds under the heavy-tailed gradient noise remains limited. In this paper, we develop a general framework for establishing generalization bounds under heavy-tailed noise. Specifically, we introduce a truncation argument to achieve the generalization error bound based on the algorithmic stability under the assumption of bounded $p$th centered moment with $p\in(1,2]$. Building on this framework, we further provide the stability and generalization analysis for several popular stochastic algorithms under heavy-tailed noise, including clipped and normalized stochastic gradient descent, as well as their mini-batch and momentum variants.

Stability and Generalization of Nonconvex Optimization with Heavy-Tailed Noise

TL;DR

The paper addresses generalization in nonconvex stochastic optimization under heavy-tailed gradient noise by developing a truncation-based stability framework under the -BCM condition with . It couples algorithmic stability in gradients with a ghost-sample argument to bound the population gradient error by , where is a stability parameter and a -dependent constant. The authors then apply the framework to clipped SGD and normalized SGD (including mini-batch and momentum variants), deriving explicit stability and rate bounds that improve upon prior results in the heavy-tailed regime. The results illuminate trade-offs between clipping and normalization and provide concrete guidance on parameter choices to achieve favorable generalization in practice, with potential impact on training regimes where gradient noise is heavy-tailed.

Abstract

The empirical evidence indicates that stochastic optimization with heavy-tailed gradient noise is more appropriate to characterize the training of machine learning models than that with standard bounded gradient variance noise. Most existing works on this phenomenon focus on the convergence of optimization errors, while the analysis for generalization bounds under the heavy-tailed gradient noise remains limited. In this paper, we develop a general framework for establishing generalization bounds under heavy-tailed noise. Specifically, we introduce a truncation argument to achieve the generalization error bound based on the algorithmic stability under the assumption of bounded th centered moment with . Building on this framework, we further provide the stability and generalization analysis for several popular stochastic algorithms under heavy-tailed noise, including clipped and normalized stochastic gradient descent, as well as their mini-batch and momentum variants.
Paper Structure (24 sections, 16 theorems, 167 equations, 1 table, 4 algorithms)

This paper contains 24 sections, 16 theorems, 167 equations, 1 table, 4 algorithms.

Key Result

Theorem 4.2

Let $A$ be $\epsilon$-uniformly stable in gradients and Assumption ass_pbcm holds. Then where $C_p$ is a constant depending only on $p$, defined by $C_2=1$ and $C_p=\frac{p}{2(p-1)}\left(\frac{4(p-1)}{2-p}\right)^{\frac{2-p}{p}}$ for $p\in(1,2)$.

Theorems & Definitions (22)

  • Definition 4.1
  • Theorem 4.2
  • Remark 4.3
  • Proposition 5.1: Stability of clipped SGD
  • Theorem 5.2: Population gradient bound of clipped SGD
  • Corollary 5.3
  • Proposition 5.4: Stability of NSGD-B
  • Theorem 5.5: Population gradient bound of NSGD-B
  • Corollary 5.6
  • Remark 5.7
  • ...and 12 more