[论文解读] A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects, and Classical Analogues:

C. J. Isham, Jeremy Butterfield|ArXiv.org|Aug 31, 1998

Quantum Mechanics and Applications参考文献 3被引用 21

一句话总结

本文提出了一种拓扑斯理论框架，用于量子和经典物理中的赋值，通过将物理量赋值为筛子（sieve）来推广FUNC（函数）原理。该框架表明，此类赋值自然源于部分真值条件与预层结构，通过将真值定义为在粗粒化下封闭的筛子，为Kochen-Specker语境性问题提供了解决方案，关键结果表明其在量子与经典情形下均具有一致性与普遍性。

ABSTRACT

In a previous paper, we have proposed assigning as the value of a physical quantity in quantum theory, a certain kind of set (a sieve) of quantities that are functions of the given quantity. The motivation was in part physical---such a valuation illuminates the Kochen-Specker theorem; and in part mathematical---the valuation arises naturally in the topos theory of presheaves. This paper discusses the conceptual aspects of this proposal. We also undertake two other tasks. First, we explain how the proposed valuations could arise much more generally than just in quantum physics; in particular, they arise as naturally in classical physics. Second, we give another motivation for such valuations (that applies equally to classical and quantum physics). This arises from applying to propositions about the values of physical quantities some general axioms governing partial truth for any kind of proposition.

研究动机与目标

• 将量子理论中的函数演算（FUNC）原理推广至单值函数之外，使用筛子赋值。
• 表明此类赋值不仅存在于量子物理中，也自然地出现在经典物理中，通过基于宏观态的粗粒化实现。
• 确立筛子赋值是任何范畴上命题预层中部分真值一般原则的自然结果。
• 通过拓扑斯理论结构统一量子力学中语境性的概念与数学基础。

提出的方法

• 为每个物理量A分配一个A上的筛子，定义为所有满足对进一步态射封闭的态射f:B→A的集合，表示可能的粗粒化。
• 将命题'A∈Δ'的真值定义为A上的筛子，其中筛子捕获了该命题为真的所有情境。
• 利用物理量范畴（态射为函数/粗粒化）上的预层结构，建模真值在不同情境间的传播。
• 应用广义FUNC：f(A)的筛子赋值是A的筛子赋值沿态射f的拉回，确保情境间的一致性。
• 通过真值的逻辑代数建模部分真值，其中若命题的更多推论为完全真，则该命题更真。
• 使用范畴论中的子对象与广义蕴含关系概念，在预层设定中形式化推论关系。

实验结果

研究问题

• RQ1 如何在避免Kochen-Specker语境性障碍的前提下，推广量子理论中的FUNC原理？
• RQ2 在缺乏量子语境性的情况下，筛子赋值在经典物理中以何种意义上自然出现？
• RQ3 能否以一种自然导出筛子赋值的方式，形式化命题中的部分真值概念？
• RQ4 通过粗粒化态射定义的语境范畴在构建一致赋值结构中起什么作用？
• RQ5 预层的结构性质（如全局元素、子对象）与全局赋值的存在或不存在有何关联？

主要发现

• 筛子赋值在量子理论中为FUNC原理提供了一致的推广，通过将全局实值函数替换为集合值赋值，避开了Kochen-Specker定理的障碍。
• 在经典物理中，此类赋值自然源于宏观态信息，其中给定物理量的所有函数在粗粒化下构成一个筛子。
• 所提出的赋值方案满足关键物理与逻辑约束：单调性、空命题，以及通过筛子拉回实现的广义FUNC。
• 该框架超越物理范畴：任何小范畴上的命题预层均自然地具有满足部分真值原则的筛子赋值。
• 命题的真值完全由其弱化形式在所有情境中为完全真的集合决定，从而形式化了一种自然的部分真值概念。
• 谱预层中无全局元素（Kochen-Specker定理的关键结果）通过将全局函数替换为全局定义的筛子赋值得以调和。