[논문 리뷰] Symmetry TFT for Subsystem Symmetry

Weiguang Cao, Qiang Jia|arXiv (Cornell University)|2023. 10. 02.

Mechanical and Optical Resonators인용 수 5

한 줄 요약

이 논문은 $(3+1)$차원에서 수준 $N$을 가진 2-엽층 구조 BF 이론을 $(2+1)$차원에서의 부분계 $ Z_N$ 대칭에 대한 대칭(topological) 장이론(SymTFT)으로 제안한다. $N=2$일 경우, 부분계 $SL(2, Z_2)$ 대칭을 통해 이중성 네트워크(duality web)를 구축하고, 크라머스-반너 및 조르던-바이너 이중성을 경계 변환으로 식별하며, $S$-결함과 트위스트 결함을 이용해 부분계 비가역 연산자의 융합 규칙을 유도한다.

ABSTRACT

We generalize the idea of symmetry topological field theory (SymTFT) for subsystem symmetry. We propose the 2-foliated BF theory with level $N$ in $(3+1)$d as subsystem SymTFT for subsystem $\mathbb Z_N$ symmetry in $(2+1)$d. Focusing on $N=2$, we investigate various topological boundaries. The subsystem Kramers-Wannier and Jordan-Wigner dualities can be viewed as boundary transformations of the subsystem SymTFT and are included in a larger duality web from the subsystem $SL(2,\mathbb Z_2)$ symmetry of the bulk foliated BF theory. Finally, we construct the condensation defects and twist defects of $S$-transformation in the subsystem $SL(2,\mathbb Z_2)$, from which the fusion rule of subsystem non-invertible operators can be recovered.

연구 동기 및 목표

• 부분계 대칭, 즉 전체 시공간이 아닌 강성 부분다양체 위에서 작용하는 전역 대칭을 다룰 수 있도록 대칭(topological) 장이론(SymTFT)을 일반화하는 것.
• $(2+1)$차원에서 부분계 $ Z_N$ 대칭을 갖는 시스템의 보편적 성질을 기록하는 $(3+1)$차원 위상장이론을 수립하는 것.
• 크라머스-반너 및 조르던-바이너 이중성과 같은 부분계 이중성 변환들을 부분계 $SL(2, Z_2)$ 대칭이 생성하는 더 큰 이중성 네트워크 안에서 통합하는 것.
• SymTFT 프레임워크 내에서 냉각 및 트위스트 결함를 이용해 부분계 비가역 연산자의 융합 규칙을 도출하는 것.

제안 방법

• $(2+1)$차원에서 부분계 $ Z_N$ 대칭을 위한 $(3+1)$차원에서의 수준 $N$을 가진 2-엽층 구조 BF 이론을 구성한다.
• 낮은 차원 이론의 부분계 대칭을 실현하는 2-엽층 구조 BF 이론의 위상적 경계를 구현한다.
• 부분계 $SL(2, Z_2)$ 대칭이 부스러기 이론의 부스러기 BF 이론에서 유래된 이중성 네트워크의 기원임을 식별한다.
• 이중성 네트워크 상에서 $S$-변환의 작용을 기술하기 위해 $S$-결함과 트위스트 $S$-결함을 정의한다.
• 결함 분할 함수와 코hom올로지 방법을 사용하여 부분계 비가역 연산자의 융합 규칙을 계산한다.
• 정규화 기법과 호로노미 제약 조건을 적용하여 $ Z_2$ 경우의 융합 규칙을 추출하며, 군대칭 제거를 포함한다.

Figure 6: The duality web between four bosonic theories $\mathfrak{T}_{\textrm{sub}},\mathfrak{T}_{xy,\textrm{sub}},\hat{\mathfrak{T}}_{\textrm{sub}},\hat{\mathfrak{T}}_{xy,\textrm{sub}}$ and four fermionic theories $\mathfrak{T}_{F,x,\textrm{sub}},\mathfrak{T}_{F,y,\textrm{sub}},\hat{\mathfrak{T}}_

실험 결과

연구 질문

• RQ1 대칭(topological) 장이론(SymTFT)은 어떻게 $(2+1)$차원 양자장이론에서 부분계 대칭을 기술할 수 있는가?
• RQ2 2-엽층 구조 BF 이론은 부분계 $ Z_N$ 대칭을 위상적 경계 조건으로 어떻게 실현하는가?
• RQ3 부분계 크라머스-반너 및 조르던-바이너 이중성은 SymTFT 프레임워크에서 어떻게 경계 변환으로 나타나는가?
• RQ4 부스러기 이론의 부분계 $SL(2, Z_2)$ 대칭이 생성하는 이중성 네트워크의 구조는 어떠한가?
• RQ5 SymTFT의 결함 구성에서 부분계 비가역 연산자의 융합 규칙는 어떻게 도출할 수 있는가?

주요 결과

• $(3+1)$차원에서 수준 $N$을 가진 2-엽층 구조 BF 이론은 $(2+1)$차원에서 부분계 $ Z_N$ 대칭을 갖는 시스템에 대한 보편적 SymTFT로 기능한다.
• $N=2$일 경우, 부스러기 이론의 부분계 $SL(2, Z_2)$ 대칭은 크라머스-반너 및 조르던-바이너 이중성을 경계 변환으로 통합하는 이중성 네트워크를 생성한다.
• 부분계 비가역 연산자의 융합 규칙는 $S$-결함 및 트위스트 $S$-결함 구성에서 도출되며, 다음을 만족한다: \\ $\mathcal{N}^{\text{sub}\dagger} \times \mathcal{N}^{\text{sub}} = \sum_{w_{y,i+\frac{1}{2}}} \prod_{i=1}^{L_x} \left( \prod_{i' \leq i} U^{yz}_{0,i} \right)^{w_{y,i+\frac{1}{2}}}$.
• 융합 규칙 계산은 코hom올로지 데이터 $H^0_{\text{sub}}(M_3^{[0,\epsilon]}, M_{2|0} \cup M_{2|\epsilon}, \mathbb{Z}_2)$에 의존하며, 이는 자명하므로 융합이 잘 정의됨을 보장한다.
• 유도 과정은 이중성 네트워크의 일관성을 확인하며, 부분계 비가역 대칭이 부스러기 이론의 $S$-변환에서 자연스럽게 유도됨을 보여준다.
• $S$-결함 구성은 위상적 결함 분할 함수로부터 융합 규칙를 복원할 수 있게 하여, 이중성 구조의 장이론적 실현을 제공한다.