Scalable Test of Genuine Multipartite Entanglement via Partially Randomized Measurements

技术摘要：通过部分随机化测量实现可扩展的真多体纠缠测试

问题陈述
在量子系统中认证真多体纠缠（GME）是量子信息科学中的一个基本挑战。尽管存在多种方法——包括纠缠见证、密度矩阵判据和 Bell 型不等式——但这些方法通常存在显著局限性。具体而言，传统方法通常需要对目标态有先验知识、经过精心优化的测量设置或对齐良好的局部参考系。此外，直接评估相关张量通常会导致测量成本随系统规模（$N$）呈指数级增长，这使得这些方法在处理大规模多体系统时变得不切实际。

方法论
作者提出了一种基于限制在局部测量平面内的相关张量子扇区长度的可扩展判据。其核心方法论包括：

1. 部分随机化： 与在整个布洛赫球面上采样测量方向不同，局部测量方向是在特定的局部平面（$P_i$）内进行随机采样的，这些平面由一对正交向量 $\{\vec{n}^1_i, \vec{n}^2_i\}$ 张成。
2. 理论推导：
   • 作者定义了子扇区长度 $\|T\|^2_{P_1...P_N}$ 为这些受限平面内相关张量元素的平方和。
   • 他们推导出了 $k$-可分态（即可以写为 $k$-乘积态的凸混合态）的一个通用上界。该界限被确立为 $\|T\|^2_{P_1...P_N} \leq 2^{N-k}$。
   • 因此，违反该界限（$\|T\|^2_{P_1...P_N} > 2^{N-k}$）即可证明该态不是 $k$-可分的。当 $k=2$ 时，这可以认证真多体纠缠（GME）。
3. 与随机化测量的联系： 子扇区长度通过关系式 $\|T\|^2_{P_1...P_N} = 2^N R^{(2)}_{P_1...P_N}$ 与平均平方相关性 $R^{(2)}_{P_1...P_N}$ 相关联。这使得可以通过在选定平面内从 $[0, 2\pi)$ 中均匀采样角度 $\phi_i$ 来估计平均平方相关性，从而在实验中评估该判据。
4. 统计缩放分析： 论文对比了直接子扇区长度方法与随机化方法所需的测量资源。
   • 直接法： 需要测量所有 $2^N$ 个相关项，导致总测量次数的缩放为 $M \sim 4^N/\epsilon^2$（其中 $\epsilon$ 为目标不确定度）。
   • 随机化法： 需要 $m \sim 1/\epsilon^2$ 个随机设置，每个设置包含固定数量的采样次数（shots）。总测量次数的缩放为 $M \sim 1/\epsilon^2$，显示出没有显式的对 $N$ 的指数依赖性。

主要贡献与结果

• 可扩展判据： 论文引入了一种 GME 判据，通过在局部平面内利用部分随机化测量，避免了测量资源在指数级上的缩放。
• 通用界限： 作者提供了针对 $k$-可分态的严格界限，建立了一个“阶梯状”的阈值结构（例如，$R^{(2)} > 1/4$ 排除双可分性，$R^{(2)} > 1/8$ 排除三可分性）。
• 理论验证： 该判据在具有代表性的态族上进行了测试：
  • GHZ 态： 该判据利用 $xy$平面成功认证了所有$N$ 量子比特 GHZ 态的 GME。
  • Dicke 态： 该方法检测到了各种 Dicke 态 $|D^{(e)}_N\rangle$ 的 GME 及更高阶的可分性水平，在 $xz$ 平面中检测效果最优。
  • 四量子比特族： 对于特定的四量子比特态家族 $|\psi(\alpha)\rangle$，该判据在除特定点（$\alpha=0, 2/3$，此时态恰好位于检测阈值上）之外的所有 $\alpha \in [0, 1]$ 范围内均能认证 GME。作者指出，这说明了纠缠见证是充分而非必要条件。
• 实验演示： 该方法在**五量子比特俘获离子量子计算机（PIAST-Q）**上得到了实现。
  • 团队制备了一个五量子比特 GHZ 态。
  • 使用标准的子扇区长度方法，测量得到 $\|T\|^2_{xy} = 8.55 \pm 0.07$，超过了界限 $2^{5-2}=8$。
  • 使用随机化方法，得到 $R^{(2)}_{xy} = 0.27775 \pm 0.00998$，超过了界限 $2^{-2}=0.25$。
  • 两种方法均成功认证了真五体纠缠。

意义
该论文声称其主要意义在于所提方法的可扩展性。通过从显式测量所有相关张量元素转向通过部分随机化测量来估计平均平方相关性，该方法消除了对量子比特数量的显式指数依赖。这使得在现实的、带有噪声的量子处理平台上认证 GME 变得可行，且无需复杂的特定态优化或完美的参考系对齐。在俘获离子处理器上的实验演示证实了该方法在当前量子硬件环境中的实际适用性。