[论文解读] 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 定理。
• 展示量子态如何通过粗粒化命题的筛子自然诱导出广义赋值。
• 在预层拓扑斯中利用 Heyting 代数，为量子命题提供数学上严谨的、依赖上下文的逻辑。

提出的方法

• 在具有离散谱的自伴算子范畴上构造一个预层，其中每个阶段对应一个交换子代数。
• 将真值定义为子对象 Heyting 代数中的筛子，用上下文相关的多值逻辑取代经典的 {0,1} 真值。
• 以弱化、上下文相关的形式使用函数复合原理（FUNC），即仅在相容的算子上下文中赋值。
• 将命题 'A ∈ Δ' 表示为筛子预层的元素，其中真值由粗粒化函数 f(A) ∈ f(Δ) 决定。
• 将预层的全局截面表征为等价于全局赋值，通过 Kochen-Specker 定理证明其不存在。
• 通过从态预层到子对象分类器 Ω 的自然变换定义广义赋值，编码上下文相关的真值。

实验结果

研究问题

• RQ1 尽管存在 Kochen-Specker 定理，是否仍可构建一个一致的、实在论的量子力学解释？
• RQ2 是否可能定义尊重函数复合性的量子赋值，而无需为所有可观测量分配单一值？
• RQ3 如何以数学上严谨的方式使量子命题的真值具有上下文依赖性与多值性？
• RQ4 量子命题及其真值的逻辑背后，其拓扑斯理论结构是什么？
• RQ5 量子态如何在预层的拓扑斯中对应于广义赋值？

主要发现

• Kochen-Specker 定理等价于：在自伴算子范畴上的某一预层无全局截面。
• 广义赋值被定义为从态预层到子对象分类器 Ω 的自然变换，其取值为算子筛子。
• 真值具有上下文依赖性与多值性，每个上下文（交换子代数）分配一个筛子，反映在经典意义上为真的粗粒化命题集合。
• 函数复合原理在每个上下文内局部成立，但不全局成立，从而解决了与 Kochen-Specker 结果的矛盾。
• 使用预层与筛子提供了一个自然的逻辑框架，其中命题根据与可观测量函数的相容性被赋予部分真值。
• 该框架通过在拓扑斯理论设定中用上下文相关的广义真值取代单值赋值，实现了量子理论的一致、实在论解释。