[論文レビュー] A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations

C. J. Isham, Jeremy Butterfield|ArXiv.org|Mar 20, 1998

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

ひとこと要約

この論文は、量子状態をプレシェーブトポス内のシーブを用いた一般化された価値割り当てとして定義することにより、Kochen-Specker定理をトポス理論的枠組みで解決する。非局所的価値割り当て（一意の真理値）は文脈依存性のため不可能であるが、演算子の文脈におけるシーブによって定義される局所的・多値真理値は、量子命題の整合的で文脈依存的な論理を提供する。

ABSTRACT

The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalized valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalized valuation.

研究の動機と目的

• 量子力学の実在的解釈に対する基礎的障害をKochen-Specker定理が与えることの解決。
• グローバルで一意の真理値をとる価値割り当てを、トポス理論に基づく文脈的で多値の論理に置き換えること。
• 特定のプレシェーブにグローバルセクションが存在しないこととKochen-Specker定理が同値であることを示すこと。
• 量子状態が粗粒度化された命題のシーブを通じて一般化された価値割り当てを自然に誘導することを示すこと。
• プレシェーブのトポスにおけるヘイティング代数を用いて、数学的に厳密で文脈依存的な論理を量子命題に適用すること。

提案手法

• 離散スペクトルを持つ自己共役演算子の圏に、各段階が可換部分代数に対応するプレシェーブを構成する。
• 真理値を部分対象のヘイティング代数内のシーブとして定義し、古典的 {0,1} 真理値の代わりに文脈的で多値の論理を導入する。
• 関数的合成原理（FUNC）を弱化した文脈的形で用い、値は常に整合性のある演算子の文脈内でのみ割り当てる。
• 命題 'A ∈ Δ' を、真理が粗粒度化関数 f(A) ∈ f(Δ) によって決定されるシーブのプレシェーブの要素として表現する。
• プレシェーブのグローバルセクションをグローバル価値割り当てと同一視し、Kochen-Specker定理によってその非存在を示す。
• 状態プレシェーブから部分対象分類子 Ω への自然変換として一般化された価値割り当てを定義し、文脈的真理値を符号化する。

実験結果

リサーチクエスチョン

• RQ1 Kochen-Specker定理が存在するにもかかわらず、一貫した実在的解釈の量子力学を構築することは可能か？
• RQ2 すべての観測量に一意の値を割り当てず、関数的合成原理を尊重する量子価値割り当てを定義することは可能か？
• RQ3 数学的に厳密に、量子命題の真理値を文脈的で多値のものとして定義することは可能か？
• RQ4 量子命題の論理とその真理値の背後にあるトポス理論的構造は何か？
• RQ5 量子状態はプレシェーブのトポスにおいてどのように一般化された価値割り当てに対応するか？

主な発見

• Kochen-Specker定理は、自己共役演算子の圏上の特定のプレシェーブにグローバルセクションが存在しないという主張と同値である。
• 一般化された価値割り当ては、状態プレシェーブから部分対象分類子 Ω への自然変換として定義され、演算子のシーブの値をとる。
• 真理値は文脈的で多値的であり、各文脈（可換部分代数）が、古典的に真である粗粒度化された命題の集合を反映するシーブを割り当てる。
• 関数的合成原理は各文脈内で局所的に成立するが、グローバルには成立せず、これによりKochen-Specker結果との矛盾が解消される。
• プレシェーブとシーブの使用により、命題が観測可能関数との整合性に基づいて部分的真理値を割り当てる自然な論理的枠組みが得られる。
• この枠組みにより、トポス理論的設定において一意の真理値割り当てを文脈的で一般化された真理値に置き換えることで、一貫した実在的解釈が可能になる。