Back to blog

TriRoute: Unified Learned Routing for Joint Adaptive Attention, Experts, and KV-Cache Allocation

TriRoute — 单一轻量控制器联合决策注意力分辨率、FFN 专家选择与 KV-Cache 位宽,端到端可训练,单一预算旋钮扫出 Pareto 前沿,缓解跨轴路由坍缩级联

TriRoute: Unified Learned Routing for Joint Adaptive Attention, Experts, and KV-Cache Allocation

一、论文概述

项目内容
标题TriRoute: Unified Learned Routing for Joint Adaptive Attention, Experts, and KV-Cache Allocation
作者Andrii Balashov, Olena Ponomarova
机构Ukrainian State University of Science and Technologies
论文https://arxiv.org/abs/2607.06601
发布2026-07

二、核心思想

现有的条件计算(conditional computation)技术各自作用于 Transformer 块的单一轴,且都被独立地研究和调优:

  • Mixture-of-Experts (MoE) 稀疏化前馈网络(FFN),将每个 token 路由到少量专家;
  • Mixture-of-Depths (MoD) 让深度按 token 自适应,学习每块门控让 token 跳过整个 attention+FFN 子层;
  • KV-cache 量化 压缩主导长上下文服务的注意力内存,将 K/V 以 2–4 bit 存储。

本文的核心论点:这三个决策(注意力分辨率、专家选择、缓存位宽)是强耦合的,应当联合决策。以稀有实体 token(如 “…signed by Nakamura on Tuesday” 中的姓氏)为例——MoD 可能正确判断其 FFN 变换可跳过;但正因为它稀有且信息量大,它很可能需要全注意力分辨率来绑定其共指对象,且其 K/V 应以高精度存储以便后续 query 忠实检索。而像 “the” 这样的功能词在三个维度上恰好相反。因此”正确的计算量”不是每 token 一个标量(MoD 隐含假设),而是跨异构资源的耦合选择向量。

问题定义

统一自适应计算:为每个 token tt、每一层 ℓ\ell,在三个耦合轴上联合决策:

  1. 注意力模式 a∈{skip,local-w,full}a \in \{\text{skip}, \text{local-}w, \text{full}\}:控制 token 读取多少序列历史;
  2. 稀疏专家选择 ee:从 EE 个 FFN 专家中选择(含 null 专家,特殊情况下恢复 MoD 式跳过);
  3. KV 位宽 b∈{2,4,8,16}b \in \{2, 4, 8, 16\}:决定 token 自身 K/V 写入缓存的精度,即未来 token 能多忠实地对其注意。

解决方案概述

TriRoute 用单一轻量共享控制器(shared controller)联合决策三条路径(“三路由”):

  • 端到端训练,采用异构松弛方案(Gumbel-Softmax + 直通估计器处理类别决策,负载均衡 top-k 门控处理专家);
  • 单一 Lagrangian 预算约束将平均计算与内存成本变成一个可控旋钮;
  • 识别并缓解朴素联合训练中的跨轴路由坍缩级联(cross-axis routing-collapse cascade),采用逐轴归一化与耦合感知均衡损失。

在 160M–1.3B 解码器模型上,TriRoute 在匹配推理 FLOPs 与内存的条件下 Pareto 支配最优独立组合(MoD+MoE+KV量化),并更好地保留稀有实体、代码、算术上的尾部鲁棒性。

三、技术架构

整体框架图

Figure 1: 从三个孤立机制到一个控制器

一个 TriRoute 块(Figure 2):共享控制器 trunk 将(归一化的)残差状态加上廉价侧特征映射到三个 head:

  • 注意力 head:选择 query 模式(skip/local/full),控制读取多少历史;
  • 专家 head:从 EE 个 FFN 专家中选 top-kk 或选 null 专家(FFN 跳过);
  • bit head:设定 token 自身 K/V 写入缓存的精度,供未来 token 读取。

单一预算控制器通过 Lagrange 乘子 λ\boldsymbol{\lambda} 塑造全部三轴。

Figure 2: 一个 TriRoute 块

核心公式

1. 分解的 Transformer 块(pre-norm)

x~t(ℓ)=xt(ℓ)+Attn(Norm(x≤t(ℓ)))txt(ℓ+1)=x~t(ℓ)+FFN(Norm(x~t(ℓ)))(1)\begin{aligned} \tilde{x}_t^{(\ell)} &= x_t^{(\ell)} + \text{Attn}(\text{Norm}(x_{\le t}^{(\ell)}))_t \\ x_t^{(\ell+1)} &= \tilde{x}_t^{(\ell)} + \text{FFN}(\text{Norm}(\tilde{x}_t^{(\ell)})) \end{aligned} \tag{1}

TriRoute 在块前插入控制器,为 token tt 发出策略 πt(ℓ)=(at,et,bt)\pi_t^{(\ell)} = (a_t, e_t, b_t),因分别决策注意力和 FFN,块变成一个小型条件计算图。

2. (A) 注意力分辨率

\text{Attn}_t = \sum_{m \in \mathcal{A}} \mathbf{1}[a_t = m] \text{Attn}_t^{(m)} \tag{2}

其中 Attntskip=0\text{Attn}_t^{\text{skip}} = 0,Attntlocal=Attn(qt,K[t−w,t],V[t−w,t])\text{Attn}_t^{\text{local}} = \text{Attn}(q_t, K_{[t-w,t]}, V_{[t-w,t]}),Attntfull=Attn(qt,K≤t,V≤t)\text{Attn}_t^{\text{full}} = \text{Attn}(q_t, K_{\le t}, V_{\le t})。三种模式分别耗费 00、O(w)O(w)、O(t)O(t) 次 key 交互。注意力路由默认逐 head(heads 已知会专业化)。

3. (B) FFN 专家(含 null 专家)

FFN 由 EE 个专家 {f1,…,fE}\{f_1, \ldots, f_E\} 加 null 专家 f0≡0f_0 \equiv 0 替代。softmax 门控 pte=softmax(zte)p_t^e = \text{softmax}(z_t^e) 选出 top-kk 专家 St\mathcal{S}_t:

\text{FFN}_t = \sum_{j \in \mathcal{S}_t} \frac{p_{t,j}^e}{\sum_{j' \in \mathcal{S}_t} p_{t,j'}^e} f_j(\text{Norm}(\tilde{x}_t)) \tag{3}

选 null 专家(0∈St0 \in \mathcal{S}_t 且 k=1k=1)复现 MoD 式 FFN 跳过;选真实专家复现 MoE。因注意力和 FFN 独立决策,TriRoute 可跳过 FFN 同时保留全注意力——这正是稀有实体所需、而 MoD(门控整块)无法表达的机制。

4. (C) KV-cache 位宽(非对称逐 token 分组量化)

Qb(kt)=round(kt−zs)s+zs=max⁡(kt)−min⁡(kt)2b−1,z=min⁡(kt)(4)\begin{aligned} Q_b(k_t) &= \text{round}\left(\frac{k_t - z}{s}\right) s + z \\ s &= \frac{\max(k_t) - \min(k_t)}{2^b - 1}, \quad z = \min(k_t) \end{aligned} \tag{4}

b=16b=16 表示原生精度存储。存储的 (Qb(kt),Qb(vt))(Q_b(k_t), Q_b(v_t)) 是所有 ≥ℓ\ge \ell 层后续 query 所注意的对象,因此轴 (C) 以当前内存换取未来注意力保真度——这是孤立 KV 量化(固定单一全局 bb)忽略的跨 token 耦合。

5. 共享控制器

ht=ϕtrunk([Norm(xt);ψt])∈Rdrzta=Wah^t,zte=Weh^t,ztb=Wbh^t(5)\begin{aligned} h_t &= \phi_{\text{trunk}}([\text{Norm}(x_t); \psi_t]) \in \mathbb{R}^{d_r} \\ z_t^a &= W_a \hat{h}_t, \quad z_t^e = W_e \hat{h}_t, \quad z_t^b = W_b \hat{h}_t \end{aligned} \tag{5}

其中 h^t=RMSNorm(ht)\hat{h}_t = \text{RMSNorm}(h_t),dr≪dd_r \ll d(取 dr=128d_r = 128),控制器仅增加 <1%<1\% FLOPs。侧特征 ψt\psi_t 包括相对位置、距上一空白/BOS 距离、token 自身预测熵的运行估计、上一层决策。

设计原则 1(读写分离决策):注意力 head 管理 token 读多少(query),bit head 管理它被写多忠实(KV)。token 可以是重要源(高位)但懒惰读者(skip),反之亦然。 设计原则 2(条件于廉价因果特征):侧特征 ψt\psi_t 在块运行前可计算,携带路由所需大部分信号。

6. 异构松弛的路由梯度

专家选择用标准可微 top-kk softmax;类别注意力和 bit 决策用直通 Gumbel-Softmax:

y~o=exp⁡((zo+go)/τ)∑o′exp⁡((zo′+go′)/τ)y=onehot(arg⁡max⁡oy~o)(6)\begin{aligned} \tilde{y}_o &= \frac{\exp((z_o + g_o)/\tau)}{\sum_{o'} \exp((z_{o'} + g_{o'})/\tau)} \\ y &= \text{onehot}(\arg\max_o \tilde{y}_o) \end{aligned} \tag{6}

直通估计器:yST=sg(y−y~)+y~y^{\text{ST}} = \text{sg}(y - \tilde{y}) + \tilde{y}。各轴温度 τa,τb\tau_a, \tau_b 从 2.02.0 退火到 0.50.5。

7. 跨轴梯度均衡(关键)

因估计器尺度差异巨大(跳过注意力比缓存从 8→4 bit 改变损失大得多),用分离的运行逐轴因子重缩放各 head 的直通替代:

z~taxis←z~taxis/sg(ρaxis)ρaxis←(1−m)ρaxis+m∥∇zaxisLLM∥2(7)\begin{aligned} \tilde{z}_t^{\text{axis}} &\leftarrow \tilde{z}_t^{\text{axis}} / \text{sg}(\rho_{\text{axis}}) \\ \rho_{\text{axis}} &\leftarrow (1-m)\rho_{\text{axis}} + m\|\nabla_{z^{\text{axis}}} \mathcal{L}_{\text{LM}}\|_2 \end{aligned} \tag{7}

到达各 head 的梯度范数 EMA(动量 m=0.99m=0.99)。对 bit head 学习至关重要。

8. 可微多资源成本模型

ctflops=∑my~t,maκma(t)⏟attention read+∑j∈Stpˉt,jeκe⏟active expertsctmem=∑by~t,bb(2dkvb)(8)\begin{aligned} c_t^{\text{flops}} &= \underbrace{\sum_m \tilde{y}_{t,m}^a \kappa_m^a(t)}_{\text{attention read}} + \underbrace{\sum_{j \in \mathcal{S}_t} \bar{p}_{t,j}^e \kappa^e}_{\text{active experts}} \\ c_t^{\text{mem}} &= \sum_b \tilde{y}_{t,b}^b (2 d_{kv} b) \end{aligned} \tag{8} κskipa=0,κlocala≈2dmin⁡(t,w),κfulla≈2dt,κe≈3d⋅df (SwiGLU expert)(9)\kappa_{\text{skip}}^a = 0, \quad \kappa_{\text{local}}^a \approx 2d\min(t,w), \quad \kappa_{\text{full}}^a \approx 2dt, \quad \kappa^e \approx 3d \cdot d_f \text{ (SwiGLU expert)} \tag{9}

按 dense 模型成本归一化:Cˉr=1LT∑ℓ,tctr,(ℓ)/Cdenser∈(0,1]\bar{C}^r = \frac{1}{LT}\sum_{\ell,t} c_t^{r,(\ell)} / C_{\text{dense}}^r \in (0, 1]。

9. 逐轴均衡(Switch 负载均衡 + router z-loss)

Lbalaxis=∣O∣∑o∈OfoPoLzaxis=1T∑t(log⁡∑oezt,oaxis)2(10)\begin{aligned} \mathcal{L}_{\text{bal}}^{\text{axis}} &= |\mathcal{O}| \sum_{o \in \mathcal{O}} f_o P_o \\ \mathcal{L}_z^{\text{axis}} &= \frac{1}{T}\sum_t \left(\log\sum_o e^{z_{t,o}^{\text{axis}}}\right)^2 \end{aligned} \tag{10}

10. 修复坍缩级联:逐轴白化 + 熵下限

逐轴白化(分离)防止一轴坍缩缩小另一轴有效输入尺度:

\hat{h}_t^{\text{axis}} = (h_t - \text{sg}(\mu_{\text{axis}})) \oslash \text{sg}(\sigma_{\text{axis}} + \epsilon) \tag{11}

边际熵下限(hinge,仅在接近坍缩时起作用):

\mathcal{L}_{\text{ent}}^{\text{axis}} = [\zeta \log|\mathcal{O}| - H(\bar{p}^{\text{axis}})]_+, \quad H(\bar{p}) = -\sum_o \bar{p}_o \log \bar{p}_o \tag{12}

11. 单一预算旋钮(在线 Lagrangian)

\mathcal{L}(\theta, \phi) = \mathcal{L}_{\text{LM}} + \sum_{\text{axis}}(\alpha \mathcal{L}_{\text{bal}}^{\text{axis}} + \beta \mathcal{L}_z^{\text{axis}} + \gamma \mathcal{L}_{\text{ent}}^{\text{axis}}) + \sum_r \lambda_r (\bar{C}^r - C_\star^r) \tag{13}

\lambda_r \leftarrow [\lambda_r + \rho_\lambda (\bar{C}^r - C_\star^r)]_+ \quad \text{(以 } \bar{C}^r \text{ 的 EMA 更新)} \tag{14}

扫描 C⋆C_\star 即可从单一训练族追踪整条成本-质量前沿。对偶变量自调优:紧内存预算下 bit head 被推向低精度,而 flops 价格保持适中——各轴联合定价,正是孤立方法缺乏的协调。

跨轴坍缩级联(Cross-axis Collapse Cascade)

论文识别的关键失败模式(Figure 3):仅用逐轴均衡在共享 trunk 下不够。一旦一轴坍缩(如注意力早期几乎全路由到 skip 以削减成本),进入 FFN 的残差状态变得低方差、跨 token 近乎相同,专家 head 无法区分它们而坍缩到单一专家;bit head 被喂以退化信号,坍缩到最便宜精度,模型陷入无法通过预算压力恢复的差局部最优。耦合让三个路由器一起失败,而非独立失败。修复方法为逐轴白化 (Eq.11) + 边际熵下限 (Eq.12)。

Figure 3: 跨轴坍缩级联及其修复

模型组件

组件说明关键参数
共享控制器 trunk两层 MLP,映射残差态+侧特征dr=128d_r = 128,<1%<1\% FLOPs,<0.3%<0.3\% 参数
注意力 headskip/local/full,逐 head 路由ST-Gumbel,τa:2.0→0.5\tau_a: 2.0\to0.5
专家 headtop-kk softmax + null 专家E=8E=8,top-2
bit headKV 位宽 {2,4,8,16}ST-Gumbel,τb:2.0→0.5\tau_b: 2.0\to0.5
侧特征 ψt\psi_t位置、边界、surprisal、上层决策因果可计算
成本模型FLOPs + mem 可微期望按 dense 归一化
Lagrangian 控制器对偶上升,在线自调ρλ=0.05\rho_\lambda = 0.05

训练流程(Algorithm 1)

单层训练步:

  1. h←ϕtrunk([Norm(x(ℓ));ψ])h \leftarrow \phi_{\text{trunk}}([\text{Norm}(x^{(\ell)}); \psi]);逐轴白化 (11)
  2. za,ze,zb←Wah^a,Weh^e,Wbh^bz_a, z_e, z_b \leftarrow W_a\hat{h}_a, W_e\hat{h}_e, W_b\hat{h}_b;按梯度均衡 (7) 重缩放
  3. ya←y_a \leftarrow ST-Gumbel(za,τaz_a, \tau_a);S,pe←\mathcal{S}, p_e \leftarrow TopK-softmax(ze,kz_e, k);yb←y_b \leftarrow ST-Gumbel(zb,τbz_b, \tau_b)
  4. 以 yay_a 模式(逐 head)运行注意力;运行专家 S\mathcal{S};以 yby_b 精度写 KV
  5. 累积成本 cflops,cmemc_{\text{flops}}, c_{\text{mem}}(可微)
  6. 计算 LLM\mathcal{L}_{\text{LM}}、逐轴 Lbal,Lz,Lent\mathcal{L}_{\text{bal}}, \mathcal{L}_z, \mathcal{L}_{\text{ent}};组成 L\mathcal{L} (13)
  7. 反传;步进 θ,ϕ\theta, \phi;更新 EMA、温度、对偶 λr\lambda_r

推理:路由器取硬 argmax,仅执行选中计算——跳过的注意力和 null 专家从不物化,每个 token 的 KV 以其选定位宽存储。因决策仅依赖因果特征,推理为单次从左到右传递,静态每 token 计算图,兼容批处理服务和 KV 分页。

四、核心创新

创新点说明理论/实验依据
统一三轴路由首个用单一控制器联合学习注意力分辨率、FFN 专家、KV 精度的架构Section 3,Table 1
读写分离注意力 head 管读(query),bit head 管写(KV),可解耦设计原则 1,Observation 2
异构松弛+梯度均衡逐轴温度退火 ST-Gumbel + 梯度范数 EMA 重缩放Eq. 6-7,消融显示对 bit head 学习必需
跨轴坍缩级联识别与修复逐轴白化 + 边际熵下限阻止级联Figure 3,消融显示移除任一重现坍缩
单一预算旋钮在线 Lagrangian 对偶变量,一个标量扫出整条 Pareto 前沿Eq. 13-14
null 专家统一 MoD专家轴通过 null 专家复现深度跳过Eq. 3
可解释策略稀有实体获高注意力+高位宽+低 FFN 的签名模式Section 6,Figure 5

五、实验设置

模型:现代解码器骨干(RoPE、SwiGLU、RMSNorm、GQA Hkv=H/4H_{kv}=H/4),三个规模匹配 Pythia 配置:

规模ddLLHHHkvH_{kv}dfd_fseq lenTokensBatch
160M76812123204820483.2B0.5M
410M102424164273120488.2B0.5M
1.3B2048241645461204826B1.0M

MoE/TriRoute 变体用 E=8E=8 专家 top-2,active FFN FLOPs 等于 dense 模型。

数据:Pile + RedPajama 去重混合,文档级 held-out。尾部探针四桶:稀有实体、代码(GitHub)、数学(算术密集)、长上下文(>4k tokens,8k 评估)。

基线(匹配预算协议):(i) Dense(质量上限);(ii) MoD-only;(iii) MoE-only;(iv) KV-quant-only(KIVI 式);(v) 独立组合(MoD+MoE+KV量化,各机制稀疏度/精度网格搜索独立调优——最强非统一基线);(vi) TriRoute。默认目标预算 (FLOPs,mem)=(0.55,0.40)(\text{FLOPs}, \text{mem}) = (0.55, 0.40)(约半计算 + ~6-bit 等效缓存)。

训练:AdamW(β=(0.9,0.95)\beta=(0.9,0.95),wd 0.1),cosine 2k 预热,峰值 LR 3–6×10⁻⁴,梯度裁剪 1.0,bf16。均衡权重 α=10−2\alpha=10^{-2}(load),β=10−3\beta=10^{-3}(z-loss),γ=10−3\gamma=10^{-3}(熵下限,ζ=0.5\zeta=0.5),对偶步 ρλ=0.05\rho_\lambda=0.05。每配置 3 seed,Pile ppl seed 方差 <0.05。

诚实声明:作者明确指出报告数字”说明设计所针对的趋势,应作为所述协议的结果来解读”;发布代码实现了确切的控制器和成本模型(Appendix C)。

六、实验结果

联合路由支配独立前沿(Table 3,匹配预算 (0.55, 0.40))

规模方法FLOPsKV memPile ppl ↓Avg acc ↑
160MDense1.001.0014.542.0
MoD + KV-quant0.550.4015.440.3
Independent combo0.550.4015.040.9
TriRoute0.550.4014.641.8
410MDense1.001.0011.647.2
Independent combo0.550.4012.046.2
TriRoute0.550.4011.747.0
1.3BDense1.001.009.854.8
MoD + KV-quant0.550.4010.552.5
Independent combo0.550.4010.153.5
TriRoute0.550.409.754.5

TriRoute 以约半推理成本恢复 96–99% dense 下游准确率,一致比独立组合改善 0.3–0.4 ppl 和 0.7–1.0 准确率点。优势不随规模缩小,表明协调收益是结构性的。差距在激进区间(35–55% FLOPs)最大——协调最重要之处。

Figure 4: TriRoute 在计算前沿 (a) 与显存前沿 (b) 上 Pareto 支配独立组合

实测成本:单 A100 上 1.3B TriRoute 解码吞吐为 dense 的 1.7×(独立组合 1.55×)。实现加速低于 1/0.55≈1.8×1/0.55 \approx 1.8× FLOP 比,因路由器开销和混合精度缓存/参差专家批的不完善内核支持。

消融(Table 4,410M)

变体Pile ppl ↓稀有实体 ppl ↓
TriRoute(完整:共享 trunk,逐 head attn)11.715.2
token 级注意力(非逐 head)11.915.8
逐层组注意力12.116.3
三个分离路由器11.8515.6
单一完全共享 head(过度共享)12.015.9
− 梯度均衡 (7)12.417.1
− 逐轴白化 (11)12.617.6
− 熵下限12.517.4
REINFORCE 替代 ST-Gumbel12.316.5
− null 专家(无法跳 FFN)11.9515.7
均匀 bits(无 bit 路由)11.916.0

三个发现:(1) 均衡配方是承重的——移除梯度均衡使 bit head 无法学习(+0.7 ppl),移除白化或熵下限重现坍缩级联更糟;(2) 粒度——逐 head 注意力优于单一 token 级(−0.2 ppl),FFN/bit 最佳在 token 级;(3) 共享有帮助,过度共享有害——共享 trunk + 分离 head 是甜蜜点。

尾部鲁棒性(Table 5,1.3B)

方法稀有实体 ↓代码 ↓数学 ↓长上下文 8k ↓GSM8K ↑
Dense(全成本)18.54.212.010.54.8
MoD + KV-quant21.84.914.612.93.1
Independent combo20.64.613.712.03.6
TriRoute18.94.312.410.94.5

独立组合部分通过欠服务稀有实体(+2.1 ppl)、代码、数学来省算力,掉 1.2 GSM8K 点。TriRoute 因控制器能在这些 token 上保留全注意力+高精度缓存、在别处省算,稀有实体保持在 dense 0.4 ppl 内,仅掉 0.3 GSM8K 点——这是协调三轴改变”哪些输入为节省买单”的最清晰证据。

七、控制器学到了什么(Section 6)

分析训练好的 1.3B 模型,记录 10M-token held-out slice 上每个路由决策,与 token 级语言特征关联:

Figure 5: 按 token 类别与深度的学习策略热图

  • Observation 1(读写分配给信息性 token):注意力分辨率和缓存精度与 unigram 频率强负相关——稀有子词和命名实体远更常获全注意力和 8-bit 缓存,功能词路由到 skip/local 和 2-bit。
  • Observation 2(FFN 计算与注意力解耦):FFN 激活与句法内容和数值性相关,而非注意力分辨率。稀有实体常跳过 FFN 却保留全注意力和高精度缓存——它们需被绑定和记住,而非变换。这正是 MoD(单门控强制注意力与 FFN 同时花或跳)无法表达的。
  • Observation 3(深度专业化):早期层跨大多数类别保持高注意力(构建广泛上下文),后期层越发选择性;专家使用相反趋势随深度上升。控制器学到粗粒度”早注意、晚计算”调度。

聚类:k-means 得到可解释组——“功能词/廉价”簇(skip-attn,null-FFN,2-bit)、“实体/锚”簇(full-attn,null-FFN,8-bit)、“计算”簇(local-attn,真实专家,4-bit,用于数字/代码)、“边界/sink”簇(full-attn,混合 FFN,8-bit,句首)。

跨轴耦合真实且非对称:注意力与 bits 强耦合(I^≈0.31\hat{I} \approx 0.31 nats),FFN 更独立(I^≲0.08\hat{I} \lesssim 0.08 nats)。这解释了为何共享 trunk + 分离 head 是正确归纳偏置——足够共享以耦合注意力和 bits,足够分离以让 FFN 路由专业化。

八、总结

核心贡献

  1. 统一自适应计算公式化:将三个耦合轴(注意力分辨率、FFN 专家、KV 精度)表述为单一每 token 每层路由问题,实例化为 TriRoute——首个用单一控制器联合学习三轴的架构。
  2. 异构松弛与均衡配方:逐轴温度退火直通 Gumbel 估计器 + 防跨轴坍缩级联的耦合感知负载均衡损失 + 暴露单一成本旋钮的在线 Lagrangian 预算控制器。
  3. 设计空间研究:共享 vs 分离路由器(表示共享有帮助,高稀疏时会干扰)、路由粒度(逐 head 注意力 + token 级 FFN/bit 为甜蜜点)。
  4. 实验验证:160M–1.3B 上 Pareto 支配最强独立组合,更好保留尾部鲁棒性,约半成本匹配 dense 质量。
  5. 可解释策略:路由模式沿语言学轴聚类(句边界、稀有子词、句法功能),提供机制解释。

技术影响

将”在重要处花算力”从三个手调机制变成单一可训练决策。为长上下文服务的成本-质量权衡提供统一、可控框架。发布 PyTorch 参考实现(Appendix C)。

局限性

  • FLOPs 到墙钟时间:实现加速落后于 FLOP 比,三个系统缺口——参差注意力(融合内核不利用)、混合精度缓存(复杂化分页 KV)、路由器开销(每层同步点)。作者视闭合 FLOP-延迟差距为最重要后续。
  • 训练成本与稳定性:联合训练比单轴路由更精细,无耦合感知均衡会坍缩;额外损失增加超参(α,β,γ,ζ,ρλ\alpha, \beta, \gamma, \zeta, \rho_\lambda);训练墙钟比 dense 高 ~8%。
  • 规模:证据跨 160M–1.3B,未在 ≥10B 或极端稀疏(如 8% active FLOPs)验证;坍缩级联在规模上更易或更难控制未知。
  • 未测试:固定注意力模式集 {skip,local,full} 和 bit 集 {2,4,8,16};更丰富/连续分辨率、学习组大小、KV 驱逐作为第四轴均为未来工作。尾部桶为代理,需完整公平性研究。

九、参考资源

  • 论文: https://arxiv.org/abs/2607.06601
  • 相关工作: MoE (Switch/GShard [20,31])、Mixture-of-Depths [38]、KIVI [33]、KVQuant [26]、CoLT5 [2]、SwitchHead [11]、H2O [54]、StreamingLLM [49]
  • 评估协议: Chinchilla compute-optimal [25]、Pythia [5]

图表索引(论文图为 TikZ 渲染,已提取为矢量 SVG)

图号描述文件
Figure 1从三个孤立机制到一个控制器figures/triroute/figure-1-overview.svg
Figure 2一个 TriRoute 块(共享 trunk + 三 head + 预算控制器)figures/triroute/figure-2-triroute-block.svg
Figure 3跨轴坍缩级联及其修复(whitening + 熵下限)figures/triroute/figure-3-collapse-cascade.svg
Figure 4计算前沿 (a) 与显存前沿 (b) 的 Pareto 支配figures/triroute/figure-4-pareto-frontier.svg
Figure 5按 token 类别与深度的学习策略热图figures/triroute/figure-5-learned-policy.svg

分析日期: 2026-07-11 分析师: AI Paper Analyzer