[论文解读] Growth and generation in SL_2(Z/pZ)

H. A. Helfgott|ArXiv.org|Sep 1, 2005

Limits and Structures in Graph Theory参考文献 8被引用 43

一句话总结

本文证明了在任意生成集下，$⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 的任意子集在群乘法下均迅速增长，证明了关于任意生成集的 Cayley 图的直径被有界于 $O((\log p)^c)$，其中 $c$ 为绝对常数。关键结果证实了 Babai 的猜想，表明每个元素均可表示为 $O((\log p)^c)$ 个生成元或其逆元的乘积，且常数与 $p$ 和生成集无关。

ABSTRACT

We show that every subset of SL_2(Z/pZ) grows rapidly when it acts on itself by the group operation. It follows readily that, for every set of generators A of SL_2(Z/pZ), every element of SL_2(Z/pZ) can be expressed as a product of at most O((log p)^c) elements of the union of A and A^{-1}, where c and the implied constant are absolute.

研究动机与目标

• 为解决 Babai 关于非交换有限单群 Cayley 图直径的猜想，重点关注 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$。
• 在不依赖生成集的前提下，为 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 的子集在乘法下的增长建立统一的多项式有界性。
• 证明 $\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中的每个元素均可表示为任意生成集 $A \cup A^{-1}$ 中 $O((\log p)^c)$ 个元素的乘积，其中 $c$ 和隐含常数为绝对常数。
• 通过组合方法证明 $⋯\mathbb{F}_p^*$ 中的和积现象，避免使用 Stepanov 等分析方法，并利用该结果推导出 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中的增长性质。

提出的方法

• 使用一个关键命题：若子集 $A \subset \operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 不包含于任何真子群中，且满足 $|A| < p^{3-\delta}$，则 $|A \cdot A \cdot A| > c|A|^{1+\epsilon}$，其中 $c, \epsilon > 0$ 为仅依赖于 $\delta$ 的绝对常数。
• 在 $\mathbb{F}_p^*$ 中应用和积估计，通过组合技巧而非解析数论来控制 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中乘积的增长。
• 通过分析 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中词方程 $w(g,h) = I$ 的解的数量，来限制无法生成该群的元素对的数量，利用多项式约束和次数分析。
• 采用计数论证，证明 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中几乎所有元素对都能生成该群，并产生无短环的 Cayley 图。
• 利用 Cayley 图中不存在短环的性质，通过迭代增长来界定直径：若无短环，则集合 $\{g,h\}^k$ 会迅速增长直至覆盖整个群。
• 应用关键命题的第 (b) 部分，得出对于任意生成对 $\{g,h\}$，所有元素均可表示为长度为 $O((\log p)^c)$ 的乘积，其中 $c$ 为绝对常数。

实验结果

研究问题

• RQ1 对于 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 的任意生成集，其 Cayley 图的直径是否可被 $p$ 的多对数函数有界？
• RQ2 对于不包含于任何真子群且满足 $|A| < p^{3-\delta}$ 的任意子集 $A \subset \operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$，其三重乘积是否迅速增长？
• RQ3 是否可能在不依赖谱隙或膨胀图理论的前提下，为 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 建立统一的直径有界性？
• RQ4 $⋯\mathbb{F}_p^*$ 中的和积现象在多大程度上可用于推导矩阵群（如 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$）中的增长性质？
• RQ5 在 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中，有多少比例的生成对会产生小直径的 Cayley 图？这一比例如何量化？

主要发现

• 对于任意生成集 $A$，Cayley 图 $\Gamma(\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z}), A)$ 的直径被有界于 $O((\log p)^c)$，其中 $c$ 为绝对常数。
• 对于任意不包含于真子群中且满足 $|A| < p^{3-\delta}$ 的子集 $A \subset \operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$，其三重乘积满足 $|A \cdot A \cdot A| > c|A|^{1+\epsilon}$，其中 $c, \epsilon > 0$ 仅依赖于 $\delta$。
• 对于任意满足 $|A| > p^{\delta}$ 的生成集 $A$，$⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 中的每个元素均可表示为 $A \cup A^{-1}$ 中至多 $k$ 个元素的乘积，其中 $k$ 仅依赖于 $\delta$。
• 随机游走的混合时间在 $\Gamma(\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z}), A)$ 上被有界于 $O(|A| (\log p)^{2c+1})$，其中 $c$ 和隐含常数为绝对常数。
• 对于随机生成对 $(g,h)$，Cayley 图 $\Gamma(\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z}), \{g,h\})$ 的直径为 $O(\log p)$，且当 $p \to \infty$ 时概率趋于 1，隐含常数为绝对常数。
• 无法生成 $⋯\operatorname{SL}_2(\mathbb{Z}/p\mathbb{Z})$ 或产生含短环图的对 $(g,h)$ 的集合大小为 $o(|\mathscr{C}_p|)$，其中 $\mathscr{C}_p$ 为生成对的集合。