[論文レビュー] Classification of modular data up to rank 12

Siu‐Hung Ng, Eric C. Rowell+1 more|arXiv (Cornell University)|Aug 18, 2023

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）を解消し、無限大の探索を回避すること。

提案手法

• ランク12までにモジュラーデータを体系的に列挙・分類するために、コンピュータ代数システムGAPを用いる。
• モジュラーS行列およびT行列の和および積表現に注目し、SL2(Z)表現を用いて候補となるモジュラーデータを生成する。
• フロベニウス＝シュール指標、整数性条件、ノルム条件を適用して候補解を絞り込む。
• 整数および逆元ペアの制約下でS行列の要素を解くために、一般化されたエジプト分数法を用いる。
• 特にランク12の例外的ケースに対して、無限大の探索経路を排除するための境界付き探索戦略を実装する。
• 特にT行列の2〜5次元固有空間において、対称性および固有空間分解を用いて変数の数を削減する。

実験結果

リサーチクエスチョン

• RQ1 ランク12までのモジュラーデータの中で、どのものがユニタリモジュラーテンソルカテゴリとして実現可能か？
• RQ2 既知の構成（例えば量子双対やカク＝ムーディ代数）とまだ結びつかない潜在的モジュラーデータの起源は何か？
• RQ3 ランク11および12のすべてのモジュラーデータが、近い群カテゴリの中心や既知のカテゴリの対称性のゲージ化によって説明可能か？
• RQ4 より高いランクにおけるモジュラーデータ分類において、無限大の探索を置き換えるために、有限な計算的境界をどのように用いるか？
• RQ5 ガロア軌道および対称性構造（symTOs）は、自明なウィットクラスにおけるモジュラーデータ分類において、どのような役割を果たすか？

主な発見

• 分類には、ランク12までに既知のすべてのモジュラーテンソルカテゴリが含まれており、ランク11および12で5つの潜在的例外（実現が未確認）が残っている。
• ランク12において、5つのケース（D² = 1964.590およびD² = 3926.660）が未知の性質を持つと特定され、既知の構成ではまだ実現されていない。
• ランク12では、合計221個のユニタリモジュラーデータがリストアップされており、そのうち33個が素数型で、18個がアーベル型、203個が非アーベル型である。
• ランク12では157個の完全なモジュラーデータが含まれており、そのうち93個がユニタリ型であり、詳細なガロア軌道構造が記載されている。
• ランク11では5つのケース（D² = 1964.590）、ランク12では5つのケース（D² = 3926.660）が、既知のモジュラーテンソルカテゴリによってまだ実現されていない潜在的候補として特定されている。
• すべてのランク11および12のケースのうち5つを除くものは、近い群カテゴリの中心や既知のカテゴリの対称性のゲージ化によって構成可能である証拠があり、低ランクにおいては異常な事例は確認されていない。