[논문 리뷰] A degree sequence Hajnal--Szemerédi theorem

Andrew Treglown|arXiv (Cornell University)|2014. 12. 04.

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

한 줄 요약

이 논문은 하지날–수메레디 정리의 점점 증가하는 차수 수열 형태를 증명하며, 특정 하한 조건을 만족하는 차수 수열을 가진 그래프가 완전한 $K_r$-패킹을 포함함을 보여준다. 이는 알론–유스터 정리의 일반화로, 임의의 그래프 $H$에 대해 차수 수열 조건을 사용하여 점점 증가하는 최적 결과를 확보하기 위해 정규화 및 吸수 방법을 활용한다. 이는 완전한 $H$-패킹과 방향 그래프에서의 전이 토너먼트 패킹에 대해 점점 증가하는 최적 결과를 도출한다.

ABSTRACT

We say that a graph $G$ has a perfect $H$-packing if there exists a set of vertex-disjoint copies of $H$ which cover all the vertices in $G$. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph $G$ contains a perfect $K_r$-packing. Balogh, Kostochka and Treglown proposed a degree sequence version of the Hajnal--Szemerédi theorem which, if true, gives a strengthening of the Hajnal--Szemerédi theorem. In this paper we prove this conjecture asymptotically. Another fundamental result in the area is the Alon--Yuster theorem which gives a minimum degree condition that ensures a graph contains a perfect $H$-packing for an \emph{arbitrary} graph $H$. We give a wide-reaching generalisation of this result by answering another conjecture of Balogh, Kostochka and Treglown on the degree sequence of a graph that forces a perfect $H$-packing. We also prove a degree sequence result concerning perfect transitive tournament packings in directed graphs. The proofs blend together the regularity and absorbing methods.

연구 동기 및 목표

• 완전한 $K_r$-패킹을 위한 최소 차수 조건을 점점 증가하는 차수 수열 조건으로 강화하여 하지날–수메레디 정리의 점점 증가하는 차수 수열 형태를 증명한다.
• 바로그, 코스토카, 트레글로우가 제기한, 임의의 그래프 $H$에 대해 완전한 $H$-패킹을 유도하는 차수 수열 조건에 대한 추측을 해결한다.
• 알론–유스터 정리의 일반화로서, 완전한 $H$-패킹을 보장하는 차수 수열 조건을 확립함으로써 알론–유스터 정리를 일반화한다.
• 방향 그래프로의 이론 확장을 위해 전이 토너먼트의 완전한 패킹을 위한 차수 수열 결과를 증명한다.

제안 방법

• 정규화 방법을 사용하여 그래프를 $\varepsilon$-정규 쌍으로 분할하고, 정규화 렘마를 적용하여 간선 분포를 제어한다.
• 작은 잔여 정점 집합을 흡수할 수 있는 소규모 흡수 집합을 구성하기 위해 흡수 방법을 적용한다.
• 블로우업 렘마 유사한 추론을 사용하여 $K_r$-경로 및 $K_r^h$-경로를 축약된 그래프와 그 부분그래프에 통합한다.
• 초기 정점에서의 최소 차수를 확보하기 위해 $d_i \geq (r-2)n/r + i + \gamma n$ 조건을 도입하며, $i < n/r$일 경우 적용된다.
• 정규화 방법을 사용하여 안정적으로 팽창하는 축약된 그래프 $R$를 구축함으로써, 제어된 끝점으로 $K_r$-경로를 통합할 수 있도록 한다.
• 보조 그래프와 확률적 수세기 기법을 사용하여 많은 수의 $K_r^h$-경로 존재를 보이며, 이는 흡수 구성의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 하지날–수메레디 정리는 최소 차수 조건에서 점점 증가하는 차수 수열 조건으로 강화될 수 있는가? 이 경우 일부 정점의 차수가 $(r-1)n/r$ 이하일 수 있도록 허용한다.
• RQ2 차수 수열 조건 $d_i \geq (r-2)n/r + i + \gamma n$ ($i < n/r$) 및 $d_{n/r+1} \geq (r-1)n/r$가 완전한 $K_r$-패킹을 보장하는가?
• RQ3 알론–유스터 정리에서의 완전한 $H$-패킹을 위한 최소 차수 조건을 임의의 그래프 $H$에 대해 차수 수열 조건으로 일반화할 수 있는가?
• RQ4 방향 그래프에서 전이 토너먼트의 완전한 패킹을 유도하는 차수 수열 조건이 존재하는가?
• RQ5 흡수 방법과 정규화 방법을 조합하여 차수 수열 제약 조건 하에서 $H$-패킹에 대한 점점 증가하는 결과를 증명할 수 있는가?

주요 결과

• 모든 $\gamma > 0$ 및 $r \in \mathbb{N}$에 대해, $n_0$가 존재하여 $n \geq n_0$인 정점 수를 가진 그래프에서 $r \mid n$ 이고, 모든 $i < n/r$에 대해 $d_i \geq (r-2)n/r + i + \gamma n$을 만족하면 완전한 $K_r$-패킹이 존재함을 증명한다.
• 차수 수열 조건은 바로그, 코스토카, 트레글로우(2014)의 구성으로 점점 증가하는 최적임이 입증된다.
• 논문은 바로그, 코스토카, 트레글로우가 제기한, 임의의 그래프 $H$에 대해 완전한 $H$-패킹을 유도하는 차수 수열 조건에 대한 추측을 해결하며, 알론–유스터 정리를 일반화한다.
• 방향 그래프에서 전이 토너먼트의 완전한 패킹을 위한 차수 수열 결과를 확립하여 이론을 방향 설정으로 확장한다.
• 정점 집합 $A \subseteq V(G) \setminus \{x,y\}$ 중에서 $A \cup \{x,y\}$가 길이 $s'$인 $K_r^h$-경로를 형성하는 $s$-집합의 수는 최소 $\gamma' n^s$ 이상이며, 이때 $\gamma' \ll \gamma$ 이다. 이는 흡수에 충분한 유연성을 보장한다.
• 모든 $W \subseteq V(G) \setminus M$에 대해 $|W| \in h\mathbb{N}$ 이고 $|W| \leq \nu^3 n$을 만족할 때, $\nu n$ 크기의 $H$-흡수 집합이 존재함을 보장하여 증명의 최종 흡수 단계를 보장한다.