近日，五位学者宣布了一篇 165 页论文引发学界惊动，他们用纯数学和算法联络的证明，将困扰爱因斯坦和学界多年的“量子纠缠”推向全新的高度。他们的论证表明，这个成绩的答案在准绳上是不可知的。专家慨叹：我从没想过我会在有生之年看到这个成绩被处置。
去年，迷信家初次拍到“量子纠缠”的照片引爆互联网，爱因斯坦不愿供认的“幽灵”终于有了铁证。
如今，纯数学和算法联络的证明将“量子怪诞性”（quantum weirdness）推向全新的高度。
爱因斯坦有句名言：量子力学应该允许两个物体在悠远的距离上瞬间影响彼此的行为，他称之为“幽灵般的超距作用”（spooky action at a distance）。
他逝世的几十年后，实验证明了这一点，但是直到明天，人们仍不清楚大自然终究允许远距离物体之间有多大水平的协调（coordination）。
近日，有五位研讨人员说，他们曾经处置了一个实际上的成绩，表明这个成绩的答案在准绳上是不可知的。
这篇 165 页论文题为“MIP*=RE”
研讨小组的165 页论文宣布在 arXiv 上，但尚未经过同行评审。假设证明成立的话，它可以一举处置纯数学、量子力学以及计算机迷信分支一个被称为“复杂性实际”（complexity theory）的许多相关成绩。
特别是，它回答了一个 40 多年来不断没有处置的数学成绩。
一、研讨结果从冯·诺依曼代数实际角度，反驳了 Connes 的嵌入猜想实际
这篇论文证明，由经典验证与多个量子实际验证相互作用而确定的言语类别 MIP，相当于递归可枚举言语的类别 RE。
研讨人员证明树立在的量子低度测试的基础上，整合了最近的新成果，并与递归紧缩框架相结合。研讨结果的直接作用是，将 Halting 成绩有效地简化为两人非本地量子纠缠值为 1 或至少为1、2 的成绩。
量子纠缠值的不确定性意味着对 Tsirelson 成绩做出了否认回答：研讨人员举例证明了量子张量积相关集的闭包 Cqa 严厉包含于量子交流相关集 Cqc。研讨结果从冯·诺依曼代数实际角度，反驳了 Connes 的嵌入猜想实际。
换言之，这项研讨的含义如下：
（1）有一个协议，两个纠缠的证明者可以压服多项式时间检验者处置任何可计算成绩的答案（!!），或许给定的图灵机真的中止运转了。
（2）在一个相似于 Bell / CHSH 博弈的两物证明博弈中，关于A和B而言，在数量有限的纠缠中，它们的表现要比在任何数量有限的纠缠中清楚更好。
（3）没有算法可以预算出两物证明博弈的纠缠值（也就是说，在A和B运用尽能够最佳的策略并尽能够多地纠缠的状况下，不能够估量出A和B博得博弈的能够性）。而是，此成绩等效于 Halting 成绩。
（4）A和B之间存在着某种类型的相关性，这些相关性可以运用有限的纠缠来产生，但不能经过任何有限的纠缠来近似。
（5）Connes 的嵌入猜想是错误的，该猜想源于上世纪 70 年代的算子代数实际的中心猜想。
二、专家热议：我从没想过我会在有生之年看到这个成绩被处置
假设他们的证明成立，“这将是一个超级美丽的结论”，荷兰代尔夫特理工大学实际量子物理学家 Stephanie Wehner 说。
(责任编辑：admin)