Gapless Phases in (2+1)d with Non-Invertible Symmetries

제목: 비가역적 대칭성을 가진 (2+1)차원에서의 갭리스 상 (Gapless Phases in (2+1)d with Non-Invertible Symmetries)
저자: Lakshya Bhardwaj, Yuhan Gai, Sheng-Jie Huang, Kansei Inamura, Sakura Schäfer-Nameki, Apoorv Tiwari, Alison Warman

문제 제기

양자 물질의 상 분류는 전통적으로 군 대칭성을 통한 랜드au의 패러다임에 의존해 왔다. 최근 연구는 범주적(비가역적) 대칭성을 가진 상, 특히 갭이 있는(gapped) 시스템으로 이를 확장했다. 그러나 비가역적 대칭성이 존재하는 가운데 갭리스(gapless) 상과 2차 상전이를 연구하는 것은, 특히 (1+1)차원보다 높은 차원에서는 매우 까다로운 과제로 남아 있다. 비가역적 대칭성을 가진 (1+1)차원 갭리스 상은 특정 모델을 통해 탐구되었으나, 퓨전 2-범주(fusion 2-category) 대칭성을 가진 (2+1)차원 갭리스 상에 대한 체계적인 프레임워크는 부족한 실정이었다. 핵심적인 도전 과제는 대칭성이 비가역적일 때, 갭이 있는 상들 사이의 전이로부터 발생하는 임계 모델을 어떻게 구성하고 분류할 것인가를 이해하는 것이다.

방법론

본 논문은 대칭 위상 장론 (Symmetry Topological Field Theory, SymTFT) 프레임워크를 핵심 도구로 사용한다. 주어진 대칭 범주 $S$에 대한 (2+1)차원 SymTFT는 (3+1)차원 위상 장론이며, 구체적으로는 유한 군 $G$(트위스트 $\varpi$를 가질 수 있음)에 대한 디지그래프-위튼(Dijkgraaf-Witten, DW) 이론 $Z(2\text{Vec}^\varpi_G)$이며, 여기서 대칭 결함(symmetry defects)은 경계에 존재한다.

핵-방법론은 두 가지 상호 보완적인 관점을 포함한다:

1. "클럽 샌드위치(Club Sandwich)" 구성: 이는 케네디-타사키(Kennedy-Tasaki, KT) 변환을 일반화한 것이다. 저자들은 더 작은 대칭 $S_0$를 가진 알려진 상전이(예: $\mathbb{Z}_2$에 대한 3d Ising CFT)에서 시작한다. 이들은 더 큰 대칭 $S$의 SymTFT와 더 작은 대칭 $S_0$의 SymTFT 사이에 위상적 인터페이스 $I$를 삽 삽입함으로써 "클럽 샌드위치"를 구성한다. $S$의 SymTFT가 차지하는 구간을 컴팩트화함으로써, 입력된 전이는 더 큰 대칭 $S$에 대한 새로운 전이로 매핑된다.
2. 모듈 2-범주(Module 2-Category) 기술: 위상적 질서 사이의 인터페이스는 (bi)module 2-범주를 사용하여 수학적으로 특징지어진다. 이 접근법은 모듈 범주를 통한 갭이 있는 경계의 기술을 인터페이스 연구로 일반화하여, 위상적 결함과 그 결과로 나타나는 축소된 위상 질서(reduced topological orders)에 대한 엄밀한 대수적 분류를 제공한다.

저자들은 SymTFT가 DW 이론인 "모든-보존적(all-bosonic)" 퓨전 2-범주 대칭성에 집중하며, 이들은 (3+1)d DW 이론 $Z(2\text{Vec}^\varpi_G)$를 축소된 위상 질서 $Z(2\text{Vec}^\pi_{H/N})$로 매핑하는 인터페이스(응축 가능한 대수, condensable algebras)를 체계적으로 분류한다.

주요 기여

1. 인터페이스의 체계적 분류:
본 논문은 유한 군에 대한 DW 이론 간의 인터페이스에 대한 완전한 분류를 제공한다. 인터페이스는 데이터 $(H, N, \pi, \mathcal{A})$로 특징지어진다:

• $H < G$는 부분군이다.
• $N \triangleleft H$는 정규 부분군이다.
• $\pi \in H^4(H/N, U(1))$는 축소된 위상 질서에서의 트위스트이다.
• $\mathcal{A}$는 $p^*\pi$-트위스트된 $H$-등급 퓨전 범주이다 (비최소 인터페이스의 경우; 최소 인터페이스의 경우 $\mathcal{A} = \text{Vec}^\omega_H$이다).
  이 분류는 최소 인터페이스(모든 경계 라인이 벌크 라인의 투영인 경우)와 비최소 인터페이스(고유한 위상 라인을 수용하는 경우)를 구분한다.

2. KT 변환을 통한 갭리스 상의 구성:
분류된 인터페이스를 사용하여, 저자들은 더 작은 대칭을 가진 알려진 전이로부터 큰 범주적 대칭을 가진 갭리스 상을 생성하는 체계적인 절차를 구축한다. $\mathbb{Z}_2$ 대칭에 대한 전이(예: 3d Ising CFT)를 입력값으로 사용함으로써, $Z_4, S_3, D_8$ DW 이론에서 유도된 다양한 범주적 대칭을 가진 새로운 2차 상전이들을 도출한다.

3. 고유 갭리스 상(Intrinsically Gapless Phases)의 식별:
저자들은 고유 갭리스 대칭 보호 위상 상태(igSPT) 및 고유 갭리스 자발적 대칭 깨짐(igSSB) 상에 대한 기준을 확립한다.

• igSPTs: 전체 대칭을 보존하지만 대칭을 깨뜨리지 않고는 갭을 가질 수 없는 갭리스 상.
• igSSBs: 대칭을 자발적으로 깨뜨리지만 추가적인 대칭 파괴 없이는 갭을 가질 수 없는 갭리스 상.
  저자들은 이러한 상들이 원래 대칭 그룹의 어떤 적절한 부분군에 의해서도 트위셜(trivialized)될 수 없는 비자명한 트위스트 $\pi$를 축소된 위상 질서가 가질 때 발생함을 보여준다. 구체적으로, 만약 인터페이스가 $H' < H$인 임의의 적절한 부분군 위에서 $\pi$가 0으로 풀백(pull back)되지 않는 비자명한 $\pi \in H^4(H/N, U(1))$를 포함한다면, 결과적인 상은 고유하게 갭리스(intrinsically gapless)하다.

4. 구체적인 예시와 표:
이 프레임워크는 다음 그룹들에 적용된다:

• 아벨 군 ($Z_4$): $Z_4$ 및 혼합 $Z_2 \times Z_2$ 대칭을 포함하는 전이를 유도하는 최소 및 비최소 인터페이스에 대한 상세 분석.
• 비가환 군 ($S_3$ 및 $D_8$): 저자들은 $2\text{Rep}(S_3), 2\text{Rep}(D_8)$, 그리고 2-그룹 대칭인 $Z_4^{(1)} \rtimes Z_2^{(0)}$를 포함하는 상전이에 대한 철저한 목록을 제공한다.
• 표: 논문에는 결과적인 CFT, 상의 성격(gSPT, gSSB, igSPT, igSSB), 그리고 결정적인 부분군 데이터를 요약한 종합적인 표(Table 1, 2, 3, 4, 5)가 포함되어 있다.

결과

• 저자들은 임의의 유한 군 $G$에 대해, SymTFT 프레임워크가 갭이 있는 상들 사이의 무수히 많은 상전이를 구성할 수 있으며, 이는 풍부한 갭리스 임계점의 경관(landscape)을 이끌어낸다는 것을 입증한다.
• 저자들은 $D_8$ 대칭에 대한 igSPT와 $S_3$ 및 $D_8$ 대칭에 대한 igSSB를 명시적으로 구성한다. 예를 들어, $D_8$의 경우, 축소된 $Z_2 \times Z_2$ 질서에 대한 비자명한 4-코사이클 트위스트 $\pi$를 가진 특정 인터페이스는, 갭을 만드는 것이 선택된 $\pi$를 위해 $D_8$을 해당 $\pi$가 트위셜되는 부분군으로 깨뜨려야 함을 요구하므로 불가능하기 때문에 고유하게 갭리스인 상을 생성한다.
• 본 논문은 KT 변환 이후 물리적 경계에서의 대칭 범주의 구조를 명확히 하며, 이들이 단순한 퓨전 범주보다는 종종 멀티퓨전 범주(multifusion categories)를 형성함을 보여준다.
• 물리적인 "클럽 샌드위치" 구성과 드린펠드 중심(Drinfeld center)에서의 응축 가능한 대수(étale algebras)의 수학적 분류 사이의 관계가 확립되어, 이 구성의 물리적 직관을 검증한다.

의의 및 주장

본 논문은 (2+1)차원에서 범주적 대칭을 가진 2차 상전이를 연구하기 위한 최초의 체계적인 프레임워크를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 간극 메우기: 비가역적 대칭성을 가진 갭이 있는 상들과 복잡한 갭리스 임계점의 경관을 연결한다.
2. 예측력: 인터페이스의 분류와 알려진 전이(예: Ising CFT)의 입력을 활용함으로써, 특정 격자 모델을 처음부터 풀 필요 없이 방대한 양의 새로운 임계 이론과 그 대칭적 성질을 예측한다.
3. 새로운 물질의 상: 비가역적 대칭성에 의해 보호되는 별개의 보편성 클래스(universality classes)로서 고유 갭리스(intrinsically gapless) 상(igSPT 및 igSSB)을 식별하고 특징짓는다. 이들은 대칭을 깨뜨리지 않고는 갭이 있는 상으로 단열적으로 연결될 수 없다.
4. 격자 실현 가능성: 저자들은 SymTFT 인터페이스가 군론적 데이터로 기술되므로, 결과적인 갭리스 상들이 향-후 격자 모델 구성을 위한 다루기 쉬운 대상이 될 것으로 기대하며, 이는 갭이 있는 상들에 대한 해밀토니안을 제공했던 [44]의 연구를 확장한다.

논문은 형식이 포괄적이지만, 문제의 본질적인 복잡성(무수히 많은 인터페이스)으로 인해 분류가 원칙적으로는 철저하지만 구체적인 예시를 생성하기 위해서는 특정 입력 전이가 필요하다고 결론짓는다. 이 연구는 새로 예측된 갭리스 상들에 대한 격자 구현 및 수치적 연구를 위한 토대를 마련한다.