[论文解读] 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 子群上的分块对角结构。
• 使用第 4 节中专门设计的算法，在 Sylow p-子群上逐块测试这些矩阵的共轭性。
• 当找到共轭关系时，利用命题 5.1 中的同构条件，显式构造同构映射。

实验结果

研究问题

• RQ1 能否使用黑箱群运算在近乎线性时间内测试类 S 中非交换群之间的同构性？
• RQ2 是否存在一种结构不变量（如标准分解），可将同构性问题高效约化为自同构群中的共轭性测试？
• RQ3 在阶互质的群扩张背景下，能否高效测试由群生成元诱导的自同构的共轭性？
• RQ4 该类群同构性测试的复杂度是否与阿贝尔群的已知界相当或更优？
• RQ5 能否在不依赖指数时间的上同调或自同构群计算的前提下，使该算法既确定又高效？

主要发现

• 本文提出了一种针对类 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 中的分块对角矩阵共轭性解法。
• 该方法避免了在自同构群或上同调群中进行指数时间计算，为现有启发式或不切实际的方法提供了严谨且高效的替代方案。