盘算机科学、数学、物理学，这三个学科各自的一些重浩劫题在克日公布的一篇标题简练的论文《MIP*=RE》中同时获得相识答。在该论文中，五位盘算机科学家为可通过盘算方式验证的知识确立了一个新的界限。基于此，他们又为量子物理学和纯数学领域仍未获得解决的重浩劫题带去了谜底。
这篇长达 165 页的论文所展现的研究结果，一经公布，就在学界引发了广泛的关注，《Nature》杂志也对此举行了先容。原论文可会见：https://arxiv.org/abs/2001.04383。本文编译自 Quanta Magazine，以下内容是对该证明的详细解读：故事要从 80 多年前说起。
1935 年，阿尔伯特·爱因斯坦与鲍里斯·波多尔斯基（Boris Podolsky）和纳森·罗森（Nathan Rosen）互助展现了一种可能性：纵然距离很远，两个粒子也可以发生纠缠或关联。就在接下来的一年里，阿兰·图灵（Alan Turing）提出了第一个通用盘算理论，他证明晰一件事：存在盘算机永远无法解决的问题。
这两个想法都为各自的学科领域带来了革命，而且它们看起来似乎并不相关。但现在，一个具有里程碑意义的证明泛起了，它将这两种想法联系在了一起，同时解决了盘算机科学、物理学和数学领域许多尚未解决的问题。这个新证明就是：理论上，使用纠缠态量子比特（qubit）而非经典的 1 和 0 举行盘算的量子盘算机可用于验证很是多的问题的谜底。
纠缠与盘算之间的这种对应关系震惊了许多研究者。这个证明的作者们原本是想确定一种用于验证盘算问题的谜底的方法局限性，这种方法涉及纠缠。找到谁人局限性之后，顺带解决了另外两个问题：物理学中的 Tsirelson 问题（关于如何用数学建模纠缠）以及纯数学领域的一个相关问题（科纳嵌入料想）。
最终，这些效果像多米诺骨牌一样级联到了一起。「这些思想都是同一时间泛起的。它们能以如此戏剧性的方式再次聚首，真是很不错。
」该证明的作者之一多伦多大学的 Henry Yuen 说。此外，该证明的作者另有悉尼科技大学的季铮锋（Zhengfeng Ji）、加州理工学院的 Anand Natarajan 和 Thomas Vidick 以及德克萨斯州大学奥斯汀分校的 John Wright。
这五位研究者都是盘算机科学家。不行定的问题在盘算机降生之前，图灵就已经为盘算方面的思考界说了一个基本框架。险些在同时，他也讲明始终存在某些盘算机无法解决的特定问题。这就是常说的「图灵停机问题」。
经典设计中，盘算机法式可以吸收输入并发生输出。但有时候，法式会进入无限的循环之中，不停地重复事情。如果你遇到了这种情况，那只能手动终止这个法式。图灵证明晰，并不存在一个通用算法，可以确定一个盘算机法式将停止还是永远运行。
谜底必须在运行这个法式后才气知道。盘算机科学家 Henry Yuen、Thomas Vidick、Zhengfeng Ji、Anand Natarajan 和 John Wright 互助证明晰一个验证盘算问题的谜底的问题，却最终为数学和量子物理学领域的重大问题提供相识答。「如果你已经等候了 100 万年而一个法式还未停止，你需要等候 200 万年吗？没措施知道谜底。」滑铁卢大学数学家 William Slofstra 说。
用技术术语来说，图灵证明这个停止问题是不行定的（undecidable）——甚至可想象的最强大的盘算机也无力解决。图灵之后，盘算机科学家开始凭据难度来对其它问题举行分类。
要解决更难的问题，所需的盘算资源也更多，也就是说需要更多运行时间、更多内存。这些属于盘算庞大性问题。
最终而言，每个问题的求解都涉及到两个重大问题：「这个问题的解决难度有多大？」和「验证谜底正确的难度有多大？」审问式验证当问题相对简朴时，判断谜底正确与否也很简朴。但问题变得越发庞大时，就很难直接判断了。但就算无法确认，你也能知道谜底到底对差池。
此处就要提到「审问式验证」了。这个方法跟警员审问的逻辑差不多：如果一个嫌犯讲的故事是经心编造的，那你可能没措施去验证每一处细节。
但只需要针对这个故事提出一些问题，你就可以知道嫌犯是在说谎，还是在如实陈述。套用到盘算机科学术语上说，「审问」的双方划分是一台强大的盘算机和一台更弱的盘算机。
其中强大的盘算机（证明者）给出了一个解，较弱的盘算机（验证者）则希望通过提问来确定该解是否正确。举个简朴的例子，假设你是一个色盲，另一小我私家（证明者）称两颗弹珠颜色差别。
你要怎么验证他说的是不是真的呢？你可以把这两颗弹珠拿到身后混在一起，再拿出来让证明者区分它们。如果它们颜色真的差别，那么证明者应该每一次都能给出正确的谜底。如果这两颗弹珠实际上颜色一样，那么证明者有一半的可能会猜错（就算凌驾半数的时间能说对，那也能肯定颜色纷歧样了）。
这种方法还可以验证大量差别种别问题的解。以此推之，当两个证明者针对同一个问题都给出解时，验证速度会变得更快。就好比，你要审问的嫌犯如果有两个，解决一个犯罪案件就会越发轻松，因为你可以交织磨练他们的谜底。
如果这些嫌犯讲的是实话，那么他们所说的大多都对得上。如果他们在说谎，那么更多时候会泛起相互矛盾的谜底。
盘算庞大性可能看起来完全是理论方面的问题，但其实也与真实世界联系很精密。在求解和验证问题的历程中，盘算机需要时间和内存资源，本质上这是物理问题。
因此物理学领域的新发现会影响到盘算庞大性。Natarajan 说：「如果你选择了量子物理学而不是经典物理学，那么你会获。
本文关键词：体育外围平台网址,同时,解决,了,量子,物理学,和,理论,数,学的
本文来源：体育外围平台网址-www.egaum.com
