[论文解读] Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems

Andreas Doering|arXiv (Cornell University)|Dec 19, 2012

Advanced Operator Algebra Research参考文献 18被引用 11

一句话总结

本文提出了一种基于拓扑斯理论的框架，通过非交换单位C*-代数的广义Gelfand谱（谱预层）上的流，描述非相对论量子力学中的时间演化。该框架建立了单参数酉算子群与谱预层自同构之间的对应关系，表明Schrödinger绘景和Heisenberg绘景均可在此设定下一致地表述，且物理预测在酉时间演化下保持不变。

ABSTRACT

In arXiv:1212.2613, we associated a presheaf Σ^A with each unital C*-algebra A. The spectral presheaf Σ^A generalises the Gelfand spectrum of an abelian unital C*-algebra. In the present article, we consider one-parameter groups of automorphisms of the spectral presheaf, in particular those arising from one-parameter groups of inner automorphisms of the algebra. We interpret the spectral presheaf as a (generalised) state space for a quantum system and show how one can use flows on the spectral presheaf and on associated structures to describe the time evolution of non-relativistic quantum systems, both in the Schrödinger picture and the Heisenberg picture.

研究动机与目标

• 通过在非交换单位C*-代数的谱预层上引入流，扩展拓扑斯理论在量子理论中的应用。
• 通过内自同构的一参数群诱导的谱预层自同构，描述量子系统的演化。
• 以谱预层及其相关结构上的流重新表述Schrödinger与Heisenberg绘景。
• 在拓扑斯理论框架下，证明两种绘景的一致性，与标准量子理论相一致。
• 提供一种几何与范畴论形式化的演化描述，确保在酉变换下物理预测保持不变。

提出的方法

• 将谱预层 $\underline{\Sigma}^\mathcal{A}$ 构造为从上下文范畴 $\mathcal{C}(\mathcal{A})$ 到 $\mathbf{Set}$ 的反变函子，为每个单位交换C*-子代数分配其Gelfand谱。
• 通过C*-代数中酉共轭诱导的上下文范畴的序自同构，定义谱预层的自同构。
• 通过一参数酉算子群引入谱预层上的流，生成时间有序的自同构族。
• 将态表示为一个闭开子对象分类器 $\underline{CP}$ 的全局截面，并通过酉共轭映射的拉回定义时间演化。
• 使用态射 $\underline{\tilde{\phi}}_{\hat{U}_t}$ 将闭开子对象（命题）向前映射至时间，保持逻辑结构。
• 通过证明在演化态下时间 $t$ 时命题的真值等于原始值在时间演化命题下的真值，建立协变性。

实验结果

研究问题

• RQ1 如何通过非交换C*-代数的谱预层上的流，一致地描述量子系统的演化？
• RQ2 Schrödinger与Heisenberg绘景能否在基于谱预层自同构的拓扑斯理论框架中重新表述？
• RQ3 酉的一参数群在谱预层上生成流中起什么作用，它们与物理时间演化有何关系？
• RQ4 在此拓扑斯理论设定下，量子预测的协变性如何在时间演化中保持？
• RQ5 谱预层在静态可观测量之外，能在多大程度上捕捉量子系统的动力学结构？

主要发现

• 冯·诺依曼代数中的一参数酉算子群诱导谱预层的自同构，为时间演化提供了几何实现。
• 通过谱预层及其相关闭开子对象上的流，Schrödinger与Heisenberg绘景中的态与可观测量演化被一致描述。
• 协变关系 $ (m_{\rho_0}(\underline{S}_0))_V = (m_{\rho_t}(\underline{S}_{-t}))_{\hat{U}_t V \hat{U}_{-t}} $ 成立，确保物理预测在时间演化下保持不变。
• 将Gleason定理重新表述为预层全局截面的形式（命题4.12），为拓扑斯框架中的概率赋值提供了范畴论基础。
• 谱预层捕捉了代数的Jordan $*$-结构，且对于C*-代数的大量类，它可确定代数至Jordan同构。
• 该框架通过将时间演化嵌入基于拓扑斯理论与谱预层的几何与逻辑结构，推广了标准量子理论。