Approximation and Generalization Abilities of Score-based Neural Network Generative Models for Sub-Gaussian Distributions
Guoji Fu, Wee Sun Lee
TL;DR
This work provides a theoretically rigorous framework for score-based neural network generative models (SGMs) targeting sub-Gaussian data. It develops a universal approach using regularized KDE-based score estimators and compact ReLU neural networks to approximate and learn scores, obtaining near-minimax rates in total variation for distribution estimation, without requiring Lipschitz score or density lower bounds. Early stopping is leveraged to transfer convergence guarantees from smoothed densities to Sobolev and Besov densities, yielding nearly optimal rates up to logs. The results broaden the theoretical foundations of SGMs and suggest principled design choices for score estimation and neural network architectures in high-dimensional settings.
Abstract
This paper studies the approximation and generalization abilities of score-based neural network generative models (SGMs) in estimating an unknown distribution $P_0$ from $n$ i.i.d. observations in $d$ dimensions. Assuming merely that $P_0$ is $α$-sub-Gaussian, we prove that for any time step $t \in [t_0, n^{\mathcal{O}(1)}]$, where $t_0 > \mathcal{O}(α^2n^{-2/d}\log n)$, there exists a deep ReLU neural network with width $\leq \mathcal{O}(n^{\frac{3}{d}}\log_2n)$ and depth $\leq \mathcal{O}(\log^2n)$ that can approximate the scores with $\tilde{\mathcal{O}}(n^{-1})$ mean square error and achieve a nearly optimal rate of $\tilde{\mathcal{O}}(n^{-1}t_0^{-d/2})$ for score estimation, as measured by the score matching loss. Our framework is universal and can be used to establish convergence rates for SGMs under milder assumptions than previous work. For example, assuming further that the target density function $p_0$ lies in Sobolev or Besov classes, with an appropriately early stopping strategy, we demonstrate that neural network-based SGMs can attain nearly minimax convergence rates up to logarithmic factors. Our analysis removes several crucial assumptions, such as Lipschitz continuity of the score function or a strictly positive lower bound on the target density.
