[论文解读] KMS states for generalized gauge actions on Cuntz-Krieger algebras (An application of the Ruelle-Perron-Frobenius Theorem)

Ruy Exel|ArXiv.org|Oct 17, 2001

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

一句话总结

本文证明了对于不可约、非周期性的零一律矩阵以及 Hölder 连续的正权函数 H，广义规范作用在 Cuntz-Krieger 代数上的 KMS 状态的存在性与唯一性。通过将 Ruelle 的 Perron-Frobenius 定理应用于马尔可夫移位空间上的转移算子，作者证明了存在唯一的逆温度 β 使得 KMS 状态存在，且该状态源于路径空间上唯一的不变概率测度，经由条件期望提升至 C*-代数。

ABSTRACT

Given a zero-one matrix A we consider certain one-parameter groups of automorphisms of the Cuntz-Krieger algebra O_A, generalizing the usual gauge group, and depending on a positive continuous function H defined on the Markov space Σ_A. The main result consists of an application of Ruelle's Perron-Frobenius Theorem to show that these automorphism groups admit a single KMS state.

研究动机与目标

• 将 KMS 状态理论从周期与非周期规范作用推广至 Cuntz-Krieger 代数上的广义规范作用。
• 刻画由马尔可夫移位空间 Σ_A 上的正连续函数 H 定义的一参数自同构群的 KMS 状态的存在性与唯一性。
• 在 Cuntz-Krieger 代数上的 KMS 状态与路径空间上 Ruelle 转移算子的不动点之间建立对应关系。
• 利用转移算子的谱性质，确定存在 KMS 状态的逆温度 β。
• 证明在给定条件下，广义规范作用不存在基态。

提出的方法

• 通过定义 Cuntz-Krieger 代数 O_A 上的广义规范作用 γ_t，其中 γ_t(S_j) = H^{it} S_j，H 为马尔可夫移位空间 Σ_A 上的严格正连续函数。
• 将 O_A 表示为由移位映射 σ 导出的自同态作用下的 C(Σ_A) 的半直积，从而可应用算子代数技术。
• 应用文献 [7] 中的定理 9.6，将寻找 KMS 状态的问题转化为寻找在 Ruelle 转移算子 L_φ* 的对偶作用下不变的概率测度 ν 的问题。
• 利用 Ruelle 的 Perron-Frobenius 定理，证明存在唯一一个满足 L_φ* (ν) = ν 的概率测度 ν，其中 φ = -β log H。
• 证明 O_A 上的唯一 KMS 状态 ψ 由 ψ = ν ∘ G 给出，其中 G 是从 O_A 到 C(Σ_A) 的典范条件期望。
• 证明逆温度 β 由条件 λ(β) = 1 唯一确定，其中 λ(β) 是转移算子 L_φ 的谱半径。

实验结果

研究问题

• RQ1 在何种条件下，Cuntz-Krieger 代数上的广义规范作用允许存在 KMS 状态？
• RQ2 当矩阵 A 不可约且非周期，且 H 为 Hölder 连续时，KMS 状态是否唯一？
• RQ3 KMS 状态的逆温度 β 如何由权函数 H 确定？
• RQ4 O_A 上的 KMS 状态与 Ruelle 转移算子作用下的不变测度之间有何关系？
• RQ5 此类广义规范作用是否存在基态？

主要发现

• 存在唯一的逆温度 β > 0，使得广义规范作用允许存在 KMS 状态，该 β 由条件 λ(β) = 1 确定，其中 λ(β) 是 Ruelle 转移算子的谱半径。
• 对于此唯一的 β，存在唯一一个满足 L_φ* (ν) = ν 的 Σ_A 上的概率测度 ν，其中 φ = -β log H，从而保证了 KMS 状态的唯一性。
• O_A 上的 KMS 状态 ψ 由 ψ = ν ∘ G 唯一给出，其中 G 是从 O_A 到 C(Σ_A) 的典范条件期望。
• 广义规范作用不存在基态，这是由 [7:10.1] 中基态条件无解所确立的。
• 该结果推广了先前关于 O_n 和 O_A 上周期与非周期规范作用的结果，通过使用 Ruelle 定理，将二者统一于同一理论框架之下。
• 在 A 不可约且非周期，且 H 在 Σ_A 上 Hölder 连续且严格大于 1 的条件下，KMS 状态的唯一性成立。