问题
格罗莫夫密度模型 Γ(k, d)：固定 k ≥ 2 个生成元，随机取 (2k−1)dL 条长为 L（→∞）的既约循环字作为关系。密度 d ∈ [0, 1] 参数化 «关系密度»。已知：(d < 1/2) 时随机群以指数 1 概率双曲、非平凡；(d > 1/2) 时以指数 1 概率平凡或 ℤ/2。本问问：恰好 d = 1/2 处的行为（是否仍双曲？是否平凡？），以及相变是否 «锐利»（阈值附近有无中间相）。
主要概念
密度模型与指数刻度
长 L 的既约循环字共 (2k−1)L 条；取其中 (2k−1)dL 条，即 «指数 d» 的随机子集。两条长 L 字 «共享一段长 ≥ ℓ 的片段» 的概率以 (2k−1)−ℓ 刻度衰减——片段数（«片元 »）是控制小消去的量。
小消去与双曲性
关系集满足 C′(ε) 条件（任何关系与另一关系的公共片段长 ≤ ε·长）时，商群双曲（Dehn 表现判据）。密度模型的机制：长关系内部 «自我共享» 的片段至多 dL 型长度（由计数论证），故 d < 1/2 时长关系集体满足 C′(ε)（ε 略大于 d）。
主要命题与证明
命题 1（d < 1/2 ⟹ 双曲，完整骨架） 密度 d < 1/2 时，随机群以指数 1 概率双曲且非平凡（无限）。
骨架 ①计数：长 L 字中含 «给定长 ℓ 片段» 者至多 (2k−1)L−ℓ·L 条，故关系集中 «两关系共享长 ≥ ℓ 片段» 的概率 ≤ (2k−1)2dL−ℓ·L²；取 ℓ = (1/2 − d + δ)L，指数为负 ⟹ 指数 1 概率无此共享。②自我共享（一个关系内部两处出现同一长片段）同法控制。③于是关系集满足 C′(ε)（ε = 1/2 − d + δ < 1/2），由小消去–Dehn 判据：d > 0 时关系长趋于无穷且 C′(ε) 群双曲。④非平凡：C′(ε)、ε < 1/6 的双曲群不可能是有限群非循环情形（有限双曲小消去群的生成元阶受限），且随机关系不含 «单生成元的幂 » 型关系，故群无限。□
命题 2（d > 1/2 ⟹ 平凡或 ℤ/2，严格梗概） 密度 d > 1/2 时，随机群以指数 1 概率平凡或 ℤ/2ℤ（格罗莫夫；达马尼–吉拉尔德–奥辛给出显式定量）。
梗概 关键机制：关系密度超过一半后，«长关系太挤»，随机群中每个既约字 w（长 ≤ cL）都能被关系 «重写» 缩短——具体地，以指数 1 概率，任何生成元 x 都满足 «x 等于其他生成元的乘积 » 型关系链，归纳消去一切生成元；唯一逃逸是 «全体关系都是偶结构 »（生成元全同余 ±1），给出 ℤ/2。达马尼–吉拉尔德–奥辛的定量版：存在 c = c(d, k) 使长 ≤ cL 的字以指数 1 概率全部平凡。□
命题 3（临界线 d = 1/2 的空白，诚实陈述） 对 d = 1/2：没有任何已知结果确定随机群以何概率平凡、以何概率双曲。 «相变锐利性 »（是否存在中间相、阈值两侧精细结构）完全开放。
障碍说明 两侧证明都依赖 «指数差 » 的缓冲：命题 1 需要指数余量（1/2 − d）> 0，命题 2 同理。恰好取等时，计数论证的误差项（长度 L 上的多项式因子）与主项同阶，所有已知手段失效。这与 Erdős–Rényi 随机图在 p = (log n)/n 型临界窗的 «精细相变 » 形成漂亮对照：图论那边有博尔罗巴什阈值定理收口，群这边连 «单调性 »（d 增大 ⟹ 群 «更小» 是否真确）都缺工具。□
进展与文献
格罗莫夫《Asymptotic invariants of infinite groups》§9（模型与两侧陈述）；奥尔什基扬斯基（d < 1/2 的周期变体）；Champetier（概率双曲性的系统化）；Ollivier《A January 2005 invitation to random groups》（教科书级处理，命题 1 骨架出自其中）；Dahmani–Guirardel–Osin（d > 1/2 的定量平凡化与随机群的剩余有限性等推论）。与本册问题 04（一关系群）及图论分册的随机结构问题呼应；临界 d = 1/2 被视为几何群论的 «费马大定理级 » 空白之一。