[論文レビュー] Quantum States and Measures on the Spectral Presheaf

Andreas Doering|arXiv (Cornell University)|Sep 28, 2008

Quantum Mechanics and Applications参考文献 17被引用数 9

ひとこと要約

この論文は、量子理論のトポス的アプローチにおけるスペクトルプレシェーフの閉開部分対象の確率測度と、フォン・ノイマン代数上の量子状態の間の一対一対応を確立する。すべての量子状態がスペクトルプレシェーフに測度を誘導することを示し、逆に、あらゆる抽象的測度が一意に量子状態を再構成できることを示し、ヒルベルト空間構造に直接依存しない形で、量子状態空間をトポス理論の枠組みに埋め込む。

ABSTRACT

After a brief introduction to the spectral presheaf, which serves as an analogue of state space in the topos approach to quantum theory, we show that every state of the von Neumann algebra of physical quantities of a quantum system determines a certain measure on the spectral presheaf of the system. The so-called clopen subobjects of the spectral presheaf play the role of measurable sets. Measures on the spectral presheaf can be characterised abstractly, and the main result is that every abstract measure induces a unique state of the von Neumann algebra. Finally, we show how quantum-theoretical expectation values can be calculated from measures associated to quantum states.

研究の動機と目的

• スペクトルプレシェーフを用いて、量子理論における状態空間のトポス的類似を確立すること。
• すべての量子状態が、スペクトルプレシェーフの閉開部分対象に確率測度を誘導することを示すこと。
• スペクトルプレシェーフの閉開部分対象上のあらゆる抽象的測度が、一意に量子状態を再構成できることを証明すること。
• これらの測度から量子期待値がどのように計算できるかを示すこと。
• 標準的なヒルベルト空間形式を超える量子理論の一般化のための基盤を築くこと。

提案手法

• スペクトルプレシェーフは、フォン・ノイマン代数の可換部分代数の圏上のプレシェーフとして構成され、各コンテキストはそのゲルファンドスペクトルへ写像される。
• スペクトルプレシェーフの閉開部分対象は、古典的確率論におけるボレル集合に類似した可測集合として特定される。
• 各コンテキスト V に対して、V の射影格子から [0,1] への関数を割り当てることで、測度 μρ が定義され、加法性およびコンテキスト間の一貫性を満たす。
• 測度は局所的であることが示され、各コンテキストにおける部分対象に関連する射影にのみ依存する。
• 抽象的測度 μ から一意に状態 ρμ を再構成するには、フォン・ノイマン代数におけるグレアソンの定理を用いる。
• 期待値は、測度を用いてスペクトルプレシェーフ上で積分することで表現され、標準的な量子力学的公式を一般化する。

実験結果

リサーチクエスチョン

• RQ1 トポス的アプローチにおいて、量子状態はスペクトルプレシェーフの測度としてどのように表現できるか？
• RQ2 量子状態とスペクトルプレシェーフの閉開部分対象上の測度の間には、一対一対応が存在するか？
• RQ3 標準的な量子力学的期待値の公式は、スペクトルプレシェーフ上の測度から回復可能か？
• RQ4 非可換性は、スペクトルプレシェーフ上の測度の構造にどのように現れるか？
• RQ5 コンテキスチュアルな性質とトポスの内部論理は、これらの測度を定義する上で果たす役割は何か？

主な発見

• フォン・ノイマン代数 𝒩 のあらゆる量子状態 ρ は、スペクトルプレシェーフの閉開部分対象に一意に誘導される測度 μρ を持つ。
• スペクトルプレシェーフの閉開部分対象上のあらゆる抽象的測度 μ は、フォン・ノイマン代数 𝒩 の一意な量子状態 ρμ を再構成する。
• 状態と測度の間の対応は双対写像である：𝒮(𝒩) ≅ ℳ(Subcl(Σ̲))。
• 測度 μρ は局所的であり、各コンテキストにおける関連する射影にのみ依存するため、トポス全体にわたる一貫性が保証される。
• 量子期待値は、測度 μρ に関するスペクトルプレシェーフ上の積分として計算可能である。
• 測度から状態を再構成するにはグレアソンの定理に依存しており、測度が系の全状態空間を符号化していることが示された。