1. 状态空间模型基础与连续时间系统
选择性状态空间模型(Selective State Space Models)是近年来自然语言处理领域的重要突破,它巧妙地将经典控制系统理论与现代深度学习相结合。要理解这一架构的精妙之处,我们需要从最基础的状态空间模型开始。
1.1 连续时间线性系统
状态空间模型本质上描述的是一个动态系统的演化过程。在连续时间域中,一个线性时不变系统可以用以下微分方程表示:
code复制h˙(t) = Ah(t) + Bx(t)
y(t) = Ch(t)
其中:
- h(t) ∈ ℝ^N 是系统的隐藏状态
- x(t) ∈ ℝ 是输入信号
- y(t) ∈ ℝ 是输出信号
- A ∈ ℝ^(N×N) 是状态转移矩阵
- B ∈ ℝ^N 是输入矩阵
- C ∈ ℝ^N 是输出矩阵
这个系统的工作原理可以类比为一个蓄水池:输入x(t)像水流一样注入,A决定了水池内部的水流方向,B控制着输入如何影响水池,C则决定了我们从水池的哪些部分读取水量作为输出。
1.2 HiPPO矩阵与记忆机制
传统RNN在处理长序列时面临梯度消失/爆炸问题,关键在于如何设计A矩阵。HiPPO(High-order Polynomial Projection Operator)理论提供了一个优雅的解决方案:
code复制A_hippo[i,j] = {
√(2i+1)(2j+1) if i > j
-(i+0.5) if i == j
0 otherwise
}
这种特殊结构使得系统能够将历史信息压缩到多项式基的线性组合中,相当于给模型配备了一个"理论最优"的记忆机制。在实际实现中,我们通常采用对角化版本(S4D),将A简化为对角矩阵A=diag(λ₁,...,λ_N),其中λ_n∈ℂ,实部为负以保证稳定性。
技术细节:HiPPO矩阵的特征值全部位于左半平面,这意味着系统具有"衰减记忆"的特性——近期的输入影响大,远期的输入影响逐渐衰减,这与人类记忆的特点惊人地相似。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 离散化与递推计算
2.1 从连续到离散
实际计算需要在离散时间步上进行,因此需要进行离散化转换。采用零阶保持(Zero-Order Hold)方法:
code复制Ā =
