[论文解读] Proportions of 2-part orders of elements in finite classical groups

Simon D. Guest, Cheryl E. Praeger|arXiv (Cornell University)|Jul 18, 2010

Finite Group Theory Research被引用 1

一句话总结

该论文在奇特征有限域上的有限经典群中，建立了特定2-部分阶元素比例的显式下界。证明了辛群和正交群中至少含有 $ C/\rho^{3/4} $ 个奇阶元素，其中 $ \rho $ 为李秩，$ C $ 为常数，并为某些2-部分阶提供了与秩无关的正下界，从而支持了群识别算法的应用。

ABSTRACT

For an element $g$ in a group $X$, we say that $g$ has 2-part order $2^{a}$ if $2^{a}$ is the largest power of 2 dividing the order of $g$. We prove lower bounds on the proportion of elements in finite classical groups in odd characteristic that have certain 2-part orders. In particular, we show that the proportion of odd order elements in the symplectic and orthogonal groups is at least $C/\ell^{3/4}$, where $\ell$ is the Lie rank, and $C$ is an explicit constant. We also prove positive constant lower bounds for the proportion of elements of certain 2-part orders independent of the Lie rank. Furthermore, we describe how these results can be used to analyze part of Yalcinkaya's Black Box recognition algorithm for finite classical groups in odd characteristic.

研究动机与目标

• 确定奇特征有限域上有限经典群中具有特定2-部分阶元素比例的下界。
• 将辛群和正交群中奇阶元素的密度量化为李秩的函数。
• 为某些2-部分阶的元素建立与秩无关的正下界。
• 为Yalcinkaya的黑箱识别算法在奇特征下识别有限经典群提供理论基础。

提出的方法

• 使用群论和表示论技术分析奇特征有限域上有限经典群的结构。
• 利用特征和与共轭类分布估算具有指定2-部分阶元素的比例。
• 聚焦于辛群和正交群，以李秩 $ \ell $ 为变量推导渐近下界。
• 通过Sylow 2-子群及其正规化子的结构，对奇阶元素数量进行界定。
• 应用有限单群理论和极大环面的结果，估算元素分布。
• 将所得下界与Yalcinkaya黑箱识别算法的效率和正确性联系起来。

实验结果

研究问题

• RQ1 在奇特征有限域上的有限辛群和正交群中，奇阶元素的最小比例如何随李秩变化？
• RQ2 能否为特定2-部分阶元素比例建立与李秩无关的正下界？
• RQ3 经典群中2-部分阶的分布如何影响黑箱识别算法的性能？
• RQ4 有限经典群的哪些结构性质决定了给定2-部分阶元素的密度？
• RQ5 所推导的下界在何种程度上支持Yalcinkaya识别算法的理论保证？

主要发现

• 辛群和正交群中奇阶元素的比例至少为 $ C / \ell^{3/4} $，其中 $ \ell $ 为李秩，$ C $ 为显式正的常数。
• 对于某些2-部分阶，论文建立了与李秩无关的正下界，表明所有秩下均存在一致的正密度。
• 研究结果为Yalcinkaya黑箱识别算法在奇特征下的正确性和效率提供了理论支持。
• 分析表明，经典群中相当大比例的元素具有受控的2-部分阶，这对算法群识别至关重要。
• 这些下界基于共轭类和Sylow子群的深层结构性结果推导得出，提供了可量化的估计。