[논문 리뷰] Weight and rank of matrices over finite fields

Theresa Migler, Kent E. Morrison외 1명|ArXiv.org|2004. 03. 18.

graph theory and CDMA systemsEngineering인용 수 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 행렬의 경우, 무게를 두 개의 독립적인 이항확률변수의 곱으로 모델링함 — 하나는 $C$의 비영인 행의 수를, 다른 하나는 $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 행렬의 경우, 무게 분포는 두 개의 독립적인 이항확률변수의 곱으로 표현되며, 이는 양수인 조건부 확률로 간주됨. 확률질량함수는 $\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 행렬의 무게 분포는 정규분포로 수렴함. 이때 평균은 약 $mn(1 - 1/q)^2$, 표준편차는 $m \approx n$일 때 $\sim O(n)$ 수준임.
• 랭크-$k$ 행렬에서 특정 항목이 비영일 확률은 $1 - 1/q$이며, 행과 열의 순열에 대한 대칭성 덕분에 모든 위치에서 동일함.
• 랭크-1 행렬의 무게는 $mn$을 초과할 수 없지만, 모든 $[1, mn]$ 범위의 값이 가능한 것은 아님 — 무게는 행과 열의 비영인 요소 수의 곱이므로 분포에 간격과 피크가 생김.