[논문 리뷰] On the densities of cliques and independent sets in graphs

Hao Huang, Nati Linial외 3명|arXiv (Cornell University)|2012. 11. 19.

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

한 줄 요약

이 논문은 독립 집합의 크기가 $r$인 그래프에서 $s$-클리크의 최대 밀도를 고정된 밀도를 가진 경우에 대해 오랫동안 남아있던 문제를 해결한다. 극값 집합 이론에서 유래한 쉬프팅 기법과 분석적 방법을 사용하여, 극값 그래프가 클리크 또는 클리크의 여집합임을 증명한다. 이에 대한 날카운 봉인은 $p$, $r$, $s$를 포함하는 핵심 방정식에서 유도된다. 결과적으로 크루스칼-카토나 정리가 클리크가 아닌 독립 집합의 경우로 일반화되며, 근사 극값 그래프에 대한 안정성 결과도 제시한다.

ABSTRACT

Let r, s >= 2 be integers. Suppose that the number of blue r-cliques in a red/blue coloring of the edges of the complete graph K_n is known and fixed. What is the largest possible number of red s-cliques under this assumption? The well known Kruskal-Katona theorem answers this question for r=2 or s=2. Using the shifting technique from extremal set theory together with some analytical arguments, we resolve this problem in general and prove that in the extremal coloring either the blue edges or the red edges form a clique.

연구 동기 및 목표

• 고정된 크기 $r$의 독립 집합의 밀도를 가진 그래프에서 $s$-클리크의 최대 가능 밀도를 결정하는 것.
• 클리크가 아닌 독립 집합의 경우로 크루스칼-카토나 정리를 확장하는 것.
• 이 최대 밀도를 달성하는 극값 그래프를 특성화하여, 그것이 클리크 또는 클리크의 여집합임을 보여주는 것.
• 근사 극값 그래프가 에지 편집 거리 기준으로 이러한 극값 그래프에 가까운지 보여주는 안정성 결과를 수립하는 것.

제안 방법

• 극값 집합 이론에서 유래한 쉬프팅 기법을 적용하여 그래프를 변형하면서 $s$-클리크의 수를 유지하거나 증가시키는 것.
• $p$, $r$, $s$를 포함하는 핵심 방정식을 분석적으로 해결하여 극값 밀도 $M_{r,s,p}$를 결정하는 것.
• 극값 그래프를 $Q_{n,t}$ (크기 $t$의 클리크)와 $\overline{Q}_{n,t'}$ (크기 $t'$의 클리크의 여집합)로 정의하는 것.
• 극값 밀도 $M_{r,s,p}$를 두 표현의 최댓값으로 유도하는 것: 하나는 $p^{1/r}$에 기반하고, 다른 하나는 $q^r + rq^{r-1}(1-q) = p$의 근 $q$에 기반한다.
• 임의의 그래프가 극값 밀도에 근접할 경우 반드시 $\mathcal{Q}_n$에 속하는 그래프와 $\epsilon$-근접함을 보여주는 안정성 정리를 증명하는 것.
• 주요 극값 추론을 뒷받기기 위해 초그래프 및 집합 체계의 레이블링 복제본에 쉬프팅 방법을 확장하는 것.

실험 결과

연구 질문

• RQ1 크기 $r$의 독립 집합의 밀도가 $p$로 고정된 $n$-정점 그래프에서 $s$-클리크의 최대 가능 밀도는 무엇인가?
• RQ2 크기 $r$의 독립 집합의 밀도가 고정된 조건에서 $s$-클리크의 수를 최대화하는 그래프는 무엇인가?
• RQ3 독립 집합의 크기 $r$에 대한 밀도 $p$가 0에서 1로 변화함에 따라 극값 그래프의 구조는 어떻게 변화하는가?
• RQ4 근사 극값 그래프가 $\mathcal{Q}_n$ 가족의 극값 그래프와 에지 편집 거리 기준으로 가까운지 보여주는 안정성 결과를 확립할 수 있는가?
• RQ5 특히 $r=s$일 경우, 고정된 $d(\overline{K}_r;G)$ 조건 하에서 $d(K_s;G)$를 최소화할 때의 극값 함수의 행동은 어떻게 되는가?

주요 결과

• 고정된 $d(\overline{K}_r;G) \geq p$ 조건 하에서 $s$-클리크의 최대 밀도 $d(K_s;G)$는 점 渐진적으로 $M_{r,s,p} + o(1)$이 되며, 여기서 $M_{r,s,p}$는 $p^{1/r}$과 방정식 $q^r + rq^{r-1}(1-q) = p$의 근 $q$를 포함하는 두 표현의 최댓값이다.
• 이 최대 밀도를 달성하는 극값 그래프는 크기 $t$의 클리크($Q_{n,t}$) 또는 크기 $t'$의 클리크의 여집합($\overline{Q}_{n,t'}$)이며, $t$와 $t'$는 $p$에 의해 결정된다.
• $r=2$ 또는 $s=2$인 경우 결과는 고전적인 크루스칼-카토나 정리로 축소되며, 기존 결과와의 일致를 확인한다.
• 안정성 정리에 따르면, $d(K_s;G)$가 최대값과 $\delta$ 이내인 모든 그래프는 반드시 $\mathcal{Q}_n$에 속하는 그래프와 $\epsilon$-근접함을 보여주며, 이는 극값 구성의 구조적 내성성을 확인한다.
• 극값 함수는 두 곡선의 점별 최댓값이다: 하나는 $Q_{n,\theta n}$에서 유도되고, 다른 하나는 $\overline{Q}_{n,\theta n}$에서 유도되며, 그림 1은 $r=s=3$인 경우를 보여준다.
• 논문은 에르되시가 50년 이상 남긴 열린 문제를 해결하며, $\alpha = 0$인 경우(즉, 독립 수반 수 $r-1$)에 $d(K_s;G)$를 최소화하는 문제를 특정 $r$과 $s$에 대해 해결하였고, $\alpha$가 증가함에 따라 향후 분석을 위한 프레임워크를 제공한다.