arXiv:2411.17729v3 宣布类型: 替换-交叉 摘要: 我们提出了一种在时域内应用线性时不变系统（LTI）的矩阵转移函数的无条件稳定算法。用于模拟状态空间模型（SSMs）中长距离依赖性的LTI系统的状态矩阵具有接近1的特征值。如果m×m状态矩阵仅有一个特征值的绝对值稍大于1，标准的LTI系统递归定义就会变得不稳定。这可能发生在通过结构化矩阵近似状态矩阵以将矩阵-向量乘法的成本从O(m²)降低到O(m)或O(mlogm)时。我们引入了一种无条件稳定的算法，该算法通过在z域中用一个2^{N+1}-1次多项式近似有理转移函数，来实现任意用户选择的精度水平。使用时域级联实现，应用该转移函数计算L个状态所需的矩阵-向量乘法次数不超过2L（而标准递归需要L次矩阵-向量乘法）。然而，使用无条件稳定算法时，并不需要确保近似状态矩阵的所有特征值的绝对值严格小于1，即在期望的精度范围内，某些特征值的绝对值可能超过1。因此，该算法允许使用更广泛的结构化近似以降低矩阵-向量乘法的成本，并简要描述了几种可用于此目的的近似方法。