[論文レビュー] A Topos Perspective on the Kochen-Specker Theorem: III. Von Neumann Algebras as the Base Category

John R. Hamilton, C. J. Isham+1 more|ArXiv.org|Nov 5, 1999

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

ひとこと要約

この論文は、有界作用素やブール部分代数に基づく既存の枠組みを一般化するために、可換なフォン・ノイマン代数を基本圏として導入することで、量子力学におけるトポス理論的アプローチを拡張する。スぺクトル射影子とイデアルを介して、シーブ値の価値割り当てと区間値の価値割り当ての自然な対応関係を確立し、量子状態がそのサポート射影子を通じてスペクトルプレシアフの部分対象を誘導することを示す。

ABSTRACT

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory, and of related issues such as the Kochen-Specker theorem. This extension has two main parts: the use of von Neumann algebras as a base category (Section 2); and the relation of our generalized valuations to (i) the assignment to quantities of intervals of real numbers, and (ii) the idea of a subobject of the coarse-graining presheaf (Section 3).

研究の動機と目的

• 有界作用素やブール部分代数に基づく枠組みを超えて、量子価値割り当てのトポス理論的枠組みを一般化すること。
• 一般化された価値割り当てを定義するための自然でより一般的な基本圏として、可換フォン・ノイマン代数を確立すること。
• 量子理論におけるシーブ値の価値割り当てと区間値の価値割り当ての関係を明確にすること。
• 量子状態がフォン・ノイマン代数枠組みにおいて、そのサポート射影子を通じてスペクトルプレシアフの部分対象をどのように誘導するかを示すこと。

提案手法

• 有界作用素の可換フォン・ノイマン部分代数の圏 $\cal V$ を定義し、包含写像を射とする。
• $\cal V$ 上にスペクトルプレシアフ $\bf\Sigma$ と双対プレシアフ $\bf D$ を定義し、$\cal O$ や $\cal W$ 上での以前の構成を一般化する。
• 関数的関係を保つ $\cal V$ 内の射のシーブを割り当てることで、$\Delta$ 内の命題に対するシーブ値の価値割り当てを構成する。
• 各 $V \in \cal V$ のガルファンドスペクトル $\sigma(V)$ にスぺクトル位相を導入し、射影子に対応する閉開部分集合を定義する。
• 特に、状態 $\psi$ に対応する理想 $\iota^\psi(V) = \{ \hat{A} \in V \mid \hat{A}\psi = 0 \}$ を用いて、区間値の価値割り当てを定義する。この理想のサポートは状態のサポート射影子に対応する。
• 最大射影子 $\hat{Q}_{\rm max} = \sup \mathcal{P}(\iota^\psi(V))$ が $\sigma(V)$ の閉開部分集合を定義し、プレシアフ $\bf\Sigma$ の部分対象 $\bf I^\rho$ に対応する。

実験結果

リサーチクエスチョン

• RQ1 トポス理論的枠組みにおける量子価値割り当てを、有界作用素やブール部分代数の圏を超えてどのように一般化できるか。
• RQ2 フォン・ノイマン代数の文脈において、シーブ値の価値割り当てと区間値の価値割り当ての関係は何か。
• RQ3 基本圏が $\cal V$ のとき、量子状態はどのようにスペクトルプレシアフ $\bf\Sigma$ の部分対象を誘導するか。
• RQ4 可換フォン・ノイマン代数内のイデアルが自然に観測量の区間値の価値割り当てを生じるか。
• RQ5 スぺクトル位相 $\sigma(V)$ は、一般化された価値割り当て枠組みにおける射影子と閉開部分集合の解釈にどのように影響するか。

主な発見

• 可換フォン・ノイマン代数の圏 $\cal V$ は、$\cal O$ や $\cal W$ よりも自然でより一般的な基本圏を提供し、それらを自然に包含する。
• スペクトルプレシアフ $\bf\Sigma$ と双対プレシアフ $\bf D$ は $\cal V$ 上でも自然に定義でき、以前の研究におけるトポス理論的構造を保持する。
• 命題 $A \in \Delta$ に対するシーブ値の価値割り当ては、スぺクトル関手を介して $\sigma(V)$ の閉開部分集合に対応し、トポス的リンクを確立する。
• フォン・ノイマン代数 $V$ 内の量子状態 $\psi$ のサポートは、理想 $\iota^\psi(V)$ 内の最大射影子 $\hat{Q}_{\rm max}$ によって捉えられ、$\sigma(V)$ の閉開部分集合に対応する。
• $\hat{Q}_{\rm max}$ は、トポス理論的枠組みにおける状態 $\rho$ に対応する部分対象 $\bf I^\rho$ と同型な $\bf\Sigma$ の部分対象を定義する。
• この構成により、区間値の価値割り当てが $V$ 内のイデアルから自然に生じることが示され、観測量に割り当てられる値の集合を表す閉開集合 $\{ \kappa \in \sigma(V) \mid \kappa(\hat{1} - \hat{Q}_{\rm max}) = 1 \}$ が得られる。