想象一下，宇宙是一个巨大的、宇宙级的拼图，其中的碎片不仅仅是并排坐着，它们还以一种似乎打破了日常逻辑的方式相互交谈。这就是量子力学的世界，它是关于电子和光子等微小粒子如何行为的规则手册。一个多世纪以来，科学家们一直在争论这本规则手册是用什么样的“语言”编写的。标准版本使用的是复数，这听起来像是数学课里的噩梦，但实际上它们是一种特殊的工具，包含了一种被称为“虚数”的神奇成分。这些并不是凭空捏造的；它们对于描述粒子的自旋和舞蹈至关重要。然而，一个大胆的替代理论认为，我们只需通过扩大数学工具箱的规模，就可以仅使用实数（即熟悉的 1, 2, 3 等）来应付。长期以来，人们似乎认为这两种语言可能只是在用不同的方式表达同样的东西，就像用英语或西班牙语描述一场日落一样。但关键在于：如果宇宙真的需要复数，那么“实数版”物理学在本质上就是破碎的，无论我们多么努力地去修复它。大问题在于：它到底有多“破碎”？这种差异是一个微小的裂缝，还是一个深渊？
这时，一群物理学家决定将这两种理论置于一场名为“连点成线”的宇宙级游戏中的终极测试。他们设置了一个被称为星型网络的情景，这就像是一个派对，一个中心主持人（我们称她为伊芙）通过独立的源与许多宾客（爱丽丝、鲍勃、查理等等）相连。在这个游戏中，宾客和主持人对共享的量子粒子进行测量。目标是观察这些相关性——即结果中的模式——能否由“实数”理论来解释，或者是否严格要求“复数”理论。研究人员构建了一个特殊的数学测试，即贝尔不等式，它充当了一个计分板。如果分数保持在某个限度内，则实数理论成立；如果分数远超这个限度，则复数理论胜出。
他们的发现简直令人脑洞大开。他们发现，随着他们向派对中增加更多的宾客，复数理论预测的结果与实数理论所能解释的结果之间的差距不仅变大了一点，而且随着参与者的数量呈线性增长。用通俗的话说，如果你只有几个人，差异可能很小。但如果你有一个庞大的量子系统网络，“实数”理论就会变得如此不准确，以至于它几乎变得毫无用处。这个差距变得任意大，这意味着实数理论相对于复数理论的失败程度是没有基本极限的。这就像试图用单一的鼓点来描述一场交响乐；音乐变得越复杂，这种失败就越显而易见。
他们不仅仅是猜测，而是通过数学方法证明了这一点。他们表明，在这种星型网络中，复数理论可以在他们的测试中达到 1 的得分，而实数理论则被限制在 1/(N - 1)，其中 N 是外部参与者的数量。随着 N 的增长，那个分数会趋向于零，从而创造出一个巨大的鸿沟。他们还检查了这一结果在混乱、多噪的现实世界实验中是否依然成立。即使他们允许测量中存在微小的误差（用 ε 表示），这种差距依然保持稳健，尽管数学显示，为了看到完整的效应，误差需要相对于参与者数量进行抑制。他们的分析表明，对于一个仅有 N = 3 个参与者的网络，差距已经非常显著，并且随着网络的扩张，这种差距只会变得更加剧烈。
这项工作有效地关上了这样一扇门：即复数只是一个我们可以通过变得更聪明而替换掉的便捷数学技巧。该论文证明了虚数是量子世界中一种真正的资源，它提供了一种随着系统变大而无限制增长的优势。虽然作者指出，在实验室中创建如此大型的独立网络具有挑战性（因为保持源的真正独立很难），但他们的理论证明是坚实的。他们已经证明，当使用实数时，宇宙不仅仅是略有不同；它在本质上无法在没有“虚数”这一成分的情况下描述复杂的量子网络。这个差距不是基础上的一个裂缝；它是一个不断扩大的深渊，证明了量子力学的复数形式不仅仅是一个选择——它是一种必然。
技术摘要：基于实数与复数的量子理论之间的差距是任意大的
问题陈述
量子信息理论在本质上是使用复希尔伯特空间（复量子理论，CQT）来构建的。虽然人们早已知晓，通过将维度翻倍，单系统量子相关性可以使用实希尔伯特空间（实量子理论，RQT）进行模拟，但复数在多体场景中的必要性直到最近才受到挑战。此前的一项研究 [8] 表明，在特定的三方网络（双局域性）中，RQT 无法重现所有的 CQT 预测。然而，一个关键的开放性问题仍然存在：CQT 与 RQT 之间差距的大小是否存在一个与系统规模无关的基本界限？如果存在这样的界限，RQT 就可以作为大规模系统的有效近似。相反，如果这种差距可以变得任意大，那么复数的“非物理”性质将成为一种更为深刻的资源。
方法论
作者通过将网络场景推广到涉及 N+1 个参与方的星型网络来解决这一问题：包含 N 个外部参与方（Ai）和一个中心参与方（E，Eve）。该网络由 N 个独立的源组成，每个源都在一个外部参与方和 Eve 之间分配一个二分量子态。
- 操作设置： 外部参与方执行三种测量之一（xi∈{0,1,2}），具有二进制结果。Eve 执行一个具有 2N 个结果的单一测量。
- 条件贝尔泛函： 为了严格比较 CQT 和 RQT，作者构建了一个“条件”贝尔不等式。这涉及两个泛函：
- I^l：一个源自自测试协议 [27, 28] 的泛函，旨在认证该网络实现了最大量子违背。在 CQT 中，其最大值为 2(N−1)。
- JN：一个基于 Mermin 不等式 [29] 的泛函，并归一化到 [−1,1] 范围内。
- 见证器（Witness）： 作者定义了一个差距见证器，通过在 I^l 实现其最大量子值的所有结果 l 的操作约束下，使 JN 最大化。这种“条件化”确保了比较是在理想的 CQT 态/测量与该特定配置下最优的 RRT 近似之间进行的。
- 分析方法： 作者采用自测试技术，在满足最大化 I^l 违背的约束下，对 RQT 中的态和测量进行表征。他们分析了张量积结构以及实值可观测量所施加的约束。
主要贡献与结果
任意大的差距： 本文证明了 JN 在 CQT 中的最大值与在 RQT 中的最大值之比随参与方数量 N 线性增长。
- 在 CQT 中，使用理想 GHZ 态和特定可观测量（包括 Pauli Y），JN 的值为 βCQT=1。
- 在 RQT 中，在满足 I^l 极大化违背的约束下，作者证明（定理 1）JN 的最大值被限制为 βRQT≤1/(N−1)。
- 因此，差距比 βCQT/βRQT≥N−1。随着 N→∞，该差距变得任意大，证明不存在与系统规模无关的基本界限。
对噪声的鲁棒性： 作者将他们的结果扩展到了噪声场景（定理 2）。他们表明，即使观察到的 I^l 违背偏离理想值一个微小的误差 ϵN，且 Eve 的结果概率发生轻微偏差，RQT 中 JN 的上界仍然受到抑制。具体而言，βRBT≤N−11+O(N6ϵN)。这表明，虽然误差容限需要相对于 N 进行抑制，但即便在存在微小实验缺陷的情况下，该差距依然存在。
数值验证： 对于 N=3 的特定情况，作者使用了半正定规划进行了数值分析。结果表明，RQT 中的实际差距明显大于论文中推导出的解析下界，这表明解析界限是保守的。
意义
本文声称解决了量子力学中的一个基础问题：复数不仅是一种数学上的便利，而且是一种必要的资源，能够为描述量子网络提供超越实数的无界优势。
- 基础影响： 研究结果意味着，随着量子网络的规模扩大，实数形式在描述这些系统相关性方面会变得“极其糟糕”，相比之下，复数形式则更具优势。这挑战了 RQT 是大规模量子系统足够近似的观点。
- 实验意义： 作者指出，更大的星型网络更适合用于关闭区分 CQT 与 RQT 的实验中的检测漏洞。更大的差距降低了实验验证两种理论间差异所需的探测器效率。
- 资源理论： 该工作将“虚数性”（存在复数的特性）识别为一种能够提供无界优势的资源，这在多体场景中不同于标准贝尔场景中由纠缠本身提供的优势。
作者对未来的工作保持了谦逊的态度，指出虽然他们已经证明了无界差距的存在，但利用固定数量的参与方来实现这一点仍是一个开放性问题。他们也承认了强制执行源独立性的实验挑战，但认为这种独立性是物理学的一个基本假设。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。