[论文解读] Expansion properties of finite simple groups

Oren Dinai|arXiv (Cornell University)|Jan 27, 2010

Finite Group Theory Research参考文献 35被引用 14

一句话总结

本文证明了所有有限域 $\mathbb{F}_q$ 上的有限单群族 $\mathrm{SL}_2(\mathbb{F}_{q})$ 和 $\mathrm{PSL}_2(\mathbb{F}_{q})$ 具有对数多倍直径，将赫尔福格特在素数域上的结果推广至任意有限域。利用加性组合学与和积定理，建立了强均匀增长性质：对任意生成集 $A$，有 $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$，其中 $\varepsilon > 0$ 为绝对常数，且该不等式在所有有限域上一致成立。

ABSTRACT

We prove that if G is SL_2(F) or PSL_2(F), where F is a finite field, and A is a set of generators of G, then either |AAA| > |A|^(1+epsilon), where epsilon is an absolute positive real number, or AAA=G. As a corollary we get that the diameter of any Cayley graph of G is Poly-Logarithmic in |G|.

研究动机与目标

• 将赫尔福格特关于 $\mathrm{SL}_2(\mathbb{F}_p)$ 的对数多倍直径结果推广至所有有限域 $\mathbb{F}_{p^n}$，包括含有子域的情形。
• 为 $\mathrm{SL}_2(\mathbb{F}_q)$ 和 $\mathrm{PSL}_2(\mathbb{F}_q)$ 建立一个统一的增长性质，该性质蕴含对数多倍直径界。
• 克服一般有限域中子域与近乎子域带来的挑战，这些因素会复杂化和积论证。
• 证明 Cayley 图在这些群上的直径至多以 $C \log^d |G|$ 的速度增长，其中 $C,d>0$ 为绝对常数，且该界在所有有限域上一致成立。
• 提供一种不依赖域特征的统一证明策略，推广此前在素数域上的结果。

提出的方法

• 使用加性组合学中的工具，特别是和积定理，分析有限域与矩阵群中的增长行为。
• 通过将矩阵共轭为对角形式，将矩阵增长问题约化为迹函数的分析。
• 应用域中扩张的概念：若有限域中的集合 $S$ 满足 $|S+S|, |S\cdot S| \gg |S|^{1+\varepsilon}$，则 $S$ 是一个强提取器。
• 通过共轭将矩阵集约化为其迹，证明迹的增长蕴含矩阵的增长。
• 利用 $\mathrm{SL}_2(\mathbb{F}_q)$ 中矩阵的迹位于子域中，且特征值生成二次扩张的性质来控制增长。
• 分析迹函数 $T_g(x_1,x_2) = t \cdot \operatorname{tr}(x_1x_2) + (1-t) \cdot \operatorname{tr}(x_1/x_2)$ 的像，以界定 $\operatorname{Tr}(V_1 V_2^g)$ 的大小，从而将其与矩阵增长联系起来。

实验结果

研究问题

• RQ1 能否在所有有限域 $\mathbb{F}_q$ 上，无论特征如何，统一证明 $\mathrm{SL}_2(\mathbb{F}_q)$ 和 $\mathrm{PSL}_2(\mathbb{F}_q)$ 满足增长性质 $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$？
• RQ2 能否在所有有限域上统一证明 $\mathrm{SL}_2(\mathbb{F}_q)$ 的 Cayley 图直径被 $C \log^d |G|$ 控制，其中 $C,d>0$ 为绝对常数？
• RQ3 有限域 $\mathbb{F}_{p^n}$ 中的子域与近乎子域如何影响 $\mathrm{SL}_2(\mathbb{F}_q)$ 中的和积与增长行为？
• RQ4 能否证明迹函数 $T_g(x_1,x_2)$ 的像大小满足 $|\operatorname{Im}(T_g)| \gg N^{1+\delta}$（$\delta>0$），从而蕴含矩阵增长？
• RQ5 当 $t \notin \{0,1\}$ 且 $t$ 属于一个二次扩张时，方程 $T_g(x_1,x_2) = c$ 的解数 $N_t(c)$ 是否满足 $|N_t(c)| \ll N^{1-\delta+O(\varepsilon)}$？

主要发现

• 族 $\{\mathrm{SL}_2(\mathbb{F}_{q}) : q = p^n, p \text{ 为素数}, n \in \mathbb{N}\}$ 具有对数多倍直径，且 $\operatorname{diam}(G) \leq C \log^d |G|$，其中 $C,d>0$ 为绝对常数，且该界在所有有限域上一致成立。
• 强均匀增长性质成立：对任意生成集 $A$，若 $G = \mathrm{SL}_2(\mathbb{F}_q)$ 或 $\mathrm{PSL}_2(\mathbb{F}_q)$，则 $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$，其中 $\varepsilon > 0$ 为与 $q$ 无关的绝对常数。
• 该证明将赫尔福格特在素数域 $\mathbb{F}_p$ 上的结果推广至所有有限域 $\mathbb{F}_{p^n}$，成功克服了子域与近乎子域带来的挑战。
• 当 $t \notin \{0,1\}$ 且 $t$ 属于一个二次扩张时，迹函数 $T_g(x_1,x_2) = t \cdot \operatorname{tr}(x_1x_2) + (1-t) \cdot \operatorname{tr}(x_1/x_2)$ 的像大小满足 $|\operatorname{Im}(T_g)| \gg N^{2-O(\varepsilon)}$。
• 当 $t \notin \{0,1\}$ 且 $t$ 属于一个二次扩张时，方程 $T_g(x_1,x_2) = c$ 的解数 $N_t(c)$ 满足 $|N_t(c)| \ll N^{1-\delta+O(\varepsilon)}$（$\delta > 0$），这表明其像大小较大。
• 在子域 $\mathbb{E}_i$ 及其二次扩张 $\mathbb{K}_i$ 中，迹与特征值的增长导致 $|X_1 \cap X_2|, |T_1 \cap T_2| \ll N^{O(\varepsilon)}$，这对建立扩张性质至关重要。