[論文レビュー] On the rank of a random binary matrix

C. Cooper, Alan Frieze+1 more|arXiv (Cornell University)|Jun 13, 2018

Random Matrices and Applications被引用数 5

ひとこと要約

本稿は、各列にちょうど $k$ 個の 1 を持つ $n \times m$ 二値行列のランクを $GF(2)$ 上で分析し、関連する $k$-一様ランダム超グラフの 2-コア構造に漸近的に依存することを示している。$m < m^*$ の場合、ランクは漸近的に $m$ に等しい。$m \geq m^*$ の場合、ランクは $m - |E(C_2)| + |C_2|$ に等しい。ここで $C_2$ は 2-コアを表す。この結果は、Frieze の最小全域木に関する $\zeta(3)$ の結果を高次元超グラフへ一般化するものである。

ABSTRACT

We study the rank of the random $n imes m$ 0/1 matrix ${\bf A}_{n,m;k}$ where each column is chosen independently from the set $Ω_{n,k}$ of 0/1 vectors with exactly $k$ 1's. Here 0/1 are the elements of the field $GF_2$. We obtain an asymptotically correct estimate for the rank in terms of $c,n,k$, assuming that $m=cn$. In addition, we assign i.i.d. $U[0,1]$ weights $X_{\bf c},{\bf c}\inΩ_{n,k}$ and let the weight of a set of columns $C$ be $X(C)=\sum_{{\bf c}\in C}X_{\bf c}$. Let a basis be a set of $n-1_{k ext{even}}$ linearly independent columns. We obtain an asymptotically correct estimate for the minimum weight of a basis. This generalises the well-known result for $k=2$ viz. that the expected length of a minimum weight spanning tree tends to $ζ(3)$.

研究の動機と目的

• ランダムな $n \times m$ 二値行列の漸近的ランクを、$GF(2)$ 上で各列にちょうど $k$ 個の 1 を持つ場合に特定すること。
• 関連するランダム超グラフの 2-コアに起因する臨界閾値 $m^*$ におけるランク行動の段階的転移を特徴づけること。
• Frieze の最小重み全域木に関する結果（$\zeta(3)$）を $k$-一様超グラフへ拡張し、$k \geq 3$ の場合の期待最小重み基底を導出すること。
• 超グラフコア構造と確率的解析を用いて、ランクおよび最小重み基底の精密な漸近的推定値を提供すること。

提案手法

• 行列を $H_{n,m;k}$ と表す $k$-一様ランダム超グラフのインcidenc行列としてモデル化する。
• 超グラフの 2-コア $C_2$ を用いて挙動を分割：$m^*$ 未満ではランクは $m$、$m^*$ 以上ではランクは $m - |E(C_2)| + |C_2|$ である。
• 方程式 $x = (1 - e^{-cx})^{k-1}$ の解 $x_c$ の漸近的解析を用いて、臨界閾値 $c_k^*$ および $m^* = c_k^* n / k$ を定義する。
• 大偏差および集中不等式を適用し、2-コアのサイズとその辺数が期待値の周囲にきわめて集中することを示す。
• 積分近似および $c_k^*$ の境界を用いて、重み付き列選択による最小重み基底コストを推定する。
• 特にコアの出現および段階的転移に関する、ランダムグラフ・超グラフ理論の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 各列にちょうど $k$ 個の 1 を持つランダム $n \times m$ 二値行列の、$GF(2)$ 上での漸近的ランクは、$m$ の関数としてどのように表されるか？
• RQ2 臨界閾値 $m^*$ におけるランクの遷移はどのように起こり、どの超グラフ構造的特徴がこれに支配的か？
• RQ3 $k \geq 3$ の場合、最小重み基底の期待重みを漸近的に推定できるか。Frieze の $\zeta(3)$ 結果を一般化できるか？
• RQ4 $k$-一様ランダム超グラフにおける 2-コアの漸近的挙動はどのようなものか。行列ランクにどのように影響するか？
• RQ5 $|C_2| = |E(C_2)|$ となる臨界値 $c_k^*$ は $k$ に依存するか。その依存関係と、成立する境界は何か？

主な発見

• $m < m^*$ の場合、${\bf A}_{n,m;k}$ のランクは高確率で漸近的に $m$ に等しい。
• $m \geq m^*$ の場合、ランクは漸近的に $m - |E(C_2)| + |C_2|$ に等しく、ここで $C_2$ は関連超グラフの 2-コアを表す。
• 臨界閾値 $m^* = c_k^* n / k$ は、2-コアの頂点数と辺数が等しくなる条件によって定義され、$c_k^*$ は特定の $x_c$ を含む方程式の解である。
• $k=3$ の場合、臨界値は $c_3^* \approx 2.753699$ であり、$k \geq 4$ の場合、$c_k^* \in [k(1 - \theta e^{-k}), k]$ が成り立ち、ここで $\theta = 3/2$ である。
• 期待最小重み基底コスト $W_{n,k}$ は、超グラフコア構造と列の重みを統合して、漸近的に決定される。
• $k \geq 3$ の場合、$m \geq \gamma n \log n$（$\gamma > 0$）のとき、行列は高確率でフルランク $n - \mathbf{1}(k \text{ が偶数})$ を達成する。