The Min-Rains Relative Entropy Is Not Tight for Exact PPT Entanglement Distillation

技术摘要：Min-Rains 相对熵对于精确 PPT 纠缠提纯并非紧致的

问题陈述
本文探讨了量子纠缠理论中一个基本的开放问题，即关于精确 PPT（正部分转置）可提纯纠缠。精确纠缠提纯要求在有限块长度下，将噪声双体态转换为具有零误差的最大纠缠态，这一任务严格受限于输入态支撑集的几何结构，而非其特征值。

在完全 PPT 保守操作（Completely PPT-preserving operations）的松弛框架下，min-Rains 相对熵（记作 $R_{\min}(\rho)$）是正则化精确 PPT 可提纯纠缠 $E^\infty_{0,\text{PPT}}(\rho)$ 的一个可加单字母上界。自 2017 年引入以来，该界限是否始终紧致（即对于所有态均满足 $E^\infty_{0,\text{PPT}}(\rho) = R_{\min}(\rho)$）一直是一个开放问题。若该等式成立，则意味着在单次提纯优化中的约束条件 $E \leq \mathbb{1}$ 在张量幂运算下会变得渐近忽略不计。

方法论
作者通过证明约束 $E \leq \mathbb{1}$ 并非渐近忽略不计，从而解决了这一问题。其方法包含三个主要的数学技术组件：

1. 识别张量稳定性刚性（Tensor-Stable Rigidity）：
   作者观察到，对于任何满足 $P \leq E \leq \mathbb{1}$（其中 $P$ 是输入态的支撑投影）的可行精确提纯效应 $E$，$E$ 必须在 $P$ 的像上表现为恒等映射（$EP = P$）。这种“固定作用”属性是一种几何约束，而 min-Rains 松弛丢弃了这一约束，因为 min-Rains 对偶算符仅需满足 $R \geq P$，而不受上界约束。

2. 构造支撑于值域的张量见证算符（Range-Supported Tensor Witness）：
   为了利用这种刚性，作者引入了一种基于一般非埃尔米特算符 $T$ 的新型单字母上界，称之为支撑于值域的张量见证算符。该算符满足 $PT = T$且$\text{Tr}(T) = 1$。他们证明了对于$n$个状态拷贝，单次提纯量受限于$T$ 的部分转置的迹范数：
   $$W_0(P^{\otimes n}) \geq \|T^\Gamma\|_1^{-n}$$
   因此，正则化可提纯纠缠被限制为 $E^\infty_{0,\text{PPT}}(\rho) \leq \log \|T^\Gamma\|_1$。

3. 通过半正定规划构建显式反例：
   作者构造了一个显式的秩为 3 的子空间（一个 qutrit–qutrit 系统），并找到了两个证书：

   • 一个满足值域条件的见证算符 $T$，使得 $\|T^\Gamma\|_1 < 391/250$；
   • 一个 min-Rains 对偶证书 $R \geq P$，使得 $\|R^\Gamma\|_\infty = 6393/10000$。

   通过验证 $\|T^\Gamma\|_1 \cdot \|R^\Gamma\|_\infty < 1$，他们确立了新上界与 min-Rains 相对熵之间的严格分离。

主要结果
主要结果证明了 min-Rains 相对熵并不是精确 PPT 可提纯纠缠的闭合形式公式。具体而言，对于构造的秩为 3 的态 $\rho_\star$ 及其支撑投影 $P$：
$$E^\infty_{0,\text{PPT}}(\rho_\star) < R_{\min}(\rho_\star)$$
论文为这种分离提供了精确的有理数证书：
$$E^\infty_{0,\text{PPT}}(\rho_\star) \leq \log\left(\frac{391}{250}\right) < -\log\left(\frac{6393}{10000}\right) \leq R_{\min}(\rho_\star)$$
该不等式证实了被 min-Rains 松弛丢弃的约束在任意张量幂下仍然相关，从而阻止了该松弛过程的紧致性。

意义
该论文声称解决了自 2016/2017 年以来关于 min-Rains 界在精确提纯背景下紧致性的问题。其意义在于：

• 反驳了一个猜想： 它明确排除了 min-Rains 相对熵作为正则化精确 PPT 可提纯纠缠的精确公式的可能性。
• 揭示渐近结构： 它揭示了 PPT 操作下精确纠缠处理中一种微妙的渐近结构，表明提纯效应对输入支撑集的“固定作用”施加了比此前认为更严格的限制。
• 引入新的分析工具： 它引入了支撑于值域的张量见证算符，作为一种能够尊重精确提纯特定几何约束的新工具，而这些约束在标准的 min-Rains 松弛中是不可见的。

作者指出，虽然 min-Rains 界并非紧致，但 $E^\infty_{0,\text{PPT}}(\rho)$ 的精确闭合形式公式仍是一个开放问题。