Genuine Multipartite Nonlocality sharing under sequential measurement

本文研究了在连续非偏置非锐测量下，$n$个量子比特GHZ系统中真多体非定域性的共享问题，推导了单边和多边场景下的极限，并证明了虽然在单边四量子比特情形下最多有两个连续观测者可以共享非定域性，但在多边场景下无法实现额外的共享。

要点

核心理念：在不破坏的情况下分享量子“秘密”

想象你有一个非常特别、神奇的盒子（一个 GHZ 态），里面包含着几个人共同分享的一个秘密代码。在量子世界中，这个代码被称为非定域性（nonlocality）。这是一种超强的联系，证明了盒子里的几个人以一种经典物理学（如日常普通物体）无法解释的方式连接在一起。

通常情况下，如果你打开盒子去读取秘密，盒子就会损坏，连接也会随之消失。但这篇论文提出了一个棘手的问题：我们能否在不破坏盒子的情况下，连续多次地窥视这个秘密？

研究人员正在研究这样一种场景：一群人（我们称之为 Alices）轮流观察盒子的同一部分，而其他人（Bobs）则观察他们各自的部分。目标是看在量子连接变得过于微弱以至于无法被检测到之前，最多可以有多少个 Alice 成功地“读取”到这个秘密代码。

工具：清晰眼镜 vs. 模糊眼镜

为了在不破坏盒子的情况下窥视，Alice 们不能使用“清晰”的眼镜（标准测量）。如果她们看得太清楚，量子连接会瞬间断裂，导致排队的下一个人看到的只是一个破碎的盒子。

相反，她们必须使用不清晰（或模糊）的眼镜。

• 清晰测量： 就像用放大镜观察一幅画。你能看到每一个细节，但你可能会划伤画布。在量子术语中，这会破坏纠缠。
• 不清晰测量： 就像透过一层略微起雾的窗户观察这幅画。你能得到一些图像的提示（部分信息），但你不会损坏画布。绘画本身依然保持完整，足以让下一个人通过自己的模糊窗户进行观察。

论文使用了一个“清晰度旋钮”（称为 $\lambda$）来控制眼镜有多模糊。诀窍在于找到完美的模糊程度：既要足够清晰以证明秘密的存在，又要足够模糊以让下一个人能够尝试。

实验：观察者队列

研究人员设置了一排观察者。

1. 设置： 有一群人（A1, A2, A3...）与一组固定的人（B2, B3, B4...）共享一个量子态。

2. 单边场景（单排）： 只有“A”这一侧有一排人在等待观察。而“B”这一侧只有一个观察者。

   • Alice 1 通过她的模糊眼镜进行观察。她得到了关于秘密的一个提示。
   • 她把盒子传给 Alice 2。因为 Alice 1 的观察是模糊的，所以盒子基本保持完好。Alice 2 通过她自己的模糊眼镜进行观察。
   • 结果： 论文证明了 Alice 1 和 Alice 2 都可以成功证明秘密的存在。然而，当盒子传到 Alice 3 时，前两次观察带来的“模糊感”已经累积了起来。信号变得太弱了。Alice 3 无法再证明秘密的存在。
   • 极限： 无论队列中有多少人，在这种设定下，最多只有两人可以分享这种特定类型的量子连接。

3. 双边场景（两排）： 如果我们在两边都放上一排观察者会怎样？（一排 Alices 和一排 Bobs）。

   • 你可能会认为增加观察者人数会有所帮助或改变规则。
   • 结果： 论文发现，增加第二排观察者并没有帮助。你仍然无法让超过两个人在有效分享这种连接。前几次观察造成的“损伤”是不可避免的，无论另一侧有多少人。

主要结论

该论文得出结论，对于这些特定的量子系统（称为含有 4 个或更多粒子的 GHZ 态）：

• 你可以将“量子魔力”（非定域性）在其中一侧分配给两个连续的观察者。
• 你无法将其分配给三个或更多人。
• 在另一侧增加更多人（双边场景）并不会让你获得“免费通行证”来增加本侧队列的人数。

简而言之： 你可以通过“轻柔”地观察，与前后相连的两个朋友分享一个量子秘密；但如果你试图在链条中加入第三个朋友，这个秘密就会变得过于微弱而无法被证实。论文强调，使用“轻柔”（不清晰）的测量是让两个人在队列中分享这种连接的唯一方法。

技术摘要

技术摘要：序列测量下的真多体非定域性共享

问题陈述
虽然在双体系统（特别是两比特贝尔态）中，在序列测量下的量子非定域性共享已被广泛研究，但涉及四个或更多个比特的四体或多体系统的这一现象的扩展研究仍较少。先前的研究已经确定，在特定条件下，通过采用弱（非锐利）测量来保持纠缠，多个观察者（例如多个 Bob）可以在双体场景中与单个观察者（例如 Alice）顺序共享非定域性。然而，在 $n$ 比特 GHZ 系统（$n \ge 4$）中，在单边、双边和多边序列测量配置下的这种共享限制尚未得到充分表征。本文旨在探讨在 $n$ 比特 GHZ 态中，多少个顺序观察者可以同时与其余各方展示真多体非定域性。

方法论
本研究采用了对共享 $n$ 比特 GHZ 态 $\rho_{GHZ} = |\Phi\rangle\langle\Phi|$ 进行序列测量的框架，其中 $|\Phi\rangle = \frac{1}{\sqrt{2}}(|00\dots0\rangle + |11\dots1\rangle)$。作者分析了两种主要的场景：

1. 单边序列共享： 一系列观察者（Alice$_1$, Alice$_2$, ..., Alice$_r$）在第一个粒子上进行顺序测量，而剩余的 $n-1$ 个参与方（B$_2$, ..., B$_n$）各持有一个副本并进行独立测量。
2. 双边序列共享： 序列观察者被分配给两个不同的参与方（例如，在粒子 1 上有 Alice$_1$...Alice$_r$，在粒子 2 上有 Bob$_1$...Bob$_s$），而剩余的参与方持有单副本。

该方法依赖于无偏非锐利测量（一类特定的正算符值测量，即 POVMs），除了每个序列中的最后一个观察者执行锐利（投影）测量外，所有顺序观察者均采用此类测量。非锐利度由锐利度参数 $\lambda$（$0 < \lambda \le 1$）进行参数化，其中 $\lambda=1$ 对应于投影测量。效应算符定义为 $E^\pm_\lambda = \frac{I_2 \pm \lambda \vec{n}\cdot\vec{\sigma}}{2}$。

为了检测真多体非定域性，作者利用了 Seevinck-Svetlichny 不等式。这些不等式作为检测无法分解为部分可分态的凸混合态的非定域性的充分判据。这些不等式的违反（$|S^\pm_n| > 2^{n-1}$）证实了存在真 $n$ 方非定域性。作者计算了相关函数期望值的表达式，并通过对前序观察者的测量设置进行平均，以考虑到他们对前序选择的未知情况。

主要贡献与结果
论文推导了在 $n$ 比特系统中由第 $r$ 个顺序观察者获得的 Seevinck-Svetlichny 参数（$S^r_n$）的解析表达式。

1. 单边场景限制：

   • 对于四比特 GHZ 系统，作者证明了最多只有两个顺序观察者（Alice$_1$ 和 Alice$_2$）可以同时与剩余的单副本参与方违反 Seevinck-Svetlichny 不等式。
   • 这是通过满足特定条件（例如 \lambda_1 > 1/\sqrt{2 且 $\lambda_2 > 0.83$）实现的。
   • 对于第三个观察者（Alice$_3$），由于前序非锐利测量产生的累积扰动降低了相关强度，使得 $S^3_4$ 无法超过经典界限，从而阻止了同时展示非定域性。
   • 该结果推广到了 $n$ 比特系统（$n \ge 4$）。作者推导出了第 $r$ 个观察者获得的 Seevinck-Svetlichny 表达式最大值的通用公式（命题 1）：
     $$S^r_n = 2^{n-r}\sqrt{2} \lambda_r \prod_{m=1}^{r-1} \left(1 + \sqrt{1-\lambda_m^2}\right)$$
   • 基于此公式，论文得出结论：在 $n$ 比特系统中，如果剩余参与方仅能获得单副本，则最多不超过两个 Alice 观察者可以同时共享真多体非定域性。

2. 双边与多边场景：

   • 在双边场景（即两个参与方存在序列）中，作者发现与单边情况相比，并未获得额外的共享优势。对第一方进行的序列测量所施加的约束限制了第二方序列所能获得的非定域性。
   • 因此，结果表明，在当前框架下，扩展到多边场景（在多个参与方上存在序列）并不会产生进一步的优势。

3. 特定案例分析：

   • 对 4 比特、5 比特和 6 比特系统的显式计算证实了“最多两个”这一限制的一致性。例如，在 5 比特情况下，虽然 Alice$_1$ 和 Alice$_2$ 可以共享非定域性，但加入 Alice$_3$ 会阻止同时违反不等式。

意义
本文强调了非锐利测量在优化用于生成量子非定域性的量子比特回收中的关键作用。通过利用弱测量，可以在提取信息的同时，保留足够的纠缠，以便后续观察者能够展示非定域性。然而，这项研究确立了一个基本极限：在利用 GHZ 态进行真多体非定域性共享的背景下，每个参与方的“回收”能力在每个参与方为静态（单副本）时，严格限制在两个顺序观察者以内。

研究结果揭示了序列量子协议中信息增益与状态保持之间的权衡。结果为使用 GHZ 态进行非定域性共享的扩展性提供了理论边界，表明虽然序列共享是可行的，但能够同时验证真多体非定域性的独立观察者数量是有限的，且无论 GHZ 态的总比特数是多少。这项工作将非定域性共享的理解从双体扩展到了多体，为序列测量场景下量子相关性的鲁棒性提供了见解。