[論文レビュー] Uniform regular weighted graphs with large degree: Wigner's law, asymptotic freeness and graphons limit

Camille Male, Sandrine Péché|arXiv (Cornell University)|Oct 29, 2014

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

ひとこと要約

本稿では、度数 $ d_N $ と $ N - d_N $ が両方とも無限大に発散する条件下で、均一にランダムな正則重み付きグラフが、Wignerの半円則および自由確率論における漸近的自由性を満たすことを確立している。主な結果は、相関推定式 $ \mathfrak{C}_N(T) = \left(\frac{d_N}{N}\right)^{|T|} \cdot O(d_N^{-|T|/2}) $ であり、これは標準化された経験的固有値分布が半円則に収束することを示し、大規模なランダム正則グラフにおける漸近的自由性の実現を可能にする。

ABSTRACT

For each $N\geq 1$, let $G_N$ be a simple random graph on the set of vertices $[N]=\{1,2, ..., N\}$, which is invariant by relabeling of the vertices. The asymptotic behavior as $N$ goes to infinity of correlation functions: $$ \mathfrak C_N(T)= \mathbb E\bigg[ \prod_{(i,j) \in T} \Big(\mathbf 1_{\big(\{i,j\} \in G_N \big)} - \mathbb P(\{i,j\} \in G_N) \Big)\bigg], \ T \subset [N]^2 extrm{finite}$$ furnishes informations on the asymptotic spectral properties of the adjacency matrix $A_N$ of $G_N$. Denote by $d_N = N imes \mathbb P(\{i,j\} \in G_N) $ and assume $d_N, N-d_N\underset{N ightarrow \infty}{\longrightarrow} \infty$. If $\mathfrak C_N(T) =\big(\frac{d_N}N\big)^{|T|} imes O\big(d_N^{-\frac {|T|}2}\big)$ for any $T$, the standardized empirical eigenvalue distribution of $A_N$ converges in expectation to the semicircular law and the matrix satisfies asymptotic freeness properties in the sense of free probability theory. We provide such estimates for uniform $d_N$-regular graphs $G_{N,d_N}$, under the additional assumption that $|\frac N 2 - d_N- η\sqrt{d_N}| \underset{N ightarrow \infty}{\longrightarrow} \infty$ for some $η>0$. Our method applies also for simple graphs whose edges are labelled by i.i.d. random variables.

研究の動機と目的

• 均一にランダムな正則重み付きグラフの漸近的スペクトル挙動を確立すること。
• 固有値分布の半円則への収束を示すために、ランダムグラフにおける辺インジケーターの相関推定を導出すること。
• Erdős–Rényi グラフからの結果を、より強い度数発散条件の下で正則グラフへと拡張すること。
• 自由確率論の文脈において、隣接行列の漸近的自由性を調査すること。
• 発散する度数をもつ大規模なランダム正則グラフのグラフン極限枠組みを提供すること。

提案手法

• スペクトル特性を分析するために、相関関数 $ \mathfrak{C}_N(T) = \mathbb{E}\left[\prod_{(i,j)\in T}\left(\mathbbm{1}_{\{i,j\}\in G_N} - \mathbb{P}(\{i,j\}\in G_N)\right)\right] $ を用いる。
• グラフ構造の制御とボトルネックの回避のため、条件 $ |\frac{N}{2} - d_N - \eta\sqrt{d_N}| \to \infty $ を課す。
• ラベル付きパスおよびサイクルの数に関する組合せ的推定 $ \sharp\mathcal{B}_N(\cdot, \ell) $ を用いて、共有頂点をもつ構成の数を上限付ける。
• 再帰的境界 $ \sharp\mathcal{B}_N(\cdot, \ell) $ を用い、技術的条件 $ N - 2d_N - \eta\sqrt{d_N} \to \infty $ の下で指数的減衰 $ \rho^{\ell - m_N} $（$ \rho < 1 $）を示す。
• この手法を、均一にランダムな正則グラフおよびi.i.d.重みをもつ辺重み付きグラフの両方へ適用し、i.i.d.隣接行列モデルを超える一般化を達成する。
• 標準化された隣接行列 $ M_N $ が大規模 $ N $ における自由独立性の条件を満たすことを示すことにより、漸近的自由性を確立する。

実験結果

リサーチクエスチョン

• RQ1 均一にランダムな $ d_N $-正則重み付きグラフの経験的固有値分布が、どのような条件下で半円則に収束するか。
• RQ2 正則グラフにおける辺インジケーターの相関推定が、どのようにWignerの法則および漸近的自由性を示すように上限付けられるか。
• RQ3 グラフ構造、特に $ d_N $ と $ N - d_N $ のバランスが、隣接行列のスペクトル極限に与える影響は何か。
• RQ4 大規模な度数をもつ均一にランダムな正則グラフは、古典的Wigner行列と同様のスペクトル的および自由確率論的性質をどの程度示すか。
• RQ5 グラフン極限は、大規模な正則重み付きグラフの漸近的挙動を特徴付けるために果たす役割は何か。

主な発見

• 条件 $ |\frac{N}{2} - d_N - \eta\sqrt{d_N}| \to \infty $ の下で、すべての有限 $ T \subset [N]^2 $ に対して相関関数が $ \mathfrak{C}_N(T) = \left(\frac{d_N}{N}\right)^{|T|} \cdot O\left(d_N^{-|T|/2}\right) $ を満たす。
• 条件 $ d_N, N - d_N \to \infty $ の下で、隣接行列の標準化された経験的固有値分布は期待値において半円則に収束する。
• 隣接行列は自由確率論の意味で漸近的自由性を満たし、i.i.d. Wigner行列からの結果を正則グラフモデルへと拡張する。
• この手法は、均一にランダムな正則グラフおよびi.i.d.重みをもつ辺重み付きグラフの両方へ適用可能であり、ベルヌーイ辺モデルを超える一般化を達成する。
• 再帰的境界を用いて、構成の数 $ \sharp\mathcal{B}_N(\cdot, \ell) $ の指数的減衰を確立し、これが主要な相関推定に繋がる。
• 技術的条件 $ N - 2d_N - \eta\sqrt{d_N} \to \infty $ は、グラフが十分に拡散的であることを保証し、減衰推定およびスペクトル収束を可能にする。