[论文解读] 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}))$ 时，该对应关系成立，这确保了函数演算与谱映射之间的兼容性。
• 结果表明，基于支撑的区间赋值不仅自然，而且足以确保赋值的关键性质，使其成为最小且具有物理动机的构造方式。