stat.MLSep 22, 2026

Optimal Tradeoffs Between Network Size and Parameter Magnitude in Neural Approximation and Minimax Regression

Authors: Baicheng LiZuowei ShenHaizhao YangShijun Zhang

Abstract

The statistical accuracy of neural networks depends on both their approximation power and the complexity of the class fitted from data. While increasing network size is a natural way to improve approximation, parameter magnitude provides another resource whose role must be quantified in both respects. We establish a sharp width--magnitude tradeoff at fixed depth using one elementary bounded 11-Lipschitz Dyadic--Triangular Activation. For the unit ββ-Hölder ball on [0,1]d[0,1]^d with 0<β10<β\leq1, the optimal LpL^p approximation error for 0<p<0<p<\infty is of order [N2log(eNT)]β/d[N^2\log(eNT)]^{-β/d} when the network width satisfies N2d+3N\geq2d+3 and the parameter magnitudes are bounded by T1T\geq1. Matching lower bounds hold for every fixed globally Hölder activation; its Hölder exponent affects the constants but not the rate. Under bounded design densities and independent centered sub-Gaussian noise, approximate least squares over the full clipped class at depth 2323 attains the classical Hölder minimax risk O(M2β2β+d)\mathcal{O}(M^{-\frac{2β}{2β+d}}) without logarithmic loss whenever N2log(eNT)Md2β+dN^2\log(eNT)\asymp M^{\frac{d}{2β+d}}, where MM is the sample size. This yields a continuum of statistically optimal choices, ranging from unit parameter radius to fixed network size. At fixed size, four hidden layers with at most 8d+78d+7 nonzero parameters give a near-optimal radius, while six layers with at most 8d+278d+27 attain the optimal order logT=O(ηd/β)\log T=\mathcal{O}(η^{-d/β}) at approximation error ηη. The same decoding method also yields fixed-size Transformer approximation.

Explore similar work

Jul 7, 2026cs.LG

On Explicit Super-Expressive Approximation for Neural Networks

In this work, we investigate the fixed-architecture neural network approximation with explicit parameter bounds and elementary activations. While prior work demonstrated super-expressive approximation using fixed-size networks, they lack quantitative and non-asymptotic characterizations of parameter magnitude with respect to the approximation error. We resolve this issue by introducing the Chinese Remainder Theorem as a constructive encoding mechanism. For Lipschitz continuous functions on [0,1]D[0,1]^D, we construct a width-max{D,4}\max\{D,4\}, depth-55 network with explicit parameter-error trade-offs. For Hölder-smooth functions in CAr,γ([0,1]D)C^{r,γ}_A\left([0,1]^D\right), our fixed network of width max{2D, D+5N+1}\max\{2D,\ D+5N+1\} and depth r+9r + 9 achieves the parameter magnitude P\mathcal{P} bounded by log2P=O(ε2D/(r+γ)log(1/ε))\log_2 \mathcal{P}=\mathcal{O}\bigl(\varepsilon^{-2D/(r+γ)}\log(1/\varepsilon)\bigr). This is the dual result compared to those in the parameter-bounded and architecture-unbounded paradigm.
Feng-Lei Fan, Ze-Yu Li, Chen-Yu Wang +1
Aug 31, 2026cs.LG

Sharp Approximation Rates for Neural Networks with Affine Latent Parameterizations

Many parameter-efficient methods generate the parameters of a large neural network from a low-dimensional latent representation. Given an architecture ΦΦ with PΦP_Φ parameter slots, we write θf=G(ξf)\boldsymbolθ_f=\mathcal{G}(\boldsymbolξ_f), where G ⁣:RMRPΦ\mathcal{G}\colon\mathbb{R}^M\to\mathbb{R}^{P_Φ} is a parameter generator and ξfRM\boldsymbolξ_f\in\mathbb{R}^M is a latent representation of the target function ff. The architecture ΦΦ and the generator G\mathcal{G} are shared across the entire target class, while each target ff is represented by its own latent vector ξf\boldsymbolξ_f, with ΦG(ξf)Φ_{\mathcal{G}(\boldsymbolξ_f)} approximating ff. This framework encompasses hypernetworks, low-dimensional parameterizations, parameter-efficient adaptation, and model compression. Understanding the tradeoff between the latent dimension MM and the network budget PP is therefore fundamental to characterizing the expressive efficiency of these methods. We study this tradeoff for affine generators and fully connected ReLU architectures. More precisely, optimizing jointly over architectures ΦΦ satisfying PΦPP_Φ\leq P and affine generators G:RMRPΦ\mathcal{G}:\mathbb{R}^M\to \mathbb{R}^{P_Φ}, we prove that the optimal worst-case uniform approximation error over the unit ball of αα-Hölder functions on [0,1]d[0,1]^d, where 0<α10<α\leq1, has the sharp order (Pmin{M,P})α/d.\bigl(P\min\{M,P\}\bigr)^{-α/d}. In particular, our result shows that even a fixed-dimensional latent space suffices to achieve vanishing approximation error as the network budget increases.
Shijun Zhang
May 20, 2026cs.LG

Approximation Theory for Neural Networks: Old and New

Universal approximation theorems provide a mathematical explanation for the expressive power of neural networks. They assert that, under mild conditions on the activation function, feedforward neural networks are dense in broad function classes, such as continuous functions on compact subsets of Rd\mathbb{R}^d, LpL^p spaces, or Sobolev spaces. Over the past four decades, these qualitative universality results have evolved into a rich quantitative theory addressing approximation rates, parameter efficiency, and the role of architectural features such as depth and width. This survey presents several glimpses into this theory. We review classical density results for single-hidden-layer networks, as well as quantitative bounds that relate approximation error to network size and smoothness assumptions on target functions. Particular emphasis is placed on depth--width trade-offs and on results demonstrating that deeper architectures can achieve superior parameter efficiency for structured function classes. In addition to standard feedforward neural networks, we also review recent developments on Kolmogorov--Arnold Networks (KANs), which offer an alternative architectural paradigm and whose approximation-theoretic properties have begun to attract significant theoretical attention.
Soumendu Sundar Mukherjee, Himasish Talukdar