math.NAOct 5, 2025

Configuration-Dependent Lower Bounds for Approximation by Shallow ReLUk^k Networks on the Sphere

Authors: Tong MaoJinchao Xu

Abstract

We establish two related but logically distinct results for shallow ReLUk^k neural networks on the unit sphere \SSd\SS^d. First, for an arbitrary set of inner neural-network parameters, the best L2(\SSd)\mathcal{L}^2(\SS^d) approximation of a fixed target function with smoothness r>d+2k+12r>\tfrac{d+2k+1}{2} admits an asymptotic lower bound given by a constant multiple of n1/2hk+1/2n^{-1/2}\underline{h}^{k+1/2}, where h\underline{h} denotes the antipodal separation distance of the normalized inner-parameter set. This lower bound depends explicitly on the parameter configuration through h\underline{h} and applies without additional assumptions on the parameters. Second, for antipodally quasi-uniform parameters, hn1/d\underline{h}\simeq n^{-1/d}, and the lower bound establishes the exact saturation order nd+2k+12dn^{-\frac{d+2k+1}{2d}} for such parameter families: a target function with regularity greater than d+2k+12\frac{d+2k+1}{2} and satisfying the required parity condition can be approximated at this rate, whereas approximation at any strictly faster rate forces the target function to be zero. Our results therefore place linearized neural-network approximation within the classical saturation framework and show that, although ReLUk^k network spaces can outperform finite elements of the same degree, this advantage is intrinsically limited.

Explore similar work

May 18, 2026stat.ML

Shallow ReLUs^s Networks in LpL^p-Type and Sobolev Spaces: Approximation and Path-Norm Controlled Generalization

This paper studies approximation by shallow ReLUs^s networks, σs(t)=max{0,t}sσ_s(t)=\max\{0,t\}^s, together with their generalization behavior under 1\ell_1 path-norm control. For the LpL^p-type integral spaces F~p,τd,s\widetilde{\mathcal{F}}_{p,τ_d,s}, 1p21\le p\le2, spherical harmonic analysis yields approximation bounds for shallow networks. In particular, when τdτ_d is the uniform measure and 1p<21\le p<2, the approximation rate is O ⁣(mp(2s+2d+1)2d2dp)O\!\left(m^{-\frac{p(2s+2d+1)-2d}{2dp}}\right) for 1pp1\le p\le p^* and O ⁣(mp(4s+3d1)2d+24dp)O\!\left(m^{-\frac{p(4s+3d-1)-2d+2}{4dp}}\right) for p<p<2p^*<p<2, where p=2d+2d+3p^*=\frac{2d+2}{d+3}. Approximation bounds for Sobolev spaces Wα,pW^{α,p}, 1p<21\le p<2, are obtained through embeddings into spectral Barron spaces. For nonparametric regression with sub-Gaussian noise, path-norm-regularized shallow ReLUs^s networks achieve minimax-optimal rates O ⁣(nd+2s+12d+2s+1logn)O\!\left(n^{-\frac{d+2s+1}{2d+2s+1}}\log n\right) over Bs\mathscr{B}_s and O ⁣(n2α2α+dlogn)O\!\left(n^{-\frac{2α}{2α+d}}\log n\right) over Wα,W^{α,\infty}, with matching lower bounds up to logarithmic factors.
Weizhao Li, Fanghui Liu, Lei Shi
Sep 14, 2026stat.ML

Approximating Smooth Functionals with ReLU Networks

We study the uniform approximation of smooth scalar-valued functionals on an infinite-dimensional separable Hilbert space by ReLU neural networks. A key feature in deep learning for functional data is the varying importance of different coordinates/dimensions. Representing the functional input in a basis expansion, we quantify the importance of each coordinate through both the magnitude of its corresponding basis score and the directional sensitivity of the target functional. Our analysis combines coordinate truncation, anisotropic partitioning, local Taylor approximation, and ReLU network realization, while allowing unrestricted interactions among the retained coordinates. We establish a general nonasymptotic upper bound for the uniform approximation error and a complementary pseudo-dimension-based lower bound for the worst-case approximation error. Under generalized exponential coordinate decay wdsdexp(cdρ)w_ds_d\asymp\exp(-cd^ρ), with ρ>0ρ>0, the upper and lower bounds match at the leading order, which is stretched-exponential in the logarithm of the network size budget, and thus yield the nearly optimal approximation rate. This is the first work to characterize neural network approximation error for infinite-dimensional functional inputs explicitly through the joint dimensional decay of coordinate magnitudes and directional sensitivities.
Shuhao Jiao
Sep 17, 2026stat.ML

Error bounds in Sobolev norms for approximations with norm constrained ReLU neural networks

Recent studies have shown that smooth functions can be well approximated by ReLU neural networks with path norm constraint on the weights. We extend these results from uniform approximation to approximation in Sobolev norm. Specifically, we analyze how well Sobolev functions in Wn,pW^{n,p} can be approximated by neural networks with width WW, depth LL and path norm bounded by KK, when the approximation error is measured in the W1,pW^{1,p}-norm. For shallow networks with depth L=1L=1, we derive the approximation error bound O(max{W(n1)/d,K(n1)/(sn)})\mathcal{O}(\max\{W^{-(n-1)/d}, K^{-(n-1)/(s-n)}\}), when the smoothness index satisfies n<s=(d+3)/2n<s=(d+3)/2 and the input is dd-dimensional. For deep networks, we remove the restriction on the smoothness by showing that the approximation bound O(K(n1)/(d+d/p+1))\mathcal{O}(K^{-(n-1)/(d+d/p+1)}) holds if the width WW and depth LL are sufficiently large.
Xianjun Li, Yunfei Yang