[论文解读] Quantum conditional entropy for infinite-dimensional systems

А. А. Кузнецова|arXiv (Cornell University)|Apr 26, 2010

Quantum Information and Cryptography参考文献 7被引用 10

一句话总结

本文通过相对熵与纯化，为无限维量子系统建立了量子条件熵的严格定义，推广了单调性、凹性与次可加性等关键性质。核心贡献在于证明在有限熵条件下，这些性质依然成立，从而将有限维量子信息理论扩展至连续变量系统。

ABSTRACT

In this paper a general definition of quantum conditional entropy for infinite-dimensional systems is given based on recent work of Holevo and Shirokov arXiv:1004.2495 devoted to quantum mutual and coherent informations in the infinite-dimensional case. The properties of the conditional entropy such as monotonicity, concavity and subadditivity are also generalized to the infinite-dimensional case.

研究动机与目标

• 将量子条件熵的概念从有限维系统推广至无限维量子系统。
• 解决连续变量系统中条件熵缺乏一般性定义的问题，尤其针对玻色型高斯通道具有重要意义。
• 将条件熵的基本性质——单调性、凹性与次可加性——推广至无限维设置。
• 在适当的收敛条件下，确保与有限维量子信息理论中已知结果的一致性。
• 为分析具有无界希尔伯特空间的系统中的量子通道与关联关系提供理论基础。

提出的方法

• 通过相对熵定义条件熵：$ H(C|A) = H(\rho_C) - H(\rho_{AC} \| \rho_A \otimes \rho_C) $，其中 $ H(\cdot\|\cdot) $ 为量子相对熵。
• 利用态的纯化与Stinespring扩张，通过 $ I_c(\rho_{AB}, \mathrm{Tr}_B) = -H(C|A) $ 将条件熵与相干信息联系起来。
• 应用无限维空间中相对熵与冯诺依曼熵的理论，依赖下半连续性与控制收敛定理。
• 采用有限秩投影算子 $ P_n^A, P_k^B $ 近似无限维态，证明熵与相对熵项的收敛性。
• 通过逼近法证明性质：有限维态序列 $ \rho_{AB}^{nk} $ 收敛至原态，且在给定条件下熵表达式收敛。
• 利用Holevo与Shirokov [3] 关于相干信息与相对熵单调性的结果，推导出关键不等式。

实验结果

研究问题

• RQ1 如何在无限维量子系统中严格定义量子条件熵？
• RQ2 条件熵的单调性、凹性与次可加性等基本性质在无限维情形下是否依然成立？
• RQ3 在无限维逼近的极限下，熵与相对熵表达式收敛的条件是什么？
• RQ4 条件熵与连续变量系统中的相干信息及互信息有何关系？
• RQ5 在何种条件下，条件熵在无限维系统的状态空间中是连续的？

主要发现

• 通过相对熵与纯化，为无限维系统建立了量子条件熵 $ H(C|A) $ 的一般性定义。
• 条件熵满足单调性：$ H(A|BC) \leq H(A|B) $，其证明基于部分迹下相对熵的单调性。
• 函数 $ H(A|B) $ 关于态 $ \rho_{AB} $ 是凹的，通过有限秩投影算子逼近并利用收敛定理得以证明。
• 次可加性成立：$ H(AB|CD) \leq H(A|C) + H(B|D) $，由有限维情形的次可加性及逼近下的收敛性推导得出。
• 当边际熵连续时，条件熵在相应集合上连续，该结论通过纯化与相干信息的收敛性得以证明。
• 在 $ \rho_C $ 具有有限熵的条件下，恒等式 $ H(C|A) + H(C|B) = 0 $ 成立，推广了有限维情形下条件熵的对偶性。