[论文解读] Integer sequences and matrices over finite fields

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

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

一句话总结

本文系统性地整理了在有限域上计数矩阵的整数序列，包括可逆矩阵、可对角化矩阵、幂零矩阵以及矩阵的共轭类，使用矩阵的循环指标作为统一工具。通过 $ q $-类比和 zeta 函数推导了这些序列的生成函数，给出了闭式公式，并与 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 $ 上的不可约多项式和分拆结构来计数矩阵类型的框架。
• 为系数和生成函数的公式提供证明，特别是文献中较难获取的结果。

提出的方法

• 以矩阵的循环指标为核心工具，通过有理标准型和不变因子对矩阵类型进行计数。
• 应用阶乘和二项式系数的 $ q $-类比，如 $ [n]_q! $ 和高斯二项系数 $ \genfrac{(}{)}{0pt}{}{n}{k}_q $，以建模子空间和矩阵的计数。
• 使用包含 $ \gamma_n = |\mathrm{GL}_n(q)| $ 的生成函数，结合分裂的指数生成函数和 $ q $-Stirling 数。
• 利用 $ \mathbb{F}_q $ 上首一不可约多项式在次数 $ d $ 的个数 $ \nu_d $，按特征多项式结构分解矩阵类型。
• 通过不可约多项式的无穷乘积推导生成函数，利用 $ q $-级数恒等式和欧拉乘积公式。
• 利用多项式环 $ \mathbb{F}_q[x] $ 的 zeta 函数，特别是 $ \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} $，以简化生成函数。

实验结果

研究问题

• RQ1 如何系统性地生成计数 $ \mathbb{F}_q $ 上矩阵的整数序列，并将其与 OEIS 中的已知序列关联？
• RQ2 给定类型（如可逆、幂零、可对角化）的 $ n \times n $ 矩阵在 $ \mathbb{F}_q $ 上的个数的生成函数是什么？
• 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} $。
• 当 $ n \to \infty $ 时，随机 $ n \times n $ 矩阵在 $ \mathbb{F}_q $ 上可逆的概率趋近于 $ \prod_{r \geq 1} \left(1 - \frac{1}{q^r}\right) $，例如当 $ q=2 $ 时约为 0.28878。