计算复杂性理论家证明引力必须量子化 https://arxivblog.substack.com/p/computational-complexity-theorists…

计算复杂性理论家证明引力必须量子化

来源：https://arxivblog.substack.com/p/computational-complexity-theorists 半经典爱因斯坦场方程 (https://substackcdn.com/image/fetch/$s_!PNw5!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fadba993b-c821-45d3-b40f-5ce1077642fa_484x128.png)来源：arxiv.org/abs/2606.14806 暂且考虑一下简单的数独谜题。从空白网格开始填入数字是困难的，随着网格增大，可能的排列数量会爆炸性增长。然而，检查一个填好的网格是否有效只需片刻。

这种寻找解与验证解之间的不对称性，正是数学与计算机科学中最深层的未解决问题之一——P与NP问题——的核心。该问题本质上是在问：是否每个能快速验证解的问题也都能被快速求解？大多数专家认为答案是否定的（尽管至今无人证明，尽管首个给出证明者将获得100万美元的千禧年大奖）。

你可能会以为这纯粹是数学和计算机科学的问题，但物理学家逐渐认为它与宇宙的本质存在着深刻的联系，因为每一台计算机都是一台物理机器。事实上，许多物理学家和数学家相信，越来越多的证据表明这种数学实在性在某种程度上比物理定律更深刻；在一切之下，信息的属性以及我们处理信息的方式构成了实在的更坚实基础。

正是在此背景下，我们触及物理学中最深刻的问题之一：引力是否像其他一切基本层面的事物一样，是量子力学的。物理学家怀疑它是，但缺乏证据来证明。实际上，他们常退回到一个更简单的图景：引力是经典的，但可以耦合到量子物质。这种半经典框架产生了一些有用的结果，但长期以来被怀疑带有不寻常的性质。

现在，科罗拉多大学博尔德分校的Matthew Fox、马里兰大学学院公园分校的Chaitanya Karamchedu以及加拿大滑铁卢圆周理论物理研究所的Sotirios Mygdalas出场了。这些理论家首次探索了半经典引力理论的计算性质。他们的结论是：这种宇宙观允许的计算如此狂野且强大，以至于该理论不可能是正确的。

这引导他们得出一个深刻的结论。如果该理论产生不可能的结果，那么其背后假设——引力是经典的——就不可能是正确的。而如果引力不能是经典的，那么它必定是量子的。

以下是他们得出此结论的方式。Fox及其合作者开始思考当量子物质通过半经典爱因斯坦场方程受到经典引力场影响时会发生什么。在此框架下，一个大量子粒子不会像普通量子波函数那样简单地扩散，它还会对自身产生引力吸引。这种自吸引由薛定谔–牛顿（Schrödinger–Newton, SN）方程描述，该方程通过引入一个引力自相互作用势来修改普通量子动力学。关键在于，这种修改使动力学变为非线性的——而事实证明，非线性在计算上是爆炸性的。

非线性量子动力学与计算硬度之间的联系，在1998年Daniel Abrams和Seth Lloyd的工作中建立，后来由Ning Bao、Adam Bouland和Stephen Jordan加以推广。他们的核心洞见是：任何非线性量子演化都必然以标准线性量子力学无法做到的方式“拉伸”态空间。

因此，任何两个指数级接近的量子态，可以在仅多项式步数内被驱动到宏观可分辨的距离。相比之下，在完全线性的普通量子力学中，这将需要指数级步数。

这种放大正是计算机科学家高效解决NP完全问题所需要的。因为判断此类问题可以归结为区分两个相差指数级小量的量子态。

其影响远远超出薛定谔–牛顿方程本身。由于支撑该论证的数学定理适用于任何非线性量子动力学，研究人员认为，本质上任何量子物质以非线性方式耦合到经典引力场的半经典理论都会产生相同的结果。

这将违反理论计算机科学的一个基础性原则，即物理扩展丘奇–图灵论题（Physical Extended Church–Turing Thesis, PECTT），该论题认为没有任何物理过程能高效解决NP完全问题。

“任何自洽的、半经典的、非线性物质–引力耦合都会产生一个解决NP完全问题的高效算法，从而违反PECTT，”Fox及其合作者说。唯一干净的出路是将引力量子化，这将恢复动力学的线性并完全移除自相互作用势。“将引力量子化恢复了线性，从而完全避免了我们的论证，”他们总结道。

这项工作并未排除所有替代方案。原则上，人们可以放弃PECTT本身，或者寻求一种半经典理论，其密度矩阵演化恰好是线性的，即使底层波函数动力学是非线性的——这是Oppenheim的后量子理论所探索的路径。

但每一种这样的逃避都带有沉重的概念代价。Fox及其同事认为，更干净更自然的解决方式就是引力是量子的。因此，该结果为引力量子化提供了一个强有力的新理论论证。它加入了间接理论论证量子引力的悠久传统，但带有一个不寻常的转折。它的力量并非来自关于信息或热力学的思想实验，而是来自物理世界的计算结构。

参考文献：arxiv.org/abs/2606.14806 (https://arxiv.org/abs/2606.14806): 半经典引力高效解决NP完全问题

深度洞察

这篇论文处于引力物理学与计算复杂性理论的非凡交叉点，其核心发现对我们如何理解物理实在的基本结构具有深远影响。

作者证明，如果引力保持经典——由半经典爱因斯坦场方程描述——那么由此产生的非线性动力学，原则上允许在多项式时间内解决NP完全问题。这将粉碎物理扩展丘奇–图灵论题（PECTT），该基础性原则认为没有任何物理过程能高效解决此类问题。其意义是深远的：计算极限不仅是数学抽象，而且似乎被编码在物理学本身的结构中。

这一发现之所以引人注目，在于它颠倒了通常的探究方向。作者没有问物理学能告诉我们关于计算的什么，而是问计算约束能告诉我们关于物理学的什么——而答案令人震惊。PECTT的普遍性充当了一种一致性测试，候选物理理论必须通过它。半经典引力未能通过这一测试。

更广泛的意义在于，计算复杂性理论可能充当基础理论的一个真正的选择原则，与对称性和可重整化性等既定工具并列。但一个物理理论与计算理论之间的矛盾，是否足以成为拒绝它的理由？

如果是的话——而Fox及其合作者显然倾向于这一观点——那么可计算性与物理定律不仅是类似的，而且被某种我们尚未把握的更深层次所约束。而这正是一个本质上更令人兴奋且更深刻的问题。

关于本篇文章的讨论

准备好获取更多内容了吗？