[논문 리뷰] Arithmetic Progressions of Cycle Lengths in Graphs

Jacques Verstraëte|ArXiv.org|2002. 04. 17.

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

한 줄 요약

이 논문은 Häggkvist와 Scott의 추측을 해결하며, 평균 차수 $4k$ 이상이고 둘레 $g$인 이분 그래프가 $(g/2 - 1)k$개의 연속된 짝수 길이 사이클을 포함함을 증명한다. 증명은 사이클의 끝점과 분할 구조에 관한 구조적 보조정리 및 너비 우선 탐색 부분그래프를 기반으로 하며, $k$에 대한 사이클 길이의 합동에 관한 결과를 확장하고 이분 그래프에서 짝수 사이클의 극한 경계를 향상시킨다.

ABSTRACT

A recently posed question of Haggkvist and Scott's asked whether or not there exists a constant c such that if G is a graph of minimum degree ck then G contains cycles of k consecutive even lengths. In this paper we answer the question by proving that for k > 1, a bipartite graph of average degree at least 4k and girth g contains cycles of (g/2-1)k consecutive even lengths. We also obtain a short proof of the theorem of Bondy and Simonovits, that a graph of order n and size at least 8(k-1)n^{1 + 1/k} has a cycle of length 2k.

연구 동기 및 목표

• 선형 최소 차수 조건을 만족하는 그래프에서 $k$개의 연속된 짝수 길이 사이클의 존재를 다루는 Häggkvist와 Scott의 추측을 해결하기 위해.
• Bollobás의 사이클 길이 합동에 관한 결과를 일반화하여 $c_k = 8k$의 더 날카로운 경계를 제공하기 위해.
• 둘레와 평균 차수를 이용하여 이분 그래프에서 짝수 사이클 존재에 대한 새로운 극한 경계를 설정하기 위해.
• Bondy-Simonovits 정리에 대한 짧은 증명을 제시하기 위해. 이는 새로운 구조적 보조정리를 활용한다.

제안 방법

• 사이클의 끝점과 정점 분할에 관한 핵심 보조정리를 활용하여, 사이클 길이의 모듈로에 대해 모든 길이의 경로 존재성을 보여주기 위해.
• Kostochka와 Pyber의 결과를 활용하여, 높은 평균 차수와 작은 반경을 갖는 부분그래프를 찾기 위해 너비 우선 탐색 부분그래프 구성 기법을 적용하기 위해.
• 둘레 제약 조건을 이용하여 짧은 사이클의 수를 제한하고 부분그래프의 구조적 풍부성을 보장하기 위해.
• 높은 색상 수를 갖는 부분그래프에 색칠 보조정리를 적용하여 연속된 사이클 길이를 유도하기 위해.
• 극한 그래프 이론과 사이클 구조 분석을 조합하여 사이클 길이 수열의 경계를 도출하기 위해.
• 사이클 레이블링에 대한 귀납법과 주기성 추론을 활용하여, 끝점이 있는 사이클에서 경로 존재성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 평균 차수에 대한 선형 경계가 이분 그래프에서 $k$개의 연속된 짝수 길이 사이클을 보장할 수 있는가?
• RQ2 주어진 둘레 조건을 만족하는 그래프에서 짝수 길이 사이클의 산술급수를 유도하기 위해 필요한 최소 평균 차수는 얼마인가?
• RQ3 Bollobás의 결과에서 유도된 $c_k = 2[(k+1)^k - 1]/k$의 경계는 사이클 길이 합동에 대해 향상시킬 수 있는가?
• RQ4 높은 색상 수와 큰 둘레를 갖는 그래프는 긴 연속된 사이클 길이 수열을 포함하는가?
• RQ5 주어진 둘레 조건을 만족하는 이분 그래프에서 $C_{2k}$를 강제로 유도하기 위해 필요한 간선 수의 극한 수는 얼마인가?

주요 결과

• 평균 차수 $4k$ 이상이고 둘레 $g$인 이분 그래프는 최소 $(g/2 - 1)k$개의 연속된 짝수 길이 사이클을 포함한다.
• 가장 짧은 이러한 사이클의 길이는 그래프의 반경의 두 배 이내이며, 이는 구조적 성질과 거리 성질을 연결한다.
• $c_k = 8k$의 경계가 Erdős-Burr 추측에 대해 충분하며, Bollobás의 이전 경계를 향상시킨다.
• 이 결과는 크기가 $4\lceil 2(k-1)/(g-2)\rceil n^{1+1/k}$ 이상인 이분 그래프가 길이 $2k$의 사이클을 포함함을 암시한다.
• Bondy-Simonovits 정리에 대한 짧은 증명이 제시되며, $8(k-1)n^{1+1/k}$개의 간선이 $C_{2k}$를 강제로 유도함을 보여준다.
• $C_{2k}$에 대한 극한 경계가 $90kn^{1+1/k}$에서 $8(k-1)n^{1+1/k}$로 향상되었으며, 사이클 존재에 대한 더 엄밀한 통제를 보여준다.