[论文解读] Algorithmic problems in twisted groups of Lie type

Henrik Bäärnhielm|ArXiv.org|May 24, 2008

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

一句话总结

本文提出了一套高效算法，用于在Magma中实现对李型的扭群——Suzuki群、小Ree群和大Ree群——的构造性识别与成员资格测试。利用概率方法、直线程序（SLP）以及离散对数预言机，这些算法在识别方面实现近乎恒定时间性能，在共轭方面实现线性时间性能，基准测试结果证实了其在实际应用中的高效性，尽管受数论因素影响存在时间波动。

ABSTRACT

This thesis contains a collection of algorithms for working with the twisted groups of Lie type known as Suzuki groups, and small and large Ree groups. The two main problems under consideration are constructive recognition and constructive membership testing. We also consider problems of generating and conjugating Sylow and maximal subgroups. The algorithms are motivated by, and form a part of, the Matrix Group Recognition Project. Obtaining both theoretically and practically efficient algorithms has been a central goal. The algorithms have been developed with, and implemented in, the computer algebra system MAGMA.

研究动机与目标

• 为李型扭群的计算群论发展理论与实践均高效的算法。
• 解决Suzuki群、小Ree群和大Ree群的构造性识别与构造性成员资格测试问题。
• 实现在这些群中Sylow子群与极大子群的共轭测试。
• 在Magma计算机代数系统中实现并基准测试这些算法，以评估其在真实场景下的性能。
• 解决这些例外群在张量分解与对称平方分解方面的挑战。

提出的方法

• 利用概率算法通过随机搜索寻找特定阶的元素，例如阶为 $ q-1 $ 的元素，其已知密度为 $ \phi(q-1)/(2(q-1)) $。
• 采用直线程序（SLP）高效计算群元素并计算表示。
• 依赖离散对数预言机与整数分解预言机进行域算术与阶计算。
• 应用群论识别技术，包括稳定子计算与子群共轭测试。
• 将 $ \mathrm{SL}(2,q) $ 与 $ \mathrm{Sz}(q) $ 子群的识别作为更大算法中的子程序。
• 采用与域相关的优化技术，通过在Magma中控制子域算术启发式方法来调优性能。

实验结果

研究问题

• RQ1 如何在矩阵形式下高效实现李型Suzuki群的构造性识别？
• RQ2 小Ree群与大Ree群中构造性成员资格测试的计算复杂度是多少？
• RQ3 基准测试时间中的波动如何与 $ q-1 $ 的数论性质（如素因数分解）相关联？
• RQ4 这些例外群的张量分解算法在多大程度上可扩展？
• RQ5 这些群的随机共轭的共轭算法在实际性能上表现如何？

主要发现

• Suzuki群、小Ree群与大Ree群的构造性识别算法在实际域大小下运行时间近乎恒定，由于速度极快，基准曲线无法显示。
• Suzuki群稳定子计算主要受离散对数操作主导，其运行时间波动源于 $ q-1 $ 的因数分解。
• 所有三类群的共轭算法表现出近似线性时间复杂度，基准数据在 $ m $ 值范围内得到验证。
• 张量分解算法目前受限于小输入尺寸（例如 $ d \in \{16,64,256\} $），主要受内存限制。
• 性能基准显示时间跳跃并非源于实现问题，而是源于数论性质，如 $ q-1 $ 中存在大素因数。
• 大Ree群共轭的总时间包括多个组成部分——离散对数、SLP计算与子群识别——但其在测试的域大小范围内仍保持可扩展性。