[논문 리뷰] Local Limit Theorems and Number of Connected Hypergraphs

Michael Behrisch, Amin Coja‐Oghlan외 1명|arXiv (Cornell University)|2007. 06. 04.

Stochastic processes and statistical mechanics참고 문헌 17인용 수 9

한 줄 요약

이 논문은 희박한 무작위 $d$-균일 초그래프 $H_d(n,p)$ 및 $H_d(n,m)$에서 가장 큰 성분의 크기와 순서의 공동 분포에 대한 새로운 확률적 접근을 제시하며, 연결 가능성의 확률과 연결 조건 하에서의 간선 분포에 대한 渐近 공식을 수립한다. 주요 기여는 조합 기반 접근을 피하고 정확한 渐近 표현식을 도출하는 비조합적 확률적 프레임워크를 제공하는 것이다. 이는 연결된 $d$-균일 초그래프의 수와 단계 전이 임계점 근처의 연결 성분 내 간선 분포에 대한 정밀한 渐近 표현을 가능하게 한다.

ABSTRACT

Let $H_d(n,p)$ signify a random $d$-uniform hypergraph with $n$ vertices in which each of the ${n}\choose{d}$ possible edges is present with probability $p=p(n)$ independently, and let $H_d(n,m)$ denote a uniformly distributed with $n$ vertices and $m$ edges. We derive local limit theorems for the joint distribution of the number of vertices and the number of edges in the largest component of $H_d(n,p)$ and $H_d(n,m)$ for the regime ${{n-1}\choose{d-1}} p,dm/n >(d-1)^{-1}+ε$. As an application, we obtain an asymptotic formula for the probability that $H_d(n,p)$ or $H_d(n,m)$ is connected. In addition, we infer a local limit theorem for the conditional distribution of the number of edges in $H_d(n,p)$ given connectivity. While most prior work on this subject relies on techniques from enumerative combinatorics, we present a new, purely probabilistic approach.

연구 동기 및 목표

• 무작위 $d$-균일 초그래프의 성분 구조를 분석하기 위한 새로운 순수 확률적 프레임워크를 개발하여 조합 수세기의 의존도를 피하는 것.
• 초과임계 영역에서 $H_d(n,p)$ 및 $H_d(n,m)$의 가장 큰 성분의 정점 수와 간선 수의 공동 분포에 대한 국소 극한정리를 도출하는 것.
• $H_d(n,p)$ 또는 $H_d(n,m)$가 연결될 확률에 대한 渐近 공식을 도출하여 고전적인 무작위 그래프 결과를 초그래프로 확장하는 것.
• 연결 조건 하에서 $H_d(n,p)$의 간선 수에 대한 국소 극한정리를 수립하여 연결 영역 내 정밀한 간선 분포를 제공하는 것.

제안 방법

• 생성함수와 푸리에 분석에 기반한 확률적 접근을 사용하여 $H_d(n,p)$ 및 $H_d(n,m)$에서 성분 순서 $\mathcal{N}(H)$와 크기 $\mathcal{M}(H)$의 공동 분포에 대한 국소 극한정리를 도출한다.
• 초과임계 영역에서 거대 성분 크기를 기술하기 위해 초월 방정식 $\rho = \exp(c(\rho^{d-1} - 1))$의 해 $\rho$ 를 사용한다. 여기서 $c = \binom{n-1}{d-1}p$ 또는 $c = d(d-1)m/n$ 이다.
• 점근 전개와 안장점 방법을 적용하여 가장 큰 성분이 주어진 크기와 순서를 가질 확률을 근사한다. 이때 초과임계 영역에서 $\binom{n}{d}p^2 = o(1)$ 임을 활용한다.
• 가장 큰 성분의 크기가 $\nu$ 라고 조건화한 후, 연결 조건 하에서 $H_d(\nu,p)$의 간선 수 $\mu$ 의 조건부 분포를 다변수 정규 근사와 공동 절감량을 통해 유도한다.
• 최종적으로, $\varrho = \exp(\zeta(\varrho^{d-1} - 1))$의 해인 $\varrho$ 를 사용하여 결과를 $\varrho$ 와 $\zeta = \binom{\nu-1}{d-1}p$ 에 따라 매개변수화한다.
• 최종 공식을 위해 $n$ 과 $c$ 에서 $\nu$ 와 $\zeta$ 로 결과를 재매개변수화하기 위해 $|n - (1 - \varrho)^{-1}\nu| = O(n^{-1})$ 와 $|c - \zeta(1 - \varrho)^{1-d}| = O(n^{-1})$ 의 관계를 사용한다.

실험 결과

연구 질문

• RQ1 무작위 $d$-균일 초그래프 $H_d(n,p)$ 또는 $H_d(n,m)$ 가 초과임계 영역에서 연결될 확률의 점근적 확률은 무엇인가?
• RQ2 $H_d(n,p)$ 및 $H_d(n,m)$ 에서 단계 전이 근처에서 가장 큰 성분의 순서와 크기의 공동 분포는 어떻게 행동하는가?
• RQ3 고정된 정점 수를 가진 $d$-균일 초그래프가 연결되어 있다는 조건 하에서 간선 수의 조건부 분포는 무엇인가?
• RQ4 순수한 확률적 방법이 연결 초그래프에 대한 점근 공식 유도에서 고전적 조합 수세기의 대체가 될 수 있는가?

주요 결과

• $H_d(n,p)$ 또는 $H_d(n,m)$ 가 연결될 확률은 점근적으로 $\Psi_d(\varrho, \zeta)^n \cdot \left(1 + o(1)\right)$ 이며, 여기서 $\varrho$ 는 $\varrho = \exp(\zeta(\varrho^{d-1} - 1))$ 를 만족하고 $\Psi_d$ 는 $d$ 와 $\zeta$ 에 따라 결정되는 계산 가능한 함수이다.
• $d=2$ 인 경우, 연결 가능성의 점근적 확률은 $\exp(-\zeta) \cdot \Psi_2(\varrho, \zeta)$ 로 줄어들며, 이는 무작위 그래프에 대한 알려진 결과와 일치한다.
• 연결된 $H_d(\nu,p)$ 의 간선 수 $\mu$ 의 조건부 분포는 평균과 분산이 $\mathcal{N}(H)$ 와 $\mathcal{M}(H)$ 의 공동 절감량으로부터 유도된 점근 정규 분포를 따르며, $\varrho$ 와 $\zeta$ 에 대한 명시적 공식이 존재한다.
• 국소 극한정리의 결과로 연결된 $d$-균일 초그래프의 순서 $n$ 과 크기 $m$ 에 대한 점근 공식이 도출되며, 이는 조합 기반 접근 없이도 점근적 개수를 도출하는 데 성공한다.
• 유도된 국소 극한정리는 $c > (d-1)^{-1} + \varepsilon$ 인 초과임계 영역에서 유효하며, $\varepsilon > 0$ 이고 $n \to \infty$ 일 때 고정되어 있으며, $\zeta$ 와 $\nu$ 의 컴acts 집합 위에서 균일하게 성립한다.
• 생성함수와 복잡한 점근 수세기의 사용을 피하고, 모멘트 생성함수, 특성함수, 다변수 정규 근사를 포함한 확률적 도구를 사용하여 결과를 도출한다.