[論文レビュー] Breaking the n^(log n) Barrier for Solvable-Group Isomorphism

David J. Rosenbaum|arXiv (Cornell University)|May 3, 2012

Cryptography and Data Security参考文献 41被引用数 6

ひとこと要約

この論文は、合成系列同型性への還元と低次数グラフ同型性の活用により、解けない群の同型性における長年の $n^{\log n}$ バrier を打ち破った。$p$-群に対しては $n^{(1/2)\log_p n + O(1)}$ の決定的アルゴリズムを提示し、一般の可解群に対しては $n^{(1/2)\log n + O(\log n / \log \log n)}$ に一般化した。ランダム化および量子アルゴリズムを用いることで、それぞれ $n^{1/4}$ および $n^{1/6}$ に改善された。

ABSTRACT

We consider the group isomorphism problem: given two finite groups G and H specified by their multiplication tables, decide if G and H are isomorphic. The n^(log n) barrier for group isomorphism has withstood all attacks --- even for the special cases of p-groups and solvable groups --- ever since the n^(log n + O(1)) generator-enumeration algorithm. In this work, we present the first significant improvement over n^(log n) by showing that group isomorphism is n^((1 / 2) log_p n + O(1)) Turing reducible to composition-series isomorphism where p is the smallest prime dividing the order of the group. Combining our reduction with an n^(O(p / log p)) algorithm for p-group composition-series isomorphism, we obtain an n^((1 / 2) log n + O(1)) algorithm for p-group isomorphism. We then generalize our techniques from p-groups using Sylow bases to derive an n^((1 / 2) log n + O(log n / log log n)) algorithm for solvable-group isomorphism. Finally, we relate group isomorphism to the collision problem which allows us replace the 1 / 2 in the exponents with 1 / 4 using randomized algorithms and 1 / 6 using quantum algorithms.

研究の動機と目的

• 可解群および $p$-群に対して長年の $n^{\log n}$ 時間バリアを打ち破ること。
• より高速なアルゴリズムを可能にするために、群の同型性から合成系列の同型性への新しい還元を構築すること。
• Sylow基底と合成系列を用いて、$p$-群の技術を一般の可解群に一般化すること。
• 衝突問題の還元を統合し、ランダム化および量子アルゴリズムを用いて実行時間をさらに改善すること。

提案手法

• 正規部分群および商群の構造を保ちながら、チューリング還元を用いて群の同型性を合成系列の同型性に還元する。
• Wagner のフレームワークを用いて、合成系列の同型性を低次数グラフ同型性に還元し、有界次数グラフに対する既知のアルゴリズムを活用する。
• Sylow基底理論を適用して、群をSylow部分群に分解することで、$p$-群から一般の可解群への結果の拡張を実現する。
• 生成子の列挙に構造的制約を適用し、同型性テスト中の探索空間を制限する。
• ランダム化および量子設定における指数の改善を達成するために、衝突問題への新しい還元を導入する。
• $p$-群の同型性が冪零群の同型性と等価であるという事実を活用し、還元を簡素化する。

実験結果

リサーチクエスチョン

• RQ1 構造的群論を用いて、可解群の同型性に対して $n^{\log n}$ 時間バリアを打ち破ることは可能か？
• RQ2 同型不変量を保ちながら、群の同型性を合成系列の同型性に還元する方法はあるか？
• RQ3 ランダム化または量子アルゴリズムを用いて、時間計算量の指数を $1/2$ 未満に低下させることは可能か？
• RQ4 Sylow基底理論を用いて、$p$-群の同型性アルゴリズムを可解群に一般化する方法は何か？
• RQ5 衝突問題を活用することで、古典的還元を超えて群の同型性の時間計算量をさらに改善できるか？

主な発見

• 合成系列の同型性への還元と、それに対する $n^{O(p)}$ アルゴリズムを活用することで、$p$-群の同型性に対して $n^{(1/2)\log_p n + O(1)}$ の決定的時間アルゴリズムを達成した。
• Sylow基底を用いて $p$-群の技術を一般化することで、一般の可解群に対しては $n^{(1/2)\log n + O(\log n / \log \log n)}$ 時間で実行されるアルゴリズムを得た。
• ランダム化アルゴリズムにより、衝突問題を活用することで指数を $1/4$ に低下させ、$n^{(1/4)\log n + O(1)}$ 時間を達成した。
• 量子アルゴリズムにより、衝突問題における量子高速化を活用し、指数を $1/6$ にさらに低下させ、$n^{(1/6)\log n + O(1)}$ 時間を達成した。
• 群の同型性から合成系列の同型性への還元はチューリング還元可能であり、正しさを保ちながらモジュラーなアルゴリズム設計を可能にした。
• 結果として、可解群の同型性が $n^{(1/2)\log n + O(\log n / \log \log n)}$ 時間で解けることが確立され、従来の $n^{\log n}$ バリアを著しく上回った。