Holographic Spread Complexity from Branes and Strings

技术摘要：来自膜与弦的全息传播复杂度

问题陈述
本文探讨了 Krylov 传播复杂度的全息诠释，这是一种衡量量子态在时间演化下如何探索其希尔伯特空间的度量。虽然之前的研究（特别是文献 [6–8]）提出，这种复杂度的增长率 $\dot{C}(t)$ 与落入 AdS 时空中的质量粒子之固有径向动量成正比，但这一提议主要是在使用唯象的点粒子进行测试。当体（bulk）探测子携带守恒的 Noether 电荷（例如沿等距方向的动量）时，存在一个显著的概念性空白。在这种情况下，简单地应用固有动量处方会导致 $\dot{C}(t)$ 在 $t=0$ 时不为零，这与 Krylov 复杂度 $C(t)$ 必须是时间的偶函数（意味着在短时间内 $\dot{C}(t) \sim t$）这一基本要求相矛盾。此外，目前尚不清楚该处方如何扩展到真正的弦论激发（膜与弦），而非抽象的点粒子。

方法论
作者采用了一种“自上而下”的方法，通过使用真实的弦论探测子，将落入粒子图景嵌入到特定的、定义明确的 AdS/CFT 对偶对中。该方法包含三个主要步骤：

1. 体动力学： 作者分析了特定探测子在超引力背景下的经典轨迹：
   • Type IIA $AdS_4 \times \mathbb{CP}^3$ 中的 D0-膜（对偶于 ABJM 理论）。
   • Type IIB $AdS_5 \times S^5$ 中旋转的非 BPS D3-膜。
   • Type IIB $AdS_5 \times S^5$ 中缠绕的基本弦 (F1)。
2. 解决电荷难题： 对于携带与等距性相关的守恒电荷（如 D0 的空间动量、D3 的角动量）的探测子，作者提出了一个固定电荷处方。他们没有使用标准的拉格朗日量，而是通过对循环坐标进行勒让德变换来构造 Routhian。随后，从由该 Routhian 控制的动力学中计算固有动量，从而有效地在固定电荷扇区内进行工作。
3. 复杂度计算： 复杂度的变化率被识别为从 Routhian 动力学中导出的固有动量的大小 ($\dot{C} \sim |P_y|$)。
4. 场论交叉验证： 对于 D0-膜的情况，作者进行了补充性的边界计算。他们将落入的 D0 识别为 ABJM CFT 中一个被修饰的单极算符（dressed monopole operator）。通过计算该算符的正则化二点函数，他们提取了生存振幅 $A(t)$，并由此直接从场论数据中导出 Lanczos 系数和传播复杂度。

核心贡献与结果

• Routhian 处方： 其核心技术贡献是提出：对于带有守恒 Noether 电荷的探测子，正确的全息字典需要使用 Routhian。

  • ABJM 中的 D0-膜： 当 D0-膜携带沿边界等距方向的动量 $P_{x_1}$ 时，朴素的固有动量会在 $t=0$ 时产生一个常数项。应用 Routhian 处方消除了这一常数，恢复了要求的线性短时行为 $\dot{C}(t) \sim t$。该结果非平凡地依赖于守恒电荷，并在电荷趋于零时平滑消失。
  • • $AdS_5 \times S^5$ 中的 D3-膜：* 旋转的 D3-膜拥有守恒角动量 $J$。作者推导出了一个锐利的径向坠落条件：如果角动量相对于能量过大，离心势垒会阻止膜的坠落（因此复杂度不会增长）。在坠落机制内，Routhian 处方同样给出了正确的短时行为。其后期增长与无电荷情况不同，反映了复杂度对电荷扇区的敏感性以及势垒的存在。

• 弦论实现与有效质量：

  • 缠绕弦： 作者分析了在径向坠落的同时缠绕内部角度的基本弦。与 D0/D3 情况下的 Noether 电荷不同，缠绕是一个拓扑数据，不需要非零初始速度。因此，该弦简化为一个有效质量粒子，其质量由缠绕数、张力和 AdS 半径进行重整化。此处不需要 Routhian 处理；标准的固有动量处方重现了预期的二次增长 $C(t) \sim t^2$。
  • 区别： 这澄清了一个概念性区别：Noether 电荷需要固定电荷（Routhian）处理，而缠绕数据则通过坠落物体的有效质量进入系统。

• 径向涨落： 本文研究了 D0-膜的小径向涨落。这些涨落被解释为不是内部弦激发（这需要 $\mathbb{CP}^3$ 中的运动），而是初始径向位置的扰动。这些涨落引起了控制有效能量（控制复杂度增长的能量）的受控修正，被解释为系统对所制备初始态变化的响应。

• 场论推导： 对于 D0-膜，作者显式地将体轨迹与边界联系起来。通过使用被修饰单极算符的生存振幅，他们计算了 Krylov 矩和 Lancsoz 系数。这提供了直接从 CFT 数据导出传播复杂度 $C(t) \propto t^2$ 的过程，证实了全息结果，而不仅仅依赖于体几何假设。

意义与主张
本文声称提供了第一个针对点状及扩展激发的真实弦论实现的全息传播复杂度。其意义在于：

1. 验证了落入粒子图景： 它证实了简单的落入粒子模型是更广泛的一类弦论探测子的鲁棒极限，前提是应用了正确的守恒电荷处理方式。
2. 完善了全息字典： 它确立了 Routhian 处方是实现边界理论中定电荷扇区工作的必要体实现，解决了守恒电荷与 Krylov 复杂度偶函数性质之间的冲突。
3. 微观敏感性： 结果表明，传播复杂度是激发微观性质的敏感诊断工具。它区分了不同类型的守恒数据（Noether 电荷 vs. 拓扑缠绕），并捕捉到了点粒子模型无法观察到的效应，如离心势垒和内部涨落。
4. 结构组织： 作者提出，全息 Krylov 复杂度可以组织为集体径向运动、固定电荷扇区、涨落及混合项，这暗示了涉及重子、巨型引力子（giant gravitons）和缺陷的未来自上而下构建具有更丰富的结构。

该工作并非旨在引入一种新的复杂度定义，而是旨在通过弦论的严谨框架，强化对现有 Krylov 传播复杂度度量的全息诠释。