Length-resolved Operator Growth and Path-Entropy Obstructions to Many-Body Localization

本文证明了具有严格正耦合和场的无序伊辛链中的算符增长在时间与空间支撑上均表现出近阶乘级的标度，从而在理论上排除了在任何无序强度下存在动力学局域化的可能性，并揭示了一种导致摄动多体局域化失效的结构性路径熵障碍。

要点

想象一下，你有一条由人组成的长队（一个“自旋链”），他们手拉着手。有些人握得很紧（强连接），而有些人握得很松或者根本没握手（无序）。在物理学中，我们经常问：如果你推一下队伍最开始的那个人，这个“推力”会停留在他们附近，还是会扩散开来，从而震动到所有人？

在量子物理世界中，这个问题关乎多体定位（Many-Body Localization, MBL）。长期以来，物理学家们一直希望，如果这种无序程度（连接的“松散度”）足够强，这个推力就会被困住，系统永远不会忘记它的初始状态。这就像是一个永远不会消散的交通堵塞。

然而，这篇论文指出，对于某些类型的量子系统，这种交通堵塞只是一个幻觉。以下是利用简单类比对研究结果进行的拆解：

1. “可能性”的爆炸

作者研究了当你反复“戳”系统时（在数学上即取对易子）会发生什么。他们发现，这个“推力”不仅仅是在扩散，它还在复杂性上发生了“爆炸”。

想象你正试图从家走到朋友家。

• 旧观点（定位）： 你走了一条路，可能绕了几次弯，但你始终保持在特定的街道上。
• 新观点（本论文）： 每当你迈出一步，你可能采取过的路径数量就会剧烈倍增。这不仅仅是几个绕路的问题；这仿佛每走一步，你都会分裂成一棵呈指数级增长的、分支繁多的可能性之树，其增长速度几乎是阶乘级的（一个比你数数的速度还要快的数字，比如 $100!$）。

论文证明，在这些无序系统中，推力的“权重”不仅仅是在扩散，它正被分配到海量的、几乎是无限多的不同路径之中。

2. “路径熵”的障碍

作者引入了一个概念，叫做路径熵（Path Entropy）。可以将其理解为由于选项过多而产生的纯粹“噪声”或“混乱”。

• 类比： 想象你在一个房间里试图听清一个耳语。如果房间很安静（低熵），你可以听到。但如果房间里充满了数百万人同时在喊着各种随机的话语（高路径熵），耳语就会被淹没。
• 结果： 在这些量子系统中，由数十亿条可能路径产生的“噪声”如此巨大，以至于它压倒了任何试图保持信息局域化的尝试。论文认为，如果系统要保持定位状态，所有这数十亿条随机路径必须奇迹般地完美抵消（就像一个合唱团唱得如此完美，以至于声音消失了一样）。作者表示，除非存在某种我们尚未发现的特殊隐藏规则，否则这在统计学上是不可能的。

3. “有限尺寸”的幻觉

这是关于为什么计算机模拟会产生误导性的一个非常实际的发现。

• 类比： 想象你正在研究森林大火蔓延的速度。如果你只观察一小片草地（小型计算机模拟），火势似乎很快就熄灭了，因为火烧完了可燃物。看起来火是被“定位”住了。
• 现实： 但如果你观察整片森林，火势会蔓延到到处。
• 论文的观点： 作者证明，目前的计算机模拟观察的是“微小的补丁”。他们推导出了一个特定的尺度：$L \sim (W/J)^2$。只要系统尺寸（$L$）小于这个尺度，系统看起来就像是定位的。但一旦系统变得足够大（大于这个尺度），“火势”（算符增长）不可避免地会扩散开来。这种在小型模拟中看到的“定位”，仅仅是一个前渐近机制（pre-asymptotic regime）——即在真实的扩散行为接管之前的临时幻觉。

4. “修复工具”的失效

物理学家有一种数学工具（称为 Schrieffer-Wolff 变换），用于将一个混乱的系统“修复”并转化为一个整洁的、局域化的系统。他们曾希望这个工具能适用于这些无序链。

• 类比： 想象你试图通过一次移动一件物品来整理一个乱糟 Room。
• 问题： 作者展示了当你试图整理房间时，由于“混乱”（事物排列组合的可能性）增长得太快，你的整理工具会失效。这种“路径熵”（事物发生的无数种方式）压倒了工具保持整洁的能力。
• 结论： 你无法使用标准方法构建出这个系统的“局域化”版本，因为路径的复杂性实在太高了。

总结

论文得出结论：在这些特定的量子链中，真正的、永久的定位（即系统永远不忘记其初始状态）很可能是不可能实现的，无论无序程度有多强。

• 短期/小规模系统： 系统看起来像是被困住了（定位）。
• 长期/大规模系统： “路径熵”最终会获胜。系统最终会扩散开来，忘记初始状态，并变得具有“遍历性”（完全混合）。

作者暗示，如果定位真的存在，它需要一种奇迹般的隐藏机制，让数十亿条随机路径完美地相互抵消——作者认为这种情况发生的概率极低。因此，在真实的、无限的世界里，这些系统很可能始终是混沌且扩散的，而不是被困住的。

技术摘要

技术摘要：长度解析算符增长与多体定位中的路径熵阻碍

问题陈述
在热力学极限下，多体定位（MBL）的存在性及其稳定性仍是一个激烈争论的话题。虽然对于无相互作用系统，存在关于安德森定位的严格证明，但在相互作用的无序系统中，MBL 的稳定性仍存争议。一个主要的挑战在于，如何区分数值研究中的真实相变与有限尺寸交叉现象，而这些数值研究受限于较小的系统尺寸。此外，在“遍历系统表现出极大（近乎阶乘级）算符增长”的假设与“相互作用无序系统可能保持定位”的可能性之间，存在着一种结构性的张力。本文探讨了极大算符增长是否与最强的定位形式（动力学局域性）以及通过微扰方案构建的局部积分运动量（LIOMs）相兼容。

方法论
作者重点研究了具有横向和纵向场的一维无序 Ising 链，其中耦合项和场强均取自严格正值的分布。本研究采用严谨的算符理论方法，而非数值对角化。

1. 算符形式： 作者利用泡利串基底（Pauli string basis），按支持长度 $\ell$ 解析算符范数。他们分析了哈密顿量 $H$ 与局部算符 $A$（具体为 $\sigma^z_0$）的 $k$ 阶迭代对易子 $L_H^k(A) = [H, A]^{(k)}$。
2. 规范变换： 为了建立严格的下界，作者引入了一种特定的规范变换（改变泡利算符的基底），该变换确保了 Liouville 超算符的所有矩阵元均为严格正值。这消除了不同对易路径之间发生破坏性干涉的可能性，从而允许建立一个严格的算符增长下界。
3. 路径熵分析： 核心分析涉及统计对易展开中的“散射路径”（scrambling paths）数量。作者区分了个体路径振幅的指数衰减（由无序驱动）与路径熵的组合爆炸之间的关系。
4. 微扰构建： 本文研究了用于构建 LIOMs 的迭代 Schrieffer-Wolff 变换的收敛性。作者分析了将微观哈密顿量映射到 LIOM 哈密顿量的幺正变换生成元 $T$ 在 $n$ 阶下的支持长度增长情况。

主要贡献与结果

1. 长度解析的近阶乘增长：
   作者推广了 Cao [1] 的先前结果，通过按支持长度解析算符权重。他们证明，对于耦合项为正的无序 Ising 链，在特定长度尺度 $\ell_k \sim k / \ln k$ 处，算符权重呈近阶乘级增长：
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   这意味着算符权重并非局限于短程，而是发生空间扩散，其主导权重所在的长度随对易子阶数 $k$ 发散。

2. 严格排除动力学局域性：
   基于上述长度解析的下界，本文证明了“动力学局域性”（即局部算符在时间演化下保持指数局域化的条件）在上述模型中被严格排除。来自对易路径分支的熵贡献压倒了由无序预期产生的指数局域化因子。

3. 有限尺寸交叉尺度：
   路径熵项（驱动去局域化）与指数局域化项（由无序强度 $W$ 和耦合 $J$ 驱动）之间的竞争，确立了一个严格的有限尺寸交叉尺度：
   $$L \sim \left(\frac{W}{J}\right)^2$$
   对于系统尺寸 $L \lesssim (W/J)^2$ 的情况，系统处于“前渐近”（pre-asymptotic）状态，此时路径熵尚未压倒局域化。在此状态下，数值研究可能会观察到表观的局域化，但这是一种在热力学极限（$L \to \infty$）下会消失的瞬态效应。

4. LIOM 构建的路径熵阻碍：
   本文识别了构建 LIOMs 的微扰过程中的一个结构性阻碍。即使假设不存在多体共振或雪崩，迭代的 Schrieffer-Wolff 方案也会产生随支持长度增长的散射路径数量。作者认为，除非存在某种尚未被识别的机制，能使这些具有随机振幅的近阶乘级路径产生破坏性干涉，否则生成元 $T$ 的幺正变换必然会变得非局域。这表明，由于“路径熵”的存在，LIOM 的微扰构建在热力学极限下会失效。

5. 与抽象 LIOMs 的一致性：
   作者澄清，虽然极大算符增长排除了动力学局域性，但并不严格排除抽象 LIOM 哈密顿量的存在。他们证明了抽象 LIOM 哈密顿量可以支持比阶乘级更快的增长。然而，阻碍在于构建将微观模型映射到此类抽象哈密顿量的拟局域幺正映射的过程。

意义与主张
本文声称解决了极大算符增长与局域化之间的张力，证明了极大增长是无序相互作用自旋链的通用特征，并排除了最强的局域化形式（动力学局域性）。

• 关于数值研究： 该工作为为什么数值研究在强无序下常暗示稳定的 MBL 相提供了一个严格的解释。它指出，这些观测结果是定义在交叉尺度 $L \sim (W/J)^2$ 之内的前渐近状态的伪影。因此，小尺寸系统的数值模拟并不适合用来判定热力学极限下 MBL 的稳定性。
• 关于 MBL 稳定性： 作者得出结论，对于通用的无序自旋链，路径熵阻碍是一个可能导致 MBL 在热力学极限下不稳定的基本机制。他们认为，若要 MBL 生存，需要一种高度精细调节的机制，用以实现对近阶乘级数量的、依赖于无序的路径进行系统性抵消，而这被认为是极不通用的。
• 关于实时动力学： 研究结果表明，这些系统中的实时算符传播是弹性的（饱和于 Lieb-Robinson 锥），仅存在对数级的修正，而非亚弹性的或局域的；因为实现亚弹性传播所需的系统性抵消在统计上是极不可能发生的。

总而言之，本文认为，源于算符内容组合分支的“路径熵”构成了一个结构性障碍，阻碍了局域化，这一障碍独立于共振效应，并对是否存在稳定的 MBL 相提出了挑战。