[論文レビュー] Topos Quantum Logic and Mixed States

Andreas Doering|arXiv (Cornell University)|Apr 20, 2010

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

ひとこと要約

この論文は、量子論のトポス的定式化を提示し、標準的量子論論理の主要な限界を解決する。分配的で直感的かつ文脈依存的な論理を提供し、明確な幾何的基盤を持つ。純粋状態と混合状態が測定に依存しない形で真理値を割り当てる仕組みを、スペクトルプレシェーフ上のプレシェーフと測度を用いて実現する。

ABSTRACT

The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach.

研究の動機と目的

• 標準的量子論論理における概念的問題、特に非分配的性と道具的解釈の問題を解決すること。
• 測定に依存しない実在的で文脈的に一貫した量子論論理を構築し、Kochen-Speckerの文脈依存性問題を回避すること。
• 混合状態をスペクトルプレシェーフ上の測度として表現することで、トポス枠組みに混合状態を自然に組み込むこと。
• 測定結果に依存しない物質的含意と真理値割り当てを提供すること。
• トポス理論と内部論理を用いて、量子論論理の幾何的かつ構成的基盤を確立すること。

提案手法

• 可換von Neumann部分代数のカテゴリ上のプレシェーフのトポス、すなわち $\mathbf{Set}^{{\cal V}(\mathcal{H})}$ を用いる。
• 命題をスペクトルプレシェーフ $\underline{\Sigma}$ のクロージャー開部分対象として表現し、これは古典的状態空間を一般化する。
• 射影をトポス内の部分対象へ写像するためのダイゼイニゼーションを導入し、非線形かつ非ブール的状況下での論理演算を可能にする。
• 純粋状態 $|\psi\rangle$ から導かれる真理対象プレシェーフ $\underline{\mathbb{T}}^\psi$ のグローバルな要素によって真理値割り当てを定義する。
• 混合状態をスペクトルプレシェーフ上の測度 $\mu_\rho$ として表現し、各 $r \in (0,1]$ に対して一般化された真理対象 $\underline{\mathbb{T}}^\rho_r$ の族を関連付ける。
• 各 $r \in (0,1]$ に対してインデックスが付いた真理対象の族 $\underline{\mathbb{T}}^\rho_r$ を構成し、それぞれが真理の測度的閾値に対応する。

実験結果

リサーチクエスチョン

• RQ1 量子論論理を、分配的かつ直感的でありながらも重ね合わせを保存する形に再定式化できるか？
• RQ2 測定結果に依存しない実在的で文脈的に一貫した量子力学の論理を構築できるか？
• RQ3 混合状態をトポス的量子論論理枠組みに自然に組み込む方法は何か？
• RQ4 このトポス論理において、スペクトルプレシェーフが一般化された状態空間として果たす役割は何か？
• RQ5 スペクトルプレシェーフ上の測度と、トポスにおける真理値割り当ての論理的構造との関係は何か？

主な発見

• トポス量子論論理は分配的で直感的かつ文脈依存的であり、標準的量子論論理の非分配的性問題を解決する。
• スペクトルプレシェーフとクロージャー開部分対象を通じて、線形構造やヒルバート空間に依存せずに重ね合わせを統合する。
• 純粋状態の真理値割り当ては、真理対象プレシェーフ $\underline{\mathbb{T}}^\psi$ のグローバルな要素によって定義され、測定に依存しない。
• 混合状態はスペクトルプレシェーフ上の測度 $\mu_\rho$ として表現され、各 $r \in (0,1]$ に対して関連する真理対象 $\underline{\mathbb{T}}^\rho_r$ が存在する。
• 族 $\underline{\mathbb{T}}^\rho_r$ は測度 $\mu\rho$ を再構成でき、測度論的構造と論理的構造の明確な関係を確立する。
• トポスのアプローチにより、物質的含意と内蔵された粗視化メカニズムが得られ、不兼容な観測量に関する解釈的問題を回避する。