Vandermonde Expert Separation
Implementation & benchmark of arXiv:2607.01889 — Reduced characteristic number criteria for equivariant bordism of $T^k$- and $(\mathbb{Z}_2)^k$-manifolds with isolated fixed points
Source paper: Reduced characteristic number criteria for equivariant bordism of $T^k$- and $(\mathbb{Z}_2)^k$-manifolds with isolated fixed points arXiv:2607.01889 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a Vandermonde conditioning objective to a mixture-of-experts router so that experts acquire distinct scalar routing signatures instead of collapsing onto the same score region. The regularizer uses powers of one learned scalar score and directly penalizes near-coincident expert scores, providing a finite-mode identifiability signal complementary to load balancing.
Formulas
Mathematical statement
The paper's proof uses a system whose rows are powers of the fixed-point scores: for m fixed points with scalar scores g_i = g(\lambda_{p_i,1},\ldots,\lambda_{p_i,n}), the matrix has entries g_i^l for l=0,\ldots,m-1, and coefficients c_i=\varepsilon_{[p_i]}/\sigma_n(\lambda_{p_i,1},\ldots,\lambda_{p_i,n}). The matrix is Vandermonde, with determinant \det V=\prod_{1\le i<j\le m}(g_j-g_i), so distinct scores imply linear independence of all power moments. Here, E is the number of experts, s_e is a scalar score assigned to expert e, V_{\ell e}=s_e^\ell for \ell=0,\ldots,E-1, and G=VV^ op+\eta I is a numerically stabilized Gram matrix. We maximize \log\det G, or equivalently maximize the log Vandermonde separation when E scores are one-dimensional. The determinant vanishes exactly when two expert scores coincide and becomes poorly conditioned when they are close.
Implementation notes
Integrate the regularizer into the router of a top-1 or top-2 MoE Transformer. For each training batch, let r_b in R^d be the router input and let a_{be} be the pre-softmax router logit for expert e. Define the expert score s_e as the batch mean logit, s_e=B^{-1}\sum_b a_{be}; alternatively use a learned scalar score s_e=u^ op c_e, where c_e is an expert embedding or the mean hidden state of tokens routed to expert e. Standardize scores with z_e=(s_e-mean(s))/(std(s)+epsilon). Build V with V_{\ell e}=z_e^\ell for \ell=0,...,E-1. Compute the stabilized Gram matrix G=VV^ op+eta I and add -lambda_Vand*logdet(G) to the task loss. Use float32 for this calculation under mixed precision. Pseudocode: compute router logits a; compute ordinary routing probabilities and dispatch; compute s=mean(a, dim=batch); compute z=(s-mean(s))/(std(s)+eps); construct V=[z**ell for ell in range(E)]; set R=-slogdet(V@V.T+eta*I); set loss=task_loss+lambda_Vand*R+lambda_load*load_loss; backpropagate. The paper supplies the power-moment/Vandermonde construction and determinant criterion; score definitions, eta, and lambda are engineering choices. For E>16, use powers ell=0,...,q with q=4 to 8 rather than a full high-degree matrix. Start with a 12-layer, 8-expert Transformer on WikiText-103 or C4, preserving the baseline capacity factor, optimizer, and standard load-balancing loss. Measure validation perplexity, expert utilization entropy, dead-expert fraction, routing variance, and gradient norms at equal FLOPs. Success is fewer collapsed experts and lower perplexity at fixed active parameters; failure is no improvement over load balancing, increased routing oscillation, or exploding score magnitudes.
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.