[論文レビュー] Proportions of Cyclic Matrices in Maximal Reducible Matrix Groups and Algebras

Scott W. Brown, Cheryl E. Praeger+1 more|arXiv (Cornell University)|May 20, 2011

Finite Group Theory Research参考文献 17被引用数 3

ひとこと要約

本稿は、有限体上の最大可約行列群および代数における巡回行列の極限的割合を、母関数および表現論を用いて調査する。次元 n → ∞ で固定された r 次元不変部分空間を持つ場合、GL(n,q) における r 次元部分空間の安定化部分群における巡回行列の割合は 1 − q⁻² + O(q⁻³) に収束する。これは、非可約設定における 1 − q⁻³ + O(q⁻⁴) の極限とは顕著な違いを示す。

ABSTRACT

A matrix is said to be {\it cyclic} if its characteristic polynomial is equal to its minimal polynomial. Cyclic matrices play an important role in some algorithms for matrix group computation, such as the Cyclic Meataxe developed by P. M. Neumann and C. E. Praeger in 1999. In that year also, G. E. Wall and J. E. Fulman independently found the limiting proportion of cyclic matrices in general linear groups over a finite field of fixed order q as the dimension n approaches infinity, namely $(1-q^{-5}) \prod_{i=3}^\infty (1-q^{-i}) = 1 - q^{-3} + O(q^{-4}).$ We study cyclic matrices in a maximal reducible matrix group or algebra, that is, in the largest subgroup or subalgebra that leaves invariant some proper nontrivial subspace. We modify Wall's generating function approach to determine the limiting proportions of cyclic matrices in maximal reducible matrix groups and algebras over a field of order q, as the dimension of the underlying vector space increases while that of the invariant subspace remains fixed. The limiting proportion in a maximal reducible group is proved to be $1 - q^{-2} + O(q^{-3})$; note the change of the exponent of q in the second term of the expansion. Moreover, we exhibit in each maximal reducible matrix group a family of noncyclic matrices whose proportion is $q^{-2} + O(q^{-3})$.

研究の動機と目的

• 有限体上の最大可約行列群および代数における巡回行列の極限的割合を特定すること、特に不変部分空間の次元 r が固定された場合に焦点を当てる。
• 巡回メタツー（Cyclic Meataxe）アルゴリズムを非可約行列代数に限らず、大規模な可約ケースに対応させるために、巡回行列の分布を分析することによりその拡張を図ること。
• GL(n,q) および M(n,q) における r 次元部分空間の安定化部分群における巡回行列割合の明示的母関数に基づく分析を厳密に行うこと。
• 最大可約群における非巡回行列の明示的族を構成し、それらの割合に対する下界を確立すること。
• 可約と非可約設定における巡回行列割合の漸近的挙動を比較し、主項が q⁻³ から q⁻² に変わることを強調すること。

提案手法

• G.E. Wall の母関数的手法を、固定された r 次元部分空間の安定化部分群に焦点を当てた最大可約群および代数の文脈に適応する。
• 行列を一般固有空間への表現論的分解し、補空間 U および V における作用を分析する。
• 包含除算の原理（Principle of Inclusion-Exclusion）を用いて、特定の固有値 λ を持つ行列の集合 Tλ の和集合の大きさを推定する。
• 相異なる固有値を持つタプル (w₁, w₂, x₁, x₂, T) の数に対する境界を用い、|Tλ ∩ Tγ| を推定し、交差サイズの上界 q^{n² + r² − nr − 6} を得る。
• 小規模な r に対して明示的な母関数を導出し、漸近的解析を用いて極限的割合の主要項を抽出する。
• 不変部分空間上で固有値 λ ∈ F_q^* を持つ行列を考察することにより、非巡回行列の族を構成し、その割合が q⁻² + O(q⁻³) であることを示す。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ で r が固定されたとき、GL(n,q) における r 次元部分空間の安定化部分群における巡回行列の極限的割合は何か？
• RQ2 最大可約群における巡回行列の漸近的割合は、非可約群または全行列代数におけるものと比べてどのように異なるか？
• RQ3 最大可約行列群において、非巡回行列の族を明示的に構成できるか。その漸近的割合は何か？
• RQ4 不変部分空間の次元 r は、可約行列群における巡回行列の漸近的分布にどのように影響を与えるか？
• RQ5 Wall の研究から適応された母関数技法は可約ケースにどのように適用可能か。どのような修正が必要か？

主な発見

• GL(n,q) における r 次元部分空間の安定化部分群における巡回行列の極限的割合は 1 − q⁻² + O(q⁻³) であり、主項が q⁻³ ではなく q⁻² に変わっている。
• 非可約ケース（1 − q⁻³ + O(q⁻⁴)）とは対照的に、不変部分空間の存在により可約設定では異なる漸近的挙動を示す。
• 非巡回行列の族が構成され、その最大可約群内での割合は q⁻² + O(q⁻³) であり、非巡回割合の主項と一致する。
• 相異なる固有値 λ, γ に対して |Tλ ∩ Tγ| のサイズは q^{n² + r² − nr − 6} で抑えられ、包含除算の項を抑えるために重要である。
• 解析により、F_q 上の最大可約行列代数における巡回行列の割合も、n → ∞ かつ r が固定されたとき 1 − q⁻² + O(q⁻³) に収束することが確認された。
• 結果は、可約行列群における巡回行列密度の定量的境界を確立することにより、Cyclic Meataxe アルゴリズムの可約群への拡張を支持する。