[论文解读] Topos Analogues of the KMS State

Joseph Ben Geloun, Cecilia Flori|arXiv (Cornell University)|Jul 1, 2012

Advanced Operator Algebra Research参考文献 56被引用 6

一句话总结

本文通过在拓扑斯框架中定义真理对象，引入了量子统计力学中KMS态的拓扑斯类比。利用从量子态导出的测度，并将拓扑斯扩展以包含一个概率阈值参数，作者建立了KMS态与满足拓扑斯类比KMS条件的真理对象类之间的一一对应关系，该关系在外部和内部均通过自同构群实现。

ABSTRACT

We identify the analogues of KMS state in topos theory. Topos KMS states can be viewed as classes of truth objects associated with a measure μ^ρ(in one-to-one correspondence with an original KMS state ρ) which satisfies topos condition analogues to the ordinary KMS conditions. Topos KMS states can be defined both externally or internally according to whether the automorphism group of geometric morphisms acts externally on the topos structure, or the automorphism group is an object in the topos itself, in which case, it acts internally. We illustrate the formalism by a simple example on the Hilbert space $\Cl^3$.

研究动机与目标

• 将量子统计力学中的核心概念KMS态重新表述于拓扑斯理论中，以提供一种非实在论、无需测量的量子框架。
• 将拓扑斯KMS态定义为与原始KMS态导出的测度相关联的真理对象类。
• 通过作用于或位于拓扑斯内的自同构群，建立KMS条件的外部和内部表述形式。
• 通过在希尔伯特空间 ℂ³ 上的明确例子展示该形式化，具体构造真理对象和测度。
• 通过将态嵌入一个以真值为首要概念、概率逻辑衍生的拓扑斯中，统一量子概率与逻辑。

提出的方法

• 在拓扑斯的状态空间上定义一个测度 μ^ρ，其源自给定的KMS态 ρ，利用态与测度之间的一一对应关系。
• 在拓扑斯 Sh(𝒱(𝒩) × (0,1)_L) 中构造真理对象，作为以阈值 r ∈ [0,1] 为指标的闭开子对象族，其中对所有子上下文 V′ ⊆ V，满足 ρ(𝐏_𝐒_𝐕′) ≥ r。
• 通过自同构群作用于拓扑斯结构，实现外部KMS条件，保持测度 μ^ρ 不变。
• 通过将自同构群视为拓扑斯内的一个对象，并在真理对象上实现其内部作用，实现内部KMS条件。
• 利用Gleason定理，确保由 μ^ρ 导出的有限可加测度 m 唯一对应于一个量子态 ρ_μ。
• 将拓扑斯基从 Sh(𝒱(𝒩)) 扩展至 Sh(𝒱(𝒩) × (0,1)_L)，以将一维参数的真理对象族统一为扩展拓扑斯中的一个全局对象。

实验结果

研究问题

• RQ1 如何通过真理对象和测度在拓扑斯理论中重新表述量子统计力学中的KMS态？
• RQ2 在拓扑斯理论设定下，KMS条件的外部和内部表述形式是什么？它们与自同构群有何关系？
• RQ3 在 Sh(𝒱(𝒩) × (0,1)_L) 中构造的真理对象如何通过与测度之间的一一对应关系恢复原始KMS态？
• RQ4 参数 r ∈ [0,1] 在定义真理对象中的作用是什么？它如何影响拓扑斯中命题的逻辑结构？
• RQ5 该拓扑斯理论形式化能否从导出的测度和真理对象结构中重现规范的KMS态？

主要发现

• 建立了KMS态 ρ 与状态空间上测度 μ^ρ 之间的一一对应关系，其中 μ^ρ 在投影上诱导出一个有限可加测度。
• 真理对象 𝕋^ρ,r 满足：当 r₁ ≤ r₂ 时，有 𝕋^ρ,r₂ ⊆ 𝕋^ρ,r₁，反映了真值条件的日益严格。
• 扩展后的拓扑斯 Sh(𝒱(𝒩) × (0,1)_L) 允许将真理对象族 {𝕋^ρ,r} 统一为一个保持全部信息的全局对象。
• 通过测度链 μ ↦ m ↦ ρ_μ，利用Gleason定理，成功从测度 m 恢复出规范KMS态 ρ_μ。
• 当自同构群作用于拓扑斯并保持测度 μ^ρ 不变时，满足外部KMS条件；当该群作为拓扑斯内的一个对象时，内部KMS条件被激发。
• 在 ℂ³ 的例子中，该形式化明确构造了真理对象和测度，展示了拓扑斯KMS态构造的一致性与具体性。