[論文レビュー] On Classical and Quantum Cryptography

И. В. Волович, И. В. Волович|ArXiv.org|Aug 29, 2001

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

ひとこと要約

本稿は、カエサル暗号やRSAから、BB84およびEPRBEプロトコルによる量子鍵配送に至るまでの、古典的および量子暗号の包括的紹介を提供している。エントロピック不確定性関係およびベルの定理を用いた理論的セキュリティ証明を確立し、非局所的量子相関を通じて盗聴を検出可能であることを示している。

ABSTRACT

Lectures on classical and quantum cryptography. Contents: Private key cryptosystems. Elements of number theory. Public key cryptography and RSA cryptosystem. Shannon`s entropy and mutual information. Entropic uncertainty relations. The no cloning theorem. The BB84 quantum cryptographic protocol. Security proofs. Bell`s theorem. The EPRBE quantum cryptographic protocol.

研究の動機と目的

• 量子情報分野の研究者を対象に、古典的および量子暗号について教育的導入を行う。
• 数論を用いて、特にRSA暗号方式の理論的基盤を説明する。
• 量子力学的原理（ノーコピーよりの定理やもつれ）を用いて、量子鍵配送プロトコル（BB84およびEPRBE）のセキュリティを確立する。
• 時空局所性および波動関数の時間発展が、EPRBE型プロトコルのセキュリティを保証する役割を分析する。
• 局所性関数 g(O_A, O_B) を一般化し、盗聴者位置 O_E を含めた枠組みを提案する

提案手法

• モジュラ演算および合同式を用いて、カエサル暗号やアフィン変換を含む古典的秘密鍵暗号を定義する。
• 特に素因数分解とモジュロ指数演算を用いた数論を適用し、RSA暗号方式の数学的基盤を確立する。
• シャノンのエントロピーおよび相互情報量を導入し、暗号システムにおける不確実性および情報漏洩の定量的評価を行う。
• エントロピック不確定性関係を用いて、一般の量子測定のもとでのBB84プロトコルのセキュリティを証明する。
• ベルの不等式および非局所相関を用いてEPRBEプロトコルを分析し、時空局所的波動関数に注目する。
• 検出器におけるもつれ粒子の空間的局所性の度合いを定量化する関数 g(O_A, O_B) を提案し、局所性仮定の妥当性を評価する

実験結果

リサーチクエスチョン

• RQ1 量子暗号は、ノーコピーよりの定理やもつれといった根本的な量子力学的原理を用いて、どのように盗聴を検出可能にするか？
• RQ2 時空局所的波動関数は、量子鍵配送におけるベル型非局所性の妥当性にどの程度影響を与えるか？
• RQ3 状態準備および検出器の局所性に関する現実的仮定のもとで、EPRBEプロトコルのセキュリティを厳密に証明できるか？
• RQ4 空間的領域における波動関数の重なりを表す関数 g(O_A, O_B) は、盗聴者の検出可能性にどのように影響を与えるか？
• RQ5 盗聴者が別個の空間領域 O_E に位置する場合、局所性基準にどのような修正が必要か？

主な発見

• BB84プロトコルは、量子不確定性に基づく情報理論的セキュリティを達成しており、盗聴の試みは量子状態を摂動させ、検出可能である。
• EPRBEプロトコルのセキュリティはベルの定理および非局所相関に依存しており、ベル不等式の破れが盗聴を示唆する。
• 空間的偏りが 1/m よりもはるかに大きいガウス型波動関数に対して、局所性関数 g(O_A, O_B) は (2/π)^3 < 1/2 で有界であり、局所性基準を満たす。
• 波動関数の時間的拡散は、波動関数の特徴的サイズを増加させるが、十分に分離された検出器では、局所性条件は依然として有効である。
• 関数 g(O_A, O_B) は、もつれ状態測定における非局所性の度合いを評価するのに用いられ、その値は検出器の空間的局所性に依存する。
• 盗聴者の位置 O_E を含む一般化された関数 g(O_A, O_B, O_E) が、盗聴検出戦略の最適化のためのツールとして提案された。