[论文解读] Subfactors of index less than 5, part 4: vines

David Penneys, James E. Tener|arXiv (Cornell University)|Oct 19, 2010

Advanced Operator Algebra Research参考文献 13被引用 5

一句话总结

本文通过使用数论技术消除了38个潜在主图的无限族，完成了对指标小于5的子因子的分类。它应用了Calegari-Morrison-Snyder结果的算法扩展，计算有效界，将列表缩减至(4,5)指标范围内的7个图，全部对应于已知的子因子平面代数，包括Haagerup、扩展Haagerup、Asaeda-Haagerup、3311以及Izumi的2221。

ABSTRACT

We eliminate 38 infinite families of possible principal graphs as part of the classification of subfactors up to index 5. A number-theoretic result of Calegari-Morrison-Snyder, generalizing Asaeda-Yasuda, reduces each infinite family to a finite number of cases. We provide algorithms for computing the effective constants that are required for this result, and we obtain 28 possible principal graphs. The Ostrik d-number test and an algebraic integer test reduce this list to 7 graphs in the index range (4,5) which actually occur as principal graphs.

研究动机与目标

• 通过消除所有剩余的无限族候选主图，完成对指标小于5的子因子的分类。
• 将Calegari-Morrison-Snyder的数论方法扩展，以统一且自动化的方式系统性地消除主图的无限族。
• 为每个藤蔓$ (\Gamma,v) $计算有效界$ N(\Gamma) $，使得对于所有$ n > N(\Gamma) $，其平移图$ \Gamma_n $不可能是非$ A_\infty $子因子的主图。
• 应用Ostrik的$ d $-数测试和代数整数测试，进一步将可行候选列表缩减至实际可能作为主图的图。
• 确认在$ (4,5) $指标范围内，除Temperley-Lieb外，唯一的子因子平面代数为已知的：Haagerup、扩展Haagerup、Asaeda-Haagerup、3311以及Izumi的2221及其对偶。

提出的方法

• 利用Calegari-Morrison-Snyder定理，为每个藤蔓$ (\Gamma,v) $计算有效界$ N(\Gamma) \in \mathbb{N} $，确保对于所有$ n > N(\Gamma) $，其平移图$ \Gamma_n $不可能是非$ A_\infty $子因子的主图。
• 采用算法计算图的全局维数和特征值上的分圆及代数整数约束，从而消除不满足这些数论测试的图。
• 通过数值计算涉及洛朗多项式导数的三角函数表达式，应用Ostrik $ d $-数测试，确保在单位圆上保持正性，以界定$ d $。
• 使用自定义的Mathematica程序包FusionAtlas，对$ n < N(\Gamma) $的$ d $-数条件进行高精度数值检验，其中$ N(\Gamma) $通常超过200。
• 在先前工作中得到的38个藤蔓上自动化消除过程，结合符号计算与数值验证，将列表缩减至7个可行图。
• 采用图平移机制，其中$ \Gamma_n $通过在基点$ v $上附加一个长度为$ n - |\Gamma| $的2-价树而形成，以建模子因子理论中主图的增长。

实验结果

研究问题

• RQ1 哪些主图的无限族可被数论约束排除在$ (4,5) $指标范围内子因子的候选之外？
• RQ2 对于每个藤蔓$ (\Gamma,v) $，有效界$ N(\Gamma) $是多少，使得所有$ n > N(\Gamma) $的平移图$ \Gamma_n $都不可能是主图？
• RQ3 如何系统性地应用Ostrik $ d $-数测试和代数整数测试，从潜在主图列表中剔除虚假候选？
• RQ4 在初始数论筛选后剩余的28个图中，有多少个实际作为$ (4,5) $指标范围内子因子的主图出现？
• RQ5 能否通过验证仅已知的示例——Haagerup、扩展Haagerup、Asaeda-Haagerup、3311以及Izumi的2221——作为主图出现，从而完成对指标小于5的子因子的分类？

主要发现

• 本文通过数论界线消除了38个潜在主图的无限族，将候选列表缩减至28个。
• 在应用Ostrik $ d $-数测试和代数整数测试后，仅剩7个图作为$ (4,5) $指标范围内的可行候选，全部对应于已知的子因子平面代数。
• 在$ (4,5) $指标范围内，除Temperley-Lieb外，子因子平面代数的最终列表恰好包含十个：Haagerup及其对偶、扩展Haagerup及其对偶、Asaeda-Haagerup及其对偶、3311及其对偶，以及Izumi的2221及其复共轭。
• 对于所有7个幸存图，其对应的子因子均已显式构造，确认了它们作为主图的可实现性。
• 为每个藤蔓计算的有效界$ N(\Gamma) $在所有非Salem情形下均超过200，且对$ d $-数条件的数值验证已执行至$ n = 200 $，确认其正性，从而得出$ d \leq 200 $。
• 作者提供了两个Mathematica笔记本文件：`EliminatingVinesContent.nb` 和 `EliminatingVinesCode.nb`，以及FusionAtlas程序包，以复现所有计算，确保结果的透明性与可复现性。