[論文レビュー] A local central limit theorem for the number of triangles in a random graph

Justin Gilmer, Swastik Kopparty|arXiv (Cornell University)|Nov 30, 2014

Limits and Structures in Graph Theory参考文献 11被引用数 3

ひとこと要約

本稿は、固定された $p \in (0,1)$ を持つエドős＝レニーのランダムグラフ $G(n,p)$ における三角形の数について、局所中心極限定理を確立する。確率質量関数が漸近的に離散ガウス分布に比例することを証明する。証明は、フーリエ変数 $t$ の異なる範囲に応じた特化された条件付き確率の議論を用いた特性関数解析であり、点ごとの近似誤差が $o(1/n^2)$ であることを達成する。

ABSTRACT

In this paper, we prove a local limit theorem for the distribution of the number of triangles in the Erdos-Renyi random graph $G(n,p)$, where $p \in (0,1)$ is a fixed constant. Our proof is based on bounding the characteristic function $ψ(t)$ of the number of triangles, and uses several different conditioning arguments for handling different ranges of $t$.

研究の動機と目的

• 固定された定数 $p \in (0,1)$ を持つ $G(n,p)$ における三角形の数について、局所中心極限定理を確立すること。
• 古典的中心極限定理を超えて、三角形の数の確率質量関数 $\Pr[S_n = k]$ の点ごとの近似を提供すること。
• 文献におけるギャップを埋めるために、$p \approx c/n$ のポアソン的状態から、定数 $p$ の状態への局所中心極限定理の拡張を行うこと。
• 高次モーメントと尾部挙動を制御するため、範囲別に条件付き確率の戦略を用いた特性関数に基づくアプローチを開発すること。

提案手法

• 三角形の数 $S_n$ の特性関数 $\psi(t)$ を分析し、点ごとの集中度の境界を導出する。
• フーリエ変数 $t$ の異なる範囲に応じて、特性関数の減衰を制御するための異なる条件付き確率戦略を用いる。
• 中心化された三角形の数 $Z_n = S_n - \mu_n$ のモーメントに基づく解析を用い、グラフ構造の列挙により高次モーメントを境界づける。
• 重なり合う三角形の組を完全にペアリングされた構成とペアリングされていない構成に分類し、$\mathbb{E}[Z_n^k]$ における主要寄与を特定する。
• 例えば、共有辺を持つ2つの三角形の和集合のようなグラフのコピーの組み合わせ的数え上げを用い、$\mathbb{E}[Z_n^k]$ の主要項を計算する。
• 偶数 $k$ に対しては $\mathbb{E}[Z_n^k] = \frac{(n)_{2k} C^{k/2} (k-1)!!}{2^{k/2}} + O(n^{2k-1})$、奇数 $k$ に対しては $\mathbb{E}[Z_n^k] = O(n^{2k-1})$ であることを確立する。ここで $C$ は $p$ に依存する定数である。

実験結果

リサーチクエスチョン

• RQ1 固定された $p \in (0,1)$ を持つ $G(n,p)$ における三角形の数の分布は、局所中心極限定理を満たすか？
• RQ2 点ごとの確率 $\Pr[S_n = k]$ は、明示的な誤差境界を伴う離散ガウス分布によって近似可能か？
• RQ3 古典的中心極限定理が点ごとの推定を提供しない状況において、三角形の数の特性関数を制御するために必要な技法は何か？
• RQ4 三角形の数の高次モーメントはどのように振る舞い、どのようなグラフ構造がその期待値の主な寄与をもたらすか？

主な発見

• 固定された $p \in (0,1)$ を持つ $G(n,p)$ における三角形の数の分布は、離散ガウス分布によって点ごとに近似可能である：$\Pr[S_n = k] = \frac{1}{\sqrt{2\pi}\sigma_n} e^{-(k - \mu_n)^2 / (2\sigma_n^2)} \pm o(1/n^2)$。
• 局所中心極限定理における誤差は $o(1/n^2)$ であり、古典的中心極限定理における $o(1)$ の誤差よりも強い。
• 偶数 $k$ に対しては、三角形の数の $k$ 階中心モーメントが $\mathbb{E}[Z_n^k] = \frac{(n)_{2k} C^{k/2} (k-1)!!}{2^{k/2}} + O(n^{2k-1})$ を満たす。ここで $C = \text{Var}(X_t)$ は単一の三角形の分散である。
• 奇数 $k$ に対しては、$k$ 階中心モーメントは $O(n^{2k-1})$ であり、ガウス分布のモーメント母関数と整合的である。
• $R_n = (S_n - \mu_n)/\sigma_n$ の極限分布のモーメントは、標準正規分布のモーメントに収束する：偶数 $k$ に対しては $\mathbb{E}[R_n^k] \to (k-1)!!$、奇数 $k$ に対しては 0 に収束する。
• この結果により、定数 $p$ の状態において、三角形の数が漸近的に局所的にガウス分布に従うことが確認され、Röllin と Ross (2010) が提起した疑問が解決された。