[논문 리뷰] KMS states for the generalized gauge action on graph algebras

Gilles de Castro, Fernando de L. Mortari|arXiv (Cornell University)|2012. 11. 01.

Advanced Operator Algebra Research인용 수 4

한 줄 요약

이 논문은 임의의 유향 그래프의 C*-대수 위에서 일반화된 게이지 작용에 대한 KMS 상태와 특정 조건을 만족하는 정규 상태 사이의 전단사 대응 관계를 증명한다. 이 조건은 양수의 간선 함수로부터 유도되며, 간선 가중치가 1을 초과할 경우의 기저 상태를 특성화한다. 이는 유한 그래프에 대한 Cuntz 및 Cuntz-Krieger 대수의 결과를 인덕티브 극한 구조를 통해 무한 그래프로 일반화한다.

ABSTRACT

Given a positive function on the set of edges of an arbitrary directed graph $E=(E^0,E^1)$, we define a one-parameter group of automorphisms on the C*-algebra of the graph $C^*(E)$, and study the problem of finding KMS states for this action. We prove that there are bijective correspondences between KMS states on $C^*(E)$, a certain class of states on its core, and a certain class of tracial states on $C_0(E^0)$. We also find the ground states for this action and give some examples.

연구 동기 및 목표

• 유한 그래프에서의 KMS 상태 분류를 임의의 유향 그래프로 일반화하기 위해.
• 양수의 간선 함수 $c:E^1 \to \mathbb{R}^+$ 를 사용하여 $C^*(E)$ 위에 일반화된 게이지 작용을 정의하기 위해.
• KMS 상태, 핵심 대수 위의 상태, 그리고 $C_0(E^0)$ 위의 정규 상태 사이의 전단사 대응 관계를 수립하기 위해.
• 모든 간선 $e$ 에 대해 $c(e) > 1$ 인 경우 일반화된 작용에 대한 기저 상태를 특성화하기 위해.
• Cuntz 및 Cuntz-Krieger 대수에서 알려진 KMS 상태 결과를 무한 및 비행렬 유한 그래프로 확장하기 위해.

제안 방법

• 양수의 간선 함수 $c:E^1 \to \mathbb{R}^+$ 를 사용하여 $C^*(E)$ 위에 일자 파라미터 자동형사의 군을 정의하기 위해.
• 핵심 대수 $C^*(E)^\gamma$ 의 인덕티브 극한 구조를 이용하여 $C^*(E)$ 위의 상태와 $C_0(E^0)$ 위의 상태를 연결하기 위해.
• 역온도 $\beta$ 에서 KMS 상태의 존재를 보장하는 정규 상태 $\tau$ 에 대한 필요 및 충분 조건을 수립하기 위해. 이는 함수 $\mathcal{F}_{c,\beta}(\tau)(v) = \sum_{e \in r^{-1}(v)} c(e)^{-\beta} \tau(v)$ 를 포함한다.
• KMS 상태가 전단사로 정규 상태 $\tau$ 와 대응됨을 증명하며, 이는 모든 $v \in E^0$ 에 대해 $\mathcal{F}_{c,\beta}(\tau)(v) \leq \tau(v)$ 를 만족하고 $\sum_{v \in E^0} \mathcal{F}_{c,\beta}(\tau)(v) = \sum_{v \in E^0} \tau(v)$ 를 만족함을 의미한다.
• 모든 간선에 대해 $c(e) > 1$ 인 조건을 통해 기저 상태를 특성화하며, $|\mu| > 0$ 또는 $|\nu| > 0$ 이면 $\phi(s_\mu s_\nu^*) = 0$ 임을 보이고, 이러한 상태들이 정점에 기반한 정규 상태와 전단사 대응함을 보여준다.

실험 결과

연구 질문

• RQ1 임의의 (무한일 수 있는) 유향 그래프에 대해 일반화된 게이지 작용에 대한 KMS 상태를 어떻게 분류할 수 있는가?
• RQ2 양수의 간선 함수 $c:E^1 \to \mathbb{R}^+$ 가 주어진 역온도 $\beta$ 에서 KMS 상태의 존재를 보장하기 위해 어떤 조건을 가져야 하는가?
• RQ3 KMS 상태 $C^*(E)$, 핵심 대수 $C^*(E)^\gamma$ 위의 상태, 그리고 $C_0(E^0)$ 위의 정규 상태 사이의 정확한 관계는 무엇인가?
• RQ4 일반화된 게이지 작용의 기저 상태는 어떻게 유도되며, 간선 가중치와 정점 구조에 따라 어떻게 특성화되는가?
• RQ5 KMS 상태의 존재가 $c(e)^{-\beta}$ 를 포함하는 급수의 수렴 여부에 따라 어떤 조건에 의존하는가?

주요 결과

• 일반화된 게이지 작용에 대한 KMS 상태와 모든 $v \in E^0$ 에 대해 $\mathcal{F}_{c,\beta}(\tau)(v) \leq \tau(v)$ 를 만족하고 $\sum_{v \in E^0} \mathcal{F}_{c,\beta}(\tau)(v) = \sum_{v \in E^0} \tau(v)$ 를 만족하는 정규 상태 $\tau$ 사이에 전단사 대응 관계가 존재한다.
• 모든 간선에 대해 $c(e) > 1$ 이면, 상태 $\phi$ 가 $\sigma$-기저 상태일 조건은 $|\mu| > 0$ 또는 $|\nu| > 0$ 이면 $\phi(s_\mu s_\nu^*) = 0$ 이고, 이러한 상태들은 정점에 기반한 정규 상태와 전단사 대응한다.
• $\mathcal{O}_\infty$ 의 경우, $c(e_n) = a_n > 1$ 이고 $\sum_{n=1}^\infty a_n^{-\beta} = 1$ 이면, 각 $\beta \geq \beta_0$ 에 대해 유일한 KMS 상태가 존재하며, 유일한 기저 상태도 존재한다. 여기서 $\beta_0$ 는 방정식을 만족하는 해이다.
• 무한한 수의 소스를 가진 그래프의 경우, $\sum_{n=1}^\infty a_n^{-\beta} \tau_{v_n} \leq \tau_{v_0}$ 이고 $\sum_{n=1}^\infty a_n^{-\beta} < \infty $ 이면, $\beta \geq \beta_0$ 에서 KMS 상태가 존재하며, 이 경우 무한히 많은 상태가 존재한다.
• 모든 정점이 특이 정점인 경우, $C_0(E^0)$ 위의 모든 정규 상태가 기저 상태로 유도되므로, 기저 상태의 공간은 무한차원이다.