[論文レビュー] Asymptotic of Number of Similarity Classes of Commuting Tuples

Uday Bhaskar Sharma|arXiv (Cornell University)|Jun 25, 2015

Coding theory and cryptography参考文献 3被引用数 4

ひとこと要約

本稿は、有限体 $\mathbb{F}_q$ 上の $k$ 個の可換な $n \times n$ 行列の同時相似類の数の漸近的成長率を確立している。固定された $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$ 上の $k$ 個の可換な $n \times n$ 行列の同時相似類の数の漸近的挙動を特定すること。
• 単一行列や任意の行列 $k$ 重組に関する先行結果を、可換な $k$ 個の行列の組に拡張すること。
• 固定された $n$ および $q$ に対して、このような相似類の数の $k$ における正確な指数的成長率を特定すること。
• 可換部分代数の最大次元と相似類の漸近的成長との間の関係を確立すること。

提案手法

• バーンサイドの補題を用いて、同時相似類の数を、中心化部分代数のサイズを含む群の元に関する和として表現すること。
• 可換部分代数の最大次元 $m(n) = \lfloor n^2/4 \rfloor + 1$ を、中心化部分代数の次元に対する重要な上限として応用すること。
• スカラー行列（下限のため）および適切な部分代数（上限のため）を用いて、$c(n,k,q)$ の上界と下界を確立すること。
• 部分集合および二項係数に関する組合せ的推定を用いて、バーンサイド和の項の成長を制御すること。
• $\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$ 上の $k$ 個の可換な $n \times n$ 行列の同時相似類の数の漸近的成長率は何か？
• 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$ 個の組の同時相似類の数は、$k$ に関して漸近的に $q^{m(n)k}$ のように成長し、ここで $m(n) = \lfloor n^2/4 \rfloor + 1$ であり、$k$ に依存しない定数因子を除いて成り立つ。
• $n=2$ の場合、$c(2,k,q)$ は漸近的に $q^{2k}$ に；$n=3$ の場合、$c(3,k,q)$ は漸近的に $q^{3k}$ に；$n=4$ の場合、$c(4,k,q)$ は漸近的に $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)$ と定数因子の関係にあるため、同じ指数 $m(n)k$ を持つ漸近的成長を示す。
• この結果は、単一行列や任意の $k$ 重組に関する先行研究を一般化し、可換性のおかげで成長指数が $n^2k$ から $m(n)k$ に低下することを示している。