Free-volume load balancing for sparse experts
Implementation & benchmark of arXiv:2607.21379 — Free-volume origin of diverging direct correlations in hard crystals: insights from an exact one-dimensional model
Source paper: Free-volume origin of diverging direct correlations in hard crystals: insights from an exact one-dimensional model arXiv:2607.21379 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Model each expert as a cell with occupancy q_i, vacancy n_i = 1 − q_i, and a nonzero localization floor Δ_i. Add a free-volume potential whose derivative becomes strong when an expert is poorly utilized, but remains finite because of Δ_i. Unlike ordinary entropy balancing, this mechanism predicts a quantitative inverse-vacancy regime and a measurable crossover to saturation.
Formulas
Mathematical statement
The paper represents a periodic density using occupancy q = 1 − n_vac and obtains a minimum insertion free volume A_min = Δ + (1 − Δ)n_vac, where Δ is residual free volume caused by finite localization. The first and second functional derivatives scale as c^(1) proportional to log(A_min) and c^(2) proportional to −1/A_min. For a neural router, q_i is the normalized assignment fraction to expert i, n_i = 1 − q_i is its vacancy, Δ_i is a fixed or learned positive localization floor, and A_i = Δ_i + (1 − Δ_i)n_i. Use the regularizer R_FV = −τ Σ_i log(A_i), where τ is its strength. Its derivative with respect to occupancy is τ(1 − Δ_i)/A_i, so the force scales as 1/n_i when n_i is much larger than Δ_i and saturates at approximately 1/Δ_i when n_i is much smaller than Δ_i.
Implementation notes
Integrate this into a top-k mixture-of-experts router after computing softmax routing probabilities and before hard dispatch. For each batch, estimate q_i as the fraction of tokens sent to expert i, then smooth it with q_i ← (1 − γ)q_i + γ q_i_batch, where γ is an EMA coefficient. Normalize q_i so that its average equals the desired target occupancy. Set n_i = 1 − q_i and A_i = Δ_i + (1 − Δ_i)n_i. Add λ_FV R_FV to the router loss, with λ_FV and τ controlling the regularization strength. Pseudocode: logits = router(x); probabilities = softmax(logits); assignments = top_k(probabilities); q_batch = mean(assignments); q = (1 − γ)q + γ q_batch; n = 1 − q; A = Δ + (1 − Δ)n; loss = task_loss − λ_FV τ sum(log(A + ε)); backpropagate through the soft routing probabilities. The paper supplies the inverse-free-volume mechanism and asymptotic scaling; the occupancy estimator, Δ, and λ_FV must be selected empirically. First test a 16-expert top-1 MoE MLP on CIFAR-100 or WikiText-103 against no balancing and the standard Switch load-balancing loss. Sweep Δ from 0.001 to 0.1 and measure router-gradient magnitude versus n_i. The prediction is that gradient magnitude scales as 1/n_i for n_i much larger than Δ, then plateaus near 1/Δ for n_i much smaller than Δ. The crossover should occur near n_i = Δ/(1 − Δ), within approximately 20 percent.
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.