Lorentzian coefficient router
Implementation & benchmark of arXiv:2608.10516 — Richardson volume models for skew Schur and skew Schur $P/Q$-functions
Source paper: Richardson volume models for skew Schur and skew Schur $P/Q$-functions arXiv:2608.10516 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent a small expert router or attention interaction by a homogeneous polynomial with nonnegative coefficients, then penalize violations of the Lorentzian Hessian signature on degree-two derivative slices. Initialize or warm-start the coefficient tensor from a normalized skew-Schur coefficient array, which the paper identifies as a realizable volume polynomial and therefore a structurally valid Lorentzian point.
Formulas
Mathematical statement
For a polynomial F(x)=\sum_{\alpha}c_{\alpha}x^{\alpha}, with multi-index \alpha=(\alpha_1,\ldots,\alpha_K), x^{\alpha}=\prod_i x_i^{\alpha_i}, and \alpha!=\prod_i\alpha_i!, the paper defines the normalized polynomial \mathcal{N}(F)=\sum_{\alpha}c_{\alpha}x^{\alpha}/\alpha!. For a skew shape \lambda/\mu, s_{\lambda/\mu}(x_1,\ldots,x_K)=\sum_T x^{\operatorname{cont}(T)}, where T ranges over semistandard tableaux and \operatorname{cont}(T) records the number of entries of each value. The paper states that \mathcal{N}(s_{\lambda/\mu}), and analogously normalized skew P/Q-functions, are realizable volume polynomials and hence Lorentzian. The implementable Lorentzian condition for a homogeneous degree-d polynomial is that, for every multi-index \beta with |\beta|=d-2, the Hessian H_\beta(x)=
abla^2(\partial^\beta F)(x), evaluated at a positive point x, has at most one positive eigenvalue. Equivalently, if eigenvalues are sorted in descending order, \lambda_2(H_\beta(x))\le 0. Here \partial^\beta=\prod_i\partial_{x_i}^{\beta_i}, d is the polynomial degree, and K is the number of routing variables.
Implementation notes
Integrate this into a small MoE router or attention block rather than a full Transformer. Let K be 4–8 experts or channels and choose polynomial degree d=3 or 4. Store unconstrained parameters u_alpha for every multi-index with |alpha|=d, and set c_alpha=softplus(u_alpha) so coefficients remain nonnegative. For each token representation h, produce positive variables x=softplus(W h+b)+epsilon. Evaluate monomials z_alpha=c_alpha x^alpha/alpha!, then map z to K expert logits with a learned matrix or use grouped monomial scores directly; apply softmax for routing. During training, sample a small subset B of multi-indices beta satisfying |beta|=d-2. Differentiate F analytically or with automatic differentiation, form H_beta at xi=ones(K) or at the normalized batch-average x, compute its eigenvalues, and add R_Lor to the task loss. The paper-derived elements are factorial normalization, tableau-based coefficients, and the one-positive-eigenvalue target; Hessians and eigenvalues are estimated numerically. For initialization, enumerate semistandard tableaux for a tiny shape such as lambda/mu=(3,2)/(1), accumulate coefficients by content, normalize by alpha!, and initialize u_alpha with softplus_inverse(c_alpha+epsilon). First compare a 4-expert polynomial router with a standard softmax router on CIFAR-100 or a small Switch-MLP language model, matching parameter count and FLOPs. Track task loss, validation accuracy or perplexity, expert-load entropy, routing-collapse rate, gradient variance, and the fraction of sampled Hessian slices with a second positive eigenvalue. Success means smoother loss curves, fewer dead or overloaded experts, and equal-or-better accuracy at equal compute.
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.