量子科技中心_量科网

该团队将Rényi纠缠纯化重新表述为一个带约束的最小输出Rényi熵问题。等价地，对于 \(p>1\)，该表述可以用带约束的最大输出Schatten \(p\)-范数来表示。更精确地说，对于一个完全正映射 \(Ω:L(B')\to L(A)\)，该团队考虑量 \(\upsilon_p(Ω)\)，它通过在所有 \(B'\)-边缘态为最大混合态的双边态 \(σ^{B'E}\) 上优化 \(\|(Ω\otimes \mathrm{id}_E)(σ^{B'E})\|_p\) 来定义。该团队重点关注 \(p=2\) 的情形。首先，该团队计算了转置-去极化信道的 \(\upsilon_2\)，并证明它关于张量积具有可乘性。然后，该团队建立了一个一般的可乘性判据：只要某个完全正映射 \(N:L(B')\to L(A)\) 满足 \(N^{\dagger} \mathbin{\circ} N=a\,\mathrm{id}_A+b\,\mathrm{Tr}[\cdot]\,I_d\)（其中 \(a,b\ge 0\) 为常数，\(N^{\dagger}\) 表示 \(N\) 的Hilbert-Schmidt伴随），量 \(\upsilon_2(N)\) 关于张量积就是可乘的。满足该判据的信道示例包括转置-去极化信道、去极化信道以及它们各自的对偶信道。此外，该团队证明，对于任意完全正映射 \(Ω\)，\(\upsilon_p(Ω)\) 的可乘性蕴含了其对偶映射的可乘性。由此，该团队得到了关联的Rényi-2纠缠纯化的相应可加性结论。