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

Pat Devlin, Jeff Kahn|arXiv (Cornell University)|2015. 02. 19.

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

한 줄 요약

이 논문은 랜덤 Kneser 그래프 $K_p(2k+1,k)$에 대해 고정된 $p < 1$가 존재하여, $k \to \infty$일 때 거의 확실히 최대 독립집합은 별형 집합(stars)뿐임을 증명함으로써, 에르되시-코-라이고르드스키 정리의 안정성 결과를 랜덤 에지 제거 상황에서 입증한다. 또한 이 성질에 대한 임계 확률이 일반적인 $n$과 $k$에 대해 $O(p_0(n,k))$임을 보이며, 랜덤 Kneser 그래프에서 EKR 성질의 임계 행동에 대한 질문을 해결한다.

ABSTRACT

Denote by $K_p(n,k)$ the random subgraph of the usual Kneser graph $K(n,k)$ in which edges appear independently, each with probability $p$. Answering a question of Bollob\\'as, Narayanan, and Raigorodskii,we show that there is a fixed $p&lt;1$ such that a.s. (i.e., with probability tending to 1 as $k \ o \\infty$) the maximum independent sets of $K_p(2k+1, k)$ are precisely the sets $\\{A\\in V(K(2k+1,k)): x\\in A\\}$ ($x\\in [2k+1]$). We also complete the determination of the order of magnitude of the "threshold" for the above property for general $k$ and $n\\geq 2k+2$. This is new for $k\\sim n/2$, while for smaller $k $ it is a recent result of Das and Tran.

연구 동기 및 목표

• 볼로바스, 나라얀탄, 라이고르드스키가 제기한 질문을 해결하기 위해, $K_p(2k+1,k)$가 어떤 고정된 $p < 1$에 대해 거의 확실히 EKR(즉, 모든 최대 독립집합이 별형 집합임)인지 여부를 밝히는 것.
• 특히 $k \sim n/2$일 때, 랜덤 Kneser 그래프 $K_p(n,k)$에서 EKR 성질에 대한 임계값 $p_c(n,k)$의 주요 크기(order of magnitude)를 규명하는 것.
• 특히 $n \in \{2k+1, 2k+2\}$ 이며 $k$가 큰 경우의 도전적인 영역에서 $K_p(n,k)$에서 EKR 성질의 임계 행동을 완전히 규명하는 것.
• 모든 $n$과 $k$에 대해 임계값 $p_c(n,k)$가 $p_0(n,k)$의 $O$임을 보이며, 여기서 $p_0(n,k)$는 극한 가족 기반으로 알려진 후보 임계값임.

제안 방법

• Kneser 그래프 $K(n,k)$의 에지를 각각 확률 $p$로 독립적으로 유지하는 랜덤 부분그래프 $K_p(n,k)$를 분석하며, 최대 독립집합의 구조에 초점을 맞춘다.
• 가족 ${\cal A}$의 샤프트(shadow)에 속하는 간선 수를 추정하기 위해, $A \in {\cal A}$, $B \in \Gamma_{k+c}$, $A \subseteq B$인 쌍 $({\cal A}, B)$의 수에 대한 이중 세기와 조합적 경계를 사용한다.
• Johnson 그래프의 구조를 활용해 $\beta_c({\cal A})$ 함수(가정 ${\cal A}$의 원소들의 $c$-이동 수를 세는 함수)에 대한 경계를 적용하여, 랜덤 그래프의 간선 수에 대한 하한을 유도한다.
• 간선 수와 ${\cal A}$의 크기 및 밀도 $\mu_k({\cal A})$ 사이의 관계를 유도하기 위해 $\Lambda({\cal A}, \bar{{\cal B}})$와 $\Lambda(\bar{{\cal A}}, {\cal B})$를 포함하는 핵심 부등식을 적용한다. 이로 인해 $e({\cal F})$에 대한 하한을 도출한다.
• 이 경계들을 ${\cal A}$의 상대적 밀도에 대한 로그 밀도 $\log(1/\mu_k({\cal A}))$의 추정치와 결합하여, 랜덤 그래프의 간선 수가 비별형 독립집합을 방지하기 위해 요구되는 임계값을 초과함을 보인다.
• ${\cal A}$의 $\mu_k({\cal A})$ 크기에 기반한 케이스 분석을 통해 유도된 $e({\cal F})$의 하한이 요구되는 임계값을 압도함을 확인함으로써, 최대 독립집합이 별형 집합이어야 함을 보장한다.

실험 결과

연구 질문

• RQ1 고정된 $p < 1$가 존재하여, 모든 $k$에 대해 $K_p(2k+1,k)$가 거의 확실히 EKR인가?
• RQ2 일반적인 $n$과 $k$에 대해 $n \geq 2k+2$ 이며 $k \sim n/2$일 때, $K_p(n,k)$에서 EKR 성질에 대한 임계값 $p_c(n,k)$의 주요 크기는 얼마인가?
• RQ3 $n = 2k+1$일 때를 포함하여 모든 $n$과 $k$에 대해 임계값 $p_c(n,k)$가 $O(p_0(n,k))$로 유지되는가?
• RQ4 특히 정확히 한 원소에서 다름이 있는 가족들, 즉 별형 집합과 정확히 한 원소에서 다름이 있는 가족들에 대해 임계 행동을 어떻게 확립할 수 있는가?

주요 결과

• 고정된 $p < 1$가 존재하여, $k \to \infty$일 때 $K_p(2k+1,k)$가 거의 확실히 EKR임을 입증함으로써, 최대 독립집합이 정확히 별형 집합임을 확인한다.
• 일반적인 $n$과 $k$에 대해, EKR 성질에 대한 임계값 $p_c(n,k)$는 $p_0(n,k)$의 $O$임을 보이며, 여기서 $p_0(n,k)$는 극한 가족 기반의 후보 임계값이다.
• $n \geq 2k+2$일 때 $p_0(n,k)$는 점 渐진적으로 $\binom{n-k-1}{k-1}^{-1} \log(n\binom{n-1}{k})$이며, $n = 2k+1$일 때는 $3/4$이다. 본 논문은 모든 경우에서 $p_c = O(p_0)$임을 보였다.
• $n = 2k+1$일 때, 본 논문은 $k \to \infty$일 때 $p_c \to 3/4$임을 증명하여, 임계값이 $3/4$로 수렴한다는 추측을 뒷받침한다.
• 증명은 $p > Cp_0(n,k)$이면 어떤 절대 상수 $C$에 대해 랜덤 그래프 $K_p(n,k)$가 거의 확실히 EKR임을 보이며, 이는 이전 방법이 실패한 $k \sim n/2$ 영역에서도 성립함을 보여준다.
• 분석을 통해 EKR 성질의 주요 장벽은 정확히 한 원소에서 다름이 있는 가족들에서 비롯되며, 이러한 가족들이 임계값 이상의 $p$일 때 독립집합이 되기 어려운 것으로 확인된다.