[论文解读] Group Action in Topos Quantum Physics

Cecilia Flori|arXiv (Cornell University)|Oct 7, 2011

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

一句话总结

本文通过用包含上下文和单位区间的乘积范畴上的层拓扑代替标准预层拓扑，将群作用形式化引入到拓扑量子理论中，实现了连续群作用并消除了对扭曲预层的需求。主要贡献在于，通过层论结构实现了单位酉对称性的几何一致、观察者无关的表述，支持连续变换和与群相关的命题的内部真值。

ABSTRACT

Topos theory has been suggested first by Isham and Butterfield, and then by Isham and Döring, 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 this paper we extend this formulation to include the notion of a group and group transformation in such a way that we overcome the problem of twisted presheaves. In order to implement this we need to change the type of topos involved, so as to render the notion of continuity of the group action meaningful.

研究动机与目标

• 为了解决在形式化群作用时扭曲预层在拓扑量子理论中的局限性。
• 在量子理论中提供一种几何一致且连续的酉群变换表示。
• 在不依赖外部测量或观察者概念的前提下，将拓扑框架扩展以包含群对称性。
• 通过层论结构，将拓扑表述推广至在群作用下同时容纳纯态和混合态的情形。
• 在拓扑框架内，为通过酉变换关联的量子化程序建立基础。

提出的方法

• 用层拓扑 $\mathrm{Sh}(\mathcal{V}(\mathcal{H}) \times (0,1)_L)$ 替代标准预层拓扑 $\mathbf{Sets}^{\mathcal{V}(\mathcal{H})^{\mathrm{op}}}$，以引入拓扑连续性。
• 通过层拓扑中的态射定义群作用，作用于变换代数的谱上，利用层结构确保连续性。
• 利用层的 etalé 包丛表示法，对群诱导映射下的截面进行拉回，确保与局部同胚相容。
• 构造张量积 $A(-) \otimes_X \mathrm{Hom}_Y(y, f(-))$ 以表示群诱导映射下层的拉回，等价类编码纤维数据。
• 应用 $f$-诱导层态射的概念，确保在重叠开集之间兼容，保持群变换下层公理的成立。
• 利用层拓扑的内部逻辑定义群作用下命题的真值，确保其协变且连续地变换。

实验结果

研究问题

• RQ1 如何在不依赖扭曲预层的前提下，一致地在拓扑量子理论中形式化群作用？
• RQ2 在拓扑框架内实现群作用连续性，需要何种拓扑结构？
• RQ3 如何在拓扑论设定中几何地表示酉对称性，同时保持内部逻辑和真值？
• RQ4 层拓扑表述能否在群作用下同时支持纯态和混合态，且概率可内生地推导？
• RQ5 李群的几何结构及其在上下文范畴 $\mathcal{V}(\mathcal{H})$ 上的轨道在拓扑表述中扮演何种角色？

主要发现

• 层拓扑 $\mathrm{Sh}(\mathcal{V}(\mathcal{H}) \times (0,1)_L)$ 通过提供预层中所缺乏的拓扑结构，支持连续群作用。
• 通过将上下文范畴替换为包含单位区间的乘积范畴，消除了扭曲预层，实现了谱的连续变换。
• 命题上的群作用现由拓扑中的连续态射表示，确保真值的协变变换。
• 通过群诱导映射的层拉回同构于 etalé 包丛 $f \circ p_A$，确保几何一致性与局部平凡性。
• 层拓扑的内部逻辑允许命题的真值在群作用下连续变换，支持概率的倾向性解释。
• 该表述可推广至所有酉对称性，并为通过酉变换关联的量子化程序提供了几何一致的框架。