[论文解读] 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），为巴拜准多项式图同构算法中的一个关键群论引理提供了无需CFSG的证明，从而在不依赖施莱歇尔假设或CFSG的前提下，建立了传递置换群中点稳定子群的阿贝尔合成因子数量的准多项式界。

ABSTRACT

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

研究动机与目标

• 在巴拜的准多项式图同构算法中消除对有限单群分类定理（CFSG）的依赖。
• 为巴拜引理8.5的一个弱化版本提供无CFSG的证明，该引理是算法群论部分的核心。
• 在不使用施莱歇尔假设的前提下，建立传递置换群中点稳定子群的阿贝尔合成因子数量的准多项式界。
• 证明魏兰特定理关于置换群的结果足以替代算法分析中基于CFSG的论证。
• 确保巴拜算法在更弱、更初等的群论基础下依然正确且完整。

提出的方法

• 利用魏兰特定理对置换群的结果分析子轨道与轨道，替代依赖CFSG的论证。
• 基于合成列与次正规链的归纳论证，以界定阿贝尔合成因子的数量。
• 利用乔尔丹引理由于本原群中点稳定子的素因子，以控制置换群的结构。
• 利用群阶的不同素因子乘积受 $ n^{ ext{polylog}(n)} $ 控制的事实，以控制指数与合成因子计数。
• 通过块系统与商群将问题约化为分析本原群与传递群，对更小次数应用归纳界。
• 应用前 $ m $ 个素数之和的界，当假设商群中存在大量阿贝尔合成因子时导出矛盾。

实验结果

研究问题

• RQ1 巴拜的准多项式GI算法能否在不牺牲准多项式界的前提下，实现对有限单群分类定理（CFSG）的独立？
• RQ2 魏兰特定理由于置换群是否足以替代巴拜算法群论核心中的施莱歇尔假设？
• RQ3 在无CFSG的前提下，传递置换群中点稳定子的阿贝尔合成因子数量的最佳可能准多项式界是什么？
• RQ4 能否仅使用初等群论工具，在无CFSG的前提下证明巴拜引理8.5的一个弱化版本？
• RQ5 在分析中省略CFSG是否会影响巴拜GI算法的正确性或效率？

主要发现

• 为巴拜引理8.5的一个弱化版本给出了无CFSG的证明，以魏兰特定理替代了施莱歇尔假设的使用。
• 在次数为 $ 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，巴拜算法仍保持准多项式时间复杂度，因为该界与原始算法运行时间一致。