问题
沃尔夫定理（1968）：多项式增长的 fg 群 ⟺ 虚拟幂零。格里戈丘克（1984）构造出第一个中间增长群（比任何多项式快、比任何指数慢），打破了 «非多项式即指数» 的预期。此后奥尔什基扬斯基给出 «任意接近指数» 的中间构造。开放的核心：增长函数的等价类（拟等距意义下）的完整谱——哪些 «形状» 可能、哪些不可能、极限集长什么样——全部未明。
主要概念
增长函数与等价
γ(r) = 球半径 r 内的元素数；不同生成集给出 «拟等价»（互相除以常数因子界住）的 γ。增长率为 lim γ(r)1/r：多项式群率 = 1，自由群率 = 2k−1。
格里戈丘克机器：自相似（自动化）群
群作用在 2^ℕ 的二叉树上，生成元由 «轮换递归»（wreath recursion）定义。核心现象：递归的 «收缩» 使增长 «自我抑制»——每次递归把 «规模» 乘一个 < 1 的因子，累积出 e√n 型的 «次指数»。
主要命题与证明
命题 1（完整构造） 格里戈丘克群 Γ = ⟨a, b, c, d⟩ 作用在二叉树上，轮换递归：
构造展开 含义：a 交换树的左右子树；b, c, d 固定根、递归到子树（括号对给出元素在两个子树上的行为）。核心引理：⟨b, c, d⟩ 的每个元素固定 «0…0 与 1…1 型» 的射线，且平方映射 (·)² 把 ⟨b, c, d⟩ 映入其 «第二层»（更深层的自相似副本）；迭代 n 层即得 «长度 2n 的字 = 恒等» 的指数坍缩——这既是周期性的来源，也是增长被 «自我抑制» 的机制。□
命题 2（格里戈丘克 1984，完整陈述） Γ 无限、有限生成（4 元）、周期（每元素阶为 2 的幂）且中间增长：存在 α < 1 使 γ(r) ≤ erα（当前最佳 α ≈ 0.7678）且 γ(r) ≥ erβ（最佳下界 β ≈ 0.5172，两者均为 Bartholdi 在 2010 年代定型的精细谱半径计算）。它是第一个 «非多项式且非指数» 的 fg 群。□
命题 3（沃尔夫定理，完整陈述与证明骨架） fg 群多项式增长 ⟺ 虚拟幂零。
骨架 ⟸ 平凡。⟸⟸ 方向（格罗莫夫 1981 的菲尔兹奖证明）：多项式增长 ⟹ «低重数覆盖» 引理（存在有限集使 «大比例的点有相同的祖先»）⟹ 递归构造 «严格下降的指标子群链»，链长 ⟹ 指数，矛盾 ⟹ 有交换的有限指数子群；归纳收敛到虚拟幂零。□
进展与文献
Grigorchuk 1984（Mat. Sb.）；de la Harpe《Topics in geometric group theory》的第 VIII 章；Bartholdi–Erschler 的 «增长光谱» 构造（2011–）：对 «每个中间函数类» 构造实现群，显示谱 «向上密»。开放核心：①格里戈丘克群的增长函数的精确渐近（40 年悬案——连 «γ(r) 与 e^{r^α} 是否同阶» 都未定）；②中间增长率能否取遍 (1, ∞) 的一切值（目前已知率集 «稠密但有洞»）；③增长与 «黎曼几何可实现性»（«哪些中间增长群是流形基本群»）。