The Dynamical Lie Algebra of QAOA-MaxCut on the Complete Graph

技术摘要：完全图上 QAOA-MaxCut 的动力学李代数

问题陈述
本文旨在刻画应用于完全图（$K_n$）上最大割（MaxCut）问题的量子近似优化算法（QAOA）的动力学李代数（DLA）。虽然针对循环图、路径图和随机图的 DLA 已被建立，但完全图的 DLA 仍是一个开放问题。具体而言，[ASYZ26] 中提出了一个关于 $K_n$ 的 DLA 半单分量分解的猜想，但缺乏严格证明。此外，目前尚不清楚完全图的高对称性是否会阻止“贫瘠高原”（barren plateaus）的出现——即损失函数方差随量子比特数呈指数级衰减、从而阻碍高效训练的区域。

方法论
作者结合了李代数理论与表示论，特别利用了舒尔-外尔对偶性（Schur-Weyl duality）。其方法论如下：

1. 生成元定义： DLA（记作 $\mathfrak{g}_{K_n}$）由对应于 QAOA 代价哈密顿量和混合器哈密顿量的反埃尔米特算符生成：$iX = i\sum X_k$ 以及 $iZZ = i\sum_{s<t} Z_s Z_t$。
2. 对称性约化： 意识到 $X$ 和 $Z$ 在对称群 $S_n$ 下是不变的，作者应用了舒尔-外尔对偶性。该对偶性将 $n$ 个量子比特的希尔伯特空间 $(\mathbb{C}^2)^{\otimes n}$ 分解为 $su(2)$ 的不可约表示（irreps）与 $S_n$ 的张量积的直和：$(\mathbb{C}^2)^{\otimes n} \cong \bigoplus_{j \in J_n} W_j \otimes V_j$。
3. 分块对角化： 生成元被证明根据此分解进行分块对角化。作者证明了 DLA 结构同构于作用在 $su(2)$子空间$W_j$上的自旋算符$J_x$和$J_z^2$所生成的代数，实际上忽略了多重性空间$V_j$。
4. 子空间不变性： 分析表明，$J_x$ 和 $J_z^2$ 保持每个 $W_j$ 内的特定子空间，这些子空间由磁量子数 $m$ 相对于自旋 $j$ 的奇偶性定义。这些是“偶”子空间和“奇”子空间，$W^{(j)}_{\text{even}}$ 与 $W^{(j)}_{\text{odd}}$。
5. 代数生成： 为了证明 DLA 填满了整个半单分量，作者利用生成元的嵌套对易子构造了特殊酉代数的基。这涉及一个“反向包含”证明，利用范德蒙德矩阵论证来展示特定的对易子线性组合可以隔离出目标代数的单个基元素。
6. 方差计算： 利用导出的 DLA 结构，作者应用了一个已知的定理，该定理将 DLA 分解与损失函数方差联系起来。通过计算初始态的纯度以及投影到相关简单子代数上的可观测量，以确定方差的标度。

核心贡献与结果

1. 解决猜想 1.1： 本文证明了 [ASYZ26] 中关于完全图 DLA 半单分量结构的猜想。

   • 定理 1.2： 对易子子代数 $[\mathfrak{g}_{K_n}, \mathfrak{g}_{K_n}]$ 同构于特殊酉代数的直和：
     $$[\mathfrak{g}_{K_n}, \mathfrak{g}_{K_n}] \cong \bigoplus_{j \in J_n} su(\lfloor j \rfloor + 1) \oplus su(\lceil j \rceil)$$
     其中 $J_n$ 是取决于 $n$ 的奇偶性的自旋值集合 $\{n/2, n/2-1, \dots\}$。这提供了一个显式的解析表达式来描述 DLA。

2. 贫瘠高原分析： 本文确立了完全图上的 QAOA-MaxCut 不存在贫瘠高原。

   • 定理 1.3： 对于足够深的电路（作为酉 2-设计），损失函数的方差随量子比特数 $n$ 呈线性缩放：
     $$\text{Var}_{\theta}[\ell(\rho, O; \theta)] \sim \Theta(n)$$
   • 具体而言，当 $n \to \infty$ 时，方差收敛于 $\frac{4n}{45}$。由于这是多项式级（线性）而非指数级衰减，因此优化景观保持可训练性。

意义
本文声称解决了关于最对称图结构（完全图）的 DLA 特征化的开放问题。通过确认方差随 $n$ 线性缩放而非指数衰减，这项工作为高度对称的图结构在 QAOA 中可以避免贫瘠高原现象提供了理论证据。这表明，由图的对称性决定的 DLA 细微结构，在决定变分量子算法的可训练性方面起着至关重要的作用。其证明技术结合了舒尔-外尔对偶性与通过对易子进行的显式基构造，为分析对称系统中的 DLA 提供了一个严谨的框架。