[論文レビュー] Can Quantum Cryptography Imply Quantum Mechanics?

John A. Smolin|ArXiv.org|Oct 10, 2003

Quantum Mechanics and Applications被引用数 11

ひとこと要約

この論文は、量子暗号の主要な特徴—絶対的に安全な鍵配布とビットコミットメントの不可能性—が、量子力学を一意に導くものではないと主張している。著者は、これらの性質を満たすが量子構造を持たない『ロックボックス』という玩具理論を用いてこれを示している。著者は、量子力学を回復するには、鍵の保存といった追加の公理が必要であることを示しており、Clifton, Bub, および Halvorson (CBH) が提唱した公理だけでは十分でないことを挑戦している。

ABSTRACT

It has been suggested that the ability of quantum mechanics to allow secure distribution of secret key together with its inability to allow bit commitment or communicate superluminally might be sufficient to imply the rest of quantum mechanics. I argue using a toy theory as a counterexample that this is not the case. I further discuss whether an additional axiom (key storage) brings back the quantum nature of the theory.

研究の動機と目的

• 絶対的に安全な量子鍵配布とビットコミットメントの不可能性の組み合わせが、量子力学の完全な構造を導くかどうかを検証すること。
• Clifton, Bub, および Halvorson (CBH) が主張する、これらの2つの暗号的性質に加え、超光速通信の禁止が、量子力学を導出するのに十分であるという主張に反論すること。
• 古典的ロックボックスに非可逆的かつ組み合わせによる保護を施した情報を持つ玩具理論を構築すること—この理論はCBH公理を満たすが、量子力学的ではない。
• 鍵の保存といった追加の公理が、理論の量子的性質を回復するのに必要かどうかを調査すること。

提案手法

• 『ロックボックス』—ビットを格納できる物理的ボックスで、正しい組み合わせでなければ開けず、間違った組み合わせで開けるとビットが破壊される—に基づく玩具モデルを提唱する。
• 古典チャネルと事前準備されたロックボックスを用いたBB84風プロトコルにより、絶対的に安全な鍵配布が可能であることを示す。
• これらのロックボックスがCBH公理を満たすことを示す：情報のブロードキャスト禁止、一時的な安全なビットコミットメント（当初は可能）、超光速通信の禁止。
• EPR対を模倣する『ランダム相関対』(RCPs) を導入した修正モデルを提示し、もつれを用いずとも鍵の検証と安全な鍵生成が可能になることを示す。
• 一意のシリアルナンバーを用いてブロードキャストを防止し、整合性を保証し、システムの区別を可能にし、クローンを阻止する。
• スピッケンスの玩具モデル（区別可能性がなく、CBH公理を満たすが、量子力学的でない）と比較することで、構造的差異を浮き彫りにする。

実験結果

リサーチクエスチョン

• RQ1 量子力学の暗号的特徴—安全な鍵配布とビットコミットメントの不可能性—は、量子力学の完全な形式的体系を導くのに十分か？
• RQ2 CBH公理（情報のブロードキャスト禁止、ビットコミットメントの不可能性、超光速信号の禁止）は、量子力学を一意に導くか？
• RQ3 非可逆的かつ組み合わせによる保護を施した古典的玩具理論（ロックボックス）は、CBH公理を満たすが、非量子的であるか？
• RQ4 鍵の保存といった追加の公理が、情報理論的原則から量子力学の構造を回復するために必要か？
• RQ5 玩具モデルにおける区別可能性と非局所的相関は、量子力学の出現とどのように関係するか？

主な発見

• 古典的ロックボックスに基づく玩具理論は、CBH公理（情報のブロードキャスト禁止、安全なビットコミットメントの不可能性、超光速通信の禁止）を満たす。
• ロックボックスモデルはBB84風プロトコルを用いて絶対的に安全な鍵配布を可能にし、この特徴だけでは量子力学を意味しないことを示している。
• 基本形のモデルではビットコミットメントを排除できないが、ランダム相関対（RCPs）を用いた修正版ではセキュリティが回復され、EPRに基づく鍵配布を模倣できる。
• モデルに一意のシリアルナンバーが存在することで、ブロードキャストが防止され、検証が可能になるが、これは量子もつれや非局所性とは同等ではない。
• 著者は、CBH公理だけでは量子力学を導くのに不十分であると結論づけ、それらを満たす非量子的モデルの存在を示している。
• 追加の公理（例：鍵の保存）が、量子力学の完全な構造を回復するために必要である可能性があり、情報破壊のトレードオフだけでは不十分であると示唆している。