SSM 对角等价性研究:统一 Mamba 1-3 并提出 SSD-MIMO 检索扩展
Diagonal Equivalence in State Space Models: Characterization, Retrieval Rank, and Selective Extensions
一篇把 Mamba 1 到 3 统一进同一数学框架的理论论文,还附带更快的 GPU 核和新的 MIMO 检索扩展,适合研究序列模型的读者。
这篇论文对线性转移的状态空间模型做了对角等价性分类,证明该类可通过共享的 token 局部矩阵映射与带乘性掩码的标量模式线性注意力对应。论文提出的 SSD-MIMO 通过为每个局部接口路由独立值,把局部检索秩提升到 1 以上,HybridMamba 则混合了 Mamba 1 的逐坐标衰减、Mamba 2 式头和 Mamba 3 的复数旋转。在 5 个 H100 bfloat16 工作负载上,其融合 GPU 核在匹配 SISO 配置下的训练时间几何均值优于官方 Mamba 1/3。约 500M 参数的实验显示两种设计在 2B token 测试损失上改进了 Mamba 1/2,但在语言模型损失上仍落后于 Mamba 3 MIMO。
Diagonal Equivalence in State Space Models: Characterization, Retrieval Rank, and Selective Extensions
We classify real and complex state-space models (SSMs) with linear transitions, distinguishing fixed-basis diagonal equivalence from input-output equivalence and tracking coefficient-conditioning windows under coordinate changes. We characterize diagonal equivalence through commuting transition families whose members are diagonalizable over the chosen field. With time-shared token-local matrix maps, we identify this class's state-mediated kernels with unnormalized scalar-mode linear attention with multiplicative masks. Mamba 3's multiple-input, multiple-output (MIMO) construction lifts one value per local interface; SSD-MIMO routes independent values for local retrieval rank above one. HybridMamba combines Mamba 1's per-coordinate decay, Mamba 2-style heads and Mamba 3's complex rotations and two-endpoint writes, mixing real and rotating state blocks with different decay laws. They recover Mamba 1-3 single-input, single-output (SISO) configurations as exact special cases. On five large H100 bfloat16 workloads, our fused GPU kernels improve geometric-mean training time over official Mamba 1/3 in matched SISO recoveries, with Mamba 2 near parity at SSM-core scope. Memory tradeoffs depend on the baseline and metric: saved-for-backward versus peak allocation. In small-model multi-token recall experiments, both designs outperform Mamba 1-3 on the hardest tier; higher routing ranks perform best in gated or phase-diverse configurations. In single-seed language models with about 500M parameters, both improve on Mamba 1/2 in test loss at 2B tokens, but the routing gains do not translate into lower language-model loss. Our best configurations approach Mamba 3 SISO through 10B tokens while remaining behind it and Mamba 3 MIMO in language-model loss.
- rohanpaul_ai11-02 21:18原文