技术摘要：利用量子-经典矩对偶性实现量子优化与电路切割的认证

1. 问题陈述

本文解决了近期的量子计算面临的两个关键挑战：

1. 缺乏性能认证： 变分量子算法（VQA），如量子近似优化算法（QAOA）和变分量子幂法（VQPM），通常缺乏严格的逐态性能保证。它们的近似比往往依赖于具体实例，或依赖于收敛至全局最优解，这在处理噪声或提前终止的运行过程时留下了认证空白。
2. 电路切割开销： 将大型量子电路分解为较小的子电路（电路切割）以在有限硬件上运行是一个 NP 完全问题（当寻求最优二分图时）。现有的启发式方法通常依赖于几何假设或暴力搜索，缺乏基于可测量相关数据的严格误差界限。

作者提出了一个统一的框架，利用“量子-经典矩对偶性”仅通过两点 Pauli-Z 相关数据来解决这两个问题。

2. 方法论：量子-经典矩字典

核心方法论建立了任何量子态的物理属性与经典平方和（SoS）松弛空间之间的直接映射。

2.1 映射关系

令 $\rho$ 为 $n$ 个量子比特的任意量子态（密度矩阵）。作者定义了一个映射 $\Phi$，用于提取单量子比特和双量子比特 Pauli-Z 期望值，从而构建矩阵 $Y_{\text{quantum}}$：
$$Y_{\text{quantum}} = \Phi(\rho) = \begin{pmatrix} 1 & \langle Z_1 \rangle_\rho & \cdots & \langle Z_n \rangle_\rho \\ \langle Z_1 \rangle_\rho & 1 & \cdots & \langle Z_1 Z_n \rangle_\rho \\ \vdots & \vdots & \ddots & \vdots \\ \langle Z_n \rangle_\rho & \langle Z_n Z_1 \rangle_\rho & \cdots & 1 \end{pmatrix}$$
其中 $\langle O \rangle_\rho = \text{Tr}(\rho O)$。

2.2 理论基础

定理 2.1（严格的可行性保持）： 本文证明了对于任何有效的量子态 $\rho$，生成的矩阵 $Y_{\text{quantum}}$ 始终是经典 2 次项 SoS 锥（Goemans–Williamson SDP 松弛）的一个可行点。

• 证明逻辑： 对角线元素为 1 是因为 $Z_i^2 = I$。该矩阵是半正定（PSD）的，因为对于任何向量 $v$，$v^T Y_{\text{quantum}} v = \text{Tr}(\rho O_v^2)$，其中 $O_v$ 是厄米观测算符。由于 $\rho$ 和 $O_v^2$ 都是半正定的，其迹乘积是非负的。

这一观察结果创建了一个“通用安全网”：量子态本身充当了连续半正定锥几何结构内的活跃优化代理，无需进行主动的 SDP 求解。

3. 主要贡献

3.1 Max-Cut 的通用认证

通过建立 $Y_{\text{quantum}}$ 对 degree-2 SoS SDP 的可行性，作者可以直接将经典的 Goemans–Williamson (GW) 随机超平面舍入应用于该量子导出的矩阵。

• 结果： 对于由任何状态 $\rho$ 产生的状态，通过 GW 舍入获得的期望切权重 $E[\text{Cut}]$ 满足：
  $$E[\text{Cut}] \geq \alpha_{GW} \langle H \rangle_\rho$$
  其中 $\alpha_{GW} \approx 0.87856$，且 $\langle H \rangle_\rho$ 是 Max-Cut 哈密顿量的量子期望值。
• 意义： 这为优化轨迹中的每一个状态都提供了一个经过认证的近似比下界，将性能认证与算法收敛解耦。即使算法存在噪声、陷入局部极小值或提前停止，该结论依然有效。

3.2 基于相关性的电路切割

相同的矩矩阵捕捉了状态的纠缠结构，从而能够实现一种多项式时间程序，用以检测底层幺正算符 $U$ 的张量积分解。

• 精确检测： 如果幺正算符 $U$ 分解为 $A_S \otimes B_T$，则对于所有 $i \in S, j \in T$，连通相关性 $C_{ij} = \langle Z_i Z_j \rangle - \langle Z_i \rangle \langle Z_j \rangle$ 均为零。作者建议通过阈值化的相关性构建图；不连通的分量即表示精确的切割。
• 近似切割： 对于非精确乘积态的状态，该方法使用 $|C_{ij}|$ 作为边权重，通过加权最小切问题来寻找一个使子系统间相关性最小化的二分图。
• 误差界限： 本文提供了量化原始状态与最佳乘积态近似之间距离的严格误差界限：
  • 单探针： 距离由 $\sqrt{I(S:T)}$ 限制，其中 $I(S:T)$ 是量子互信息。
  • 全局认证： 利用 Choi 态，作者推导出了算符范数距离 $\|U - A_S \otimes B_T\|_\infty$ 的界限，确保该分解对于任意输入（而非仅仅是特定的制备态）均成立。

4. 结果与验证

该框架在两个方面进行了数值验证：

1. 变分算法（QAOA 和 VQPM）：

   • QAOA（在 4-Cycle 上 $p=1$）： 研究表明，即使在原始能量 $E_\rho$ 并非最优的情况下，GW 舍入界限 $F(\gamma, \beta)$ 在整个优化轨迹中也始终严格高于解析底线 $\alpha_{GW} E_\rho$。
   • VQPM： 该方法被应用于包含“量子比特锁定（qubit locking）”启发式策略的变分量子幂法。结果显示，即使在进行激进的锁定操作后，矩矩阵认证依然有效，为过早收敛提供了安全保障。认证的下界始终追踪真实性能，并在状态达到计算基解时收敛至精确的 Max-Cut 值。

2. 电路切割（随机态）：

   • 使用 $n=6$ 个量子比特的 Haar 随机态，作者测试了基于相关性的切割方法与穷举搜索的对比。
   • 准确性： 通过矩矩阵找到的切割的互信息 ($I_Y$) 与通过穷举搜索找到的全局最优互信息 ($I_{\text{best}}$) 几乎完全一致。
   • 误差界限： 观测到的原始状态与重建的乘积态之间的 2-范数误差始终低于理论界限 $\sqrt{I(S:T)}$。
   • 成功率： 对于精确的乘积态，该算法在各种子系统规模下都能 100% 成功识别出正确的张量积结构。

5. 重要性与主张

本文提出了一个基本的结构性洞察：任何量子态的二量子比特 Pauli-Z 相关矩阵自动成为经典 degree-2 SoS 锥的一个可行点。

这一发现具有三个主要意义：

1. 被动认证： 不同于以往通过主动求解 SDP 来寻找界限的工作，该方法仅利用量子设备生成测量数据。认证是一个被动的后处理步骤，除了标准的能量估计外，不需要额外的量子资源。
2. 收敛与认证的解耦： 它为变分算法提供了一个“安全网”，无论经典优化器是否收敛，还是硬件是否存在噪声，都能保证性能底线。
3. 高效的电路切割： 它提供了一种与几何无关且具有多项式时间复杂度的电路切割方法，并具有直接源自可测量的两点相关性的严格误差界限，从而规避了寻找最优切割的 NP 完全复杂度。

作者将这项工作定位为连接量子优化与经典凸松弛的“通用安全网”，在无需更高阶相关性测量或复杂层析成像的情况下，为解的质量（Max-Cut）和电路的结构（切割）提供了严格保证。