FoundationsChecking saved investigationReading browser-local route memory before showing a continuation.

Foundation Lab

Sparse Mixture of Experts: Routing, Load Balancing & Expert Parallelism

Mixtral (8×7B) activates only 2 experts per token—"lots of total params, few active params" is the MoE bargain

Concept 22 of 100EfficiencyPhase 6
#22MoEEfficiency
key equation\mathrm{MoE}(h) = \sum_{e \in S} \tilde{p}_e \cdot f_e(h)

Selected Foundation Object

Keep the equation fixed; move through the evidence.

Concept 22 of 100MoEEfficiency / Phase 6: Modern efficiency & inference
Current question

MoE is "sparse compute, dense memory"—you compute only k experts but need all expert weights available (or sharded), trading FLOPs for memory + communication

\mathrm{MoE}(h) = \sum_{e \in S} \tilde{p}_e \cdot f_e(h)
PredictionCommit before the demo.

Ask what should change when the equation is manipulated, then let the visualization test that expectation.

EvidenceCompare local witness and source.

Use the runnable panel, the key equation, and canonical papers as separate forms of evidence for the same object.

InvariantName what survives notation changes.

The useful learning product is the reusable mechanism you can carry into another model, paper, or engineering tradeoff.

Next moveContinue in the newer notebook.

This atlas page keeps the working demo; the domain notebook carries the fuller Intuition -> Math -> Code -> Demo sequence.

Why It Matters for Modern Models

  • Mixtral (8×7B) activates only 2 experts per token—"lots of total params, few active params" is the MoE bargain
  • DeepSeek-V2: 236B total params / 21B activated per token with long context—shows MoE is co-designed with serving constraints
  • Grok-1 (314B MoE), Qwen MoE variants—MoE is a real design choice in production frontier models, not theoretical
  • MoE trades FLOPs for memory footprint + communication—routing tokens dynamically makes serving harder (token batches fragment by expert)
  • After #21 teaches serving efficiency, #22 shows how frontier labs change the model itself to keep serving economically viable at scale

What Tutorials Skip

What is still poorly explained in textbooks and papers:

  • MoE is "sparse compute, dense memory"—you compute only k experts but need all expert weights available (or sharded), trading FLOPs for memory + communication
  • The router is just a classifier trained by backprop—it learns a partition of token space, and without regularization happily collapses to a few experts
  • Load balancing is subtle: balance at wrong granularity destroys specialization (micro-batch balancing pushes toward within-sequence uniformity)
  • MoE is not an ensemble—it's conditional computation where different tokens see different subnetworks, changing training dynamics and failure modes
  • Distributed MoE ≈ all-to-all communication disguised as an MLP—tokens permute across devices twice per layer (dispatch/compute/combine)

Interactive Visualization

Core Math (Optional Deep Dive)

If you want intuition first, start with the key equation and the visualization. Come back here for the full walkthrough.

Key Equation
MoE(h)=eSp~efe(h)\mathrm{MoE}(h) = \sum_{e \in S} \tilde{p}_e \cdot f_e(h)

MoE changes the economics of inference: you can scale total parameters dramatically while keeping activated compute per token constant.

Router probabilities (per token, per layer):

Given token hidden state hRdh \in \mathbb{R}^d, a linear router produces expert probabilities:

z=Wrh,p(eh)=softmax(z)ez = W_r h, \qquad p(e \mid h) = \mathrm{softmax}(z)_e

Top-k gating (sparse activation):

Let S=TopK(p(h),k)S = \mathrm{TopK}(p(\cdot \mid h), k). Only those experts run, and outputs are mixed:

MoE(h)=eSp~efe(h),p~e=p(eh)jSp(jh)\mathrm{MoE}(h) = \sum_{e \in S} \tilde{p}_e \cdot f_e(h), \qquad \tilde{p}_e = \frac{p(e \mid h)}{\sum_{j \in S} p(j \mid h)}

Load-balancing loss (prevents expert collapse):

Uses frequency of expert selection (fif_i) and average gating score (PiP_i):

LLB=NEi=1NEfiPi\mathcal{L}_{\text{LB}} = N_E \sum_{i=1}^{N_E} f_i \cdot P_i

This regularizer prevents routers from collapsing into a small subset of experts—surprisingly easy to implement wrong in distributed training.

Canonical Papers

Mixtral of Experts

Jiang et al.2024arXiv
Read paper →

DeepSeekMoE: Towards Ultimate Expert Specialization in Mixture-of-Experts Language Models

Dai et al.2024ACL
Read paper →

DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model

DeepSeek-AI2024arXiv
Read paper →

Connections

Next Moves

Choose the next question to carry this object forward.