[論文レビュー] 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)$ が、ランダムな生成元対に対して拡張子ケイリー群をもつことを証明し、すべての非アーベル有限単純群に対する一様な拡張子構成における主要な空白を埋めた。確率論的手法と有限体上の代数幾何学を用いて、著者らは、$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)$ が拡張子であることを証明すること。
• $q \to \infty$ のとき、$\operatorname{Sz}(q)$ 内のランダムな生成元対が、確率1に近づく確率で拡張子ケイリー群を生成することを確立すること。
• Suzuki群は $\operatorname{SL}_2(q')$ の部分群を持たないため、従来の手法では抵抗するが、BourgainとGamburdの手法の枠組みをSuzuki群に拡張すること。
• Suzuki群における近似部分群のHelfgott型結果が、自明または全体の群によってそれらを制御できることを示し、拡張解析を可能にすること。

提案手法

• 確率論的手法を用いて、$q \to \infty$ のとき、ランダムな対 $a,b \in \operatorname{Sz}(q)$ が群を生成し、高確率で $\varepsilon$-拡張子を形成することを示す。
• $\operatorname{Sz}(q)$ がリー型の単純群であることを利用し、$K$-近似部分群が $\{\mathrm{id}\}$ または $\operatorname{Sz}(q)$ に対して $K^{O(1)}$-制御されることを保証するHelfgott型結果を適用する。
• 長さ $\kappa \log q$ の語方程式 $w(a,b) = \mathrm{id}$ を、各変数について $O(\log q)$ 次の多項式方程式として $\mathbb{F}_q$ 上で解析し、解の数を抑え込む。
• 補題4.2を適用して、ランダムな対が長さ $\kappa \log q$ の非自明な語を満たす確率を $O(q^{-1/2} \log q)$ で抑え込む。
• 補題B.1を用いて、各変数について次数 $\leq d$ の非自明な多項式 $p$ に対して $p(x, x^\theta) = 0$ の解の数を $2d^2$ 以下に抑え込む。これは語の解の数に対する境界を改善する。
• これらの境界を、非濃縮性性質によるスペクトルギャップ基準と組み合わせ、拡張性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 Suzuki群 $\operatorname{Sz}(q)$ は、$\operatorname{SL}_2(q')$ の部分群を持たないにもかかわらず、ランダムな生成元を用いて拡張子であることを示せるか？
• RQ2 ランダムな要素の対 $a,b \in \operatorname{Sz}(q)$ が群を生成し、拡張子ケイリー群を生成する確率はどの程度か？
• RQ3 近似部分群のHelfgott型構造定理をSuzuki群に適用することで、拡張性を保証するにはどうすればよいか？
• RQ4 有限体 $\mathbb{F}_q$ 上の代数幾何学的手法を用いて、$\operatorname{Sz}(q)$ 内の語方程式 $w(a,b) = \mathrm{id}$ の解の数を効果的に抑えられるか？
• RQ5 多項式 $p(x, x^\theta) = 0$ の解の数に対する境界をどの程度改善すれば、より強い拡張性境界を回復できるか？

主な発見

• 本稿は、すべてのSuzuki群 $\operatorname{Sz}(q)$ に対して、$\varepsilon > 0$ が存在し、$q \to \infty$ のとき、ランダムな生成元対 $a,b$ が $\varepsilon$-拡張子ケイリー群 $\operatorname{Cay}(G, \{a^{\pm 1}, b^{\pm 1}\})$ を生成する確率が $1$ に近づくことを確立した。
• ランダムな対 $a,b \in \operatorname{Sz}(q) \setminus B$ が長さ $\kappa \log q$ の語 $w$ を満たす確率は、$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$ の解の数は、補題B.1により最大 $2d^2$ である。
• Suzuki群 $\operatorname{Sz}(q)$ におけるHelfgott型結果により、群を生成する任意の $K$-近似部分群は、$\{\mathrm{id}\}$ または $\operatorname{Sz}(q)$ に対して $K^{O(1)}$-制御されることが保証され、拡張性の議論が可能になる。
• 著者らは、すべての非アーベル有限単純群の族が一様に拡張子として構成可能であり、Suzuki群が今や完全に含められたことを確認した。これにより、定理1.1が完成した。
• この手法は確率論的であり、明示的な $\varepsilon$ を得るものではないが、$k=4$ 個の生成子で十分に拡張子が得られることを示唆しており、超フィルターの代わりに有効な代数幾何学を用いることで、有効な境界を理論的には導出可能である。