门控网络,通常称为路由器,是专家混合(MoE)层内部的决策部分。它决定每个输入令牌应由哪个或哪些专家处理。该网络的设计对于整个MoE模型的表现、专业化程度和效率是基本要素。无效的路由器可能导致专家专业化不足、计算不平衡以及模型质量不佳。设计有效门控网络的原则和常用方法将得到分析。
门控网络的作用
回顾第一章中基本的MoE公式。对于输入令牌表示 x,门控网络 G 计算 N 个可用专家上的分布。通常,这涉及一个简单的线性变换,接着是softmax激活:
对数几率=Wgx
P=softmax(对数几率)
其中,Wg是一个可训练的权重 (weight)矩阵,将输入维度映射到专家数量N,而P是一个概率向量 (vector)Pi,表示令牌x对专家i的倾向性。
在一个稠密MoE中(其中每个令牌都由所有专家的加权组合处理),输出y将是:
y=i=1∑NPiEi(x)
然而,稀疏MoE旨在提高计算效率,通过为每个令牌仅激活一小部分专家。这需要一种根据门控概率P选择专家的机制。
Top-k 路由
稀疏MoE中选择专家最常用的策略是top−k路由。门控网络不使用所有专家,而是为每个令牌选择具有最高概率(或对数几率)的k个专家。通常,k是一个小整数,常为1或2。
该过程如下进行:
- 计算分数: 如上所述计算门控对数几率或概率P。
- 选择Top-k: 找出P中对应k个最高值的索引I={i1,i2,...,ik}。
- 重新归一化 (normalization)分数(可选但常见): 通常,所选top k专家的分数(概率)仅对所选专家进行softmax重新归一化。设Psel是P中对应索引I的子向量 (vector)。重新归一化的权重 (weight)P′是:
Pj′=∑l=1kexp(对数几率il)exp(对数几率ij)对于 j=1...k
- 计算加权输出: 令牌的最终输出是所选专家输出的加权和,使用(可能重新归一化后的)门控概率作为权重:
y=j=1∑kPj′Eij(x)
将k=1设置为意味着每个令牌被路由到一个专家,最大化稀疏性,但可能限制模型结合专家知识的能力。使用k=2使令牌可以从两个专门的视角中获益,在稀疏性和表示能力之间提供平衡,尽管与k=1相比计算成本翻倍。k的选择是影响模型表现和计算负担的一个重要超参数 (parameter) (hyperparameter)。
一张图示令牌的流程,通过top-k门控机制(k=2)。门控网络计算分数,top-k选择专家,它们的输出被组合。
噪声Top-k门控
MoE训练中常见的问题是表示坍塌或负载不均衡,即路由器总是将大多数令牌发送给少数几个专家,导致其他专家未被充分利用。这会阻碍专业化并浪费容量。
一种鼓励尝试和改善负载均衡的方法,尤其是在训练早期,是噪声top-k门控。不再仅仅根据原始门控对数几率选择top k专家,而是在选择过程前添加噪声。一种标准做法是添加高斯噪声:
含噪声对数几率=对数几率+N(0,σ2)
其中N(0,σ2)表示从均值为零、方差为σ2的高斯分布中采样的值。随后在这些含噪声对数几率上执行top-k选择。噪声方差σ2通常实现为可训练参数 (parameter)或由调度器控制。
添加的噪声为路由决策引入了随机性。它给得分较低的专家一个被选择的机会,促进尝试,并可能防止路由器过早地固定在次优的分配模式上。
数学细节:
如果Wg是门控权重 (weight)矩阵,x是输入令牌表示,则标准对数几率是对数几率=Wgx。对于噪声top-k,我们计算:
含噪声分数=Wgx+ϵ⋅softplus(Wnoisex)
其中,ϵ∼N(0,1)是每个令牌采样的标准高斯噪声,Wnoise是另一个可训练的权重矩阵,用于根据输入对噪声进行乘法缩放。softplus函数确保噪声缩放因子为正。随后使用这些含噪声分数进行top-k选择。用于加权专家输出的概率(前述中的P′)通常仍从所选专家的原始、非噪声对数几率中得出,以保持输出计算的稳定性。
设计考量
- k的选择: 如前所述,k(通常为1或2)在稀疏性和容量之间取得平衡。更大的k会增加计算量,但如果专家能有效专业化并且令牌能从多角度受益,则可能改善表现。
- 路由器复杂度: 尽管简单的线性层后接softmax很常见,但可以考虑更复杂的路由器架构(本章稍后会讨论),包括非线性和注意力机制 (attention mechanism)。然而,复杂度会增加计算开销和训练难度。
- 噪声调度: 如果使用噪声top-k,噪声量可能需要退火处理。训练早期的高噪声鼓励尝试,而后期较低的噪声则允许路由器稳定其学习到的分配。
- 与负载均衡的相互作用: 门控机制直接影响负载均衡。虽然噪声有帮助,但专门的辅助损失函数 (loss function)(第三章会讲到)几乎总是必要的,以明确促使训练期间专家使用均衡。门控网络的设计和负载均衡策略紧密关联。
有效的门控网络设计需要仔细考量这些因素,在精确路由和专家专业化需求与计算限制和训练稳定性之间取得平衡。这里讨论的方法,特别是带有可选噪声的top-k路由,构成了大多数实际MoE实现的基础。