{"id":"arxiv/2602.02183","url":"https://arxiv.org/abs/2602.02183","tags":["math.GR","math.GT"],"score":0,"title":"Random Groups at Density $d<1/2$: Sharp Length Inequalities for Generalized Torsion and a Fixed-width Exclusion via First-order Transfer","domain":"math.GR","source":"arxiv","authors":["Hyungryul Baik"],"reviews":0,"subject":"math.GR","summary":"Let $G$ be a random group in Gromov's density model $G(m,d,L)$ with $d 0$, with overwhelming probability as $L\\to\\infty$, any tight word \\[ W=\\prod_{i=1}^n h_i^{-1} g h_i =1 \\quad\\text{in } G \\] (with $g\\neq 1$ as a word) satisfies the inequality \\[ \\sum_{i=1}^n \\len{h_i} \\;>\\; \\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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-02","reactions":{}}