Open Research Index

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

Hyungryul Baik

arXivarxiv/2602.02183Feb 2, 2026math.GRscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.02183
curl -X POST /api/v1/records/arxiv/2602.02183/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.02183/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'