[논문 리뷰] Classification of modular data up to rank 12

Siu‐Hung Ng, Eric C. Rowell외 1명|arXiv (Cornell University)|2023. 08. 18.

Personal Information Management and User BehaviorDecision Sciences인용 수 3

한 줄 요약

이 논문은 GAP에서의 계산 대수를 사용하여 랭크 12 이하의 모듈러 데이터를 분류하며, 이는 이전의 랭크 6 이하 분류를 확장한 것이다. 랭크 12 이하에서 알려진 모든 모듈러 텐서 범주를 식별하였으며, 랭크 11과 12에서 잠재적인 유니터리 모듈러 데이터가 몇 가지 존재하지만, 그 실현 가능성은 확인되지 않았다. 이는 이들이 가까운 그룹 범주의 중심이나 대칭의 게이징으로 인해 유래할 수 있음을 시사한다.

ABSTRACT

We use the computer algebra system GAP to classify modular data up to rank 12. This extends the previously obtained classification of modular data up to rank 6. Our classification includes all the modular data from modular tensor categories up to rank 12, with a few possible exceptions at rank 12 and levels $5,7$ and $14$. Those exceptions are eliminated up to a certain bound by an extensive finite search in place of required infinite search. Our list contains a few potential unitary modular data which are not known to correspond to any unitary modular tensor categories (such as those from Kac-Moody algebra, twisted quantum doubles of finite group, as well as their Abelian anyon condensations). It remains to be shown if those potential modular data can be realized by modular tensor categories or not. We provide some evidence that all may be constructed from centers of near-group categories or gauging group symmetries of known modular tensor categories, with the exception of a total of five cases at rank 11 (with $D^2 =1964.590$) and 12 (with $D^2 =3926.660$). The classification of modular data corresponds to a classification of modular tensor categories (up to modular isotopes which are not expected to be present at low ranks). The classification of modular tensor categories leads to a classification of gapped quantum phases of matter in 2-dimensional space for bosonic lattice systems with no symmetry, as well as a classification of generalized symmetries in 1-dimensional space.

연구 동기 및 목표

• 랭크 6에서 랭크 12로의 모듈러 데이터 분류를 확장하여, 유니터리 모듈러 데이터의 포괄적인 목록을 제공한다.
• 기존의 알려진 모듈러 텐서 범주로 실현되지 않은 잠재적인 유니터리 모듈러 데이터를 식별하고 분석한다.
• 가까운 그룹 범주의 중심이나 대칭의 게이징과 같은 구성 방법을 통해 이국적인 모듈러 데이터의 기원을 조사한다.
• 2차원의 고립된 양자 상과 일반화된 대칭을 분류하는 데 사용할 수 있도록, 랭크 12 이하의 모든 모듈러 데이터, 갈로아 궤도 및 실현 가능성을 포함한 완전한 목록을 제공한다.
• 무한한 검색을 피하기 위해 유한한 계산적 한계를 적용하여, 랭크 12에서의 열거되지 않은 케이스들(레벨 5, 7, 14)을 해결한다.

제안 방법

• 컴퓨터 대수 시스템 GAP를 사용하여 랭크 12 이하의 모듈러 데이터를 체계적으로 열거하고 분류한다.
• SL2(Z) 표현을 활용하여 모듈러 S 및 T 행렬의 합과 곱 표현을 중심으로 후보 모듈러 데이터를 생성한다.
• 프로베누스-슐러 지표, 정수 조건, 노름 조건을 적용하여 후보 해를 걸러낸다.
• 정수 및 역쌍 조건 하에서 S 행렬의 원소를 구하기 위해 일반화된 에이게프션 분수 방법을 사용한다.
• 특히 랭크 12에서 잠재적인 예외가 있는 경우에 무한한 검색 경로를 제거하기 위해 유한한 검색 전략을 구현한다.
• 대칭성과 고유공간 분해를 통해 T 행렬의 2–5차원 고유공간에서 변수 수를 줄인다.

실험 결과

연구 질문

• RQ1 랭크 12 이하에서 어떤 모듈러 데이터가 유니터리 모듈러 텐서 범주로 실현될 수 있는가?
• RQ2 기존의 구성 방식(예: 양자 듀얼, 카크-무디 대칭)과 연결되지 않은 잠재적 모듈러 데이터의 기원은 무엇인가?
• RQ3 랭크 11과 12에서의 모든 모듈러 데이터가 가까운 그룹 범주의 중심이나 기존 범주의 대칭 게이징으로 설명될 수 있는가?
• RQ4 더 높은 랭크에서 모듈러 데이터를 분류할 때, 유한한 계산적 한계가 무한한 검색을 대체할 수 있는가?
• RQ5 갈로아 궤도와 대칭 구조(SymTOs)는 영문 위트 클래스 내에서 모듈러 데이터를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 분류 결과에는 랭크 12 이하에서 알려진 모든 모듈러 텐서 범주가 포함되어 있으며, 실현 가능성 확인이 되지 않은 다섯 개의 잠재적 예외가 랭크 11과 12에 존재한다.
• 랭크 12에서 다섯 개의 케이스(D² = 1964.590 및 D² = 3926.660)는 아직 알려진 구성 방법으로 실현되지 않아 이국적인 것으로 간주된다.
• 랭크 12에서는 총 221개의 유니터리 모듈러 데이터가 목록화되었으며, 이 중 33개는 소수이고, 18개는 아벨형, 203개는 비아벨형이다.
• 랭크 12에서는 총 157개의 완전한 모듈러 데이터가 포함되어 있으며, 이 중 93개는 유니터리이며, 세부 갈로아 궤도 구조도 포함되어 있다.
• 랭크 11에서는 다섯 개의 케이스(D² = 1964.590), 랭크 12에서는 다섯 개의 케이스(D² = 3926.660)가 알려진 모듈러 텐서 범주로 실현되지 않은 잠재적 후보로 식별되었다.
• 모든 경우 중 다섯 개를 제외한 나머지는 가까운 그룹 범주의 중심이나 기존 범주의 대칭 게이징을 통해 구성 가능할 것으로 보이며, 낮은 랭크에서 알려진 이상 징후는 없다.