[論文レビュー] Bertlmann's chocolate balls and quantum type cryptography

Karl Svozil|ArXiv.org|Mar 2, 2009

Quantum Mechanics and Applications参考文献 39被引用数 4

ひとこと要約

本稿では、ベル型およびコーエン＝スプライサー型の定理から導かれる量子的値不定性を、量子暗号プロトコルのセキュリティ強化に根拠とする資源として提案する。チョコレートボールを用いた量子的類似モデルを通じて、3つ以上の互いに排他的な結果を持つシステムでなければ、補完性を越えて真の量子的保護を達成できないことが示され、2結果システムは2値状態の存在により古典的シミュレーションに対して脆弱であることが明らかになった。

ABSTRACT

Some quantum cryptographic protocols can be implemented with specially prepared chocolate balls, others protected by value indefiniteness cannot. Similarities and differences of cryptography with quanta and chocolate are discussed. Motivated by these considerations it is proposed to certify quantum random number generators and quantum cryptographic protocols by value indefiniteness. This feature, which derives itself from Bell- and Kochen-Specker type arguments, is only present in systems with three or more mutually exclusive outcomes.

研究の動機と目的

• 値不定性をセキュリティリソースとして位置づけた上で、量子暗号プロトコルを再評価すること。
• 補完性を超えた本物の量子的保護を実現するための最小限の量子的要件—3つ以上の互いに排他的な結果—を同定すること。
• 補完性の下では安全であるとされる2結果システムが、2値状態の存在により古典的準モデルに対して依然として脆弱であることを示すこと。
• 補完性は再現可能だが値不定性は再現不可能なチョコレートボールのおもちゃモデルを導入し、古典的アナロジーの限界を説明すること。
• 特定の命題構造（例：各コンテキストに3つの原子を含む三角形構造）が量子力学で実現できないことを示し、非量子的暗号構造の存在を強調すること。

提案手法

• 4要素集合上の集合分割を用いたパーティション論理モデルを構築し、値不定性を伴わない補完性を模擬する。
• グリーシー図を用いて、重なり合うブール部分代数から導かれる非ブール的で正規直交補完的な命題構造を表現する。
• 2値状態（準同型写像）を用いて、命題構造が古典的実現を許容するかをテストする。
• 2値状態の存在を分析し、系が値確定的か不定的かを判断する。このような状態が存在しないことは、量子的性質を示唆する。
• 3色4種類のチョコレートボールモデルを導入し、異なる色フィルター下での記号ラベルを用いてコンテキスト依存性を模擬する。
• 各コンテキストに3つの原子を含む三角形構造の命題構造が3次元ヒルベルト空間に埋め込めないことを示し、非量子的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 値不定性は、補完性よりも強いセキュリティリソースとして量子暗号に利用可能か？
• RQ2 なぜ2結果量子系では、古典的シミュレーションに対する保護を保証できないのか？
• RQ3 値不定性による保護を受けるために、必要な最小限の互いに排他的な結果の数は何か？
• RQ4 チョコレートボールモデルは、古典的に説明可能である一方で、量子暗号プロトコルを模擬可能か？
• RQ5 論理的に整合的だが、量子力学的に実現不可能な命題構造は存在するか？

主な発見

• ベル型およびコーエン＝スプライサー型の定理から導かれる値不定性は、量子系が古典的シミュレーションから保護されるために必要な条件である。
• 3つ以上の互いに排他的な結果を持つシステムでのみ、値不定性が現れる。2結果システムは常に値確定的であり、したがって古典的モデルに対して脆弱である。
• 命題構造に2値状態が存在するということは、その系が古典的にシミュレート可能であることを示し、量子的セキュリティを損なう。
• 2結果のセット分割に基づくチョコレートボールモデルは補完性を再現可能だが値不定性は再現不可能であり、完全な量子的保護には不十分であることが示された。
• 各コンテキストに3つの原子を含む三角形配置の命題構造は、量子力学では実現不可能であり、非量子的暗号構造の存在を示唆する。
• 本稿では、量子非局所性およびコンテキスト依存性が値不定性と同等ではないこと、むしろ独立的かつより強いセキュリティリソースであることを確立した。