[논문 리뷰] Gauging Categorical Symmetries in 3d Topological Orders and Bulk Reconstruction

Matthew Yu|arXiv (Cornell University)|2021. 11. 26.

Geophysics and Sensor Technology인용 수 14

한 줄 요약

이 논문은 모듈러 텐서 카테고리에서의 대수적 대상들을 통해 3차원 토폴로지 오더에서 비아벨 anyon을 게이지화하기 위한 범주론적 프레임워크를 개발한다. 이는 비아벨 anyon의 응집을 통해 자식 이론의 체계적 구축을 가능하게 하며, 부모 이론과 벽 카테고리 간의 일관성 관계를 도입하고, 자식 이론의 S-행렬 원소들로부터 부모 이론의 S-행렬 원소들을 도출한다. 버린드 공식의 적용을 통해 부모 이론의 재구성과 함께 명시적인 양자 차원과 모듈러 불변량을 도출한다.

ABSTRACT

We use the language of categorical condensation to give a procedure for gauging nonabelian anyons, which are the manifestations of categorical symmetries in three spacetime dimensions. We also describe how the condensation procedure can be used in other contexts such as for topological cosets and constructing modular invariants. By studying a generalization of which anyons are condensable, we arrive at representations of congruence subgroups of the modular group. We finally present an analysis for ungauging anyons, which is related to the problem of constructing a Drinfeld center for a fusion category; this procedure we refer to as bulk reconstruction. We introduce a set of consistency relations regarding lines in the parent theory and wall category. Through use of these relations along with the $S$-matrix elements of the child theory, we construct $S$-matrix elements of a parent theory in a number of examples.

연구 동기 및 목표

• 비아벨 1형 대칭을 초월하여 3차원 토폴로지 오더에서 비아벨 anyon을 게이지화하기 위한 일반적인 절차를 개발하는 것.
• 비아벨 anyon의 응집 이후 자식 이론에서 선의 스펙트럼과 양자 차원을 체계적으로 결정하기 위한 알고리즘을 제공하는 것.
• 자식 이론의 S-행렬로부터 부모 이론 데이터를 복원함으로써 '부모 이론 재구성'으로 불리는 anyon의 해제 방법을 수립하는 것.
• 모듈러 불변량, 토폴로지 코셋, 모듈러 텐서 카테고리 간의 모리타 동치를 검증하는 데 응용하는 것.
• 일관성 관계와 버린드 공식을 사용하여 부모 이론의 명시적 S-행렬 원소들을 도출하고, 구체적인 예시를 통해 검증하는 것.

제안 방법

• 모듈러 텐서 카테고리(MTCs)에서 특수한 프로페니우스 대수를 사용하여 비아벨 anyon의 응집을 기반으로 한 범주론적 응집을 활용하여 비아벨 anyon의 게이지화를 기술한다.
• 부모 이론의 선들과 벽 카테고리(인터페이스 이론) 사이의 일관성 관계를 적용하여 S-행렬 원소들을 제약한다.
• 버린드 공식의 형태 $ N^{0}_{a,b} = \sum_d \frac{S^2_{a,d} S^*_{b,d}}{S_{0,d}} $ 를 사용하여 자식 이론 데이터로부터 부모 이론 S-행렬 원소들을 재구성한다.
• 융합 규칙과 대칭 제약 조건을 활용하여 S-행렬 원소들 간의 관계를 유도하며, 예를 들어 $ S_{2,0} = S_{2,2} = -S_{2,4} = \cdots $ 와 같은 관계를 통해 독립 변수의 수를 줄인다.
• 예시에서 명시적인 계산을 수행하여 융합 규칙과 유니타리 조건에서 유도된 연립방정식을 해결함으로써 $ S_{2,0} = \frac{1}{\sqrt{12}} $ 와 $ S_{5,0} = \frac{1}{\sqrt{6}} $ 를 도출한다.
• 이 절차를 적용하여 conformal embedding의 검증과 토폴로지 코셋 분석을 수행하였으며, 이는 가시 경계 구축을 넘어서도 유용함을 보여준다.

실험 결과

연구 질문

• RQ1 비아벨 anyon은 어떻게 3차원 토폴로지 오더에서 범주론적 응집을 통해 게이지화될 수 있으며, 어떤 조건이 anyon 대수의 응집 가능성을 결정하는가?
• RQ2 부모 이론, 벽 카테고리, 자식 이론의 S-행렬 원소들 간의 상호작용을 지배하는 일관성 관계는 무엇인가?
• RQ3 버린드 공식과 융합 규칙을 사용하여 자식 이론의 S-행렬로부터 부모 이론의 S-행렬을 어떻게 재구성할 수 있는가?
• RQ4 일반화된 응집 프레임워크에서 모듈러 군의 동치군의 역할은 무엇인가?
• RQ5 anyon의 해제 절차—부모 이론 재구성—는 자식 이론으로부터 부모 이론 데이터를 어떻게 복원하는가?

주요 결과

• 버린드 공식과 융합 규칙의 대칭 제약 조건을 사용하여 $ S_{2,0} = \frac{1}{\sqrt{12}} $ 와 $ S_{2,1} = -S_{2,5} = \frac{1}{\sqrt{24}} $ 를 도출하였다.
• 라벨 5의 선에 대해 S-행렬 원소들은 $ S_{5,0} = \frac{1}{\sqrt{6}} $, $ S_{5,2} = -S_{5,8} = -\frac{2}{\sqrt{24}} $, $ S_{5,1} = S_{5,3} = S_{5,5} = S_{5,7} = S_{5,9} = 0 $ 로 확인되었으며, $ S_{5,4} = S_{5,0} $, $ S_{5,6} = -S_{5,0} $, $ S_{5,10} = S_{5,0} $ 이다.
• 버린드 공식은 일관성을 확인한다: $ 1 = 6S^2_{2,0} + 3S^2_{2,1} $, 이로부터 $ S_{2,0} = \frac{1}{\sqrt{12}} $ 를 도출한다.
• 이 절차는 자식 이론 데이터로부터 부모 이론 S-행렬을 성공적으로 재구성하였으며, 대수적 제약 조건과 대칭 관계를 통해 부모 이론 재구성의 가능성을 입증한다.
• 분석 결과 $ S_{5,5} = 0 $ 이고 $ S_{5,10} \neq S_{5,0} $ 임을 확인하여 이전 방정식의 모순을 해결하고 유니타리 조건과의 일관성을 확보하였다.
• 이 방법은 모듈러 불변량 구축과 토폴로지 코셋 분석을 위한 프레임워크를 제공하며, 모리타 동치와 conformal embedding 분석에의 적용 가능성을 보여준다.