[논문 리뷰] Biclique Coverings and the Chromatic Number

Dhruv Mubayi, Sundar Vishwanathan|ArXiv.org|2009. 03. 17.

Mathematics and Applications참고 문헌 2인용 수 4

한 줄 요약

이 논문은 색수 $k$인 그래프의 간선을 커버하거나 분할하기 위해 필요한 이분그래프의 수와 총 순서에 대해 渐近적으로 날카로운 하한을 확립한다. 이는 어떤 이분그래프 분할도 적어도 $2^{\scriptstyle\raisebox{0.25ex}{\raisebox{0.25ex}{\raisebox{0.25ex}{\raisebox{0.25ex}{\raisebox{0.25ex}{\frac{1}{2}}}}}}\sqrt{2\log k}}$개의 이분그래프를 필요로 하며, 그들의 순서의 합은 $(1-o(1))k\log k$ 이상이어야 한다고 증명한다. 이는 카토나-슈메레디 정리의 일반화를 渐近적으로 확인하고, 알론-삭스-세이모어 추측에 대한 진전을 이룬다.

ABSTRACT

Consider a graph $G$ with chromatic number $k$ and a collection of complete bipartite graphs, or bicliques, that cover the edges of $G$. We prove the following two results: \medskip oindent $\bullet$ If the bicliques partition the edges of $G$, then their number is at least $2^{\sqrt{\log_2 k}}$. This is the first improvement of the easy lower bound of $\log_2 k$, while the Alon-Saks-Seymour conjecture states that this can be improved to $k-1$. \medskip oindent $\bullet$ The sum of the orders of the bicliques is at least $(1-o(1))k\log_2 k$. This generalizes, in asymptotic form, a result of Katona and Szemerédi who proved that the minimum is $k\log_2 k$ when $G$ is a clique.

연구 동기 및 목표

• 색수 $k$인 그래프의 간선을 분할하기 위해 필요한 이분그래프의 수에 대해 초대수하한을 확립하여, 자명한 $\log_2 k$ 하한을 향상시키는 것.
• 클리크 그래프에 대해 $k\log k$ 하한을 주는 카토나-슈메레디 정리를, 색수 $k$인 임의의 그래프로 일반화하는 것.
• 색수 $k$인 그래프를 커버하는 이분그래프들의 순서의 합이 적어도 $k\log k$ 이상임을 나타내는 추측에 대해 渐近적 확인을 제공하는 것.
• 색수 $k$인 그래프의 간선을 분할하기 위해 $k-1$개의 이분그래프로 충분하다는 알론-삭스-세이모어 추측에 대한 진전을 이루는 것.

제안 방법

• 각 정점에 대해 이분그래프 컷 기반의 색상 순서를 할당하는 재귀적 색칠 절차를 사용하며, 색상은 이분그래프 인덱스의 튜플이다.
• 각 단계에서 현재 집합을 컷하는 이분그래프에 따라 정점들이 정밀화되며, 한 쪽에서 컷하는 이분그래프의 수를 최소화하는 균형 조건이 유지된다.
• 다양한 색상 순서의 수는 재귀적 세기 방법을 통해 유계화되며, $m$개의 이분그래프에 대해 색상 수가 $m^{(1+\log m)/2}$ 정도로 증가함을 보인다.
• Hansel의 보조정리의 변형을 독립집합에 적용하여, 이분그래프 순서의 합의 최소값 $b(G)$에 대한 하한을 도출한다: $b(G) \geq n\log(n/\alpha)$.
• 증명은 반복적으로 큰 독립집합을 제거하고, 그로 인해 생기는 부분그래프를 분석함으로써 진행되며, 제거 단계 수에 따라 두 경우로 나누는 임계값을 사용한다.
• 경우 분석을 수행한다: 만약 많은 독립집합이 제거된다면, 독립집합 비율의 증가에 기반하여 하한을 도출한다. 그렇지 않다면 나머지 그래프는 큰 클리크를 포함하며, 이 경우 카토나-슈메레디 정리를 적용하여 $b(G)$에 대해 강력한 하한을 유도할 수 있다.

실험 결과

연구 질문

• RQ1 색수 $k$인 그래프의 간선 집합을 분할하기 위해 필요한 최소 이분그래프 수는 얼마인가?
• RQ2 클리크 그래프에 대해 $k\log k$ 하한을 주는 카토나-슈메레디 하한은 임의의 색수 $k$인 그래프로 일반화될 수 있는가?
• RQ3 알론-삭스-세이모어 추측—모든 $k$-색수 그래프의 간선을 분할하기 위해 $k-1$개의 이분그래프로 충분하다—는 참인가? 그리고 어떤 하한을 증명할 수 있는가?
• RQ4 색수는 이분그래프 커버의 구조, 즉 이분그래프의 수와 총 크기 측면에서 어떻게 관련되어 있는가?

주요 결과

• 색수 $k$인 그래프의 간선을 분할하기 위해 필요한 이분그래프의 수는 적어도 $2^{\sqrt{2\log k}(1+o(1))}$ 이상이며, 이는 자명한 $\log_2 k$ 하한을 향상시킨다.
• 색수 $k$인 그래프의 임의의 이분그래프 커버에 대해 그 순서의 합은 적어도 $k\log k - k\log\log k - k\log\log\log k$ 이상이며, 이는 일반화된 카토나-슈메레디 추측의 渐近적 형태를 확인한다.
• 서로소 $m$개의 이분그래프의 합집합의 색수는 최대 $m^{(1+\log m)/2}(1+o(1))$ 이며, 이는 분할에 필요한 이분그래프 수에 대한 하한을 암시한다.
• 정점 수 $n \leq k\log k$인 그래프의 경우, 반복적으로 독립집합을 제거하고 제거 단계 수에 대한 경우 분석을 통해 순서의 합에 대한 하한을 도출한다.
• 독립집합 제거 수가 적을 경우, 나머지 그래프는 크기 최소 $k(1 - 2/\log k)$의 큰 클리크를 포함하며, 이에 따라 카토나-슈메레디 정리를 적용하여 $b(G)$에 대해 강력한 하한을 도출할 수 있다.
• 결과적으로 일반화된 카토나-슈메레디 추측은 渐近적으로 확인되었으며, 알론-삭스-세이모어 추측에 대해 처음으로 비자명한 초대수하한을 제공한다.