Dirichlet Replica-Overlap Routing
Implementation & benchmark of arXiv:2607.20279 — Random walks in Dirichlet random environment in dimension $d+1$
Source paper: Random walks in Dirichlet random environment in dimension $d+1$ arXiv:2607.20279 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace deterministic or softmax-only mixture-of-experts routing with a Dirichlet-distributed routing vector and train two independently sampled routing replicas for each token. Penalize excessive replica collision, or adapt the Dirichlet concentration so that routing diversity remains in a prescribed regime. The mechanism comes from the random-environment result that the second moment of a path probability is controlled by the collision local time of two independent replicas.
Formulas
Mathematical statement
Let a router produce positive concentration parameters \(a_{x,1},\ldots,a_{x,K}\) for \(K\) experts at token or state \(x\), with \(A_x=\sum_{i=1}^K a_{x,i}\). Sample routing probabilities \(p_x\sim\operatorname{Dirichlet}(a_{x,1},\ldots,a_{x,K})\). For the symmetric case \(a_{x,i}=\alpha\), the exact Dirichlet moments are \(\mathbb E[p_{x,i}]=1/K\), \(\mathbb E[p_{x,i}^2]=\alpha(\alpha+1)/(K\alpha(K\alpha+1))\), and \(\mathbb E[p_{x,i}p_{x,j}]=\alpha^2/(K\alpha(K\alpha+1))\) for \(i\neq j\). Thus same-expert routing in two replicas is enhanced over independent routing by \(\chi(\alpha,K)=\mathbb E[p_i^2]/\mathbb E[p_i]^2=K(\alpha+1)/(K\alpha+1)\), which decreases from \(K\) as \(\alpha\to0\) to \(1\) as \(\alpha\to\infty\). For a sequence of routing decisions, the second moment of a path weight is a sum over pairs of paths weighted by this local collision factor; the analogue of the paper's collision local time is \(L_T=\sum_{t=1}^T\mathbf 1\{e_t^{(1)}=e_t^{(2)}\}\), where \(e_t^{(r)}\) is the expert selected by replica \(r\). The regularizer controls the empirical susceptibility and the variance of replica outputs.
Implementation notes
Integrate this at the router of a small sparse MoE transformer or an MLP-MoE classifier. The router computes logits \(h(x)\in\mathbb R^K\), converts them to concentrations \(a_i=\alpha K\operatorname{softmax}(h)_i+\epsilon\), and samples two Dirichlet vectors using independent Gamma variables followed by normalization. Use the sampled vectors as soft routing weights, or select top-1 experts independently from them. For each minibatch, record the expert indices \(e_t^{(1)},e_t^{(2)}\) for the same tokens, compute \(L_T/T\), and add \(\lambda(L_T/T-\rho)^2\) to the task loss. A cheaper differentiable version uses the analytic collision statistic \(\sum_i p_i^2\) instead of sampled indices. Pseudocode is: compute router logits; form concentrations; sample two routing vectors; dispatch both replicas; average their outputs; compute task loss; compute collision loss; backpropagate the sum; optionally update \(\alpha\) with a slow controller. The paper supplies the Dirichlet moment identities and the interpretation of second moments through replica collisions; the implementation estimates finite-batch collision local time, output variance, and gradient variance empirically. First test a 4-expert, 2-layer MLP-MoE on CIFAR-10 or synthetic Gaussian classification, comparing ordinary softmax routing with fixed \(\alpha\in\{0.1,1,10,100\}\) and adaptive overlap control. The quantitative prediction is that the isolated-router coincidence ratio should match \(\chi(\alpha,K)=K(\alpha+1)/(K\alpha+1)\) within about 10 percent for large batches. As \(\alpha\) decreases, routing and replica-output variance should increase monotonically. Sweep routing depth and sequence length to test whether output variance is better predicted by cumulative collision local time than by raw depth; instability should occur near a reproducible threshold in collision rate or gradient variance.
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.