⚛️ quantum physics

Maximally entangled states are not complete for pseudo-telepathy

该论文通过展示一个属于名为“内积博弈”的新类别的特定二分非局域博弈，提出了一个反例，从而解决了量子非局域性领域中一个长期存在的开放问题，该反例证明了最大纠缠态对于伪遥感（pseudo-telepathy）而言是不完备的，因为存在某些具有完美纠缠策略的博弈，无法仅使用最大纠缠态来获胜。

原作者： Olivier Lalonde

发布于 2026-08-07

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Olivier Lalonde

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一个这样的宇宙：两位朋友爱丽丝（Alice）和鲍勃（Bob）被巨大的距离隔开，甚至可能处于银河系的两端。他们无法交谈，无法发送短信，也无法使用科幻小说中的心灵感应。然而，他们正在玩一场游戏，必须完美地协调彼此的答案才能获胜。在经典世界中，如果他们无法沟通，那么他们协调答案的能力是有限的；他们受限于逻辑和概率的规则。但在量子世界中，事情变得非常诡异。如果爱丽丝和鲍勃共享一种特殊的“量子链路”，即纠缠（entanglement），他们有时可以实现出人意料的协调，仿佛在进行心灵感应。这种看似不可思议的现象被称为量子伪心灵感应（quantum pseudo-telepathy）。

科学家们长期以来一直在思考一个大问题：这种量子链路需要有多强？ 具体来说，爱丽丝和鲍勃是否需要那种被称为**极大纠缠态（maximally entangled state）*的“最强”链路才能赢得这些不可能的游戏？这有点像是在问，你是否需要一辆法拉利才能赢得比赛，还是说一辆很棒的自行车就足够了。多年来，科学家发现的每一个这类令人惊叹的游戏，都可以使用这种“法拉利”级别的纠缠来获胜。这引发了一个充满希望的猜想：也许最强的链路就是你所需要的一切。但对于所有*可能的游戏来说，事实也是如此吗？

滑铁卢大学的奥利维尔·拉隆德（Olivier Lalonde）发表的一篇新论文指出：并非总是如此。

拉隆德发现了一个特定的游戏，在这个游戏中，“法拉利”（极大纠缠态）实际上会失败，尽管一种不同的、稍微“不平衡”的量子链路却可以完美获胜。这是一个反例，它打破了“最强的连接总是最好的工具”这一观念。

“内积”游戏

为了理解这项发现，我们必须观察这个游戏本身。拉隆德发明了一种新型的**“内积游戏（inner product game）”**。想象爱丽丝和鲍勃各自拿到一个秘密代码（输入数字）。根据他们的代码，他们必须从一组选项中选择一个特定的向量（空间中的一个方向）。如果他们选择的两个向量不是相互垂直的——想象成两个箭头并没有指向完美的 90 度角——他们就获胜。

规则非常棘手。该游戏的设计使得如果爱丽丝和鲍勃尝试使用经典逻辑（仅仅靠猜测或遵循预先商定的计划），他们将会失败。但如果他们共享一个量子链路，他们可以每次都完美获胜。

拉隆德为这个特定版本的游戏设定了以下参数：

输入： 爱丽丝得到 4 个可能的提问；鲍勃得到 3 个。
输出： 他们必须各自选择 6 个可能的答案。
获胜状态： 为了完美获胜，他们需要共享一个“局部维度（local dimension）”为 6 的量子态。

法拉利 vs. 定制自行车

转折点就在这里。在这个特定的游戏中，“完美”的量子策略需要一个非常特定的、定制化的纠缠态。它看起来像这样：
$|\Phi\rangle = \frac{1}{\sqrt{18}} (|1\rangle|1\rangle + |2\rangle|2\rangle + 2|3\rangle|3\rangle + 2|4\rangle|4\rangle + 2|5\rangle|5\rangle + 2|6\rangle|6\rangle)$

注意这些数字？链路中的某些部分权重为 1，而另一些部分的权重为 2。这是一个非极大纠缠态（non-maximally entangled state）。它不是完全平衡的；它是倾斜的。

现在，重点来了：极大纠缠态无法赢得这个游戏。

极大纠缠态就像一个完美的平衡天平，其中每个选项的权重都相等（全为 1）。拉隆德在数学上证明了，如果爱丽丝和鲍勃试图使用这种完美平衡的“法拉利”来玩这个特定的游戏，他们将不可避免地失败。他们根本无法使用这种类型的链路来完美地协调他们的答案。他们必须使用上述那种倾斜的、定制化的链路。

他们是如何证明的？

你可能会想，“你如何确定不存在完美的策略？”你不能只是玩一百万次游戏；你需要一个数学证明。

拉隆德使用了一个强大的工具——迹式 NPA 层级（tracial NPA hierarchy）。你可以把它想象成一个极其复杂的逻辑机器，它会检查爱丽丝和鲍勃尝试协调答案的所有可能方式。这就像是检查国际象棋中的每一步移动，以查看是否可能出现将军。

这个证明过程非常艰巨。它涉及一台计算机求解一个拥有 207,202 个变量和 208,702 个约束条件的巨大谜题。在笔记本电脑上运行了 7 分钟才完成求解。计算机不仅仅是在猜测；它产生了一个“不可行性的有理证书（rational certificate of infeasibility）”，这是一份数学收据，证明了不存在解。为了确保万无一失，整个证明过程由名为 Lean 的程序进行了双重检查，这是一种逐步验证数学步骤的证明助手。

结果是确凿无疑的：对于这个游戏，不存在使用极大纠缠态的完美策略。

这为什么重要

这一发现意义重大，因为它解决了一个长期的争论。多年来，科学家们一直想知道，对于这些令人惊叹的游戏，最强的量子链路是否是唯一重要的因素。这篇论文表明，自然界的本质更为微妙。有时，“完美的”工具并不合适；你需要一个特定的、略微不完美的工具来完成任务。

这也提出了新的问题。这个游戏是否是一个“自测试（self-test）”？这意味着，如果有人声称他们能赢得这个游戏，这是否证明他们持有那个特定的、倾斜的量子态？数据表明是的，但通过解析方法（而不是依靠计算机）来证明这一点是未来的挑战。

简而言之，我们现在知道，在量子世界中，拥有“最好”的纠缠并不总是足够的。有时，你需要的是“正确类型”的纠缠，即使它并不是最强的。

技术摘要：“极大纠缠态对于伪隐形传态并不完备”

问题陈述
本文探讨了量子非定域性领域中一个长期存在的开放问题，即极大纠缠态对于伪隐形传态（pseudo-telepathy）的充分性。如果一个非定域博弈能够通过纠缠策略实现完美胜率（以概率 1 获胜），但不存在完美的经典策略，则称该博弈为“伪隐形传态博弈”。虽然已知对于许多特定的二分伪隐形传态博弈族，极大纠缠态足以实现完美策略，但关于这是否具有普遍性的问题仍然是一个悬而未决的问题。具体而言，该问题在于：是否每一个拥有完美纠缠策略的非定域博弈，也都存在一个利用极大纠缠态的完美策略？ 先前的研究已经确定，极大纠缠态并非是“必要”的（因为某些博弈可以使用非极大纠缠态获胜），但关于它们是否总是“充分”的问题仍未得到解决。

方法论
作者引入了一类新的非定域博弈，称为内积博弈（inner product games），以此构建反例。

博弈定义： 内积博弈由阶数为 $m$ 的幺正算符集合 $\{U_x\}$ 和 $\{V_y\}$ 以及一个半正定矩阵 $S$ 定义。Alice 和 Bob 分别接收输入 $x$ 和 $y$ ，并必须输出 $a$ 和 $b$ ，使得 $\langle a| U_x^\dagger S V_y |b\rangle \neq 0$ 。
纠缠策略的存在性： 本文证明（命题 3.1），任何内积博弈都存在一个使用特定纠缠态 $|\psi\rangle = (S \otimes I)|\Omega\rangle$ 的完美纠缠策略，其中 $|\Omega\rangle$ 是标准的极大纠缠态。如果 $S$ 不正比于单位矩阵，该策略不一定使用极大纠缠态。
反例构建 ( $G_{4,3,6,6}$ )： 通过计算机辅助启发式搜索，作者构建了一个特定的实例 $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ ，其输入集大小分别为 4 和 3，输出集大小为 6。该构建过程包括：
- 设定局部维度 $m=6$ 。
- 选择对角矩阵 $S = \text{diag}(1, 1, 2, 2, 2, 2)$ 。
- 枚举分量在 $\{-1, 0, 1\}$ 中的幺正算符，以寻找一个在经典情况下不可行的配置。
- 应用剪枝算法以最小化输入集的大小。
不存在极大纠缠策略的证明： 为了证明 $G_{4,3,6,6}$ $G_{4, 3, 6, 6}$ 不存在使用极大纠缠态的完美策略，作者采用了迹型 NPA 层级（tracial NPA hierarchy）（一种平方和层级）的变体。
- 该问题被公式化为寻找一个在由测量算符生成的特定 $*$ -代数上的迹态（tracial state）。
- 使用了经过强化的 $n=4$ 层级来测试是否存在这样的状态。
- 通过求解一个包含约 20.7 万个变量和约 20.8 万个约束的数值半正定规划（SDP）问题，证明了其不可行性。
- 作者使用 Lean 证明助手，利用从求解器中提取的不可行性有理证书（rational certificate）使证明过程形式化。

关键结果
本文确立了定理 1.1，其指出：

存在一个二分博弈 $G_{4,3,6,6}$ ，其输入规模为 4 和 3，输出规模为 6 和 6。
该博弈拥有一个使用局部维度为 6 的纠缠态（具体而言，是由矩阵 $S$ 推导出的非极大纠缠态）的完美纠缠策略。
至关重要的是，该博弈不存在涉及极大纠缠态的完美纠缠策略。

意义与主张
本文声称解决了这一开放问题，即证明了极大纠缠态对于伪隐形传态并不完备。这项工作的意义在于：

解决开放问题： 它提供了第一个反例，表明可以使用极大纠缠态解决的博弈类严格小于可以使用一般纠缠态解决的博弈类。
新博弈类： “内积博弈”的引入提供了一个研究非定域性的新框架，这可能具有独立的学术价值。
方法论贡献： 该工作展示了将启发式计算机搜索与形式化验证（通过 Lean）以及数值层级（迹型 NPA）相结合，以解决量子信息论中深层问题的效用。

局限性与未来方向（作者所述）
作者指出，该反例是通过计算机搜索“制造”出来的，而非源自自然的物理系统，且其性质的证明高度依赖于数值半正定规划而非解析洞察。作者指出，寻找一个具有解析证明的“自然”反例仍然是一个开放的挑战。此外，作者提到数值模拟表明 $G_{4,3,6,6}$ 是所使用的特定非极大纠缠态的自测试（self-test），这一属性仍有待形式化证明。该工作还暗示了在零错误信息论中，纠缠色数（entangled chromatic number）与量子色数（quantum chromatic number）之间关系的潜在影响。

“内积”游戏

法拉利 vs. 定制自行车

他们是如何证明的？

这为什么重要

技术摘要：“极大纠缠态对于伪隐形传态并不完备”

类似论文