Unverified 2026

Subgaussian orthogonal feature basis

Implementation & benchmark of arXiv:2608.10241 — Geometry of the subgaussian body of an isotropic convex body

Usefulness5/10
Difficulty5/10
Novelty7/10

Source paper: Geometry of the subgaussian body of an isotropic convex body arXiv:2608.10241 ⓘ · analyzed Sep 1, 2026

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

Idea description

Add a learnable orthogonal rotation to a hidden representation and train it to make every channel projection have a small ψ2/L2 ratio. Unlike variance normalization, this explicitly suppresses directions with unusually heavy empirical tails while preserving the total quadratic energy of the representation.

Formulas

$$\|\langle\cdot,v\rangle\|_{\psi_{2}}\leqslant b\,\|\langle\cdot,v\rangle\|_{2},\qquad v\in S^{n-1}.$$
$$\|X\|_{\psi_{2}}=\inf\left\{t>0:\mathbb{E}\exp\!\left((X/t)^{2}\right)\leqslant 2\right\}.$$
$$\|X\|_{\psi_{2}}\approx\sup_{p\geqslant1}\frac{\|X\|_{p}}{\sqrt p},\qquad \mathbb{P}(|X|>t)\leqslant2e^{-t^{2}/\alpha^{2}}.$$
$$\mathcal{L}_{\mathrm{subG}}=\tau\log\left[\frac1d\sum_{j=1}^{d}\exp\left(\frac{\widehat r_j}{\tau}\right)\right],\quad \widehat r_j=\frac{\widehat{\|Y_{:,j}\|}_{\psi_2}}{\sqrt{B^{-1}\sum_{i=1}^{B}Y_{ij}^{2}+\epsilon}},\quad Y=Q( X-\bar X)(\widehat\Sigma+\epsilon I)^{-1/2}.$$

Mathematical statement

For a random vector X representing a minibatch feature vector and a unit direction v, the paper calls v subgaussian with constant b when ||⟨X,v⟩||ψ2 ≤ b||⟨X,v⟩||2. The Orlicz norm is ||Y||ψ2 = inf{t>0:E exp((Y/t)^2)≤2}, where Y is a scalar projection. The paper also states the equivalent moment characterization ||Y||ψ2 ≈ sup_{p≥1} ||Y||p/√p, and the tail characterization P(|Y|>t)≤2 exp(-t^2/α^2) for an appropriate constant α. In the adaptation, Xi∈R^d is a minibatch feature, Σ̂ is its covariance, W=(Σ̂+εI)^−1/2 whitens it, Q∈O(d) is a trainable orthogonal matrix, and Yi=QW(Xi−X̄). Penalize the maximum channel ratio rj=||Y:,j||̂ψ2/||Y:,j||̂2 using a smooth log-sum-exp approximation. Whitening makes the denominator approximately one, so optimization focuses on tail geometry rather than trivial scale changes.

Implementation notes

Integrate the method after a transformer MLP, attention output, or residual stream before the next linear projection. For a minibatch feature matrix X of shape B×d, maintain an exponential-moving-average covariance or use a detached minibatch covariance; compute mean-centered Z=X−mean(X), Σ̂=(ZᵀZ/B)+εI, and whiten with a symmetric inverse square root obtained by eigendecomposition. Insert a trainable orthogonal matrix Q, parameterized as a product of Householder reflections or retracted after each optimizer step by Q←qf(Q). Set Y=ZΣ̂−1/2Q. For every channel j, estimate its empirical ψ2-norm by binary-searching t so that B−1∑i exp((Yij/t)^2)≤2; clamp squared values to 25 for numerical stability. Compute the empirical L2 denominator and the smooth maximum loss shown in the formula, then add λLsubG to the task loss. Backpropagate through Q and the feature transform, but optionally stop gradients through the covariance inverse square root during the first implementation. Pseudocode: Z=X-X.mean(0); S=ema_cov(Z); A=inv_sqrt(S+eps*I); Y=Z@A@Q; for j: psi[j]=binary_search_t(mean(exp(clamp(Y[:,j]^2/t^2,max=25)))<=2); r[j]=psi[j]/sqrt(mean(Y[:,j]^2)+eps); loss=task+lambda*tau*logmeanexp(r/tau). The mathematical quantities are the Orlicz threshold and the ratio; covariance estimation, clipping, and temperature τ are engineering choices. First test on a 6-layer ViT-Tiny or small GPT-style transformer on CIFAR-100 or WikiText-2, comparing LayerNorm alone against LayerNorm plus this penalty with matched FLOPs. Measure validation loss or accuracy, gradient-norm variance, the 99.9th percentile of channel activations, and the maximum held-out ψ2/L2 ratio. Success means lower tail ratios and fewer gradient spikes without slower training or degraded accuracy; a useful target is at least 20% lower extreme activation magnitude or gradient variance at equal validation quality.

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.