[论文解读] The probability of rectangular unimodular matrices over $\F_q[x]$

Xiangqian Guo, Guangyu Yang|arXiv (Cornell University)|Jul 18, 2011

Advanced Algebra and Geometry参考文献 11被引用 3

一句话总结

本文确定了多项式环 $\mathbb{F}_q[x]$ 上 $k \times n$ 单模矩阵的自然密度，表明随机 $k \times n$ 矩阵可扩展为可逆 $n \times n$ 矩阵的概率为 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$，其中 $\zeta_q(j)$ 为 $q$-zeta 函数。该结果通过概率密度极限与欧拉乘积结构，将狄利克雷关于互素整数的密度定理推广至有限域上的多项式环。

ABSTRACT

In this note, we compute the probability that a $k imes n$ matrix can be extended to an $n imes n$ invertible matrix over $\F_q[x]$, which turns out to be $(1-q^{k-n})(1-q^{k-1-n})...(1-q^{1-n})$. Connections with Dirichlet's density theorem on the co-prime integers and its various generalizations are also presented.

研究动机与目标

• 将狄利克雷密度定理的矩阵形式从整数矩阵推广至多项式环 $\mathbb{F}_q[x]$ 上的矩阵。
• 定义并计算 $\mathbb{F}_q[x]$ 上 $k \times n$ 单模矩阵（$k \leq n$）的自然密度。
• 建立单模性概率与 $q$-zeta 函数之间的联系，推广 $\mathbb{Z}$ 上经典互素概率。
• 通过在不断增加的次数界上的渐近密度，为多项式环中的矩阵单模性提供严格的概率框架。

提出的方法

• 通过极限 $D(S) = \lim_{N \to \infty} |S \cap \mathcal{M}_N| / |\mathcal{M}_N|$ 在 $\mathcal{M}_N$（即系数为次数至多为 $N$ 的多项式的 $k \times n$ 矩阵集合）上定义自然密度。
• 利用 $q$-zeta 函数 $\zeta_q(j) = \prod_{f \text{ irred}} (1 - q^{-j \deg f})^{-1}$ 建模子式之间互素的概率。
• 应用容斥原理与欧拉乘积技术，计算其满秩子式互素的矩阵的密度。
• 通过 $D(H_f) \leq 2 / q^{2 \deg f}$ 建立固定不可约多项式 $f$ 整除矩阵的密度上界。
• 利用乘积 $\prod_{m=1}^\infty (1 - q^{-jm})^{\varphi_m}$ 的收敛性，证明极限存在且等于 $\zeta_q(j)^{-1}$。
• 通过在不可约多项式集合上取极限并利用所有不可约多项式上乘积的收敛性，证明主要结果。

实验结果

研究问题

• RQ1 对于 $k \leq n$，$\mathbb{F}_q[x]$ 上 $k \times n$ 单模矩阵的自然密度是多少？
• RQ2 在 $\mathbb{F}_q[x]$ 上，单模性的概率如何与 $q$-zeta 函数及欧拉乘积相关联？
• RQ3 是否能通过自然密度框架，将狄利克雷关于互素整数的经典结果推广至多项式环上的矩阵？
• RQ4 随机 $k \times n$ 矩阵在 $\mathbb{F}_q[x]$ 上可扩展为可逆 $n \times n$ 矩阵的渐近概率是多少？

主要发现

• 在 $\mathbb{F}_q[x]$ 上，$k \times n$ 单模矩阵的自然密度为 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$，其中 $\zeta_q(j)$ 为 $q$-zeta 函数。
• 该结果将经典概率 $\zeta(n)^{-1}$（即 $n$ 个随机整数互素的概率）推广至 $\mathbb{F}_q[x]$ 上的矩阵情形。
• 在 $\mathbb{F}_q[x]$ 上，$1 \times n$ 矩阵为单模矩阵的概率为 $\zeta_q(n)^{-1}$，与狄利克雷定理的 $q$-类比一致。
• 证明依赖于对被不可约多项式整除的矩阵密度的控制，以及对所有首一不可约多项式上欧拉乘积的收敛性。
• 极限 $\lim_{N \to \infty} |E \cap \mathcal{M}_N| / |\mathcal{M}_N|$ 存在且等于无穷乘积 $\prod_{j=n-k+1}^{n} \zeta_q(j)^{-1}$。
• 该方法表明，单模矩阵的密度由每个不可约多项式处的局部密度之积决定，类似于数论中的中国剩余定理。