[논문 리뷰] A mathematical theory of anyon condensation

Liang Kong|arXiv (Cornell University)|2013. 07. 31.

Quantum many-body systems인용 수 4

한 줄 요약

이 논문은 2차원 위상적 위상에서 anyon 응집을 위한 수학적 프레임워크를 보존적 접근법을 사용하여 개발하며, 응집된 위상의 anyon(모듈라 텐서 카테고리 D로 기술됨)이 원래 위상(C)에서의 연결된 가환 분리 대수 A로부터 유래됨을 보여준다. 핵심 결과는 D가 원래 카테고리 C에서의 국소 A-모듈의 카테고리와 동치임을 보이며, 응집 과정은 자연스럽게 A-모듈의 구조를 가진 고립된 도메인 벽을 생성한다.

ABSTRACT

Instead of constructing anyon condensation in various concrete models, we take a bootstrap approach by considering an abstract situation, in which an anyon condensation happens in a 2-d topological phase with anyonic excitations given by a modular tensor category C; and the anyons in the condensed phase are given by another modular tensor category D. By a bootstrap analysis, we derive a relations between anyons in D-phase and anyons in C-phase from natural physical requirements. It turns out that the vacuum (or the tensor unit) A in D-phase is necessary to be a connected commutative separable algebra in C, and the category D is equivalent to the category of local A-modules as modular tensor categories. This condensation also produces a gapped domain wall with wall excitations given by the category of A-modules in C. More general situation is also discussed in this paper. We will also show how to determine such algebra A from the initial and final data. Multi-condensations and 1-d condensations will also be briefly discussed. Examples will be given in the toric code model, Kitaev quantum double models, Levin-Wen types of lattice models and some chiral topological phases.

연구 동기 및 목표

• 특정 모델에 의존하지 않고 2차원 위상적 위상에서 anyon 응집을 위한 일반적인 수학적 프레임워크를 수립하기 위해.
• 모듈라 텐서 카테고리에서 응집을 지배하는 데 필요한 대수적 구조(연결된 가환 분리 대수)를 규명하기 위해.
• 응집된 위상의 anyon 카테고리 D와 원래 카테고리 C에서의 국소 A-모듈 카테고리 간의 동치성을 유도하기 위해.
• 응집 과정이 고립된 도메인 벽과 A-모듈의 구조를 가진 진동자들을 자연스럽게 생성하는 방식을 보여주기 위해.
• 초기 및 최종 위상적 자료로부터 응집 대수 A를 체계적으로 결정하는 방법을 제공하기 위해.

제안 방법

• 물리적 일관성 조건에 기반한 보존적 접근법을 사용하여 anyon 응집에 대한 제약 조건을 유도하기 위해.
• 응집된 위상에서의 진공을 원래 모듈라 텐서 카테고리 C 내의 연결된 가환 분리 대수 A로 식별하기 위해.
• 응집된 위상의 anyon 카테고리 D가 원래 카테고리 C 내의 국소 A-모듈 카테고리와 동치임을 증명하기 위해.
• 카테고리 이중성과 모듈러 카테고리 이론을 적용하여 응집 과정의 구조를 특성화하기 위해.
• A-모듈 카테고리에서 유도된 고립된 도메인 벽의 구조를 유도하며, 벽의 진동자들은 동일한 A-모듈 카테고리로 기술됨을 보여주기 위해.
• 다중 응집과 1차원 응집으로의 프레임워크 확장하여, 토릭 코드, 키타에프 양자 듀얼, 레빈-웬 모델 등에서의 예시를 제시하기 위해.

실험 결과

연구 질문

• RQ1 원래 모듈라 텐서 카테고리 C에서 유효한 anyon 응집 과정에 대응할 수 있는 대수적 구조는 무엇인가?
• RQ2 응집된 위상의 anyon 카테고리 D는 원래 카테고리 C와 수학적으로 어떻게 관련되어 있는가?
• RQ3 응집 과정에서 형성된 고립된 도메인 벽의 카테고리적 기술은 무엇인가?
• RQ4 초기 및 최종 위상적 자료로부터 응집 대수 A를 어떻게 재구성할 수 있는가?
• RQ5 다중 응집 또는 1차원 응집 상황에서 어떤 일반화가 발생하는가?

주요 결과

• 응집된 위상에서의 진공은 반드시 원래 모듈라 텐서 카테고리 C 내의 연결된 가환 분리 대수 A여야 한다.
• 응집된 위상의 anyon 카테고리 D는 원래 카테고리 C 내의 국소 A-모듈 카테고리와 모듈라 텐서 카테고리로서 동치이다.
• 응집 과정은 자연스럽게 A-모듈의 구조를 가진 고립된 도메인 벽을 생성하며, 그 진동자들은 C 내의 A-모듈 카테고리로 기술된다.
• 물리적 일관성에서 유도된 카테고리 제약 조건을 사용하여 초기 및 최종 위상적 자료로부터 응집 대수 A를 결정할 수 있다.
• 프레임워크는 다중 응집과 1차원 응집으로 일반화되며, 일관된 카테고리적 기술이 가능하다.
• 토릭 코드, 키타에프 양자 듀얼 모델, 레빈-웬 격자 모델, 편향된 위상적 위상에서의 명시적 예시들이 이론적 예측을 확인한다.