量子力学描述了一个粒子可以以超越我们日常经验的方式相互连接的世界。当两个或多个粒子处于“纠缠”状态时，对其中一个粒子进行的测量会瞬间影响其他粒子的状态，无论它们相隔多远。这种被称为“非定域性”（nonlocality）的现象不仅是一个理论上的奇趣，更是区分量子世界与经典世界的一个基本特征。为了证明一个系统是真正的量子系统，而非仅仅遵循某种隐藏的局部规则，科学家们使用被称为“贝尔不等式”（Bell inequalities）的数学测试。如果一个系统违反了这些不等式，就证实了真实量子连接的存在。然而，随着系统中粒子数量的增加，这些测试的复杂性会呈爆炸式增长。描述十个粒子可能行为所需的数学空间极其庞大，以至于在历史上，计算经典物理学所能达到的极限一直是不可能的，这导致我们在理解这些量子连接在面对噪声和缺陷时的鲁棒性方面存在认知空白。
现在，一支研究团队通过开发一种导航于这一巨大数学景观的新方法，填补了涉及多达十个参与者系统的这一空白。他们专注于一种被称为“格罗德-霍恩-蔡林格态”（Greenberger-Horne-Zeilinger state）的特定量子态，这种状态涉及将多个粒子制备成高度纠缠的构型。在实验中，每个粒子都使用一组排列在圆周上、形如正多边形顶点的方向进行测量。研究人员意识到，这种特定的排列创造了一种强大的对称性：粒子之间的关系以一种可预测的模式重复出现。通过利用这种对称性，他们能够大幅缩小需要解决的问题规模。他们不再试图计算十个粒子所有可能的单一结果（这需要追踪数以亿亿计的组合），而是通过将相同的输出结果进行分组，将问题简化到了可控的规模。
利用一种被称为“弗兰克-沃尔夫算法”（Frank-Wolfe algorithm）的高级数学工具——该算法旨在通过迭代步骤而非检查每一种可能性来寻找最优解——团队计算出了这些量子系统在失去其非定域特性之前所能容忍噪声的精确极限。他们发现，对于具有三到十个参与者的系统，他们可以确定破坏量子连接的噪声确切阈值。这些结果提供了关于这些状态鲁棒性的已知最佳上界，这意味着它们准确地告诉了我们量子态必须保持多“纯”才能保持可检测性。对于一个拥有十个参与者的系统，如果没有这些对称性技巧，计算将是无法完成的任务，而通过他们的优化，这项任务仅在强大的超级计算机上运行了十天便完成了，相比之下，未经优化的版本在计算上是难以处理的。
这项工作的最显著成果之一是对著名的“梅尔明不等式”（Mermin's inequality）进行的普遍改进。对于每个参与者执行四次测量的系统，研究人员发现了一种模式，可以利用该模式构建出一种比以往任何已知方法都更具抗噪能力的全新不等式，且无论涉及多少个参与者均适用。这意味着，对于规模更大的纠缠粒子网络，即使信号因环境干扰而显著退化，也能够检测到量子行为。此外，团队还计算了成功观测到这些量子效应所需的探测器效率。他们发现，他们提出的新不等式允许在测量次数更少、探测器效率更低的情况下检测到非定域性，这使得这些实验在实际应用中更加可行。
该研究还展示了一种被称为“星形网络中非定域性激活”的现象。在这种网络中，一个中心节点与周围的若干个节点共享纠缠对。此前的研究表明，只有在使用无限次测量的情况下，才能在这样的网络中激活非定域性。研究人员证明，利用他们的新方法，这种激活可以在有限且相对较少的测量次数下实现，特别是对于一个拥有十个周围节点的网络。这证明了复杂的量子网络可以在比此前认为的更为实用的条件下展现出非定域行为。这项工作证明了对称性不仅是一个数学上的奇趣，更是一种强大的计算工具。通过识别并利用量子数据中的重复模式，科学家们可以解决曾经被认为过于庞大而无法处理的问题，从而为深入理解量子网络的功能以及如何将其应用于未来技术打开了大门。
技术摘要：通过 Frank-Wolfe 算法研究对称多体贝尔不等式
问题陈述
本文探讨了表征多体量子态（特别是 GHZ 态）非定域性的计算难点。在多体贝尔场景中，参数空间随参与者数量 (N) 和测量设置数量 (m) 呈指数级增长。因此，确定“非定域鲁棒性”（即量子态无法再与局部相关性区分开的临界可见度 v）以及计算相应的贝尔不等式局部界限，对于即使是中等规模的 N 和 m 值，使用标准的线性规划或穷举枚举也是不可能实现的。作者专注于一种特定场景：N 个参与者进行 m 个平面测量，这些测量在 Bloch 球的 XY 平面上构成一个正多边形。
方法论
作者提出了一个结合两种主要工具的框架，以克服指数级缩放问题：
- 对称性利用：他们识别并利用了 GHZ 态和正多边形测量设置中固有的特定对称性。这些对称性并非场景的固有属性，而是嵌入在特定实例中的。作者定义了一个由参与者置换、测量索引循环移位和符号翻转生成的群作用。通过应用 Reynolds 算子（对群进行平均的算子），他们将高维相关张量和局部多胞体投影到一个显著较小的对称子空间中。
- 这将搜索空间的维度从 mN 降低到 ⌈m/2⌉。
- 这将确定性策略的枚举数量从 2(N−1)(m−1) 降低到涉及二进制项链（binary necklaces）的一个组合项，即 (N−1um+N−2)，其中 um 是循环移位下的轨道数。
- 对称 Frank-Wolfe 算法：为了找到最大化违反程度的贝尔不等式（一个分离超平面），作者采用了 Frank-Wolfe 算法（一种条件梯度法）。该算法并不枚举局部多胞体的所有顶点，而是迭代地求解线性最小化算子（LMO），以找到相对于当前梯度的“最坏情况”确定性策略。
- 该算法在缩减后的对称子空间内运行。
- 它利用“激活集”（active set）来回收先前找到的顶点，从而减少昂贵的 LMO 调用次数。
- 对于 LMO，作者针对大 N 使用启发式方法（交替最小化），针对较小 N（具体为 N≥8）使用精确轨道枚举，利用对称性将搜索限制在确定性策略的轨道内。
核心贡献
- 算法加速：论文证明了对称性缩减如何极大地加速贝尔不等式的计算和局部界限的求解。它使作者能够解决那些若采用标准方法则需要枚举 ∼1021 个策略并处理包含 ∼109 个元素的张量的实例。
- 新的贝尔不等式：该方法生成了对称化局部多胞体的面（facets）。对于 N=3 到 $10$，这些不等式给出了已知的 GHZ 态非定域鲁棒性的最佳上界。
- 针对 m=4 的泛化：作者发现了 m=4 个测量设置下所得不等式的模式。他们将此推广到任意数量的参与者 N，推导出了局部界限的闭式表达式。这些界限构成了 Lucas 数列，并改进了 Mermin 不等式给出的渐近噪声鲁棒性。
- 检测效率分析：论文计算了这些不等式的临界检测效率阈值，表明随着 m 的增加，对于 N=4，阈值从 0.7706 提升到了 0.7544。
结果
- 临界可见度：作者提供了对于 N∈[3,10] 及不同 m 值的临界可见度 vGHZNm 的数值。例如，对于 N=10 且 m=9，临界可见度约为 $0.02301$。
- 非单调性：结果显示，对于奇数 N，临界可见度随 m 呈现非单调性，这归因于在非对称配置中使用完全相同的正多边形测量可能具有次优性。
- 鲁棒性的下界：通过 Frank-Wolfe 算法构建显式的局部模型（凸分解），作者推导出了投影测量在 XY 平面内的非定域性阈值的严格下界（vGHZNXY）。对于 N=10，他们确立了一个约为 $0.01974$ 的下界。
- 非定域性的激活：利用推导出的界限，作者展示了在 N=10 个参与者的星型网络中实现非定域性的激活。他们证明，通过有限数量的测量（m=8 或 $9$），可以在初始两比特态为局部的网络中激活非定域性，而此前已知这一结果仅在无限测量次数下成立。
意义与主张
本文将自身定位为一种概念验证，证明了在处理高维约束优化问题时，可以将对称性有效地应用于 Frank-Wolfe 算法。作者声称，其方法使其能够远超线性规划或以往 Frank-Wolfe 应用所能处理的标准场景。
其意义在于：
- 为高达 10 个参与者的 GHZ 非定域鲁棒性提供了目前最紧的界限。
- 证明了有限的测量设置足以见证星型网络中的非定域性激活，完善了此前需要无限测量设置的研究结果。
- 提供了一个计算框架，将贝尔不等式生成的复杂度从指数级降低到对于特定对称实例而言可控的水平。
作者对其所得不等式模式的普适性保持谨慎，指出虽然他们找到了 m=4 的模式，但对于任意 m 的一般情况仍是一个开放性问题。他们还指出，不等式的整数系数可能会变得非常大，这是已知的代数特性，但与文献中常见的较小整数形成对比。这项工作被视为识别其他对称情况（如双体张量）的一步，这些情况有望进一步改进诸如 Grothendieck 常数之类的常数的界限。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。