[논문 리뷰] A Quantitative Local Limit Theorem for Triangles in Random Graphs

Ross S. Berkowitz|arXiv (Cornell University)|2016. 10. 05.

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

한 줄 요약

이 논문은 고정된 $p \in (0,1)$를 가진 에르되시-레니 랜덤 그래프 $G(n,p)$에서 삼각형 수에 대한 정량적 국소 중심극한정리(quantitative local limit theorem)를 수립한다. 모서리 공간 위에서의 $p$-편향 푸리에 분석을 사용하여 삼각형 수 분포와 이산 정규분포 사이의 거리에 대한 명시적 $ℓ^1$ 및 $ℓ^\infty$ 경계를 도출한다. 주요 결과는 점별 오차 경계로 $O(n^{-2.5 + \epsilon})$와 총변동 거리 경계로 $O(n^{-0.5 + \epsilon})$를 얻었으며, 이는 이전의 정성적 결과를 향상시킨다.

ABSTRACT

In this paper we prove a quantiative local limit theorem for the distribution of the number of triangles in the Erdős-Renyi random graph $G(n,p)$, for a fixed $p\in (0,1)$. This proof is an extension of the previous work of Gilmer and Kopparty, who proved that the local limit theorem held asymptotically for triangles. Our work gives bounds on the $\ell^1$ and $\ell^\infty$ distance of the triangle distribution from a suitable discrete normal.

연구 동기 및 목표

• $G(n,p)$에서 삼각형 수 분포의 정규분포 수렴에 대한 명시적이고 정량적인 경계를 제공하는 것.
• 길머와 코파티(2014)의 정성적 국소 중심극한정리를 점별 및 전반적($\ell^1$) 거리에서 명시적 오차율을 포함하도록 확장하는 것.
• 특히 $ℓ^1$ 거리에서 이전에 알려지지 않았던 삼각형 수에 대해 더 날카운 오차 추정치를 확립하는 것.
• 그래프 공간 위에서의 $p$-편향 푸리에 분석을 활용한 프레임워크를 개발하여 삼각형 수의 특성함수를 제어하는 것.

제안 방법

• 모든 간선 집합의 공간인 $\{0,1\}^{\binom{n}{2}}$ 위에서 삼각형 수를 함수로 표현하는 것.
• $S \subset \binom{n}{2}$인 부분집합에 대해 $p$-편향 푸리에 기저 $\chi_S$를 사용하여 삼각형 수 계산 함수를 분해하는 것.
• 특히 작은 집합 $S$에 해당하는 삼각형 수 함수의 푸리에 계수를 경계하여 특성함수를 제어하는 것.
• 특성함수를 단일 간선($\chi_e$) 기여와 고차항($\chi_S$, $|S| \geq 2$) 기여로 분해하고, 각각을 모멘트 경계를 통해 추정하는 것.
• 다양한 하위그래프 $H$를 사용하는 하이브리드 접근법을 통해 푸리에 변수 $t$의 크기에 따라 다르게 선택하며, 중간 범위의 $t$에 대해서는 매칭을 선택하여 尾 꼬리 경계를 개선하는 것.
• 확률적 추정과 지수적 모멘트 경계를 조합하여 $\mathbb{E}[e^{itZ}]$, 즉 삼각형 수의 특성함수를 $t$의 다양한 범위에서 제어하는 것.

실험 결과

연구 질문

• RQ1 $G(n,p)$에서 삼각형 수 분포가 정규분포로 수렴하는 정량적 속도는 무엇인가?
• RQ2 삼각형 수와 이산 정규분포 사이에 명시적 $\ell^1$ 및 $\ell^\infty$ 거리를 확립할 수 있는가?
• RQ3 고정된 $p$에 대해 삼각형 수의 국소 중심극한정리에서 오차 항은 $n$에 따라 어떻게 척도가 조절되는가?
• RQ4 길머와 코파티의 정성적 국소 중심극한정리를 $O(n^{-2.5 + \epsilon})$ 수준의 명시적 오차 경계를 포함하도록 강화할 수 있는가?
• RQ5 $p$-편향 푸리에 분석이 삼각형 수의 특성함수에 대한 더 날카운 경계를 달성하는 데 어떤 역할을 하는가?

주요 결과

• 점별 국소 중심극한정리에서 $\Pr[\mathcal{T} = k]$에 대해 $O(n^{-2.5 + \epsilon})$ 오차 경계를 확보하였으며, 길머와 코파티(2014)의 $o(n^{-2})$ 오차를 향상시켰다.
• 평균으로부터 $O(\sigma_n)$ 이내의 $k$에 대해 확률 $\Pr[\mathcal{T} = k]$는 정규밀도의 곱셈 인자 $1 + O(n^{-0.5 + \epsilon})$ 내에 있으며, 다항식 인자 외에는 최적이다.
• $\ell^1$ 거리로 삼각형 수 분포와 이에 해당하는 이산 정규분포 사이의 거리는 $O(n^{-0.5 + \epsilon})$ 이내로 경계지어졌으며, 이는 삼각형 수에 대해 처음으로 such 정량적 경계이다.
• 증명 과정에서 삼각형 수의 특성함수에 대해 $t$가 중간 범위에 있을 때 $|\varphi_{\mathcal{T}}(t)| \leq O(n^{-0.5 + \epsilon})$ 임을 보였으며, 이는 총 오차 제어에 기여한다.
• $p$-편향 푸리에 분석을 사용함으로써 분산과 고차항 푸리에 계수를 정밀하게 제어할 수 있었으며, 이는 향상된 오차 경계 유도에 기여하였다.
• 이 방법은 삼각형 수의 종속성 구조를 저차 푸리에 성분으로 분해하고 고차항 기여를 경계함으로써 효과적으로 다루었다.