Hardy-type self-testing and exposedness of tripartite GHZ correlations

技术摘要：Hardy 型自测试与三体 GHZ 相关性的暴露性

问题陈述
本文探讨了量子非定域性的几何特征，特别是比较了两种不同的见证非定域性的途径：Bell 不等式违背与逻辑矛盾（Hardy 悖论）。在二体两输入两输出场景 $((2, 2, 2))$ 中，存在一个已知的几何差异：实现最大 CHSH 违背的关联是量子集合中的“暴露”（exposed）点（由支撑超平面唯一选择），而实现最大 Hardy 成功概率的关联则是“非暴露”极点。作者研究了这种二体直觉在以格林伯格-肖-扎伊勒（GHZ）态为核心的三体 $((3, 2, 2))$ 场景中是否仍然成立。具体而言，他们探究了三体 Hardy 最大化相关性是否也是非暴露的，或者是否表现出不同的几何特性。

方法论
作者结合了解析证明与数值优化技术：

1. 自测试框架： 他们利用了自测试的标准定义，即观测到的相关性在局部同构下唯一确定了底层的量子态和测量。他们首先确立了三体系统中最大 Hardy 成功概率 $p^H_3$ 为 $1/8$，且该概率仅由带有特定观测量的 GHZ 态实现。他们通过将一般态分解为量子比特子空间，证明了该界限对于任意有限维度的情形均成立。
2. 几何分析（暴露性）： 为了确定 Hardy 最大化相关性是否为暴露点，作者构建了一个线性规划问题。他们寻找一个 Bell 泛函（线性泛函），使得该泛函由 Hardy 相关性 $\vec{P}_H$ 唯一最大化。这涉及构造一个 Bell 算符 $W$，并验证 $\vec{P}_H$ 是所有量子相关性中的唯一优化解。
3. 与 Mermin 不等式的联系： 他们通过解析比较从 Hardy 优化中导出的 Bell 泛函与 Mermin 不等式算符，以检查其等价性。
4. 鲁棒性分析： 考虑到实验数据无法满足严格的零概率约束，作者结合了 SWAP 方法与 NPA（Navascués-Pironio-Acín）层级。他们构建了半正定规划（SDP）问题，用以计算在偏离理想 Hardy 约束（误差为 $\epsilon_1, \epsilon_2$）的情况下，未知态与理想 GHZ 态之间的最坏情况保真度。

主要贡献与结果

• 三体 Hardy 自测试： 作者证明了在 $((3, 2, 2))$ 场景中达到最大 Hardy 成功概率（$p^H_3 = 1/8$）的量子相关性，可以自测试三体 GHZ 态及相关的局部测量。这提供了一种基于逻辑悖论而非 Bell 不等式的设备无关认证。
• Hardy 点的暴露性： 与二体情况相反，本文证明了三体 Hardy 最大化相关性是量子相关集合的一个暴露极点。他们显式地构造了一个 Bell 泛函（相关子的线性组合），该泛函由该相关性唯一最大化。
• Hardy–Mermin 巧合： 研究发现，使 Hardy 相关性最大化的 Bell 泛函与 Mermin 不等式（经重标记后）是等价的。因此，使逻辑 Hardy 悖论最大化的相关性，与使 Mermin 不等式最大化违背的关联是相同的。这统一了三体 GHZ 场景中的逻辑悖论路径与 Bell 不等式路径，表明它们选择了同一个暴露边界点。
• 鲁棒自测试： 作者建立了鲁棒版本的自测试。利用 NPA 层级（层级 $\ell=6$），他们表明如果 Hardy 零概率约束在偏差 $\epsilon_2 \approx 10^{-4}$ 内得到满足，且成功概率接近最优，则底层态和测量与理想 GHZ 实现保持定量接近。具体而言，当成功概率偏差 $\epsilon_1 \lesssim 0.005$ 时，保真度仍保持在 $0.5$ 以上。

意义
该论文声称这些结果揭示了二体与三体 Hardy 型非定域性之间存在定性的几何差异。在无信号边界上的二体 Hardy 相关性已知是非暴露的，而三体情况则表明，Hardy 型逻辑非定域性可以导致暴露的量子边界点。这挑战了关于逻辑悖论几何性质的二体直觉的普遍性。

此外，这项工作表明，在三体 GHZ 场景中，“基于悖论”与“基于不等式”的非定域性在几何上之间的区别并不显著，因为两者都收敛于同一个暴露点。作者得出结论，这一发现为进一步研究一般 $((N, 2, 2))$ 场景中最大 Hardy 相关性的暴露性，以及是否存在类似的 Mermin-Ardehali-Belinskii-Klyshko 高阶不等式巧合提供了动力。鲁棒性分析将 Hardy 型自测试置于了与基于 Bell 不等式的方法相当的操作基础上，使其在无法完美满足理想约束的设备无关协议中具有可行性。