[논문 리뷰] The regularity method for graphs and digraphs

Amelia Taylor|arXiv (Cornell University)|2014. 06. 25.

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

한 줄 요약

이 논문은 비방향 및 방향 그래프에서 극값 문제를 해결하기 위해 정규성 방법을 적용한다. 특히 해밀턴 순환과 완전 포장에 초점을 맞춘다. 선형 최소 반도수를 갖는 강력한 외확산 방향 그래프는 해밀턴 순환의 모든 방향화를 포함함을 증명하며, 이는 내쉬-윌리엄스의 추측에 대한 근사적 해결책을 제공하고, $C_6$-포장과 도수 시퀀스 조건에 관한 결과를 확장한다.

ABSTRACT

This MSci thesis surveys results in extremal graph theory, in particular relating to Hamilton cycles. Szeméredi's Regularity Lemma plays a central role. We also investigate the robust outexpansion property for digraphs. Kelly showed that every sufficiently large oriented graph on $n$ vertices with minimum in- and outdegree at least $3n/8 +o(n)$ contains any orientation of a Hamilton cycle. We use Kelly's arguments to extend his result to any robustly expanding digraph of linear degree.

연구 동기 및 목표

• 극값 문제를 해결하기 위해 비방향 및 방향 그래프에 정규성 방법을 개발하고 적용한다.
• 방향 그래프에서 해밀턴 순환을 보장하는 충분한 최소 도수 및 도수 시퀀스 조건을 설정한다.
• 선형 최소 반도수를 갖는 강력한 외확산 그래프가 해밀턴 순환의 모든 방향화를 포함함을 증명한다.
• 내쉬-윌리엄스의 추측, 즉 방향 그래프에서 해밀턴 순환의 도수 시퀀스 조건에 대해 근사적 해결책을 제공한다.
• 정규성 방법을 사용하여 완전 포장, 예를 들어 $C_6$-포장과 같은 결과를 확장한다.

제안 방법

• 크기가 큰 그래프를 정규성 레이마의 원리에 따라 정점 클러스터로 분할하여, 가짜 랜덤한 간선 분포를 확보한다.
• 핵심 보조정리와 불리기 보조정리를 사용하여 특정 부분그래프를 정규 클러스터에 통합한다.
• $(\varepsilon,d)$-초정규성 개념을 도입하여 클러스터 간 균형 잡힌 간선 분포를 보장한다.
• 작은 교란에 강건한 구조적 성질인 강력한 외확산성을 도입하여 해밀턴 순환의 통합을 가능하게 한다.
• 내쉬-윌리엄스의 추측에서의 조건보다 약간 강한 도수 시퀀스 조건을 사용하여 강력한 외확산성을 유도한다.
• 충분히 큰 강력한 $(\nu,\tau)$-외확산 그래프가 선형 최소 반도수를 갖는 경우, 해밀턴 순환의 모든 방향화를 포함함을 증명한다.

실험 결과

연구 질문

• RQ1 방향 그래프가 해밀턴 순환을 포함하기 위한 최소 도수 또는 도수 시퀀스 조건은 무엇인가?
• RQ2 정규성 방법을 사용하여 큰 방향 그래프에서 해밀턴 순환의 모든 방향화의 존재를 증명할 수 있는가?
• RQ3 강력한 외확산성은 방향 그래프에서 해밀턴 순환의 모든 방향화의 존재를 암시하는가?
• RQ4 내쉬-윌리엄스의 추측에서의 조건은 강력한 외확산성과 해밀턴 순환 존재성과 어떻게 관련되는가?
• RQ5 큰 그래프에서 완전한 $C_6$-포장을 보장하는 최소 반도수 조건은 무엇인가?

주요 결과

• 최소 반도수가 $\eta n$ 이상인 충분히 큰 강력한 $(\nu,\tau)$-외확산 그래프는 해밀턴 순환의 모든 방향화를 포함한다.
• 도수 조건 $\delta^0(G) \geq (3/8 + \alpha)n$ 은 큰 방향 그래프에서 해밀턴 순환의 모든 방향화를 보장하며, 켈리의 결과를 확인한다.
• 이 결과는 내쉬-윌리엄스의 추측에서의 조건보다 약간 강한 도수 시퀀스 조건이 강력한 외확산성을 암시하고, 따라서 해밀턴 순환 존재성을 암시함을 시사한다.
• 정규성 방법을 사용하여 큰 그래프에서 완전한 $C_6$-포장을 위한 충분한 최소 도수 조건을 제공한다.
• 정규성 방법은 방향 그래프로도 성공적으로 확장되어 임의의 해밀턴 순환 방향화의 통합을 가능하게 한다.
• 주요 결과는 키프시, 쿠른, 오스트후스의 이전 정리들을 해밀턴 순환의 모든 방향화로 일반화한다.