[논문 리뷰] On the stability of the Erd\H{o}s-Ko-Rado theorem

Béla Bollobás, Bhargav Narayanan외 1명|arXiv (Cornell University)|2014. 08. 06.

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

한 줄 요약

이 논문은 무작위 Kneser 그래프에서 Erd\'os-Ko-Rado 정리의 안정성에 대해 날카러운 임계값을 확립한다: Kneser 그래프 $K(n,r)$의 간선이 독립적으로 확률 $1-p$로 제거될 때, $p$가 $n$과 $r$에 따라 정해지는 임계값을 초과하면 독립수는 여전히 $\binom{n-1}{r-1}$로 유지된다 (별개의 별성 집합의 크기). 이 결과는 교차하는 가족의 극값 구조가 희박한 무작위 설정에서도 유지됨을 보여주며, 특히 $r = o(n^{1/3})$일 때 $p_c(n,r) \sim \frac{\log n}{r \cdot n}$에서 날카러운 전이가 발생한다.

ABSTRACT

Delete the edges of a Kneser graph independently of each other with some probability: for what probabilities is the independence number of this random graph equal to the independence number of the Kneser graph itself? We prove a sharp threshold result for this question in certain regimes. Since an independent set in the Kneser graph is the same as a uniform intersecting family, this gives us a random analogue of the Erd\\H{o}s-Ko-Rado theorem.

연구 동기 및 목표

• 무작위 그래프 설정, 특히 Kneser 그래프의 무작위 부분그래프에서 Erd\'os-Ko-Rado 정리의 안정성을 조사한다.
• 무작위 Kneser 그래프의 독립수 $\binom{n-1}{r-1}$가 고전적인 Erd\'os-Ko-Rado 경계와 동일하게 유지되는 임계 간선 제거 확률 $p$를 규명한다.
• 극값 구조(별성)가 희박한 무작위 그래프에서도 유지되는 날카러운 임계현상이 존재함을 밝혀내며, 고전 결과를 무작위 설정으로 확장한다.

제안 방법

• Kneser 그래프 $K(n,r)$의 각 간선을 확률 $p$로 독립적으로 유지함으로써 무작위 Kneser 그래프 $K_p(n,r)$를 모델링한다.
• $\mathbf{N} = \binom{n-1}{r-1}$로 정의하여 $K(n,r)$에서 최대 독립집합(별성)의 크기를 나타내며, 이 값이 $K_p(n,r)$에서도 여전히 독립수로 유지되는지 분석한다.
• 크기가 $\mathbf{N}+1$인 독립가족 중 전체 별성을 포함하는 수 $Y$에 대해 이차모멘트 방법을 적용하여, 고정된 $\varepsilon > 0$에 대해 $p = (1 - \varepsilon)p_c(n,r)$일 때 $\mathbb{E}[Y] \to \infty$ 이고 $\mathrm{Var}[Y] = o(\mathbb{E}[Y]^2)$임을 보이고, 이는 $Y > 0$가 높은 확률로 성립함을 의미한다.
• 이항계수의 점근적 경계와 지수 근사법을 사용해 $\mathbb{E}[Y]$를 추정하여 $\mathbb{E}[Y] \geq \left(\frac{n}{r}\right)^{(\varepsilon + o(1))r}$를 도출하고, 이는 임계값 이하에서 무한히 증가함을 보인다.
• 이차 계차모멘트 $\mathbb{E}[(Y)_2] = \mathbb{E}[Y(Y-1)]$를 분석하기 위해 별성과 집합의 쌍에 대해 경우를 나누어 분석한다: $x \neq y$ 및 $x = y$, $A \neq B$의 경우로 나누며, 둘 다 $o(\mathbb{E}[Y]^2)$로 기여함을 보여 농도가 확인된다.
• 체비셰프 부등식을 적용하여 $Y > 0$가 높은 확률로 성립함을 결론내며, 이는 $\alpha(K_p(n,r)) \geq \mathbf{N} + 1$임을 의미하고, 따라서 $p$가 임계값 이하일 경우 고전 경계를 초월함을 증명한다.

실험 결과

연구 질문

• RQ1 무작위 Kneser 그래프 $K_p(n,r)$의 독립수가 $\binom{n-1}{r-1}$로 유지되는 간선 제거 확률 $p$는 무엇인가?
• RQ2 Erd\'os-Ko-Rado 정리의 안정성에 대해 날카러운 임계값이 존재하는가? 즉, 극값 구조(별성)가 특정 $p_c(n,r)$ 이상일 때만 유지되는가?
• RQ3 특히 $r = o(n^{1/3})$일 때, 임계값 $p_c(n,r)$는 $n$과 $r$의 함수로서 어떻게 행동하는가?
• RQ4 이 날카러운 임계값 결과는 $r = \Theta(n)$ 또는 $n = 2r+1$와 같은 더 큰 $r$ 값으로 확장될 수 있는가?
• RQ5 임계값 $p_c(n,r)$ 주위의 임계 창의 크기는 얼마이며, $r$이 증가함에 따라 이 창은 작아지는가?

주요 결과

• 무작위 Kneser 그래프 $K_p(n,r)$의 독립수가 $p > p_c(n,r)$일 때 $\binom{n-1}{r-1}$로 유지되며, 이때 $p_c(n,r) \sim \frac{\log n}{r \cdot n}$으로 주어져 날카러운 임계값을 확립한다.
• 고정된 $\varepsilon > 0$에 대해 $p = (1 - \varepsilon)p_c(n,r)$일 때, 전체 별성을 포함하는 크기 $\mathbf{N} + 1$인 독립가족의 기대값은 무한히 증가하며, 이는 이러한 가족이 높은 확률로 존재함을 의미한다.
• 이차모멘트 방법을 통해 농도가 확인된다: $\mathrm{Var}[Y] = o(\mathbb{E}[Y]^2)$ 이므로 $Y > 0$가 높은 확률로 성립하며, 이는 독립수가 임계값 이하에서 $\mathbf{N}$을 초월함을 증명한다.
• 임계값 $p_c(n,r)$는 점근적으로 $\frac{\log n}{r \cdot n}$이며, 이 결과는 조건 $r = o(n^{1/3})$ 하에서 성립하며, 향후 개선 가능성이 있다.
• 큰 $r$에 대해서는 $p$가 임계값보다 $1 + 6/r$ 배수 이하일 때도 임계값이 견고하게 유지되며, 이는 임계 창이 더 작을 수 있음을 시사한다.
• 논문은 $r = o(n)$일 때도 동일한 임계값 공식이 성립할 것이라 추측하며, $p = 1/2$ 또는 $n = 2r+1$일 때 Erd\'os-Ko-Rado 정리의 안정성에 대한 열린 질문을 제기한다.