[論文レビュー] 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 のランダム群における一般化ねじれの定量的制約を動機付ける。
• 恒等に等しい厳密語の総共役長の下界を導出する。
• 一般化ねじれについて短証拠排除および幅–長さのトレードオフといった consequence を示す。
• 幾何的等周性と第一階転送を結びつけて固定幅の排除を得る。

提案手法

• 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 におけるランダム群内での厳密な積 W = ∏ h_i^{-1} g h_i = 1 に対する共役語の長さ和の鋭い下界はいくらか。
• RQ2 uniform な短証拠排除と幅–長さのトレードオフは各密度 d<1/2 で成り立つのか。
• RQ3 厳密線形等周不等式は厳密な長さ不等式を厳格に導くのか。
• RQ4 第一階転送原理は密度 d<1/2 のランダム群に対して固定幅排除を示すのか。

主な発見

• どの d<1/2, n≥1, ε>0 に対しても、w.o.p. のもとで L→∞ のとき tight word 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 を満たす tight relation は存在しない。
• 幅–長さのトレードオフ：tight 関係に対して n > ((1-2d-ε)L - 2 sum|h_i|)/|g|。|g| が有界なら sum|h_i| の条件の下で n は L とともに線形に増加。
• 第一階転送を用いると、密度 d<1/2 のランダム群は任意の固定幅 n の一般化ねじれを w.o.p. 存在しない。
• 結果は Ollivier の鋭い等周不等式と境界カウント論を組み合わせて、sum |h_i| の廊下型下界を導く。