[论文解读] Additivity for transpose depolarizing channels

Nilanjana Datta, A. S. Holevo+1 more|ArXiv.org|Dec 5, 2004

Acoustic Wave Resonator Technologies被引用 5

一句话总结

本文证明了在所有参数值 $ -rac{1}{d-1} \leq t \leq rac{1}{d+1} $ 下，整个转置去极化通道族的最小输出熵具有可加性，扩展了先前仅覆盖 $ -rac{2}{d^2-2} \leq t \leq rac{1}{d+1} $ 范围的结果。通过精炼应用 Datta、Holevo 和 Suhov（dhs）的方法，作者证明了张量通道 $ \Phi \otimes \Phi $ 的输出熵在乘积态处取得最小值，从而确认了在所有 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 下的可加性，完成了对整个参数范围的证明。

ABSTRACT

Additivity of the minimal output entropy for the family of transpose depolarizing channels introduced by Fannes et al. [quant-ph/0410195] is considered. It is shown that using the method of our previous paper [quant-ph/0403072] allows us to prove the additivity for the range of the parameter values for which the problem was left open in [quant-ph/0410195]. Together with the result of [quant-ph/0410195], this covers the whole family of transpose depolarizing channels.

研究动机与目标

• 将转置去极化通道的最小输出熵可加性结果扩展至整个参数范围 $ -\frac{1}{d-1} \leq t \leq \frac{1}{d+1} $，该问题在 Fannes 等人先前的工作之后仍为开放问题。
• 填补尚未证明可加性的参数范围空白，特别是 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 的区间。
• 应用并改进 Datta、Holevo 和 Suhov（dhs）的方法，以处理负 $ t $ 情况下的挑战，此时某些对称函数的非负性非显而易见。
• 证明张量通道 $ \Phi \otimes \Phi $ 的最小输出熵始终在乘积态处取得，从而确认了在完整参数范围内所有 $ t $ 的可加性。

提出的方法

• 该方法通过分析具有 Schmidt 系数 $ \underline{\lambda} $ 的类贝尔纠缠态的输出态 $ \sigma_{12}(\underline{\lambda}) = (\Phi \otimes \Phi)(|\psi_{12}\rangle\langle\psi_{12}|) $，将问题简化为在单纯形 $ \Sigma_d $ 上最小化冯 Neumann 熵。
• 通道 $ \Phi $ 表示为 $ \Phi_+ $ 和 $ \Phi_- $ 的线性组合，其 Kraus 算子由实矩阵转置导出，从而可在计算基下显式计算输出态。
• 输出态表示为矩阵 $ A $，其元素为 $ A_{ij} = (\mu_i + \eta_i)\delta_{ij} + \sqrt{\eta_i \eta_j}(1 - \delta_{ij}) $，其中 $ \mu_i $ 和 $ \eta_j $ 依赖于 $ t $、$ d $ 和 Schmidt 系数 $ \lambda_\alpha $。
• 通过对称多项式和特征多项式分析 $ A $ 的特征值，导出涉及初等对称函数 $ s_k $ 和参数 $ t $ 的关键不等式。
• 证明表明，特征多项式表达式中第一项与第二项之和对所有 $ k = 0,1,\dots,n $ 非负，利用 $ \nu_l $ 变量的凸性与约束分析。
• 对于 $ k=0 $，利用函数 $ f(\nu) = \frac{1-\nu}{\nu} $ 的凸性，并在单纯形上进行极值点分析，以界定和 $ \sum \frac{1-\nu_l}{\nu_l} $，在约束 $ \nu_1 < 0 $，$ \nu_l > 0 $（$ l \geq 2 $）下验证不等式成立。

实验结果

研究问题

• RQ1 在转置去极化通道族中，最小输出熵的可加性是否对所有 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 成立，即该族剩余的开放参数范围？
• RQ2 Datta、Holevo 和 Suhov（dhs）的方法能否扩展至负 $ t $ 情况，此时某些对称函数项的非负性非显而易见？
• RQ3 对于所有 $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $，张量通道 $ \Phi \otimes \Phi $ 的最小输出熵是否始终在乘积态处取得？
• RQ4 当 $ t < 0 $ 时，输出态矩阵 $ A $ 的特征多项式行为如何，是否能保证熵在 Schmidt 单纯形的顶点处最小化？

主要发现

• 证明了在所有 $ t \in \left[-\frac{1}{d-1}, 0\right] $ 下，最小输出熵的可加性 $ h(\Phi \otimes \Phi) = 2h(\Phi) $ 成立，完成了对整个转置去极化通道族的证明。
• dhs 方法成功扩展至负 $ t $ 情况，通过凸性与单纯形上极值点分析，确立了特征多项式表达式中第二项的非负性。
• 对于 $ k=1,\dots,n $，由于约束 $ \sum \nu_l \geq n-2 $ 且 $ \nu_l \leq 1 $，关键不等式中的第二项被证明为非负，确保不等式成立。
• 对于 $ k=0 $，和 $ \sum_{l=1}^n \frac{1-\nu_l}{\nu_l} $ 的上界为 $ \frac{2(1+t(d-1))}{td} $，且在约束 $ \nu_1 < 0 $，$ \nu_l > 0 $，$ \sum \nu_l \geq n-2 $ 下验证该上界成立，且在极值点处趋近等号。
• 证明确认了最小输出熵在 Schmidt 单纯形的顶点处取得，即在乘积态处取得，对所有 $ t \in \left[-\frac{1}{d-1}, \frac{1}{d+1}\right] $ 成立，从而确立了完整的可加性。
• 该结果完成了对转置去极化通道族的可加性证明，解决了最后一个开放案例，并证实了该类通道的猜想。