[论文解读] Random Groups at Density $d<1/2$: Sharp Length Inequalities for Generalized Torsion and a Fixed-width Exclusion via First-order Transfer

Hyungryul Baik|arXiv (Cornell University)|Feb 2, 2026

Stochastic processes and statistical mechanics被引用 0

一句话总结

本文证明了在密度 d<1/2 的随机群中，等于单位元的共轭产物的尖锐长度不等式，给出统一的短证言排除与宽度–长度权衡，并通过一阶转移导出固定宽度的一般化扭矩排除。

ABSTRACT

Let $G$ be a random group in Gromov's density model $G(m,d,L)$ with $d&lt; frac12$. We prove a sharp quantitative constraint on products of conjugates equal to the identity: for every $n\ge1$ and $\varepsilon&gt;0$, with overwhelming probability as $L o\infty$, any tight word \[ W=\prod_{i=1}^n h_i^{-1} g h_i =1 \quad ext{in } G \] (with $g eq 1$ as a word) satisfies the inequality \[ \sum_{i=1}^n \len{h_i} \;&gt;\; \frac{1-2d-\varepsilon}{2}\,L \;-\; \frac{n}{2}\,\len{g}. \] The proof is a short van Kampen diagram argument: Ollivier's sharp isoperimetric inequality forces a 2-cell contributing a large portion of its boundary to the outer boundary, and a simple boundary block-counting estimate yields this corridor-type lower bound. As consequences we obtain uniform short-witness exclusions and width--length tradeoffs for generalized torsion at every density $d&lt; frac12$. We also deduce that random groups have no generalized torsion of any fixed width as a corollary of the recent first-order transfer theorem of Kharlampovich, Miasnikov, and Sklinos.

研究动机与目标

• 为在密度 d<1/2 的随机群中对一般化扭矩提供定量约束提供动机。
• 在等于单位元的紧致词中，导出共轭元素长度总和的严格下界。
• 展示包括短证词排除与宽度–长度权衡在一般化扭矩中的后果。
• 将几何等距性与一阶转移联系起来，以获得固定宽度的排除。

提出的方法

• 使用 Ollivier 的尖锐等距性不等式强制来自 van Kampen 图中一个 2-胞的边界贡献很大。
• 应用边界计数论证将边界长度与紧致共轭规范形式中共轭词长度之和联系起来。
• 证明一般不等式：若 W = ∏ h_i^{-1} g h_i = 1，在固定关系长度 L 的呈现和严格线性同伦性条件下，则 sum |h_i| > (β/2) L - (n/2)|g|。
• 结合 Ollivier 不等式与大边界面引理得到主界限。
• 利用 Kharlampovich–Miasnikov–Sklinos 的一阶转移定理推出固定宽度排除。

实验结果

研究问题

• RQ1 在密度 d<1/2 的随机群中，紧致积中共轭词长度之和的严格下界是多少？
• RQ2 在任意密度 d<1/2 下，是否存在 uniform 的短证词排除与宽度–长度权衡？
• RQ3 严格线性等距性是否能为紧致共轭规范形式给出一般长度不等式？
• RQ4 一阶转移原理是否意味着在 d<1/2 的随机群中存在固定宽度的排除？

主要发现

• 对于任意 d<1/2、n≥1 和 ε>0，且当 L 趋近无穷时以高概率满足，任意紧致词 W = ∏_{i=1}^n h_i^{-1} g h_i = 1 满足 sum |h_i| > (1-2d-ε) L/2 - (n/2)|g|。
• 短证词排除的一个推论是：若 |g| ≤ (1-2d-ε)L/(2n) 且 sum |h_i| ≤ (1-2d-ε)L/4，则不存在紧致关系。
• 存在宽度–长度权衡：对于紧致关系，n > ((1-2d-ε)L - 2 sum|h_i|)/|g|；若 |g| 有上界，在某些 sum|h_i| 条件下，n 相对于 L 线性增长。
• 利用一阶转移，在密度 d<1/2 的随机群没有任意固定宽度 n 的一般化扭矩（以高概率）。
• 结果将 Ollivier 的尖锐等距性与边界计数论证结合，给出关于 sum |h_i| 的走廊型下界。