[論文レビュー] Algorithmic problems in twisted groups of Lie type

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

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

ひとこと要約

本稿では、Suzuki群、小 Ree 群、大 Ree 群という Lie 型のねじれ群における構成的認識と属 membership テスティングのための効率的なアルゴリズムを提示している。これらは Magma で実装されている。確率的手法、ストレートラインプログラム（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.

研究の動機と目的

• 歪み Lie 型の群における計算群論の理論的かつ実用的な効率性を向上させるアルゴリズムの開発。
• Suzuki 群、小 Ree 群、大 Ree 群における構成的認識および構成的属 membership テスティング問題の解決。
• これらの群内での Sylow 群および最大部分群の共役性検査を可能にする。
• Magma コンピュータ代数システムにおけるアルゴリズムの実装とベンチマーク評価を通じて、実世界の性能評価を実施。
• これらの例外的群におけるテンソル分解および対称平方分解の課題への対処。

提案手法

• 特定の位数（例：$ q-1 $ 位数）の元を、既知の密度 $ \phi(q-1)/(2(q-1)) $ を用いたランダムサーチにより確率的アルゴリズムで探索。
• ストレートラインプログラム（SLP）を用いて群の元の評価および表現計算を効率化。
• 体演算および位数計算に、離散対数オラクルおよび整数因数分解オラクルに依存。
• 安定化子計算および部分群の共役性検査を含む群論的認識技術を適用。
• より大きなアルゴリズムのサブルーチンとして、$ \mathrm{SL}(2,q) $ および $ \mathrm{Sz}(q) $ 部分群の認識を統合。
• 体固有の最適化を実施し、Magma における部分体演算ヒューリスティクスの制御によってパフォーマンスを調整。

実験結果

リサーチクエスチョン

• RQ1 行列形式における Lie 型の Suzuki 群に対して、どのように構成的認識を効率的に実現できるか？
• RQ2 小 Ree 群および大 Ree 群における構成的属 membership テスティングの計算複雑度は何か？
• RQ3 ベンチマーク時間の揺らぎは、$ q-1 $ の素因数分解などの数論的性質とどのように関係しているか？
• RQ4 これらの例外的群に対して、テンソル分解アルゴリズムはどの程度スケーラブルに拡張できるか？
• RQ5 これらの群のランダムな共役に対する共役アルゴリズムの実用的パフォーマンスはいかがなっているか？

主な発見

• Suzuki 群、小 Ree 群、大 Ree 群における構成的認識アルゴリズムは、実用的な体サイズではほぼ定数時間で実行され、速度の高さゆえにベンチマーク曲線が明確に見えない。
• Suzuki 群の安定化子計算は、離散対数操作に支配されており、$ q-1 $ の因数分解に起因するタイミングの揺らぎが観察される。
• 3 種類の群すべてにおいて、共役アルゴリズムは、$ m $ の値を横断したベンチマークデータにより確認されたように、ほぼ線形時間複雑度を示す。
• テンソル分解アルゴリズムは、メモリ制限のため、現在は小さな入力サイズ（例：$ d \in \{16,64,256\} $）に限定されている。
• パフォーマンスベンチマークでは、実装上の要因ではなく、$ q-1 $ に大きな素因数が含まれるなどの数論的性質に起因するタイミングのジャンプが観察される。
• 大 Ree 群の共役処理の合計時間には、離散対数、SLP 評価、部分群認識の複数のコンponent が含まれるが、テストされた体サイズの範囲でスケーラブルである。