Unverified 2026

Bohnenblust–Hille coefficient regularization

Implementation & benchmark of arXiv:2608.04411 — Tightness of and counterexamples to several quantum estimates

Usefulness5/10
Difficulty5/10
Novelty7/10

Source paper: Tightness of and counterexamples to several quantum estimates arXiv:2608.04411 ⓘ · analyzed Aug 31, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace ordinary coefficient decay in a degree-d polynomial neural layer with the Bohnenblust–Hille coefficient quasi-norm, whose exponent p=2d/(d+1) is dimension-independent and strictly below 2 for d>1. Combine this penalty with a sampled torus supremum penalty so the layer is constrained both in its realized function amplitude and in the coefficient geometry predicted by the inequality.

Formulas

$$z=(z_1,\dots,z_N),\quad f(z)=\sum_{\alpha}c_{\alpha}z^{\alpha}\quad\Rightarrow\quad \left(\sum_{\alpha}|c_{\alpha}|^{\frac{2d}{d+1}}\right)^{\frac{d+1}{2d}}\leq C(d)\|f\|_{L^{\infty}(\mathbb{T}^{N})}.$$
$$p=\frac{2d}{d+1},\qquad R_{\mathrm{BH}}(c)=\left(\sum_{\alpha}(|c_{\alpha}|^2+\varepsilon)^{p/2}\right)^{1/p}.$$
$$\widehat{S}_{\infty}(c)=\max_{1\leq k\leq K}\left|\sum_{\alpha}c_{\alpha}z_{k}^{\alpha}\right|,\qquad z_{k,i}=e^{\mathrm{i}\theta_{k,i}},\quad \theta_{k,i}\sim\mathrm{Unif}[0,2\pi).$$
$$\mathcal{L}_{\mathrm{total}}=\mathcal{L}_{\mathrm{task}}+\lambda_{\mathrm{BH}}R_{\mathrm{BH}}(c)^p+\lambda_{\infty}\widehat{S}_{\infty}(c)^2.$$

Mathematical statement

The paper states the Bohnenblust–Hille inequality: for f(z)=Σ_α c_α z^α on the N-dimensional torus T^N, with multi-index α=(α_1,…,α_N), |α|=Σ_i α_i, and max|α|≤d, one has (Σ_α |c_α|^{2d/(d+1)})^{(d+1)/(2d)}≤C(d)||f||_{L∞(T^N)}. Here z_i∈T={z∈C:|z_i|=1}, c_α are polynomial coefficients, d is the maximum degree, N is the number of variables, and C(d) depends on degree but not dimension. The exponent p=2d/(d+1) is stated to be unimprovable in general. For a neural polynomial layer g(x)=Σ_α c_α φ_α(x), use R_BH=(Σ_α(|c_α|^2+ε)^{p/2})^{1/p}, with p=2d/(d+1), and estimate ||f||∞ by Monte Carlo phase probes f(z)=Σ_α c_αz^α. The theorem motivates dimension-independent control of R_BH whenever the probe supremum is controlled; it does not guarantee that finitely many probes equal the true supremum.

Implementation notes

1. Integration point: implement this in a polynomial feature layer whose output is y=Σ_{|α|≤d}c_αφ_α(x), or in a tensorized MLP layer represented explicitly by coefficient tensors. Start with d=2, where p=4/3, and d=3, where p=3/2. Apply the regularizer to each output channel’s coefficient vector; do not apply it to ordinary dense layers. 2. Pseudocode: initialize coefficient tensor c; on every minibatch compute y=poly_forward(x,c) and task loss; draw K random phase vectors θ_k, set z_{k,i}=exp(iθ_{k,i}), evaluate f_k=Σ_αc_αΠ_i z_{k,i}^{α_i}; set S=max_k|f_k|; compute R=(Σ_α(|c_α|²+ε)^(p/2))^(1/p); optimize L_task+λ_BH R^p+λ_inf S². Use complex arithmetic or represent each complex coefficient and phase with two real channels. 3. The paper supplies the exponent p and the dimension-free inequality; C(d) need not be known for optimization. Estimate the torus supremum empirically with K=16–64 probes, resampling probes each step or each epoch. Track the empirical ratio R/S and increase K at evaluation time to detect probe underestimation. 4. First experiment: compare a degree-2 polynomial MLP against the same model with Frobenius, L1, and no coefficient regularization on CIFAR-10 or a synthetic parity/regression task, at fixed parameter count and dimensions N=32,128,512. Sweep λ_BH and λ_inf. Success means lower test error or better corruption stability at equal training loss, with the advantage persisting as N grows; also measure coefficient concentration, gradient spikes, and whether the empirical R/S ratio remains bounded instead of increasing with dimension.

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.