⚛️ quantum physics

Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

本文表明，尽管采用周期性分箱的同相检波无法使双体 GKP 编码贝尔态违反 CHSH 不等式，但它成功地揭示了有限挤压 GKP 编码 GHZ 态和 W 态中强烈的多体非定域性，为连续变量系统中的贝尔测试提供了一条稳健的途径。

原作者： Xiaotian Yang, Santiago Zamora, Rafael Chaves, Ulrik L. Andersen, Jonatan Bohr Brask, A. de Oliveira Junior

发布于 2026-01-23

📖 1 分钟阅读🧠 深度阅读

原作者： Xiaotian Yang, Santiago Zamora, Rafael Chaves, Ulrik L. Andersen, Jonatan Bohr Brask, A. de Oliveira Junior

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

核心理念：用简单的工具捕捉“幽灵般的超距作用”

想象你有一个神奇的盒子，里面装着两枚硬币。在现实世界中，如果你抛出一枚硬币，并不会影响另一枚。但在量子世界里，这些硬币是“纠缠”在一起的。如果你抛出一枚得到“正面”，另一枚瞬间就会变成“反面”，无论它们相隔多远。爱因斯坦称之为“幽灵般的超距作用”。

科学家们想要证明这种幽灵般的连接是真实的，而不仅仅是光影造成的幻觉。为了做到这一点，他们通常会进行“贝尔测试”（Bell Test）。然而，这里有一个难点：我们用来观察这些量子硬币的工具往往会破坏这种魔力。

问题所在：
大多数量子实验使用光（光子）。测量光最简单的方法是使用一种叫做同相检波（homodyne detection）的工具。你可以把它想象成一个非常灵敏的麦克风，专门监听声波的“音量”。它的效率极高，几乎不会错过任何声音。

难点： 如果你用这个麦克风去监听标准的、平滑的量子波（称为“高斯态”），它永远无法检测到那种幽灵般的连接。这就像试图通过听冰箱的嗡嗡声来捕捉一个细微的耳语；这个工具太“平滑”了，捕捉不到那些锯齿状、奇特的量子秘密。

提议的解决方案：
作者们问道：“如果我们改变量子硬币本身的形状呢？”
他们提议使用一种特殊的量子态，称为 GKP 态（以 Gottesman, Kitaev, 和 Preskill 命名）。

类比： 想象标准的量子波像是平滑起伏的海洋。GKP 态则是同样的海洋，但海面上布满了巨大的、隐形的、尖锐的网格状突起。
魔力所在： 尽管工具（同相检波）仍然只是一个平滑的麦克风，但如果“海洋”拥有这些尖锐的、网格状的突起，麦克风终于可以听到那些秘密的耳语了。这种网格结构将一个简单的测量过程转化为了一个强大的量子怪异现象探测器。

实验过程：从两人到多人

研究人员通过两种不同的场景测试了这个想法：

1. 双人测试（死胡同）
他们首先尝试证明仅仅是两个人（爱丽丝和鲍勃）分享这些特殊的 GKP 硬币时存在的连接。

结果： 没有成功。即使使用了这种特殊的网格态，仅靠两个人也无法使用这种简单的麦克风来证明这种“幽灵般的行动”。
原因： 这就像试图只用两块拼图碎片来解开一个复杂的谜题；数学规则规定，仅凭两个人无法通过这种特定的工具展示出这种特定类型的量子魔力。

2. 群体测试（成功）
随后，他们将实验扩展到了三个人或更多人（一个群体）。

结果： 成功了！当他们使用这些特殊的 GKP 态配合一个群体时，麦克风确实检测到了那种幽灵般的连接。
类比： 想象一群朋友在玩游戏。如果只有两个朋友，游戏规则让他们无法获胜。但只要你加入第三个朋友，游戏规则就改变了，他们可以轻松获胜。GKP 态的“网格”结构让这个群体能够进行某种协调，从而证明他们在分享一个量子秘密，尽管他们仅仅是使用简单的麦克风在倾听。

现实世界的挑战：噪声与损耗

在现实世界中，情况并不完美。GKP 网格上的“突起”并不是无限尖锐的，它们有点模糊（由于“有限挤压”），而且信号在传输过程中也会丢失（就像电话通话掉线一样）。

论文精确计算了网格可以有多“模糊”，才能让魔力依然有效。

发现： 这个系统表现出了惊人的韧性。即使网格有点模糊且存在信号丢失，这个群体仍然可以证明量子连接的存在。
权衡： 研究人员发现，如果你拥有更多的成员，你可以容忍更多的“模糊性”或“损耗”。这就像一个合唱团：如果其中一位歌手稍微跑调了，整个群体仍然可以唱得非常完美。

结论摘要

简单的工具也能奏效： 你不需要复杂、昂贵或脆弱的设备来证明量子非定域性。你可以使用标准的、高效率的同相检波器（即“麦克风”）。
你需要正确的“形状”： 为了让这些简单的探测器发挥作用，你必须使用 GKP 态（即“网格状”的光）。
两人不够，三人才行： 使用这种方法，仅靠两个人无法证明这种特定类型的量子魔力。你需要一个由三个人或更多人组成的群体。
它具有鲁棒性： 即使设备并不完美且存在信号丢失，这种方法仍然有效，这使其成为一种非常实用的测试现实世界物理学的方法。

本文并未声称：
本文并未声称这将立即导致新的医疗设备、更快的互联网或特定的商业产品。它严格聚焦于证明这种特定的“网格态”与“简单探测器”的组合可以在实验室环境下打破经典物理学的规则。同时，论文也指出，虽然制造这种群体的状态在理论上是可能的，但构建实际的硬件对于工程师来说仍然是一个挑战。

技术摘要：基于 Gottesman–Kitaev–Preskill 态的鲁棒贝尔非定域性

问题陈述
贝尔不等式违背对于认证非经典性和排除定域实在论至关重要。然而，在连续变量（CV）系统中，演示贝尔非定域性受到测量方案的限制。虽然正交探测（homodyne detection）具有高效率——这对于关闭检测漏洞至关重要——但它存在根本性的局限：高斯测量无法从高斯态中产生贝尔非定域性。因此，需要非高斯态。现有的利用光子减除态或光学猫态的方案在损耗下表现得非常脆弱，且其非高斯特征在实际实现中往往会发生退化。此外，在连续变量系统中测试贝尔不等式需要通过“分箱”（binning）对连续结果进行离散化。以往的方法通常针对特定状态和设置优化分箱方式，这影响了观察到的违背强度和鲁棒性。本文探讨的核心问题是：能否利用将量子比特自然编码进玻色子模式的 Gottesman–Kitaev–Preskill (GKP) 编码，即使在存在有限挤压和噪声的情况下，仅通过正交探测和固定分箱实现鲁棒的贝尔违背。

方法论
作者提出了一个框架，其中每一方对共享的玻色子模式进行正交探测，并通过固定的周期性分箱规则将连续结果离散化。这种分箱对应于编码量子比特的逻辑泡利测量（ $X, Y, Z$ ）。

资源态： 本研究利用方格点阵 GKP 态。理想的 GKP 码字是不可归一化的狄拉克梳状谱（Dirac combs）。作者使用由能量滤波器 $e^{-\epsilon \hat{n}}$ 生成的有限能量近似来模拟现实态。这用位于更宽高斯包络下的窄高斯峰阵列取代了狄拉克梳状谱，其特征由挤压参数 $r_{dB}$ 表征。
测量方案： 参与者在特定的角度（ $\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$ ）测量旋转后的正交分量 $\hat{q}_{\theta}$ ，分别对应逻辑 $Z, X, Y$ 。连续结果 $q_\theta$ 根据其是否落在周期性区间 $R_o$ 内被映射为二进制位 $o \in \{0, 1\}$ 。
理论框架： 作者推导出了对于任何有限能量 GKP 编码态的 $N$ 方联合概率分布 $p(o|x)$ 的显式解析表达式。通过将编码态在逻辑泡利算符上展开，并利用 GKP Wigner 函数的高斯混合结构，他们将 $N$ 模概率简化为单模重叠的乘积。这些重叠通过涉及误差函数的绝对收敛级数来表示（公式 7）。
贝尔测试： 该框架被应用于多方场景（ $N \ge 3$ $N \geq 3$ ），使用了两种不同的纠缠结构：
- GHZ 态： 使用 Mermin–Ardehali–Belinskii–Klyshko (MABK) 不等式进行测试。
- W 态： 使用 Cabello 型概率不等式进行测试。
  研究还分析了光子损耗（建模为透射率为 $\eta$ 的分束器通道）和热噪声的影响。

主要贡献与结果

二体无结论定理（No-Go Theorem）： 作者确立了双体系统中的一个基本障碍：对于贝尔对态（Bell-pair states），泡利测量（通过正交探测 + 固定分箱实现）在 CHSH 情景下仅产生定域相关性。在这些约束条件下，不可能产生违背。
多体违背： 研究表明，超越两方后，有限挤压的 GKP 编码 GHZ 态和 W 态展现出强烈的多体非定域性。它们利用仅需正交探测读取的手段违反了多体贝尔不等式。
解析工具： 单模重叠公式（公式 7）的推导提供了一个高效的可计算链路，将物理 GKP 参数（挤压、晶格结构）与最终的分箱正交统计量联系起来。这使得在损耗和有限挤压下的贝尔违背数值评估成为可能。
阈值与鲁棒性：
- 挤压： 更高的挤压度（ $r_{dB}$ ）能更好地近似逻辑泡利测量，从而增加贝尔违背值。
- 损耗： 光子损耗会模糊相空间网格，降低可区分度。作者定义了一个临界挤压参数（ $r_{crit}$ ），即在给定损耗水平下违反特定不等式所需的最小挤压度。
- 对比： 研究发现，在测试 Cabello 不等式的 W 型态比测试 MABK 的 GHZ 型态对有限挤压更具鲁棒性。具体而言，对于相同的参与方数量（ $N=3$ ），W 型见证者在比 GHZ 型见证者更低的挤压阈值下即可实现违背。
- 噪声权衡： 分析量化了“噪声预算”，表明较高的传输率可以补偿适度的热噪声，但若要容忍显著的衰减，则需要接近真空的噪声环境。
几何距离： 对定域多面体几何距离的分析证实，W 型相关性对有限挤压更具鲁棒性。此外，将测量设置从 2 个增加到 3 个会极大地放大这种距离，这表明基于正交探测的非定域性比标准的两设置见证者所捕获的内容更为丰富。

意义与主张
本文声称为连续变量系统中实现实用、具备漏洞无关性的贝尔测试提供了一条路径。通过利用 GKP 编码，作者展示了仅通过高效率的正交探测和固定分箱即可实现鲁棒的贝尔违背，而无需复杂的非高斯操作（如 T-gate）或脆弱的非高斯态。

实验相关性： 研究结果直接适用于已实现 GKP 态的平台，如捕获离子、微波腔和集成光子源。
可扩展性： 虽然 GHZ 态可以通过高斯耦合和 Clifford 操作生成（与 GKP 架构兼容），但 W 态的制备仍是一个挑战，因为它需要非 Clifford 资源。作者将其视为一个关键的实验障碍。
更广泛的影响： 该解析框架（公式 7）不仅限于贝尔测试，还为分布式量子传感中的制备-测量协议和隐私认证提供了工具。

该工作得出结论，GKP 态是连接容错量子计算需求与光子及连续变量技术中实现鲁棒、高效率非定域性认证需求的天然桥梁。

核心理念：用简单的工具捕捉“幽灵般的超距作用”

实验过程：从两人到多人

现实世界的挑战：噪声与损耗

结论摘要

技术摘要：基于 Gottesman–Kitaev–Preskill 态的鲁棒贝尔非定域性

类似论文