4차 정규 그래프의 무사이클 에지 6 색칠 가능성

초록

본 논문은 모든 차수가 4인 정규 그래프가 무사이클 에지 색칠을 6가지 색으로 수행할 수 있음을 증명한다. 이는 Fiamčik과 Alon‑Sudakov‑Zaks가 제시한 “Δ+2” 상한을 Δ=4인 경우에 완전히 확인한 결과이며, 기존에 비정규 4‑정규 그래프에 대해 알려진 결과를 확장한다.

상세 분석

무사이클 에지 색칠은 인접한 두 변이 같은 색을 갖지 않으며, 두 색만 사용한 사이클이 존재하지 않도록 하는 색칠이다. 이때 최소 색 수를 무사이클 색지수 a′(G)라 정의한다. Fiamčik(1978)과 Alon‑Sudakov‑Zaks(2001)는 모든 단순 그래프 G에 대해 a′(G) ≤ Δ+2 라는 강력한 추측을 제시했으며, 이는 현재까지 Δ가 3 이하인 경우와 Δ=4이면서 비정규인 경우에만 완전히 증명되었다. Basavaraju와 Chandran(2009)은 Δ=4이지만 4‑정규가 아닌 그래프에 대해 a′(G) ≤ 6을 보였지만, 4‑정규 그래프는 남은 난제였다.

본 논문은 최소 반례를 가정하고, 그 그래프를 G라 할 때 다음과 같은 구조적 성질을 이용한다. 첫째, 4‑정규 그래프는 2‑연결이며, 모든 정점의 차수가 동일하므로 임의의 정점을 제거해도 그래프가 연결성을 크게 잃지 않는다. 둘째, 최소 반례 G는 무사이클 5‑색칠이 불가능하므로, 임의의 색칠을 시도했을 때 반드시 색 충돌이 발생하는 특정 구조, 즉 “위험한 2‑패스” 혹은 “색‑교환 사슬(Kempe chain)”이 존재한다.

저자들은 이러한 위험 구조를 체계적으로 분석하여, 다음과 같은 귀류법을 전개한다. (1) 색 1‑4를 이용해 임의의 4‑정규 부분그래프를 먼저 정상적인 에지 색칠로 채운다. (2) 남은 색 5와 6을 사용해 남은 변들을 채우면서, Kempe chain 교환을 통해 발생하는 사이클을 제거한다. (3) 특히, 4‑정규 그래프는 모든 정점이 4개의 인접 변을 가지므로, 각 정점 주변에서 발생할 수 있는 “이중 색‑교환” 상황을 완전히 제어할 수 있다. 저자는 이를 위해 “불변식(discharge rule)”을 도입해, 각 정점에 ‘전하’를 할당하고, 전하의 흐름을 통해 불가능한 구성(예: 색 5‑6만으로 이루어진 4‑길이 사이클)을 배제한다.

결과적으로, 어떠한 최소 반례도 존재할 수 없으며, 모든 4‑정규 그래프는 무사이클 에지 6‑색칠이 가능함을 보인다. 이 증명은 기존의 색‑교환 기법과 전하‑배분 기법을 결합한 새로운 접근법으로, 향후 Δ가 더 큰 경우에도 유사한 전략을 적용할 가능성을 시사한다.