On the characterization of partially entanglement breaking and annihilating channels

技术摘要：关于部分纠缠破坏与纠缠湮灭通道的特征化研究

问题陈述
量子纠缠是量子信息处理任务（如隐形传态、密码学和通道判别）中的基本资源。虽然纠缠的存在通常是二元的（可分性 vs 纠缠性），但纠缠的“维度”（由施密特数 (Schmidt number, SN) 量化）对于高维协议至关重要。具有较高施密特数的态在诸如通道判别和量子密钥分发等任务中具有显著优势。然而，量子通道（噪声）可能会通过降低传输态的施密特数来退化这些资源。

虽然“纠缠破坏”（Entanglement Breaking, EB）通道已被很好地表征为完全使子系统脱钩的通道，但存在一类更广泛的通道，它们会在不一定完全破坏所有纠缠的情况下降低施密特数。这些被称为“部分纠缠破坏”（Partially Entanglement Breaking, PEBT）通道。此外，在通道是否降低跨越二分划（A|B）的纠缠，与是否破坏更大复合系统中子系统（B）内部的纠缠之间存在区别。后者被称为“纠缠湮灭”（Entanglement Annihilating, EA）通道。本文旨在解决对这些中间类别进行特征化的需求——具体而言是 $r$-部分纠缠破坏（$r$-PEBT）和 $r$-部分纠缠湮灭（$r$-PEAT）通道——并开发识别能够保持高维纠缠（非资源破坏型）通道的方法。

方法论
作者采用了一种结合了算子理论工具的资源理论框架，来分析作用于 $d$ 维希尔伯特空间（$C^d$）的量子通道。

1. 定义与特征化：

   • $r$-PEBT： 若通道 $S$ 使得任何输入态 $\rho$ 的施密特数满足 $SN[(id_A \otimes S)\rho] \leq r$，则称该通道为 $r$-PEBT。
   • $r$-PEAT： 作用于子系统 $B$ 的通道 $E$ 被称为 $r$-部分纠缠湮灭，如果对于所有 $\rho_B$，均有 $SN[E(\rho_B)] \leq r$。作者区分了“局部”（单个通道的张量积）和“非局部”$r$-PEAT 通道。
   • Choi-Jamiołkowski 同构： 作者利用 Choi 矩阵（$C_S$）来表征这些通道。文中引用了来自先前文献（Chruściński 等人）的关键结果：$S \in r\text{-PEBT}$ 当且仅当 $SN(C_S) \leq r$。

2. 拓扑分析：

   • 论文证明了 $r$-PEBT 通道集合既是凸集也是紧集。这是通过证明 $r$-PEBT 通道的凸组合仍属于该集合，且该集合包含其所有的极限点来完成证明的。
   • 类似的拓扑性质（凸性和紧致性）也被确立用于非局部 $r$-PEAT 通道集合。

3. 检测准则：

   • 见证算子（Witness Operators）： 为了检测不是 $r$-PEBT 的通道（即保持 $SN > r$的通道），作者提出了一种基于见证算子的方法。他们定义了一个基于到$r$-PEBT 集合的钻石范数（diamond norm）距离的标量泛函。
   • 谱条件： 利用 $r$-正但非 $(r+1)$-正映射（$\Lambda$）导出了一个充分条件。如果通道 $S$ 满足 $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$，则 $S \in r\text{-PEBT}$。
   • 绝对施密特数： 对于 $r$-PEAT，论文引入了“绝对施密特数通道”的概念（即在任何非局部幺正变换下，输出的 SN 仍保持 $\leq r$ 的通道）。文中还针对协变通道提供了一个基于输出态特征值的充分条件。

4. 案例研究：

   • 作者将这些准则应用于三能级（qutrit）去极化和去相位通道，以确定这些通道在何种精确参数范围内失效（即不再是 2-PEBT 或 2-局部 $r$-PEAT）。

核心贡献与结果

1. $r$-PEBT 的特征化：

   • 证明了 $r$-PEBT 通道集合是凸且紧的，从而可以使用见证算子进行检测。
   • 证明了两个 $r$-PEBT 通道的级联序列仍为 $r$-PEBT。
   • 表明该集合在张量积下不封闭（对于 $r > 1$ 的情况，这与标准 EB 通道 $r=1$ 的情况不同）。具体而言，若 $S_1, S_2 \in r\text{-PEBT}$，则 $S_1 \otimes S_2$ 可能不属于 $r\text{-PEBT}$（尽管它属于 $r^2\text{-PEBT}$）。

2. $r$-PEAT 的引入：

   • 定义并表征了非局部 $r$-PEAT 通道。
   • 证明了非局部 $r$-PEAT 通道的级联序列仍为非局部 $r$-PEAT。
   • 证明了级联顺序至关重要：如果 $E$ 是非局部 $r$-PEAT，而 $F_B$ 是任意通道，那么 $E \circ F_B$ 是非局部 $r$-PEAT，但 $F_B \circ E$ 可能不是（因为 $F_B$ 可能会增加施密特数）。

3. 非资源破坏型通道的检测：

   • 提供了三能级去极化和去相位通道的显式参数范围，在这些范围内它们表现为非部分纠缠破坏（即保持 $SN=3$）。
   • 对于三能级去极化通道 $S_3(\rho) = p\rho + \frac{1-p}{3}I$，当 $0 \leq p \leq 5/8$ 时为 2-PEBT；当 $5/8 < p \leq 1$ 时为非 2-PEBT（保持 $SN=3$）。
   • 对于三能级去相位通道，当 $0 \leq v \leq 1/2$ 时为 2-PEBT；当 $1/2 < v \leq 1$ 时为非 2-PEBT。

4. 集合关系：

   • 确立了层级关系：$EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$。
   • 证明了 $r\text{-PEBT} \subset 2\text{-local } r\text{-PEAT}$（每个 $r$-PEBT 通道都是一个 2-局部 $r$-PEAT 通道）。
   • 证明了上述结论的逆命题不成立：$2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$。
   • 证明了 $r\text{-PEBT}$ 与非局部 $r$-PEAT 存在非空交集，但两者互不包含。

意义与主张
本文声称提供了一个全面的理论框架，用于理解量子通道如何退化纠缠的“维度”，从而超越了纠缠破坏的二元观点。通过表征这些通道集合的拓扑性质（凸性和紧致性），作者使得开发高效的检测方法（见证算子）来识别保留高维纠缠资源的通道成为可能。

“部分纠缠湮灭通道”的引入，将资源理论扩展到了纠缠在子系统内部被破坏而非在整个系统间被破坏的情景。作者强调，识别“非资源破坏型”通道对于可靠的量子信息处理至关重要。本文提供了识别此类通道的方案，特别是通过所推导的充分条件以及标准噪声模型的参数范围。

作者在结尾处表现得较为谦逊，指出虽然他们提供了拓扑特征化，但获得 $r$-PEAT 通道的 Choi-Kraus 型表示仍然是一个开放性问题。他们还强调，$r$-PEBT 在张量积下的不封闭性（对于 $r>1$）为进一步研究 $r$-PEAT 是否具有类似性质提供了动力。本文并非提出新的实验装置，而是提供了分析高维系统中通道容量和资源保持情况所需的理论工具。