[论文解读] Computing twisted conjugacy classes in free groups using nilpotent quotients

P. Christopher Staecker|ArXiv.org|Sep 27, 2007

Geometric and Algebraic Topology参考文献 10被引用 4

一句话总结

本文提出了一种新颖的代数方法，通过使用幂零商群来计算自由群中的扭曲共轭类，推广了阿贝尔化方法。通过将群元素投影到越来越高的幂零商群中，该方法显著提高了区分扭曲共轭类的成功率——在许多情况下成功率达到99%以上——并通过Magma中的实验结果证明了其有效性。

ABSTRACT

There currently exists no algebraic algorithm for computing twisted conjugacy classes in free groups. We propose a new technique for deciding twisted conjugacy relations using nilpotent quotients. Our technique is generalization of the common abelianization method, but admits significantly greater rates of success. We present experimental results demonstrating the efficacy of the technique, and detail how it can be applied the related settings of surface groups and doubly twisted conjugacy.

研究动机与目标

• 开发一种可推广的代数技术，用于计算自由群中的扭曲共轭类，因为目前文献中尚无此类算法。
• 通过使用更高阶的幂零商群扩展阿贝尔化方法，以增强区分能力，而阿贝尔化方法仅能在阿贝尔商群中区分类。
• 提供一种实际可行、可在现有计算机代数系统（如Magma）中实现的计算方法。
• 通过在随机生成的扭曲共轭关系上进行实验，证明该方法的有效性。
• 将该技术扩展至相关问题，包括双重扭曲共轭和曲面群。

提出的方法

• 该方法将自由群的元素投影到幂零类递增的幂零商群中，以检验扭曲共轭关系。
• 通过使用自由群的下中央列商群，推广了阿贝尔化技术，其中扭曲共轭关系可通过在Z上的线性代数进行检验。
• 对于给定的自同态φ以及元素g、h，该方法通过求解线性方程组来检验φ(z)gz⁻¹ = h是否在幂零商群中成立。
• 该技术使用Magma编程语言执行计算，尤其适用于人工计算不可行的高幂零类。
• 当幂零商群中的方程组无解时，可确认元素不是扭曲共轭的。
• 若方程组有解，则方法继续推进到更高阶的商群以增强置信度，成功率随计算深度增加而提高。

实验结果

研究问题

• RQ1 能否通过幂零商群（超越阿贝尔化）有效区分自由群中的扭曲共轭类？
• RQ2 与阿贝尔化相比，使用更高阶幂零商群检测非扭曲共轭元素的成功率如何提升？
• RQ3 该方法在实际应用中的计算可行性与可靠性如何，特别是在随机生成的群元素情况下？
• RQ4 该方法能否扩展至处理双重扭曲共轭关系和曲面群？
• RQ5 该方法在何种情况下会失效，以及此类情况如何被识别或解决？

主要发现

• 当余域秩大于定义域秩时，该方法在区分非扭曲共轭元素方面成功率超过99%，尤其在二阶幂零商群中表现突出。
• 对于从秩3自由群到秩5自由群的映射，成功率高达99.71%，仅0.29%的复杂度失败，表明在超定系统中具有极高可靠性。
• 当定义域秩大于余域秩时（如从秩4到秩2），成功率降至14.56%，原因在于线性系统为欠定，具有无穷多解。
• 在k₁ = k₂ = 2的情况下，该方法在92.32%的测试案例中成功，另有3.55%的矩阵失败和4.13%的复杂度失败。
• 所有测试中计算的平均深度为1.03，表明大多数关系在阿贝尔化或二阶幂零商群中即被解决。
• 当k₂ > k₁时，该技术尤其有效，因为高阶商群中的超定线性系统使得误报可能性极低，即使在低幂零类下也能实现高成功率。