[论文解读] Weight and rank of matrices over finite fields

Theresa Migler, Kent E. Morrison+1 more|ArXiv.org|Mar 18, 2004

graph theory and CDMA systemsEngineering被引用 22

一句话总结

本文推导出有限域 $\mathbb{F}_q$ 上 $m \times n$ 秩为 $k$ 的矩阵的平均权重的闭式表达式，结果为 $mn(1 - 1/q)$。对于秩一矩阵，本文完整刻画了其权重分布，并证明了中心极限定理，表明当 $m$ 或 $n$ 增大时，权重分布收敛于正态分布。

ABSTRACT

Define the weight of a matrix to be the number of non-zero entries. One would like to count $m$ by $n$ matrices over a finite field by their weight and rank. This is equivalent to determining the probability distribution of the weight while conditioning on the rank. The complete answer to this question is far from finished. As a step in that direction this paper finds a closed form for the average weight of an $m$ by $n$ matrix of rank $k$ over the finite field with $q$ elements. The formula is a simple algebraic expression in $m$, $n$, $k$, and $q$. For rank one matrices a complete description of the weight distribution is given and a central limit theorem is proved.

研究动机与目标

• 确定 $m \times n$ 矩阵在 $\mathbb{F}_q$ 上秩为 $k$ 时的平均权重，这是有限域上随机矩阵理论中的一个基本统计性质。
• 刻画有限域上秩一矩阵的完整权重分布，该问题在更高秩时仍为开放问题。
• 为秩一矩阵的权重建立中心极限定理，证明当矩阵维度增大时其分布趋于正态分布。
• 为理解有限域上随机矩阵的秩与权重的联合分布提供基础，这是编码理论与组合数学中的关键挑战。

提出的方法

• 利用 $q$-二项式系数对矩阵进行组合计数，以统计给定秩的矩阵数量。
• 应用行最简阶梯形（RREF）将任意秩-$k$ 矩阵分解为 $A = CR$，其中 $C$ 为 $m \times k$ 的满秩矩阵，$R$ 为 $k \times n$ 的 RREF 矩阵。
• 利用对称性及行/列置换，证明对于固定秩 $k$，所有矩阵元素 $a_{ij}$ 非零的概率 $\mathbf{P}(a_{ij} \neq 0)$ 在所有位置上均匀，从而实现平均权重的计算。
• 对于秩一矩阵，将权重建模为两个独立的二项分布随机变量的乘积：一个用于 $C$ 的非零行，一个用于 $R$ 的非零元素，且均在非零条件下进行条件化。
• 对这两个二项分布变量的乘积应用中心极限定理，证明当 $m$ 或 $n$ 趋近无穷时，权重分布的渐近正态性。
• 推导出秩一矩阵权重的精确均值与方差表达式，表明当 $m \approx n$ 时，方差呈 $O(n^2)$ 阶增长。

实验结果

研究问题

• RQ1 在 $\mathbb{F}_q$ 上，$m \times n$ 秩为 $k$ 的矩阵的平均权重是多少？
• RQ2 有限域上秩一矩阵的完整权重分布是什么？
• RQ3 当矩阵维度增大时，秩一矩阵的权重分布是否收敛于正态分布？
• RQ4 在有限域上的随机矩阵中，秩与权重的联合分布行为如何？
• RQ5 对于固定秩矩阵，是否可以对所有位置上的某元素非零的概率进行一致有界？

主要发现

• 在 $\mathbb{F}_q$ 上，$m \times n$ 秩为 $k$ 的矩阵的平均权重为 $mn(1 - 1/q)$，该结果与 $k$ 无关，原因在于所有元素非零的概率在各位置上均匀。
• 对于秩一矩阵，其权重分布为两个独立二项分布变量的乘积，且条件为正值，其概率质量函数为 $\mathbf{P}(\mathrm{wt}\,A = \omega) = \sum_{\mu\nu=\omega} \binom{m}{\mu} \binom{n}{\nu} \frac{(q-1)^{m+n-\mu-\nu} q^{\mu+\nu}}{(q^m - 1)(q^n - 1)}$。
• 秩一矩阵的平均权重为 $mn(1 - 1/q)^2$，其方差渐近表达式为 $mn(1 - 1/q)^2 + mn(m+n-2)(1 - 1/q)^3 + m(m-1)n(n-1)(1 - 1/q)^4 - (mn(1 - 1/q))^2$。
• 当 $m$ 或 $n$ 趋近无穷时，秩一矩阵的权重分布依分布收敛于正态分布，其均值约为 $mn(1 - 1/q)^2$，当 $m \approx n$ 时标准差为 $\sim O(n)$。
• 在秩-$k$ 矩阵中，特定元素非零的概率为 $1 - 1/q$，且由于行与列置换下的对称性，该概率在所有位置上一致。
• 秩一矩阵的权重最大为 $mn$，但 $[1, mn]$ 中并非所有权重都可达，因为权重是行与列中非零项数的乘积，导致分布中出现空隙与尖峰。