自 2017 年被提出以来，Transformer 已经成为 AI 大模型的主流架构，一直稳居语言建模方面 C 位。
但随着模型规模的扩展和需要处理的序列不断变长，Transformer 的局限性也逐渐凸显。一个很明显的缺陷是：Transformer 模型中自注意力机制的较量争论量会随着上下文长度的增加呈平方级增长。
几个月前，Mamba 的出现打破了这一局面，它可以随上下文长度的增加实现线性扩展。随着 Mamba 的发布，这些状况空间模型 (SSM) 在中小型规模上已经实现了与 Transformers 匹敌，甚至超越 Transformers。
Mamba 的作者只有两位，一位是卡内基梅隆大学机器学习系助理教授 Albert Gu，另一位是 Together.AI 首席科学家、普林斯顿大学较量争论机科学助理教授 Tri Dao。
Mamba 面世之后的这段时间里，社区反应热烈。可惜的是，Mamba 的论文却惨遭 ICLR 拒稿，让一众研究者颇感意外。
仅仅六个月后，原作者带队，更强大的 Mamba 2 正式发布了。
论文地址：https://arxiv.org/pdf/2405.21060
GitHub 地址：https://github.com/state-spaces/mamba
论文标题：Transformers are SSMs: Generalized Models and Efficient Algorithms Through Structured State Space Duality
总体而言，本文提出了 SSD（state space duality）框架，基于此，研究者设计了一个新的体系架构 Mamba-2，其核心层是对 Mamba 的选择性 SSM 的改进，速度提高了 2-8 倍，同时在语言建模方面继续与 Transformers 竞争。
Tri Dao 表示，他们构建了一个丰富的 SSD 理论框架，许多线性注意力变体和 SSM 是等效的，由此产生的模型 Mamba-2 比 Mamba-1 更好、更快。
Mamba-2 的新算法使其能够利用更大的状况维度 (16 → 256)，同时训练速度更快。在需要更大状况容量的义务上，例如 MQAR 义务，它比 Mamba-1 有了显著的改进。
此外研究者还发现，最近新出的混合模型（Jamba、Zamba）增加了一些注意力层来提高模型质量。基于这些发现，研究者将 4-6 个注意力层与 Mamba-2 层混合，其表现优于 Transformer++ 和纯 Mamba-2，因而得出注意力和 SSM 是互补的。
这项研究的贡献概括为：
本文展示了状况空间模型与一类称为半可分矩阵的结构化矩阵族之间的等价性。这一联系是 Mamba-2 框架的核心，揭示了状况空间模型的新属性和算法。
本文显著改进了线性注意力理论，首先通过张量收缩的语言对其循环模式提供了一个明确的证明，然后将其推广到一种新的结构化掩码注意力（SMA）家族。
本文将 SSM（状况空间模型）和 SMA（结构化掩码注意力）联系起来，显示它们有一个很大的交集，彼此是对偶的，同时具有 SSM 式的线性模式和类似注意力的二次方模式。本文还证明了任何具有快速循环模式的核注意方法都是 SSM。
除了内在的理论价值外，研究者所提出的框架为理解和改进序列模型开辟了广阔的方向。
在算法层面。所提框架为较量争论 SSM 提供了新的高效且易于实现的算法。本文提出了一种基于半可分离矩阵块合成的 SSD 算法，该算法利用了 SSM 线性递推和二次对偶模式，在所有主要效率轴上获得了最优的权衡。基于 SSD 的实现比 Mamba 的优化选择性扫描实现快 2 到 8 倍，同时允许利用更大的循环状况大小（是 Mamba 的 8 倍甚至更高，且几乎不影响速度）。SSD 与优化过的 softmax 注意力实现（FlashAttention-2）具有高度竞争力，在序列长度 2k 时机能相当，在序列长度 16K 时速度快 6 倍。
架构设计。采用 SSM 等新架构的一个主要障碍是针对 Transformers 量身定制的生态系统，例如用于大规模训练的硬件高效优化和并行技术。本文框架允许利用已建立的惯例和技术来构建 SSM 的架构设计选择词汇表，并进一步改进它们。
本文还对 Mamba 块做了一些修改，这些修改允许实现张量并行，其主要思想包括引入分组值注意力 (GVA，grouped-value attention) 头结构。
将修改后的并行 Mamba 块与作为内部 SSM 层的 SSD 结合利用，形成了 Mamba-2 架构。研究者在与 Mamba 相同的设置中研究了 Mamba-2 的 Chinchilla 扩展法则，发现它在困惑度和实际运行时间方面均优于 Mamba 和 Transformer++。研究者还在 Pile 数据集上训练了一系列 Mamba-2 模型，结果显示 Mamba-2 在标准下游评估中匹配或超过 Mamba 和开源的 Transformers。例如，在 Pile 上训练了 3000 亿 token 的 2.7B 参数的 Mamba-2 在机能上超过了在同一数据集上训练的 2.8B 参数的 Mamba 和 Pythia 以及 6.9B 参数的 Pythia。
系统优化：SSD 框架连接 SSM 和 transformer，允许利用为 transformer 开发的丰富的系统优化工作。
SSD 层
Mamba-2 的核心贡献是新的 SSD（state space dual）层。SSD 层可以被定义为选择性 SSM 的特例。与 Mamba 相比，Mamba-2 的改动会略微降低表达能力，但却显著提高了训练效率，特别是允许在现代加速器上利用矩阵乘法单元。
SSD 层的对偶注意力：
除了最新的 SSD 层，研究者也对 Mamba 的神经网络架构做了一些小的改变，Mamba-2 架构如下所示。
Mamba-2 在网络架构上的主要变化是从顺序生成变为并行生成 SSM 参数，并且 Mamba-2 更适合张量并行等扩展方法。
通过提供状况空间模型的显式矩阵变换模式，研究团队揭示了理解和利用它们的新方法。从较量争论的角度来看，任何较量争论状况空间模型前向传播的方法都可以看作是半可分离矩阵上的矩阵乘法算法。半可分离矩阵视角为 SSD 提供了一个视角，其中双重模式分别指的是线性时间半可分离矩阵乘法算法和二次时间朴素矩阵乘法。
研究团队定义了结构化状况空间模型和结构化注意力，讨论了它们的属性，并表明它们都有二次算法和线性算法。
自最初的 Mamba 论文研究了合成义务 —— 如：合成复制和归纳 Head 以来，许多后续工作开始研究更难的关联回忆义务。由 Zoology 和 Based 系列工作引入的 MQAR（multi-query associative recall）义务已成为事实上的标准。
通过运行一个比文献中通常报告的版本要难得多的义务，该团队发现 Mamba-2 明显优于 Mamba-1，而改善机能的一个原因是状况大小（比 Mamba-1 大约 16 倍）。
在这篇文章中，作者深入探讨了模型背后的理论。
从两个完全不同的角度推导出 SSD 的「对偶性」：
一个从 SSM 的角度出发；
另一个从注意力机制的角度出发。
SSD 框架提供了状况空间模型、注意力机制和结构化矩阵之间丰富的联系。
虽然 SSD 模型可以被视为框架内每一个分支的具体实例，但 SSD 框架本身更加通用，为未来的工作开辟了许多方向。
SSD 框架（红色，蓝色）：状况空间模型（即半可分矩阵）和结构化掩码注意力机制包含了大量高效的序列模型。它们的交集是 SSD 模型（紫色）。
SSD 算法
通常，矩阵乘法（matmul）的 FLOPs 速度要比非矩阵乘法 FLOPs 快得多（高达 16 倍）：A100 GPU 具有 312 TFLOPS 的 BF16 矩阵乘法机能，但只有 19 TFLOPS 的 FP32 算术机能，而 H100 具有 989 TFLOPS 的 BF16 矩阵乘法机能，但只有 67 TFLOPS 的 FP32 算术机能。
Mamba-2 的主要目标之一是「利用张量核心加速 SSM」。
在绑定参数并引入 Head 结构后，Mamba-1 中的 SSM 变成了 SSD，这是一种更具限制性的模式，具有类似注意力的公式。并且由于 SSD 连接 SSM 和结构化矩阵，较量争论 SSM 的高效算法直接对应于「token-mixing」或「sequence-mixing」矩阵 M 的不同合成。
因此，可以通过寻找替代的矩阵乘法方式，例如通过各种方式对其进行合成，从而创建较量争论 SSM 的新算法。
通过精心选择块大小，对这个矩阵进行简单块合成，就可以集 SSD 线性递归和二次注意力对偶模式的两种优势于一身。
而这也就是 SSD 算法的起源，它有 4 个步骤，并且对于这个算法有两种完全不同的诠释。
SSD 算法：分块矩阵合成
首先将半可分 SSM 矩阵划分为大小为 Q×Q 的块，然后，利用半分矩阵的性质来合成每一个低秩的非对角块：
（橙色）每一个对角块是一个更小的半可分矩阵，可以以喜欢的方式较量争论这个乘法，特别是利用 SSD 的二次（类似注意力机制）模式。
（绿色）总共有 T/Q 个不同的绿色块，通过批处理矩阵乘法来较量争论。
（黄色）注意，黄色项本身是一个 1 – 半可分矩阵，这一步等价于对某些修改后的 A 因子的 SSM 扫描。
（蓝色）与绿色类似，通过批处理矩阵乘法来较量争论。
SSD 算法：分块和状况传递
该算法的另一种诠释涉及「推理 SSM 如何在实际序列上进行操作」。
首先将输入序列分割成大小为 Q 的块，步骤可以分为：
分块内部输入：较量争论每一个块的局部输入（假设初始状况（对于块）为 0，则每一个块的输入是多少？）
块状况：较量争论每一个块的最终状况（假设初始状况（对于块）为 0，则每一个块的最终状况是多少？）
传递状况：较量争论所有块的最终状况的递归 – 利用任何所需的算法，例如并行或顺序扫描（考虑到所有先前输入，每一个块的实际最终状况是多少？）
输入状况：对于每一个块，根据其真实的初始状况（在步骤 3 中较量争论），仅从初始状况得出的输入较量争论贡献
可以看到，大部分算法（步骤 1、2 和 4）利用了矩阵乘法（因此利用了张量核心），而且可以并行较量争论。
只有步骤 3 需要扫描，但它只操作一个非常短的序列，通常只需要很少时间。
系统及扩展优化
张量并行
利用张量并行对 Mamba-1 进行大规模训练的一项困难是，每层都需要 2 次 all-reduce，而在 Transformer 中，每一个注意力或 MLP 层只需 1 次 all-reduce。这是因为 SSM 的一些参数是内部激活的函数，而不是层的输入函数。在 Mamba-2 中，由于采用了「并行投影」结构，所有 SSM 参数都是层输入的函数，因此可以轻松地将张量并行应用于输入投影：将输入投影和输入投影矩阵分割成 2、4、8 个碎片，具体取决于张量并行度。研究者利用 grouped norm，分组数除以张量并行度，这样每一个 GPU 都能单独完成归一化。这些变化导致每层只需 1 次 all-reduce，而不是 2 次。
序列并行
在对超长序列进行训练时，可能需要沿着序列长度进行分割，并将不同部分分配给不同的设备。序列并行主要有两种模式：对于残差和归一化操作，用 reduce-scatter、残差 + 归一化、然后 all-gather，取代张量并行中的 all-reduce。由于 Mamba-2 利用与 Transformer 相同的残差和归一化结构，因此这种模式的序列并行无需修改即可直接应用。对于注意力或 SSM 操作，又称上下文并行（CP）。对于注意力，可以利用环形注意力沿序列维度进行分割。对于 Mamba-2，SSD 框架再次提供了帮助：利用相同的蒯合成，可以让每一个 GPU 较量争论其本地输入和最终状况，然后在更新每一个 GPU 的最终输入之前，在 GPU 之间传递状况（利用发送 / 接收通信原语）。
实验结果
该研究在 MQAR 的一种具有挑战性的版本上，利用更难的义务、更长的序列和更小的模型进行了对比实验。基线包括标准的多头 softmax 注意力以及 Based 架构，实验结果如图 8 所示。
下表显示了 Mamba-2 在一系列下游零样本评估义务上的机能：
感兴趣的读者可以阅读论文原文，了解更多研究内容。