[논문 리뷰] A multipartite version of the Hajnal-Szemerédi theorem for graphs and hypergraphs

Allan Lo, Klas Markström|arXiv (Cornell University)|2011. 08. 21.

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

한 줄 요약

이 논문은 그래프와 초그래프에 대해 Hajnal-Szemerédi 정리의 다중 부분형 버전을 수립하며, 충분히 큰 $n$에 대해 최소 코드그리드가 $((t-1)/t + \gamma)n$를 초과하는 균형 잡힌 $t$-부분형 그래프는 완전한 $K_t$-매칭을 포함함을 증명한다. 이는 Fischer의 추측을 점 渐진적으로 확인하는 것으로, 결과는 코드그리드 조건을 통해 $k$-균일 초그래프로 확장되며, 확률적 분할과 농도 불등식을 사용하여 부분 간 간선 분포를 제어한다.

ABSTRACT

A perfect $K_t$-matching in a graph $G$ is a spanning subgraph consisting of vertex disjoint copies of $K_t$. A classic theorem of Hajnal and Szemerédi states that if $G$ is a graph of order $n$ with minimum degree $δ(G) \ge (t-1)n/t$ and $t| n$, then $G$ contains a perfect $K_t$-matching. Let $G$ be a $t$-partite graph with vertex classes $V_1$,..., $V_t$ each of size $n$. We show that if every vertex $x \in V_i$ is joined to at least $((t-1)/t + γ)n $ vertices of $V_j$ for $i e j$, then $G$ contains a perfect $K_t$-matching, thus verifying a conjecture of Fisher asymptotically. Furthermore, we consider a generalisation to hypergraphs in terms of the codegree.

연구 동기 및 목표

• 균형 잡힌 $t$-부분형 그래프에서 최소 코드그리드 조건이 향상된 조건 하에서 완전한 $K_t$-매칭의 존재를 해결하는 것.
• 그래프와 $k$-균일 초그래프에 대해 Hajnal-Szemerédi 정리를 다중 부분형 설정으로 일반화하는 것.
• 최소 $l$-도수 조건 하에서 $t$-부분형 $k$-그래프에서 완전한 $K_t^k$-매칭의 점 渐진적 존재를 확립하는 것.
• 규칙성 레미마에 의존하는 이전 증명보다 훨씬 작은 임계값 $n_0$을 제공하는 구조적 확률적 방법을 제시하는 것.

제안 방법

• 주어진 $k$-그래프 $H$에서 정점들을 $t$개의 클래스로 무작위 분할하여 균형 잡힌 $t$-부분형 부분그래프 $H'$를 구성하는 것.
• Chernoff의 부등식을 적용하여, 정점 집합의 연결 초그래프에서 매칭이 부분 간에 불균형하게 분포할 확률을 제한하는 것.
• 연결 초그래프를 $O(n^{k-2})$개의 간선-불일치 매칭으로 분해하여 확률적 분석을 가능하게 하는 것.
• 농도 경계를 사용하여, 모든 $l$-집합이 $H'$에서 기대값 $\frac{m!}{t^m}\deg^H(T)$에 가까운 코드그리드를 갖는다는 것을 보이며, 여기서 $m = k-l$.
• 최대 $O(n^{1/2} (\ln n)^{1/4})$개의 정점을 재분배하여 정확한 균형 분할을 달성하면서도 코드그리드 추정치를 유지하는 것.
• 핵심 부등식 유도: $\deg^{H'}_J(T) \geq \frac{m!}{t^m}\deg^H(T) - O(\sqrt{k \ln n} \cdot n^{m - 1/2})$, 이는 코드그리드 유지 보장을 보장한다.

실험 결과

연구 질문

• RQ1 균형 잡힌 $t$-부분형 그래프에서 코드그리드가 $((t-1)/t + \gamma)n$를 초과하면 큰 $n$에 대해 완전한 $K_t$-매칭을 포함하는가?
• RQ2 Hajnal-Szemerédi 정리는 $((t-1)/t)n$ 이하의 임계값을 초과하는 여유를 가진 다중 부분형 설정으로 확장 가능한가?
• RQ3 완전한 $K_t^k$-매칭을 확보하기 위한 최소 코드그리드 조건은 무엇인가?
• RQ4 규칙성 레미마에 의존하는 증명과 비교해, 이러한 매칭에 대한 임계값 $n_0$를 상당히 줄일 수 있는가?

주요 결과

• 모든 $\gamma > 0$에 대해, $n_0 = n_0(t, \gamma)$가 존재하여, $n \geq n_0$이고 $\widetilde{\delta}(G) \geq \left(\frac{t-1}{t} + \gamma\right)n$인 모든 균형 잡힌 $t$-부분형 그래프는 완전한 $K_t$-매칭을 포함한다.
• 결과는 Fischer의 추측을 점 渐진적으로 확인하며, $+\gamma n$ 여유가 큰 $n$에 대해 충분함을 보여준다.
• 이 방법은 Keevash와 Mycroft가 초그래프 블로업 레미마를 사용한 증명보다 훨씬 작은 $n_0$를 제공한다.
• $k$-균일 초그래프의 경우, $\widetilde{\delta}_l(H) \geq \phi_l^k(t,n)$이면 완전한 $K_t^k$-매칭이 존재함을 증명하며, $\phi_l^k(t,n)$은 그러한 코드그리드 임계값의 최소값으로 정의된다.
• 확률적 분할 기법은 유도된 $t$-부분형 부분그래프가 코드그리드를 $O(\sqrt{k \ln n} \cdot n^{m - 1/2})$ 오차 내에서 유지함을 보장한다. 여기서 $m = k-l$.
• 분석 결과, 높은 확률로 모든 $l$-집합이 $t$-부분형 부분그래프에서 기대값에 가까운 코드그리드를 가지며, 이는 완전한 매칭의 구성에 기여한다.