Bohnenblust–Hille coefficient regularization
Implementation & benchmark of arXiv:2608.04411 — Tightness of and counterexamples to several quantum estimates
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
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.