[论文解读] Construction of long root SL(2,q)-subgroups in black box groups

Şükrü Yalçınkaya|arXiv (Cornell University)|Jan 19, 2010

Finite Group Theory Research被引用 5

一句话总结

本文提出了一种多项式时间的蒙特卡洛算法，用于在商群 X/Oₚ(X) 中构造一个长根 SL₂(q)-子群，其中 X 是一个黑箱群，X/Oₚ(X) 是在奇数阶 q > 3 的域上的有限单李型群。该方法基于对对合元的中心化子的分析，为阿什巴赫的典型对合定理提供了计算实现，解决了关于在黑箱群中检测 p-子群的长期悬而未决的问题。

ABSTRACT

We present a one sided Monte--Carlo algorithm which constructs a long root $\sl_2(q)$-subgroup in $X/O_p(X)$, where $X$ is a black-box group and $X/O_p(X)$ is a finite simple group of Lie type defined over a field of odd order $q=p^k > 3$ for some $k\geqslant 1$. Our algorithm is based on the analysis of the structure of centralizers of involutions and can be viewed as a computational version of Aschbacher's Classical Involution Theorem. We also present an algorithm which determines whether the $p$-core (or "unipotent radical") $O_p(X)$ of a black-box group $X$ is trivial or not, where $X/O_p(X)$ is a finite simple classical group of odd characteristic $p$. This answers a well-known question of Babai and Shalev.

研究动机与目标

• 开发一种构造性、多项式时间的算法，用于识别黑箱群 X 中的长根 SL₂(q)-子群，其中 X/Oₚ(X) 是在奇特征 q > 3 的域上的有限单李型群。
• 解决 Babai 和 Shalev 提出的一个著名开放问题：在 X/Oₚ(X) 为奇特征的典型群时，判断黑箱群 X 中的 p-子群 Oₚ(X) 是否平凡。
• 通过在黑箱群中算法化分析对合元的中心化子，为阿什巴赫的典型对合定理提供计算对应版本。
• 通过完成构造长根 SL₂(q)-子群这一基础步骤，扩展黑箱李型群构造性识别的框架。

提出的方法

• 该算法使用对合元中心化子的递归构造，利用有限李型群的结构性质，分离出长根 SL₂(q)-子群。
• 采用单边蒙特卡洛方法生成随机元素，并测试子群中是否存在 p-元素，以确保有界错误概率下的正确性。
• 通过基于根系和 Dynkin 图结构分析对合元及其在商群 X/Oₚ(X) 中的中心化子的作用，识别长根 SL₂(q)-子群。
• 关键组件是通过随机搜索检测子群中的 p-元素，若未能找到此类元素，则表明 Oₚ(X) 为平凡。
• 该算法避免依赖特定群表示，完全在黑箱模型中运行，仅使用群运算和决策过程。
• 实现使用 GAP4 进行理论验证，通过随机换位子和共轭运算模拟导出子群和正规闭包。

实验结果

研究问题

• RQ1 能否构造一种多项式时间的蒙特卡洛算法，用于在黑箱群 X 满足 X/Oₚ(X) 为奇数阶 q > 3 的域上的有限单李型群时，识别 X/Oₚ(X) 中的长根 SL₂(q)-子群？
• RQ2 当 X/Oₚ(X) 为奇特征 p 的有限单典型群时，是否能算法化地判断黑箱群 X 中的 p-子群 Oₚ(X) 是否平凡？
• RQ3 如何将黑箱群中对合元中心化子的结构分析形式化为一种计算算法，使其与阿什巴赫的典型对合定理相匹配？
• RQ4 在实际应用中，该算法的性能和可靠性如何，特别是在群本身非单值化且 p-元素稀少的情况下？
• RQ5 当 Oₚ(X) 非平凡时，能否通过在构造完整 SL₂(q)-子群之前在中间子群中检测 p-元素，使算法高效适应？

主要发现

• 该算法使用单边蒙特卡洛方法，在多项式时间内成功构造出 X/Oₚ(X) 中的长根 SL₂(q)-子群 K。
• 对于 SL₆(3⁵) 等群，该算法平均运行时间为 1.55 秒，性能随群大小和域指数增长而扩展。
• 当在构造的子群中未找到 p-元素时，该算法能正确识别 Oₚ(X) 的平凡性，且在非单值化情况下性能依然高效。
• 当 Oₚ(X) 非平凡但对合元的中心化子包含非平凡 p-元素时，该算法能早期检测到这些元素，从而确保正确性。
• 在 E₈(7) 上的性能达到 1979.68 秒，尽管群大小呈指数增长，仍显示出对高秩群的可扩展性。
• 在 GAP4 中的实现验证了理论正确性，结果基于十次运行的平均值，验证了该算法在 E₆、E₇、F₄、G₂ 以及正交群和辛群等多种李型群中的行为。