[論文レビュー] A Local Limit Theorem for Cliques in G(n,p)

Ross Berkowitz|arXiv (Cornell University)|Nov 8, 2018

Geometric and Algebraic Topology参考文献 9被引用数 5

ひとこと要約

本稿は、固定された $p \in (0,1)$ と $r \geq 3$ に対して、Erdős–Rényi 隨機グラフ $G(n,p)$ における $r$-クリーク数に関する局所極限定理を確立する。独立なベルヌーイ変数における次数 $r$ の多項式の特性関数を制御するための新規な技術を導入し、デカップリングの議論を用いることで、クリーク数の分布が離散ガウス分布に点ごとの意味で近いことを証明した。$\ell^\infty$ の誤差バウンドは $O(\sigma^{-1} n^{-1/2 + \tau})$、$\ell^1$ の統計的距離は $O(n^{-1/2 + \tau})$ であり、任意の $\tau < \min(1/12, 1/2r)$ に対して成り立つ。この結果は、定量的な誤差制御を伴う既存の中心極限定理の拡張である。

ABSTRACT

We prove a local limit theorem the number of $r$-cliques in $G(n,p)$ for $p\in(0,1)$ and $r\ge 3$ fixed constants. Our bounds hold in both the $\ell^\infty$ and $\ell^1$ metric. The main work of the paper is an estimate for the characteristic function of this random variable. This is accomplished by introducing a new technique for bounding the characteristic function of constant degree polynomials in independent Bernoulli random variables, combined with a decoupling argument.

研究の動機と目的

• 固定された $p \in (0,1)$ および $r \geq 3$ に対して、$G(n,p)$ における $r$-クリーク数の局所極限定理を確立すること。
• 離散ガウス分布によるクリーク数分布の近似について、$\ell^\infty$ および $\ell^1$ の両メトリクスにおける定量的誤差バウンドを提供すること。
• 独立したベルヌーイ変数における定数次数多項式の特性関数を制御するための新しい手法を開発すること。
• 点ごとの収束と統計的距離の収束を組み合わせることで、中心極限定理を超えた部分グラフ数分布の理解を拡張すること。

提案手法

• 依存関係の解析を簡素化するため、$p$-バイアス化されたフーリエ基底 $\chi_e$ におけるクリーク数 $f_r$ を多項式として書き直し、低次の成分への分解を可能にする。
• 正規化されたクリーク数 $\mathcal{K} = (f_r - \mu)/\sigma$ を、次数 1 の部分 $\mathcal{K}^{=1}$ とそれより高い次数の残差 $\mathcal{K}^{>1}$ に分解し、$\mathcal{K}^{=1}$ が支配的であり、ガウス分布に近いことを示す。
• Berry–Esséen の不等式を用いて $\mathcal{K}^{=1}$ の特性関数を制御し、$\mathbb{E}[|t \mathcal{K}^{>1}|]$ を用いて $\mathbb{E}[e^{it\mathcal{K}}]$ と $\mathbb{E}[e^{it\mathcal{K}^{=1}}]$ の差を評価する。濃度の集中を活用する。
• エッジを $B_0, B_1, \dots, B_{{r \choose 2}-1}$ に分割し、各 $B_i$ が固定された $[n]$ の分割における各 $r$-クリークごとに 1 つのエッジを含むようにする。これによりデカップリング戦略を可能にする。
• デカップリング作用素 $\alpha$ を適用して、ルビーレイン（完全な $r$-クリーク）の集合を分離し、特性関数に寄与するのは固定分割内のクリークに限ることを示す。
• チェルノフの不等式と指数的尾部推定を用いて、$t$ が大きい場合に $|\varphi_{\mathcal{K}}(t)| \leq \exp(-\Omega(t^2 n / \sigma^2))$ を示し、小 $t$ のバウンドと組み合わせて、$\varphi_{\mathcal{K}}(t)$ と標準ガウス特性関数との差の $L^1$ ノルムを制御する。

実験結果

リサーチクエスチョン

• RQ1 固定された $p \in (0,1)$ における $G(n,p)$ における $r$-クリーク数は、点ごとの意味で離散ガウス分布に収束するか？
• RQ2 収束は $\ell^\infty$ および $\ell^1$ の両メトリクスにおいて明示的な誤差バウンドで定量的に記述可能か？
• RQ3 固定された $p$ および $r \geq 3$ の下での局所極限定理の最適収束速度は何か？
• RQ4 新規なデカップリングおよび基底変換技術を用いて、独立なベルヌーイ変数における高次多項式の特性関数を効果的に制御できるか？
• RQ5 中心極限定理の既知の結果を超えて、エッジ確率が固定された場合のクリーク数分布はどのように振る舞うか？

主な発見

• 任意の $\tau < \min(1/12, 1/2r)$ に対して、$\ell^\infty$ の誤差バウンドが $O(\sigma^{-1} n^{-1/2 + \tau})$ である点ごとの局所極限定理が成り立つ。これは、明示的な誤差制御を伴う既存の結果を改善する。
• $r$-クリーク数の分布と離散ガウス分布との間の $\ell^1$ 統計的距離は $O(n^{-1/2 + \tau})$ であり、全変動距離における強い収束を示している。
• 特性関数について、$\int_{-\pi\sigma}^{\pi\sigma} |\varphi_{\mathcal{K}}(t) - e^{-t^2/2}| dt = O(n^{-1/2 + \tau})$ が成り立つ。フーリエ逆変換により、これは主な局所極限定理を示唆する。
• $t$ が大きい場合、特性関数は指数的に減少する：$|\varphi_{\mathcal{K}}(t)| \leq \exp(-\Omega(t^2 n / \sigma^2))$ が成り立ち、尾部寄与の制御と急速な減少を保証する。
• 新しい手法により、正規化されたクリーク数が $p$-バイアス化されたフーリエ基底において次数 1 の多項式と $1 - o(1)$-近い関係にあり、特性関数解析を単純化する。
• 独立したベルヌーイ変数における定数次数多項式の特性関数を制御するための新規な手法とデカップリングの組み合わせにより、他のランダムグラフにおける部分グラフ数に対しても一般化可能なフレームワークが得られた。