[论文解读] 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)$ 的 Erdős-Rényi 随机图 $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]$ 中的主导贡献。
• 通过组合计数图的副本（例如共享一条边的两个三角形的并集）来计算 $\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$ 为奇数时，$\mathbb{E}[R_n^k] \to 0$。
• 结果确认了在常数 $p$ 情形下，三角形计数渐近为局部高斯分布，解决了 Röllin 与 Ross（2010）提出的问题。