[论文解读] Suzuki groups as expanders

Emmanuel Breuillard, Ben Green+1 more|arXiv (Cornell University)|May 5, 2010

Finite Group Theory Research参考文献 12被引用 4

一句话总结

本文证明了对于随机生成对，Suzuki群 $\operatorname{Sz}(q)$ 具有外尔图Cayley图，从而填补了所有非交换有限单群统一外尔图构造中的关键空白。通过概率方法与有限域上的代数几何，作者表明：随着 $q \to \infty$，以高概率随机选取的元素对能生成 $\operatorname{Sz}(q)$，并产生某个 $\varepsilon > 0$ 的 $\varepsilon$-外尔图，从而完成对所有此类群的统一外尔图结果。

ABSTRACT

We show that pairs of generators for the family Sz(q) of Suzuki groups may be selected so that the corresponding Cayley graphs are expanders. By combining this with several deep works of Kassabov, Lubotzky and Nikolov, this establishes that the family of all non-abelian finite simple groups can be made into expanders in a uniform fashion.

研究动机与目标

• 通过证明Suzuki群 $\operatorname{Sz}(q)$ 是外尔图，填补所有非交换有限单群统一外尔图构造中剩余的空白。
• 建立随机生成元对在 $\operatorname{Sz}(q)$ 中以概率趋近于1生成外尔图Cayley图的结果，当 $q \to \infty$ 时。
• 将Bourgain与Gamburd方法的框架扩展至Suzuki群，这些群缺乏 $\operatorname{SL}_2(q')$ 子群，因此先前技术难以适用。
• 证明 $\operatorname{Sz}(q)$ 中近似子群的Helfgott型结果可通过平凡子群或整个群控制，从而支持外尔图分析。

提出的方法

• 采用概率方法，证明当 $q \to \infty$ 时，随机选取的元素对 $a,b \in \operatorname{Sz}(q)$ 以高概率生成该群并形成 $\varepsilon$-外尔图。
• 利用 $\operatorname{Sz}(q)$ 是李型单群的事实，应用Helfgott型结果，确保任意 $K$-近似子群被 $\{\mathrm{id}\}$ 或 $\operatorname{Sz}(q)$ 以 $K^{O(1)}$ 的方式控制。
• 通过 $\mathbb{F}_q$ 上的多项式方程分析长度为 $\kappa \log q$ 的字方程 $w(a,b) = \mathrm{id}$，其中每个变量的次数为 $O(\log q)$，以限制解的数量。
• 应用引理4.2，限制随机对满足长度为 $\kappa \log q$ 的非平凡字的概率，证明其为 $O(q^{-1/2} \log q)$。
• 使用引理B.1，将非平凡多项式 $p \in \mathbb{F}_q[x,y]$（每个变量次数 $\leq d$）满足 $p(x, x^\theta) = 0$ 的解的数量上界为 $2d^2$，从而改进字解的上界。
• 结合这些上界与通过非集中性质的谱间隙准则，得出外尔图结论。

实验结果

研究问题

• RQ1 尽管Suzuki群 $\operatorname{Sz}(q)$ 缺乏 $\operatorname{SL}_2(q')$ 子群，是否能通过随机生成元证明其为外尔图？
• RQ2 在 $\operatorname{Sz}(q)$ 中，随机元素对生成该群并产生外尔图Cayley图的概率是多少？
• RQ3 如何将 $\operatorname{Sz}(q)$ 中近似子群的Helfgott型结构定理应用于确保外尔图性质？
• RQ4 能否使用 $\mathbb{F}_q$ 上的代数几何，有效控制 $\operatorname{Sz}(q)$ 中字方程 $w(a,b) = \mathrm{id}$ 的解的数量？
• RQ5 对 $p(x, x^\theta) = 0$ 的解数的上界能多大程度改进，以恢复更强的外尔图界？

主要发现

• 本文确立：对每个Suzuki群 $\operatorname{Sz}(q)$，存在 $\varepsilon > 0$，使得随机生成对 $a,b$ 以概率 $\to 1$（当 $q \to \infty$ 时）生成 $\varepsilon$-外尔图Cayley图 $\operatorname{Cay}(G, \{a^{\pm 1}, b^{\pm 1}\})$。
• 随机对 $a,b \in \operatorname{Sz}(q) \setminus B$ 满足长度为 $\kappa \log q$ 的字 $w$ 使得 $w(a,b) = \mathrm{id}$ 的概率被限制为 $O(q^{\kappa \log 3 - 1/2} \log q)$，当 $\kappa < 1/(2 \log 3)$ 时，该概率趋于0。
• 对于非平凡多项式 $p \in \mathbb{F}_q[x,y]$（每个变量次数 $\leq d$），方程 $p(x, x^\theta) = 0$ 的解数至多为 $2d^2$，如引理B.1所示。
• Suzuki群 $\operatorname{Sz}(q)$ 的Helfgott型结果表明：任何生成群的 $K$-近似子群，均被 $\{\mathrm{id}\}$ 或 $\operatorname{Sz}(q)$ 以 $K^{O(1)}$ 的方式控制，从而支持外尔图论证。
• 作者确认：所有非交换有限单群的族可被统一构造为外尔图，Suzuki群现已完整包含在内，从而完成定理1.1。
• 尽管方法为概率性，未给出显式的 $\varepsilon$，但结果表明 $k=4$ 个生成元已足够实现外尔图，且原则上可通过用有效代数几何替代超滤子论证，推导出有效界。