想象一个信息不仅仅是以 0 和 1 这样的比特形式存储，而是以量子粒子的那种奇异、幽灵般的舞动来存储的宇宙。在这个世界里，有一种特殊的谜题涉及“乘积态”（product states）。把这些想象成一群在房间里站着的伙伴，每个人都拿着一张特定的卡片。如果每个人都独立地拿着自己的卡片，且没有人的卡片依赖于其他人，那么他们就是“乘积态”。他们是简单的、未纠缠的，且易于描述。但转折在于：尽管这些伙伴并没有手拉手（未纠缠），但他们的排列方式可以如此奇特，以至于你无法仅通过局部观察来分辨他们。这种现象被称为“无纠缠非定域性”（nonlocality without entanglement）。
几十年来，物理学家一直在寻找一种特定且极其罕见的排列方式，称为“真正不可扩展乘积基”（Genuinely Unextendible Product Basis, GUPB）。想象一下，你试图用家具（乘积态）填满一个房间，使得你无法再放入任何一件家具而不撞倒现有的东西，而且留下的空隙是如此奇特，以至于无论你如何将房间从中切开，里面都不包含任何简单的家具。直到现在，没有人知道这样一个完美的、无法填补的房间是否真的存在。这篇论文解决了这个谜团，它使用了一个借鉴自纠错码世界的巧妙技巧——正是这种数学工具保证了你的短信在通过嘈杂网络发送时不会变得混乱。
作者李茂声（Mao-Sheng Li）终于证明了这些难以捉摸的 GUPB 确实存在。他不仅找到了一个，还利用一种被称为最大距离可分（MDS）码的数学工具，为任意数量的参与者（三个或更多）建立了一座制造工厂。可以将 MDS 码想象成一种超级稳健的蓝图。如果你丢失了几页蓝图，你仍然可以完美地重建整个图像。作者利用这种“稳健性”来创造一种刚性的量子态结构。他们将这些状态像地板上的瓷砖一样排列，但有一个陷阱：他们从每个图案中移除了一块特定的瓷砖，并添加了一个覆盖其余所有部分的巨大“塞子”。
魔力在于 MDS 蓝图的刚性。如果你试图在留下的空隙中放入一个新的、简单的乘积态，数学逻辑会迫使你要么填满整个地板，要么完全留空。你无法只放入一小块。这证明了留下的空隙是“真正纠缠的”，这意味着它是一团量子连接的乱麻，无论你从哪个角度看，都无法将其分解为简单的、独立的组成部分。更令人惊讶的是，这个空隙具有一个特殊属性：如果你翻转任何一组粒子的量子“镜子”（一个被称为偏转置的过程），这个空间看起来依然完全相同。这使得生成的量子态成为“束缚纠缠态”（bound entangled）——它是一个被锁住的纠缠之盒，你无法解锁它，也无法用它来远程传输信息，但它确实存在。
论文还表明，这些状态具有极强的顽固性。即使你制作了多个副本，并尝试使用仅限于“可分”（即不同群体之间不能协调测量）的测量手段来区分它们，你仍然无法完美地分辨它们。然而，一种遵循“偏转置”规则的特殊量子测量可以瞬间将它们区分开来。这一发现不仅解决了一个理论上的谜题，还为纠错码的数学与量子纠缠深层、怪异的本质之间架起了一座直接的桥梁，为科学家提供了一种新的代数方法，用以证明这些神秘的、被锁定的量子态确实存在。
技术摘要：基于最大距离可分码的真正不可扩展乘积基
问题陈述
本文解决了关于**真正不可扩展乘积基（Genuinely Unextendible Product Bases, GUPBs）*存在性的长期开放问题。GUPB 被定义为一个不完整的正交全乘积态集合，其正交补空间在任何*非平凡二分划分下都不包含乘积向量。虽然用于生成二分系统中有界纠缠态的不可扩展乘积基（UPBs）已广为人知，但其多体推广形式（GUPB）一直难以实现。此前的尝试主要受限于“无结果”（no-go）结论，包括对基数（cardinalities）的约束、图论限制，以及对特定小型候选集（例如最小的三三进制候选集）的排除。核心难点在于：要求同一个正交乘积态族必须在针对所有可能的参与者二分分组时，同时保持不可扩展性。
方法论
作者通过利用经典编码理论中的最大距离可分（MDS）码，构造了适用于任意数量参与者 N≥3 的 GUPBs。构造过程如下：
- 代码选择： 构造利用了定义在素数域 Fp 上的线性 [N2,N,N2−N+1]p MDS 码。MDS 属性确保了生成矩阵的每 N 列都是线性无关的。
- 填充计算网格： 利用生成矩阵将 N 体系统的完整计算基（每个参与者的维度为 $Np）划分为p^N个不相交的“块”（T_t）。每个块对应一个码字t$，并是一个局部集合的笛卡尔积。
- 局部基构造： 在每个块上构造一个局部傅里叶基。从每个块的局部基中删除“零”傅里叶模（即均匀叠加态）。
- 全局停止器（Global Stopper）： 加入一个单一的全局“停止器”态 ∣S⟩，它是整个计算网格上的均匀叠加态。
- 候选集合： 最终集合 UC 由所有保留的来自各块的傅里叶模以及停止器态组成。
关键技术机制：MDS 次要刚性（MDS Minor Rigidity）
关于真正不可扩展性的证明依赖于一种被称为 MDS 次要刚性 的结构特性。
- 作者证明，如果 UC 正交补中的一个向量是跨越任意二分划分 X∣Y 的乘积态，那么其计算支撑集必须形成一个 X∣Y 笛卡尔矩形。
- 由于底层代码的 MDS 属性，网格相邻切片之间的线性变换是刚性的。具体而言，如果一组块在某个二分划分下构成一个笛卡尔矩形且包含超过一个块，那么 MDS 条件会迫使该并集填满整个计算网格。
- 然而，构造过程显式地从每个块中移除了零模，并且包含了一个覆盖全网格的停止器。因此，补空间中唯一的可能乘积向量要么与停止器态成比例（而停止器已在 UC 中），要么需要填满整个网格（这被停止器排除了）。这一矛盾证明了对于任何二分划分，都不存在乘积向量。
关键结果
- GUPBs 的存在性： 本文首次提供了对于任何 N≥3 的有限维正交 GUPB 的显式构造。使用广义 Reed-Solomon 码，该构造对于任何素数 p≥N2 均有效。
- 真正多体有界纠缠： 所构造 GUPB 的正交补 GC 是一个真正纠缠子空间（GES）。该子空间的归一化投影算符 ρG 生成了一个满足以下条件的态：
- 真正多体纠缠（GME）： 由 GES 支持。
- 正部分转置（PPT）： 在跨越每一个二分划分的部分转置下保持不变。
- 有界纠缠： 因此，它在任何二分划分下都是不可蒸馏的。
- 不可分解观测者： 作者构造了一个检测这些态的 GME 观测者 WG。至关重要的是，WG 对于每个二分划分都是不可分解的。这意味着，虽然用于检测 GME 的全可分解观测者（标准做法）无法检测这些 PPT-GME 态，但 WG 能成功识别它们。
- 测量与判别：
- 投影算符对 {PU,ΠG} 可以完美区分 GUPB 态与其补空间。这两个效应在每个二分划分下都是 PPT 的。
- 然而，任何在固定二分划分下可分（separable）的测量都无法完美区分这些态。存在一个锐利的权衡常数 κℓ,X∣Y 限制了可分测量的性能，即使在系统进行任意有限张量幂运算后，该常数仍严格大于零。
意义与主张
本文声称解决了正交 GUPB 的存在性问题，且并未依赖于微小的特例，而是提供了一个源自代数编码理论的无限族。
- 直接联系： 它建立了纠错码（特别是 MDS 码）与多体纠缠之间的直接联系。
- 代数认证： 它为认证真正多体有界纠缠提供了一条代数路径，这在以前是一个难以触及的领域。
- 观测能力： 研究表明，PPT 真正多体纠缠可以通过不可分解的观测者来检测，尽管它处于全可分解观测者为非负的 PPT 混合松弛区域内。
- 鲁棒性： 在可分测量下无法完美区分这些态的现象在任意有限张量幂下依然存在，凸显了多体环境下 PPT 测量与可分测量之间的差距。
作者指出，虽然该构造是显式的，但预计并非维度最优，且关于更紧凑的观测者参数界限和渐近指数的问题仍有待解决。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。