[논문 리뷰] Asymptotic of Number of Similarity Classes of Commuting Tuples

Uday Bhaskar Sharma|arXiv (Cornell University)|2015. 06. 25.

Coding theory and cryptography참고 문헌 3인용 수 4

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 위에서 $n \times n$ 행렬의 $k$-성분 교환 행렬들에 대한 동시에 유사성 유형의 점 渐진적 성장률을 규명한다. 고정된 $n$과 $q$에 대해 이 수는 상수 인자까지는 $q^{m(n)k}$로 성장하며, 여기서 $m(n) = \lfloor n^2/4 \rfloor + 1$은 $M_n(\mathbb{F}_q)$의 교환 부분대수의 최대 차원이다. 결과는 표현 이론 기법과 버누이드의 보조정리에 기반하여 유도되며, 기존의 행렬 $k$-튜플과 유사성 유형에 대한 연구를 확장한다.

ABSTRACT

We have for positive integers $n$, $k$ and finite field $\mathbb{F}_q$, $c(n,k,q)$, as the number of simultaneous similarity classes of $k$-tuples of commuting $n imes n$ matrices over the $\mathbb{F}_q$. In this paper, it has been shown that $c(n,k,q)$ as a function of $k$ for fixed $n$ and $q$ is asymptotically $q^{m(n)k}$, where $m(n) = \left[\frac{n^2}{4} ight] + 1$, which is the dimension of the maximal commutative subalgebra of $M_n(\mathbb{F}_q)$ (the algebra of $n imes n$ matrices over $\mathbb{F}_q$).

연구 동기 및 목표

• 고정된 $n$과 $q$에 대해 $k \to \infty$일 때, $\mathbb{F}_q$ 위에서 $n \times n$ 행렬의 $k$-튜플에 대한 동시에 유사성 유형의 수의 점 渐진적 행동을 규명하는 것.
• 단일 행렬과 임의의 행렬 튜플에 대한 기존의 유사성 유형 결과를 교환 $k$-튜플의 경우로 확장하는 것.
• 고정된 $n$과 $q$에 대해 이러한 유사성 유형의 수의 $k$에 대한 정확한 지수 성장률을 규명하는 것.
• 교환 부분대수의 최대 차원과 유사성 유형의 점 渐진적 성장 사이의 연결 고리를 설정하는 것.

제안 방법

• 유사성 유형의 수를 중심자 크기를 포함하는 군 원소에 대한 합으로 표현하기 위해 버누이드의 보조정리를 사용하는 것.
• 행렬 대수 $M_n(\mathbb{F}_q)$ 내 교환 부분대수의 최대 차원인 $m(n) = \lfloor n^2/4 \rfloor + 1$을 중심자 차원에 대한 핵심 상한으로 적용하는 것.
• 스칼라 행렬(하한을 위해)과 적절한 부분대수(상한을 위해)를 사용하여 $c(n,k,q)$에 대한 상한과 하한을 확립하는 것.
• Burnside 합의 항들의 성장률을 제어하기 위해 부분집합과 이항계수에 대한 조합적 추정을 사용하는 것.
• 오차 항의 성장률을 제어하기 위해 $\sum r^j q^{-r}$를 이용한 수렴하는 급수 상한을 유도하는 것.
• 공동으로 교환되는 $k$-튜플의 총 수인 $C(n,k,q)$와 유사성 유형의 수인 $c(n,k,q)$를 비교하여, 둘 다 $q^{m(n)k}$로 성장함을 보이는 것.

실험 결과

연구 질문

• RQ1 고정된 $n$과 $q$에 대해 $k \to \infty$일 때, $\mathbb{F}_q$ 위에서 $n \times n$ 행렬의 $k$-튜플에 대한 동시에 유사성 유형의 수의 점 渐진적 성장률은 무엇인가요?
• RQ2 행렬 대수 $M_n(\mathbb{F}_q)$의 교환 부분대수의 최대 차원 $m(n)$은 유사성 유형의 점 渐진적 성장에 어떤 영향을 미치나요?
• RQ3 고정된 $n$과 $q$에 대해 $c(n,k,q)$의 점 渐진적 성장률이 상수 배수의 $q^{m(n)k}$로 상하한이 존재하는가요?
• RQ4 동시 코남화 하에 대해, 교환 $k$-튜플의 점 渐진적 행동은 일반 $k$-튜플의 행동과 어떻게 비교되는가?

주요 결과

• 유한체 $\mathbb{F}_q$ 위에서 $n \times n$ 행렬의 교환 $k$-튜플에 대한 동시에 유사성 유형의 수는 상수 인자까지는 $q^{m(n)k}$로 점 渐진적으로 성장하며, 여기서 $m(n) = \lfloor n^2/4 \rfloor + 1$이다.
• 특히 $n=2$일 때 $c(2,k,q)$는 점 渐진적으로 $q^{2k}$이며, $n=3$일 때는 $q^{3k}$, $n=4=일 때는 $q^{5k}$로 성장하며, 이는 $m(4)=5$와 일치한다.
• 하한은 중심자가 전체 행렬 대수 $q^{n^2}$인 스칼라 행렬을 고려함으로써 확립된다.
• 상한은 비스칼라 행렬의 중심자 크기를 $q^{n^2 - n + 1}$ 이하로 제한하고, $\sum r^j q^{-r}$의 수렴성을 이용해 비스칼라 공轭류에 대한 합의 오차를 제어함으로써 유도된다.
• 공동으로 교환되는 $k$-튜플의 총 수인 $C(n,k,q)$ 역시 $c(n,k,q)$와 같은 상수 인자 관계를 지닌다 보아, $q^{m(n)k}$로 점 渐진적으로 성장한다.
• 결과는 기존의 단일 행렬과 일반 $k$-튜플에 대한 연구를 일반화하며, 교환성의 존재로 인해 성장 지수는 $n^2k$에서 $m(n)k$로 감소함을 보여준다.