Finite-temperature quantum topological order in three dimensions

기술적 요약: 3차원 유한 온도 양자 위상 질서

문제 정의
응집물질물리학의 핵심 과제는 어떤 위상적 물질 상태가 비제로(nonzero) 온도에서 열적 상태로 존재할 수 있는지 결정하는 것이다. 영온도에서의 양자 위상 질서는 잘 분류되어 있는 반면, 일반적인 위상 질서(예: 3D 토릭 코드)는 3차원 미만의 공간 차원 $d < 4$에서 임의의 비제로 온도에서 파괴된다는 사실은 오랫동안 확립되어 왔다. 이러한 파괴는 점 입자 형태의 여기(excitations)가 증식하여 열적 상태를 단거리 얽힘(short-range entangled, SRE) 상태로 만들고 효과적으로 고전적으로 만들기 때문에 발생한다. 기존의 "불가능성 정리(no-go theorems)"는 유한 온도 양자 위상 질서—즉, 장거리 얽힘(long-range entangled, LRE)을 가진 열적 상태—가 오직 4차원 이상의 공간 차원에서만 존재할 수 있다고 시사해 왔다. 본 연구가 다루는 구체적인 질문은, 3차원에서 비제로 온도일 때 고전적인 열적 상(phase)과는 구별되는 양자 위상 질서가 존재할 수 있는가 하는 점이다.

방법론
저자들은 큐비트가 에지(edge)에 배치된 입방 격자(cubic lattice) 상의 페르미온 토릭 코드(fermionic toric code, fTC)를 조사한다. 이 모델은 두 가지 핵심적인 특징에 의해 표준(보존형) 토릭 코드(bTC)와 구별된다:

1. 페르미온 점 입자 여기: 버텍스 항($A_v$)의 위반은 페르미온 교환 통계를 따르는 점 입자 형태의 여기에 대응한다.
2. 이상적 2-폼 대칭성(Anomalous 2-form Symmetry): 이 모델은 이러한 페르미온의 공간적 윌슨 루프(space-like Wilson loops)와 관련된 2-form 대칭성을 가진다. 결정적으로, 이 대칭성은 페르미온을 응축시키지 않고서는 대칭성을 게이지화(gauge)할 수 없도록 만드는 페르미온의 자기 통계(self-statistics)를 상속받은 스트링 연산자에 의해 "이상적(anomalous)"인 특성을 갖는다.

저자들은 저온($T < T_0$)에서 열적 상태 $\rho_{fTC}$의 얽힘 구조를 분석하기 위해 **준국소 채널(Quasi-Local Channels, QLCs)**을 이용한 증명 전략을 사용한다. 증명은 다음 세 가지 논리적 단계로 진행된다:

1. 루프 클리닝(Loop Cleaning): 저자들은 5개 층의 국소 연산으로 구성된 QLC $\mathcal{C}$를 구축한다. 이 채널은 열적 상태로부터 작은 루프 형태의 여기(플라켓 항 $B_p$의 위반)를 체계적으로 제거한다. 이 채널은 시스템을 $\ln(L)^2$ 크기의 블록으로 분할하고, 루프 내부 또는 특정 심(seam)을 가로지르는 루프를 제거하기 위해 유니터리 보정(unitary corrections)을 적용한다.
2. 루프가 없는 상태로의 근사: 저자들은 충분히 낮은 온도에서 열적 상태 $\rho_{fTC}$가 $\mathcal{C}$에 의해 루프 여기가 정확히 없는 상태 $\rho_\emptyset$와 높은 충실도(fidelity)($1 - O(L^{-\infty})$)로 매핑됨을 입증한다.
3. 대칭성 논증: 저자들은 루프가 없는 상태 $\rho_\emptyset$가 "강한" 이상적 2-form 대칭성을 가진다고 주장한다. 대칭성 보호 상(symmetry-protected phases)에 관한 최근 결과들을 인용하여, SRE 상태는 그러한 이상적 대칭성을 가진 상태를 근사할 수 없음을 보여준다. QLC는 SRE 상태를 SRE 상태로 매핑하므로, 만약 원래의 열적 상태 $\rho_{fTC}$가 SRE라면 그 이미지인 $\mathcal{C}(\rho_{fTC})$ 역시 SRE여야 하며, 이는 모순을 초래한다.

주요 기여 및 결과

• 3D 유한 온도 양자 위상 질서의 존재: 본 논문은 비제로 온도에서 양자 위상 질서를 보이는 4차원 미만의 차원을 가진 시스템에 대한 첫 번째 사례를 제시한다.
• 정리 1: 저자들은 임계 온도 $T_c \approx 1.31$보다 낮은 임계 온도 $T_0 \approx 1.24$ 아래에서, 열적 상태인 $\rho_{fTC}$와 임의의 SRE 상태 $\sigma_{SRE}$ 사이의 충실도가 시스템 크기 $L$에 대해 어떤 다항식보다도 빠르게 감소함을 증명한다:
  $$F(\rho_{fTC}, \sigma_{SRE}) = O(L^{-\infty})$$
  이는 트레이스 거리(trace distance)가 1에 접근함을 의미하며, 해당 상태가 SRE 순수 상태들의 고전적 혼합(classical mixture)이 아님을 확인해 준다.
• 이상적 대칭성의 역할: 이 연구는 이상적 2-form 대칭성이 열적 요동으로부터 장거리 얽힘을 보호하는 구체적인 메커니즘임을 식별하였다. 이는 보존형 토릭 코드의 경우 2-form 대칭성이 이상적이지 않아 열적 상태가 SRE가 될 수 있는 것과 대조적이다.
• 양자 메모와의 구별: 저자들은 fTC가 영온도에서는 양자 메모로서 작동하지만, 상전이 온도 이하의 비제로 온도에서는 고전적 메모처럼 행동한다는 점을 명확히 한다. 여기서의 위상 질서는 전통적인 메모의 의미에서의 국소적 오류에 대한 정보 보호가 아니라, 혼합된 열적 상태 자체의 속성이다.

의의 및 주장
본 논문은 3차원 양자 위상 질서가 비제로 온도에서 존재할 수 있는지에 대한 질문에 긍정적인 답변을 내놓음으로써 문제를 해결했다고 주장한다. 이 연구의 의의는 평형 상(equilibrium phase)의 맥락에서 비제로 온도에서만 존재하는 물질의 상을 식별했다는 데 있다.

저자들은 이러한 현상이 fTC에만 국한되지 않고, 투명한 페르미온(transparent fermions)을 가진 프리모듈러 범주(premodular category)에 기반한 Walker-Wang 모델과 같이 이상적 2-form 대칭성을 가진 광범위한 이산 게이지 이론으로 확장될 것이라고 추측한다. 그들은 이러한 시스템들이 순수 상태 위상 질서와는 구별되는 새로운 클래스의 "혼합 상태 위상 질서(mixed-state topological orders)"를 나타낸다고 제안한다.

이 연구는 이전에 필요하다고 여겨졌던 4차원 이상의 이론적 요구를 넘어, 물리적으로 실현 가능한 차원(3D)에서 양자 위상 질서를 연구할 수 있는 길을 열어준다. 저자들은 자신들의 특정 온도 경계 $T_0$가 특정 클리닝 알고리즘으로부터 도출된 것이지만, LRE 상이 임계 온도 $T_c$까지 지속될 것으로 예상한다고 언급한다. 또한, 이 질서를 효율적으로 계산 가능한 진단법을 개발하고, 이 상을 구현할 수 있는 물리적 시스템(예: 2-바디 상호작용을 가진 Kitaev형 모델)을 식별해야 할 필요성을 지적한다.