[논문 리뷰] 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)|2026. 02. 02.

Stochastic processes and statistical mechanics인용 수 0

한 줄 요약

본 논문은 밀도 d<1/2인 임의군에서 항등원과 같아지는 공역의 곱들에 대해 길이의 예리한 불평등을 증명하고, 균일한 짧은 증거 배제와 너비–길이의 거래를 도출하며, 일阶 전이(transfer) 를 통해 고정 너비의 일반화된 비자원 배제를 유도한다.

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인 임의 군에서 일반화된 토션에 대한 정량적 제약을 동기화한다.
• 항등을 만족하는 tight 단어에서 켄주 원소들의 총 길이에 대한 예리한 하한을 도출한다.
• 일반화된 토션에 대한 짧은 증거 배제와 너비–길이 트레이드오프를 보인다.
• 기하학적 등거리성(등거리)과 일阶(일차) 전이를 연결하여 고정 너비의 배제를 얻는다.

제안 방법

• Ollivier의 예리한 등거리 부등식을 사용하여 van Kampen 도식의 2-셀에서 큰 경계 기여를 강제한다.
• 경계 길이를 이용한 경계 개수 산정 논리를 적용하여 tight 동형 표준형에서 경계 길이와 켄주 길이의 합을 관련시킨다.
• 일반 부등식 prove: W = ∏ h_i^{-1} g h_i = 1이 L 길이의 고정(relator length)인 표현에서 엄격한 선형 등거리성을 가질 때 sum |h_i| > (β/2) L - (n/2)|g|이다.
• Ollivier의 부등식과 큰 경계 면 보조정리를 결합하여 주요 상한을 얻는다.
• Kharlampovich–Miasnikov–Sklinos의 1차 전이 이론을 적용하여 고정 너비의 배제를 유도한다.

실험 결과

연구 질문

• RQ1 밀도 d<1/2에서 임의 군 안의 tight 곱에서 켄주 단어들의 길이 합에 대한 예리한 하한은 무엇인가?
• RQ2 모든 밀도 d<1/2에서 일반화된 토션에 대해 균일한 짧은 증거 배제와 너비–길이 트레이드오프가 성립하는가?
• RQ3 엄격한 선형 등거리 부등식이 tight conjugate normal form에 대한 일반적인 길이 불평등을 도출할 수 있는가?
• RQ4 일阶 전이 원칙이 밀도 d<1/2 전반에서 임의 군에 대해 고정 너비의 배제를 시사하는가?

주요 결과

• For every d<1/2, n≥1, and ε>0, with w.o.p. as L→∞, any tight word W = ∏_{i=1}^n h_i^{-1} g h_i = 1 satisfies sum |h_i| > (1-2d-ε) L/2 - (n/2)|g|.
• There is a corollary of short-witness exclusion: no tight relation with |g| ≤ (1-2d-ε)L/(2n) and sum |h_i| ≤ (1-2d-ε)L/4.
• There is a width–length tradeoff: n > ((1-2d-ε)L - 2 sum|h_i|)/|g| for tight relations; if |g| is bounded, n grows linearly with L under certain sum|h_i| conditions.
• Using first-order transfer, random groups at density d<1/2 have no generalized torsion of any fixed width n (w.o.p.).
• The results combine Ollivier’s sharp isoperimetric inequality with a boundary-counting argument to yield corridor-type lower bounds on sum |h_i|.