[논문 리뷰] Symmetry TFTs for Non-Invertible Defects

Justin Kaidi, Kantaro Ohmori외 1명|arXiv (Cornell University)|2022. 09. 22.

Algebraic structures and combinatorial models인용 수 12

한 줄 요약

이 논문은 (1+1)d 및 (3+1)d 양자장론에서 비가역적 이중성 결함을 체계적으로 연구하기 위해 대칭 토폴로지적 장 이론(SymTFT) 프레임워크를 개발한다. 고차형 대칭과 휘어진 결함을 활용하며, 카라머스-반너 유사 이중성 대칭에 대한 SymTFT를 구축하고, 비가역적 융합 규칙을 유도하며, 대칭을 유지하는 토폴로지적 변환에서 보존되는 토폴로지적 불변량을 통해 이중성 결함을 본질적으로 또는 비본질적으로 비가역적인 것으로 분류한다.

ABSTRACT

Given any symmetry acting on a $d$-dimensional quantum field theory, there is an associated $(d+1)$-dimensional topological field theory known as the Symmetry TFT (SymTFT). The SymTFT is useful for decoupling the universal quantities of quantum field theories, such as their generalized global symmetries and 't Hooft anomalies, from their dynamics. In this work, we explore the SymTFT for theories with Kramers-Wannier-like duality symmetry in both $(1+1)$d and $(3+1)$d quantum field theories. After constructing the SymTFT, we use it to reproduce the non-invertible fusion rules of duality defects, and along the way we generalize the concept of duality defects to extit{higher} duality defects. We also apply the SymTFT to the problem of distinguishing intrinsically versus non-intrinsically non-invertible duality defects in $(1+1)$d.

연구 동기 및 목표

• 비가역 대칭과 이중성 결함을 (1+1)d를 초월한 양자장론에서 분석하기 위한 체계적 프레임워크를 개발하기 위해.
• 비가역 대칭이 '본질적으로' 비가역적인지, 아니면 토폴로지적 연산을 통해 가역 대칭으로 재정의할 수 있는지에 대한 모호함을 해결하기 위해.
• SymTFT를 사용하여 이중성 결함의 개념을 고차원 결함(고차원 이중성 인터페이스)으로 일반화하기 위해.
• 대칭을 유지하는 토폴로지적 변환(예: 게이징 또는 가역 상과의 스택)에서 변하지 않는 토폴로지적 불변량인 SymTFT를 제공하기 위해.
• SymTFT 형식을 사용하여 본질적으로 비가역적인 이중성 결함와 비본질적으로 비가역적인 결함를 구분하기 위해.

제안 방법

• 이산 대칭을 가진 d차원 양자장론에 대해, Dijkgraaf-Witten 구축을 사용하여 (d+1)차원 토폴로지적 장론으로 SymTFT를 구축한다.
• 1차원 높은 차원에서의 고차형 게이지 이론(예: $\mathbb{Z}_N$ 또는 $\mathbb{Z}_N^{(1)}$ 게이지 이론)으로 SymTFT를 실현하여 대칭과 결함 구조를 코딩한다.
• 차원 감소와 반공간 게이징을 통해, 낮은 차원의 이중성 결함을 SymTFT 내의 휘어진 결함 또는 확장된 연산자로 매핑한다.
• SymTFT의 F-기호와 모듈러 S-행렬을 사용하여 이중성 인터페이스와 휘어진 결함의 융합 규칙을 계산한다.
• SymTFT를 사용하여 게이징 또는 스택과 같은 토폴로지적 연산에서의 이중성 결함의 행동을 분석하고, 본질적 비가역성을 구별하는 불변량을 식별한다.
• 상관 함수와 플럭스 의존 평가(예: $n=1,2,3$ 에lectromagnetic 플럭스 단위)를 사용하여 결함가 선 연산자를 흡수할 수 있는지 테스트하고, 융합 성질을 결정한다.

실험 결과

연구 질문

• RQ1 SymTFT 형식은 (3+1)d와 같은 더 높은 시공간 차원에서 비가역적 이중성 결함를 기술하기 위해 어떻게 확장될 수 있는가?
• RQ2 (1+1)d 및 (3+1)d에서 이중성 인터페이스의 융합 규칙는 무엇이며, 이는 SymTFT 내의 휘어진 결함에서 어떻게 유도되는가?
• RQ3 이중성 결함가 본질적으로 비가역적인가, 아니면 항상 토폴로지적 연산을 통해 가역 대칭으로 재정의할 수 있는가?
• RQ4 SymTFT 내에서 비가역 대칭이 본질적으로 비가역적인지 감지하는 토폴로지적 불변량은 무엇인가?
• RQ5 양자 이중 대칭과 부분군의 표현(예: $\widehat{\mathbb{Z}}_2 \subset \widehat{\mathbb{Z}}_4$)은 결함의 융합과 뱃지에 어떤 영향을 미치는가?

주요 결과

• $\mathbb{Z}_N^{(0)}$ 및 $\mathbb{Z}_N^{(1)}$ 대칭에 대한 SymTFT는 각각 1차원 높은 차원에서 $\mathbb{Z}_N$ 및 $\mathbb{Z}_N^{(1)}$ 게이지 이론으로 실현되며, 결함 융합을 위한 토폴로지적 프레임워크를 제공한다.
• (1+1)d 및 (3+1)d에서의 이중성 인터페이스는 SymTFT 내의 휘어진 결함로서 나타나며, 그 융합 규칙은 기저가 되는 토폴로지 오더의 모듈러 S-행렬에서 도출된다.
• 홀수 $N$의 경우, $\mathbb{Z}_N^{(1)}$의 $(4+1)$d SymTFT 내 휘어진 결함는 (3+1)d에서 비가역 융합 규칙을 가진 이중성 결함를 유도한다. 반면 $N=2$ 및 $N \geq 4$인 짝수 $N$의 경우, 추가적인 $\mathbb{Z}_2$-편향 섹터로 인해 구조가 다름을 보인다.
• SymTFT 구축은 대칭을 유지하는 토폴로지적 변환 $\phi$에 대해 불변성을 보장하며, SymTFT$({\mathcal{C}}) =$ SymTFT$(\phi({\mathcal{C}}))$를 만족하여, 비가역 대칭을 분류하는 데 강력한 불변량이 된다.
• 비가역 대칭이 본질적으로 비가역적인지 여부는 $n=2$ 전자기 플럭스 단위가 존재할 때 선 연산자 $K$를 흡수할 수 없는지 여부에 의해 결정되며, 이는 비자명한 상관 함수 차이에 의해 입증된다.
• 항등선 $\mathfrak{I}_1^0(\widehat{S}_{\{N/2,0\}})$는 $K$를 흡수할 수 없지만 $K^2$는 흡수할 수 있어, 이는 이중성의 두 번째 인덱스를 나타내며 $\mathbb{Z}_4^{\mathrm{EM}}$의 경우 비가역성을 확인한다.