[論文レビュー] SPHERE PACKING AND ZERO-RATE BOUNDS TO THE RELIABILITY OF CLASSICAL-QUANTUM CHANNELS

Marco Dalai|arXiv (Cornell University)|Jan 25, 2012

Quantum Information and Cryptography参考文献 19被引用数 2

ひとこと要約

本稿は、古典的チャネルにおける球詰めおよびゼロレートの境界を一般の古典的量子チャネルへと拡張し、純状態チャネルにおける高レートでの再現性関数の正確な表現およびゼロエラー容量のないチャネルにおけるゼロレートでの再現性関数を確立した。結果として、両領域において上界が既知の下界と一致することを示し、長年の空白を埋め、これらの状況における再現性関数を正確に特定した。

ABSTRACT

In this paper, the sphere packing bound of Fano, Shannon, Gal- lager and Berlekamp and the zero-rate bound of Berlekamp are extended to general classical-quantum channels. The upper bound for the reliability func- tion obtained from the sphere packing coincides at high rates, for the case of pure state channels, with a lower bound derived by Burnashev and Holevo (21). Thus, for pure state channels, the reliability function at high rates is now ex- actly determined. For the general case, the obtained upper bound expression at high rates was conjectured to represent also a lower bound to the reliability function, but a complete proof has not been obtained yet. Finally, the obtained zero-rate upper bound to the reliability function of a general classical-quantum channel with no zero-error capacity coincides with a lower bound obtained by Holevo, thus determining the exact expression.

研究の動機と目的

• 一般の古典的量子チャネルに対して、古典的球詰めおよびゼロレートの境界を量子領域へと拡張すること。
• バーナシュおよびホールーヴォが示した既知の下界と一致する上界を導出し、純状態チャネルにおける高レートでの再現性関数を正確に特定すること。
• 導出された高レートの上界が、一般の古典的量子チャネルに対しても下界として機能するかどうかを検討すること。
• ゼロエラー容量のないチャネルにおけるゼロレートでの再現性関数を正確に確立すること。
• 古典情報理論における既存の境界を量子設定へと統合・一般化すること。

提案手法

• フェノ、シャノン、ガラガー、バーレンクープの古典的球詰め境界を、量子状態の区別可能性およびトレース距離の測度を用いて古典的量子チャネルへ適応する。
• バーレンクープのゼロレート境界を古典的量子チャネルに適用し、量子測定の構造および状態の重なりを活用する。
• 量子相対エントロピーおよび忠実度に基づく境界を用いて、量子状態のチャネル符号化における誤り確率を分析する。
• バーンシャおよびホールーヴォが示した既存の下界と照らし合わせて、導出された上界のタイトネスを評価する。
• 高レートおよびゼロレートの領域における誤り指数の漸近的解析を用いて、再現性関数を評価する。
• 純状態チャネルおよび一般の量子チャネルの性質を用いて、境界が正確に一致する場合とそうでない場合を区別する。

実験結果

リサーチクエスチョン

• RQ1 古典的チャネルにおける球詰め境界は、特に純状態チャネルにおいて、古典的量子チャネルへ正確に拡張可能か？
• RQ2 高レートにおける再現性関数の上界が、一般の古典的量子チャネルに対しても下界として成立することが証明可能か？
• RQ3 ゼロエラー容量のない古典的量子チャネルにおける古典的チャネルのゼロレート境界は、どのように一般化されるか？
• RQ4 ゼロレートにおける再現性関数の上界はタイトであるか？ また、量子設定における既存の下界と一致するか？
• RQ5 古典的量子チャネルにおける高レートおよびゼロレート領域で再現性関数を正確に特定できる条件は何か？

主な発見

• 純状態チャネルでは、球詰めから導出された上界がバーンシャおよびホールーヴォが示した既知の下界と一致するため、高レートにおける再現性関数が正確に特定された。
• 一般の古典的量子チャネルにおける高レートの再現性関数の上界は、まだ完全な証明が得られていないが、下界としても成立すると予想されている。
• ゼロレートでは、ゼロエラー容量のないチャネルに対する上界がホールーヴォの下界と正確に一致しており、この領域における再現性関数が正確に特定された。
• 古典的量子チャネルへの球詰め境界の拡張により、純状態チャネルにおける高レート領域での誤り指数のタイトな特徴付けが得られた。
• 本研究で導出されたゼロレート境界はホールーヴォの下界と一致し、このようなチャネルにおける再現性関数の正確な解を解消した。
• 本研究の結果は、古典情報理論と量子チャネル符号化の間の重要な橋渡しを果たし、基礎的な境界を量子設定へと拡張した。