[論文レビュー] Integer sequences and matrices over finite fields

Kent E. Morrison|ArXiv.org|Jun 2, 2006

Coding theory and cryptography参考文献 13被引用数 27

ひとこと要約

この論文は、有限体上の行列の種類、特に可逆、対角化可能、べき零、および行列の共役類を数える整数列を体系的に整理し、行列のサイクル指数を統一的なツールとして用いる。$ q $-アナログとゼータ関数を用いて生成関数を導出し、閉形式の公式とOEISとの関連を提示。主な結果として、行列の数え上げが $ \mathbb{F}_q $ 上の既約多項式および分割関数と結びつくことが示される。

ABSTRACT

In this expository article we collect the integer sequences that count several different types of matrices over finite fields and provide references to the Online Encyclopedia of Integer Sequences (OEIS). Section 1 contains the sequences, their generating functions, and examples. Section 2 contains the proofs of the formulas for the coefficients and the generating functions of those sequences if the proofs are not easily available in the literature. The cycle index for matrices is an essential ingredient in most of the derivations.

研究の動機と目的

• 有限体 $ \mathbb{F}_q $ 上のさまざまな行列タイプ（可逆、対角化可能、べき零、共役類など）を数える整数列を体系的に収集・統合すること。
• 行列のサイクル指数と $ q $-アナログ技術を用いて、これらの列の生成関数を導出すること。
• これらの列がオンライン整数列大辞典（OEIS）に登録された既知の項目とどのように関連するかを特定し、参照と文脈を提供すること。
• $ \mathbb{F}_q $ 上の既約多項式および分割構造を用いて、行列タイプの数え上げを統合する枠組みを確立すること。
• 特に文献でアクセスが難しい結果について、係数および生成関数の公式の証明を提供すること。

提案手法

• 行列の有理標準形と不変因子に基づいて行列タイプを数えるために、行列のサイクル指数を中心的な道具として用いる。
• $ [n]_q! $ やガウスの二項係数 $ \genfrac{(}{)}{0pt}{}{n}{k}_q $ などの $ q $-アナログの階乗および二項係数を用い、部分空間および行列の数をモデル化する。
• 指数型生成関数と $ q $-スターリング数を用いて、$ \gamma_n = |\mathrm{GL}_n(q)| $ を含む生成関数を構築する。
• 多項式環 $ \mathbb{F}_q[x] $ のゼータ関数、特に $ \prod_{d \geq 1} (1 - u^d / q^d)^{\nu_d} = \frac{1}{1 - u} \prod_{d \geq 1} (1 - u^d / q^d)^{\nu_d} $ を用いて、生成関数を簡略化する。
• 既約多項式の数 $ \nu_d $ を用いて、特性多項式の構造に基づいて行列タイプを分解する。
• $ q $-級数の恒等式とオイラーの積表示を用いて、既約多項式に関する無限積による生成関数を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $ \mathbb{F}_q $ 上の行列を数える整数列を、どのように体系的に生成し、OEISの既知の列と結びつけることができるか？
• RQ2 $ \mathbb{F}_q $ 上の $ n \times n $ 行列のうち、あるタイプ（例：可逆、べき零、対角化可能）の行列数の生成関数は何か？
• RQ3 サイクル指数と行列の有理標準形が、行列数え上げの閉形式公式の導出をどのように可能にするか？
• RQ4 既約多項式およびその個数 $ \nu_d $ は、行列タイプの生成関数においてどのような役割を果たすか？
• RQ5 $ q $-アナログおよび $ q $-級数の恒等式は、行列の共役類および関連構造の数え上げをどのように簡略化するか？

主な発見

• $ \mathbb{F}_q $ 上の $ n \times n $ 行列の数は $ q^{n^2} $ であり、$ q=2 $ の場合、OEISの列番号 A002416 に対応する。
• $ \mathbb{F}_q $ 上の $ n \times n $ 可逆行列の数は $ \gamma_n = (q^n - 1)(q^n - q)\cdots(q^n - q^{n-1}) $ であり、$ q=2 $ の場合、列番号 A002884 に対応する。
• $ \mathbb{F}_q^n $ の $ k $ 次元部分空間の数はガウスの二項係数 $ \genfrac{(}{)}{0pt}{}{n}{k}_q $ で与えられ、$ q=2 $ の場合、列番号 A006116–A006122 に対応する。
• $ \mathbb{F}_q $ 上の $ n \times n $ 行列の共役類の数の生成関数は $ \prod_{r \geq 1} \frac{1}{1 - q u^r} $ であり、列番号 A070933 に対応する。
• 分離可能な $ n \times n $ 行列の数は、$ 1 + \sum_{n \geq 1} \frac{a_n}{\gamma_n} u^n = \prod_{d \geq 1} \left(1 + \frac{u^d}{q^d - 1}\right)^{\nu_d} $ を満たす。
• ランダムに選ばれた $ \mathbb{F}_q $ 上の $ n \times n $ 行列が可逆である確率は、$ n \to \infty $ のとき $ \prod_{r \geq 1} \left(1 - \frac{1}{q^r}\right) $ に収束し、$ q=2 $ の場合約 0.28878 である。