[论文解读] Expansion in finite simple groups of Lie type

Emmanuel Breuillard, Ben Green+2 more|arXiv (Cornell University)|Sep 8, 2013

Finite Group Theory Research参考文献 64被引用 5

一句话总结

该论文证明，在固定秩的有限单李型群中，随机元素对以高概率生成膨胀的凯莱图。利用Bourgain-Gamburd方法及其合作者论文[ BGGT ]中的结果，作者建立了这些群的谱膨胀，表明随着域大小的增长，其相关的随机凯莱图形成膨胀家族，且膨胀常数在群大小上一致（固定秩下）。

ABSTRACT

We show that random Cayley graphs of finite simple (or semisimple) groups of Lie type of fixed rank are expanders. The proofs are based on the Bourgain-Gamburd method and on the main result of our companion paper, establishing strongly dense subgroups in simple algebraic groups.

研究动机与目标

• 建立固定秩的有限单李型群中，随机元素对生成膨胀凯莱图的结论。
• 将Bourgain-Gamburd方法扩展至固定有界秩的有限单李型群情形。
• 证明随着群大小增加，相关随机凯莱图的谱隙在零附近被一致远离。
• 证明膨胀性质以高概率成立（概率为 1 - O(|G|^{-δ})），其中 δ > 0 仅依赖于秩。
• 将结果推广至李型拟单群的几乎直积形式。

提出的方法

• 作者采用谱膨胀的定义，聚焦于与对称生成集上的均匀测度相关的 L²(G) 上卷积算子 T 的算子范数。
• 应用Bourgain-Gamburd方法，该方法依赖于非集中性估计与谱隙估计，以在李型有限群的背景下建立膨胀性。
• 证明利用了其合作者论文[BGGT]中的主要结果，该结果提供了李型群中谱隙与拟随机性的关键估计。
• 他们分析了小倍增集合的结构，并使用一种枢轴论证，排除可能阻碍膨胀的大子群的存在。
• 基于Cheeger不等式，采用谱论证表明谱隙区域中的特征函数必为指数2子群的特征函数，若生成元避开此类子群，则导致矛盾。
• 该论证结合了集合增长的组合估计与有限群上的调和分析，以排除非膨胀配置的存在。

实验结果

研究问题

• RQ1 在固定秩的有限单李型群中，随机元素对是否生成膨胀凯莱图？
• RQ2 Bourgain-Gamburd方法能否被扩展以证明固定有界秩的有限单李型群中的膨胀性？
• RQ3 随着群大小增加，这些群中相关随机凯莱图的谱隙是否被一致远离零？
• RQ4 哪些群的结构性质会阻碍膨胀？如何以高概率排除这些性质？
• RQ5 该结果能否推广至李型拟单群的几乎直积形式？

主要发现

• 以至少 1 - C|G|^{-δ} 的概率，有限单李型群中固定秩的随机元素对生成一个 ε-膨胀集合，其中 ε、C 和 δ 仅依赖于秩。
• 当群大小 |G| 趋于无穷时，固定秩下相关随机凯莱图的谱隙被一致远离零。
• 该膨胀具有谱和组合双重性质：对所有满足 |A| ≤ |G|/2 的 A ⊆ G，均有 |S²A| ≥ (1+ε)|A|。
• 该结果在所有固定秩的有限单李型群中一致成立，包括经典群与扭群，如 PSL_r+1(F_q) 和 PSU_r+1(F_{q²})。
• 该方法通过枢轴论证与谱分析，排除了可能阻碍膨胀的大子群或指数2子群的存在。
• 结果可推广至李型拟单群的几乎直积形式，如定理8.3所示。