[论文解读] Generating tuples of integers modulo the action of a permutation group and applications

Nicolas Borie|arXiv (Cornell University)|Nov 27, 2012

Polynomial and algebraic computation参考文献 9被引用 4

一句话总结

本文提出了一种高效算法，用于在置换群作用下枚举整数向量的模等价类，基于字典序的规范形式和基于树的生成策略。该方法在计算不变量理论和有效伽罗瓦理论中实现了显著的性能提升，基准测试表明其能高效处理至度数10的群，并计算出此前难以处理的不变量。

ABSTRACT

Originally motivated by algebraic invariant theory, we present an algorithm to enumerate integer vectors modulo the action of a permutation group. This problem generalizes the generation of unlabeled graph up to an isomorphism. In this paper, we present the full development of a generation engine by describing the related theory, establishing a mathematical and practical complexity, and exposing some benchmarks. We next show two applications to effective invariant theory and effective Galois theory.

研究动机与目标

• 开发一种实用且高效的算法，用于在置换群作用下生成整数向量的同构类代表。
• 解决在不变量理论和伽罗瓦理论应用中枚举轨道的计算挑战。
• 提供一种可扩展的解决方案，用于在群作用下生成整数向量的规范代表。
• 实现计算代数中此前因现有方法不可行而无法计算的次不变量和本原不变量。

提出的方法

• 该算法使用树结构，其中每个向量的父节点通过将其最后一个非零条目减一来定义，从而实现系统的遍历。
• 若一个向量在其群作用下的轨道中字典序最大，则其为规范向量，从而可在不完整计算轨道的情况下选择轨道代表。
• 该方法在规范向量上采用前缀树（trie）结构，确保仅生成规范向量，避免冗余检查。
• 它结合了稳定子细化：对每个候选向量，计算其轨道的稳定子，并与当前的稳定子链相交以细化搜索。
• 该算法采用树的深度优先遍历，当当前稳定子不是目标群的真子群时，剪枝子树。
• 实现通过Cython在Sage中进行了优化，利用了现有的代数组合学和群论库。

实验结果

研究问题

• RQ1 如何在避免完整轨道计算的前提下，高效枚举置换群作用下的整数向量？
• RQ2 在群作用下生成规范代表的理论与实际复杂度是什么？
• RQ3 该方法能否显著提升计算不变量理论中次不变量的效率？
• RQ4 它能否用于计算置换群的最小次数本原不变量，特别是超出文献已知范围的情况？
• RQ5 与暴力轨道枚举相比，基于树的规范生成策略在多大程度上降低了计算成本？

主要发现

• 该算法成功计算了14个变量上第61个本真置换群（阶为50,803,200）的次不变量，从1,716个总数中生成了28个不可约次不变量，该计算使用格罗布纳基方法不可行。
• 通过使用规范向量，搜索空间减少了约|G|倍，实证性能接近理论预期。
• 算法2在不到一小时内计算出S₁₀所有子群的最小次数本原不变量，扩展了文献范围，此前文献仅覆盖到度数7或8。
• 基准测试显示，传递群的平均计算时间从度数1的0.008秒增加到度数9的27.093秒，表现出良好的可扩展性。
• 在Sage（从4.7版本起）中的实现稳定、高度优化，并已集成到Sage-Combinat和GAP生态系统中。