[論文レビュー] A classical analogue of negative information

Jonathan Oppenheim, Robert W. Spekkens+1 more|ArXiv.org|Nov 28, 2005

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

ひとこと要約

本稿では、秘密鍵と公開通信を用いた確率分布のマージングプロトコルを導入することで、量子の負の情報の古典的類似物を確立する。送信者が受信者との相互情報量より、参照系との相互情報量が大きい場合、彼女は自身の分布を転送する一方で秘密鍵を獲得できる。これは、通信コストが将来的な暗号的利点によって相殺される古典的「負の情報」を示している。

ABSTRACT

Recently, it was discovered that the `quantum partial information' needed to merge one party's state with another party's state is given by the conditional entropy, which can be negative [Horodecki, Oppenheim, and Winter, Nature 436, 673 (2005)]. Here we find a classical analogue of this, based on a long known relationship between entanglement and shared private correlations: namely, we consider a private distribution held between two parties, and correlated to a reference system, and ask how much secret communication is needed for one party to send her distribution to the other. We give optimal protocols for this task, and find that private information can be negative - the sender's distribution can be transferred and the potential to send future distributions in secret is gained through the distillation of a secret key. An analogue of `quantum state exchange' is also discussed and one finds cases where exchanging a distribution costs less than for one party to send it. The results give new classical protocols, and also clarify the various relationships between entanglement and privacy.

研究の動機と目的

• 量子の負の部分相互情報量に対応する古典的類似物を確立すること、ここで条件付きエントロピーが負になることがある。
• 秘密相関（プライベート鍵）が、量子情報におけるもつれと同様のリソースとして機能する仕組みを明らかにすること。
• 公開通信と秘密鍵を用いて、2人の参加者間でプライベートな分布を転送する最適なプロトコルを開発すること。
• 古典的通信プロトコルにおけるプライバシー、相関、情報コストの関係を明確にすること。
• 量子状態マージングと同様に、古典的分布マージングが、ネットで得られる秘密鍵の増加をもたらし、通信コストが負になる可能性を示すこと。

提案手法

• 2段階符号化方式を用いる：外符号はアリスの系列をボブのデータとの相関に基づいてビンにグループ化し、内符号は参照系との相関に基づいてさらに細分化する。
• 外符号のインデックスの公開通信（nH(X|Y)ビットのコスト）により、ボブはスレピアン＝ウルフの定理に基づいてアリスの系列を復号できる。
• 内符号の構造により、参照系は公開メッセージと相関を持たず、サンプリング補題のおかげでプライバシーが保たれる。
• I(X:Z) > I(X:Y) のとき、n[I(X:Z) - I(X:Y)] ビットの秘密鍵が消費される。I(X:Z) < I(X:Y) のとき、n[I(X:Y) - I(X:Z)] ビットの秘密鍵が生成される。
• 盗聴者に対して、公開メッセージを学習した後も、参照系に関する情報が得られないようにするために、カバーイング補題を活用する。
• プロトコルは最適であり、最小の通信コストを達成する。主な洞察は、負の通信コストがネットで得られる鍵の増加に対応することである。

実験結果

リサーチクエスチョン

• RQ1 古典的情報理論は、通信コストが負になるような、量子の負の部分相互情報量に類似する概念を支持できるか？
• RQ2 秘密鍵が、プライベートな分布転送における通信コストの低減にどのように機能するリソースとして機能するか？
• RQ3 盗聴者からのプライバシーを保ちつつ、プライベートな分布を転送するために必要な最小の公開通信量は何か？
• RQ4 アリス、ボブ、および参照系の間の相関構造が、分布マージング中に秘密鍵を獲得できる可能性をどのように決定するか？
• RQ5 どのような古典的プロトコルが最適な通信コストを達成でき、通信コストが負になる状況はいつか？

主な発見

• プライベートな分布をマージングする通信コストは、n max[0, I(X:Z) - I(X:Y)] ビットで与えられ、I(X:Z) < I(X:Y) のとき負になる。これは、秘密鍵のネット増加を示している。
• I(X:Z) < I(X:Y) のとき、プロトコルは n[I(X:Y) - I(X:Z)] ビットの秘密鍵のネット増加をもたらし、古典的負の情報の実証を示している。
• プロトコルにより、盗聴者が参照系についての知識が変化しないことが保証される。これは、参照系の分布が公開メッセージと統計的に独立であるためである。
• サンプリング補題により、公開通信の下でも、参照系の分布が保持され、鍵のプライバシーが保証される。
• プロトコルは最適である：プライバシーを維持しながら、通信コストをこれより低くすることは不可能である。
• 古典的分布マージングプロトコルは、量子状態マージングと類似しており、秘密鍵がもつれの代わりにリソースとして機能し、公開通信が量子の場合の古典的通信に相当する。