作者: Shubhayan Sarkar, David Trillo, Marc Olivier Renou, Remigiusz Augusiak

1. 核心物理图象

量子力学通常建立在复数域上的希尔伯特空间中。但人们一直好奇，能否只用实数来构建一个同样有效的量子理论？本文证明，在一种类似于“星型网络”的多方量子通信场景中，随着参与方人数的增加，基于实数的量子理论与标准的复数量子理论之间的差距会变得任意大。这意味着，在描述复杂量子网络时，实数理论会越来越不准确，从而从根本上确定了复数对于量子力学的必要性。

2. 关键术语解释

• 复杂量子理论 (CQT)：标准的量子力学形式，其态矢量和可观测量定义在复数希尔伯特空间上。这是当前物理学家普遍接受的量子理论。 • 实数量子理论 (RQT)：量子力学的一种替代形式，其中所有态矢量、可观测量以及操作都定义在实数希尔伯特空间上。 • 条件贝尔不等式：论文中构造的一个用于检测CQT和RQT之间差异的数学函数。它不是对任意量子态和测量进行优化，而是要求系统满足某些操作条件（如特定的贝尔不等式违反）后，再去优化该函数，从而放大两种理论间的差距。

3. 主要贡献

1. 证明了CQT与RQT的差距可以无限大：之前的工作只展示了两种理论在特定场景下存在有限差距，本文首次证明这个差距可以随着参与方数量的增加而线性增长，从而不存在一个固定的上限。
2. 提出了一种可扩展的“条件贝尔不等式”：论文巧妙地设计了一个函数，通过“自测试”技术先将实验条件锁定在特定状态和测量上，然后比较在实数和复数理论下该函数的最大值，从而清晰地量化并放大了两种理论间的差异。
3. 分析了实验噪声的容忍度：论文不仅证明了理想情况下的差距，还给出了在有实验误差的情况下，该差距依然能够被观测到的鲁棒性分析，为未来的实验验证提供了理论指导。

4. 研究方法

作者采用了 自测试 (self-testing) 的思路。首先，他们为星型网络（一个中心节点连接多个外围节点）设计了一组贝尔不等式，其最大量子违反值可以“自测试”出实验中的量子态和测量装置，将其逼向一个理想的、已知的形式。然后，在这个“条件”下，他们构造了第二个函数 J_N。在复数理论（CQT）下，J_N 可以达到最大值 1。然而，仔细分析实数量子理论（RQT）的限制（特别是需要可观测量和态都是实对称的），他们发现 J_N 的最大值被严格限制在 1/(N-1) 以内。随着参与者数量 N 增加，这个上界趋近于 0，从而与 1 之间的差距线性增大。

5. 实验结果与结论

论文通过严谨的数学证明得出结论：在星型量子网络中，随着外围参与方数量的增加，实数量子理论与标准复数量子理论之间的“鸿沟”会变得任意大。这否定了“实数理论可以作为复数理论的良好近似”的可能性，确认了复数是量子力学形式中不可或缺的、具有物理意义的结构。该工作也指出，这种可放大的差距有助于在实验中关闭“探测效率漏洞”，因为更大的差距意味着对探测器的效率要求更低。未来研究方向包括：寻找更简单的、能观测到这种零差的标准贝尔不等式，以及如何在实验中实现更大规模的网络。

6. 论文标签

量子算法， 量子信息， 里德堡原子

📄 点击此处展开/折叠原文 PDF

原文链接： Gap between quantum theory based on real and complex numbers is arbitrarily large