[論文レビュー] Large N Quantum Cryptography

Adrian Kent|ArXiv.org|Dec 8, 2002

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

ひとこと要約

本稿では、完全な量子ビットコミットメントが不可能であるにもかかわらず、高いセキュリティを達成する新しい量子プロトコルを提案する。大規模N量子状態と量子符号化技術を活用することで、いずれの参加者も著しく制限された範囲での不正が可能となる。個々のビットコミットメントが古典的および量子的に不正可能であっても、このプロトコルは依然として高いセキュリティを実現する。

ABSTRACT

In quantum cryptography, the level of security attainable by a protocol which implements a particular task $N$ times bears no simple relation to the level of security attainable by a protocol implementing the task once. Useful partial security, and even near-perfect security in an appropriate sense, can be obtained for $N$ copies of a task which itself cannot be securely implemented. We illustrate this with protocols for quantum bit string commitment and quantum random number generation between mistrustful parties.

研究の動機と目的

• 単一ビットの完全なセキュリティが不可能である場合でも、複数ビット（N > 1）のコミットメントにおいて、量子プロトコルが有用なセキュリティを達成できることを示すこと。
• 古典的および量子的暗号理論の同等性のギャップを埋め、量子版ビットコミットメントが同じノーガス定理に縛られないことの証明。
• 量子状態符号化と測定による検証を用いて、両方の不正参加者に対して意味のあるセキュリティを提供するプロトコルの設計。
• エンタングルド状態とカットアンドチョイス戦略を用いて、不誠実な参加者間での安全な量子乱数生成の可能性の探求。

提案手法

• ビットストリングを符号化するために、非正規直交状態 |ψ₀⟩ = |0⟩ および |ψ₁⟩ = sinθ|0⟩ + cosθ|1⟩ を用い、θ をセキュリティパラメータとする。
• アリスが彼女のコミットされたビットストリングに対応するN量子ビットを送信し、ボブが提示された状態への射影測定によって検証するプロトコルを採用。
• 量子符号理論を応用し、Hⁿ 内に重なりが小さい状態の集合を構築することで、n量子ビットに O(exp(Cn)) 個の古典的ビットを符号化可能とする。
• ホールボの定理を用いて、ボブが解読するまでの間に抽出可能な情報量を制限し、ボブに対する部分的なセキュリティを保証。
• 乱数生成プロトコルにおいて、ボブが最後のバッチを除くM−1バッチのベルスイングレットをテストするカットアンドチョイス機構を実装。
• ボブの不正戦略が、Nビットストリングのうち約 log M ビットの情報しか得られないことを利用し、M ≪ 2^N の場合にその情報量は無視可能となる。

実験結果

リサーチクエスチョン

• RQ1 単一ビットの完全なセキュリティが不可能である場合でも、量子プロトコルが複数ビットのコミットメントにおいて意味のあるセキュリティを達成できるか？
• RQ2 高次元ヒルバート空間における古典的情報の量子符号化が、ビットストリングコミットメントにおけるセキュリティをどの程度向上できるか？
• RQ3 不誠実な参加者間での量子乱数生成プロトコルが、個々の不正戦略および集団的攻撃の両方に対して安全であるか？
• RQ4 N = 1 の場合に完全なセキュリティが達成できない状況下で、N（量子ビットまたはビット数）が増加するに従い、量子プロトコルのセキュリティはどのようにスケーリングするか？
• RQ5 ホールボの境界などの量子制限を考慮した場合、コミットされるビット数と盗聴者が得られる情報量のトレードオフはどのようなものか？

主な発見

• プロトコルは、アリスの不正成功確率が、r 個の可能なストリングのうちいずれか1つに対して 1 + (r−1)ε で抑えられることを保証する。ここで ε = sinθ であり、θ を十分に小さく選ぶことで、この境界を任意に小さくできる。
• ボブに対するセキュリティはホールボの定理によって保証され、Nビットストリングに関する抽出可能な情報量が、n（量子ビット数）の対数以内に制限される。
• 大規模Nでは、2つの状態間の内積が sinθ 未満であるようなベクトル集合を用いて、n量子ビットに O(exp(Cn)) 個の古典的ビットを符号化可能であり、長大なストリングのスケーラブルなコミットメントを可能にする。
• 乱数生成プロトコルにおいて、ボブの出力のバイアスは、約 log M ビットの情報に制限され、M ≪ 2^N の場合にその影響は無視可能となる。
• 個々のビットコミットメントが不可能であっても、プロトコルは依然として安全であり、これは複数コピーのプロトコルが単一コピーでは達成できないセキュリティを実現できることを示している。
• 大規模Nにおいて、重なりが小さい量子状態の明示的構成が存在し、Hⁿ 内に f(n) = O(exp(Cn)) 個のコードワードが存在することから、本手法の実現可能性が裏付けられている。