Polynomial anti-collapse regularizer
Implementation & benchmark of arXiv:2608.01516 — Nondegeneracy and regularity of polynomial pushforwards
Source paper: Nondegeneracy and regularity of polynomial pushforwards arXiv:2608.01516 ⓘ · analyzed Aug 31, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Apply a low-degree polynomial feature lift to normalized hidden representations and penalize degeneracy of the covariance in that lifted space. This can detect collapse in nonlinear combinations of features even when the raw hidden covariance appears healthy.
Formulas
Mathematical statement
For a log-concave probability measure μ on R^n and a degree-d polynomial map f:R^n→R^k, the paper proves μ(f∈A)≤C[λ_k(A)]^α for every Borel set A, where λ_k is k-dimensional Lebesgue measure and α=1/[k(d−1)+1], assuming the pushforward μ∘f^{-1} is absolutely continuous. The associated concentration function is L(μ∘f^{-1},t)=sup_y μ(|f−y|≤t). The paper identifies nondegeneracy through the covariance of monomials up to degree r=d^(k−1) in normalized components of f. For a hidden vector h∈R^k, define z_j=(h_j−m_j)/(s_j+ε), where m_j and s_j are batch mean and standard deviation. Let φ_r(z)=(z^β) for multi-indices β∈N^k with |β|≤r, and let Σ_φ=E[(φ_r(z)−Eφ_r(z))(φ_r(z)−Eφ_r(z))^T]. We use −log det(Σ_φ+λI) as a differentiable surrogate for avoiding singular polynomial covariance; λ>0 is a numerical ridge. The theorem motivates anti-concentration but does not directly prove a neural-network generalization guarantee.
Implementation notes
1. Integration point: attach the regularizer to an intermediate hidden tensor h with shape [batch, tokens, hidden_dim], such as the output of a Transformer MLP or the penultimate layer of an MLP classifier. Flatten batch and tokens, then randomly project h to k=8 coordinates so the polynomial feature dimension remains manageable. 2. Pseudocode: h = block(x); q = random_projection(h, hidden_dim, k); m = mean(q, axis=0).detach(); s = std(q, axis=0).detach(); z = (q-m)/(s+eps); phi = concat([ones, z, upper_triangle_products(z)]); c = phi-mean(phi,axis=0); S = transpose(c)@c/N; poly_loss = -slogdet(S+ridge*I); loss = task_loss + lambda_poly*poly_loss. Here the degree is d=2 and the lift contains all degree-0, degree-1, and degree-2 monomials, corresponding to a practical truncation of φ_r. 3. Compute the empirical covariance exactly as above; estimate the paper-inspired small-ball statistic separately by evaluating the maximum fraction of representations within radius t of a minibatch center. Treat the projection, ridge, regularizer weight, and truncation as empirical choices. Stop gradients through m and s initially, and use a small ridge such as 1e-4. 4. First experiment: train a 6-layer MLP and a small ViT on CIFAR-10, comparing standard LayerNorm, raw covariance log-determinant regularization, and the polynomial version at matched parameter count and FLOPs. Record validation accuracy, corruption accuracy, training-loss variance, smallest eigenvalue and log-determinant of S, and empirical small-ball values over several radii. Success is improved validation or corruption accuracy with fewer collapsed runs and no significant throughput loss.
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.