[论文解读] Coding Theorems of Quantum Information Theory

Andreas Winter|ArXiv.org|Jul 24, 1999

Quantum Computing Algorithms and Architecture参考文献 52被引用 100

一句话总结

本文建立了量子信息理论的基本编码定理与强 converse 定理，证明了具有强 converse 的量子源编码定理，并提供了对 Holevo 界的新证明。本文推导了量子多址信道的容量区域，并提出了一项计划，旨在通过相关源压缩模型为量子条件熵赋予操作意义，从而推进了量子信息处理与通信的数学基础。

ABSTRACT

Coding theorems and (strong) converses for memoryless quantum communication channels and quantum sources are proved: for the quantum source the coding theorem is reviewed, and the strong converse proven. For classical information transmission via quantum channels we give a new proof of the coding theorem, and prove the strong converse, even under the extended model of nonstationary channels. As a by-product we obtain a new proof of the famous Holevo bound. Then multi-user systems are investigated, and the capacity region for the quantum multiple access channel is determined. The last chapter contains a preliminary discussion of some models of compression of correlated quantum sources, and a proposal for a program to obtain operational meaning for quantum conditional entropy. An appendix features the introduction of a notation and calculus of entropy in quantum systems.

研究动机与目标

• 为量子源编码建立强 converse，扩展 Schumacher 的量子编码定理。
• 为通过量子信道传输经典信息提供 Holevo 界的新证明。
• 在一般非平稳与无记忆模型下，确定量子多址信道的容量区域。
• 通过相关源压缩模型，启动一项为量子条件熵赋予操作意义的计划。
• 使用 $*$-代数与量子操作，建立统一的量子熵与信息数学框架。

提出的方法

• 利用典型子空间与量子典型性分析渐近量子源编码，扩展 Schumacher 的方法。
• 应用类型法与大偏差界，证明无记忆量子信道的强 converse。
• 通过量子操作与相容的 $*$-子代数，定义非交换设置下的条件熵与互信息。
• 利用外 bounds 与构造性编码方案，推导量子多址信道的容量区域。
• 引入基于算子代数与子代数相容性的新型量子熵与散度形式化方法。
• 利用 Fano 型不等式与信息论对偶性，界定量子测量中的误差概率与不确定性。

实验结果

研究问题

• RQ1 量子条件熵的操作意义是什么？能否通过源编码赋予其物理解释？
• RQ2 量子多址信道的精确容量区域是什么？它如何依赖于纠缠与输入约束？
• RQ3 Holevo 界能否独立于量子信道编码定理推导得出？这对经典信息传输有何影响？
• RQ4 非平稳量子信道的强 converse 在何种条件下成立？它与误差指数有何关联？
• RQ5 如何最优压缩具有相关性或辅助信息结构的量子源？可分性在此过程中起什么作用？

主要发现

• 证明了量子源编码的强 converse，表明任何超过冯·诺依曼熵的速率在渐近极限下会导致保真度指数级衰减。
• 作为信道编码分析的副产品，推导出 Holevo 界的新证明，确立了通过量子信道传输经典信息的根本极限。
• 完全刻画了量子多址信道的容量区域，表明在某些约束下，总速率不能超过各用户单独容量之和。
• 证明当联合态相对于相容子代数为可分时，条件熵 $ H({rak{X}}|{rak{Y}}) $ 非负，支持了关于量子条件熵操作意义的猜想。
• 将 Fano 不等式推广至量子设置，表明量子可观测量的不确定性受误差概率与结果数对数的有界。
• 本文证明了对系统的知识可减少不确定性，形式化为 $ H( ho| heta) \to H( ho| heta \times \text{额外知识}) $，这将经典的数据处理不等式推广至量子操作。