[論文レビュー] 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|\}$ を満たす強力な一様成長性を確立し、すべての有限体にわたって一様に成り立つ。

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|.

研究の動機と目的

• 素数体 $\mathbb{F}_p$ 上での $\mathrm{SL}_2(\mathbb{F}_p)$ の多対数的直径に関するヘルゴットの結果を、すべての有限体 $\mathbb{F}_{p^n}$、特に部分体を含むものへ拡張すること。
• 多対数的直径の境界を示す一様成長性を $\mathrm{SL}_2(\mathbb{F}_q)$ および $\mathrm{PSL}_2(\mathbb{F}_q)$ に対して確立すること。
• 一般の有限体における部分体およびほぼ部分体の存在が、和積の議論を複雑にするという課題を克服すること。
• Cayleyグラフの直径が、絶対定数 $C,d>0$ を用いて $C \log^d |G|$ 以下に成長することを証明すること。
• 体の特徴に依存しない一様な証明戦略を提供し、素数体上での先行結果を一般化すること。

提案手法

• 加法的組合せ論、特に和積定理を用いて、有限体および行列群における成長を分析する。
• 行列の成長問題を、行列を対角化してトレース関数に還元することで扱う。
• 体における拡張の概念を適用：有限体内の集合 $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|$ で有界であるか？
• RQ3 $\mathbb{F}_{p^n}$ における部分体およびほぼ部分体は、$\mathrm{SL}_2(\mathbb{F}_q)$ における和積および成長挙動にどのように影響するか？
• RQ4 トレース関数 $T_g(x_1,x_2)$ が、ある $\delta>0$ を用いて $|\operatorname{Im}(T_g)| \gg N^{1+\delta}$ であることを示せるか？ これは行列の成長を示唆する。
• RQ5 $t \notin \{0,1\}$ かつ $t$ が二次拡大体に属する場合、$T_g(x_1,x_2) = c$ の解の数 $N_t(c)$ が $N^{1-\delta+O(\varepsilon)}$ で有界であるか？

主な発見

• すべての有限体にわたって一様に、族 $\{\mathrm{SL}_2(\mathbb{F}_{q}) : q = p^n, p \text{ は素数}, n \in \mathbb{N}\}$ は多対数的直径を有し、絶対定数 $C,d>0$ を用いて $\operatorname{diam}(G) \leq C \log^d |G|$ が成り立つ。
• 強力な一様成長性が成立する：任意の $G = \mathrm{SL}_2(\mathbb{F}_q)$ もしくは $\mathrm{PSL}_2(\mathbb{F}_q)$ の生成集合 $A$ に対して、$q$ に依存しない $\varepsilon > 0$ を用いて $|A\cdot A\cdot A| \geq \min\{|A|^{1+\varepsilon}, |G|\}$ が成り立つ。
• 部分体およびほぼ部分体の課題を克服し、素数体 $\mathbb{F}_p$ 上でのヘルゴットの結果を、すべての有限体 $\mathbb{F}_{p^n}$ へ拡張した。
• トレース関数 $T_g(x_1,x_2) = t \cdot \operatorname{tr}(x_1x_2) + (1-t) \cdot \operatorname{tr}(x_1/x_2)$ は、$t \notin \{0,1\}$ かつ $t$ が二次拡大体に属するとき、像の大きさ $|\operatorname{Im}(T_g)| \gg N^{2-O(\varepsilon)}$ を有する。
• $t \notin \{0,1\}$ かつ $t$ が二次拡大体に属する場合、$T_g(x_1,x_2) = c$ の解の数 $N_t(c)$ は、ある $\delta > 0$ を用いて $|N_t(c)| \ll N^{1-\delta+O(\varepsilon)}$ で有界であり、これは像の大きさが大きいことを示唆する。
• 部分体 $\mathbb{E}_i$ 及びその二次拡大 $\mathbb{K}_i$ におけるトレースおよび固有値の成長は、$|X_1 \cap X_2|, |T_1 \cap T_2| \ll N^{O(\varepsilon)}$ をもたらし、これは拡張性を確立するために不可欠である。