Partition function of the Kitaev quantum double model

논문 제목: Kitaev 양자 더블 모델의 분할 함수 (Partition function of the Kitaev quantum double model)
저자: Anna Ritz-Zwilling, Benoît Doucot, Steven H. Simon, Julien Vidal, Jean-Noël Fuchs

이 논문은 임의의 이산 군 (discrete group) $G$와 임의의 종수 (genus, $g$) 를 가진 닫힌 방향성 곡면 (closed orientable surface) 의 골격 (skeleton) 을 이루는 임의의 평면 그래프 위에 정의된 Kitaev 양자 더블 (KQD) 모델의 에너지 준위 축퇴도 (degeneracy) 와 유한 온도 분할 함수를 정확하게 계산한 연구입니다.

아래는 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem)

• 배경: 토폴로지 양자 계산과 토폴로지 양자 메모리의 핵심 요소인 애니온 (anyon) 은 비국소적 성질로 인해 외부 섭동에 강한 보호를 제공합니다. Kitaev 의 양자 더블 모델은 이러한 토폴로지 질서를 실현하는 격자 모델입니다.
• 과제: 2 차원 국소 가환 사영자 (local commuting projector) 해밀토니안 (KQD 모델 등) 은 열역학적 극한에서 유한 온도에서 토폴로지 질서가 파괴됨이 알려져 있습니다. 그러나 시스템 크기 $L$과 온도 $T$ 간의 경쟁으로 인해 $T^* \propto 1/\ln L$ 이하의 온도에서는 토폴로지 특성이 유지됩니다.
• 필요성: 이러한 열 요동 (thermal fluctuations) 의 역할을 깊이 이해하기 위해서는 시스템의 **정확한 분할 함수 (partition function)**가 필수적입니다. 기존 연구들은 토릭 코드 (Toric code, $G=Z_2$) 나 비가환 군의 경우 형식적인 표현을 제시했으나, 임의의 유한 군 $G$와 임의의 위상 (종수 $g$) 에 대해 일반화된 정확한 분할 함수 식은 부재했습니다.

2. 방법론 (Methodology)

저자들은 미세한 자유도 (microscopic degrees of freedom) 를 무시하고, **애니온의 융합 규칙 (fusion rules)**과 **양자 차원 (quantum dimensions)**에 초점을 맞춘 접근법을 사용했습니다.

1. 에너지 고유공간과 애니온의 구분:

   • KQD 모델의 격자 여기 (vertex/plaquette excitations) 와 Drinfeld center $Z(\text{Vec}_G)$의 단순 객체 (simple objects, 즉 애니온) 사이의 관계를 명확히 했습니다.
   • 특히 비가환 군 (non-Abelian group) 의 경우, 격자 여기 (energy eigenspaces) 와 애니온이 1:1 대응되지 않으며, 내부 중복성 (internal multiplicity) 또는 서브타입 (subtype) 개념이 중요함을 강조했습니다.
   • 정점 (vertex) 여기는 전하 (chargeon) 와 일치하지만, 플라켓 (plaquette) 여기는 플럭손 (fluxon) 과 완전히 일치하지 않으며, 이는 군의 중심자 (centralizer) 표현론과 관련이 있습니다.

2. 축퇴도 계산 (Fusion Tree Approach):

   • $g$ 종수의 곡면 위에 $n$개의 정점 여기와 $m$개의 플라켓 여기가 존재할 때, 모든 여기가 진공 (vacuum) 으로 융합되는 **융합 채널 (fusion channels)**의 수를 세는 방식을 취했습니다.
   • Moore-Seiberg-Banks 공식을 사용하여 융합 채널 축퇴도를 계산했습니다. 이는 $S$-행렬 (모듈러 변환 행렬) 과 애니온의 양자 차원을 사용하여 표현됩니다.
   • 비위상적 축퇴도 (Non-topological degeneracy): 비가환 군의 경우 정점 여기가 가지는 내부 중복성 (서브타입 수) 을 고려하여 총 축퇴도를 보정했습니다. 이는 국소 섭동으로 제거될 수 있는 축퇴도입니다.

3. 분할 함수 유도:

   • 계산된 에너지 준위 축퇴도 식을 바탕으로, 모든 가능한 여기 수 ($n, m$) 에 대해 합을 취하여 유한 크기 시스템의 정확한 분할 함수 $Z$를 유도했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 에너지 준위 축퇴도의 일반화된 공식

임의의 유한 군 $G$, 임의의 종수 $g$, $n$개의 정점 여기, $m$개의 플라켓 여기에 대한 축퇴도 $D_G(g, n, m)$은 다음과 같이 주어집니다:

$$D_G(g, n, m) = \sum_{A \in Z(\text{Vec}_G)} S_{1,A}^{2-2g} (q_A^{\text{Ve}} - 1)^n (q_A^{\text{Pl}} - 1)^m$$

여기서:

• $A$는 Drinfeld center $Z(\text{Vec}_G)$의 애니온 (단순 객체) 입니다.
• $S_{1,A}$는 $S$-행렬의 첫 번째 행 요소로, $S_{1,A} = d_A / |G|$ ($d_A$는 애니온 $A$의 양자 차원).
• $q_A^{\text{Ve}}$와 $q_A^{\text{Pl}}$은 각각 정점과 플라켓 여기의 유효 상태 수를 나타내는 정수입니다.
  • $q_A^{\text{Ve}} = |G| \delta_{A \in \text{Ch}}$ (전하가 있는 애니온인 경우 $|G|$, 아니면 0)
  • $q_A^{\text{Pl}} = |G| \frac{d_A}{d_A} \delta_{A \in \text{Fl}}$ (플럭손인 경우 관련 값)
• 이 식은 애니온의 양자 차원과 $S$-행렬만으로 표현되어 매우 간결합니다.

B. 정확한 분할 함수 (Partition Function)

유한 온도 $T$에서의 분할 함수 $Z$는 다음과 같은 닫힌 형식 (closed form) 으로 유도됩니다:

$$Z = \sum_{A \in Z(\text{Vec}_G)} S_{1,A}^{2-2g} (z_A^{\text{Ve}})^{N_v} (z_A^{\text{Pl}})^{N_p}$$

• $z_A^{\text{Ve}} = q_A^{\text{Ve}} - 1 + e^{\beta J_v}$
• $z_A^{\text{Pl}} = q_A^{\text{Pl}} - 1 + e^{\beta J_p}$
• 이 식은 KQD 모델이 두 개의 분리된 1 차원 Potts 모델과 유사한 구조를 가짐을 보여줍니다.

C. 열역학적 극한 및 위상 질서 파괴

• 무한 온도 ($\beta \to 0$): 분할 함수는 힐베르트 공간의 차원 $|G|^{N_l}$로 수렴합니다.
• 영 온도 ($\beta \to \infty$): 분할 함수는 바닥 상태 축퇴도 (GSD) 로 수렴합니다.
• 열역학적 극한 ($N_v, N_p \to \infty$): 진공 항 ($A=1$) 이 지배적이 되어 분할 함수가 완전히 인수분해됩니다. 이 극한에서는 $T > 0$일 때 토폴로지 질서가 파괴됨을 확인했습니다. 이는 1 차원 Potts 모델과 유사한 위상 전이 현상을 보입니다.

D. 검증

• $Z_2$ (토릭 코드) 및 비가환 군 $S_3$에 대한 구체적인 예를 들어, 유도된 공식이 기존 결과와 일치함을 확인하고, 비가환 군에서 플라켓 여기와 플럭손이 어떻게 다른지 (내부 중복성 차이) 를 상세히 분석했습니다.
• 작은 시스템에 대한 수치적 대각화 (exact diagonalization) 를 통해 예측된 축퇴도 수치를 검증했습니다.

4. 의의 및 중요성 (Significance)

1. 일반화된 해 (General Solution): 임의의 유한 군과 임의의 위상 구조를 가진 KQD 모델에 대한 정확한 분할 함수를 최초로 제공했습니다. 이는 비가환 군을 포함한 다양한 토폴로지 위상 물질의 열적 성질을 연구하는 데 기초를 마련합니다.
2. 위상 및 비위상 축퇴도의 분리: KQD 모델의 축퇴도가 순수한 위상적 요인 (융합 채널) 과 군론적 요인 (내부 중복성/서브타입) 의 곱으로 분리될 수 있음을 명확히 보였습니다. 이는 비가환 군 시스템에서 에너지 준위를 이해하는 데 중요한 통찰을 제공합니다.
3. 열적 안정성 이해: 유한 크기 시스템에서 토폴로지 질서가 유지되는 온도 범위 ($T^*$) 와 열역학적 극한에서의 질서 파괴 메커니즘을 정량적으로 설명할 수 있는 도구를 제공합니다.
4. 확장 가능성: 이 접근법은 String-net 모델, 비가환 게이지 이론, 그리고 더 나아가 트위스트드 (twisted) 양자 더블 모델이나 페르미온 토릭 코드와 같은 다른 정확히 풀리는 모델 (exactly solvable models) 로 확장 가능함을 시사합니다.

결론적으로, 이 논문은 토폴로지 양자 물질의 열적 거동을 이해하기 위한 강력한 분석적 도구를 제공하며, 비가환 애니온 시스템의 복잡한 에너지 스펙트럼을 군론과 위상수학의 언어로 체계적으로 설명했습니다.