[论文解读] Steinberg presentations of black box classical groups in small characteristics

Alexandre Borovik, Şükrü Yalçınkaya|arXiv (Cornell University)|Feb 13, 2013

Finite Group Theory Research参考文献 22被引用 6

一句话总结

该论文提出了一种新的蒙特卡洛算法，可在小奇数特征下对黑箱李型经典群构造Steinberg生成元，其时间复杂度在 log q 上为多项式，在 p 上为二次，显著优于以往依赖随机搜索的方法（后者在 q 上为多项式）。该方法可高效识别 PSL_n(q) 及有限域上满足 q ≡ 1 mod 4 的经典群。

ABSTRACT

The main component of (constructive) recognition algorithms for black box groups of Lie type in computational group theory is the construction of unipotent elements. In the existing algorithms unipotent elements are found by random search and therefore the running time of these algorithms is polynomial in the underlying field size $q$ which makes them unfeasible for most practical applications \cite{guralnick01.169}. Meanwhile, the input size of recognition algorithms involves only $\log q$. The present paper introduces a new approach to construction of unipotent elements in which the running time of the algorithm is quadratic in characteristic $p$ of the underlying field and is polynomial in $\log q$; for small values of $p$ (which make a vast and practically important class of problems), the complexity of these algorithms is polynomial in the input size. For $\psl_2(q)$, $\qpone$, we present a Monte-Carlo algorithm which constructs a root subgroup $U$, the maximal torus $T$ normalizing $U$ and a Weyl group element $w$ which conjugates $U$ to its opposite. Moreover, we extend this result and construct Steinberg generators for the black box untwisted classical groups defined over a field of odd size $q=p^k$ where $\qpone$. Our algorithms run in time quadratic in characteristic $p$ of the underlying field and polynomial in $\log q$ and the Lie rank $n$ of the group. The case $\qmone$ requires the use of additional tools and is treated separately in our next paper \cite{suko12B}. Further, and much stronger results can be found in \cite{suko12E,suko12F}.

研究动机与目标

• 为克服现有识别算法依赖随机搜索寻找幂零元素所带来的低效性，此类方法的时间复杂度随域大小 q 呈多项式增长。
• 为奇特征有限域上的黑箱经典群设计一种确定性且高效的Steinberg生成元构造算法。
• 实现运行时间在 log q 上为多项式、在 p 上为二次的时间复杂度，使其在 q 较大时仍适用于实际应用。
• 将该方法扩展至满足 q ≡ 1 mod 4 的 A、B、C、D 型未扭经典群。
• 为后续系列算法奠定基础，以恢复完整的群结构与同构类型。

提出的方法

• 利用 Curtis-Tits 定理，从黑箱子群中构造扩展的 Curtis-Tits 配置 {K₀, K₁, ..., Kₙ}。
• 利用现有算法计算域大小 q，并在每个 Kᵢ 内构造极大分裂环 T₀, T₁, ..., Tₙ。
• 对 PSL₂(q) 应用专门算法，构造幂零元素 u、极大环 S 及将 S 反转的 Weyl 群元素 w。
• 通过 z ∈ K₁ 的概率共轭操作对齐环 T 与 T₁，从而在群中实现一致的根子群对齐。
• 利用对称性与对齐检测，将幂零元素的构造扩展至所有根子群 K₀, K₂, ..., Kₙ，尤其适用于 Bₙ, Cₙ, Dₙ 型。
• 通过引理 3.5 与推论 7.2 实现根子群重构，确保所有必需的幂零元素均被生成。

实验结果

研究问题

• RQ1 是否可以在不依赖随域大小 q 增大而增长的随机搜索的前提下，于黑箱经典群中构造幂零元素？
• RQ2 能否设计一种运行时间在 log q 上为多项式、在特征 p 上为二次的算法？
• RQ3 如何系统地为满足 q ≡ 1 mod 4 的有限域上未扭经典群构造 Steinberg 生成元？
• RQ4 Curtis-Tits 配置在实现黑箱群高效结构恢复中起到何种作用？
• RQ5 能否利用局部子群结构在群中一致地对齐 Weyl 群元素与根子群？

主要发现

• 该算法在 q ≡ 1 mod 4 时，以在 log q 上为多项式、在 p 上为二次的时间复杂度，构造 PSL₂(q) 的 Steinberg 生成元，相比先前方法实现显著改进。
• 对于满足 q ≡ 1 mod 4 的 F_q 上 Aₙ, Bₙ, Cₙ, Dₙ 型经典群，该算法高效构造了所有必需的幂零元素、极大环与 Weyl 群元素。
• 运行时间为 O(p² · log q^c · n^d)，其中 c, d 为某些常数，因此在输入规模 log q 上为多项式，且适用于大 q 值。
• 通过共轭操作匹配环并验证交换关系，确保了群中根子群的一致对齐。
• 该算法为蒙特卡洛算法，关键步骤（如共轭对齐环）的成功概率至少为 1/2。
• 通过类比 Sp₂ₙ(q) 所用方法并适当调整根系对称性，将构造扩展至 Dₙ 型与 Ω₂ₙ₊₁(q) 型群。