Combining moment matrices, symmetric extension, and Lovász theta: $\Phi_{\text{E8}}$ is entangled

本文通过结合对称扩展与矩矩阵生成显式纠缠见证的新方法，证明了14量子比特态$\Phi_{\text{E8}}$是纠缠态，从而解决了纠缠理论中的一个开放问题。

要点

以下是用简单语言和创造性类比对这篇论文的解读。

宏观图景：解开一个困扰五年的谜题

想象你有一个非常复杂的、由 14 块组成的量子拼图，名为 $\Phi_{E8}$。在量子物理世界中，这些拼图块可以是“可分离的”（就像两个并排摆放的独立拼图盒），也可以是“纠缠的”（就像两个被魔法粘合在一起的盒子，其中一个发生的变化会瞬间影响另一个）。

早在 2021 年，Yu 及其同事创造了这个 14 块拼图，并提出了一个挑战：“使用一种名为‘纠缠见证’（entanglement witness）的特定工具，证明这些拼图块是被粘合在一起（纠缠）的。”

五年间，无人能解此题。标准工具均告失败。这个拼图看起来似乎是可以分离的，但内心深处，每个人都怀疑它是纠缠的，因为这与一个关于“完美平衡”量子态的数学谜团有关。

这篇由 Stempin、Anglès Munné、Llorens 和 Huber 撰写的论文最终解开了这个谜题。他们不仅仅是猜测；他们构建了一个数学“陷阱”，证明这些拼图块必须是被粘合在一起的。

侦探的工具包：三种方法合而为一

为了解决这个问题，作者将三种不同的侦探技巧融合成了一种超级工具。以下是它们如何协同工作：

1. “对称扩展”（复印机）

想象你有一个嫌疑人（即状态 $\Phi_{E8}$），你想确定他是无辜的（可分离的）还是有罪的（纠缠的）。

• 理论：如果嫌疑人是无辜的，你应该能够制作出完美、相同的副本。如果你有三个无辜者的副本，他们应该看起来完全一样，并且行为完全同步。
• 陷阱：作者试图制作该量子状态的“三副本”版本。如果该状态是无辜的，那么这个三副本版本就应该存在并遵循严格的规则。

2. “矩矩阵”（指纹扫描仪）

一旦他们尝试构建那个三副本版本，他们便创建了一个名为**矩矩阵（Moment Matrix）**的巨大电子表格。

• 可以将这个矩阵想象成一个巨大的指纹扫描仪。它记录了量子状态不同部分之间所有可能的关系。
• 如果该状态是无辜的，这个指纹扫描仪将产生一个有效、正定且一致的模式。
• 作者用已知的 $\Phi_{E8}$ 状态规则填充了这个电子表格。

3. “洛瓦兹数”与图论（规则地图）

这是论文变得巧妙的地方。他们意识到，支配量子状态的规则与一种称为图（graph）（即由点和线组成的网络）的特定类型地图的规则完全一致。

• 他们将量子状态映射到一个图上，其中点代表不同的量子属性。
• 他们使用了一个著名的数学数字，称为洛瓦兹数（Lovász Theta number）。可以将这个数字想象成图的“容量限制”。它告诉你在不违反规则的情况下，图中最多能容纳多少“东西”（或概率）。
• 作者表明，该量子状态试图放入图中的内容超过了洛瓦兹限制所允许的范围。

“顿悟”时刻：不可能的方程

作者建立了一个数学方程（半定规划），问道：“我们能否用数字填充这个电子表格（矩矩阵），使其满足三副本状态和图限制的所有规则？”

他们将数字输入计算机运行。

• 结果：计算机尖叫着**“不行！”**
• 证明：如果不违反规则，在数学上就不可能填充该电子表格。
• 逻辑：既然如果该状态是无辜的（可分离的），该电子表格必须存在，而它又不能存在，那么该状态就不可能是无辜的。因此，$\Phi_{E8}$ 是纠缠的。

他们从计算机那里得到的不仅仅是“可能”；他们使用了一种特殊技术将数字舍入为精确分数，创建了一个完美且不可破坏的数学证书，证明该状态是纠缠的。

为何这很重要（根据论文所述）

该论文宣称取得了三项主要胜利：

1. 解开了谜团：他们最终提供了 Yu 等人于 2021 年要求的“纠缠见证”，证明了 $\Phi_{E8}$ 是纠缠的。
2. 统一了领域：他们表明，量子纠缠检测、图论（洛瓦兹数）和纠错码（用于量子计算）都在说着同一种语言。
3. 一种新的可扩展方法：他们证明，通过组合这些方法，可以解决标准计算机无法处理的庞大问题。他们利用“对称性”（即该拼图从许多角度看都相同这一事实），将巨大的问题缩小到可管理的规模。

总结

作者处理了一个困扰专家多年的 14 量子比特量子状态。他们试图构建它的“完美副本”。当他们使用巨大的电子表格和图论地图分析该副本的蓝图时，发现了一个矛盾。该蓝图无法构建。因此，原始对象必须是一个“粘合在一起”的纠缠态。他们通过严谨的数学证书证明了这一点。

技术摘要

技术摘要：结合矩矩阵、对称扩展与洛瓦斯·塞数

问题陈述
本文解决了 Yu 等人（Nature Communications 12, 1012, 2021）在纠缠理论中提出的一个开放问题：确定 14 量子比特态 $\Phi_{E8}$ 是否在双分划 $A_1 \dots A_7 | B_1 \dots B_7$ 下是纠缠的。虽然已知 $\Phi_{E8}$ 必然是纠缠的（因为其可分性等价于存在一个七量子比特的绝对最大纠缠态（AME），而后者已被证明不存在），但通过可操作的纠缠见证器直接检测该纠缠的问题仍未解决。包括正部分转置（PPT）检验和高达六个副本的对称扩展层级在内的标准判据，均未能在该特定态上检测到纠缠。

方法论
作者提出了一种新颖的方法，统一了三种不同的数值方法：

1. 对称扩展：受 Doherty、Parrilo 和 Spedalieri 发展的层级启发，作者假设 $\Phi_{E8}$ 是可分的。如果可分，则它允许扩展为一个三副本态 $\Phi^{(3)}_{E8} = \sum_i p_i \mu_i \otimes \mu_i \otimes \mu_i$。
2. 矩矩阵：利用 Rains 关于交换算符部分转置的引理，作者将三副本扩展映射为一个半正定算符。由此，他们构建了一个“矩矩阵”$\Gamma$，其条目为泡利弦的期望值。该矩阵的可行性与原始态的可分性相关联。
3. 对称性约化与半定规划（SDP）：生成的半定规划（SDP）涉及一个大小为 $O(4^7) \times O(4^7)$ 的矩阵，这在计算上是不可行的。为克服这一困难，作者采用了基于 Terwilliger 代数的对称性约化。他们对矩矩阵在 wreath 积群 $S_3 \wr S_7$（置换张量因子和非恒等泡利矩阵）上进行平均，将问题简化为具有显著更少变量的块对角形式。

主要贡献与结果

• 纠缠证明：通过求解对称性约化后的 SDP 及其对偶问题，作者证明了原始 SDP 是不可行的。这种不可行性通过精确的有理证书（使用二次数域 $\mathbb{Q}(\sqrt{3})$）得到严格证明，确认了不存在这样的矩矩阵。因此，$\Phi_{E8}$ 是可分的这一假设是错误的，从而证明了 $\Phi_{E8}$ 是纠缠的。
• 显式纠缠见证器：对偶解产生了一个显式的纠缠见证算符。作者基于泡利反对易图的洛瓦斯·塞数（Lovász theta number）构建了见证器 $W'_{\Phi_{E8}}$。具体而言，他们表明洛瓦斯·塞数的松弛值 $\vartheta_{\text{sym}}(G_{4+}) \approx 126.8876$ 足以检测纠缠，因为 $\text{tr}(W'_{\Phi_{E8}} \Phi_{E8}) < 0$。
• 图论联系：本文建立了 $\Phi_{E8}$ 的纠缠与泡利弦反对易图的洛瓦斯·塞数 $\vartheta(G)$ 之间的直接联系。该问题被重新表述为证明特定点不存在于洛瓦斯·塞体 $\text{TH}(G_{4+})$ 内。
• 与量子码的关系：该方法被证明是量子编码理论中使用的 SDP 界限的一种变体（具体涉及 Munné、Nemec 和 Huber 的工作）。作者阐明，他们的构建架起了编码界限与通过对称扩展进行纠缠检测之间的桥梁。

意义
本文声称通过提供 $\Phi_{E8}$ 的第一个可操作纠缠见证器，解决了一个特定的、长期存在的开放问题。其主要意义在于方法论的统一：它展示了如何将对称扩展与矩矩阵相结合，从而截断那些在基于密度矩阵的方法中原本难以处理的约束。此外，该工作突出了洛瓦斯·塞数和图不变量在纠缠理论中的实用性，为未来在检测对称态（并可能扩展至非对称态）纠缠的应用中提供了一个可扩展且灵活的框架。作者指出，虽然额外的约束（如 PPT 或纯度条件）可以进一步增强该方法，但它们对于解决 $\Phi_{E8}$ 的具体问题并非必需。