技术摘要：超越光锥：量子自旋玻璃态制备的复杂度

问题陈述

本文探讨了量子信息与多体物理中的一个基本问题：当近似哈密顿量的极值能量时，受限量子态类的表达能力（expressive power）如何？具体而言，作者研究了准备稠密量子 $p$-自旋哈密顿量（一种典型的随机 $p$-局部哈密顿量）低能态所需的态制备复杂度。

现有的证明电路复杂度下界的方法通常依赖于有界光锥（证明浅层电路无法将局部信息全局扩散），或稳定子码（stabilizer codes）的代数刚性。然而，对于局部可观测量可以全局扩散的态类（例如通过 Clifford 电路），或者对于能量方差不足以通过简单并集界（union bounds）进行浓缩的哈密顿量，这些方法会失效。作者旨在开发一个通用的框架，在不依赖于光锥论证的情况下，为性质各异的受限态类建立能量下界。

方法论：局部轮廓复杂度原理（The Local-Profile Complexity Principle）

其核心贡献是一个新的框架，该框架不是通过电路深度或纠缠结构直接刻画一个态类，而是通过其Pauli 轮廓（Pauli profiles）的度量熵。

1. Pauli 轮廓与能量

对于稠密量子 $p$-自旋哈密顿量 $H_{n,p}$，一个态 $\rho$ 的能量完全取决于其权重为 $p$ 的 Pauli 轮廓 $f_\rho$，定义为所有权重为 $p$ 的 Pauli 算符的期望值：
$$f_\rho(P) = \text{Tr}(P\rho), \quad P \in \mathcal{P}_{n,p}$$
能量 $E(\rho) = \text{Tr}(H_{n,p}\rho)$ 是由这些轮廓索引的中心高斯过程。两个态之间能量差异的方差由它们轮廓之间的规范度量距离决定。

2. 条件化与局部逼近

作者改编了一种非对称量子 de Finetti 定理（源自 [BBFS22]），用以为给定类中的任何态构造一个可分的逼近。

• 条件化： 对于任何态 $\rho$，通过特定的 Pauli POVM 测量一小组量子比特 $S$（“条件化集合”）。
• 逼近： 在给定测量结果的条件下，剩余在未测量量子比特 $J$ 上的态被逼近为单量子比特边缘分布的乘积。
• 误差控制： 逼近误差由原始 $p$-量子比特边缘分布与乘积逼近之间的迹范数（trace norm）之差来控制。该误差通过条件化集合的大小 $|S|$ 进行控制。

3. 度量熵与能量界

该框架将一个态类 $\mathcal{C}_n$ 所能达到的最大能量与一个基准类 $\mathcal{B}_n$（通常是积态）进行比较。

• 残差过程： 能量差异被分解为一个“基准”项、一个“排除相互作用”项（来自条件化集合）以及一个代表逼近误差的“残差”项。
• Dudley 熵不等式： 残差高斯过程的期望最大值由该类的度量熵（对数覆盖数）进行界定。
• 关键洞察： 如果有效轮廓复杂度（由度量熵导出的度量）是关于 $n$ 的次二次方（subquadratic），则该类无法在领先的 $\sqrt{n}$ 能量尺度上超越其基准。如果复杂度是二次方的，则对于足够大的 $p$，该类与基态之间仍保持正倍数的 $\sqrt{n}$ 间距。

核心贡献与结果

1. 关于轮廓复杂度的通用定理

论文建立了 Theorem 1.2，将态类可达到的能量与其轮廓复杂度联系起来：

• 二次分离（Quadratic Separation）： 如果有效轮廓复杂度被限制在 $O(n^2)$ 以内，则对于足够大的固定 $p$，该类与基态能量之间存在 $\Omega(\sqrt{n})$ 的分离。
• 次二次方基准（Subquadratic Benchmarking）： 如果复杂度为 $o(n^2)$，则该类在领先的 $\sqrt{n}$ 尺度上无法超越其条件化基准（例如积态）。

2. 对电路复杂度的应用

该框架产生了各种电路类的新下界，通常改进或扩展了以往的结果：

• 电路规模： 即使带有任意可丢弃的辅助比特，达到接近基态能量也需要 $\Omega(n^2 / \log n)$ 个一比特和二比特门。
• 深度-宽度权衡： 对于总宽度为 $O(n)$ 的电路，基态分离适用于深度 $D_n = O(n / \log n)$；而积态比较（即在领先阶上相对于积态没有优势）在对应的 $o(n / \log n)$ 条件下成立。对于无限制的辅助比特，积态比较在深度 $O(\log^2 n)$ 下依然成立。
• 纠缠深度： 接近基态的态必须包含本质上具有对数规模的纠缠成分。在更强的 $o$ 条件下，允许在更小的块内进行纠缠并不会在领先的 $\sqrt{n}$ 尺度上优于积态。
• 矩阵乘积态 (MPS)： 接近基态的态需要 $\Omega(\sqrt{n / \log n})$ 的键维（bond dimension）。低键维的 MPS 在领先阶上相对于积态没有优势。

3. 魔力层级（Magic Hierarchy）与 Clifford+T 电路

该方法解决了魔力层级（交替出现的 Clifford 与浅层电路）问题，在这些场景下，标准的轻锥论证会失效，因为 Clifford 电路可以将局部可观测量全局扩散。

• 反向魔力（Reverse Magic）： 对于“反向魔力”（Clifford 后接浅层电路），作者证明了在具有任意干净辅助比特的固定深度下存在基态分离，这在以前是光锥论证无法触及的领域。
• Clifford+T 电路：
  • 对于具有线性数量 $T$ 门（$O(n)$）的电路，其能量与基态之间存在 $\Omega(\sqrt{n})$ 的分离。
  • 对于次线性 $T$ 门（$o(n)$）的情况，作者表明其领先阶能量与积稳定子态（product stabilizer states）的能量一致（这是一个比一般积态更精确的基准）。这意味着，结合少量 $T$ 门的无限制 Clifford 操作，在领先阶上相对于简单的积稳定子态并不能提供优势。

意义与主张

论文声称提供了第一个通用的框架，用于为不同受限态类在有界局部性量子哈密顿量中证明能量下界，且无需依赖光锥几何。

• 超越光锥： 该方法成功处理了局部可观测量可以全局扩散的态类（例如通过 Clifford 电路），在这种情况下，传统的轻锥界限不再适用。
• 精确基准： 通过使用保留特定结构（如稳定子态）的条件化构造，该框架允许使用更精确的基准（如积稳定子态），而非仅仅是普通的积态。
• 普适性： 其结果对于任意数量的可丢弃辅助比特均成立，并且适用于随机哈密顿量，为以往基于显式哈密顿量构造的 NLTS 型结果提供了一个强有力的替代方案。
• 定量精确性： 框架为何时量子资源在最小化稠密 $p$-自旋模型的能量方面停止提供领先阶优势提供了精确的阈值（例如 $n^2/\log n$ 个门，$n/\log n$ 深度）。

作者指出，虽然其结果证明了某些复杂度类与基态是分离的，但并未声称二次复杂度是达到基态的充分条件，将轮廓复杂度与可达能量之间的精确关系作为一个开放性问题留待研究。