[论文解读] Delzant's T-invariant, one-relator groups and Kolmogorov complexity

Ilya Kapovich, Paul E. Schupp|arXiv (Cornell University)|May 25, 2003

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

一句话总结

本文证明，对于‘几乎所有’的一 relator 群，Delzant 的 T-不变量——衡量最小有限表示规模的量——与定义关系式的长度渐近等价。利用通用一 relator 群的同构刚性以及 Kolmogorov-Chaitin 复杂度，作者推导出具有循环约化关系式长度为 n 的 k-生成元一 relator 群的同构类数量的渐近公式：$ I_{k,n} \sim \frac{(2k-1)^n}{nk!2^{k+1}} $。

ABSTRACT

We prove that ``almost generically'' for a one-relator group Delzant's $T$-invariant (which measures the smallest size of a finite presentation for a group) is comparable in magnitude with the length of the defining relator. The proof relies on our previous results regarding isomorphism rigidity of generic one-relator groups and on the methods of the theory of Kolmogorov-Chaitin complexity. We also give a precise asymptotic estimate (when $k$ is fixed and $n$ goes to infinity) for the number $I_{k,n}$ of isomorphism classes of $k$-generator one-relator groups with a cyclically reduced defining relator of length $n$: \[ I_{k,n}\sim \frac{(2k-1)^n}{nk!2^{k+1}}. \] Here $f(n)\sim g(n)$ means that $\lim_{n o\infty} f(n)/g(n)=1$.

研究动机与目标

• 确定具有循环约化关系式长度为 n 的 k-生成元一 relator 群的同构类的渐近增长速率。
• 研究通用一 relator 群中 Delzant 的 T-不变量的行为。
• 在几乎所有一 relator 群中，建立 T-不变量与定义关系式长度之间的定量关系。
• 将 Kolmogorov-Chaitin 复杂度的方法应用于一 relator 群中的群论问题。

提出的方法

• 利用通用一 relator 群的同构刚性结果，简化其结构分析。
• 应用 Kolmogorov-Chaitin 复杂度的技术，以限制不同表示的数量。
• 使用渐近枚举方法，估算一 relator 群的同构类数量。
• 通过组合与复杂度理论的论证，推导出渐近公式 $ I_{k,n} \sim \frac{(2k-1)^n}{nk!2^{k+1}} $。
• 通过将 T-不变量与通用一 relator 群的最小表示规模相关联，分析 T-不变量。
• 证明在一般情况下，T-不变量在数量级上与定义关系式的长度可比较。

实验结果

研究问题

• RQ1 具有循环约化关系式长度为 n 的 k-生成元一 relator 群的同构类的渐近数量是多少？
• RQ2 在通用一 relator 群中，Delzant 的 T-不变量相对于定义关系式长度如何变化？
• RQ3 Kolmogorov-Chaitin 复杂度在多大程度上可用于分析一 relator 群中的同构类型？
• RQ4 一 relator 群是否存在结构约束，使得其在一般情况下 T-不变量具有可预测性？
• RQ5 当 n 趋于无穷大而 k 固定时，$ I_{k,n} $ 的精确渐近增长速率是什么？

主要发现

• 具有循环约化关系式长度为 n 的 k-生成元一 relator 群的同构类数量满足 $ I_{k,n} \sim \frac{(2k-1)^n}{nk!2^{k+1}} $，当 n → ∞ 时。
• 对于‘几乎所有’的一 relator 群，Delzant 的 T-不变量与定义关系式长度渐近可比较。
• 通过同构刚性与 Kolmogorov-Chaitin 复杂度技术，推导出 $ I_{k,n} $ 的渐近公式。
• 在一般情况下，T-不变量与关系式长度成正比增长，表明最小表示复杂度与关系式长度紧密关联。
• 该结果证实了通用一 relator 群在同构类型上具有强烈的结构性规律。
• 分析表明，不同同构类型的数量随 n 指数增长，但受 $ nk!2^{k+1} $ 因子抑制。