[论文解读] The computational complexity of recognising embeddings, and a universal finitely presented torsion-free group

Maurice Chiodo|arXiv (Cornell University)|Jul 7, 2011

semigroups and automata theory被引用 3

一句话总结

本文提出了一种统一的算法，可将任意递归群表示转换为无挠递归表示，当输入本身已是无挠时保持同构。利用该构造，证明了存在一个通用的有限表示无挠群，并确定群嵌入问题的计算复杂度为 $Π^{0}_{2}$-难、$Σ^{0}_{2}$-难，且属于 $Σ^{0}_{3}$ 类，同时刻画了无挠元素阶的集合恰好为在取因子下封闭的 $Σ^{0}_{2}$ 集合。

ABSTRACT

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known result, the existence of a universal finitely presented torsion-free group; one into which all finitely presented torsion-free groups embed. We apply our techniques to show that recognising embeddability of finitely presented groups is $\Pi^{0}_{2}$-hard, $\Sigma^{0}_{2}$-hard, and lies in $\Sigma^{0}_{3}$. We also show that the sets of orders of torsion elements of finitely presented groups are precisely the $\Sigma^{0}_{2}$ sets which are closed under taking factors.

研究动机与目标

• 构建一种从任意递归群表示到无挠递归表示的统一、递归变换，当输入为无挠时保持同构。
• 利用该构造重新推导出一个通用的有限表示无挠群的存在性。
• 确定判断一个有限表示群是否可嵌入另一个有限表示群的计算复杂度。
• 将有限表示群中无挠元素阶的集合刻画为恰好在取因子下封闭的 $Σ^{0}_{2}$ 集合。

提出的方法

• 本文使用一种递归构造，通过引入新生成元和关系来修改给定的递归表示，以消除无挠元素。
• 应用类似 Higman 的嵌入技术，通过递归过程将原群嵌入到一个无挠群中。
• 该构造确保若原群为无挠，则所得群与之同构，从而保持群论结构。
• 利用可计算性理论的结果分析嵌入问题的复杂度，将其置于 $Σ^{0}_{3}$ 类，并证明其在 $Π^{0}_{2}$ 和 $Σ^{0}_{2}$ 下均为难问题。
• 通过证明无挠元素阶的集合构成一个在取因子下封闭的 $Σ^{0}_{2}$ 集，并证明该刻画是紧致的，分析了该集合。
• 结合群论构造与算术层级中的可定义性，建立复杂度界限与结构刻画。

实验结果

研究问题

• RQ1 能否构造一种统一的递归变换，将任意递归群表示转换为无挠递归表示，且当输入为无挠时保持同构？
• RQ2 该构造是否可推出存在一个通用的有限表示无挠群？
• RQ3 判断一个有限表示群是否可嵌入另一个有限表示群的计算复杂度为何？
• RQ4 哪些正整数集合可作为某个有限表示群中无挠元素阶的集合出现？
• RQ5 无挠元素阶的集合是否恰好为在取因子下封闭的 $Σ^{0}_{2}$ 集合？

主要发现

• 本文构造了一个从递归表示到无挠递归表示的递归统一映射，当输入为无挠时该映射为同构。
• 重新确立了存在一个通用的有限表示无挠群，使得所有有限表示无挠群均可嵌入其中。
• 群嵌入识别问题被证明为 $Π^{0}_{2}$-难、$Σ^{0}_{2}$-难，且属于 $Σ^{0}_{3}$ 类，从而精确确定了其在算术层级中的位置。
• 任意有限表示群中无挠元素阶的集合是一个在取因子下封闭的 $Σ^{0}_{2}$ 集合。
• 反之，每个在取因子下封闭的 $Σ^{0}_{2}$ 集合均可作为某个有限表示群中无挠元素阶的集合出现。
• 这些结果通过可计算性理论方法，对有限表示群中无挠元素阶的可能集合提供了完整的刻画。