Practical and Efficient Verification of Entanglement with Incomplete Measurement Settings

本文提出了一种实用框架和半定规划优化方法，该方法仅需有限的、非完全层析的测量设置即可实现高效的纠缠验证，并在光子偏振量子比特的原理验证实验中得到了证实。

要点

以下是论文《利用不完整测量设置实用且高效地验证纠缠》的解释，已用通俗易懂的语言和生动的类比进行翻译。

大局观：“破碎拼图”问题

想象你有一个巨大而复杂的三维拼图（量子态），你怀疑它是“纠缠”的。在量子世界中，纠缠就像一种神奇的胶水，将两个或多个粒子紧密地绑定在一起，使它们无论相距多远都作为一个整体行动。这种“胶水”是未来量子计算机和超安全通信的燃料。

通常，要证明拼图组装正确（或粒子处于纠缠态），你需要查看每一块碎片并检查它们如何拼接。在量子物理中，这被称为“全层析成像”。这就像试图通过逐一检查每一块碎片来解决一个 1000 块的拼图。它耗时很长，需要大量设备，而且在现实情况中往往是不可能的（例如从卫星向移动中的飞机发送数据时）。

问题所在： 如果你只能看到几块碎片呢？也许你只能接触到 1000 块中的 3 或 4 块。你还能确定拼图是“粘合”在一起的（纠缠）吗？传统方法会说：“不行，你需要看到全貌。”

解决方案： 这篇论文介绍了一种巧妙的新方法，声称即使只有几块碎片，“你也能做到！”

---

核心理念：“魔法侦探”（纠缠见证者）

作者提出了一种方法，使其像一位侦探，无需看到整个犯罪现场就能抓获罪犯。

1. 线索（可观测量）： 你不需要查看整个状态，而是测量少量特定的“线索”（称为可观测量）。在实验中，他们使用了光粒子（光子），并测量了它们的偏振（振动方向）如何相互关联。
2. 魔法公式（见证者）： 研究人员创造了一种名为纠缠见证者的数学工具。把它想象成一种用于探测纠缠的金属探测器。
   • 如果粒子没有纠缠（可分离），金属探测器保持沉默（读数保持在安全的“正常”范围内）。
   • 如果粒子确实纠缠，探测器会大声鸣响（读数超出安全范围）。

创新点：利用少量线索构建多个探测器

这篇论文的精髓在于，当缺乏所有数据时，他们如何构建这些探测器。

• 旧方法： 你通常需要针对特定类型的纠缠使用特定的、预先制作好的探测器。如果你不确定具体拥有什么类型的纠缠，你可能需要为每一种可能性构建一个新的探测器。
• 新方法： 作者表明，只需几次测量，就可以在数学上同时构建一整套不同的探测器。
  • 类比： 想象你只有几种食材（面粉、糖、鸡蛋）。通常，你可能只知道如何制作蛋糕。但这种新方法就像一个“通用食谱生成器”。它利用这些少量食材，瞬间计算出如何烘焙蛋糕、饼干、松饼或派，具体取决于你想要寻找什么。
  • 他们使用一种计算机优化技术（称为半定规划）来搜索混合这些少量测量的所有可能方式。它会找到最有可能在胶水确实存在时大喊“纠缠！”的最佳“食谱”（探测器）。

实验：用光证明其有效性

为了证明这不仅仅是一个数学把戏，他们利用光子（光粒子）构建了一个真实实验。

• 设置： 他们使用特殊晶体和激光生成纠缠光子对。
• 限制： 他们故意限制了测量。他们没有检查光子相互作用的所有方式（这将是一次完整扫描），而只检查了一小部分（例如仅检查光的"X"和"Z"方向）。
• 结果： 即使数据有限，他们的“通用食谱生成器”也成功构建了一个探测器，证明了光子处于纠缠态。
  • 他们表明，通过2 次测量，可以检测到某些纠缠。
  • 通过3 次测量，可以检测到更多。
  • 通过4 次测量，即使信号非常嘈杂（就像在嘈杂的房间里试图听清耳语），他们也能检测到纠缠。

为什么这很重要（根据论文所述）

论文强调，这种方法对于无法建立大型实验室的现实场景是实用的。

• 卫星类比： 想象试图验证地面站与快速移动卫星之间的量子连接。你无法在飞机上携带一个巨大而沉重的实验室。你只能进行几次快速检查。这种方法允许你仅凭这几次快速检查就确认“魔法胶水”是否在工作，从而节省时间和资源。
• 噪声容限： 该方法具有鲁棒性。即使数据有些“嘈杂”或不完美（这在现实世界中很常见），拥有少量额外测量也能让系统以高置信度确认纠缠。

一句话总结

这篇论文提出了一种聪明且高效的方法，通过利用计算机将少量不完整的测量数据转化为强大且定制的探测器，来证明量子粒子是“神奇地粘合”在一起的（纠缠），从而使得即使无法看到全貌，也能验证量子连接成为可能。

技术摘要

技术摘要：基于不完整测量设置的纠缠实用且高效验证

问题陈述

纠缠验证是量子信息处理（包括计算、通信和计量学）的基本要求。虽然量子态层析（QST）允许对量子态进行完全重构，从而进行后续的可分性检查，但在现实场景中，它往往在实验上不可行或不可能。这些场景包括长距离量子通信（例如卫星到地面链路），其中测量设置必须简化；或者高维系统，其希尔伯特空间维度呈指数增长，使得完全层析变得不可处理。

所解决的核心问题是：当仅可获得层析不完整的测量数据（完整关联子的一部分）时，如何验证未知量子态的纠缠性？ 传统方法通常要求完全识别量子态，或者需要特定的、预定义的见证器，而这些见证器对于手头有限的测量数据可能并非最优。

方法论

作者提出了一种框架，直接从不完整的测量结果构建一大类纠缠见证器（EWs），而不是试图重构完整的密度矩阵。该方法按以下步骤进行：

1. 可观测量的线性组合： 给定一组实验可访问的局域可观测量 $O = \{A_i \otimes B_j\}$，作者定义了一个线性组合 $S = \sum_{ij} c_{ij} A_i \otimes B_j$，其中 $c_{ij}$ 是实参数。
2. 可分界与镜像见证器： 对于任何可分态 $\sigma_{sep}$，$S$ 的期望值受系数矩阵 $C = [c_{ij}]$ 的算子范数限制。具体而言，$|\text{tr}(S \sigma_{sep})| \leq \sqrt{(d_A-1)(d_B-1)} \|C\|_\infty$。该不等式定义了一对“镜像”纠缠见证器：
   $$W_{\pm} = \sqrt{(d_A-1)(d_B-1)} \|C\|_\infty I \pm S$$
   如果实验期望值违反了这些界限，则该态被认证为纠缠态。
3. 通过半定规划（SDP）优化： 为了最大化检测能力，作者构建了一个优化问题，寻找矩阵 $C$，使其在给定的实验数据下最大化对可分界限的违反程度。他们引入了一个**归一化估计（NE）**参数：
   $$NE_\rho[O] = \max_{C} \frac{|\sum c_{ij} \langle A_i \otimes B_j \rangle_{est}|}{\sqrt{(d_A-1)(d_B-1)} \|C\|_\infty}$$
   如果 $NE_\rho[O] > 1$，则该态是纠缠的。该优化问题通过半定规划（SDP）高效求解，其规模随可观测量数量呈多项式增长，避免了与一般可分性问题相关的计算困难。
4. 推广： 该框架通过定义适当的局域算子基（例如 SU(d) 生成元）并将 NE 定义推广为在乘积态上最大化，从而推广到多体和高维系统。

主要结果

本文展示了理论推导以及使用偏振编码光子量子比特的实验演示：

• 理论构建： 作者证明，即使使用少量关联子（例如，完全两量子比特层析所需的九个关联子中的两个或三个），也可以构建多个 EWs。对于特定的可观测模式（例如对角关联子如 $XX$和$ZZ$），推导出了 NE 参数的闭式解（例如 $NE = |\langle XX \rangle| + |\langle ZZ \rangle|$）。
• 实验验证：
  • 态制备： 制备了两个量子比特纠缠态，保真度分别为 98% 和 95%。
  • 不完整数据： 实验利用了泡利关联子的子集（2、3 和 4 个可观测量），而不是层析所需的完整集合。
  • 检测成功： 利用 SDP 优化，该方法成功认证了制备态的纠缠性。例如，使用三个可观测量（$XX, XY, ZX$），归一化估计达到$NE \approx 1.35$，明显超过了 1 的可分界限。
  • 噪声鲁棒性： 研究表明，增加可用观测量的数量（从 2 个增加到 4 个）会增加 $NE$ 的值，从而允许检测更高噪声水平（去极化噪声）下的纠缠态。对于三量子比特 GHZ 态模拟，7 个可观测量足以检测噪声分数高达 $p < 0.27$ 的纠缠，而较少的可观测量在较低的噪声水平下就会失效。
• 镜像见证器： 该方法自然地生成成对的镜像见证器（$W_+$ 和 $W_-$），为可分态提供上界和下界，从而增强了检测范围。

意义与主张

作者声称，他们的工作为在无法进行完全层析的现实场景中提供了一种实用且高效的纠缠验证框架。

• 实用性： 该方法专为测量设置受到严重限制的情况而设计，例如地面到卫星的量子通信，其中更简单的测量设置更为可取。
• 高效性： 通过将寻找最优见证器构建为 SDP，该方法避免了通用可分性测试的 NP 难性质，并随可观测量数量呈多项式扩展。
• 最大效用： 结果表明，一部分测量数据足以构建各种 EWs 来验证未知态。该框架弥合了有限测量设置与完全态层析之间的差距，表明更多的测量会产生更大的可检测纠缠态集合以及更高的噪声容限。
• 未来展望： 作者建议，该框架可以扩展到表征多体系统中的最优性，并应用于纠缠之外的资源理论，例如量子计算中的非稳定化（non-stabilizerness），方法是利用镜像见证器提供的上下界。

本文结论认为，这种方法为在测量设置受限且层析不完整的情况下认证纠缠提供了一种创新解决方案，使其特别适用于在实验约束下运行的近期量子技术。