[論文レビュー] Secret parameters in quantum bit commitment

Chi-Yee Cheung|ArXiv.org|Aug 24, 2005

Quantum Information and Cryptography被引用数 6

ひとこと要約

この論文は、無条件に安全な量子ビットコミットメントの禁断の定理の前提を挑戦し、隠蔽プロトコルにおいて、不正を行うユニタリ変換がボブが選ぶ秘密パラメータに依存しないことを示している。主な結果は、アリスがボブの隠れたパラメータを知らないままでも不正操作を常に計算可能であるため、元の不可能性証明における潜在的な穴を閉じつつ、定理の結論をその枠組み内で再確認している。

ABSTRACT

The no-go theorem of unconditionally secure quantum bit commitment depends crucially on the assumption that Alice knows in detail all the probability distributions generated by Bob. We show that if a protocol is concealing, then the cheating unitary transformation is independent of any parameters (including probability distributions) secretly chosen by Bob, so that Alice can calculate it without knowing Bob's secret choices. Otherwise the protocol cannot be concealing. Our result shows that the original impossibility proof was based on an incorrect assumption, despite the fact that its conclusion remains valid within the adopted framework. Furthermore, our result eliminates a potential loophole in the no-go theorem.

研究の動機と目的

• ボブが選ぶ秘密パラメータ（例えば確率分布など）が、無条件に安全な量子ビットコミットメントの禁断の定理をくつがえす可能性があるかどうかを調査すること。
• ボブの選択が不明な状況下でも、アリスが不正戦略を実行できるかどうか、特に隠蔽プロトコルにおいて分析すること。
• 量子純化とパラメータの独立性が、量子ビットコミットメントプロトコルのセキュリティ分析における役割を明確にすること。
• 秘密パラメータが安全な量子ビットコミットメントを可能にしないことを示すことで、元の禁断の定理における潜在的穴を閉じること。

提案手法

• スミット分解定理を用いて、コミットメント後のアリスとボブの間のエンタングル状態を表現し、b=0とb=1の状態がアリスの系の基底でのみ異なることを示す。
• プロトコルが隠蔽的である場合、ボブ側の縮約密度行列がコミットされたビットに依存しないことを示し、これによりアリスの系上で片方の状態をもう片方に写像するユニタリ変換が存在することを示す。
• 不正ユニタリ変換がボブの秘密パラメータに依存するかを分析し、隠蔽的プロトコルにおいてその変換がこれらのパラメータに依存しないことを証明する。
• 量子純化技術を適用して、ボブの隠れた選択をエンタングルされた補助状態としてモデル化し、確率分布が未知であっても、効果的分布を変更せずにプロトコルの結果を変えないことを示す。
• 確率分布の量子純化は、新たな効果的分布を選択することに等しいことを証明し、ボブが指定された分布に従うとは限らないことを示す。
• 定理と推論を用いて、信頼できないボブに確率分布を指定することは意味を持たないことを示し、彼が補助状態の測定によって常に異なる効果的分布を生成可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ボブが選ぶ秘密パラメータ（例えば隠れた確率分布）が、隠蔽的量子ビットコミットメントプロトコルで不正戦略を可能にするか。
• RQ2 隠蔽的プロトコルにおいて、不正ユニタリ変換がボブの秘密パラメータに依存するか。
• RQ3 ボブの操作における未知のパラメータの存在が、無条件に安全な量子ビットコミットメントの禁断の定理を無効にするか。
• RQ4 ボブは指定された確率分布に従う信頼できる存在と見なせるか、それとも常に量子純化によってそれを操作可能か。
• RQ5 信頼できない相手に量子暗号プロトコルで確率分布を指定することは意味を持つのか。

主な発見

• 隠蔽的量子ビットコミットメントプロトコルにおいて、不正ユニタリ変換はボブが選ぶいかなる秘密パラメータ（確率分布を含む）にも依存しない。
• アリスはボブの秘密選択を知らないままでも不正ユニタリを計算可能であり、これにより元の禁断の定理におけるパラメータ依存性に関する仮定が誤りであることが示された。
• 秘密パラメータの存在が、無条件に安全な量子ビットコミットメントを可能にしない。不正戦略は常に実行可能である。
• ボブの隠れた選択の量子純化は、同時にバインディングと隠蔽を達成することは不可能であるという根本的不可逆性を変えるものではない。
• 信頼できないボブに確率分布を指定することは意味を持たない。彼は補助状態の測定によって常に異なる効果的分布を生成可能である。
• 秘密パラメータを考慮しても禁断の定理の結論は依然有効であるが、元の証明におけるパラメータ依存性に関する仮定が誤りであることが示された。