핵심 개념
아하로니의 무지개 사이클 추측은 고정된 r에 대해 가산 상수까지 성립한다.
초록
이 논문에서는 아하로니의 무지개 사이클 추측이 고정된 r에 대해 가산 상수까지 성립한다는 것을 증명했다.
먼저 논문은 추측의 배경과 관련 결과들을 소개한다. 아하로니의 추측은 카체타-헤그비스트 추측의 일반화로, 단순 n정점 색칠 그래프에서 n개의 색 클래스 각각의 크기가 최소 r일 때 길이 최대 n/r인 무지개 사이클이 존재한다는 내용이다.
이후 논문은 두 가지 경우로 나누어 증명을 진행한다. 첫째, 비스타 정점이 많은 경우에는 레마 4.2를 통해 무지개 사이클의 길이 상한을 구한다. 둘째, 비스타 정점이 적은 경우에는 레마 5.1을 통해 상한을 구한다.
이 두 레마를 통해 최종적으로 고정된 r에 대해 아하로니의 추측이 n/r + αr 이내의 길이 무지개 사이클이 존재함을 보였다. 여기서 αr은 r의 다항식 함수 형태의 상수이다.
통계
n ≥ r(g - 1) + 1 - defr(D)
g ≤ n + r + defr(D) / r + 2r^2