[論文レビュー] A Topos Perspective on the Kochen-Specker Theorem: IV. Interval Valuations

Jeremy Butterfield, C. J. Isham|ArXiv.org|Jul 24, 2001

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

ひとこと要約

この論文は、トポス論的量子基礎における使われるシーブ値付き価値割り当てと、量子観測可能量にスぺクトル値の集合を割り当てる区間価値割り当てとの間の自然な対応を確立する。状態のサポートという概念を通じて両者を結びつけ、射影子における順序 ≤（またはスペクトルにおける包含 ⊆）に基づくシーブ値付き価値割り当てが、単調性や排他性といった重要な物理的・論理的性質を自然に満たすことを示している。

ABSTRACT

We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth value to a proposition that the value of a quantity lies in a certain set $Δ\subseteq \mathR$. Here we relate such sieve-valued valuations to valuations that assign to quantities subsets, rather than single elements, of their spectra (we call these `interval' valuations). There are two main results. First, there is a natural correspondence between these two kinds of valuation, which uses the notion of a state's support for a quantity (Section 3). Second, if one starts with a more general notion of interval valuation, one sees that our interval valuations based on the notion of support (and correspondingly, our sieve-valued valuations) are a simple way to secure certain natural properties of valuations, such as monotonicity (Section 4).

研究の動機と目的

• トポス論的量子理論の枠組みにおいて、シーブ値付き価値割り当てと区間価値割り当ての間の形式的対応を確立すること。
• 量子状態のサポートに基づく区間価値割り当てが、物理的・論理的制約を満たすシーブ値付き価値割り当てを自然に導くことの証明。
• 射影子における ≤ またはスペクトルにおける ⊆ を基本関係として選ぶことで、単調性や排他性といった望ましい性質が保証されることの示唆。
• サポートに基づく定義を超えて区間価値割り当てを一般化し、サポートに基づく価値割り当てが、重要な価値割り当て性質を確保する最小かつ自然な方法であることを示すこと。

提案手法

• 可換フォン・ノイマン部分代数の圏 $\cal V$ を用いてスペクトルプレシャーフとサポートに基づく区間価値割り当てを定義する。
• 与えられた観測可能量における状態のサポートを通じて、区間価値割り当て（観測可能量にスペクトルの部分集合を割り当てる）とシーブ値付き価値割り当てとの間の対応を定義する。
• スペクトルプレシャーフ $\bf \Sigma$ を用いて、各観測可能量をそのスペクトルへ写像し、射をスペクトル関数へと対応付ける。
• 二項関係 $R$（例えば射影子における ≤ または部分集合における ⊆）を導入し、一般化された区間価値割り当てを定義し、それらをシーブ値付き真理値と結びつける。
• 粗粒度化の下で価値割り当ての関数的整合性を保証するため、トポス論的枠組みにおける FUNC 条件を適用する。
• 関係 $R = \leq$ または $R = \subseteq$ が、定義 2.3 の公理（例：単調性、排他性）を満たすシーブ値付き価値割り当てを導く条件を分析する。

実験結果

リサーチクエスチョン

• RQ1 トポス論的量子基礎で使われるシーブ値付き価値割り当ては、スぺクトル値の集合を割り当てる区間価値割り当てとどのように関係しているか？
• RQ2 圏 $\cal V$ において、サポートに基づく区間価値割り当てとシーブ値付き価値割り当てとの間の明確な対応は何か？
• RQ3 なぜ $R = \leq$（射影子に対して）または $R = \subseteq$（スペクトルに対して）を選ぶと、得られる価値割り当てが物理的・論理的性質を自然に満たすのか？
• RQ4 サポートに基づく区間価値割り当ては、一般化された価値割り当てにおける単調性と排他性を確保する最小かつ自然な方法と見なせるか？
• RQ5 関係 $R$ に基づく一般化された区間価値割り当てが、定義 2.3 の公理を満たす有効なシーブ値付き価値割り当てを導くための条件は何か？

主な発見

• サポートに基づく区間価値割り当てとシーブ値付き価値割り当てとの間には自然な双対的対応が存在し、これは圏 $\cal V$ において定理 3.1(c) および定理 3.2(c) で形式化されている。
• 射影子における $R = \leq$（またはスペクトルにおける $R = \subseteq$）を選択することで、得られるシーブ値付き価値割り当てが、定義 2.3 のすべての公理（単調性、排他性など）を満たすことが保証される。
• 非ゼロ射影子を割り当てる $a$ に対して、関係 $R = \leq$ が排他性条件を満たすことが、直交射影子を含む論理的含意によって示されている。
• 単位命題条件 $\alpha^{a,R}_{V_1}(\hat{1}) = \text{true}_{V_1}$ は、$a(V_2) \leq \mathbf{G}(i_{V_2V_1})(\hat{1}) = \hat{1}_{V_2}$ を満たす場合に成立し、これは $R = \leq$ のとき常に満たされる。
• 圏 $\cal O$ に対しては、$f(\sigma(\hat{A})) = \sigma(f(\hat{A}))$ といった正則性条件が成り立つと、関数計算とスペクトル写像の整合性が保証され、対応が成立する。
• 結果として、サポートに基づく区間価値割り当ては、自然であるだけでなく、価値割り当ての重要な性質を確保するのに十分であることが示され、最小かつ物理的に動機づけられた構成である。