K5 소수점 자유 그래프의 불연속 대응 색칠 연구

논문은 먼저 그래프 색칠 이론의 배경을 소개한다. 리스트 색칠(list coloring)은 각 정점에 색 목록을 할당하고, 인접 정점이 같은 색을 쓰지 않게 하는 전통적인 문제이다. 대응 색칠(correspondence coloring)은 리스트 색칠을 일반화한 개념으로, 각 정점 v에 t개의 색 1_v,…,t_v를 주고, 각 간선 vw에 대해 두 정점의 색 집합 사이에 매칭 M_{vw}를 지정한다. 색칠 φ는 모든 간선 vw에 대해 φ(v)와 φ(w) 가 M_{vw}에 의해 매칭되지 않도록 해야 한다. 두 색칠 φ₁, φ₂가 불연속(disjoint)하다는 것은 모든 정점 v에 대해 φ₁(v)≠φ₂(v)임을 의미한다. 연구의 중심 질문은 “K₅-소수점 자유 그래프 G와 t‑대응 커버 M에 대해, 몇 개의 불연속 M‑색칠을 동시에 만들 수 있는가?”이다. 기존 결과인 Thomassen의 5‑choosability는 평면 그래프가 리스트 색칠에서 5개의 색으로 충분함을 보여준다. 그러나 대응 색칠에서는 매칭 구조가 추가되어 더 복잡해진다. 주요 정리(Main Theorem)는 두 부분으로 나뉜다. (i) 임의의 K₅-소수점 자유 그래프 G와 6‑대응 커버 M에 대해, 서로 다른 3개의 M‑색칠 φ₁, φ₂, φ₃을 항상 구성할 수 있다. 이는 χ⋆_c(K₅)≥6이라는 하한을 제공한다. (ii) 같은 그래프 클래스에 5‑대응 커버를 사용하면 일반적으로 3개의 불연속 색칠을 만들 수 없으며, 구체적인 반례를 제시한다. 증명 전략은 다음과 같다. 먼저 Wagner의 정리(Theorem B)를 이용해 최대 K₅-소수점 자유 그래프를 평면 그래프와 M₈(모비우스 8‑사다리)라는 특수 그래프의 2‑합·3‑합으로 구성한다. 따라서 전체 문제를 두 종류의 기본 그래프에 대해 해결하면 된다. 1. **M₈에 대한 처리**: Lemma 2는 M₈에 대해 6개의 불연속 색칠을 구성할 수 있음을 보인다. M₈은 3‑퇴화(3‑degenerate) 그래프이므로 Lemma A(정도 ≤t/2인 정점은 언제든지 색을 확장 가능)와 귀납을 이용해 쉽게 증명한다. 2. **평면 그래프에 대한 처리**: 핵심은 Key Lemma이다. 평면 그래프를 외부 면이 삼각형인 삼각분할(triangulation) 형태로 가정하고, 외부 면의 정점 w₁,…,w_n에 대해 색상 후보 집합 L₁, L₂, L₃을 특정 패턴(각 정점마다 4개의 후보를 두 색집합에 겹치게 배분)으로 설정한다. 그런 다음 Hall의 정리를 적용해 각 정점에 색을 할당하는 매칭을 찾는다. 이 과정에서 기존에 색칠된 부분(φ₀₁, φ₀₂, φ₀₃)과의 일관성을 유지한다. 3. **Lemma 3**: Key Lemma을 이용해, 평면 그래프 G와 그 안의 K₃(삼각형) C에 대해, C에 미리 색칠된 3개의 불연속 색칠을 전체 그래프에 확장할 수 있음을 증명한다. 여기서는 C가 외부 면의 경계가 되도록 그래프를 재배치하고, C를 제외한 정점에 대해 L₁, L₂, L₃을 위의 규칙에 맞게 조정한다. 4. **전체 그래프에 대한 귀납**: 위 두 기본 사례가 준비되면, Theorem B의 2‑합·3‑합 연산을 따라가며 귀납적으로 색칠을 확장한다. 합을 수행할 때는 합에 사용되는 K₂ 또는 K₃의 정점에 이미 색칠된 3개의 색을 일치시켜야 하는데, Lemma 2와 Lemma 3이 정확히 이 역할을 한다. 따라서 q번의 합 연산을 거친 뒤에도 3개의 불연속 색칠을 유지한다. 5. **반례**: 5‑대응 커버에 대한 부정 결과는, 특정 K₅-소수점 자유 그래프와 매칭을 정교하게 설계해 색상 선택을 강제로 제한함으로써 3개의 불연속 색칠이 존재하지 않음을 보인다. 구체적인 그래프와 매칭 구조는 논문 본문에 그림과 함께 제시된다. 결과적으로, 저자들은 K₅-소수점 자유 그래프에 대해 대응 색칠 패킹의 정확한 경계를 6색에서 3패킹 가능, 5색에서는 불가능으로 규정한다. 이는 기존의 리스트 색칠 결과를 대응 색칠 영역으로 확장하면서, 색상 수와 매칭 구조 사이의 미묘한 상호작용을 명확히 보여준다. 또한, “6‑색이면 3‑패킹 가능”이라는 정리는 차후에 6‑색으로 6개의 불연속 색칠을 만들 수 있는 강한 추측(Conjecture 1)으로 이어지며, 이는 평면 그래프의 6‑유연성(ε‑flexibility) 문제와도 연관된다.