Independent stabilizer Rényi entropy and entanglement fluctuations in random unitary circuits

技术摘要：随机幺正电路中独立的稳定子 Rényi 熵与纠缠涨落

问题陈述
量子复杂度是量子计算的一个核心主题，它将“简单”态（接近经典）与以强非定域性和量子相关性为特征的“复杂”态区分开来。虽然纠缠熵是衡量量子资源和复杂度的成熟度量，但它并不能描绘全貌。具体而言，高度纠缠的态如果是由经典的 Clifford 电路生成的，其复杂度可能并不高。为了解决这一问题，“魔力”（或非稳定子能力）的概念被引入，通过稳定子 Rényi 熵（SRE）来量化，用以衡量模拟一个量子态的难易程度。

关于这两种不同复杂度度量之间关系的课题仍是一个重要的开放性问题：即魔力与纠缠之间的关系。虽然纠缠是产生高魔力态的基础，但存在魔力极小但纠缠极高（以及反之）的态，这表明两者之间存在复杂的相互作用。先前的研究已经识别出了希尔伯特空间中不同的区域，但对于通用 Haar 随机量子态中魔力与纠缠的统计关系，尚未得到充分表征。本研究调查了在随机量子电路的热力学极限下，魔力与纠缠是相关的还是独立的。

研究方法
作者对 $N$ 个量子比特的 Haar 随机量子态中魔力 ($M_2$) 与纠缠熵 ($S$) 的联合分布进行了数值研究。

• 系统生成： 通过对参考乘积态 $|0\rangle = \bigotimes_{j=1}^N |0\rangle_j$ 应用随机幺正算符 $U \in U_N$ 来生成随机态。研究还考虑了深度为 $D$ 的砖墙电路（brick-wall circuits），证明当 $D \gtrsim 2N$ 时，其分布会收敛于通用 Haar 随机算符的分布。
• 魔力量化： 使用泡利串（Pauli strings）的概率分布来计算稳定子 2-Rényi 熵（SRE），记作 $M_2$。对于态 $|\psi\rangle$，泡利串概率为 $\Xi_\psi(\sigma) = \frac{1}{d} |\langle \psi | \sigma | \psi \rangle|^2$，其中 $d=2^N$。魔力定义为 $M_2(|\psi\rangle) \equiv -\log_2 \sum_{\sigma \in P_N} \Xi_\psi^2(\sigma) - \log_2(d)$。
• 纠缠量化： 通过将系统划分为两个大小相等（或对于奇数 $N$ 为接近相等）的子系统来计算冯·诺依曼熵 $S$。
• 统计分析： 作者分析了边际分布 $P_N(M_2)$ 和 $P_N(S)$，以及联合分布 $P_N(M_2, S)$。他们检查了随着系统规模 $N$ 增加时，平均值、方差以及这两个量之间的协方差的缩放行为。

主要贡献与结果

1. 边际分布的指数级局域化：

   • 魔力： 当 $N \to \infty$ 时，魔力的分布 $P_N(M_2)$ 变得呈指数级尖锐并局域化在典型值 $\tilde{M}_2 \approx N - 2$ 附近。其方差缩放为 $\text{var}(M_2) \propto 4^{-N}$，这比标准的物理热力学缩放（$\sim N$）快得多。这种集中现象归因于 SRE 定义中弱相关项的求和。
   • 纠缠： 同样地，纠缠熵分布 $P_N(S)$ 指数级集中在 $\tilde{S} \approx N/2$ 附近（与 Page 公式一致）。其方差缩放为 $\text{var}(S) \propto 2^{-N}$。
   • 分布形状： 对于大 $N$，两个分布都趋向于方差消失的高斯分布。

2. 涨落的渐近独立性：

   • 本文的核心发现是联合分布 $P_N(M_2, S)$ 的行为。虽然魔力和纠缠的典型值是强相关的（两者都随 $N$ 线性缩放），但它们的涨落在指数级上是不相关的。
   • 魔力与纠缠的协方差 $\text{cov}(M_2, S)$ 随系统规模呈指数衰减，比例为 $\propto 2^{-3N}$。
   • 至关重要的是，这种衰减速度快于各自方差的几何平均值 ($\sqrt{\text{var}(M_2)\text{var}(S)}$)。这意味着相关系数在热力学极限下趋于零，表明魔力与纠缠的涨落是渐近独立的。

3. 非典型态的稀有性：

   • 研究证实，虽然存在魔力消失但纠缠极高（或魔力极高但纠缠极低）的态，但与拥有高魔力和高纠缠熵的典型态相比，它们在希尔伯特空间中所占的比例呈指数级微小。

意义与主张
本文声称解决了关于通用量子态中魔力与纠缠关系的歧义。通过证明在热力学极限下它们的涨落是指数不相关的，作者确立了这两种量子复杂度度量之间的基本统计独立性。

• 理论意义： 研究结果扩展了之前的解析发现（即之前的研究显示线性魔力的协方差为零），将其推广到了非线性的稳定子 2-Rényi 熵和冯·诺依曼熵。这表明在大型随机系统中，模拟的“难度”（魔力）和非定域性的“量”（纠缠）是两种在偏离典型值时独立波动的不同资源。
• 资源理论： 该工作强调了希尔伯特空间中高度复杂量子态的主导地位，这些态具有较大的魔力和较大的纠缠熵。它强化了使用随机幺正电路作为探索量子资源理论框架及理解关键复杂度度量统计属性的有效性。
• 主张的适度性： 作者并未提出新的实验方案或特定的量子算法应用。相反，他们提供了对量子态景观的严格统计表征，明确了虽然魔力和纠缠对于高复杂度都是必要的，但在随机电路中，它们在偏离典型值的过程中在统计上并不耦合。