[论文解读] An application of a matrix inequality in quantum information theory

Christopher King|ArXiv.org|Dec 6, 2004

Algebraic structures and combinatorial models参考文献 12被引用 11

一句话总结

本文应用 Lieb-Thirring 不等式，证明当一个量子通道为对角通道时，量子通道的极大输出 $p$-范数的乘法性，从而确认了量子信息理论中可加性猜想的关键情形。该方法将乘积通道的输出进行分解，并利用迹不等式来界定 $p$-范数，从而证明当 $\Phi$ 为对角通道且 $\Psi$ 为任意通道时，对所有 $p \geq 1$ 有 $\nu_p(\Phi \otimes \Psi) = \nu_p(\Phi)\nu_p(\Psi)$。

ABSTRACT

Quantum information theory has generated several interesting conjectures involving products of completely positive maps on matrix algebras, also known as quantum channels. In particular it is conjectured that the output state with maximal p-norm from a product channel is always a product state. It is shown here that the Lieb-Thirring inequality can be used to prove this conjecture for one special case, namely when one of the components of the product channel is of the type known as a diagonal channel, which acts on a state by taking the Hadamard product with a positive matrix.

研究动机与目标

• 建立当其中一个分量为对角通道时，乘积通道的极大输出 $p$-范数的乘法性。
• 展示 Lieb-Thirring 不等式可用于证明非平凡类量子通道中最小输出熵的可加性。
• 通过扩展先前用于纠缠破坏通道的证明技术，提供一种可应用于其他通道类别的方法。
• 为更广泛的开放问题——即证明所有量子通道的可加性猜想——做出贡献，特别是在 $p$-范数乘法性成立的情况下。

提出的方法

• 将乘积通道 $\Phi \otimes \Psi$ 的输出态分解为 $V K V^*$ 形式，其中 $V$ 为等距的分块对角矩阵，$K = \Phi(A) \otimes I'$。
• 通过态 $\rho$ 的谱分解定义矩阵 $A$，使得 $\rho = (A \otimes J_k) * \tau$，其中 $J_k$ 为全1矩阵。
• 应用 Lieb-Thirring 不等式，通过 $\mathrm{Tr}((V^*V)^p K^p)$ 来界定 $\mathrm{Tr}((\Phi \otimes \Psi)(\rho))^p$，利用 $V^*V$ 和 $K^p$ 的结构。
• 通过 $\Psi$ 的 $p$-范数 $\nu_p(\Psi)$ 和 $\Phi(A)^p$ 的迹来控制迹项，而该迹受 $\nu_p(\Phi)^p$ 限制，这是由极大输出 $p$-范数的定义决定的。
• 建立上界 $\mathrm{Tr}((\Phi \otimes \Psi)(\rho))^p \leq \nu_p(\Phi)^p \nu_p(\Psi)^p$，从而得出 $\nu_p(\Phi \otimes \Psi) \leq \nu_p(\Phi)\nu_p(\Psi)$。
• 通过限制在乘积态上证明反向不等式，从而完成对所有 $p \geq 1$ 的等式证明。

实验结果

研究问题

• RQ1 当 $\Phi$ 为对角通道且 $\Psi$ 为任意通道时，乘积通道 $\Phi \otimes \Psi$ 的极大输出 $p$-范数是否可乘性分解？
• RQ2 Lieb-Thirring 不等式是否可有效应用于证明量子信息理论中 $p$-范数的乘法性？
• RQ3 对角通道的 $\nu_p(\Phi \otimes \Psi)$ 的乘法性是否对所有 $p \geq 1$ 成立，且是否支持更广泛的可加性猜想？
• RQ4 用于对角通道的技术能否推广到其他类别的量子通道？

主要发现

• 当 $\Phi$ 为对角通道且 $\Psi$ 为任意完全正映射时，乘积通道 $\Phi \otimes \Psi$ 的极大输出 $p$-范数具有乘法性，即对所有 $p \geq 1$ 有 $\nu_p(\Phi \otimes \Psi) = \nu_p(\Phi)\nu_p(\Psi)$。
• 该证明依赖于将输出态分解为 $V K V^*$ 形式，从而能够应用 Lieb-Thirring 不等式来界定 $p$-范数的迹。
• 通过控制 $\Phi$ 和 $\Psi$ 的 $p$-范数，推导出不等式 $\mathrm{Tr}((\Phi \otimes \Psi)(\rho))^p \leq \nu_p(\Phi)^p \nu_p(\Psi)^p$。
• 通过在乘积态上测试，建立了反向不等式，从而确认了对角通道情形下 $p$-范数乘法性的等式成立。
• 该结果支持最小输出熵的更广泛可加性猜想，因为当 $p=1$ 时 $\nu_p$ 的乘法性意味着 $S_{\min}$ 的可加性。
• 该方法为其他通道类别中证明乘法性提供了模板，但由于已知在 $p \geq 5$ 时存在反例，因此无法直接推广至所有通道。