Mixture of experts explained

Mixture of experts (MoE) is a machine learning technique where multiple expert networks (learners) are used to divide a problem space into homogeneous regions.[1] It differs from ensemble techniques in that for MoE, typically only one or a few expert models are run for each input, whereas in ensemble techniques, all models are run on every input.

Basic theory

In mixture of experts, we always have the following ingredients, but they are constructed and combined differently.

f1,...,fn

, each taking in the same input

x

, and produces outputs

f1(x),...,fn(x)

.

w

, which takes in

x

and produces a vector of outputs

(w(x)1,...,w(x)n)

.

\theta=(\theta0,\theta1,...,\thetan)

is the set of parameters. The parameter

\theta0

is for the weighting function.

x

, the mixture of experts produces a single combined output by combining

f1(x),...,fn(x)

according to the weights

w(x)1,...,w(x)n

in some way.Both the experts and the weighting function are trained by minimizing some form of loss function, generally by gradient descent. There is a lot of freedom in choosing the precise form of experts, the weighting function, and the loss function.

Meta-pi network

The meta-pi network, reported by Hampshire and Waibel,[2] uses

f(x)=\sumiw(x)ifi(x)

as the output. The model is trained by performing gradient descent on the mean-squared error loss

L:=

1N
\sum

k\|yk-

2
f(x
k)\|
. The experts may be arbitrary functions.

In their original publication, they were solving the problem of classifying phonemes in speech signal from 6 different Japanese speakers, 2 females and 4 males. They trained 6 experts, each being a "time-delayed neural network"[3] (essentially a multilayered convolution network over the mel spectrogram). They found that the resulting mixture of experts dedicated 5 experts for 5 of the speakers, but the 6th (male) speaker does not have a dedicated expert, instead his voice was classified by a linear combination of the experts for the other 3 male speakers.

Adaptive mixtures of local experts

The adaptive mixtures of local experts [4] [5] uses a gaussian mixture model. Each expert simply predicts a gaussian distribution, and totally ignores the input. Specifically, the

i

-th expert predicts that the output is

y\simN(\mui,I)

, where

\mui

is a learnable parameter. The weighting function is a linear-softmax function:w(x)_i = \fracThe mixture of experts predict that the output is distributed according to the probability density function:f_\theta(y|x) = \ln\left[\sum_i \frac{e^{k_i^T x + b_i}}{\sum_j e^{k_j^T x + b_j}} N(y | \mu_i, I)\right] = \ln\left[(2\pi)^{-d/2} \sum_i \frac{e^{k_i^T x + b_i}}{\sum_j e^{k_j^T x + b_j}} e^{-\frac 12 \|y-\mu_i\|^2}\right]It is trained by maximal likelihood estimation, that is, gradient ascent on

f(y|x)

. The gradient for the

i

-th expert is

\nabla_ f_\theta(y|x) = \frac\; (y-\mu_i)

and the gradient for the weighting function is\nabla_ f_\theta(y|x) = \beginx\\ 1\end \frac (f_(x)- f_\theta(y|x))

For each input-output pair

(x,y)

, the weighting function is changed to increase the weight on all experts that performed above average, and decrease the weight on all experts that performed below average. This encourages the weighting function to learn to select only the experts that make the right predictions for each input.

The

i

-th expert is changed to make its prediction closer to

y

, but the amount of change is proportional to

w(x)iN(y|\mui,I)

. This has a Bayesian interpretation. Given input

x

, the prior probability that expert

i

is the right one is

w(x)i

, and

N(y|\mui,I)

is the likelihood of evidence

y

. So,
w(x)iN(y|\mui,I)
\sumjw(x)jN(y|\muj,I)
is the posterior probability for expert

i

, and so the rate of change for the

i

-th expert is proportional to its posterior probability.

In words, the experts that, in hindsight, seemed like the good experts to consult, are asked to learn on the example. The experts that, in hindsight, were not, are left alone.

The combined effect is that the experts become specialized: Suppose two experts are both good at predicting a certain kind of input, but one is slightly better, then the weighting function would eventually learn to favor the better one. After that happens, the lesser expert is unable to obtain a high gradient signal, and becomes even worse at predicting such kind of input. Conversely, the lesser expert can become better at predicting other kinds of input, and increasingly pulled away into another region. This has a positive feedback effect, causing each expert to move apart from the rest and take care of a local region alone (thus the name "local experts").

Hierarchical MoE

Hierarchical mixtures of experts[6] uses multiple levels of gating in a tree. Each gating is a probability distribution over the next level of gatings, and the experts are on the leaf nodes of the tree. They are similar to decision trees.

For example, a 2-level hierarchical MoE would have a first order gating function

wi

, and second order gating functions

wj|i

and experts

fj|i

. The total prediction is then

\sumiwi(x)\sumjwj|i(x)fj|i(x)

.

Variants

The mixture of experts, being similar to the gaussian mixture model, can also be trained by the expectation-maximization algorithm, just like gaussian mixture models. Specifically, during the expectation step, the "burden" for explaining each data point is assigned over the experts, and during the maximization step, the experts are trained to improve the explanations they got a high burden for, while the gate is trained to improve its burden assignment. This can converge faster than gradient ascent on the log-likelihood.[7]

The choice of gating function is often a softmax gating. Other than that, [8] proposed using gaussian distributions, and proposed using exponential families.

Instead of performing a weighted sum of all the experts, in hard MoE [9] only the highest ranked expert is chosen. That is,

f(x)=

f
\argmaxiwi(x)

(x)

. This can accelerate training and inference time.[10]

The experts can use more general forms of multivariant gaussian distributions. For example, [11] proposed

fi(y|x)=N(y|Aix+bi,\Sigmai)

, where

Ai,bi,\Sigmai

are learnable parameters. In words, each expert learns to do linear regression, with a learnable uncertainty estimate.

One can use different experts than gaussian distributions. For example, one can use Laplace distribution,[12] or Student's t-distribution.[13] For binary classification, it also proposed logistic regression experts, withf_i(y|x) = \begin\frac, & y = 0 \\1-\frac, & y= 1\end where

\betai,\betai,

are learnable parameters. This is later generalized for multi-class classification, with multinomial logistic regression experts.[14]

Deep learning

The previous section described MoE as it was used before the era of deep learning. After deep learning, MoE found applications in running the largest models, as a simple way to perform conditional computation: only parts of the model are used, the parts chosen according to what the input is.[15]

The earliest paper that applies MoE to deep learning is "Learning Factored Representations in a Deep Mixture of Experts" (Eigen, Ranzato, Sutskever) [16] which proposes to use a different gating network at each layer in a deep neural network. Specifically, each gating is a linear-ReLU-linear-softmax network, and each expert is a linear-ReLU network.

The key design desideratum for MoE in deep learning is to reduce computing cost. Consequently, for each query, only a small subset of the experts should be queried. This makes MoE in deep learning different from classical MoE. In classical MoE, the output for each query is a weighted sum of all experts' outputs. In deep learning MoE, the output for each query can only involve a few experts' outputs. Consequently, the key design choice in MoE becomes routing: given a batch of queries, how to route the queries to the best experts.

Sparsely-gated MoE layer

f1,...,fn

, and a gating network

w

. The gating network is defined by

w(x)=softmax(topk(Wx+noise))

, where

topk

is a function that keeps the top-k entries of a vector the same, but sets all other entries to

-infty

. The addition of noise helps with load balancing.

The choice of

k

is a hyperparameter that is chosen according to application. Typical values are

k=1,2

. The

k=1

version is also called the Switch Transformer.

As demonstration, they trained a series of models for machine translation with alternating layers of MoE and LSTM, and compared with deep LSTM models.[18] Table 3 shows that the MoE models used less inference time compute, despite having 30x more parameters.

Vanilla MoE tend to have issues of load balancing: some experts are consulted often, while other experts rarely or not at all. To encourage the gate to select each expert with equal frequency (proper load balancing) within each batch, each MoE layer has two auxiliary loss functions. This is improved by [19] into a single auxiliary loss function. Specifically, let

n

be the number of experts, then for a given batch of queries

\{x1,x2,...,xT\}

, the auxiliary loss for the batch isn\sum_^n f_i P_iHere,

fi=

1T
\#(queriessenttoexperti)
is the fraction of time where expert

i

is ranked highest, and

Pi=

1T
\sum
T
j=1

wi(xj)

is the fraction of weight on expert

i

. This loss is minimized at

1

, precisely when every expert has equal weight

1/n

in all situations.

Routing

In sparsely-gated MoE, only the top-k experts are queried, and their outputs are weighted-summed. There are other methods.[20]

In Hash MoE,[21] routing is performed deterministically by a hash function, fixed before learning begins. For example, if the model is a 4-layered Transformer, and input is a token for word "eat", and the hash of "eat" is

(1,4,2,3)

, then the token would be routed to the 1st expert in layer 1, 4th expert in layer 2, etc. Despite its simplicity, it achieves competitive performance as sparsely gated MoE with

k=1

.

In soft MoE, suppose in each batch, each expert can process

p

queries, then there are

n x p

queries that can be assigned per batch. Now for each batch of queries

\{x1,x2,...,xT\}

, the soft MoE layer computes an array

wi,

, such that

(wi,,...,wi,)

is a probability distribution over queries, and the

i

-th expert's

j

-th query is

\sumkwi,j,kxk

.[22] However, this does not work with autoregressive modelling, since the weights

wi,

over one token depends on all other tokens'.

Other approaches include solving it as a constrained linear programming problem,[23] making each expert choose the top-k queries it wants (instead of each query choosing the top-k experts for it),[24] using reinforcement learning to train the routing algorithm (since picking an expert is a discrete action, like in RL).[25]

Capacity factor

Suppose there are

n

experts in a layer. For a given batch of queries

\{x1,x2,...,xT\}

, each query is routed to one or more experts. For example, if each query is routed to one expert as in Switch Transformers, and if the experts are load-balanced, then each expert should expect on average

T/n

queries in a batch. In practice, the experts cannot expect perfect load balancing: in some batches, one expert might be underworked, while in other batches, it would be overworked.

Since the inputs cannot move through the layer until every expert in the layer has finished the queries it is assigned, load balancing is important. As a hard constraint on load balancing, there is the capacity factor: each expert is only allowed to process up to

cT/n

queries in a batch. found

c\in[1.25,2]

to work in practice.

Applications to transformer models

MoE layers are used in the largest transformer models, for which learning and inferring over the full model is too costly. They are typically sparsely-gated, with sparsity 1 or 2. In Transformer models, the MoE layers are often used to select the feedforward layers (typically a linear-ReLU-linear network), appearing in each Transformer block after the multiheaded attention. This is because the feedforward layers take up an increasing portion of the computing cost as models grow larger. For example, in the Palm-540B model, 90% of parameters are in its feedforward layers.[26]

A trained Transformer can be converted to a MoE by duplicating its feedforward layers, with randomly initialized gating, then trained further. This is a technique called "sparse upcycling".

, models large enough to use MoE tend to be large language models, where each expert has on the order of 10 billion parameters. Other than language models, Vision MoE[27] is a Transformer model with MoE layers. They demonstrated it by training a model with 15 billion parameters. MoE Transformer has also been applied for diffusion models.

A series of large language models from Google used MoE. GShard[28] uses MoE with up to top-2 experts per layer. Specifically, the top-1 expert is always selected, and the top-2th expert is selected with probability proportional to that experts' weight according to the gating function. Later, GLaM[29] demonstrated a language model with 1.2 trillion parameters, each MoE layer using top-2 out of 64 experts. Switch Transformers use top-1 in all MoE layers.

The NLLB-200 by Meta AI is a machine translation model for 200 languages.[30] Each MoE layer uses a hierarchical MoE with two levels. On the first level, the gating function chooses to use either a "shared" feedforward layer, or to use the experts. If using the experts, then another gating function computes the weights and chooses the top-2 experts.[31]

MoE large language models can be adapted for downstream tasks by instruction tuning.[32]

In December 2023, Mistral AI released Mixtral 8x7B under Apache 2.0 license. It is a MoE language model with 46.7B parameters, 8 experts, and sparsity 2. They also released a version finetuned for instruction following.[33]

In March 2024, Databricks released DBRX. It is a MoE language model with 132B parameters, 16 experts, and sparsity 4. They also released a version finetuned for instruction following.[34] [35]

Further reading

See also

Notes and References

  1. 10.1016/j.ymssp.2015.05.009. Variational Bayesian mixture of experts models and sensitivity analysis for nonlinear dynamical systems. Mechanical Systems and Signal Processing . 66–67. 178–200. 2016. Baldacchino. Tara. Cross. Elizabeth J.. Worden. Keith. Rowson. Jennifer. 2016MSSP...66..178B.
  2. Hampshire . J.B. . Waibel . A. . July 1992 . The Meta-Pi network: building distributed knowledge representations for robust multisource pattern recognition . IEEE Transactions on Pattern Analysis and Machine Intelligence . 14 . 7 . 751–769 . 10.1109/34.142911.
  3. Book: Alexander Waibel, Toshiyuki Hanazawa, Geoffrey Hinton, Kiyohiro Shikano, Kevin J. Lang . Yves . David E. . Chauvin . Rumelhart . Phoneme Recognition Using Time-Delay Neural Networks* . 1995 . https://www.taylorfrancis.com/chapters/edit/10.4324/9780203763247-2/phoneme-recognition-using-time-delay-neural-networks-alexander-waibel-toshiyuki-hanazawa-geoffrey-hinton-kiyohiro-shikano-kevin-lang . Backpropagation . Psychology Press . 10.4324/9780203763247 . 978-0-203-76324-7.
  4. Nowlan . Steven . Hinton . Geoffrey E . 1990 . Evaluation of Adaptive Mixtures of Competing Experts . Advances in Neural Information Processing Systems . Morgan-Kaufmann . 3.
  5. Jacobs . Robert A. . Jordan . Michael I. . Nowlan . Steven J. . Hinton . Geoffrey E. . February 1991 . Adaptive Mixtures of Local Experts . Neural Computation . en . 3 . 1 . 79–87 . 10.1162/neco.1991.3.1.79 . 31141872 . 572361 . 0899-7667.
  6. Jordan . Michael I. . Jacobs . Robert A. . March 1994 . Hierarchical Mixtures of Experts and the EM Algorithm . Neural Computation . en . 6 . 2 . 181–214 . 10.1162/neco.1994.6.2.181 . 0899-7667. 1721.1/7206 . free .
  7. Jordan . Michael I. . Xu . Lei . 1995-01-01 . Convergence results for the EM approach to mixtures of experts architectures . Neural Networks . 8 . 9 . 1409–1431 . 10.1016/0893-6080(95)00014-3 . 0893-6080 . 1721.1/6620. free .
  8. Xu . Lei . Jordan . Michael . Hinton . Geoffrey E . 1994 . An Alternative Model for Mixtures of Experts . Advances in Neural Information Processing Systems . MIT Press . 7.
  9. Collobert . Ronan . Bengio . Samy . Bengio . Yoshua . 2001 . A Parallel Mixture of SVMs for Very Large Scale Problems . Advances in Neural Information Processing Systems . MIT Press . 14.
  10. Book: Goodfellow . Ian . Deep learning . Bengio . Yoshua . Courville . Aaron . 2016 . The MIT press . 978-0-262-03561-3 . Adaptive computation and machine learning . Cambridge, Mass . 12: Applications.
  11. Jordan . Michael . Jacobs . Robert . 1991 . Hierarchies of adaptive experts . Advances in Neural Information Processing Systems . Morgan-Kaufmann . 4.
  12. Nguyen . Hien D. . McLachlan . Geoffrey J. . 2016-01-01 . Laplace mixture of linear experts . Computational Statistics & Data Analysis . 93 . 177–191 . 10.1016/j.csda.2014.10.016 . 0167-9473.
  13. Chamroukhi . F. . 2016-07-01 . Robust mixture of experts modeling using the t distribution . Neural Networks . 79 . 20–36 . 1701.07429 . 10.1016/j.neunet.2016.03.002 . 0893-6080 . 27093693 . 3171144.
  14. Chen . K. . Xu . L. . Chi . H. . 1999-11-01 . Improved learning algorithms for mixture of experts in multiclass classification . Neural Networks . 12 . 9 . 1229–1252 . 10.1016/S0893-6080(99)00043-X . 12662629 . 0893-6080.
  15. Bengio . Yoshua . Léonard . Nicholas . Courville . Aaron . 2013 . Estimating or Propagating Gradients Through Stochastic Neurons for Conditional Computation . cs.LG . 1308.3432 .
  16. Eigen . David . Ranzato . Marc'Aurelio . Sutskever . Ilya . 2013 . Learning Factored Representations in a Deep Mixture of Experts . cs.LG . 1312.4314 .
  17. Shazeer . Noam . Mirhoseini . Azalia . Maziarz . Krzysztof . Davis . Andy . Le . Quoc . Hinton . Geoffrey . Dean . Jeff . 2017 . Outrageously Large Neural Networks: The Sparsely-Gated Mixture-of-Experts Layer . cs.LG . 1701.06538.
  18. 1609.08144 . cs.CL . Yonghui . Wu . Mike . Schuster . Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation . 2016 . Chen . Zhifeng . Le . Quoc V. . Norouzi . Mohammad . Macherey . Wolfgang . Krikun . Maxim . Cao . Yuan . Gao . Qin . Macherey . Klaus . Klingner . Jeff . Shah . Apurva . Johnson . Melvin . Liu . Xiaobing . Kaiser . Łukasz.
  19. Fedus . William . Zoph . Barret . Shazeer . Noam . 2022-01-01 . Switch transformers: scaling to trillion parameter models with simple and efficient sparsity . The Journal of Machine Learning Research . 23 . 1 . 5232–5270 . 2101.03961 . 1532-4435.
  20. Zoph . Barret . Bello . Irwan . Kumar . Sameer . Du . Nan . Huang . Yanping . Dean . Jeff . Shazeer . Noam . Fedus . William . 2022 . ST-MoE: Designing Stable and Transferable Sparse Expert Models . cs.CL . 2202.08906.
  21. Roller . Stephen . Sukhbaatar . Sainbayar . szlam . arthur . Weston . Jason . 2021 . Hash Layers For Large Sparse Models . Advances in Neural Information Processing Systems . Curran Associates . 34 . 17555–17566. 2106.04426 .
  22. Puigcerver . Joan . Riquelme . Carlos . Mustafa . Basil . Houlsby . Neil . 2023 . From Sparse to Soft Mixtures of Experts . cs.LG . 2308.00951.
  23. Lewis . Mike . Bhosale . Shruti . Dettmers . Tim . Goyal . Naman . Zettlemoyer . Luke . 2021-07-01 . BASE Layers: Simplifying Training of Large, Sparse Models . Proceedings of the 38th International Conference on Machine Learning . en . PMLR . 6265–6274. 2103.16716 .
  24. Zhou . Yanqi . Lei . Tao . Liu . Hanxiao . Du . Nan . Huang . Yanping . Zhao . Vincent . Dai . Andrew M. . Chen . Zhifeng . Le . Quoc V. . Laudon . James . 2022-12-06 . Mixture-of-Experts with Expert Choice Routing . Advances in Neural Information Processing Systems . en . 35 . 7103–7114. 2202.09368 .
  25. Bengio . Emmanuel . Bacon . Pierre-Luc . Pineau . Joelle . Precup . Doina . 2015 . Conditional Computation in Neural Networks for faster models . cs.LG . 1511.06297.
  26. Web site: Transformer Deep Dive: Parameter Counting . 2023-10-10 . Transformer Deep Dive: Parameter Counting . en.
  27. Riquelme . Carlos . Puigcerver . Joan . Mustafa . Basil . Neumann . Maxim . Jenatton . Rodolphe . Susano Pinto . André . Keysers . Daniel . Houlsby . Neil . 2021 . Scaling Vision with Sparse Mixture of Experts . Advances in Neural Information Processing Systems . 34 . 8583–8595 . 2106.05974.
  28. Lepikhin . Dmitry . Lee . HyoukJoong . Xu . Yuanzhong . Chen . Dehao . Firat . Orhan . Huang . Yanping . Krikun . Maxim . Shazeer . Noam . Chen . Zhifeng . 2020 . GShard: Scaling Giant Models with Conditional Computation and Automatic Sharding . cs.CL . 2006.16668.
  29. Du . Nan . Huang . Yanping . Dai . Andrew M. . Tong . Simon . Lepikhin . Dmitry . Xu . Yuanzhong . Krikun . Maxim . Zhou . Yanqi . Yu . Adams Wei . Firat . Orhan . Zoph . Barret . Fedus . Liam . Bosma . Maarten . Zhou . Zongwei . Wang . Tao . 2021 . GLaM: Efficient Scaling of Language Models with Mixture-of-Experts . cs.CL . 2112.06905.
  30. Web site: 2022-06-19 . 200 languages within a single AI model: A breakthrough in high-quality machine translation . https://web.archive.org/web/20230109051700/https://ai.facebook.com/blog/nllb-200-high-quality-machine-translation/ . 2023-01-09 . ai.facebook.com . en.
  31. NLLB Team . Costa-jussà . Marta R. . Cross . James . Çelebi . Onur . Elbayad . Maha . Heafield . Kenneth . Heffernan . Kevin . Kalbassi . Elahe . Lam . Janice . Licht . Daniel . Maillard . Jean . Sun . Anna . Wang . Skyler . Wenzek . Guillaume . Youngblood . Al . 2022 . No Language Left Behind: Scaling Human-Centered Machine Translation . cs.CL . 2207.04672.
  32. Shen . Sheng . Hou . Le . Zhou . Yanqi . Du . Nan . Longpre . Shayne . Wei . Jason . Chung . Hyung Won . Zoph . Barret . Fedus . William . Chen . Xinyun . Vu . Tu . Wu . Yuexin . Chen . Wuyang . Webson . Albert . Li . Yunxuan . 2023 . Mixture-of-Experts Meets Instruction Tuning:A Winning Combination for Large Language Models . cs.CL . 2305.14705.
  33. Web site: AI . Mistral . 2023-12-11 . Mixtral of experts . 2024-02-04 . mistral.ai . en-us.
  34. Web site: 2024-03-27 . Introducing DBRX: A New State-of-the-Art Open LLM . 2024-03-28 . Databricks . en-US.
  35. News: Knight . Will . Inside the Creation of the World's Most Powerful Open Source AI Model . 2024-03-28 . Wired . en-US . 1059-1028.