[論文レビュー] Efficient Isomorphism Testing for a Class of Group Extensions

François Le Gall|arXiv (Cornell University)|Dec 12, 2008

Cryptography and Data Security参考文献 25被引用数 18

ひとこと要約

本稿では、特定の非アーベル群のクラス—アーベル群 A と巡回群 Zm の拡張で、|A| と m が互いに素であるもの—における群の同型性をテストする決定的でほぼ線形時間のアルゴリズムを提示する。この手法は標準的な群の分解を活用し、群の生成子によって誘導される自己同型の共軛性を効率的にテストすることで、サイズ n とパラメータ γ の群に対して時間計算量 (√n + γ)^{1+o(1)} を達成する。

ABSTRACT

A finite group of order n can be represented by its Cayley table. In the word-RAM model the Cayley table of a group of order n can be stored using O(n²) words and can be used to answer a multiplication query in constant time. It is interesting to ask if we can design a data structure to store a group of order n that uses o(n²) space but can still answer a multiplication query in constant time. We design a constant query-time data structure that can store any finite group using O(n) words where n is the order of the group. Farzan and Munro (ISSAC 2006) gave an information theoretic lower bound of Ω(n) on the number of words to store a group of order n. Since our data structure achieves this lower bound and answers queries in constant time, it is optimal in both space usage and query-time. A crucial step in the process is essentially to design linear space and constant query-time data structures for nonabelian simple groups. The data structures for nonableian simple groups are designed using a lemma that we prove using the Classification Theorem for Finite Simple Groups (CFSG).

研究の動機と目的

• 非アーベル群、特にアーベル群を超えるクラスにおける、効率的な同型性テストという長年の未解決問題に取り組む。
• 最大の非アーベル群のクラスに焦点を当てる：gcd(|A|, m) = 1 を満たすアーベル群 A と巡回群 Zm による拡張。
• このクラスに属するブラックボックス群に対して、ほぼ線形時間で実行される決定的アルゴリズムを開発する。
• このクラスにおける同型性テストの完全かつ効率的な解決策を提供する。このクラスには多くの非アーベル群が含まれており、アーベル群の同型性テストを一般化する。

提案手法

• クラス S の群の標準的分解を不変量として導入し、同型な群が類似した分解を持つことを保証する。
• ブラックボックス群演算を用いて、O(n^{1/2+o(1)}) 時間で標準的分解を効率的に計算する。
• 同型性問題を、巡回生成子によって誘導されるアーベル正規部分群の自己同型の共軛性テストに還元する。
• 群の基底に関する自己同型の行列表現を計算し、Sylow部分群上でのブロック対角構造を活用する。
• Sylow p-部分群上で、第4節の専用アルゴリズムを用いて行列の共軛性をブロック単位でテストする。
• 共軛性データが得られた場合、命題 5.1 の同型条件を用いて明示的な同型写像を構成する。

実験結果

リサーチクエスチョン

• RQ1 ブラックボックス群演算を用いて、クラス S の非アーベル群の同型性をほぼ線形時間でテストできるか？
• RQ2 同型性問題を自己同型群における共軛性テストに効率的に還元できるような構造的不変量（たとえば標準的分解）が存在するか？
• RQ3 互いに素な位数を持つ群の拡張の文脈において、群の生成子によって誘導される自己同型の共軛性を効率的にテストできるか？
• RQ4 このクラスにおける同型性テストの計算量は、既知のアーベル群の境界と比較して一致するか、それを改善するか？
• RQ5 指数時間のコhomology や自己同型群の計算に依存せずに、決定的かつ効率的なアルゴリズムを構築できるか？

主な発見

• 本稿では、クラス S における群の同型性テストの決定的アルゴリズムを提示し、時間計算量が (√n + γ)^{1+o(1)} で抑えられることを示した。ここで n は入力群の小さい方のサイズ、γ は巡回生成子の位数の最小値である。
• アルゴリズムはほぼ線形時間で実行され、γ = O(n^{1/2}) のとき O(n^{1/2+o(1)}) 時間を達成し、ブラックボックスモデルにおけるアーベル群の最良既知の境界と一致する。
• この手法は、クラス S の群の標準的分解の計算に依存しており、これは同型性に関して不変で、O(n^{1/2+o(1)}) 時間で効率的に計算可能である。
• アルゴリズムの核となる部分は、アーベル正規部分群の自己同型の共軛性のテストに同型性テストを還元し、Sylow部分群上での行列の共軛性により解決される。
• 存在する場合、明示的な同型写像を効率的に計算でき、これは定理 4.2 のブロック対角行列の共軸性解法を活用する。
• 自己同型群やコホモロジー群における指数時間計算を回避し、従来のヒューリスティック的または非実用的な手法に対する厳密で効率的な代替手段を提供する。