[논문 리뷰] Proportions of Cyclic Matrices in Maximal Reducible Matrix Groups and Algebras

Scott W. Brown, Cheryl E. Praeger외 1명|arXiv (Cornell University)|2011. 05. 20.

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가 고정된 경우에 중점적으로 다룬다.
• 순환 메타크스 알고리즘의 적용 범위를 비가역 행렬 대수를 넘어서 대규모 가역 케이스로 확장하기 위해 순환 행렬 분포를 분석함으로써 이를 실현하는 것.
• GL(n,q)와 M(n,q)에서 r차원 부분공간의 안정자에서 순환 행렬 비율의 생성함수 기반 정밀 분석을 제공하는 것.
• 최대 가역 행렬군에서 비순환 행렬의 명시적 가족을 구성하여 그 비율에 하한을 설정하는 것.
• 가역 설정과 비가역 설정에서 순환 행렬 비율의 점점 줄어드는 행동을 비교하며, 주요 보정 항이 q⁻³에서 q⁻²로 변화하는 것을 강조하는 것.

제안 방법

• 고정된 r차원 부분공간의 안정자에 초점을 맞춘 최대 가역 군과 대수의 맥락에서 G.E. 월의 생성함수 접근법을 적응 적용하는 것.
• 행렬을 일반화된 고유공간으로 분해하고 보조 부분공간 U와 V에서의 작용을 분석함으로써 표현 이론적 분해를 사용하는 것.
• 특정 고유값 λ를 가진 행렬의 집합 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 월의 작업에서 유도된 생성함수 기법이 가역 케이스에 어떻게 적용되며, 어떤 수정이 필요한가?

주요 결과

• GL(n,q)에서 r차원 부분공간의 안정자에서 순환 행렬의 점점 줄어드는 비율은 1 − q⁻² + O(q⁻³)이며, 주요 보정 항이 이제 q⁻²로 바뀌었다.
• 비가역 설정에서의 1 − q⁻³ + O(q⁻⁴)와는 대조적으로, 불변 부분공간의 존재로 인해 가역 설정에서는 다른 점점 줄어드는 행동을 보인다.
• 비순환 행렬의 가족이 구성되었으며, 이들의 최대 가역 군에서의 비율은 q⁻² + O(q⁻³)이며, 이는 비순환 비율의 주요 항과 정확히 일치한다.
• 서로 다른 고유값 λ, γ에 대해 |Tλ ∩ Tγ|의 크기는 q^{n² + r² − nr − 6} 이하로 경계지어지며, 이는 포함-배제 항의 경계를 확보하는 데 핵심적이다.
• 분석 결과, F_q 위의 최대 가역 행렬 대수에서 순환 행렬의 비율도 n → ∞ 이면서 r가 고정될 때 1 − q⁻² + O(q⁻³)로 수렴함을 확인하였다.
• 이 결과들은 순환 메타크스 알고리즘의 가역 행렬군으로의 확장을 뒷받침하며, 이러한 설정에서 순환 행렬의 밀도에 대한 정량적 경계를 확립한다.