[論文レビュー] 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部階数を持つ要素の割合について、明示的な下界を確立する。特に対称的および直交的群は、Lie階数 $ \rho $ と定数 $ C $ を用いて、少なくとも $ C/\rho^{3/4} $ 個の奇数位数の要素を含むことが証明され、ある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部階数を持つ要素の割合の下界を特定すること。
• Lie階数の関数として、対称的および直交的群における奇数位数の要素の密度を定量化すること。
• 特定の2部階数を持つ要素に関して、階数に依存しない正の下界を導出すること。
• Yalcinkayaのブラックボックス認識アルゴリズムが奇数特徴を持つ有限古典群に対して有効である理論的基盤を強化すること。

提案手法

• 奇数特徴を持つ有限体上の有限古典群の構造を、群論的および表現論的技法を用いて分析すること。
• キャラクター和と共役類の分布を用いて、指定された2部階数を持つ要素の割合を推定すること。
• Lie階数 $ \ell $ に関する漸近的下界を導出するために、対称的および直交的群に焦点を当てる。
• Sylow 2-部分群およびその正規化群の構造を用いて、奇数位数の要素の数の上限を求める。
• 有限単純群の理論および最大トーラスの結果を応用して、要素の分布を推定すること。
• 得られた下界をYalcinkayaのブラックボックス認識アルゴリズムの効率性および正しさに結びつけること。

実験結果

リサーチクエスチョン

• RQ1 Lie階数の関数として、有限体の奇数特徴を持つ有限対称的および直交的群における奇数位数の要素の最小割合は何か？
• RQ2 特定の2部階数を持つ要素の割合に関して、Lie階数に依存しない正の下界を確立できるか？
• RQ3 古典群における2部階数の分布は、ブラックボックス認識アルゴリズムの性能にどのように関係するか？
• RQ4 有限古典群のどのような構造的性質が、与えられた2部階数を持つ要素の密度を決定するか？
• RQ5 導出された下界は、Yalcinkayaの認識アルゴリズムの理論的保証をどのように支援するか？

主な発見

• 対称的および直交的群における奇数位数の要素の割合は、Lie階数 $ \ell $ と明示的な正の定数 $ C $ を用いて、少なくとも $ C / \ell^{3/4} $ 以上である。
• 特定の2部階数に関して、階数に依存しない正の下界が確立され、すべての階数において一様な正の密度が保証される。
• 結果は、奇数特徴におけるYalcinkayaのブラックボックス認識アルゴリズムの正しさと効率性を理論的に裏付ける。
• 解析により、古典群の大部分の要素が制御された2部階数を持つことが明らかとなり、アルゴリズム的群認識にとって重要である。
• 共役類およびSylow部分群に関する深い構造的結果を用いて下界が導出され、定量的な推定が得られた。