Genuine Multipartite Nonlocality for Arbitrary Input: Maximal Randomness Generation and Robust Self-Testing

本文引入了一种适用于任意奇数个测量次数的新型贝尔不等式，该不等式能够实现对真多体非局域性的维度无关自测试，达到最大设备无关随机性生成，并为实验可行性提供了改进的噪声鲁棒性。

要点

想象一下，一群朋友在房间里玩着一场复杂的“传声筒”游戏，但他们分享的不是悄悄话，而是秘密的量子硬币。在物理学世界中，这个游戏被称为贝尔测试（Bell test）。通常，科学家们会使用一套简单的规则手册（贝尔不等式）来检查这些朋友是否在作弊，而这套规则手册中每个人只有两种选择。如果他们打破了规则，我们就知道他们使用的是“幽灵般”的量子连接，而不是预先商定好的信号。

然而，这篇论文介绍了一套全新的、更高级的规则手册，它是为人数更多（任意数量的人）且拥有更多选择（奇数个选项，如 3、5 或 7 个）的群体设计的。

以下是作者取得的成果，通过简单的概念进行了拆解：

1. “真团队协作”检测器（真多体非定域性）

在旧的游戏中，你有时可以欺骗系统。例如，两个朋友可能会秘密结盟来对抗第三个人，而第三个人则是孤军奋战。这被称为“双定域”（bi-local）行为。

作者创建的新规则手册非常特别，因为它能识别出真正的团队协作。它可以区分：

• 虚假的团队协作： 两个人合谋对抗其余的人。
• 真实的团队协作： 所有人都在以一种任何子集都无法独立解释的方式紧密相连。

这就像一个谜题。在旧规则中，两个人的小组可以解开一半的谜题并欺骗系统。而在这个新游戏中，由于每个人都有许多选择，谜题变得如此复杂，以至于你必须让所有人完美地协同工作才能解开它。如果这组人打破了规则，就证明了他们所有人都是真正连接在一起的。

2. “神奇数学”技巧（平方和分解）

通常，为了证明一个量子系统运作得有多好，物理学家需要假设该系统是很小的（比如一个简单的 2 位计算机）。但现实中的量子系统可能是庞大且混乱的。

作者使用了一种被称为平方和（Sum-of-Squares, SOS）分解的巧妙数学工具。想象一下，你想在不打开箱子的情况下证明箱子里装满了黄金。与其猜测箱子的大小，不如构建一个无论箱子有多大都能工作的数学“秤”。这使得他们能够计算出量子系统所能获得的绝对最高分，而无需了解他们正在测量的量子世界的规模。

3. “自我测试”（证明机器是真实的）

量子技术面临的最大挑战之一就是信任机器。如果一个设备说它正在产生量子随机性，你如何知道它不是一个仅仅在生成随机数的假计算机？

这篇论文提供了一个自我测试（Self-Test）。它就像是量子机器的“驾驶员执照考试”。通过检查机器是否以特定方式打破了新的规则手册，你可以从数学上证明：

• 该机器持有特定的量子态（一种“GHZ 态”，就像是一场完美的粒子同步舞会）。
• 该机器正在正确地测量粒子。

你不需要观察机器内部（打开盒子）；游戏的运行结果会告诉你内部究竟发生了什么。

4. “纯粹随机性”工厂

随机性是加密和安全领域的一种宝贵资源。作者展示了当这个新游戏在完美的量子水平下进行时，它能产生该玩家人数下最大量的随机性。

• 如果有 3 个玩家，你会得到 3 比特的纯粹随机性。
• 如果有 5 个玩家，你会得到 5 比特。

以往的方法只有在玩家并非真正全部连接时，才能获得这么多随机性。本文首次证明了你可以在获得最大随机性的同时，同时也证明每个人都是真正连接在一起的。

5. “抗噪声”护盾

在现实世界中，情况是混乱的。存在噪声，比如无线电里的静电或颤抖的手。通常，如果游戏出现一点点噪声，证明就会失效，你就无法信任结果。

作者发现了一个令人惊讶的益处：给玩家的选择（设置）越多，游戏对噪声的抵抗力就越强。

• 想象一座在微风中就会坍塌的弱桥。
• 这个新游戏就像一座随着车道增加而变得更加坚固的桥。
• 即使实验并不完美，作者也证明了只要玩家拥有足够的选择（例如 11 个选项而不是仅仅 3 个），即使存在相当程度的“静电”，系统仍然可以证明其运作正常并产生随机性。

总结

这篇论文介绍了一种测试多人量子系统的新型、稳健的方法。它利用了一套具有多种选择的复杂规则手册，来证明每个人都是真正连接的（真非定域性），允许系统产生最大可能的随机性，并作为一个即使在实验环境存在噪声时也能正常工作的自我检查机制。这是朝着构建既安全又可验证（无需信任硬件）的量子网络迈出的重要一步。

技术摘要

技术摘要：任意输入的真多体非定域性：最大随机性生成与鲁棒自测试

问题陈述
贝尔非定域性是量子设备设备无关（DI）认证的基础。虽然二体非定域性已得到充分理解，但多体场景展现出更丰富的关联层级，特别是真多体非定域性（GMNL），这种关联无法通过结合局部和二体资源的混合模型来还原。现有的 GMNL 见证框架（例如 Svetlichny 型不等式）通常面临以下局限性：

1. 输入约束： 许多标准不等式（如 Mermin–Ardehali–Belinskii–Klyshko (MABK) 系列）受到每方仅有两个测量设置的限制。
2. 分析障碍： 使用 Jordan 引理（通过将算符分解为 $2\times2$ 块来简化分析）仅在两个输入的情景下有效。这阻碍了对具有任意数量测量设置（$n \ge 3$）场景的解析处理。
3. 随机性与鲁棒性： 先前的认证最大 DI 随机性（对于 $m$ 个参与方为 $m$ 比特）的方法往往无法见证 GMNL，或者在多设置场景下缺乏对实验噪声的鲁棒性分析。

方法论
作者引入了一类 Bell 泛函 $\Gamma_m^n$，旨在处理任意 $m$-体场景，其中每方具有任意奇数个测量输入 $n$。其核心方法论创新包括：

• 解析平方和（SOS）分解： 为了绕过 Jordan 引理的限制，作者构建了一个解析 SOS 分解。他们定义了一个正半定算符 $\gamma_m^n$，使得该 Bell 泛函的界限由最优量子值确定，且无需假设任何特定的希尔伯特空间维度。这使得在完全设备无关的情况下推导最优量子违反值成为可能。
• 通过 Swap 电路进行自测试： 作者采用了一种基于交换（swap）的认证方案。通过构建局部同构（swap 电路），他们将未知的物理态和可观测量映射到参考系统（具体为 Greenberger–Horne–Zeilinger (GHZ) 态）。这证实了达到最优量子违反值可以唯一地认证底层状态和测量可观测量（在局部同构意义下）。
• 鲁棒性分析： 在三体情形下，作者将实验缺陷建模为实现的观测量的偏差。他们推导出了显式界限，将观测到的违反程度与提取出的态及可观测量的保真度，以及噪声条件下的认证随机性联系起来。

关键结果

1. 最优量子违反与 GMNL：
   作者推导出所提不等式的最优量子值为 $(\Gamma_m^n)_{Q}^{opt} = 2n^{m-1} \cos(\frac{\pi}{2n})$。他们解析地证明了一个严格的层级关系：
   $$(\Gamma_m^n)_{Q}^{opt} > (\Gamma_m^n)_{BL} > (\Gamma_m^n)_{L}$$
   其中 $(\Gamma_m^n)_{BL} = 2n^{m-2}(n-1)$ 是双局部（bi-local）界限，而 $(\Gamma_m^n)_{L} \le 2(n-1)^{m-1}$ 是全局部（fully local）界限。这种分离确认了对于任意奇数 $n$ 和任意 $m$，该不等式可以见证 GMNL。

2. 最大 DI 随机性生成：
   该框架能够提取最大全局 DI 随机性，即在最优量子违反时为 $m$ 比特。作者证明了对于特定的测量设置，联合概率分布变为均匀分布（$1/2^m$），从而得到 $R_{max} = m$。这超越了以往的限制，即最大随机性认证往往与证明 GMNL 相冲突。

3. GHZ 态与可观测量的自测试：
   论文提供了显式的自测试陈述。当达到最优违反时：

   • 共享态被认证为纯纠缠态（具体为 GHZ 态 $|GHZ\rangle = \frac{1}{\sqrt{2}}(|0\rangle^{\otimes m} + |1\rangle^{\otimes m})$）。
   • 测量可观测量满足特定的反对易关系和期望值，例如 $\langle \{A_k^{i_k}, A_k^{i_k+x}\} \rangle = 2(-1)^x \cos(\frac{\pi x}{n})$。
   • 这些性质是在不假设系统维度的前提下被认证的。

4. 对噪声的鲁棒性：
   在三体情形下，作者表明对实验缺陷的容忍度随测量设置数量 $n$ 的增加而增加。随着 $n$ 的增大，量子界限与双局部界限之间的间隙扩大，使得即使在相对违反程度较低的情况下也能成功进行状态和可观测量提取。例如，在 $n=11$ 时，即使观测到的违反程度显著低于理想最大值，仍能以高保真度提取状态。

意义与主张
本文声称填补了在认证多体量子资源方面的空白，同时实现了三个此前难以协调的目标：

1. 泛化性： 它将 GMNL 见证扩展到了具有任意数量测量设置（奇数 $n$）的情景，超越了受限的二设置范式。
2. 最大随机性： 它证明了可以在特定的真非定域区域内认证最大 $m$-比特的 DI 随机性，解决了以往最大随机性协议无法保证 GMNL 的问题。
3. 鲁棒性： 它确立了增加测量设置数量可以增强自测试协议对噪声的鲁棒性，使得多体纠缠的认证在实验实现中更具可行性。

作者指出，虽然鲁棒性分析是针对三体情形显式完成的，但其核心框架旨在扩展到一般的 $m$-方场景。他们承认目前的不等式仅限于奇数个设置，并将推广到偶数设置作为未来的研究方向。