Unverified 2026

Semicircle-Calibrated Additive Initialization

Implementation & benchmark of arXiv:2608.05866 — The Berry--Esseen Estimate in the Free Central Limit Theorem

Usefulness4/10
Difficulty5/10
Novelty7/10

Source paper: The Berry--Esseen Estimate in the Free Central Limit Theorem arXiv:2608.05866 ⓘ · analyzed Aug 31, 2026

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

Idea description

Calibrate the scales of several additive self-adjoint residual or attention operators so their aggregate spectrum has a controlled higher-moment Berry–Esseen certificate. Penalize unusually large normalized (2+δ)-moments, which should reduce spectral outliers and make the summed operator closer to a predictable semicircle-shaped spectrum.

Formulas

$$\beta_r(\mu):=\int_{\mathbb{R}}|x|^r\,\mu(dx),\qquad B_n^2:=\sum_{j=1}^n\sigma_j^2,\qquad \sigma_j^2:=\int_{\mathbb{R}}x^2\,\mu_j(dx).$$
$$\mu^{(n)}:=D_{B_n^{-1}}\mu_1\boxplus\cdots\boxplus D_{B_n^{-1}}\mu_n.$$
$$\Delta(\mu^{(n)},\omega)\leq \frac{C}{B_n^{2+\delta}}\sum_{j=1}^n\int_{\mathbb{R}}|x|^{2+\delta}\,\mu_j(dx),\qquad 0<\delta\leq 1.$$
$$\widehat{\varepsilon}(A_1,\ldots,A_n):=\frac{C}{B^{2+\delta}}\sum_{j=1}^n m_j,\qquad B^2:=\sum_{j=1}^n s_j^2,\quad s_j^2:=\frac{1}{d}\operatorname{tr}(A_j^2),\quad m_j:=\frac{1}{d}\operatorname{tr}|A_j|^{2+\delta}.$$

Mathematical statement

For centered probability measures μ_j, the paper defines σ_j^2=∫x^2 μ_j(dx), β_r(μ)=∫|x|^r μ(dx), and B_n^2=Σ_jσ_j^2. After scaling each summand by B_n^{-1}, the normalized free sum is μ^(n)=D_{B_n^{-1}}μ_1⊞⋯⊞D_{B_n^{-1}}μ_n, where D_cμ is push-forward under x↦cx. The paper proves that for 0<δ≤1 its Kolmogorov distance from the variance-one semicircle law ω(dx)=(2π)^{-1}√(4−x^2)1_{[-2,2]}(x)dx satisfies Δ(μ^(n),ω)≤C B_n^{-(2+δ)}Σ_jβ_{2+δ}(μ_j), where Δ(μ,ν)=sup_x|F_μ(x)−F_ν(x)| and C is an absolute constant. Adapt this to centered symmetric matrices A_j by estimating s_j^2=d^{-1}tr(A_j^2) and m_j=d^{-1}tr|A_j|^{2+δ}; then use ε_hat=C B^{-(2+δ)}Σ_jm_j with B^2=Σ_js_j^2 as a scale-selection score or regularizer. The free-independence assumption is only approximate in neural networks and must be tested empirically.

Implementation notes

(1) Integration point: use an additive block containing n square operators, such as a residual ensemble y=x+Σ_jA_jx, a multi-branch linear-attention block, or a symmetric proxy formed from each branch Jacobian. Parameterize each operator as A_j=(M_j+M_j^T)/√2 when a self-adjoint matrix is required. Apply scale calibration at initialization and optionally add the moment penalty during training. (2) Pseudocode: initialize raw matrices M_j; form A_j=(M_j+M_j^T)/√2; estimate s_j^2=d^{-1}tr(A_j^2) and m_j=d^{-1}tr|A_j|^{2+δ}; compute B=(Σ_js_j^2)^{1/2} and ε_hat=C B^{-(2+δ)}Σ_jm_j; rescale every branch by α=B_target/(B+10^{-8}), or preserve total variance while reducing branches with the largest m_j/s_j^{2+δ}. During training add λ ε_hat to the loss, optionally stopping gradients through B. (3) For small d, compute eigenvalues exactly and evaluate tr|A_j|^{2+δ}; for large d, use Hutchinson probes and Lanczos quadrature. The paper supplies the moment ratio and its decay with aggregate variance; treat C as an unknown ranking constant and set C=1 for tuning. Every few hundred steps compute S=B^{-1}Σ_jA_j, its empirical CDF, and the diagnostic Δ_hat=sup_x|F_hat_S(x)−F_ω(x)|. (4) First experiment: train a width-256, eight-branch residual MLP and a small transformer on CIFAR-10 or WikiText-2, comparing Xavier/scaled-residual initialization against this calibration, with and without the penalty. Record early loss descent, gradient-norm variance, maximum singular value, Δ_hat, and final accuracy or perplexity. Success means fewer unstable runs and lower early gradient variance at identical FLOPs; reject the method if reducing ε_hat does not correlate with better stability.

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.