量子计算机数学问题,数学家正在研究具有上帝般力量的行星式量子计算机

原标题：数学家正在研究具有上帝般力量的行星式量子计算机

如果当今的计算机有梦想和雄心壮志，那么将会出现一些他们梦寐以求的解决问题。有些问题将花费太多时间或内存，几乎永远持续下去。但是，在一个令人兴奋的新结果中，一组计算机科学家证明了理论上量子计算机应该如何能够快速验证解决了几乎无限的问题。

量子计算机不应该能够做到这一点。德克萨斯大学奥斯汀分校的一位著名计算机科学家兼教授斯科特·亚伦森(Scott Aaronson)称，这一发现是“本世纪迄今为止最大的理论惊奇”之一。

仍在等待同行评议的新结果来自理论计算机科学的抽象领域，该领域通过数学模型和证明对计算机进行检查。在这一领域，科学家们可以在纸上来描述功能无限的史诗计算机。

这项研究的合著者，加州理工学院教授托马斯·维迪克(Thomas Vidick)说：“你并不是为了建造任何东西而研究这些[计算机。相反，研究人员对量子计算机进行了理论分析，以了解他们可以解决的问题的复杂性。问题非常棘手，以至于你要花很多时间来解决它们，而将精力集中在验证其解决方案的不同方法上。”

这表明量子计算机可以快速验证所谓的停止问题的解决方案。暂停问题是确定正在运行的程序是否停止的问题。程序的长度必须是有限的，例如100行代码。

艾伦·图灵(Alan Turing)在1936年设计了他的突破性计算机数学模型(现在称为图灵机)时发现了停顿问题，这是无可争议的。在这种情况下，不可计算性意味着没有解决停止问题的聪明算法。如果计算机只是简单地看着某个程序运行了任意长时间，那么它最终可以确定程序是否最终停止。但是这种策略不能算作可计算的，因为有用的计算必须在可预测的时间内完成，无论是一天，一年，还是十亿年。

新的结果表明，即使是像普通笔记本电脑之类的东西，也可以通过检查两台功能强大的量子计算机来快速验证停止问题实际上是否已停止。即使该程序的停止时间不比宇宙的寿命长十倍，它仍然可以工作。

在理论中，量子计算机实际上具有无限的能力。因此，它们可以解决停止问题也就不足为奇了。但是，如果他们的解决方案占用了宇宙中的所有时间和空间，那么他们如何向你和你的笔记本电脑证明这一点？

“从图灵开始的将近100年的直觉表明，暂停问题无法解决。如果我们知道这是无法解决的，为什么我们会期望有人可以说服你他们解决了该问题呢？这是造成困惑的主要原因之一。”

量子纠缠是造成这种非凡成就的原因：每个量子计算机都包含与另一个计算机中的粒子纠缠在一起的亚原子粒子。当说粒子纠缠在一起时，它们似乎共享信息。在两个纠缠的单重态粒子的经典示例中，如果发现第一个粒子在向上的轴上旋转，则第二个粒子必须具有指向下方的旋转，就像两个骰子始终向相反侧滚动一样。

纠缠为两台量子计算机提供了深厚的交流资源。在2019年的另一份研究中，新研究的两位合著者Anand Natarajan和John Wright 表明，纠缠可以快速验证一类非常长的问题(称为NEEXP问题)的解决方案。

它是这样工作的：功能较弱的计算机(在本例中为笔记本电脑)与功能强大的量子计算机交换问题和答案，以验证其解决方案。这些问题和答案涉及对两个量子计算机中包含的纠缠粒子的测量。

但是由于纠缠，一台计算机上的粒子测量结果会说明另一台计算机中纠缠的粒子，从而实现了更多的知识传递。Natarajan和Wright使用纠缠将NEEXP问题的问答验证过程压缩到很短的时间内。

但是，NEEXP问题仍然远没有停止问题那么大，甚至还没有停顿问题，后者的解决方案很难验证。新结果通过弄清楚如何多次压缩提问程序来解决问题。

在研究该问题的过程中，研究人员意识到纠缠的计算能力与物理学和纯数学中的深层问题息息相关。新发现解决了代数理论中一个长期存在的问题，即康尼斯的嵌入猜想，并假设它们在同行评审后可以接受审查。这些发现还解决了量子物理学的数学基础中一个奇怪的问题，即Tsirelson问题。

齐雷尔森的问题涉及两个微妙不同的量子物理学模型。这些模型试图描述纠缠的粒子看起来如何共享信息，即使它们位于相距很远且不相互作用的位置。在远距离处，对两个不同的纠缠粒子的测量不应相互影响。

其中一种纠缠模型称为张量乘积模型，它通过将纠缠的粒子系统切成不相互作用的独立局部子系统来捕获此行为。在另一个称为通勤算子模型的量子模型中，现实被视为单个不可分割的量子系统。但是，假设在系统某一部分的测量对其他远处部分的测量没有影响。

理论物理学家已经使用了这两种模型，但不了解它们在实践中可能有何不同。新结果表明，在某些情况下，纠缠模型可预测不同的定量结果。因此，物理学家也许能够进行一项实验，以验证一种纠缠模型并排除另一种纠缠模型。

自1970年代以来，缠结的实验测试一直是引起人们极大兴趣的来源。物理学家在实际测试中表明，如果不存在量子纠缠，纠缠粒子之间的相关量将超过预期。这些差异被称为贝尔不等式的公式捕获。

贝尔不等式直接量化了著名的量子物理学怪异性，在宇宙相反两侧的纠缠粒子似乎可以瞬间交流。加利福尼亚大学戴维斯分校的数学家格雷格·库珀伯格(Greg Kuperberg)对贝尔不等式的数学方面进行了研究。

他说，新的结果结果“是一些巨大的计算扩展”。这意味着量子物理学可能比想象的还要怪异。纠缠可能会更加强大。有一天，使用量子物理学的计算机在无法估量的距离上验证了不可能的问题，对我们来说似乎更像是神返回搜狐，查看更多

责任编辑：