[論文レビュー] Weight and rank of matrices over finite fields

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

graph theory and CDMA systems被引用数 22

ひとこと要約

本稿では、有限体 $\mathbb{F}_q$ 上の $m \times n$ 行列のランク $k$ に対する平均重みの閉形式表現を導出し、それが $mn(1 - 1/q)$ に等しいことを示している。ランク1の行列については、重み分布を完全に特徴付け、中心極限定理を証明し、$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.

研究の動機と目的

• 有限体 $\mathbb{F}_q$ 上の $m \times n$ 行列のランク $k$ の平均重みを特定すること。これは、有限体上での確率的行列理論における基本的な統計的性質である。
• ランク1の行列の完全な重み分布を特徴付けること。これは、より高いランクでは未解決の問題のままである。
• ランク1の行列の重みに対して中心極限定理を確立し、行列の次元が大きくなるにつれて漸近的に正規分布に近づくことを示すこと。
• 有限体上のランダム行列におけるランクと重みの同時分布を理解する基盤を提供すること。これは、符号理論と組合せ論における主要な課題である。

提案手法

• $q$-二項係数を用いた組合せ的数え上げにより、与えられたランクの行列を数える。
• 簡約行階段形（RREF）を用いて、任意のランク$k$ 行列を $A = CR$ に分解する。ここで $C$ はランクが最大の $m \times k$ 行列、$R$ は RREF 形式の $k \times n$ 行列である。
• 対称性および行・列の置換を用いて、固定されたランク $k$ に対して、すべての成分における $\mathbf{P}(a_{ij} \neq 0)$ が一様であることを示し、平均重みの計算を可能にする。
• ランク1の行列に対しては、重みを2つの独立な二項確率変数の積としてモデル化する。1つは $C$ の非ゼロ行の数、もう1つは $R$ の非ゼロ成分の数であり、両方ともゼロでない条件付きである。
• これらの二項確率変数の積に中心極限定理を適用し、$m$ または $n$ が無限大に近づくにつれて重み分布が漸近的に正規分布に収束することを証明する。
• ランク1行列の重みの平均と分散の正確な式を導出し、$m \approx n$ のとき分散が $O(n^2)$ のオーダーで増加することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_q$ 上の $m \times n$ 行列のランク $k$ の平均重みは何か？
• RQ2 有限体上でのランク1行列の重みの完全な分布は何か？
• RQ3 行列の次元が大きくなるにつれて、ランク1行列の重み分布は正規分布に収束するか？
• RQ4 有限体上のランダム行列におけるランクと重みの同時分布はどのように振る舞うか？
• RQ5 固定されたランクの行列において、特定の成分が非ゼロである確率が、すべての位置で一様に有界になるか？

主な発見

• 有限体 $\mathbb{F}_q$ 上の $m \times n$ 行列のランク $k$ の平均重みは $mn(1 - 1/q)$ であり、$k$ とは無関係である。これは、各成分の非ゼロ確率が一様であるためである。
• ランク1の行列に対しては、重み分布が2つの独立な二項確率変数の積であり、正の値に条件づけられたものである。確率質量関数は $\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)}$ である。
• ランク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$ が無限大に近づくにつれて、ランク1行列の重み分布は分布収束の意味で正規分布に近づき、平均は $\approx mn(1 - 1/q)^2$、標準偏差は $m \approx n$ のとき $\sim O(n)$ に漸近する。
• ランク$k$ 行列において特定の成分が非ゼロである確率は $1 - 1/q$ であり、行と列の置換による対称性のおかげで、すべての位置で一様である。
• ランク1行列の重みは $mn$ を超えることはないが、すべての $[1, mn]$ の重みが可能というわけではない。重みは行と列の非ゼロ数の積であるため、分布にはギャップとピークが生じる。