[논문 리뷰] Erd\H{o}s-Ko-Rado for random hypergraphs: asymptotics and stability

Marcelo Matheus Gauy, Hiệp Hàn외 1명|arXiv (Cornell University)|2014. 09. 12.

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

한 줄 요약

이 논문은 무작위 k-균일 초그래프 𝒫(n,p)에서 가장 큰 교차하는 가족의 渐近 크기를 규명하며, n, k, 이항계수 D = (n−k choose k)를 포함한 임계값을 초과하는 p에 대해 크기는 (1±o(1))pk/n·(n choose k)임을 보여준다. 모든 k 및 p 범위에서 날카운 경계를 제공하며, k = Θ(n)일 때의 안정성 결과까지 포함하여 랜덤 극도 조합론 분야에서 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We investigate the asymptotic version of the Erd\\H{o}s-Ko-Rado theorem for the random $k$-uniform hypergraph $\\mathcal{H}^k(n,p)$. For $2 \\leq k(n) \\leq n/2$, let $N=\\binom{n}k$ and $D=\\binom{n-k}k$. We show that with probability tending to 1 as $n\ o\\infty$, the largest intersecting subhypergraph of $\\mathcal{H}^k(n,p)$ has size $(1+o(1))p\\frac kn N$, for any $p\\gg \\frac nk\\ln^2\\!\\left(\\frac nk\ ight)D^{-1}$. This lower bound on $p$ is asymptotically best possible for $k=\\Theta(n)$. For this range of $k$ and $p$, we are able to show stability as well. A different behavior occurs when $k = o(n)$. In this case, the lower bound on $p$ is almost optimal. Further, for the small interval $D^{-1}\\ll p \\leq (n/k)^{1-\\varepsilon}D^{-1}$, the largest intersecting subhypergraph of $\\mathcal{H}^k(n,p)$ has size $\\Theta(\\ln (pD)N D^{-1})$, provided that $k \\gg \\sqrt{n \\ln n}$. Together with previous work of Balogh, Bohman and Mubayi, these results settle the asymptotic size of the largest intersecting family in $\\mathcal{H}^k(n,p)$, for essentially all values of $p$ and $k$.

연구 동기 및 목표

• 모든 k 및 p 범위에서 무작위 k-균일 초그래프 𝒫(n,p)에서 가장 큰 교차하는 부분초그래프의 渐近 크기를 규명하는 것.
• D = (n−k choose k)로 정의된 임계값에서 p의 행동이 가장 큰 교차하는 가족의 구조를 변화시키는 지점인 것을 규명함으로써, Erdős-Ko-Rado 정리를 랜덤 환경으로 확장하는 것.
• k = Θ(n)일 때 안정성 결과를 확립하여, p가 충분히 클 경우 가장 큰 교차하는 가족이 특정 정점 하나를 고정한 주가족(모든 간선이 한 정점을 포함하는 가족)에 가까워짐을 보이는 것.
• 특히 k가 n에 대해 비선형이고 p가 D⁻¹ 근처의 임계 창 내에 있을 경우, 랜덤 초그래프에서 가장 큰 교차하는 가족의 크기에 관한 미해결 문제를 해결하는 것.

제안 방법

• p ≪ D⁻¹일 때 i(𝒫(n,p))의 하한을 확보하기 위해 삭제 추론을 사용하여, 거의 모든 간선이 교차하는 가족을 이룬다는 것을 보여준다.
• Chernoff 경계와 확률적 농도 불등식을 적용하여, 주가족에서 유도된 가족의 크기를 제어한다.
• 교차하는 가족의 강건성에 기반한 안정성 프레임워크를 활용하고, Erdős-Ko-Rado 안정성 정리의 변형을 사용하여, 큰 교차하는 가족은 반드시 주가족에 가까워야 한다는 것을 보인다.
• Corollary 4.3를 통한 이중 세기 및 확률적 방법을 적용하여 큰 교차하는 가족의 수를 경계함. 이때 대부분의 가족 구성원을 포함하는 큰 집합 P(L)의 존재를 이용한다.
• 이항분포의 尾행동과 로그 항의 분석을 통해, 랜덤 초그래프가 큰 교차하는 부분가족을 포함할 확률에 대한 경계를 유도한다.
• 점점 줄어드는 비율을 고려한 점근 분석과 철저한 매개변수 조정(예: δ, ε, λ)을 통합하여, 큰 교차하는 가족의 크기가 기대되는 주가족 크기에서 벗어나는 확률이 지수적으로 감소함을 보인다.

실험 결과

연구 질문

• RQ1 k = Θ(n)이고 p가 일정한 임계값을 초과할 때, 무작위 k-균일 초그래프 𝒫(n,p)에서 가장 큰 교차하는 부분초그래프의 크기는 어떻게 되는가?
• RQ2 D = (n−k choose k)일 때, p가 D⁻¹ 근처의 임계 범위에 있을 경우 가장 큰 교차하는 가족의 크기는 어떻게 행동하는가?
• RQ3 k가 비선형적일 때, 즉 k = o(n)이고 p가 D⁻¹ ≪ p ≤ (n/k)¹⁻ε D⁻¹ 범위에 있을 경우, i(𝒫(n,p))의 정확한 점근적 행동은 무엇인가?
• RQ4 무작위 초그래프 𝒫(n,p)에서 가장 큰 교차하는 가족이 구조적으로 주가족(고정된 한 정점을 포함하는 모든 간선으로 구성된 가족)에 가까워지는 조건은 무엇인가?
• RQ5 모든 k 및 p 범위에서 i(𝒫(n,p))의 점근적 크기를 통일적으로 특징지울 수 있는가? 특히 제도 전환 영역을 포함하여 말이다.

주요 결과

• D = (n−k choose k)일 때, p ≥ C(n/k)ln²(n/k)D⁻¹이면, 가장 큰 교차하는 부분초그래프의 크기는 i(𝒫(n,p)) = (1±o(1))pk/n·(n choose k)를 만족하며, 이는 주가족의 기대 크기와 일치한다.
• D⁻¹ ≪ p ≤ (n/k)¹⁻ε D⁻¹ 이며 k ≫ √(n ln n)일 경우, 가장 큰 교차하는 부분초그래프의 크기는 Θ(ln(pD)·N/D)이며, 여기서 N = (n choose k)이다.
• p ≪ D⁻¹일 경우, 거의 확실히 전체 랜덤 초그래프 𝒫(n,p)가 교차하므로, i(𝒫(n,p)) = (1±o(1))pN이다.
• k = Θ(n)일 때, D⁻¹에서 단서 전이가 발생한다: D⁻¹ 이하일 경우 초그래프는 일반적으로 교차하며, 초과할 경우 가장 큰 교차하는 부분가족은 한 정점에 집중된다.
• k = Θ(n)일 때, 안정성 결과를 확립하여, p가 임계값을 초과하면 𝒫(n,p)의 어떤 큰 교차하는 가족이라도 구조적으로 주가족에 가까워져야 한다.
• 모든 k 및 p 범위에서 경계가 점근적으로 날카롭게 유지되며, 거의 모든 매개변수 영역에서 i(𝒫(n,p))의 특징을 하위항을 제외하고 완전히 규명하였다.