[論文レビュー] On classification of modular tensor categories

Eric C. Rowell, Richard Stong+1 more|ArXiv.org|Dec 9, 2007

Quantum many-body systems参考文献 42被引用数 14

ひとこと要約

この論文は、ランク ≤ 4 のすべてのユニタリモジュラー tensor category (UMTC) を分類し、リボンテンソル同値の意味で35種類の異なるカテゴリを同定する。S行列と−S行列の物理的および位相的差異を考慮すると70種類に達する。分類はガロア理論、S行列およびT行列に関する数論的制約、および正規直交性と整数性条件による融合規則候補の体系的除外に依拠し、10種の非自明なプライムUMTCが構成要素として得られる。

ABSTRACT

We classify all unitary modular tensor categories (UMTCs) of rank $\leq 4$. There are a total of 70 UMTCs of rank $\leq 4$ (Note that some authors would have counted as 35 MTCs.) In our convention there are two trivial unitary MTCs distinguished by the modular $S$ matrix $S=(\pm1)$. Each such UMTC can be obtained from 10 non-trivial prime UMTCs by direct product, and some symmetry operations. UMTCs encode topological properties of anyonic quantum systems and can be used to build fault-tolerant quantum computers. We conjecture that there are only finitely many equivalence classes of MTCs for any given rank, and a UMTC is universal for anyonic quantum computation if and only if its global quantum dimension $D^2$ is \emph{not} an integer. Discovery of non-abelain anyons in Nature will be a landmark in condensed matter physics. The non-abelian anyons in UMTCs of rank $\leq 4$ are the simplest, and, therefore, are most likely to be found. G. Moore and N. Read proposed that non-abelian statistics could occur in fractional quantum Hall (FQH) liquids. The Read-Rezayi conjecture predicts the existence of anyons related to $SU(2)_k$ in FQH liquids at filling fractions $ν=2+\frac{k}{k+2}$ for $k=1,2,3$. For $ν={5/2}$ and $SU(2)_2$, there is a numerical proof and experimental evidence for this conjecture. The Ising anyons might exist in chiral superconductors (strontium ruthenate). There are theoretical designs for the toric code MTC using Josephson junction array, for the $Fib imes Fib$ MTC using optical lattice, and for the $SU(2)_k$ using cold trapped bosonic atoms.

研究の動機と目的

• ランク ≤ 4 のすべてのユニタリモジュラー tensor category (UMTC) を分類し、リボンテンソル同値の意味で完全なリストを提供すること。
• モジュラーS行列における符号の曖昧さ（S対−S）を解消し、物理的および位相的に異なるカテゴリを区別すること。
• 直接積および対称性操作によってすべてのランク ≤ 4 のUMTCを生成する10種の非自明なプライムUMTCを同定すること。
• ペンタゴン方程式およびヘキサゴン方程式を直接解く必要なく、代数的数論およびS行列とT行列に関する多項式的制約を用いてMTCの分類フレームワークを確立すること。
• 10種のプライムUMTCの明示的データを提供し、分類を位相的量子計算および位相的物質相に関連付けること。

提案手法

• 分類は、S行列およびT行列を代数的不変量として分析することに依拠し、それらのユニタリティおよび直交性を用いて可能な融合規則を制約する。
• ガロア理論が行列成分によって生成される体拡大に適用され、すべてのデータがℚのアーベル的ガロア拡大上に存在することを示し、問題を数論に還元する。
• S行列の直交性および融合行列の固有値の整数性を用いて、不適切な融合規則候補を除外する。
• ペンタゴン方程式およびヘキサゴン方程式を回避し、MTC構造を代数的に記述するS行列およびT行列の制約に焦点を当てる。
• 融合規則の可能性について体系的なケース解析を実施し、方程式 (A.8)–(A.24) を用いて量子次元およびS行列成分に関する制約を導出する。
• 証明では、すべての代数的および数論的制約を満たす唯一のモジュラーS行列が、各有効な融合規則に対して一意に特定されることを示している。

実験結果

リサーチクエスチョン

• RQ1 ランク ≤ 4 のユニタリモジュラー tensor category は、リボンテンソル同値の意味で何種類存在するか？
• RQ2 S行列とその符号の曖昧さ（S 対 −S）は、物理的および位相的に異なるカテゴリを区別する上で果たす役割は何か？
• RQ3 ランク ≤ 4 の融合規則のうち、ユニタリモジュラー tensor category によって実現可能なものはどれか？
• RQ4 ペンタゴン方程式およびヘキサゴン方程式を直接解かずにMTCの分類を達成できるか？
• RQ5 直接積および対称性操作によってすべてのランク ≤ 4 のUMTCを生成する10種の非自明なプライムUMTCは何か？

主な発見

• ランク ≤ 4 のユニタリモジュラー tensor category は、リボンテンソル同値の意味で正確に35種類存在する。
• S行列と−S行列の区別を考慮すると、物理的および位相的差異を反映して、異なるUMTCの総数は70に上昇する。
• 2つの自明なUMTCは、S行列 (±1) に対応し、自明なanyon理論を表す。
• すべてのランク ≤ 4 のUMTCは、10種の非自明なプライムUMTCを直接積および対称性操作によって構成し、第5節で明示的なデータが提供される。
• ペンタゴン方程式およびヘキサゴン方程式を直接解かずに、S行列およびT行列の代数的数論的解析によって分類が達成された。
• すべての直交性、整数性、ガロア理論的制約を満たす唯一の可能なモジュラーS行列は、各有効な融合規則に対して一意に決定される。