TimeEvolver：一个具有改进误差界的时序演化程序

我们提出 $TimeEvolver$，一个用于计算一般量子系统中时间演化的程序。它依赖于著名的 Krylov 子空间技术来处理大型稀疏矩阵 $i H$（其中 $H$ 为哈密顿量）与初始向量 $v$ 的乘法问题。$H$ 的厄米性使得能够提供 Krylov 近似精度的易于计算的界。除数值舍入误差的影响外，所得的后验误差界是严格的，这相对于现有软件包如 $Expokit$（R. Sidje, ACM Trans. Math. Softw. 24 (1) 1998）而言是一项关键创新。在标准笔记本上，$TimeEvolver$ 允许在维数大于 $10^6$ 的希尔伯特空间中以可调精度计算时间演化。此外，我们提供了从哈密顿算符更抽象的表示推导矩阵 $H$ 的例程。