[논문 리뷰] A unified proof of conjectures on cycle lengths in graphs

Jun Gao, Qingyi Huo외 2명|arXiv (Cornell University)|2019. 04. 17.

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

한 줄 요약

이 논문은 경로 기반 접근법을 도입하여 그래프에서 사이클 길이에 관한 오랫동안 남아있던 여러 추측을 통합적으로 증명한다. 2-연결 그래프에서 두 정점 사이에 길이가 등차수열(공차 1 또는 2)을 이룰 수 있는 $k$개의 허용 경로가 존재하기 위한 엄밀한 최소 차수 조건을 확립함으로써, 저자들은 사이클 길이 모듈로 $k$에 관한 최적의 결과, 연속된 사이클 길이, $k$-연결 또는 $k$-색깔 그래프에서의 사이클 존재성에 관해 유도한다.

ABSTRACT

In this paper, we prove a tight minimum degree condition in general graphs for the existence of paths between two given endpoints, whose lengths form a long arithmetic progression with common difference one or two. This allows us to obtain a number of exact and optimal results on cycle lengths in graphs of given minimum degree, connectivity or chromatic number. More precisely, we prove the following statements by a unified approach. (1) Every graph $G$ with minimum degree at least $k+1$ contains cycles of all even lengths modulo $k$; in addition, if $G$ is 2-connected and non-bipartite, then it contains cycles of all lengths modulo $k$. (2) For all $k\geq 3$, every $k$-connected graph contains a cycle of length zero modulo $k$. (3) Every 3-connected non-bipartite graph with minimum degree at least $k+1$ contains $k$ cycles of consecutive lengths. (4) Every graph with chromatic number at least $k+2$ contains $k$ cycles of consecutive lengths. The first statement is a conjecture of Thomassen, the second is a conjecture of Dean, the third is a tight answer to a question of Bondy and Vince, and the fourth is a conjecture of Sudakov and Verstraëte. All of the above results are best possible.

연구 동기 및 목표

• 여러 사이클 길이 추측을 단일 통합 프레임워크를 통해 해결하기 위해.
• 특정 길이 패턴을 가진 사이클의 존재를 보장하는 엄밀한 최소 차수 및 연결성 조건을 확립하기 위해.
• $k$-연결 그래프가 길이가 $k$로 나누어떨어지는 사이클을 포함함을 증명하고, $k$-색깔 그래프가 연속된 $k$개의 사이클 길이를 포함함을 증명하기 위해.
• 기존의 극한 그래프 이론에서 사이클 분포에 관해 개선된 최적의 결과를 제공하기 위해.

제안 방법

• 2-연결 그래프에서 두 정점 사이에 길이가 공차 1 또는 2인 등차수열을 이루는 $k$개의 허용 경로가 존재하기 위한 최소 차수 조건 하에서 핵심 정리를 개발하기 위해.
• 경로 결과를 그래프의 끝 블록에 적용하여, 경로와 간선를 조합함으로써 일반 그래프에서 사이클 결과를 도출하기 위해.
• 구조적 그래프 이론 기법(예: $K_3$, $K_4^-$, $K_{d,d}^-$의 하위그래프 배제)을 사용하여 사이클 길이 부재를 가정할 경우 모순를 유도하기 위해.
• $2$-연결 루트 그래프 및 경로 시스템 결과를 활용하여 모듈로 $d$에서 원하는 길이의 사이클을 구성하기 위해.
• 연결성 및 홀짝성(홀수/짝수 $d$)에 대한 귀납법과 케이스 분석을 적용하여 사이클 존재 정리를 증명하기 위해.
• 하위그래프에서 사이클 길이 분포에 관한 보조정리(예: 지름 ≥5일 때 모듈로 5로 0이 되는 사이클 길이, Lemma 5.14)를 사용하여 모순를 완결하기 위해.

실험 결과

연구 질문

• RQ1 최소 차수가 $k+1$인 모든 그래프가 연속된 길이를 가진 $k$개의 사이클을 포함하는가?
• RQ2 모든 $k$-연결 비이분할 그래프가 길이가 $k$로 나누어떨어지는 사이클을 포함하는가?
• RQ3 모든 $3$-연결 비이분할 그래프가 최소 차수가 $k+1$일 경우 $k$개의 연속된 길이를 가진 사이클을 포함하는가?
• RQ4 색깔 수가 $k+2$ 이상인 모든 그래프가 연속된 길이를 가진 $k$개의 사이클을 포함하는가?
• RQ5 길이가 등차수열을 이루는 사이클의 존재를 보장하는 최적의 최소 차수 또는 연결성 조건은 무엇인가?

주요 결과

• 최소 차수가 $k+1$ 이상인 모든 그래프는 $k$로 나누어떨어지는 모든 짝수 길이의 사이클을 포함하며, $2$-연결이면서 비이분할일 경우 모든 길이가 $k$로 나누어떨어지는 사이클을 포함한다.
• $k \geq 3$인 모든 $k$-연결 그래프는 길이가 $k$로 나누어떨어지는 사이클을 포함한다. 이는 최적의 결과이다.
• $3$-연결 비이분할 그래프이면서 최소 차수가 $k+1$ 이상인 그래프는 연속된 길이를 가진 $k$개의 사이클을 포함한다.
• 색깔 수가 $k+2$ 이상인 모든 그래프는 연속된 길이를 가진 $k$개의 사이클을 포함한다.
• 결과는 최적이다: 최소 차수 및 연결성 조건은 기존의 극한 구성(예: $K_{k+1}$ 및 $K_{k,n}$)을 통해 더 이상 약화될 수 없다.
• 증명 기법은 토마센의 추측(모듈로 $k$에서 짝수 사이클 길이), 딘의 추측($k$-연결은 길이가 $k$로 나누어떨어지는 사이클을 포함함), 본디-빈스의 추측(3-연결 비이분할 그래프는 연속된 사이클을 포함함), 수다코프-버스트라에의 추측(색깔 수는 연속된 사이클을 포함함)을 포함한 여러 추측을 통합적으로 해결한다.