[論文レビュー] A CFSG-free analysis of Babai's quasipolynomial GI-algorithm

László Pyber|arXiv (Cornell University)|May 26, 2016

Coding theory and cryptography参考文献 6被引用数 5

ひとこと要約

この論文は、分類定理（CFSG）に依存しない、Babaiの準多項式グラフ同型性アルゴリズムにおける重要な群論的補題の証明を提示する。CFSGの代わりにWielandtの結果を用いることで、Schreierの予想やCFSGに依存せずに、単純群の分類に依存しない、点安定化子のアーベルな組成因子の数に対する準多項式の上限を確立する。

ABSTRACT

We obtain a weaker but still quasipolynomial version of Babai's famous GI-algorithm.

研究の動機と目的

• Babaiの準多項式グラフ同型性アルゴリズムにおける有限単純群分類（CFSG）への依存を排除すること。
• Babaiの補題8.5の弱化版について、CFSGに依存しない証明を提供すること。この補題は、アルゴリズムの群論的側面の中心的役割を果たす。
• Schreierの予想を用いずに、推移的置換群における点安定化子のアーベルな組成因子の数に対する準多項式の上限を確立すること。
• Wielandtの置換群に関する結果が、アルゴリズムの解析におけるCFSG依存の議論を置き換えるのに十分であることを示すこと。
• CFSGに依存しないより弱い、より初等的な群論的基礎の下でも、Babaiのアルゴリズムの正しさと完全性を保証すること。

提案手法

• 置換群に関するWielandtの結果を用いて、部分軌道と軌道的（orbitals）を分析し、CFSG依存の議論を置き換える。
• 組成系列と部分正規系列に基づく帰納的議論を用いて、アーベルな組成因子の数を上限づける。
• 原始群における点安定化子の素因数に関するJordanの補題を活用し、置換群の構造を制御する。
• 群の位数の相異なる素因数の積が $ n^{ ext{polylog}(n)} $ で有界であるという事実を用いて、指数と組成因子の数を制御する。
• ブロック系と商群を用いて、原始的および推移的な群に帰着して問題を簡略化し、より小さい次数における帰納的上限を用いる。
• 最初の $ m $ 個の素数の和に対する上限を適用し、商群における多くのアーベルな組成因子を仮定した場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 Babaiの準多項式GIアルゴリズムは、CFSGに依存しない形に再構築可能であり、かつ準多項式の上限を維持できるか？
• RQ2 Wielandtの置換群に関する結果は、Babaiのアルゴリズムの群論的コアにおいて、Schreierの予想を置き換えるのに十分か？
• RQ3 CFSGに依存しない条件下で、推移的置換群における点安定化子のアーベルな組成因子の数に対する最良の準多項式の上限は何か？
• RQ4 CFSGに依存せずに、Babaiの補題8.5の弱化版を、初等的な群論的道具のみで証明可能か？
• RQ5 解析からCFSGを排除した場合、BabaiのGIアルゴリズムの正しさや効率性に影響は及ぶか？

主な発見

• Babaiの補題8.5の弱化版について、CFSGに依存しない証明が与えられ、Schreierの予想の代わりにWielandtの結果が用いられた。
• 次数 $ n $ の推移的置換群における点安定化子のアーベルな組成因子の数は、$ ( ext{polylog } n)^2 $ で有界であり、CFSGを用いない。
• 奇数位数の原始群に対しては、指数が $ n^{( ext{log } n)^2} $ で有界であり、フェイト＝トンプソンの定理でさえ不要である。
• 帰納的還元を用いて、$ | ext{Comp}_A(G_x)| riangleq ext{群 } G_x ext{ のアーベルな組成因子の数} $ が $ O(( ext{log } n)^2) $ であることが示された。
• 最初の $ m $ 個の素数の和が $ O(m^2 \log m) $ であるという事実を用いて、商群における多くの相異なる素因数を持つ組成因子を仮定した場合に矛盾を導いた。
• 結果として、CFSGを解析から排除した場合でも、Babaiのアルゴリズムが依然として準多項式的であることが確認された。元のアルゴリズムの実行時間と整合性のある上限が得られたためである。