Spectral Properties Versus Magic Generation in $T$-doped Random Clifford Circuits

技术摘要：T-掺杂随机 Clifford 电路中的谱性质与魔力生成

问题陈述
量子动力学产生的状态往往在经典模拟中是难以处理的，这种现象与纠缠以及“非稳定器性”（或称“魔力”，magic）密切相关。虽然 Clifford 电路可以产生广泛的纠缠，但由于其稳定器结构和缺乏魔力，它们在经典上仍是高效可模拟的。通用量子计算需要注入非 Clifford 门，例如 T 门。本研究调查了在随机 Clifford 电路中引入 T 门如何诱导复杂性，并对比了两种不同的指标：谱性质（特征值统计）和魔力生成（通过稳定器 Rényi 熵量化）。核心问题在于，从类积性的 Clifford 行为向混沌的 Haar 随机行为的转变，如何在这些度量中表现出不同的特征。

方法论
作者分析了一组具有砖墙架构（brick-wall architecture）的深层随机 $N$ 位量子比特电路。这些电路由随机的 2 比特 Clifford 门层和随机注入 T 门层交替组成。

• 谱分析： 研究考察了幺正算符 $U$ 的特征值谱，以及作用在 Pauli 算符空间上的关联算符 $\mathcal{C} U \mathcal{C}^\dagger$ 的谱。作者将谱与 Pauli 算符空间中的周期轨道（periodic orbits）分布联系起来。他们计算了相位相关函数 $\chi(\Theta)$ 和能级间距统计 $P(\zeta)$，以将该系综与随机矩阵理论（RMT）中循环酉系综（CUE）的预测进行比较。
• 魔力生成： 作者使用稳定器 Rényi 熵（SRE）$M_2$ 来量化复杂性，该熵衡量了非稳定器性。他们定义了电路的“非稳定器能力”为当电路作用于随机稳定器态时生成的平均 SRE。数值模拟针对各种系统规模 $N$ 和 T 门数量 $N_T$ 进行，并在电路系综和初始稳定器态上取平均。

主要贡献与结果

1. 纯 Clifford 电路的谱性质：

   • 纯 Clifford 电路展现出一种独特的谱结构，既不同于泊松分布（积性），也不同于 CUE（混沌）统计。
   • 这种结构源于将动力学分解为 Pauli 算符空间中的周期轨道。这些轨道导致了大规模的特征值简并，并产生具有在 $\pi$ 的有理倍数处呈现离散峰值的特征相位分布。
   • 轨道的长度分布对于长轨道而言是稀疏的，最大轨道长度按 $L_{\text{max}} = 2^{N+1}$ 缩放，显著小于总的算符配置数（$4^N$）。

2. 通过 T-掺杂引发的谱转变：

   • 注入 T 门会破坏周期轨道，导致谱性质向 RMT（CUE）行为收敛。
   • 敏感性： 谱转变极其迅速。作者发现，在热力学极限（$N \to \infty$）下，仅需 $O(1)$ 个 T 门就足以消除谱简并并诱导混沌能级间距统计。
   • $\Theta = \pi$ 处的 $\delta$ 峰（周期轨道的特征）的抑制随 T 门的数量呈指数级发生。具体而言，简并部分的比例按 $\sim e^{-c N N_T}$ 缩放，当 $N \to \infty$ 时，对于任何有限的 $N_T$ 该值均趋于零。

3. 魔力生成动力学：

   • 与谱转变相比，魔力生成是一个更慢、更渐进的过程。
   • 离散机制（$N_T \ll N$）： 对于少量的 T 门，魔力以离散“量子”的形式生成。魔力密度 $m_2$ 的分布是离散且双峰的。对于单个 T 门，可能的取值为 $m_2 = 0$ 和 $m_2 = M_2^H/N$，其中 $M_2^H \approx 0.414$ 对应于 H 型态的魔力。
   • 线性缩放： 在稀释极限下，平均非稳定器能力随 T 门数量线性缩放：$\langle M_2 \rangle \approx M_2^\infty(T) N_T$，其中 $M_2^\infty(T) \approx 0.414$。
   • 饱和： 当 $N_T$ 增加到 $N$ 的数量级时，分布变为准连续，并最终收敛于 Haar 随机幺正算符的分布。当 $N_T \gg N$ 时，平均魔力密度饱和于接近 1 的值（具体为 $1 - 2/N$）。
   • 相变： 结果支持在临界 T 门密度 $n_T^* \approx 2.41$ 处存在相变。在该密度以下，平均魔力密度与 T 门密度成正比（$\langle m_2 \rangle = n_T / n_T^*$）；在该密度以上，系统达到 Haar 随机态的最大复杂性。

意义与主张
论文得出结论，谱性质和魔力生成是互补但截然不同的量子复杂性指标。

• 谱相关性： 对非 Clifford 门的出现高度敏感。周期轨道的破坏和混沌谱统计的出现，无论系统规模如何，仅需常数个 T 门即可实现。
• 魔力生成： 是衡量复杂性“程度”更灵敏的指标。虽然谱几乎立即变得混沌，但要达到 Haar 随机态的最大复杂性，需要大量的 T 门（$N_T \sim O(N)$）。
• 结论： 作者断言，相比于仅靠谱统计，魔力是衡量量子电路“资源丰富”性质更精细的度量。这项工作强调，虽然少量的 T 门足以打破 Clifford 电路的类积性结构（谱转变），但需要有限密度的 T 门才能充分释放实现通用量子优势所需的计算资源（魔力）。