[論文レビュー] Quantum bit commitment and unconditional security

Horace P. Yuen|ArXiv.org|Jul 16, 2002

Quantum Mechanics and Applications参考文献 3被引用数 5

ひとこと要約

この論文は、標準的なEPRに基づく不可能性証明に重大な欠陥を特定することで、無条件に安全な量子ビットコミットメント（QBC）の広く受け入れられている不可能性に挑戦する。量子純化ともつれ技術を用いた新しいQBCプロトコルQBC4を提案し、物理的制約のもとで安全なQBCが可能であることを示し、不正の確率が量子同時性とシーケンス長による指数的抑制によって制限されることを明らかにする。

ABSTRACT

It is generally believed that unconditionally secure quantum bit commitment is impossible, due to widespread acceptance of an impossibility proof that utilizes quantum entaglement cheating. In this paper, we delineate how the impossibiliy proof formulation misses various types of quantum bit commitment protocols based on two-way quantum communications. We point out some of the gaps in the impossibility proof reasoning, and present corresponding counterexamples. Four different types of bit commitment protocols are constructed with several new protocol techniques. A specific Type 4 protocol is described and proved unconditionally secure. Security analysis of a Type 1 protocol and a Type 2 protocol are also sketched. The security of Type 3 protocols is as yet open. A development of quantum statistical decision theory and quantum games is needed to provie a complete security analysis of many such protocols.

研究の動機と目的

• QBCの普遍的受容に基づく、誤ったEPRに基づく証明に依存するQBCの不可能性に挑戦すること。
• 標準的な不可能性証明における具体的なギャップ、特に測定の延期と量子プロトコルにおける古典的ランダムネスに関する分析を行うこと。
• これらのギャップを回避し、物理的制約のもとで無条件の安全性を達成する新しいQBCプロトコル（QBC4）を開発すること。
• 未知のパラメータとランダムパラメータの役割、および量子プロトコル設計における「より大きなヒルベルト空間のチャーチ」の役割を明確にすること。
• QBCにおける無条件の安全性が、標準的な不可能性フレームワークに限定されない、すべての有効な量子技術を含むプロトコル定式化がなされれば可能であることを確立すること。

提案手法

• もつれと量子純化に基づく新しいQBCプロトコルQBC4を提案し、アダムがもつれqubitのシーケンスを用いてビットをコミットする。
• ビットを符号化するためにベル状態|Φ₀⟩のシーケンスを用い、不正検出を可能にするために制御された重ね合わせ状態の追加qubitを導入する。
• 古典的ランダムネスを純粋な量子状態として扱うことで、不可能性証明における古典的ランダムネスの仮定を回避する量子純化技術を適用する。
• 不正確率の同時性に基づく境界を適用：F² ≤ Pᶜᴬ ≤ F、ここでFはベイブのシステムの2つの可能な状態間の同時性である。
• ベイブの最適測定を開示まで延期するプロトコルを導入するが、もつれの物理的制約により、これは一般には有効でないことを示す。
• シーケンス長n₀による指数的抑制を用い、ベイブの不正確率Pᶜᴮ ≈ ½ − ½(1−2pₑ)ⁿを、pₑ > 0に依存しない形で指数的に小さく抑える。

実験結果

リサーチクエスチョン

• RQ1 標準的なEPRに基づくQBCの不可能性証明における仮定は妥当か。特に測定の延期と量子プロトコルにおける古典的ランダムネスに関して。
• RQ2 量子純化ともつれを、不可能性証明がカバーしない方法で用いることで、EPR攻撃を回避するQBCプロトコルを構築できるか。
• RQ3 もつれにかかる物理的制約（例えば、観測可能な宇宙におけるqubitの最大数）は、QBCプロトコルのセキュリティにどのように影響するか。
• RQ4 プロトコル定式化にもつれの純化や遅延測定といった技術を含めれば、QBCにおける無条件の安全性を達成できるか。
• RQ5 QBCの不可能性は真に量子力学から導かれるものか。それとも、物理的制約のもとで安全なプロトコルを可能にする証明の抜け穴は存在するか。

主な発見

• QBCの不可能性証明は不完全である。なぜなら、すべての測定を延期可能であると仮定し、かつ古典的ランダムネスを純粋な量子状態として扱えると仮定しているが、これらは一般には成立しない。
• QBC4プロトコルは明示的に構築され、量子純化ともつれを用いて証明された安全性を有し、不正確率は同時性と指数的抑制によって制限される。
• ベイブの不正確率Pᶜᴮは、シーケンス長n₀に指数的に依存して半分に近づき、個々の誤差確率pₑ > 0に依存しない。
• アダムの不正確率PᶜᴬはF² ≤ Pᶜᴬ ≤ Fで抑えられ、Fが小さい場合にはセキュリティが保証される。ここでFはベイブのシステムの2つの可能な状態間の同時性である。
• もつれにかかる物理的制約（例えば、観測可能な宇宙におよそ2⁴¹⁰個のqubitが存在可能）が、不正の根本的上限をもたらし、無条件の安全性を支持する。
• 本論文は、QBCの一般不可能性定理は、QBCの完全かつ包括的な定義がなければ存在できないと結論づけ、このような定義はすべての有効な量子プロトコル技術を含むべきであると主張する。