[論文レビュー] Promising the Impossible: Classical Certification in a Quantum World

Adrian Kent|arXiv (Cornell University)|Sep 4, 2004

Quantum Mechanics and Applications参考文献 8被引用数 6

ひとこと要約

この論文は、いかなる不対称信頼性を持つ量子暗号プロトコルにおいても、入力の古典性を絶対的に保証することは不可能であることを証明しており、量子環境下におけるビットコミットメント、オーバーサイト・トランスファー、および安全な古典的マルチパーティ計算といった古典的タスクを安全に実装することは根本的にな不可能であることを示している。この結果は、相対的でも非相対的でも同様に成り立つ。

ABSTRACT

I give a simple proof that it is impossible to guarantee the classicality of inputs into any mistrustful quantum cryptographic protocol. The argument illuminates the impossibility of unconditionally secure quantum implementations of essentially classical tasks such as bit commitment with a certified classical committed bit, classical oblivious transfer, and secure classical multi-party computations. It applies both to non-relativistic and to relativistic protocols.

研究の動機と目的

• 不対称信頼性を持つ量子暗号プロトコルにおいて、古典的入力が絶対的に検証可能かどうかを調査すること。
• ビットコミットメントやオーバーサイト・トランスファーといった古典的暗号的タスクを、量子プロトコルを用いて安全に実装できるかどうかを検討すること。
• 相対的または非相対的量子プロトコルが、古典的入力検証の制限を克服できるかどうかを分析すること。
• 古典的機能の絶対的セキュアな量子実装に関する基礎的な不可能性結果を確立すること。

提案手法

• 論文は、量子情報理論に基づく一般的な議論を用いて、敵対的入力状態下における量子プロトコルの挙動を分析している。
• ある参加者が量子プロトコルに古典的入力を提供すると主張する状況を想定し、その主張が絶対的に検証可能かどうかを検討している。
• この議論は、量子測定の構造とノーコピング定理に依拠しており、不正な参加者が常に古典的に有効に見えるが実際には量子的性質を持つ状態を準備できることを示している。
• 証明は、非相対的および相対的プロトコルの両方に一様に適用可能であり、普遍的な制限を強調している。
• 状態準備における量子的優位性の概念を用いて、いかなるプロトコルでも古典性を強制できないことを示している。

実験結果

リサーチクエスチョン

• RQ1 量子プロトコルは、入力が真に古典的であることを絶対的に検証できるか？
• RQ2 量子プロトコルを用いて、検証済みの古典的ビットをコミットできるビットコミットメントを実装できるか？
• RQ3 入力ソースを信頼しない条件下で、量子プロトコルが安全に古典的オーバーサイト・トランスファーを実現できるか？
• RQ4 相対的信号伝播制約を用いることで、古典的入力検証の問題が解決できるか？
• RQ5 量子プロトコルが古典的暗号的タスクを実装する際の根本的限界は何か？

主な発見

• いかなる不対称信頼性を持つ量子暗号プロトコルにおいても、入力の古典性を絶対的に保証することは不可能である。
• いかなる量子プロトコルでも、検証済みの古典的コミットビットを用いた安全な古典的ビットコミットメントを実装できない。
• 入力の古典性を保証しなければならない量子環境下では、古典的オーバーサイト・トランスファーを安全に実現することはできない。
• この不可能性の結果は、プロトコルが相対的か非相対的かにかかわらず、普遍的に成り立つ。
• 根本的な制限は、測定下で同じように振る舞う古典的入力とその模倣量子状態を区別できないことに起因する。