[論文レビュー] Quantum Bit Commitment Revisited: the Possible and the Impossible

Giacomo Mauro D’Ariano, Dennis Kretschmann+2 more|arXiv (Cornell University)|May 26, 2006

Quantum Information and Cryptography被引用数 9

ひとこと要約

この論文は、任意のラウンド、古典的および量子通信、中止、リセット、非正直な受信者を許容しても、単に量子力学に基づく量子ビットコミットメントプロトコルが根本的にな不可能であることを厳密に証明する。任意の隠蔽プロトコルは送信者が普遍的な戦略で裏切れることが示され、近似的に隠蔽される場合、新しいスティンズプリング拡張の連続性推定と、受信者のデコherenceに依存する新しいプロトコルによって、検出不能な裏切りが高確率で可能になる。

ABSTRACT

Bit commitment protocols whose security is based on the laws of quantum mechanics alone are generally held to be impossible. In this paper we give a strengthened and explicit proof of this result. We extend its scope to a much larger variety of protocols, which may have an arbitrary number of rounds, in which both classical and quantum information is exchanged, and which may include aborts and resets. Moreover, we do not consider the receiver to be bound to a fixed "honest" strategy, so that "anonymous state protocols", which were recently suggested as a possible way to beat the known no-go results are also covered. We show that any concealing protocol allows the sender to find a cheating strategy, which is universal in the sense that it works against any strategy of the receiver. Moreover, if the concealing property holds only approximately, the cheat goes undetected with a high probability, which we explicitly estimate. The proof uses an explicit formalization of general two party protocols, which is applicable to more general situations, and a new estimate about the continuity of the Stinespring dilation of a general quantum channel. The result also provides a natural characterization of protocols that fall outside the standard setting of unlimited available technology, and thus may allow secure bit commitment. We present a new such protocol whose security, perhaps surprisingly, relies on decoherence in the receiver's lab.

研究の動機と目的

• 従来の制限を超えて、量子ビットコミットメントのノーガス結果を強化・一般化すること。
• 任意のラウンド、混合古典的・量子通信、中止、リセット、非正直な受信者を含むプロトコルに対処すること。
• 任意の隠蔽プロトコルが送信者による普遍的な裏切り戦略を許容することを形式的に証明すること。
• 隠蔽が近似的にしか達成されない場合の裏切りの検出可能性を分析し、定量的推定を提供すること。

提案手法

• 多様な通信パターンに適用可能な統一的枠組みを用いて、一般の2者間量子プロトコルを形式化すること。
• 裏切りの忠実度を制限するために不可欠な、一般の量子チャネルのスティンズプリング拡張に関する新しい連続性推定を導入すること。
• 隠蔽セキュリティを仮定したもとでの量子ビットコミットメントプロトコルの構造を分析すること。
• 受信者の実験室におけるデコherenceに依存する、新たなセキュリティ基盤のプロトコルを構築すること。
• 形式的枠組みを用いて、任意の隠蔽プロトコルが受信者の行動に依存しない普遍的な裏切り戦略を許容することを示すこと。
• 連続性境界に基づいて、隠蔽が近似的にしか達成されない場合の裏切りが検出されない確率を推定すること。

実験結果

リサーチクエスチョン

• RQ1 古典的通信、複数ラウンド、中止、リセットを含む任意のプロトコルにおいて、量子ビットコミットメントは安全に保てるか？
• RQ2 受信者が正直な戦略に束縛されない「匿名状態」プロトコルを用いることで、既知のノーガス定理を回避することは可能か？
• RQ3 近似的に隠蔽されるプロトコルにおける裏切りの検出可能性はいかほどか？
• RQ4 受信者の実験室におけるデコherenceが、標準の量子力学的ノーガス枠組みを超えた安全なビットコミットメントの基盤として機能できるか？

主な発見

• 任意の隠蔽（すなわち、近似的にでも）プロトコルは、送信者がどんな受信者の行動に対しても通用する普遍的な戦略で裏切れる。
• 隠蔽が近似的にしか達成されない場合、裏切り戦略は高い確率で検出されず、その確率は新しい連続性推定によって明示的に境界づけられる。
• 本論文は、任意の通信シーケンスと測定選択を扱える2者間量子プロトコルの一般枠組みを確立する。
• 受信者の実験室におけるデコherenceに依存する新たなプロトコルが提案され、標準のノーガス設定を超えた安全なビットコミットメントへの道筋を示唆する。
• スティンズプリング拡張の連続性推定が、完全な隠蔽からの微小なずれに対する裏切り戦略のロバスト性を証明するために不可欠であることが示された。
• この結果は、標準モデルにおいては量子力学のみを用いた安全なビットコミットメントが不可能であることを示唆するが、技術的制限や環境的デコherenceを伴うモデルでは実現可能である可能性がある。