[論文レビュー] On the singularity of adjacency matrices for random regular digraphs

Nicholas A. Cook|arXiv (Cornell University)|Nov 2, 2014

Random Matrices and Applications参考文献 25被引用数 5

ひとこと要約

本稿では、十分に大きな定数 $C>0$ に対して $\min(d, n-d) \geq C\log^2 n$ が成り立つとき、$n$ 頂点上の一様ランダムな $d$-正則有向グラフの隣接行列が漸近的 almost surely に正則であることを確立している。証明は、エッジ分布を制御するための新規なシャッフルカップリング技法に依拠し、集中不等式を用いて構造的および非構造的ゼロベクトルを除外することで、特異確率が多項式的に減少することを示している。

ABSTRACT

We prove that the (non-symmetric) adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices is asymptotically almost surely invertible, assuming $\min(d,n-d)\ge C\log^2n$ for a sufficiently large constant $C>0$. The proof makes use of a coupling of random regular digraphs formed by "shuffling" the neighborhood of a pair of vertices, as well as concentration results for the distribution of edges recently obtained by the author (arXiv:1410.5595). We also apply our general approach to prove a.a.s.\ invertibility of Hadamard products $Σ\circ Ξ$, where $Ξ$ is a matrix of iid uniform $\pm1$ signs, and $Σ$ is a 0/1 matrix whose associated digraph satisfies certain "expansion" properties.

研究の動機と目的

• 一様ランダムな $d$-正則有向グラフの隣接行列の漸近的正則性確率を特定すること。
• i.i.d. 符号行列からの Komlós の特異性結果を、固定された行和・列和を持つ構造的ランダム行列モデルへと拡張すること。
• 漸近的 almost sure 正則性を保証する度数 $d$ の鋭い閾値を確立すること。
• カップリングと集中法を用いた、制約付きランダム行列集合における特異性を分析する一般枠組みを構築すること。

提案手法

• 頂点ペアの近傍を入れ替えることで、ランダム正則有向グラフを確率的にカップリングする「シャッフルカップリング」を導入し、エッジ分布の制御を可能にする。
• 測度の集中不等式を適用して、ランダムベクトルが隣接行列の核に属する確率を抑えている。
• 構造的および非構造的ゼロベクトルを区別し、それぞれに対して特化した議論を用いている。
• スパarsなベクトルにおける線形従属の可能性を分析するため、ランダムウォークインジェクション技法を用いている。
• 行列の再帰的分解を用いて、部分的な行および列の情報を条件付きで扱い、問題をより小さな部分問題に還元している。
• 逆 Littlewood-Offord 理論と不均一性の上限を用いて、固定されたベクトルが核に属する確率を制御している。

実験結果

リサーチクエスチョン

• RQ1 ランダム $d$-正則有向グラフの隣接行列が漸近的 almost surely 正則であるための度数 $d$ の閾値は何か？
• RQ2 カップリングと集中法を用いて、固定された行和・列和を持つ構造的ランダム行列の特異確率を抑えられるか？
• RQ3 元となる有向グラフに拡張性の性質が存在する場合、隣接行列の正則性にどのように影響するか？
• RQ4 洗練されたカップリングと集中議論を用いて、$n^{1/2+\varepsilon}$ よりも低い度数閾値を達成できるか？

主な発見

• 十分に大きな定数 $C>0$ に対して $\min(d, n-d) \geq C\log^2 n$ の下で、一様ランダムな $d$-正則有向グラフの隣接行列は漸近的 almost surely 正則である。
• 上記の度数条件の下で、特異確率は多項式的に減少し、具体的には $\mathbb{P}(\det(M)=0) \ll n^{-100}$ が成り立つ。
• シャッフルカップリング技法はエッジ分布の制御に成功し、ランダム正則有向グラフの依存構造の分析を可能にした。
• 集中不等式とランダムウォークインジェクションを組み合わせることで、構造的および非構造的ゼロベクトルの両方を除外できた。
• 同様の度数条件の下で、$\Xi$ が i.i.d. $\pm1$ 要素を持つときのハダマード積 $\Sigma \circ \Xi$ に対しても結果が拡張可能である。ここで $\Sigma$ は拡張性の性質を満たす。
• 証明フレームワークは、i.i.d. の場合を超えた制約付きランダム行列モデルにおける正則性分析の一般的手法を提供する。