Reflection-Equation Expert Reset
Implementation & benchmark of arXiv:2607.18959 — Integrable multi-species SSEP with reactive particle species
Source paper: Integrable multi-species SSEP with reactive particle species arXiv:2607.18959 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a structured boundary-like operation to an MoE router that rapidly mixes expert probabilities toward a learned distribution while preserving predefined expert groups. The operation is a rank-one stochastic kernel, so it costs linear rather than quadratic work in the number of experts and can act as a controlled reset when routing becomes concentrated.
Formulas
Mathematical statement
The paper constructs boundary matrices from positive vectors whose entries sum to one. In the simplest boundary form, the matrix is \(B=(1/\lambda)(a\mathbf1^{\mathsf T}-I)\), where \(a\in\mathbb R^N_{>0}\), \(\mathbf1\in\mathbb R^N\) is the all-ones vector, \(\sum_i a_i=1\), and \(\lambda>0\) is a rate scale. With the paper's column-vector Markov convention, \(A=a\mathbf1^{\mathsf T}\) is stochastic because \(\mathbf1^{\mathsf T}a=1\), and \(Aq=a\) for every probability vector q. The associated finite step is \(q'=(1-\eta)q+\eta a\), \(0\le\eta\le1\), exactly a convex reset toward a. For grouped species, the displayed \(B^{(2)}\) has block-diagonal rank-one pieces: each block maps probability mass within a group to a fixed group-specific distribution while forbidding transitions between groups. The paper also proves compatibility with the pair interaction through the constant reflection equation \(\check r_{12}k_1\check r_{12}k_1=k_1\check r_{12}k_1\check r_{12}\).
Implementation notes
Integrate the operation immediately after the router softmax and before top-k expert selection. Partition the N experts into fixed groups \(G_1,\ldots,G_m\), for example experts serving different modalities, parameter shards, or capacity pools. For each group \(G_g\), maintain positive logits \(\theta_g\), define \(a_g=\mathrm{softmax}(\theta_g)\), and compute the group mass \(c_g=\sum_{i\in G_g}p_i\). Apply the exact block reset \(p'_i=(1-\eta)p_i+\eta c_g(a_g)_i\) for \(i\in G_g\). The unconstrained version uses one global a and becomes \(p'=(1-\eta)p+\eta a\). Set \(\eta=\mathrm{sigmoid}(h)\) or activate the reset when router entropy \(H(p)=-\sum_i p_i\log p_i\) falls below a threshold \(H_{\min}\); stop gradients through the trigger but not through a. Compute the update in O(N) time and memory, never forming the dense rank-one matrix \(a\mathbf1^{\mathsf T}\). If using the Yang–Baxter pair router, apply the reset at sequence boundaries or after each routing block as the analogue of an integrable boundary. The reflection equation is an exact compatibility check for the chosen discrete pair permutation and grouped kernel, not an estimated quantity. Start with a 6-layer, 16-expert Transformer on WikiText-103 or CIFAR-100, comparing standard routing, always-on reset, and entropy-triggered reset. Track expert-utilization variance, entropy collapse, overflowed tokens, validation loss, and wall-clock overhead. The desired signal is lower utilization variance and fewer overflow events with no accuracy loss; the method fails if it suppresses expert specialization or adds measurable latency.
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.