[論文レビュー] Quantum mechanics over sets

David Ellerman|PhilSci-Archive (University of Pittsburgh)|Oct 30, 2013

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

ひとこと要約

本稿は、有限体 𝕫₂ 上のベクトル空間を用いた量子力学の簡略化モデル、すなわち集合上での量子力学（QM/sets）を紹介する。ここでベクトルは集合に対応する。ディラックブラケットを集合の共通部分集合として再解釈し、集合からベクトル空間への双対性を用いて量子概念を拡張することで、QM/sets は、以前のモーダル量子理論とは異なり、完全な確率計算を可能にする。これにより、干渉、もつれ、ベルの定理、量子計算といった論理的取り扱いが可能となり、集合論的枠組みの中で量子力学の「論理」が明らかにされる。

ABSTRACT

In the tradition of toy models of quantum mechanics in vector spaces over finite fields (e.g., Schumacher and Westmoreland's "modal quantum theory"), one finite field stands out, 2, since vectors over 2 have an interpretation as natural mathematical objects, i.e., sets. This engages a sets-to-vector-spaces bridge that is part of the mathematical folklore to translate both ways between set concepts and vector space concepts. Using that bridge, the mathematical framework of (finite-dimensional) quantum mechanics can be transported down to sets resulting in quantum mechanics over sets or QM/sets. This approach leads to a different treatment of Dirac's brackets than in "modal quantum theory" (MQT), and that gives a full probability calculus (unlike MQT that only has zero-one modalities of impossible and possible). That, in turn, leads to a rather fulsome theory of QM over sets that includes "logical" models of the double-slit experiment, Bell's Theorem, quantum information theory, quantum computing, and much else. Indeed, QM/sets is proposed as the "logic" of QM in the old-fashioned sense of "logic" as giving the simplified essentials of a theory. QM/sets is also a key part of a broader research program to provide an interpretation of QM based on the notion of "objective indefiniteness," a program that grew out the recent development of the logic of partitions mathematically dual to the usual Boolean logic of subsets.

研究の動機と目的

• 有限体を用いた集合とベクトル空間を用いた、論理的に明確な量子力学の簡略化モデルの構築を目的とする。
• 従来のモーダル量子理論（MQT）が二値ブラケットゆえに確率計算を持たないという限界を克服することを目的とする。
• 𝕌₂ 上の集合からベクトル空間への双対性を用いて、集合の概念から量子形式主義への橋渡しをすることを目的とする。
• 干渉、もつれ、ベル型の非局所性といった、量子力学の核心的現象が、集合論的構造のみを用いてモデル化可能であることを示すこと。
• 「客観的不定性」の観点から量子力学を解釈する広範な研究計画を支援するため、分割論理の枠組みを提供すること。

提案手法

• 宇宙集合の部分集合と 𝕫₂ⁿ 内のベクトルとの間の標準的同型を用いて、集合の概念（例えば、分割、部分集合）を 𝕫₂ 上のベクトル空間へと「持ち上げる」。
• ディラックブラケット ⟨S|T⟩ を |S ∩ T|（集合の共通部分集合の濃度）として定義し、ボーン則を用いた確率計算を可能にする。
• 集合論的演算と 𝕫₂ 上の線形代数を用いて、ノルム、スペクトル分解、測定といった量子概念を再定式化する。
• 測定を、分割の結合演算としてモデル化し、重ね合わせ状態を明確な状態の基底へと射影する。
• 論理的エントロピーと集合上の密度行列を用いて、量子情報の概念（例えば、コherーランスやもつれ）を解釈する。
• 非特異ゲートを用いた QC/2（𝕌₂ 上の量子計算）において、複素振幅を用いずに、重ね合わせによる高速化を示す量子アルゴリズムを開発する。

実験結果

リサーチクエスチョン

• RQ1 有限体、特に 𝕫₂ 上の量子的類似理論において、完全な確率計算を構築できるか。特に、従来のモデル（MQT）が 0/1 のみを提供するのに対し、確率的計算が可能かどうか。
• RQ2 部分集合の論理と分割の論理の間の数学的双対性を、重ね合わせや測定といった量子現象のモデル化にどのように応用できるか。
• RQ3 ベルの定理 や 二重スリット実験 といった基礎的量子結果が、波動関数や複素振幅を一切用いずに、集合論的枠組みで再構築可能か。
• RQ4 量子情報プロトコル（例えば、量子テレポーテーション や 量子アルゴリズム）が、二値論理と集合演算のみを用いて、どの程度実現可能か。
• RQ5 量子力学における「客観的不定性」の概念が、分割論理の自然な基盤として、QM/sets の集合論的実装において明確に現れるか。

主な発見

• QM/sets は、ブラケットを集合の共通部分集合 |S ∩ T| として定義することで、完全な確率計算を可能にし、ボーン則と有限集合上の論理的確率論を実現する。
• このモデルは、集合論的文脈においてもベルの定理を成功裏に再現し、量子相関は、ローカルな隠れ変数では説明できないことを示している。これは、有限で二値の枠組みでも成立する。
• 二重スリット実験における量子干渉は、重ね合わせ状態の集合を用いてモデル化され、検出確率は波動振幅ではなく、集合の重なりに依存する。
• QM/sets におけるもつれは、独立でない積集合上の相関のある同時分布から生じ、量子非局所性を模倣する。
• QC/2 において、1ビットの古典的通信のみで量子テレポーテーションプロトコルが実現され、完全な量子力学における既知の結果を予兆する。
• パリティ SAT 問題が、QC/2 において単一キュービットゲートを用いたアルゴリズムで解かれる。これは、古典的手法よりも指数的高速化を達成しており、量子優位性が複素振幅を必要としないことを示している。