Besov spectral regularization for shallow ReLU
Source paper: Sharp embeddings between quasi-Banach Besov spaces and shallow ReLU variation spaces arXiv:2609.00680 ⓘ · analyzed Sep 2, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a multiscale Besov penalty to the output of a shallow ReLU^k network, targeting the smoothness threshold that the paper proves is sufficient for finite ridge-variation representation. This suppresses pathological high-frequency output while preserving low-frequency approximation, providing a principled alternative to ordinary parameter weight decay.
Formulas
Mathematical statement
The paper defines \(\sigma_k(t)=(t)_+^k\) and the normalized ridge dictionary \(\mathcal{D}=\{\sigma_k(\omega\cdot{}-b):(\omega,b)\in\mathbb{S}^{d-1}\times[-c,c]\}\), where \(\Omega\subset\mathbb{R}^d\) is bounded and Lipschitz, \(\omega\) is a unit direction, and \(b\) is a bounded offset. Its variation norm is \(\|f\|_{\mathcal{L}_1(\mathcal{D})}=\inf\{\|\mu\|_{\mathrm{TV}}:f(x)=\int\sigma_k(\omega\cdot x-b)\,d\mu(\omega,b)\}\), with \(\mu\) a signed measure and \(\|\mu\|_{\mathrm{TV}}\) its total variation. The forward embedding states \(B^s_{p,q}(\Omega)\hookrightarrow\mathcal{L}_1(\mathcal{D})\) for \(s\ge k+d/p\) when \(0<q\le1\), and for \(s>k+d/p\) when \(1<q\le\infty\). We approximate the Besov norm using a dyadic Littlewood--Paley decomposition \(f=\sum_j\Delta_jf\), where \(\Delta_j\) contains frequencies of order \(2^j\), and penalize \(R_{s,p,q}(f)=\left(\sum_j2^{jsq}\|\Delta_jf\|_{L^p}^q\right)^{1/q}\).
Implementation notes
Integrate the penalty at the output of a shallow ReLU^k MLP, before reduction of the task loss. Assume inputs lie in a bounded box in \(\mathbb{R}^d\). At every training step, evaluate the network on a regular grid or fixed random lattice of domain points and reshape scalar outputs into a grid. Apply an FFT, multiply by precomputed annular masks \(M_j(\xi)\) selecting frequencies near \(2^j\), and inverse FFT to obtain \(\Delta_jf\). For each band compute \(r_j=2^{js}(\operatorname{mean}_x|\Delta_jf(x)|^p+\epsilon)^{1/p}\), then set \(R=(\sum_{j=0}^{J}r_j^q)^{1/q}\) or use \(R=\max_jr_j\) for \(q=\infty\). Optimize \(\mathcal{L}_{task}+\lambda R\). Start with \(p=1\), \(q=1\), and \(s\) just above \(k+d/p\); compare with a lower-smoothness penalty and weight decay. The paper supplies the embedding threshold; grid discretization, padding, frequency masks, \(\lambda\), and the cutoff \(J\) are empirical choices. First test a width-256 shallow network on 2D regression targets made from smooth functions plus localized bumps. Compare no regularization, weight decay, and the Besov penalty at matched training FLOPs. Measure test MSE, high-frequency energy, sensitivity to input noise, and error at fixed width. Success is lower test error or perturbation sensitivity at equal training loss, with a reduced high-frequency tail rather than merely slower fitting.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.