[论文解读] Complex Numbers and Normal Operators in Topos Quantum Theory

W. G. Brenna, Cecilia Flori|arXiv (Cornell University)|Jun 5, 2012

Computability, Logic, AI Algorithms参考文献 17被引用 2

一句话总结

本文通过格罗滕迪克k-扩张扩展实数与复数的值对象，提出一种拓扑斯理论框架下的复数量值对象候选，将其转化为阿贝尔群。该研究建立了内部一参子群，并证明了拓扑斯版的斯通定理，统一了酉演化与拓扑斯量子逻辑。

ABSTRACT

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Doering, as an alternative mathematical structure within which to formulate physical theories. In particular, it has been used to reformulate standard quantum mechanics in such a way that a novel type of logic is used to represent propositions. In recent years the topic has been considerably progressing with the introduction of probabilities, group and group transformations. In the present paper we will introduce a candidate for the complex quantity value object and analyse its relation to the real quantity value object. By defining the Grothendieck k-extension of these two objects, so as to turn them into abelian groups, it is possible to define internal one parameter groups in a topos. We then use this new definition to construct the topos analogue of the Stone's theorem.

研究动机与目标

• 为量子理论中的复数作为量值对象发展一种拓扑斯理论框架。
• 通过格罗滕迪克k-扩张将实数与复数的量值对象扩展为阿贝尔群。
• 在拓扑斯内定义内部一参子群以建模连续对称性。
• 建立拓扑斯版的斯通定理，将自伴算子与酉一参子群联系起来。

提出的方法

• 对实数与复数的量值对象应用格罗滕迪克k-扩张，以构造阿贝尔群结构。
• 利用扩展后的对象在拓扑斯内定义内部一参子群。
• 借助拓扑斯理论的内部逻辑定义自伴算子与正规算子。
• 通过证明自伴算子生成酉一参子群，构建拓扑斯版的斯通定理。
• 确保与现有拓扑斯量子逻辑与概率结构相容。
• 使用范畴论构造，以保持与拓扑斯框架内部语言的一致性。

实验结果

研究问题

• RQ1 在拓扑斯量子理论中，复数如何被表示为量值对象？
• RQ2 格罗滕迪克k-扩张在将值对象转化为阿贝尔群的过程中起什么作用？
• RQ3 能否在拓扑斯中定义内部一参子群以建模连续对称性？
• RQ4 拓扑斯理论中斯通定理的构造与标准希尔伯特空间版本有何比较？
• RQ5 在扩展的拓扑斯框架中，实数与复数的量值对象之间存在何种关系？

主要发现

• 格罗滕迪克k-扩张成功地将实数与复数的量值对象在拓扑斯内转化为阿贝尔群。
• 利用扩展对象定义了内部一参子群，从而能够表示连续对称性。
• 建立了拓扑斯版的斯通定理，表明自伴算子在拓扑斯内生成酉一参子群。
• 该构造保持了拓扑斯量子理论的逻辑与代数结构，包括命题的内部逻辑。
• 复数量值对象被证明是实数对象的自然扩展，且群结构一致。
• 该框架支持在拓扑斯理论设定下表示正规算子与酉演化。