[論文レビュー] Invertibility of adjacency matrices for random d-regular directed graphs

Jiaoyang Huang|arXiv (Cornell University)|Jun 4, 2018

Finite Group Theory Research参考文献 27被引用数 6

ひとこと要約

この論文は、有限体 $\mathbb{F}_p$ における特異性を分析することにより、ランダムな $d$-正則有向グラフの隣接行列が、実数上ですべての確率で正則であることを確立している。局所中心極限定理とノルムベクトルに関する大偏差推定を用いて、$\mathbb{F}_p$ における特異確率が $\frac{1 + o(1)}{p-1}$ 以下であることを証明し、$n \to \infty$ のとき実数上での特異確率が $o(1)$ であることを示している。これにより、$d$-正則有向グラフにおける確率的行列理論の未解決問題が解決された。

ABSTRACT

Let $d\geq 3$ be a fixed integer, and a prime number $p$ such that $\gcd(p,d)=1$. Let $A$ be the adjacency matrix of a random $d$-regular directed graph on $n$ vertices. We show that as a random matrix in ${\mathbb F}_p$, \begin{equation} {\mathbb P}( ext{$A$ is singular in ${\mathbb F}_p$})\leq \frac{1+{\mathrm{o}}(1)}{p-1}, \end{equation} as $n$ goes to infinity. As a consequence, as a random matrix in $\mathbb R$, \begin{equation} {\mathbb P}( ext{$A$ is singular in $\mathbb R$})={\mathrm{o}}(1) \end{equation} as $n$ goes to infinity. This answers an open problem by Frieze [12] and Vu [29,30], for random $d$-regular bipartite graphs. The proof combines a local central limit theorem and a large deviation estimate.

研究の動機と目的

• ランダムな $d$-正則有向グラフの隣接行列の特異性に関する未解決問題を解き、特に $d \geq 3$ が定数のときを対象とする。
• このような行列の特異確率が $n \to \infty$ のとき 0 に近づくことを確立し、ヴゥとフリーゼの予想に答えを出す。
• 実数上での分析ではなく、有限体 $\mathbb{F}_p$ における特異性を分析するという画期的なアプローチを開発し、ノルムベクトルの算術的構造を活用する。
• ノルムベクトルを等分布クラスと非等分布クラスに分解することで、特異確率に対する鋭い定量的評価を提供する。

提案手法

• 素数 $p$ に対して $\gcd(p,d) = 1$ を満たすとき、ランダムな $d$-正則有向グラフの隣接行列を有限体 $\mathbb{F}_p$ で分析する。
• ベクトルの分布特性に基づいて、$\mathbb{F}_p^n$ 内のノルムベクトル空間を等分布クラスと非等分布クラスに分解する。
• 局所中心極限定理を用いて、等分布クラスに属するノルムベクトルを持つ隣接行列の数を推定する。
• 大偏差推定を用いて、非等分布クラスに属するノルムベクトルを持つ行列の数を評価する。
• テイラー展開とジェンセンの不等式を用いて、確率測度の漸近的解析におけるエントロピーに類似した項を制御する。
• ベクトル分布の4つのケースにわたる推定を統合し、特異確率の上界を一様に評価する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな $d$-正則有向グラフの隣接行列の、$\mathbb{F}_p$ 上での漸近的特異確率は何か？
• RQ2 $\mathbb{F}_p$ 上での特異確率を十分に厳密に評価できるか？ その結果、実数上での正則性が保証されるか？
• RQ3 $\mathbb{F}_p^n$ 内のノルムベクトルの算術的構造は、ランダムな $d$-正則有向グラフの特異確率にどのように影響するか？
• RQ4 依存するエントリを有する文脈において、実数上での直接的解析に比べて、有限体アプローチがより鋭い評価を提供できるか？

主な発見

• $n \to \infty$ のとき、$\mathbb{F}_p$ 上での隣接行列の特異確率は $\frac{1 + o(1)}{p-1}$ 以下に抑えられる。
• この上界により、実数上での特異確率が $o(1)$ であることが示され、行列が高確率で正則であることが保証される。
• この結果により、$d \geq 3$ が定数のとき、$d$-正則有向グラフの正則性に関するフリーゼとヴゥが提起した未解決問題が解決された。
• 有限体算術とベクトルクラス分解を活用することで、$d$-正則グラフの依存構造を効果的に扱うことができた。
• 行列エントリの独立性が欠如しているにもかかわらず、特異確率が $n$ の任意の多項式よりも速く減少することが分析で示された。
• このアプローチは頑健であり、後続の研究で無向グラフへと拡張されたことから、より広範な適用可能性が示唆された。