[논문 리뷰] Minimum Number of k-Cliques in Graphs with Bounded Independence Number

Oleg Pikhurko, Emil R. Vaughan|arXiv (Cornell University)|2012. 03. 20.

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

한 줄 요약

이 논문은 1962년 에르되시가 제기한 문제를 해결하여, 독립수($\ell$)가 $l$ 미만인 순서 $n$의 그래프에서 $k$-클리크의 점근 최소 개수를 결정한다. $k=3$ 및 $4 \leq l \leq 7$, $l=3$ 및 $4 \leq k \leq 7$의 경우를 대상으로 하며, 플래그 대수와 준선형계획법을 사용한다. 정확한 점근 밀도 $c_{k,l}$를 도출하여, 투란형 구성이 이러한 경우에 최적임을 보이며, 극값 그래프가 항상 램지 그래프의 확장임이 아니라는 점을 입증하여 이전의 추측에 도전한다.

ABSTRACT

Erdos asked in 1962 about the value of f(n,k,l), the minimum number of k-cliques in a graph of order n and independence number less than l. The case (k,l)=(3,3) was solved by Lorden. Here we solve the problem (for all large n) when (k,l) is (3,4), (3,5), (3,6), (3,7), (4,3), (5,3), (6,3), and (7,3). Independently, Das, Huang, Ma, Naves, and Sudakov did the cases (k,l)=(3,4) and (4,3).

연구 동기 및 목표

• 에르되시가 1962년에 제기한 바와 같이, 순서 $n$인 그래프에서 독립수보다 작은 $l$을 갖는 그래프에서의 $k$-클리크 점근 최소 개수를 결정하는 것.
• 모든 충분히 큰 $n$에 대해, $k=3$, $4\leq l\leq 7$, $l=3$, $4\leq k\leq 7$의 경우에 대해 극값 함수 $f(n,k,l)$의 열린 사례를 해결하는 것.
• 극값 그래프 $f(n,k,l)$가 항상 극값 램지 그래프의 확장인지 여부를 검증하여, 다스 등이 제기한 추측에 도전하는 것.

제안 방법

• 서브그래프 밀도에 대한 부등식을 유도하고 검증하기 위해 플래그 대수와 준선형계획법(SDP)을 사용한다.
• 오픈소스 소프트웨어 Flagmatic을 통해 플래그 대수 프레임워크를 활용하여 수치적 경계를 계산하고 이를 엄밀한 증명으로 전환한다.
• 후보 극값 그래프의 합법적 집합의 기울기를 분석하여 안정성과 최적성을 증명한다.
• 특정 기저 그래프의 균일한 확장으로 극값 그래프를 구성한다: $k=3$의 경우 $\overline{K}_{l-1}$, $k=4,5$의 경우 $C_5$, $k=6,7$의 경우 클레브슈 그래프의 여집합 $\overline{L}$.
• 편차가 발생할 경우 $k$-클리크 수가 증가함을 보이기 위해 안정성 추론과 모순 기법을 적용한다.
• 모든 합법적 집합의 기울기가 목표 밀도 $c_{k,l}$보다 엄격히 크다는 것을 검증하여, 구성된 그래프가 엄격한 극값 구성임을 확인한다.

실험 결과

연구 질문

• RQ1 순서 $n$인 그래프에서 독립수보다 작은 $l$을 갖는 경우, $k=3$ 및 $4\leq l\leq 7$일 때의 점근 최소 $k$-클리크 개수는 무엇인가?
• RQ2 일반적으로 $\overline{K}_{l-1}$의 확장이 $k=3$ 및 $l\in\{4,5,6,7\}$일 때 $k$-클리크를 최소화하는 데 최적인가?
• RQ3 $l=3$ 및 $k\in\{4,5,6,7\}$일 때, 최소 $k$-클리크 수는 $5$-사이클 $C_5$ 또는 클레브슈 그래프의 여집합의 확장으로 달성되는가?
• RQ4 극값 그래프 $f(n,k,l)$는 항상 극값 램지 그래프의 확장으로 얻어질 수 있는가? (다스 등의 추측에 도전함)
• RQ5 8개 정점을 갖는 $(3,4)$-램지 그래프를 기반으로 한 구성은 $f(n,4,4)$에 대해 점근적으로 최적인가?

주요 결과

• $4 \leq l \leq 7$일 때, $k$-클리크의 점근 밀도는 $c_{3,l} = (l-1)^{-2}$이며, 이는 $\overline{K}_{l-1}$의 균일한 확장에 의해 달성된다.
• $k=4$일 때, $c_{4,3} = 3/25$이며, 이는 $5$-사이클 $C_5$의 균일한 확장에 의해 달성되며, 니키포로프의 결과를 확인한다.
• $k=5$일 때, $c_{5,3} = 31/625$이며, 이 역시 $C_5$ 확장에 의해 달성되며, 플래그 대수를 통해 엄밀히 증명된 경계이다.
• $k=6$일 때, $c_{6,3} = 19211/1048576$, $k=7$일 때, $c_{7,3} = 98491/16777216$이며, 모두 클레브슈 그래프의 여집합 $\overline{L}$에 의해 달성된다.
• $k=6,7$ 및 $l=3$의 경우 극값 그래프가 어떤 극값 램지 그래프의 확장도 아니며, 다스 등의 추측을 반박한다.
• $c_{4,4}$에 대한 추측된 상한은 $(-11 + 14 \cdot 2^{1/3})/192$이며, 이는 8개 정점의 $(3,4)$-램지 그래프에서 유도되었고, Flagmatic의 수치적 증거는 최적성을 시사한다.