[论文解读] 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}$ 时间瓶颈。针对 $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}$ 时间瓶颈。