[论文解读] Some Reflections on the Status of Conventional Quantum Theory when Applied to Quantum Gravity

C. J. Isham|ArXiv.org|Jun 13, 2002

Quantum Mechanics and Applications参考文献 19被引用 28

一句话总结

本文主张，标准量子理论对连续结构（如实数/复数和点集拓扑）的依赖，可能与量子引力根本不相容，因为在量子引力中时空本身可能是离散或非经典的。本文提出，拓扑斯理论（尤其是预层逻辑和筛子取值赋值），可提供一种框架，用于构建与背景相关的、多值的物理命题真值赋值，推广Kochen-Specker定理，并实现一种不预设连续性的量子理论。

ABSTRACT

All current approaches to quantum gravity employ essentially standard quantum theory including, in particular, continuum quantities such as the real or complex numbers. However, I wish to argue that this may be fundamentally wrong in so far as the use of these continuum quantities in standard quantum theory can be traced back to certain {\em a priori} assumptions about the nature of space and time: assumptions that may be incompatible with the view of space and time adopted by a quantum gravity theory. My conjecture is that in, some yet to be determined sense, to each type of space-time there is associated a corresponding type of quantum theory in which continuum quantities do not necessarily appear, being replaced with structures that are appropriate to the specific space-time. Topos theory then arises as a possible tool for `gluing' together these different theories associated with the different space-times. As a concrete example of the use of topos ideas, I summarise recent work applying presheaf theory to the Kochen-Specher theorem and the assignment of values to physical quantities in a quantum theory.

研究动机与目标

• 挑战标准量子理论使用实数/复数和点集拓扑的假设在量子引力中普遍有效的前提。
• 探究在量子引力中，时空结构是否可能需要一种不同的量子理论，其数学基础非连续。
• 探索拓扑斯理论作为统一的数学框架，能够将对应于不同时空背景的独立量子理论粘合在一起。
• 展示预层理论如何推广量子力学中物理量的赋值，保持函数一致性（FUNC），同时避免使用经典真值。

提出的方法

• 使用拓扑斯理论，特别是基于交换子代数格的偏序集上的预层范畴，为物理量命题定义广义真值。
• 构造一个筛子取值赋值 ν^ψ(A∈Δ)，为每个可观测量 Â 和博雷尔子集 Δ 赋予一组态射 f:Â→B̂，使得态 ψ 属于谱投影算子的值域。
• 通过条件定义赋值：f ∈ ν^ψ(A∈Δ) 当且仅当 Prob(B∈f(Δ);ψ) = 1，将其与玻恩规则联系起来。
• 证明该赋值满足函数演算条件（FUNC），确保与量子逻辑的一致性。
• 通过将经典真值替换为筛子取值、上下文相关的赋值，将Kochen-Specker定理推广至该框架。
• 提出拓扑斯理论可为不同时空类型对应的量子理论提供一种‘粘合’机制，尤其在时空非基本的领域中。

实验结果

研究问题

• RQ1 量子理论中使用实数等连续结构是否可能与量子引力根本不相容，尤其当时空可能不连续时？
• RQ2 是否存在一种方法可构建一种不假设标准点集拓扑或连续性的量子理论，而其数学结构可从底层时空几何中导出？
• RQ3 拓扑斯理论，特别是通过预层和筛子取值赋值，如何为量子力学中物理命题的真值赋值提供一种一致且上下文相关的逻辑？
• RQ4 Kochen-Specker定理能否在拓扑斯理论框架下被重新表述，以避免上下文依赖问题，同时保持函数一致性？
• RQ5 拓扑斯理论如何作为统一框架，将由量子引力中不同时空背景所导出的不同量子理论结合起来？

主要发现

• 为每个量子态 ψ 和可观测量 Â 定义了一个筛子取值赋值 ν^ψ(A∈Δ)，为 Â 的谱的每个博雷尔子集 Δ 赋予一组态射 f:Â→B̂，使得 ψ 属于谱投影算子 E[B∈f(Δ)] 的值域。
• 该赋值满足函数演算条件（FUNC），以广义的、上下文相关的形式确保与标准量子理论预测的一致性。
• 该赋值等价于条件 Prob(B∈f(Δ);ψ) = 1，直接将其与标准量子力学联系起来。
• 该框架用预层范畴中内在的上下文相关、多值逻辑取代了经典真值，解决了Kochen-Specker定理下的真值赋值问题。
• 拓扑斯理论为统一不同量子理论提供了自然的数学工具，这些理论可能与不同的时空结构相关，尤其在时空非基本的领域中。
• 本文提出，标准量子理论的整个形式体系——包括希尔伯特空间、[0,1] 区间内的概率以及连续取值的可观测量——在量子引力中可能是涌现的，而非基本的。