[論文レビュー] Modal quantum theory

Benjamin Schumacher|arXiv (Cornell University)|Sep 22, 2010

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

ひとこと要約

この論文は、複素振幅の代わりに有限体を用いることで簡略化された量子理論、すなわちモーダル量子理論（MQT）を紹介する。量子状態は有限体上のベクトルとして表現され、測定結果は係数が非ゼロであるかどうかによって決定され、これは確率ではなく可能性を示す。この理論は、もつれ、ベルの定理、量子状態の複製不能性、スーパードンセントコーディング、および量子テレポーテーションといった主要な量子現象を、可能性と必然性のモーダル概念のみを用いて再現する。

ABSTRACT

We present a discrete model theory similar in structure to ordinary quantum mechanics, but based on a finite field instead of complex amplitudes. The interpretation of this theory involves only the "modal" concepts of possibility and necessity rather than quantitative probability measures. Despite its simplicity, our model theory includes entangled states and has versions of both Bell's theorem and the no cloning theorem.

研究の動機と目的

• 複素ヒルバート空間の代わりに有限体に基づく簡略化された量子理論を構築し、確率振幅の必要性を排除すること。
• もつれ、補完性、非局所性といった量子の核となる現象が、可能性と必然性に基づく離散的・モーダルな枠組みからどのように生じるかを調査すること。
• 内積、ユニタリ性、密度作用素が存在しない理論における時間発展、測定、状態変換の形式的枠組みを確立すること。
• ベルの定理や複製不能性の定理といった量子力学の基礎的結果が、このモーダルな文脈で代数的・論理的構造のみを用いて導出可能かどうかを示すこと。

提案手法

• 量子状態を有限体 𝔽 上の有限次元ベクトル空間内の非ゼロベクトルとして表現し、状態空間は 𝔽^d に同型であると仮定する。
• 測定を双対空間 𝒱* の基底を用いて定義し、結果 a が可能であるとは (a|ψ⟩ ≠ 0 であることを意味する。
• 内積の不在により直交性、ユニタリ性、確率を排除し、代わりにモーダル論理（可能、不可能、必然）を用いる。
• 時間発展を有限体上の離散的線形変換としてモデル化し、整合的発展は可逆線形作用素によって記述する。
• ℤ₂ 上で次元 d=2 の玩具的系（モビット）を構築し、三つの基底状態 |0⟩、|1⟩、|σ⟩ = |0⟩ + |1⟩ を用いる。各状態は他の二つの重ね合わせとして表現可能である。
• 局所的隠れ変数理論が、ベル型の議論により除外されること、および線形性と有限体構造のおかげで複製が不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 複素振幅や内積が存在しない理論として、有限体とモーダル論理のみに依存する量子的挙動を再現できるか。
• RQ2 このような理論が、確率に依存せずにもつれ、非局所性、補完性を再現できるか。
• RQ3 ユニタリ性や密度行列を要件としない有限体理論において、複製不能性の定理を導出可能か。
• RQ4 可能性関係のみを用いたモーダル枠組みで、スーパードンセントコーディングや量子テレポーテーションが可能か。
• RQ5 連続的ダイナミクスが存在しない離散的・有限体量子理論において、時間発展はどのように振る舞うか。

主な発見

• 測定結果の可能性は、基底展開における非ゼロ係数によって定義され、確率振幅や内積の必要がない。
• もつれ状態は存在し、スーパードンセントコーディングのような情報プロトコルを支える。共有もつれ状態がある場合、1つのモビットで2ビットの古典的情報を送信可能である。
• MQTにおける複製不能性の定理は成立する。線形性と有限体構造のおかげで、すべての入力状態を複製する線形変換は存在せず、重ね合わせ状態の複製は不可能である。
• ベル型の議論により、局所的隠れ変数理論は除外され、もつれ状態の相関は古典的決定論では説明できない。
• 量子テレポーテーションは、標準量子理論と同様のもつれ状態と局所的操作を用いてMQTで実現可能であり、成功はモーダルな結果集合によって決定される。
• MQTにおける混合状態は、状態空間の部分空間に自然に対応し、トレースやエルミート共役を要件としない密度作用素の構造的類似物を提供する。