[论文解读] 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 的所有幺正模张量范畴（UMTCs）进行了分类，识别出在 ribbon 张量等价意义下共 35 种不同的范畴，若考虑 S 与 −S 矩阵在物理和拓扑上的区别，则总数为 70 种。该分类基于伽罗瓦理论、S 矩阵与 T 矩阵的数论约束，以及通过正交性和整数性条件系统性地排除融合规则候选，最终得到 10 个非平凡的本原 UMTCs 作为构建模块。

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 的幺正模张量范畴（UMTCs）进行分类，提供在 ribbon 张量等价意义下的完整列表。
• 通过区分 S 与 −S 来解决模 S 矩阵中的歧义，该歧义具有拓扑和物理上的重要意义。
• 识别出 10 个非平凡的本原 UMTCs，它们可通过直积和对称操作生成所有秩 ≤ 4 的 UMTCs。
• 建立一种利用代数数论和 S 矩阵与 T 矩阵的多项式约束对 MTCs 进行分类的框架，避免直接求解五边形和六边形方程。
• 为 10 个本原 UMTCs 提供显式数据，并将该分类与拓扑量子计算及物质的拓扑相联系起来。

提出的方法

• 该分类基于将模 S 矩阵与 T 矩阵作为代数不变量进行分析，利用其幺正性和正交性来约束可能的融合规则。
• 应用伽罗瓦理论于由矩阵元素生成的域扩张，表明所有数据均位于 ℚ 的阿贝尔伽罗瓦扩张中，从而将问题简化为数论问题。
• 该方法利用 S 矩阵的正交性以及融合矩阵特征值的整数性，来排除无效的融合规则候选。
• 通过聚焦于 S 矩阵与 T 矩阵的约束，避免求解五边形和六边形方程，这些约束以代数方式编码了完整的 MTC 结构。
• 对可能的融合规则进行系统性案例分析，利用方程 (A.8)–(A.24) 推导出量子维数和 S 矩阵元素的约束。
• 证明表明，仅有一个模 S 矩阵满足所有代数与数论约束，从而对每个有效的融合规则唯一确定解。

实验结果

研究问题

• RQ1 在 ribbon 张量等价意义下，秩 ≤ 4 的幺正模张量范畴共有多少种？
• RQ2 S 矩阵及其符号歧义（S 与 −S）在区分物理上和拓扑上不同的范畴中起什么作用？
• RQ3 哪些秩 ≤ 4 的融合规则可由幺正模张量范畴实现？
• RQ4 能否在不求解完整五边形和六边形方程的前提下实现 MTC 的分类？
• RQ5 哪 10 个非平凡的本原 UMTCs 可通过直积和对称操作生成所有秩 ≤ 4 的 UMTCs？

主要发现

• 在 ribbon 张量等价意义下，秩 ≤ 4 的幺正模张量范畴恰好有 35 个。
• 当考虑 S 与 −S 的区别时，不同 UMTCs 的总数上升至 70 个，反映了其物理和拓扑上的差异。
• 两个平凡的 UMTCs 对应于 S 矩阵 (±1)，代表平凡任意任何理论。
• 所有秩 ≤ 4 的 UMTCs 均可通过 10 个非平凡的本原 UMTCs 经直积和对称操作生成，相关显式数据见第 5 节。
• 该分类通过 S 矩阵与 T 矩阵的代数数论分析实现，避免了直接求解五边形和六边形方程。
• 对于每个有效的融合规则，唯一满足所有正交性、整数性与伽罗瓦理论约束的模 S 矩阵被唯一确定。