[論文レビュー] A simple unconditionally secure quantum bit commitment protocol via quantum teleportation

Horace P. Yuen|ArXiv.org|May 23, 2003

Quantum Information and Cryptography被引用数 3

ひとこと要約

この論文は、量子テレポーテーションと古典的情報交換を用いて、絶対的安全性を達成する新しい量子ビットコミットメントプロトコル（QBC5）を提案する。ベル測定結果をコミットし、開示時に量子状態を明かすことで、エンタングルメント・チーティング機構をテレポーテーションによる測定結果の制御によって破壊することにより、標準的な不可能性証明を回避する。

ABSTRACT

By using local quantum teleportation of a fixed state to one qubit of an entangled pair sent from the other party, it is shown how one party can commit a bit with only classical information as evidence that results in an unconditionally secure protocol. The well-known ``impossibility proof'' does not cover such protocols due to its different commitment and opening prescriptions, which necessitate actual quantum measurements among different possible systems that cannot be entangled as a consequence.

研究の動機と目的

• エンタングルメント・チーティングによる長年の信念、すなわち絶対的安全な量子ビットコミットメントが不可能であるという主張を是正すること。
• 量子ビットコミットメント（QBC）の標準的「不可能性証明」におけるギャップを特定し、是正すること。
• 相対性理論のような外部制約に依存せずに、量子力学の完全な枠組みにおいても安全なプロトコルを設計すること。
• 古典的情報のコミットメントが、テレポーテーションを介して絶対的安全なビットコミットメントを達成できることを示すこと。
• 標準の不可能性結果がカバーしない、タイプ5 QBCと呼ばれる新しいプロトコルクラスの安全性を証明すること。

提案手法

• プロトコルは双方向の量子および古典的通信を用い、ベイブがエンタングルド・キュービット・ペアを準備し、プライベートなユニタリ操作を適用する。
• アダムは、既知の状態（|0⟩ または |1⟩）をアシスタントキュービットからエンタングルド・ペアの1キュービットに量子テレポーテーションする。
• 彼は残りのキュービットと第三の系に対するベル基底測定結果をコミットし、証拠として古典的情報のみを送信する。
• 開示段階では、アダムはテレポーテッド状態と残りのエンタングルド・ペアを返送し、射影測定を用いて検証する。
• プロトコルの安全性は、テレポーテーションがアダムの開示戦略をエンタングルさせることを防ぎ、エンタングルメント・チーティングの経路を断つことに依存する。
• ゲーム理論的枠組みを用いてチーティング検出をモデル化し、確率的チェックと繰り返しによりチーティング確率を0に近づける。

実験結果

リサーチクエスチョン

• RQ1 標準的な不可能性証明があるにもかかわらず、絶対的安全な量子ビットコミットメントは達成可能か？
• RQ2 このプロトコルと従来のQBC方式との間の構造的差異は、エンタングルメント・チーティングを防ぐためにどのように寄与するか？
• RQ3 量子テレポーテーションの使用は、ビットコミットメントプロトコルのセキュリティ特性をどのように変化させるか？
• RQ4 開示時に古典的情報コミットメントと量子状態交換を組み合わせることで、隠蔽性および結合性の両方を保証できるか？
• RQ5 測定結果のコミットメントが、不可能性証明の仮定を回避するために果たす役割は何か？

主な発見

• プロトコル QBC5 は ε-隠蔽であり、逐次繰り返しによって ε-結合プロトコルに拡張可能である。
• 不可能性証明は、このプロトコルに適用されない。なぜなら、コミットメント構造を逆転させているためである。測定結果をコミットし、量子状態は開示時に明かす。
• アダムによるチーティングは完璧な成功から隔てられており、彼の最適チーティング確率 P̄cA は、テレポーテーションと測定制御の制約により1未満に厳密に制限される。
• 繰り返しチェックが行われるゲーム理論的モデルにおいて、試行回数を増やすことでチーティング確率 P_C は0に近づく。
• 罰則がなくても、試行回数を増やし、受容確率を調整することで、チーティング確率を任意に小さくできる。
• チーティング参加者が状態をエンタングルしようと試みても、テレポーテーションと測定プロセスの構造のおかげで、プロトコルのセキュリティは維持される。