Unverified 2026

Dirichlet Replica-Overlap Routing

Implementation & benchmark of arXiv:2607.20279 — Random walks in Dirichlet random environment in dimension $d+1$

Usefulness6/10
Difficulty5/10
Novelty7/10

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

$$p_x\sim\operatorname{Dirichlet}(\alpha,\ldots,\alpha),\qquad \mathbb E[p_{x,i}]=\frac{1}{K},\qquad \mathbb E[p_{x,i}^2]=\frac{\alpha+1}{K(K\alpha+1)}.$$
$$\mathbb E[p_{x,i}p_{x,j}]=\frac{\alpha}{K(K\alpha+1)}\quad(i\neq j),\qquad \chi(\alpha,K)=\frac{\mathbb E[p_{x,i}^2]}{\mathbb E[p_{x,i}]^2}=\frac{K(\alpha+1)}{K\alpha+1}.$$
$$L_T=\sum_{t=1}^{T}\mathbf 1\{e_t^{(1)}=e_t^{(2)}\},\qquad \mathcal L_{\mathrm{rep}}=\lambda\left(\frac{L_T}{T}-\rho\right)^2.$$
$$\widehat{\operatorname{Var}}(y)=\frac{1}{B}\sum_{b=1}^{B}\left\|y_b-\bar y\right\|_2^2,\qquad \bar y=\frac{1}{B}\sum_{b=1}^{B}y_b.$$

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.