Abstract:The foundations of deep learning are supported by the seemingly opposing perspectives of approximation or learning theory. The former advocates for large/expressive models that need not generalize, while the latter considers classes that generalize but may be too small/constrained to be universal approximators. Motivated by real-world deep learning implementations that are both expressive and statistically reliable, we ask: "Is there a class of neural networks that is both large enough to be universal but structured enough to generalize?" This paper constructively provides a positive answer to this question by identifying a highly structured class of ReLU multilayer perceptions (MLPs), which are optimal function approximators and are statistically well-behaved. We show that any $L$-Lipschitz function from $[0,1]^d$ to $[-n,n]$ can be approximated to a uniform $Ld/(2n)$ error on $[0,1]^d$ with a sparsely connected $L$-Lipschitz ReLU MLP of width $\mathcal{O}(dn^d)$, depth $\mathcal{O}(\log(d))$, with $\mathcal{O}(dn^d)$ nonzero parameters, and whose weights and biases take values in $\{0,\pm 1/2\}$ except in the first and last layers which instead have magnitude at-most $n$. Unlike previously known "large" classes of universal ReLU MLPs, the empirical Rademacher complexity of our class remains bounded even when its depth and width become arbitrarily large. Further, our class of MLPs achieves a near-optimal sample complexity of $\mathcal{O}(\log(N)/\sqrt{N})$ when given $N$ i.i.d. normalized sub-Gaussian training samples. We achieve this by avoiding the standard approach to constructing optimal ReLU approximators, which sacrifices regularity by relying on small spikes. Instead, we introduce a new construction that perfectly fits together linear pieces using Kuhn triangulations and avoids these small spikes.

Constructive Universal High-Dimensional Distribution Generation through Deep ReLU Networks

Low dimensional approximation and generalization of multivariate functions on smooth manifolds using deep ReLU neural networks

Learning Distributions Generated by One-Layer ReLU Networks

On the capacity of deep generative networks for approximating distributions

Size-Noise Tradeoffs in Generative Networks

Deep Neural Networks with ReLU-Sine-Exponential Activations Break Curse of Dimensionality in Approximation on Hölder Class.

New advances in universal approximation with neural networks of minimal width

Discrete Distribution Networks

Implicit Hypersurface Approximation Capacity in Deep ReLU Networks

Deep Neural Networks with ReLU-Sine-Exponential Activations Break Curse of Dimensionality on Hölder Class

Deterministic equivalent and error universality of deep random features learning *

Deep Network Approximation: Achieving Arbitrary Accuracy with Fixed Number of Neurons

Bridging the Gap Between Approximation and Learning via Optimal Approximation by ReLU MLPs of Maximal Regularity

Deep Narrow Boltzmann Machines are Universal Approximators

Minimum Width of Leaky-ReLU Neural Networks for Uniform Universal Approximation

Proportional infinite-width infinite-depth limit for deep linear neural networks

Random ReLU Neural Networks as Non-Gaussian Processes

Robust nonparametric regression based on deep ReLU neural networks

On the Universality of the Double Descent Peak in Ridgeless Regression

Hilbert Distillation for Cross-Dimensionality Networks

Learning High Dimensional Wasserstein Geodesics