[论文解读] The mean Dehn function of abelian groups

Oleg Bogopolski, Enric Ventura|ArXiv.org|Jun 12, 2006

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

一句话总结

本文使用初等计数方法计算了有限生成阿贝尔群的平均德恩函数，表明三种变体——$D_{osmean}(n)$、$D_{smean}(n)$ 和 $D_{mean}(n)$——均被 $Kn(\ln n)^2$ 上界控制，其中 $K$ 仅依赖于群的表示和测地线组合。该结果改进了早期的次二次界，并证实了格罗莫夫的猜想：平均德恩函数的增长显著慢于标准德恩函数。

ABSTRACT

While Dehn functions, D(n), of finitely presented groups are very well studied in the literature, mean Dehn functions are much less considered. M. Gromov introduced the notion of mean Dehn function of a group, $D_{mean}(n)$, suggesting that in many cases it should grow much more slowly than the Dehn function itself. Using only elementary counting methods, this paper presents some computations pointing into this direction. Particularizing them to the case of any finite presentation of a finitely generated abelian group (for which it is well known that $D(n)\sim n^2$ except in the 1-dimensional case), we show that the three variations $D_{osmean}(n)$, $D_{smean}(n)$ and $D_{mean}(n)$ all are bounded above by $Kn(\ln n)^2$, where the constant $K$ depends only on the presentation (and the geodesic combing) chosen. This improves an earlier bound given by Kukina and Roman'kov.

研究动机与目标

• 研究有限生成阿贝尔群中平均德恩函数的增长率，这些群的研究远少于标准德恩函数。
• 为平均德恩函数的三种变体 $D_{osmean}(n)$、$D_{smean}(n)$ 和 $D_{mean}(n)$ 提供显式上界。
• 确认格罗莫夫的猜想：平均德恩函数的增长远慢于标准德恩函数，尤其是在阿贝尔群中。
• 使用初等计数技术和对凯莱图中字路径的组合估计，推导渐近界。
• 改进库金娜与罗曼丘克对阿贝尔群平均德恩函数的早期次二次界。

提出的方法

• 作者基于在自由幺半群 $A^*$ 中长度为 $n$ 的字的平均，定义了平均德恩函数的三种变体：$D_{osmean}(n)$、$D_{smean}(n)$ 和 $D_{mean}(n)$。
• 他们利用群关于有限生成集的凯莱图，来建模自由幺半群中字对应的路径。
• 分析依赖于对 $\mathbb{Z}^r$ 的凯莱图中无回溯路径（即测地线）的计数，使用 Sharp（2001）给出的已知渐近公式 $\mathcal{N}_v'(n)$，即终点为给定群元素 $v$ 的此类路径的数量。
• 他们应用斯特林公式和中心二项式系数的渐近估计，分析 $\mathbb{Z}^2$ 中长度为偶数的闭合路径数量，这些路径对应于表示单位元的字。
• 关键的技术步骤是利用阿贝尔表示的结构和 $D(n) \sim n^2$ 的事实，对表示单位元且面积较小的非约化字的数量进行上界估计。
• 最终的界通过将这些路径计数估计与在球面 $S_G(n)$ 上的平均化论证相结合而导出，该球面包含在群 $G$ 中求值为单位元的长度为 $n$ 的字。

实验结果

研究问题

• RQ1 对于有限生成阿贝尔群，平均德恩函数 $D_{osmean}(n)$、$D_{smean}(n)$ 和 $D_{mean}(n)$ 如何增长？
• RQ2 初等计数方法能否如格罗莫夫所猜想的那样，为平均德恩函数提供次二次界？
• RQ3 在阿贝尔群中，特别是 $\mathbb{Z}^r$ 中，平均德恩函数的精确渐近行为是什么？
• RQ4 平均德恩函数与阿贝尔群中的标准德恩函数 $D(n) \sim n^2$ 相比如何？
• RQ5 能否使用凯莱图中的路径计数技术，有效界定表示单位元的短面积字的数量？

主要发现

• 对于任意有限生成阿贝尔群的有限表示，平均德恩函数 $D_{osmean}(n)$、$D_{smean}(n)$ 和 $D_{mean}(n)$ 均被上界 $Kn(\ln n)^2$ 控制，其中 $K$ 仅依赖于群的表示和所选的测地线组合。
• 该界改进了库金娜与罗曼丘克对阿贝尔群平均德恩函数的早期次二次界。
• 对于 $\mathbb{Z}^2$ 的情形，长度为 $2n$ 且无回溯的闭合路径数量渐近为 $f_{2n} \sim \frac{4}{3(\sqrt{3}+1)\pi} \cdot \frac{3^{2n}}{2n}$，该结果由 Sharp 的局部极限定理导出。
• 利用 $\mathbb{Z}^r$ 中测地线路径的渐近行为，估计了表示单位元且面积较小的长度为 $n$ 的字的数量，这是控制平均德恩函数的核心。
• 作者证实平均德恩函数的增长严格慢于标准德恩函数 $D(n) \sim n^2$，支持了格罗莫夫关于平均德恩函数缓慢增长的猜想。
• 通过凯莱图中路径计数的初等计数和组合估计，建立了 $O(n(\ln n)^2)$ 的界，而无需使用高级几何或概率工具。