本文的中心是复杂性实际中的一个定理的证明，它触及到算法的效率。早期的研讨表明，这个成绩在数学上同等于“幽灵般的超距作用”成绩，也被称为“量子纠缠”。
这个定理触及一个博弈论成绩，一个由两个玩家组成的团队即使不被允许相互交谈，也可以经过量子纠缠来协调他们的行为。与没有量子纠缠的状况相比，这使两个玩家都能“博得”更多的钱。
作者们指出，但这两个参与者本质上不能够计算出一个最佳策略。这意味着不能够计算出他们实际上能到达多少协调。
论文合著者 Thomas Vidick
加州理工学院的合著者 Thomas Vidick 说：“没有一种算法能通知你量子力学中最大违犯（maximal violation）是什么。”
伦敦大学学院的量子信息实际家 Toby Cubitt 说：“令人诧异的是，量子复杂性实际不断是证明的关键。”
前两天该论文宣布后，关于这篇论文的旧事迅速在社交媒体上传达，引发了不小的惊动。
Joseph Fitzsimons 推文
“我本以为这是一个复杂的实际成绩，能够需求 100 年的时间来回答。祝贺一切参与这项研讨的学者。” 新加坡初创公司 Horizon Quantum Computing 首席执行官 Joseph Fitzsimons 发推文说。
“我勒个去！”另一位物理学家、奥天时迷信院（维也纳）的 Mateus Araújo 说道： “我从没想过我会在有生之年看到这个成绩被处置。”
三、论文结论：准绳上，量子系统不能用“有限的”来近似
在纯数学方面，在法国数学家和菲尔兹奖得主 Alain Connes 之后，这个成绩被称为 Connes 嵌入成绩（Connes embedding problem）。这是算子实际（theory of operators）中的一个成绩，它是由 20 世纪 30 年代为量子力学提供基础的努力产生的一个分支。
运算符是可以具有有限数或有限数行和列的数的矩阵。它们在量子实际中起着至关重要的作用，每一个运算符编码一个物理物体的可观测属性。
在 1976 年的论文“Classification of Injective Factors Cases II1, II∞, IIIλ, λ ≠ 1”中，运用运算符的言语，Connes 提出一个成绩：具有无量多个可测质变量的量子系统能否可以用具有有限数的复杂系统来近似。
但是这篇论文表明，答案能否认的：准绳上，量子系统不能用“有限的”来近似。
物理学家 Boris Tsirelson 重新定义了这个成绩，依据他的研讨，这也意味着，不能够计算出两个这样的系统在纠缠时可以在空间上显示的关联量（correlation）。
四、研讨结果能够没有技术意义，由于一切运用都运用“有限”的量子系统
(责任编辑：admin)