[논문 리뷰] Approximate Multipartite Version of the Hajnal--Szemerédi Theorem

Béla Csaba|ArXiv.org|2008. 07. 28.

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

한 줄 요약

이 논문은 균형 잡힌 $ q $-분할 그래프에 대해 Hajnal–Szemerédi 정리의 근사적 다중분할 판본을 수립한다. 각 정점의 최소 차수를 다른 부분들에 걸쳐 $ \frac{k_q}{k_q+1}n $ 이상으로 보장할 경우, $ n $ 이 충분히 클 때 그래프는 $ K_q $-팩터를 포함함을 증명한다. 여기서 $ k_q = q - \frac{3}{2} + \frac{h_q}{2} $ 이고 $ h_q $ 는 $ q $-번째 조화수이다. 증명은 정규성 레미마와 불어림 레미마를 활용하여 초정규성과 정점 재분배를 통해 클리크 팩터를 통합한다.

ABSTRACT

Let $q$ be a positve integer, and $G$ be a $q$-partite simple graph on $qn$ vertices, with $n$ vertices in each vertex class. Let $δ={k_q \over k_q+1}$, where $k_q=q+O(\log{q})$. If each vertex of $G$ is adjacent to at least $δn$ vertices in each of the other vertex classes, $q$ is bounded and $n$ is large enough, then $G$ has a $K_q$-factor.

연구 동기 및 목표

• 균형 잡힌 $ q $-분할 그래프에서 $ K_q $-팩터 존재를 위한 충분한 최소 차수 조건을 수립하기 위해.
• 원래의 Hajnal–Szemerédi 정리의 극단적 차수 조건을 다중분할 설정에서 약간의 덧셈 오차를 허용하는 근사적 판본으로 완화하기 위해.
• 색깔 클래스의 크기가 동일한 $ q $-색칠 가능한 부분그래프를 사용하여 $ \chi(H) \leq q $ 인 경우 $ H $-팩터로 결과를 확장하기 위해.
• 불어림 레미마와 정규성 기반 분해를 통해 구조적 통합 프레임워크를 제공하기 위해.

제안 방법

• 정점 집합을 클러스터로 분할하기 위해 Szemerédi의 정규성 레미마를 적용하며, 소규모 예외 집합 $ W_0 $ 도 포함한다.
• 클러스터 그래프에서 초정규성을 확보한 후 불어림 레미마를 사용하여 클리크 팩터를 통합한다.
• $ k_q = q - \frac{3}{2} + \frac{h_q}{2} $ 를 정의하여, 여기서 $ h_q $ 는 $ q $-번째 조화수이며, 임계 밀도 $ \frac{k_q}{k_q+1} $ 를 결정한다.
• 클러스터 간에 $ \varepsilon $-정규 쌍을 확립하고, 통합 후 클러스터 크기를 균형 있게 맞추기 위한 균형 조정 알고리즘을 적용한다.
• 예외 집합 $ W_0 $ 에서의 정점은 오직 그 클러스터의 클리크들과 인접한 경우에만 클러스터로 재분배되며, 초정규성이 유지되도록 한다.
• 클러스터 간 길이 2 이하의 방향 경로를 사용하여 정점 이동을 촉진하고, 초정규 쌍 조건을 유지한다.

실험 결과

연구 질문

• RQ1 균형 잡힌 $ q $-분할 그래프에서 $ K_q $-팩터를 보장하는 최소 비율 차수 조건은 무엇인가?
• RQ2 Hajnal–Szemerédi 정리는 다중분할 설정에서 유한한 덧셈 오차를 허용하는 방식으로 확장될 수 있는가?
• RQ3 불어림 레미마와 정규성 레미마는 밀도 높은 다중분할 그래프에서 클리크 팩터를 통합하는 데 어떻게 조합될 수 있는가?
• RQ4 조화수는 $ K_q $-팩터의 임계 밀도를 결정하는 데 어떤 역할을 하는가?
• RQ5 $ \chi(H) \leq q $ 이고 색깔 클래스가 균일한 크기를 가질 때, 어떤 조건에서 $ H $-팩터를 통합할 수 있는가?

주요 결과

• 충분히 큰 $ n $ 에 대해, $ \widetilde{\delta}(G) \geq \frac{k_q}{k_q+1} $ 를 만족하는 균형 잡힌 $ q $-분할 그래프 $ G $ 는 $ K_q $-팩터를 포함한다. 여기서 $ k_q = q - \frac{3}{2} + \frac{h_q}{2} $ 이다.
• 임계 밀도 $ \frac{k_q}{k_q+1} $ 는 渐진적으로 $ 1 - \frac{1}{2q} $ 에 수렴하며, 고전적 bound $ \frac{q-1}{q} $ 보다 향상된다.
• 증명는 초정규성과 정점 재분배를 통해 $ K_q $-팩터를 구성하며, 클리크 팩터의 모든 간선이 $ (\widehat{\varepsilon}, \widehat{d}) $-초정규 쌍을 나타냄을 보장한다.
• 예외 집합 $ W_0 $ 는 각 클러스터가 $ \frac{|W_0|}{c_q \widehat{\ell}} $ 개 이하의 정점만 수신하도록 재분배되며, 초정규성이 유지된다.
• 모든 $ W_0 $ 에 속한 정점은 적어도 $ c_q \widehat{\ell} $ 개의 클리크와 인접하여 균일한 분배가 가능하다.
• 보조정리 4 는 $ H $ 가 고정된 그래프이고 $ \chi(H) \leq q $ 이며 $ \kappa $ 가 $ n $ 을 나누면, $ G $ 는 $ K_q $-팩터 통합을 통해 $ H $-팩터를 포함함을 보여준다.