A Minimum-Cardinality Genuinely Unextendible Product Basis in Three Qutrits

技术摘要：三三比特（Three Qutrits）系统中最小基数真不可扩展乘积基的构造

问题陈述
本文解决了量子信息理论中一个长期存在的开放问题：**真不可扩展乘积基（Genuinely Unextendible Product Basis, GUPB）*的存在性。虽然不可扩展乘品基（Unextendible Product Bases, UPB）——即一组正交乘积态，其正交补中不包含任何乘积态——已得到广泛研究，但 GUPB 是一个更严格的概念。GUPB 被定义为一组正交乘积态，其正交补中不包含任何双乘积态*（即在系统的任何二分划下都是乘积态的状态）。等价地，一个 GUPB 必须在所有可能的二分划下都是一个 UPB。

在此项工作之前，正交 GUPB 的存在性尚未解决。尽管关于其基数的通用下界已经存在，并且已知如果任何局部子系统维度为 2（使得三三比特空间 $(\mathbb{C}^3)^{\otimes 3}$ 成为最小候选三体设置），则 GUPB 不可能存在，但尚未发现显式的构造方法。此外，虽然最近已排除三三比特 GUPB 的基数为 13，但最小可能的基数仍未确定。

方法论
作者采用了结合计算机辅助搜索与精确代数验证的图论方法：

1. 图论公式化： 将问题映射为寻找三个顶点数为 $n$ 的图（$G_A, G_B, G_C$），代表乘积态，且它们的并集是完全图 $K_n$。若 $G_X$ 中存在连接顶点 $i$ 和 $j$ 的边，则表示对于参与者 $X$ 而言，其局部向量是正交的。乘积态相互正交的条件要求对于每一对不同的状态，至少有一个局部内积为零，这意味着这三个图的并集必须覆盖 $K_n$ 的所有边。
2. 计算机辅助搜索： 作者搜索了顶点数为 14 的三元组图，使其并集为 $K_{14}$，并要求这些图在 $\mathbb{C}^3$ 中具有相容的忠实正交表示。为了缩小搜索空间，作者施加了对称性约束 $G_A \cong G_B$。
3. 精确验证： 一旦确定了候选构造，作者通过精确计算（使用整数算术以避免数值误差）验证了以下内容：
   • 相互正交性： 确认正交图的并集确实为 $K_{14}$。
   • 真不可扩展性： 利用基于秩的判据（引理 1），作者验证了对于每一个二分划（$A|BC, B|AC, C|AB$），该状态集都是一个二分态 UPB。这涉及检查对于任何状态子集 $J$，如果一侧的局部向量不张成整个局部空间，则另一侧的向量必须张成剩余参与者的全空间。这需要检查由局部向量导出的子矩阵的秩。
4. 通过填充进行扩展： 为了将结果推广到任意局部维度 $d_A, d_B, d_C \geq 3$，作者使用了“填充”程序。他们将 14 个状态的三三比特 GUPB 嵌入到更大希尔伯特空间中由 $\{|0\rangle, |1\rangle, |2\rangle\}$ 张成的子空间中，并将剩余的正交补用涉及索引 $\geq 3$ 的计算基态填充。

主要贡献与结果

• 存在性证明： 本文构造了一个存在于三三比特空间 $(\mathbb{C}^3)^{\otimes 3}$ 中的显式 GUPB，由 14 个乘积态组成。这解决了关于 GUPB 是否存在的开放问题。
• 最小基数： 通过将此构造与此前排除基数为 13 的结果相结合，作者证明了 14 是三三比特 GUPB 的最小基数。
• 显式构造： 文中表 I 提供了所有 14 个状态的具体未归一化实局部向量，以及图 1 中对应的正交图。
• 推广： 该构造被推广到任何三体系统 $\mathbb{C}^{d_A} \otimes \mathbb{C}^{d_B} \otimes \mathbb{C}^{d_C}$，其中 $3 \leq d_A \leq d_B \leq d_C$，得到的 GUPB 基数为 $d_A d_B d_ C - 13$。
• 应用：
  • 有界纠缠（Bound Entanglement）： 所构造的 GUPB 的 13 维正交补上的归一化投影算符被证明在部分转置下是正的（PPT），并且在每个二分划下都是纠缠的。因此，它代表了一个真纠缠的有界纠缠态。
  • 强量子非定域性： 所构造的 GUPB 被证明表现出无纠缠的强量子非定域性。这意味着该状态集在每个二分划下都是局部不可约的；任何参与者（或一对参与者）都无法执行非平凡的正交保持局部测量来消除集合中的任何状态。这通过证明与相关局部跃迁相关的算符空间具有最大可能的维度（$d^2-1$）得到了验证。

意义
本文声称通过证明 GUPB 的存在性，解决了量子非定域性和纠缠理论中的一个基本开放问题。通过在最小可能的三体希尔伯特空间中建立其最小基数，本文为这类结构的复杂性设定了一个精确的基准。这项工作进一步为生成在所有切分下均为 PPT 且具有真纠缠的有界纠缠态，以及研究强非定域性（一种即使没有纠缠也能产生量子相关性从而阻止局部区分状态的现象）提供了具体的资源。作者指出，虽然存在利用 MDS 码构造 GUPB 的独立并行工作，但本文的工作在于提供了最小基数实例在最小三体系统中的实现，这与前者截然不同。