量子纠缠成为了一次数学证明的核心。来源：Victor De Schwanberg/Science Photo Library

爱因斯坦说过一句名言，量子力学可以让相距很远的两个物体瞬时影响彼此的行为，他称这种现象为“鬼魅般的超距作用”1。在他死后数十年，实验证明了这种作用。但是，直到今天人们仍然不清楚，在自然允许的条件下，远距离物体间的相互协调可以到一个什么程度？如今，五名研究人员攻克了一个理论难题，他们的证明显示，答案在理论上是不可知的。

该团队在arXiv预印本服务器上传了一篇长达165页的论文2，但尚未经过同行评议。如果评议通过，这篇文章就能一下子解决纯数学、量子力学以及复杂性理论这一计算机科学分支的一连串相关问题。尤其值得一提的是，它还能解决一个已经提出40多年的数学问题。

如果证明成立，“这会是一个非常优美的结论” 。荷兰代尔夫特理工大学的理论量子物理学家Stephanie Wehner说。

论文的核心内容是对复杂性理论中一个定理的证明，与算法效率有关。先前研究显示，这个问题与“鬼魅般的超距作用”（也被称为量子纠缠3）在数学上是等价的。

该定理涉及一个博弈论问题。其中，同为一组的两名参与者不允许直接对话，但能通过量子纠缠协调他们的行动。这样，量子纠缠就能大幅提高这两名参与者的“获胜”次数。但作者证明，要两名参与者计算出一种最优策略在本质上是不可能的。也就是说，他们在理论上能达到的最大协调性是算不出来的。“没有算法能算出量子力学中能达到的最大违背值。”论文的作者之一，加州理工大学的托马斯·维迪克说。

“最棒的是，量子复杂性理论是这个证明的关键。”伦敦大学学院的量子信息理论学家托比·库比特说。

这篇论文在1月14日发表之后，迅速传遍了社交网络。人们对此十分激动,新加坡初创公司地平线量子计算的首席执行官约瑟夫·菲茨西蒙斯在推特上写道,“我本来以为这个问题就和其他复杂性理论的问题一样,要用上一百年才能解决。”

奥地利科学院的物理学家Mateus Araujo说:“我被吓到的了,我从没想过这个问题会在我有生之年得到解决。”

可观测量

在纯数学领域,这个问题被称为“康涅狄格州嵌入问题”,其名称来源于法国数学家,菲尔兹奖获得者阿兰康涅狄格州。这个问题其实属于算子理论的范畴，而算子理论是1930年代衍生出的一个数学分支，目的是为了给量子力学的发展奠定数学基础。算子是数的矩阵，行列数或有限或无限。每个算子都能表示物理对象的一个可观测量，在量子力学中有着非常重要的作用。

康涅狄格州在1976年发表的论文4中,用算子语言提出了一个问题:有着无限可测量变量的量子系统是否能用只有有限变量的简单系统近似?

而维迪克等人给出的答案是:不能。本质上说，量子系统是不能用“有限”系统近似的。物理学家鲍里斯Tsirelson5曾重新提出过这个问题,基于他的研究,Vidick等人的证明也可以推及:两个量子系统在超距纠缠时所能产生的关联性也是无法计算的。

异“域”结合

证明结果让领域中的许多人都深感惊讶。“我以为Tsirelson问题的答案绝对是肯定的。”Araújo在评论中写道。他本来相信的是，“从某种模糊的意义看，大自然在本质上是有限的”。如今，这个结果动摇了他的基本信仰。

研究人员对这个证明的真正意义还在消化中。量子纠缠是量子计算和量子通信这两个新兴领域的核心，可以用来实现超级安全的网络。特别重要的是，通过测量通信系统中纠缠对象间的关联性，就可以证明它未被窃听。不过,韦娜认为这个结论可能不会有太多技术上的影响,因为所有涉及量子系统的应用都会使用“有限”的系统。他还说，事实上，想要在本质“无限”的系统上测试量子怪诞性，单单是设计出这样的实验都是很困难的。

由于这篇论文融合了复杂性理论、量子信息和数学的多个方面，能完全理解论文的人屈指可数。Connes本人告诉《自然》，自己也不够格评论。但他表示，自己惊讶于这篇论文会有如此多的衍生影响。“这个问题竟然被研究地如此深入，这是我当初没想到的！”

参考文献：

1. 爱因斯坦，A.，波多尔斯基，B.和罗森，N.物理学家。Rev. 47, 777(1935)。

2. Ji, Z.， Natarajan, A.， Vidick, T.， Wright, J. & Yuen, H. https://arxiv.org/abs/2001.04383(2020)。

3. 维迪克，T.等。不是。点。数学。中国生物医学工程学报，2016,33(2):481 - 481。

4. A.安。数学。104,73-115(1976)。

5. 刘志强，陈志强，陈志强，等(1993)。

原文以量子物理学有多“诡异”?答案可能是不可估量的为标题发表在2020年1月16日的“自然”新闻上

©自然

自然| doi: 10.1038 / d41586 - 020 - 00120 - 6