[論文レビュー] One-Shot Private Classical Capacity of Quantum Wiretap Channel: Based on one-shot quantum covering lemma

Jaikumar Radhakrishnan, Pranab Kumar Sen+1 more|arXiv (Cornell University)|Mar 6, 2017

Quantum Information and Cryptography参考文献 11被引用数 13

ひとこと要約

本稿は、新規の1回限りの量子カバーイング補題と演算子チェルノフの不等式を用いて、量子ワイヤートラップチャネルのプライベート古典的容量に対する1回限りの境界を確立する。量子仮説検定の発散度と滑らかな最大相対エントロピーを用いて、タイトな上界および下界を導出し、有限ブロック長における安全な通信の非漸近的枠組みを提供する。

ABSTRACT

In this work we study the problem of communication over the quantum wiretap channel. For this channel there are three parties Alice (sender), Bob (legitimate receiver) and Eve (eavesdropper). We obtain upper and lower bounds on the amount of information Alice can communicate to Bob such that Eve gets to know as little information as possible about the transmitted messages. Our bounds are in terms of quantum hypothesis testing divergence and smooth max quantum relative entropy. To obtain our result we prove a one-shot version of the quantum covering lemma along with operator Chernoff bound for non-square matrices.

研究の動機と目的

• 量子ワイヤートラップチャネルを介したプライベート古典的通信の1回限りの境界を確立し、アリスがボブにメッセージを送信する際、イヴへの情報漏洩を最小限に抑えること。
• 有限ブロック長の非漸近的設定において、古典的情報スペクトル枠組みを量子ドメインに拡張すること。
• 量子仮説検定の発散度や滑らかな最大相対エントロピーといった量子情報理論的測度を用いて、プライベート容量のタイトな上界および下界を確立すること。
• 1回限りの量子カバーイング補題を証明し、非正方行列に対する演算子チェルノフの不等式を適用して、これらの境界を達成すること。

提案手法

• 著者らは、量子ワイヤートラップチャネルに特化した1回限りの量子カバーイング補題を導入し、有限ブロック長通信の解析を可能にする。
• 符号化プロセスから生じる確率的行列集合の尾部挙動を制御するために、非正方行列に対する演算子チェルノフの不等式を用いる。
• エヴの端末における結合状態分布と積状態分布の区別可能性を測定するために、量子仮説検定の発散度を用いる。
• 滑らかな最大相対エントロピーを用いて、送信されたメッセージの機密性を制限し、エヴの知識が無視できる程度に保つ。
• チャネルをCPTP写像 $\mathcal{N}^{A\to BE}$ としてモデル化し、入力状態をボブとエヴの相関出力状態に写像する。
• 確率論的手法と行列集中不等式を組み合わせた証明技法により、誤り確率および機密性確率の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 1回限りの設定において、アリスは量子ワイヤートラップチャネルを通じてボブに、イヴへの情報漏洩を最小限に抑えつつ、最大でどの程度の古典的情報を信頼性を持って伝送できるか？
• RQ2 量子カバーイング補題は、プライベート容量の境界を求めるために1回限りの設定にどのように適合させられるか？
• RQ3 量子仮説検定の発散度と滑らかな最大相対エントロピーは、有限ブロック長量子通信における機密性と信頼性をどのように定量化するか？
• RQ4 非正方行列に対する演算子チェルノフの不等式は、量子ワイヤートラップ符号の性能分析に効果的に適用できるか？
• RQ5 1回限りの境界は、情報スペクトル設定における漸近的結果と比べてどうなるか？

主な発見

• 本稿では、量子仮説検定の発散度と滑らかな最大相対エントロピーを用いて、プライベート古典的容量の1回限りの下界を確立する。
• 有限ブロック長における安全な符号の構築を可能にする1回限りの量子カバーイング補題が証明された。
• 復号プロセスの誤り確率は、$\Pr\{\mathcal{E}^{*}\} \leq 4d_{1}\exp\left(-10^{-11}\varepsilon^{3}\frac{M}{\beta}\right) + \exp\left(-10^{-8}\varepsilon^{2}M\right)$ で抑えられ、メッセージサイズに伴い指数的に減少することが示された。
• 確率的行列 $A^g$ のノルムが $\frac{1}{120}\|A\|$ を超える確率は0.22以上であることが示され、カバーイング補題の頑健性を裏付けた。
• 解析により、高確率で行列 $\bar{H}\bar{\Lambda}$ が $\|\bar{H}\bar{\Lambda}\| \geq \frac{1}{6}\mathrm{Tr}[\bar{H}^\dagger\bar{H}\bar{\Lambda}]$ を満たすことが示され、これはカバーイング補題の有効性に不可欠である。
• 結果として、非漸近的かつ有限ブロック長のプライベート容量の特徴づけが得られ、古典的情報スペクトル理論と量子チャネル符号化の間のギャップを埋めた。