[论文解读] Diameters of Chevalley groups over local rings

Oren Dinai|arXiv (Cornell University)|Jan 23, 2012

Finite Group Theory Research参考文献 6被引用 1

一句话总结

本文建立了有限局部环上Chevalley群的直径的显式多项式界，证明了对于任意生成集 $S$，群中每个元素都可以表示为 $S \cup S^{-1}$ 中至多 $C n^d$ 个元素的乘积，其中常数 $C$ 和 $d$ 仅依赖于群的秩和素数 $p$。证明结合了李理论中的换位子分解与受Solovay-Kitaev方法启发的有效递归算法，从而得到了一种高效算法，可用于计算任意群元素的短字词。

ABSTRACT

Let G be a Chevalley group scheme of rank l. We show that the following holds for some absolute constant d>0 and two functions p_0=p_0(l) and C=C(l,p). Let p>p_0 be a prime number and let G_n:=G(\Z/p^n\Z) be the family of finite groups for n>0. Then for any n>0 and any subset S which generates G_n we have diam(G_n,S)< C n^d, i.e., any element of G_n is a product of Cn^d elements from S\cup S^{-1}. In particular, for some C'=C'(l,p) and for any n>0 we have, diam(G_n,S)< C' log^d(|G_n|). Our proof is elementary and effective, in the sense that the constant d and the functions p_0(l) and C(l,p) are calculated explicitly. Moreover, there exists an efficient algorithm to compute a short path between any two vertices in any Cayley graph of the groups G_n.

研究动机与目标

• 建立所有 $n \geq 1$ 及相对于群秩足够大的素数 $p$ 的Chevalley群 $G_n = G(\mathbb{Z}/p^n\mathbb{Z})$ 的显式、有效上界，以控制其直径。
• 为在任意生成集下，计算 Cayley 图 $G_n$ 中任意群元素的短字词，提供一种有效且可构造的算法方法。
• 将Solovay-Kitaev方法推广至局部环上的Chevalley群情形，利用李代数换位子结构与 $p$-进群分层。
• 获得形如 $\mathrm{diam}(G_n, S) \leq C n^d$ 的界，其中 $C$ 和 $d$ 为显式常数，并证明 $\mathrm{diam}(G_n) \leq C' \log^d |G_n|$ 对某个仅依赖于 $G$ 的 $C'$ 成立，从而为该类群提供Babai猜想的量化版本。

提出的方法

• 该方法利用 $\Gamma_0 = G(\mathbb{Z}_p)$ 的 $p$-进李群结构，将其分解为层 $\Gamma_n = \ker(\pi_n)$ 与商群 $\Delta_n = \Gamma_n / \Gamma_{n+1}$，后者通过指数映射同构于李代数 $L_0$。
• 证明 $\Gamma_n = \exp(p^n L_0)$，从而将群论问题转化为 $\mathbb{Z}_p$ 上的李代数问题。
• 关键技术工具是利用Chevalley基与 $r$-强完美李代数的概念，将李代数中的元素分解为至多四个换位子之和。
• 通过分析各层 $\Delta_n$ 上字长的增长，递归地界定直径，利用换位子字可从低层提升至高层的性质。
• 通过递归分解群元素构建有效算法，采用类似Solovay-Kitaev的递归结构：先模 $\Gamma_n$ 分解 $g$，利用换位子提升将分解结果提升至更高层，再在更小的层上递归。
• 该算法确保字长以 $C n^d$ 的形式增长，其中 $d$ 从上方趋近于 2，且为 $G_n$ 中任意群元素提供构造性路径。

实验结果

研究问题

• RQ1 对于所有 $n \geq 1$，Chevalley群 $G(\mathbb{Z}/p^n\mathbb{Z})$ 的直径的最佳显式多项式上界是什么？
• RQ2 能否设计一种有效且可构造的算法，用于计算在任意生成集下，Cayley 图 $G(\mathbb{Z}/p^n\mathbb{Z})$ 中任意群元素的短字词？
• RQ3 与该Chevalley群相关的李代数结构如何控制其在局部环上的群直径？
• RQ4 Solovay-Kitaev方法在多大程度上可推广至非紧致、$p$-进李群及其有限商群的情形？
• RQ5 对于给定的Chevalley群与素数 $p$，直径界 $\mathrm{diam}(G_n) \leq C n^d$ 中常数 $C$ 与 $d$ 的精确值是多少？

主要发现

• 对于任意秩为 $l$、维数为 $k$ 的Chevalley群 $G$，以及满足 $p > \max\left\{\frac{l+2}{2}, 19\right\}$ 的素数 $p$，群 $G_n = G(\mathbb{Z}/p^n\mathbb{Z})$ 的直径满足 $\mathrm{diam}(G_n) \leq C p^{2k} n^{10}$，其中常数 $C$ 仅依赖于 $G$，而不依赖于 $p$。
• 直径界的形式为 $\mathrm{diam}(G_n, S) \leq C n^d$，其中 $d = d_i = \frac{\log(4r)}{\log(2i) - \log(i+1)}$，当 $r=4$ 时，$d_i$ 随 $i$ 增大而递减至 $2 + \log_2 3 \approx 3.58$，表明 $d$ 可被任意逼近于 2。
• 存在某个仅依赖于 $G$ 的常数 $C'$，使得 $\mathrm{diam}(G_n) \leq C' \log^d |G_n|$ 成立，从而为该类群提供了Babai猜想的量化版本。
• 构造了一种高效算法，可对任意 $g \in G_n$ 与任意生成集 $S$，计算出在 $S \cup S^{-1}$ 中长度至多为 $C n^d$ 的字词，以表示 $g$，且常数为显式给出。
• 该方法依赖于当 $p$ 足够大时，李代数 $L_0$ 在 $\mathbb{Z}_p$ 上为 $r=4$-强完美，从而保证 $\Gamma_n$ 中任意元素模 $\Gamma_{n+1}$ 可分解为至多四个换位子。
• 该算法为递归结构：通过换位子分解与递归调用，将解从 $\Gamma_{n-1}$ 提升至 $\Gamma_n$，确保字长在 $n$ 上多项式增长。