Gated DeltaNet-2: Decoupling Erase and Write in Linear Attention
Title: Gated DeltaNet-2: Decoupling Erase and Write in Linear Attention
Authors: Ali Hatamizadeh, Yejin Choi, Jan Kautz (NVIDIA)
Venue: arXiv:2605.22791v1 [cs.AI], May 2026
Code: https://github.com/NVlabs/GatedDeltaNet-2
1. 研究摘要 (Research Summary)
Transformer自注意力机制(self-attention mechanism)的二次复杂度与序列长度之间的矛盾,是现代序列模型领域最持久、最核心的张力之一。当序列长度从数百扩展至数十万时,标准softmax注意力所需的内存和计算量呈平方级膨胀,这直接限制了长文档理解、实时语音合成、连续视频分析等关键应用的落地。线性注意力(linear attention)通过将注意力矩阵替换为固定大小的循环状态,从根本上打破了这一瓶颈,实现了线性时间的序列混合与恒存内存的解码。然而,这一优雅的解法并非没有代价:循环状态本质上是一个压缩的键-值记忆(compressed key-value memory),有限的空间中挤入了大量不同键关联的值,使得在超长上下文中精确检索特定信息变得异常困难。如何在恒存内存中实现"记住该记住的,忘记该忘记的",成为线性注意力家族亟待解决的根本难题。
现有研究沿着两条主要路径逼近这一问题。第一条路径以Mamba-2为代表,通过数据相关的标量衰减(data-dependent scalar decay)来调节记忆的时间范围,使模型学会在不同时间尺度上遗忘;第二条路径以DeltaNet为代表,将传统线性注意力的加法写入改为delta规则(delta rule),使得新信息可以有针对性地覆盖当前键所指向的已有关联,从而实现了精确编辑而非盲目叠加。Gated DeltaNet进一步将delta规则与可学习的标量衰减门控相结合,赋予模型全局遗忘与局部编辑的双重能力。KDA(Kimi Delta Attention)则更进一步,将衰减从单一标量扩展为键维度上的逐通道衰减(channel-wise forgetting),但保留了一个关键限制:擦除(erase)与写入(write)仍然由同一个标量参数
Gated DeltaNet-2的核心思想在于彻底解开这一耦合。作者敏锐地指出,擦除操作本质上是键侧(key-side)行为:它决定应该移除哪些坐标上的旧读取结果;而写入操作本质上是值侧(value-side)行为:它决定应该提交哪些坐标上的传入值。二者作用于状态矩阵的不同轴,自然没有必要达成一致。基于这一洞察,论文提出了Gated Delta Rule-2,引入三个独立的逐通道门控:擦除门
实验结果令人信服。在1.3B参数、100B FineWeb-Edu token的训练规模下,Gated DeltaNet-2在纯循环和混合架构两种设置中均取得了最优平均表现。在RULER针在大海捞针(needle-in-a-haystack)测试中,模型在多键检索场景展现了尤为突出的优势——这正是固定大小状态必须精确分离竞争关联的硬骨头。真实世界检索基准(SWDE、SQuAD、FDA、TriviaQA、NQ、DROP)同样验证了其从噪声关联中恢复目标信息的卓越能力。消融分析进一步证实,擦除门的贡献最为关键,而将其作用域从[0,1]扩展到[0,2]并未带来持续增益,说明当前设计已经较好地捕捉了问题的本质。在H100上的吞吐测试显示,相较于KDA仅带来适度开销的前提下,模型保持了接近平坦的扩展曲线(38.0→36.1 Kt/s)。这项工作不仅提供了一个更强大的线性注意力变体,更重要的是,它揭示了线性注意力记忆机制中的一个基础性设计原则:擦除与写入应当解耦。
2. 理论框架 (Theoretical Framework)
理解Gated DeltaNet-2的理论贡献,需要回溯线性注意力从简单加权聚合到精细化记忆编辑的演进脉络。传统的线性注意力可以视为一个在线的外积累加过程:每个时间步将当前查询-键-值三元组的外积
delta规则的引入是这一演进中的关键转折。DeltaNet将状态更新从加法改写为减法-加法组合:先根据当前键擦除旧状态中对应的读取结果,再写入新的键-值关联。这一操作使得记忆具备了"定向覆盖"的能力——不再是全盘叠加,而是精确替换。数学上,DeltaNet的状态更新可以表示为:
其中
Gated DeltaNet在此基础上引入了可学习的标量门控
当
Gated DeltaNet-2的理论核心正是对此的彻底解放。新的状态更新方程为:
其中
这一解耦的深刻性可以通过一个类比来理解:想象一个编辑在修订一篇文章。擦除门
论文进一步从快速权重(fast-weight)的视角为这一设计提供了理论正当性。Gated Delta Rule-2可以被形式化为以下局部在线优化问题的解:
其中
从更宏观的理论脉络来看,这一工作与快速权重文献中的元学习(meta-learning)思想形成了有趣的呼应。快速权重理论认为,神经网络可以在两个时间尺度上运作:慢速的突触权重(slow synaptic weights)编码通用的知识结构,而快速的临时权重(fast temporary weights)在线适应具体上下文。DeltaNet系列将这一思想实现了在序列维度上的落地——状态矩阵
3. 技术架构 (Technical Architecture)
Gated DeltaNet-2的技术实现是一个精心设计的系统工程,其核心挑战在于如何将理论上的解耦设计转化为高效可训练的深度学习架构。这要求同时解决三个层面的问题:前向传播中的门控计算与状态更新、块级并行训练中的序列依赖处理、以及反向传播中的梯度高效传递。
在模型架构层面,论文探索了两种配置。纯循环模型(recurrent model)采用Gated DeltaNet-2 token mixer后接MLP的标准布局,这是验证核心机制纯粹效果的基准配置。混合模型(hybrid model)则在Gated DeltaNet-2和MLP之间插入滑动窗口注意力(Sliding-Window Attention, SWA)和额外的MLP,利用局部精确注意力来补偿循环机制在处理细粒度局部模式时可能的不足。这种混合策略已成为长序列建模中的主流范式——循环机制负责捕获远距离依赖的全局结构,而局部注意力则处理精细的邻域交互。
每个Gated DeltaNet-2块内部的数据流经过精心设计。查询(query)和键(key)共享前端的线性投影→卷积(conv)→SiLU激活→L2归一化(linear→conv→SiLU→L2 norm)路径,其中卷积提供局部上下文感知,SiLU引入非线性,L2归一化稳定训练中的梯度尺度。值(value)分支采用类似的线性→卷积→SiLU流程但省略了归一化,保留值的幅度信息。除此之外,模型还维护三条独立的参数分支:衰减分支输出逐通道的
前向传播的核心是状态更新方程的实现。给定当前时间步的键
这正是块级并行训练算法(chunkwise training algorithm)的价值所在。论文继承并扩展了KDA中的WY表示法(WY representation)——一种将外积累加序列转化为紧凑矩阵乘积形式的技术。Gated DeltaNet-2的创新在于将逐通道衰减吸收进非对称擦除因子中,从而维持纯delta递推的结构。具体而言,定义衰减归一化状态
门控感知反向传播(gate-aware backward pass)是训练效率的另一关键支柱。由于擦除操作引入了非对称因子
工程层面的实现同样展现了深厚的优化功力。论文为Hopper和Ampere架构的GPU开发了融合Triton内核(fused Triton kernels),并通过自动调优(autotuning)来适配不同的GPU代际和batch大小。融合内核将衰减、门控应用、外积计算和状态更新合并为单一GPU内核,减少了内存带宽消耗和内核启动开销。自动调优则在网格大小、线程块配置和流水线策略上进行搜索,以最大化SM(Streaming Multiprocessor)利用率。这些工程细节虽然不显式出现在理论方程中,却是方法从纸面走向实际训练系统的必要条件。没有高效的块级并行和优化的内核实现,再优雅的理论设计也会因训练速度过慢而失去实用价值。
4. 实验评估 (Experimental Evaluation)
Gated DeltaNet-2的实验设计围绕一个核心科学问题展开:解耦擦除与写入门控能否在实际任务中带来可测量的、有意义的能力提升?为了回答这一问题,作者构建了一套涵盖语言建模、合成长上下文检索和真实世界信息抽取的多维度评估体系,所有实验均在1.3B参数规模和100B FineWeb-Edu token的公平训练条件下进行,确保了比较的公正性。
语言建模与推理能力构成了评估的第一支柱。在维基百科困惑度(Wiki ppl)和LAMBADA语言建模基准上,Gated DeltaNet-2在纯循环配置下分别达到15.90和11.43的困惑度,在混合配置下进一步优化至15.62和10.43。这些数字本身或许只是小数点后的渐进改进,但当它们被置于与Mamba-2、DeltaNet、Gated DeltaNet、KDA等强基线的系统比较中时,其意义变得清晰:Gated DeltaNet-2在循环和混合两种设置中均取得了最优平均排名。这意味着解耦门控带来的不是单一任务上的运气式提升,而是跨任务的一致优势。
| 模型 | 配置 | Wiki ppl | LAMBADA ppl | RULER avg | 检索 avg |
|---|---|---|---|---|---|
| Mamba-2 | Recurrent | 16.45 | 12.18 | 62.3 | 71.2 |
| DeltaNet | Recurrent | 16.12 | 11.87 | 68.5 | 74.6 |
| Gated DeltaNet | Recurrent | 16.01 | 11.62 | 71.8 | 76.3 |
| KDA | Recurrent | 15.95 | 11.52 | 74.2 | 78.1 |
| Gated DeltaNet-2 | Recurrent | 15.90 | 11.43 | 78.6 | 81.4 |
| KDA | Hybrid | 15.71 | 10.61 | 79.3 | 83.2 |
| Gated DeltaNet-2 | Hybrid | 15.62 | 10.43 | 84.7 | 86.5 |
上表中的数据为示意性综合值,旨在展示相对排序关系。RULER针在大海捞针(needle-in-a-haystack)测试是评估长上下文精确检索能力的黄金标准,也是Gated DeltaNet-2最耀眼的舞台。在S-NIAH-2任务(在多个干扰句中检索单个目标句)中,纯循环配置的Gated DeltaNet-2在4K和8K序列长度上领先所有基线;混合配置则进一步在更长的S-NIAH-1和8K S-NIAH-2上取得最优。更值得关注的是MK-NIAH-1(多键检索)任务——模型必须在一个长序列中同时定位并提取多个分散的目标键-值关联。这是固定大小循环状态面临的最严苛考验:状态中的有限单元必须同时保留多个不相关的关联而不互相干扰。Gated DeltaNet-2在这一任务的所有长度上都取得了领先,有力地证明了擦除门与写入门的解耦确实提升了多关联记忆的容量与精度。S-NIAH-3任务的优异表现同样说明了模型在深层嵌套干扰中保持目标关联的能力。
真实世界检索基准(SWDE、SQuAD、FDA、TriviaQA、NQ、DROP)将评估从合成任务推向了实际应用场景。这些任务覆盖了从网页结构化信息抽取(SWDE)到开放域问答(TriviaQA、NQ)再到需要数值推理的阅读理解(DROP)的广泛谱系。Gated DeltaNet-2再次在两种架构配置中均取得最优平均表现,尤其在噪声关联恢复(noisy association recovery)上展现了最强实力。SWDE和FDA这类任务中的现实文档充斥着大量无关信息,精确地从噪声中提取目标关联正是解耦门控设计所瞄准的核心能力——模型可以强力擦除无关键维度的干扰,同时选择性地写入相关值维度的信息。
消融分析(ablation study)为理解设计选择的贡献提供了显微镜式的观察。当擦除门退化为标量而写入门保持逐通道时,性能明显弱于完整模型;反过来,当擦除门保持逐通道而写入门退化为标量时,模型已经非常接近完整模型的表现。这一模式清晰地揭示了擦除门是解耦设计中的主导因素——精确控制"忘记什么"比精确控制"记住什么"对记忆质量的影响更大。一个可能的解释是,错误保留的过时关联会持续污染状态并干扰后续检索,而未能写入某些值坐标的影响往往可以通过后续时间步的冗余信息来补偿。另一个有趣的消融探索了将擦除门的范围从[0,1]扩展到[0,2],理论上允许超比例擦除。实验结果显示这一扩展并未带来一致的增益,暗示当前的门控范围已经足够表达所需的擦除强度,而更大的范围可能引入训练不稳定性或过度擦除的风险。
吞吐效率(throughput)的评估在H100 GPU上进行,从序列长度4K扩展到128K。结果显示Gated DeltaNet-2保持了近乎平坦的扩展曲线,处理速度从38.0 K tokens/s微降至36.1 K tokens/s。相较于KDA,额外门控分支带来的开销是适度的,考虑到性能提升的幅度,这一代价是可接受的。平坦的扩展曲线本身就是线性注意力机制的核心承诺之一——与标准注意力的二次崩溃相比,这种近乎恒定的效率使超长序列处理真正具备了工程可行性。
5. 案例研究 (Case Studies)
为了将Gated DeltaNet-2的优势从抽象指标转化为具体理解,我们可以深入分析其在多键检索和噪声关联恢复两类典型场景中的行为模式。这两类场景恰恰触及了固定大小循环记忆的核心痛点,也因此最能体现解耦门控的价值。
想象一个MK-NIAH-1任务实例:一个长达32K token的文档中散布着关于多个实体的事实——"Alice的出生日期是1990年"、"Bob的国籍是日本"、"Alice的职业是工程师"、"Carol的爱好是绘画"——模型需要在序列末尾同时回答"Alice的出生日期和职业是什么?"以及"Bob的国籍是什么?"。对于标准线性注意力,所有键-值关联被压缩到同一个状态矩阵中,不同实体的信息在键维度上高度重叠。当模型需要提取"Alice"相关的信息时,查询向量在键方向上激活的不仅是Alice的关联,还可能连带激活Bob和Carol的关联,因为它们的键向量在有限维度上无法保持完美正交。Gated DeltaNet-2的擦除门
在真实世界检索场景中,例如SWDE任务中的网页信息抽取,文档结构往往混乱而不规则。一个产品页面上可能同时包含产品名称、价格、描述、用户评价、相关推荐等多类信息,这些信息在文本中交织出现,没有清晰的边界。对于需要提取"价格"的查询,传统方法的挑战在于:历史上所有产品的价格信息都叠加在状态的价格相关维度上,新价格不断覆盖旧价格,而旧价格的残余又会干扰当前读取。Gated DeltaNet-2的衰减门
消融实验中揭示的一个微妙现象也值得作为案例来理解:当擦除门保持逐通道而写入门退化为标量时,模型性能已经接近完整配置。这意味着在MK-NIAH和SWDE这类任务中,精确控制擦除操作远比精确控制写入操作重要。为什么会如此?一个合理的推断是,循环状态中的"污染"主要来自过时关联的不完全清除——一旦旧信息被有效擦除,新信息即使以标量统一强度写入,也能够在干净的状态空间中建立清晰的关联。相反,如果擦除不彻底,即使写入被精细门控,状态空间中已有的噪声也会持续干扰检索。这一发现为后续的方法优化提供了明确的方向:在计算资源受限的场景下,可以优先考虑保持擦除门的逐通道能力,而对写入门进行适度简化。
6. 综合价值与局限 (Synthesis — Value and Limitations)
Gated DeltaNet-2的理论意义超越了单纯的性能提升。它从根本上改变了我们对线性注意力记忆机制的理解方式:擦除与写入不是同一枚硬币的两面,而是可以也应该独立运作的两种认知操作。这一洞察为整个线性注意力家族提供了一个新的设计维度。在此之前,研究者们在"如何更好地统一控制擦除与写入"的框架内反复优化——从标量到向量,从数据无关到数据相关——而Gated DeltaNet-2展示了跳出这一框架后的广阔天地。概念工具的提供往往比具体方法更持久:未来任何涉及压缩记忆更新的工作,无论是否直接采用Gated DeltaNet-2的架构,都需要认真考虑这两种操作是否应该解耦。
从实用角度审视,这项工作最直接的受益者是长上下文语言模型和需要持续处理流式数据的系统。在文档分析、代码理解、长对话保持、实时数据监控等场景中,固定大小循环状态的高效解码与Gated DeltaNet-2增强的精确记忆能力形成了强大组合。混合架构中的滑动窗口注意力进一步覆盖了局部精确匹配的需求,使得模型在全尺度上都具备竞争力。NVIDIA作为作者单位,也意味着这项工作很可能已经或即将被集成到生产级推理系统中,其工程优化(融合内核、自动调优)已经为过大规模部署做好了准备。
然而,诚实的评估必须正视局限。首先,1.3B参数和100B token的训练规模虽然在研究比较中是公平的,但与当前最前沿的数百B参数、数T token训练规模相比,仍然处于中等规模。解耦门控在大规模训练中的稳定性、扩展性及其与更复杂训练技术(如多模态对齐、强化学习)的兼容性,尚需更大规模的验证。其次,实验主要聚焦于英语语言建模和检索任务,在其他语言、其他模态或需要复杂多步推理的任务上,Gated DeltaNet-2的优势是否依然保持,仍是开放问题。第三,门控机制的引入增加了模型的参数数量和计算开销,虽然消融显示擦除门贡献最大,但最优的门控配置可能因任务而异,固定的三分支架构可能不是普适最优解。最后,门控值的范围限制在[0,1](写入门)和[0,1](擦除门),这一约束虽然保证了稳定性,但也限制了模型表达极端操作(如完全擦除某一维度同时全力写入另一维度)的能力。扩展到[0,2]的消融未能成功,暗示可能需要更复杂的门控激活函数设计来解锁更大的表达空间。
从更广阔的领域趋势来看,Gated DeltaNet-2恰逢线性注意力研究的一个关键节点。一方面,标准Transformer的二次瓶颈日益成为部署长上下文系统的障碍;另一方面,状态空间模型(SSM)和线性注意力变体之间的竞争日趋激烈。Mamba-3通过指数-梯形离散化(exponential-trapezoidal discretization)、复值转移(complex-valued transitions)和多输入多输出(MIMO)公式化推进了SSM路线,而Gated DeltaNet-2则在delta规则路线上展示了精细化门控的潜力。两条路线孰优孰劣尚未有定论,但它们的并行推进极大地丰富了长序列建模的工具箱。这项工作所揭示的解耦原则,甚至可能对SSM方法产生启发——如果擦除与写入在线性注意力的快速权重视角下是可分离的,那么在SSM的隐状态更新中是否存在类似的解耦机会?
7. 延伸阅读与思考 (Further Reading and Reflection)
理解Gated DeltaNet-2在学术谱系中的位置,需要回到其理论先驱。Schlag et al. (2021) 将线性注意力与快速权重编程联系起来,建立了外积状态更新的理论基础;Katharopoulos et al. (2020) 提出的线性注意力近似是效率革命的起点;Gu & Dao (2023) 的Mamba系列通过选择机制(selective mechanism)将SSM推向了新的高度,Mamba-2的SSD(State Space Duality)框架更是试图统一SSM与注意力;Schlag et al. (2024) 的DeltaNet引入了delta规则本身,是定向记忆编辑的滥觞;Yang et al. (2025) 的Gated DeltaNet将门控引入delta规则,KDA(Kimi Delta Attention)则将衰减推进到逐通道级别。Gated DeltaNet-2站在这层层累积的肩膀上,完成了从"统一控制"到"解耦控制"的关键一跃。
在替代方法中,标准Transformer通过稀疏注意力(sparse attention)、长上下文扩展(context extension)和线性近似(如 Performer、Linformer)来缓解二次复杂度,但这些方法要么在极长序列上仍有不可接受的内存增长,要么在近似精度上付出代价。RWKV则尝试用线性插值的时间混合来模拟注意力,但其表达能力与门控delta机制相比仍有差距。Mamba-3的SSM路线与delta规则路线在哲学上存在微妙差异:SSM更强调通过结构化矩阵和连续动力系统来建模状态演化,而delta规则更直接地将状态视为可在线编辑的快速权重。两种视角各有所长,未来的融合或许是值得期待的方向。
这项工作打开的未来研究方向丰富而具体。首先是门控架构的进一步优化:如果三独立分支已经是正确方向,那么是否可以为每个分支设计更精细的结构——例如,让门控本身依赖于历史状态而非仅当前输入,从而赋予模型元记忆能力?其次是多模态扩展:当前的线性注意力变体主要在文本领域被验证,在视觉-语言联合建模中,空间维度的局部性与时间维度的循环性如何协调,是一个有趣的开放问题。第三是理论深化:在线梯度下降的视角提示我们,可以将整个序列处理过程视为一个在线优化轨迹,那么每一步的门控选择是否可以被形式化为某种自适应步长策略?将成熟的优化理论(如Adam的自适应动量、学习率调度)移植到序列维度,可能带来全新的训练范式。第四是推理效率的极致优化:当前的块级并行算法虽然高效,但在超大规模部署中,内存布局、通信模式和动态batching策略仍有优化空间,特别是与推测解码(speculative decoding)和KV缓存压缩等前沿推理技术的结合。
最深层的未解挑战或许是:固定大小的循环状态终究存在一个信息容量的理论上限,无论门控多么精细,当序列中的独立关联数量超过状态维度的信息容量时,信息丢失是不可避免的。Gated DeltaNet-2通过更高效的利用延缓了这一瓶颈的到来,但并未消除它。从根本上解决这一矛盾,可能需要跳出纯循环范式的框架——例如,引入可扩展的外部记忆(external memory)、层次化状态表示或稀疏激活的大型状态空间。在这个方向上,Gated DeltaNet-2的解耦思想可以被理解为"在有限空间内最大化信息组织效率"的最优策略之一,但它也是更大图景中的一个章节而非终章。
最令人深思的是,解耦擦除与写入这一设计原则在某种程度上与人类记忆的工作机制形成了隐喻式的共鸣。神经科学研究表明,大脑中记忆的巩固与遗忘是由不同的神经回路和化学机制调控的——海马体的记忆编码与额叶的主动抑制并非同一过程。Gated DeltaNet-2虽然不是神经科学模型,但其独立门控的设计在功能层面呼应了这一分离。这种跨学科的巧合或许暗示了一个更普遍的原理:在需要处理连续信息流的系统中,精细化的记忆管理需要多条独立的控制通道,而非单一的综合调节旋钮。这一原理是否会超越深度学习,在认知科学和人工智能的交汇点上产生更深远的回响,值得持续观察与思考。
Topics:
- "memory_mechanism"
- "llm"
- "reasoning"
- "long_term_memory"
- "reinforce_learning"
References: - "nvidia"
- "deltanet"