[論文レビュー] Coding Theorems of Quantum Information Theory

Andreas Winter|ArXiv.org|Jul 24, 1999

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

ひとこと要約

本稿は、量子情報理論における基本的な符号化定理と強力な逆定理を確立し、量子ソース符号化定理の強力な逆定理を証明するとともに、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.

研究の動機と目的

• シューマッハの量子符号化定理を拡張し、量子ソース符号化における強力な逆定理を確立すること。
• 量子チャネルを通じた古典的情報伝送におけるHolevoの上限について、新しい証明を提示すること。
• 一般の非定常かつ記憶のないモデル下での量子多重アクセスチャネルの容量領域を特定すること。
• 相関付きソース圧縮モデルを通じて、量子条件付きエントロピーに操作的意味を与えるプログラムを開始すること。
• *$*$-代数と量子操作を用いた、量子エントロピーと情報の統一的数学的枠組みを構築すること。

提案手法

• 典型部分空間と量子典型性を用いて、シューマッハのアプローチを拡張し、漸近的量子ソース符号化を分析する。
• タイプの方法と大偏差境界を適用して、記憶のない量子チャネルにおける強力な逆定理を証明する。
• 量子操作と互換性のある*$*$-部分代数を用いて、非可換設定における条件付きエントロピーと相互情報量を定義する。
• 外部境界と構成的符号化方式を用いて、量子多重アクセスチャネルの容量領域を導出する。
• 作用素代数と部分代数の整合性を用いた、量子エントロピーと発散の新しい形式的枠組みを導入する。
• Fano型不等式と情報理論的双対性を活用して、量子測定における誤り確率と不確実性を制限する。

実験結果

リサーチクエスチョン

• RQ1 量子条件付きエントロピーの操作的意味とは何か。また、ソース符号化を通じて物理的解釈を与えることは可能か。
• RQ2 量子多重アクセスチャネルの正確な容量領域は何か。また、もつれ状態や入力制約にどのように依存するか。
• RQ3 Holevoの上限は、量子チャネル符号化定理から独立に導出可能か。その古典的情報伝送への影響は何か。
• RQ4 非定常量子チャネルにおいて強力な逆定理が成立する条件は何か。また、誤り指数とどのように関係するか。
• RQ5 相関構造またはサイドインフォームド構造を持つ量子ソースを最適に圧縮するにはどうすればよいか。また、可分性はその過程においてどのような役割を果たすか。

主な発見

• 量子ソース符号化における強力な逆定理が証明され、von Neumannエントロピーを上回る任意のレートでは、漸近的極限において忠実度が指数関数的に消滅することを示した。
• チャネル符号化解析の副産物として、Holevoの上限に関する新しい証明が得られ、量子チャネルを通じた古典的情報伝送の根本的限界を確立した。
• 量子多重アクセスチャネルの容量領域が完全に特徴付けられ、特定の制約下では和のレートが個々の容量の和を超えることはないことが示された。
• 互換性のある部分代数に関して、結合状態が可分であるとき、条件付きエントロピー $ H({rak{X}}|{rak{Y}}) $ が非負であることが示され、量子条件付きエントロピーの操作的意味に関する予想を支持した。
• Fanoの不等式が量子設定に一般化され、量子観測可能量の不確実性が誤り確率と結果数の対数によって上限づけられることを示した。
• 本稿では、系に関する知識が不確実性を減少させることを形式化し、$ H( ho| heta) o H( ho| heta imes ext{追加の知識}) $ と表した。これは、古典的データ処理不等式を量子操作に一般化したものである。