[논문 리뷰] A local central limit theorem for the number of triangles in a random graph

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

Limits and Structures in Graph Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 고정된 $p \in (0,1)$를 가진 에르되시-레니 랜덤 그래프 $G(n,p)$에서 삼각형의 수에 대해 국소 중심극한정리(local central limit theorem)를 수립한다. 삼각형 수의 확률질량함수는 점근적으로 이산 가우시안 분포에 비례함을 증명하며, 특성함수 분석과 푸리에 변수 $t$의 다양한 범위에 맞춘 조건부 기법을 사용하여 점근적 근사에서 오차 bound로 $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$에 대해 0이다.
• 결과적으로 삼각형 수는 고정된 $p$ 영역에서 점근적으로 국소적으로 가우시안임을 확인하며, 이는 Röllin과 Ross(2010)가 제기한 문제를 해결한다.