[论文解读] A Computational Approach to Classifying Low Rank Modular Categories

Daniel Creamer|arXiv (Cornell University)|Dec 4, 2019

Algebraic structures and combinatorial models参考文献 10被引用 44

一句话总结

该论文提出了一种计算工作流，通过其模数据 (S,T) 对低秩模范类进行分类，利用伽罗瓦作用和 Gröbner 基底计算来测试可容性标准。

ABSTRACT

This paper introduces a computational approach to classifying low rank modular categories up to their modular data. The modular data of a modular category is a pair of matrices, $(S,T)$. Virtually all the numerical information of the category is contained within or derived from the modular data. The modular data satisfy a variety of criteria that Bruillard, Ng, Rowell, and Wang call the admissibility criteria. Of note is the Galois group of the $S$ matrix is an abelian group that acts faithfully on the columns of the eigenvalue matrix, $s = (\frac{S_{ij}}{S_{0j}})$. This gives an injection from Gal$(\mathbb{Q}(S),\mathbb{Q}) o $ Sym$_r$, where $r$ is the rank of the category. Our approach begins by listing all the possible abelian subgroups of Sym$_6$ and building all the possible modular data for each group. We run each set of modular data through a series of Gröbner basis calculations until we either find a contradiction or solve for the modular data.

研究动机与目标

• 通过模数据 (S,T) 动机化低秩模范类的分类。
• 利用可容性标准约束可能的类别。
• 开发结合群论枚举与 Gröbner 基底求解的计算流水线。

提出的方法

• 用模数据 (S,T) 表示模范类。
• 注意 S 的伽罗瓦群在特征值导出的矩阵 s 上的作用是保真地作用，给出 Gal(Q(S),Q) → Sym_r 的单射。
• 列出 Sym_6 的所有阿贝尔子群并构造与每个群兼容的模数据。
• 应用 Gröbner 基底计算以推导约束并求解模数据，在存在矛盾时检测。

实验结果

研究问题

• RQ1 哪些模数据 (S,T) 与低秩模范类的可容性标准相符合？
• RQ2 阿贝尔性伽罗瓦作用如何将秩不超过 6 的可能模数据约束？
• RQ3 是否可以通过完整的计算工作流枚举并认证给定秩上所有低秩模范类？
• RQ4 在 Gröbner 基底计算中出现了哪些矛盾，从而排除不可能的数据集？

主要发现

• 提出一个计算框架，用于枚举 Sym_6 的阿贝尔子群并生成相应的模数据。
• Gröbner 基底计算来测试一致性并修剪不可行数据，在发现矛盾时停止，或在得到解时结束。
• 该方法将对 S 矩阵的伽罗瓦作用整合进去，以限制特征值结构并驱动模数据空间的搜索。