Krylov Complexity for Time-Dependent Hamiltonians

技术摘要：随时间变化的哈密顿量的 Krylov 复杂度

问题陈述
Krylov 复杂度（或称扩散复杂度）已成为一种重要的底层量子复杂度度量，用于量化初始态在时间演化下探索希尔伯特空间的方式。虽然该理论在对时间无关的哈密顿量研究中已得到广泛研究，但其在随时间变化的哈密顿量 $H(t)$ 中的应用面临着概念和技术上的挑战。主要的障碍在于不同时刻哈密顿量之间的非对易性 $[H(t_1), H(t_2)] \neq 0$，这使得演化算符必须采用时间排序形式：$U(t, t_0) = \mathcal{T} \exp[-i \int_{t_0}^t H(s) ds]$。这种结构阻碍了标准 Krylov 构造的直接应用，因为后者天然是为时间无关生成元设计的。本文旨在解决在无法获得精确解的情况下，计算此类随时间变化场景中 Krylov 复杂度的实用方法需求。

方法论
作者提出了一个利用 Magnus 展开来近似时间演化算符的框架，从而能够定义用于计算 Krylov 复杂度的有效时间无关生成元。该方法论分为两个主要机制：

1. 周期驱动系统（Floquet 理论）：
   对于满足 $H(t+T) = H(t)$ 的系统，作者利用 Floquet 理论，其中一个周期的演化算符通过 Floquet 哈密顿量 $H_F$ 定义为 $U(t_0+T, t_0) = e^{-iH_F T}$。当 $H_F$ 无法以闭合形式获得时，采用 Floquet–Magnus 展开作为系统的摄动近似。作者分析了该展开的收敛性，指出虽然它在短时间或高频驱动下是可靠的，但由于久期项（secular terms）或加热效应的影响，在长时间间隔内可能会失去精度。

2. 一般随时间变化系统（分段 Magnus 展开）：
   对于不存在全局 Floquet 描述的非周期系统，作者引入了分段 Magnus 展开。该方法将总时间间隔 $[0, t]$ 划分为较小的子区间 $[t_j, t_{j+1}]$，使得 Magnus 展开在每个步长上都满足局部收敛条件。完整的演化被重建为一个局部传播子的有序乘积，每个传播子都由截断的 Magnus 级数近似。该方法允许追踪任意长时间内的有效哈密顿量，即使在全球展开会发散或失效的情况下也是如此。

主要贡献与结果

• 两能级周期驱动系统：
  该框架被应用于驱动的两能级系统。

  • 圆偏振驱动： 通过旋转坐标系变换，该问题得到了精确求解，得到了一个静态有效哈密顿量以及关于 stroboscopic（频闪/周期性）Krylov 复杂度的解析表达式。
  • 线偏振驱动： 在高频机制下，作者使用 Floquet–Magnus 展开推导出了一个有效 stroboscopic 哈密顿量。他们证明了领先项涉及对静态项的贝塞尔函数（Bessel-function）重整化，而二阶修正引入了一个涉及贝塞尔函数和 Struve 函数的横向项。这个在平均哈密顿量近似中缺失的横向项，是导致微弱跃迁并对复杂度增长做出贡献的原因。作者还为 Magnus 级数的截断误差提供了严格的界限，表明在收敛机制内，误差随阶数呈指数级改善。

• 二次型振子与辛演化：
  作者将分析扩展到了频率随时间变化的谐振子，其动力学受辛变换控制。

  • 突变淬火基准： 对于频率的突变淬火（sudden frequency quench），全局 Magnus 展开在第一阶处精确终止（因为对易子消失），为 Krylov 复杂度提供了精确的解析基准。
  • 软淬火（分段方法）： 对于平滑的、有限时间内的频率变化（“软淬火”），全局展开是不够的。作者通过数值实现分段 Magnus 展开。他们展示了 Krylov 复杂度在上升阶段（ramp）增长，并在快速淬火时表现出有界的振荡；而缓慢（绝热）淬火则导致复杂度平滑地趋向于一个常数最终值，且在上升阶段后几乎没有振荡。

• 挤压真空态的 Krylov 复杂度：
  附录中推导出的一个特定结果表明，对于从参考真空态演化的挤压真空态，其 Krylov 复杂度与挤压参数的平方成正比：$C_K(t) = \frac{1}{2} \sinh^2 r(t) = \frac{1}{2} |\nu(t)|^2$，其中 $\nu(t)$ 是 Bogoliubov 系数。

意义与主张
本文声称为分析广泛的随时间变化量子系统的复杂度增长提供了实用工具。其主要意义在于弥补了理论定义的 Krylov 复杂度与在随时间变化场景下的可计算性之间的鸿沟。通过结合 Floquet 理论与 Magnus 展开，作者提供了一种为周期系统定义 stroboscopic 复杂度的方法。此外，引入的分段 Magnus 展开解决了全局近似的局限性，为全局收敛失效的非周期系统提供了一种可靠的方法。

作者将他们的工作定位为现有方法的补充，例如将 Floquet 演化映射到有效一维模型或使用扩展希尔伯特空间形式。他们强调，基于 Magnus 的框架特别适用于可以进行摄动或局部构建有效哈密顿量的系统，从而允许在无需求解完整时间排序演化的情况下提取复杂度。论文结论指出，这些方法是稳健的，这从它们与已知解析极限（突变淬火）及物理预期（绝热行为）的一致性中得到了证实，并提出了未来向算符复杂度及广义 Krylov 复杂度的扩展方向。