Krylov Complexity from Loschmidt Amplitude

技术摘要：基于洛施密特振幅的克里洛夫复杂度（Krylov Complexity）

问题陈述
克里洛夫复杂度已成为一种强大的量子动力学诊断工具，通过兰佐斯（Lanczos）递归方法，为希尔伯特空间中的波函数离域提供了清晰的定义。然而，存在一个根本性的局限：克里洛夫空间度量（如复杂度）只能重建系统直到自相关函数为止。两个具有相同自相关函数的物理上截然不同的系统，会产生完全相同的克里洛夫展开。因此，将克里洛夫基底的特征特征翻译回局部希尔伯特空间算符的语言，需要额外的、特定于模型的输入。此外，虽然克里洛夫复杂度与其他混沌度量（如 OTOC）之间存在联系，但目前仍缺乏一个统一的框架，能够直接通过洛施密特振幅（Loschmidt amplitudes）的视角，将克里洛夫复杂度的增长与量子态对哈密顿量扰动的敏感性联系起来。本文旨在解决如何将克里洛夫复杂度和其随时间演化表示为洛施密特振幅导数的问题，从而为复杂度动力学提供一种分类方案，并建立几何界限。

方法论
本文采用兰佐斯算法的形式化方法，从初始态 $|\psi(0)\rangle$ 和哈密顿量 $H$ 构建正交归一的克里洛夫基底 $\{|n\rangle\}$。动力学被编码在三对角矩阵 $M$（即 $H$ 在克里洛夫基底下的表示）中，该矩阵由兰佐斯系数 $a_n$ 和 $b_n$ 表征。

核心方法论涉及引入两种对哈密顿量 $M$ 的辅助形变：

1. 角度形变 ($\phi$)： 由数算符 $\hat{n}$（用于计数克里洛夫指数）生成的旋转。形变后的哈密顿量定义为 $M(\phi) = e^{i\hat{n}\phi} M e^{-i\hat{n}\phi}$。
2. 欧几里得形变 ($\tau$)： 由算符 $F = i[B, M]$ 生成的形变，其中 $B = i[\hat{n}, M]$ 是一个“动量”算符。这对应于通过欧几里得时间 $e^{-\tau H}$ 对初始态进行演化。

作者利用这些形变来定义洛施密特振幅 $G(t, \phi) = \langle 0 | e^{iMt} e^{-iM(\phi)t} | 0 \rangle$ 以及与其相关的 $\tau$ 相关项。通过分析这些振幅的谱性质以及算符 $M, B, \hat{n}$ 的代数结构，作者推导出了克里洛夫复杂度矩与这些振幅导数之间的关系。该分析高度依赖于谱函数 $\Phi(E)$（自相关函数的傅里叶变换）以及与兰佐斯系数相关的正交多项式的性质。

主要贡献与结果

1. 作为洛施密特导数的克里洛夫复杂度：
   本文确立了克里洛夫复杂度 $\langle \hat{n}(t) \rangle$ 是洛施密特振幅的主阶相位响应。具体而言，$k$ 阶复杂度分布的矩可以通过 $G(t, \phi)$ 对 $\phi$ 在 $\phi=0$ 处的 $k$ 阶导数给出：
   $$\langle \hat{n}^k(t) \rangle = (-i)^k \frac{\partial^k}{\partial \phi^k} G(t, \phi) \Big|_{\phi=0}$$
   该公式定义了一个“谱传播子” $K(E_1, E_2, \phi)$，它编码了整个复杂度分布。

2. 时间导数与 $\tau$ 分类：
   克里洛夫复杂度的时变导数被表示为一个涉及欧几里得时间形变 $\tau$ 的不同洛施密特振幅的导数：
   $$\partial_t \langle \hat{n}(t) \rangle = i \partial_\tau \langle 0 | e^{iM(0)t} e^{-i(M(0) + \tau F)t} | 0 \rangle \Big|_{\tau=0}$$
   算符 $F = i[B, M]$ 支配这种扰动。本文提出了一种基于 $F$ 的增长性和有界性的克里洛夫复杂度动力学分类方案。

   • 有界扰动： 如果 $F$ 是一个有界算符（例如，当兰佐斯系数增长缓慢或趋于饱和时），则该扰动可以近似为有限秩截断。这使得复杂度动力学可以由一个带有有限截断 $n^*$ 的可测量振幅来捕捉。
   • 无界扰动： 在兰佐斯系数快速增长（例如线性增长）的混沌系统中，$F$ 是无界的，此时有限秩截断无法准确捕捉动力学过程。

3. 复杂度的通用界限：
   利用柯西-施瓦茨不等式和 $F$ 的 Frobenius 范数，作者推导出了关于自相关函数 $C(t)$ 的克里洛夫复杂度的一般上界：
   $$\langle \hat{n}(t) \rangle \leq \|F\| \sqrt{\int_0^t ds_1 \int_0^t ds_2 (t-s_1)(t-s_2) |C(s_1-s_2)|^2}$$
   只要 $\|F\|$ 有限，该界限在对兰佐斯系数增长的假设极小的情况下依然成立。对于特定情况（如具有常数 $b_n$ 的随机矩阵理论），本文推导出了所有复杂度矩的精确后期渐近行为。

4. 复杂度几何与体积界限：
   本文构建了一个由时间 $t$ 和形变角 $\phi$ 构成的二维黎曼几何。该度量由希尔伯特空间上的 Fubini-Study 度量诱导。

   • 体积界限： 作者证明了克里洛夫复杂度受限于该几何体在时间 $t$ 内的体积。具体为 $\langle \hat{n}(t) \rangle \leq \frac{1}{\pi} \text{Vol}_t$。
   • 饱和： 当 $\hat{n}, M, B$ 之间的代数闭合时（例如在 $SL(2, \mathbb{R})$ 或 Heisenberg-Weyl 代数中），该界限达到饱和，从而产生常曲率空间。
   • 测地线偏差： 几何体的标量曲率被证明与克里洛夫方差 $\Delta n(t)$ 的凸性有关。

5. IPR 与方差之间的统计关系：
   研究发现了一个令人惊讶的统计特性：对于一类广泛的系统，克里洛夫波函数的反参与率（IPR）与复杂度分布的标准差（$\Delta n(t)$）成反比：
   $$\text{IPR}_t \sim \frac{1}{\sqrt{\pi} \Delta n(t)}$$
   这一关系在具有常数兰佐斯系数以及受复杂度代数支配的系统中均成立，表明了克里洛夫基底概率的一种稳健统计行为。

意义与主张
本文声称提供了一个统一的解析框架，将克里洛夫复杂度视为对哈密顿量扰动的敏感性度量。通过将复杂度矩表示为洛施密特振幅的导数，这项工作弥合了抽象的克里洛夫空间度量与物理可观测量（如生存振幅）之间的鸿沟。

其重要性在于：

• 分类： 提供了一种基于扰动算符 $F$ 有界性的对量子动力学进行分类的新方法，区分了哪些系统可以通过有限截断来近似，哪些系统需要完整的谱分辨率。
• 几何解释： 建立了复杂的几何图像，其中复杂度受限于参数空间的体积，将量子混沌概念（如李雅普诺夫指数）与几何曲率和轨迹分离联系起来。
• 预测能力： 直接从自相关函数中导出通用的界限和渐近行为，而无需了解完整的兰佐斯序列细节（对于具有有界谱函数的系统）。

作者强调，虽然与混沌指数（如李雅普诺夫指数）的联系具有启发性和类比性，但要建立克里洛夫指数与一般系统中混沌的精确物理识别，还需要进一步考虑自相关函数的具体物理内容，这超出了本文的研究范围。本文侧重于克里洛夫形式体系内的结构性和代数关系。