[논문 리뷰] Categories of quantum liquids II

Liang Kong, Hao Zheng|arXiv (Cornell University)|2021. 07. 08.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 3차원 이상의 시공간 차원에서 격자 간격이 있는 양자 액체를 분류하기 위한 고차 범주적 프레임워크를 개발한다. 분리 가능한 고차 범주, 중심 함자, 모듈러 확장 등을 사용하며, 군 코homology를 넘어서는 체계적인 SPT 오더 분류를 위해 반대칭 고차 범주를 도입함으로써, 시간 역행 대칭과 페르미온 대칭을 포함한 3차원에서 새로운 비자명한 SPT 상을 드러낸다.

ABSTRACT

We continue to develop the theory of separable higher categories, including center functors, higher centralizers, modular extensions and group theoretical higher fusion categories. Moreover, we outline a theory of orthogonal higher categories to treat anti-unitary symmetries. Using these results we derive a systematic classification of gapped quantum liquids and predict many new SPT orders in spacetime dimension $\ge3$.

연구 동기 및 목표

• 분리 가능한 고차 범주를 사용하여 시공간 차원 ≥3에서 격자 간격이 있는 양자 액체를 분류하기 위한 수학적 프레임워크를 개발한다.
• 융합 1-범주에서의 결과를 고차 범주로 일반화하여 경계-내부 관계와 중심 함자를 확장하며, 1+1D RCFT와 2+1D 토폴로지 오더에서의 결과를 넘어서는 결과를 도출한다.
• 유한한 단위 및 반단위 대칭을 포함한 SPT 오더의 체계적 분류를 수립한다. 이는 페르미온 및 시간 역행 대칭을 포함한다.
• 반단위 및 시간 역행 대칭을 다루기 위해 고차 범주를 도입하여, 기존의 군 코homology를 넘어서는 분류를 가능하게 한다.
• 모듈러 확장과 중심 함자를 통해 SPT 오더, 대칭 깨짐으로 인한 비자명한 상, 혼합 대칭 상의 분류를 통합한다.

제안 방법

• 융합 1-범주에서의 결과를 고차 융합 n-범주로 일반화하기 위해 응집 완성 이론을 사용한다.
• E₀- 및 E₁-중심 함자를 도입하고, 분리 가능한 n-범주 이론을 통해 E₀-중심으로 환원함으로써 고차 범주에서의 함자성질을 증명한다.
• Eₘ-중앙자 및 완전 쌍을 정의하여 고차 범주에서의 모듈러 확장을 체계화한다.
• 고차 범주에서 E₂-융합 n-범주의 모듈러 확장과 그 E₁-중심의 브라운드 동치 사이의 일대일 대응을 구축한다.
• 반단위 및 시간 역행 대칭을 모델링하기 위해 고차 수직 범주를 도입하여 단위 표현 이론을 일반화한다.
• 프레임워크를 적용하여 A가 고차 E₀-다중융합 n-범주이고 φ가 A의 E₀-중심으로의 수직 단위 동치인 쌍 (A, φ)의 동치류를 통해 SPT 오더를 분류한다.

실험 결과

연구 질문

• RQ1 고차 범주 이론을 사용하여 1+1D 및 2+1D 시스템에서의 경계-내부 관계를 고차원 양자 액체로 일반화할 수 있는가?
• RQ2 고차 융합 n-범주에서의 모듈러 확장의 수학적 구조는 무엇이며, 대칭 게이지화 및 SPT 분류와의 관계는 어떠한가?
• RQ3 반단위 및 시간 역행 대칭을 고차 수직 범주를 통해 SPT 오더 분류에 체계적으로 통합할 수 있는가?
• RQ4 내부 대칭, 대칭 깨짐으로 인한 비자명한 상, 혼합 대칭 상의 분류가 고차원에서 어떻게 일치하는가?
• RQ5 기존의 군 코hom로는 3차원에서 시간 역행 또는 페르미온 대칭을 가진 비자명한 SPT 상을 포괄하지 못하는 정도는 어느 정도인가?

주요 결과

• 분리 가능한 고차 범주에서 E₁-중심 함자가 함자임을 증명하였으며, 이는 1+1D 및 2+1D의 이전 결과를 임의의 시공간 차원으로 일반화한다.
• E₂-융합 n-범주에 대한 모듈러 확장과 그 E₁-중심의 브라운드 동치 사이의 일대일 대응을 확립하였으며, 이는 Muger 이론을 고차 범주로 확장한 것이다.
• ℤ₄ᵀ 대칭을 가진 3차원 SPT 오더의 분류가 군 코homology를 초월함을 보였으며, 두 개의 서로 다른 모듈러 확장이 존재함을 확인하였고, 이 중 하나는 이전에 알려지지 않은 비자명한 상이다.
• 홀수인 m에 대해 ℤₘ×ℤ₄ᵀ의 경우, H³(ℤₘ×ℤ₄ᵀ, U_T(1)) = ℤ₁ 이지만 여러 개의 모듈러 확장이 존재하므로, 군 코호몰로지로는 분류가 불가능하다.
• sRep(ℤ₂ᶠ×ℤ₂ᵀ)의 네 개의 모듈러 확장을 발견하였으며, 이는 두 개의 서로 다른 페르미온 3차원 시간 역행 SPT 오더를 의미한다. 그 중 하나는 기존 물리학 문헌에 존재하지 않는다.
• 시공간군 대칭 G를 가진 SPT 오더, G가 깨진 대칭 깨짐 비자명한 상, 그리고 현장에 G 대칭을 가진 SPT 오더의 분류가 동치임을 보였으며, 이는 고차원에서 결정 격자 등가 원리의 복원을 의미한다.