외곽 평면 및 할린 그래프의 t‑톤 색채 연구

초록

본 논문은 차수 ≤3인 외곽 평면 그래프와 할린 그래프에 대한 t‑톤 색채 문제를 다룬다. 서브큐빅 외곽 평면 그래프에 대해 τ₂는 C₃, C₄, C₇의 존재 여부에 따라 5, 6, 7로 완전히 규정하고, τ₃는 언제나 11 이하임을 보인다. 또한 차수 3인 할린 그래프는 n≥6일 때 τ₂≤7이며, 일반 할린 그래프에 대해서는 최대 차수 Δ에 대해 τ₂가 O(√Δ) 수준임을 제시한다.

상세 분석

논문은 먼저 t‑톤 k‑색채의 정의를 재정립한다. 각 정점에 t개의 서로 다른 색을 할당하고, 거리 d에 있는 두 정점이 공유할 수 있는 색의 개수는 d‑1보다 작아야 한다는 제약이다. t가 고정되면 τ_t(G)는 최소 가능한 색의 개수 k를 의미한다. 기존 연구에서는 τ₂에 대한 다양한 상한·하한이 알려져 있었지만, 외곽 평면 그래프와 할린 그래프에 대한 정확한 값은 부족했다.

첫 번째 섹션에서는 차수가 3 이하인 외곽 평면 그래프(서브큐빅 외곽 평면 그래프)를 대상으로 한다. 핵심은 두 가지 색채 구조, 즉 “좋은(good) 2‑톤 k‑색채”와 “3‑good k‑색채”를 도입한 점이다. 좋은 2‑톤 색채는 거리 2에 있는 정점이 정확히 하나의 색을 공유하도록 강제한다. 이를 이용해 다음과 같은 완전한 분류를 얻는다.

• 그래프가 C₃, C₄, C₇(길이 3, 4, 7인 사이클)을 포함하지 않으면 τ₂(G)=5.
• 위 세 사이클 중 하나라도 포함하지만 K₄−e(완전 4‑그래프에서 한 변을 뺀 그래프)를 포함하지 않으면 τ₂(G)=6.
• K₄−e를 포함하면 τ₂(G)=7.

증명은 최소 반례법과 외곽 평면 그래프의 약한 이중 그래프가 포레스트라는 성질을 활용한다. 특히, pendant face(잎 얼굴)의 구조를 분석해 차수가 2 이하인 정점들을 제거하고 귀납적으로 색채를 확장한다.

다음으로 τ₃에 대한 상한을 다룬다. 3‑tone 제약을 직접 다루는 대신, “3‑good k‑색채”라는 강화된 모델을 정의한다. 이 모델에서는 인접 정점이 색을 전혀 공유하지 않고, 거리 2에 있는 정점이 정확히 하나의 색을 공유한다. 이러한 조건만 만족하면 자동으로 모든 거리 3 제약도 만족한다. 논문은 모든 서브큐빅 외곽 평면 그래프가 3‑good 11‑색채를 가질 수 있음을 보이며, 따라서 τ₃(G)≤11임을 얻는다. 이 상한은 기존 알려진 상한보다 엄격하며, 실제 예시를 통해 샤프함을 확인한다.

두 번째 섹션에서는 할린 그래프에 초점을 맞춘다. 할린 그래프는 차수가 2가 아닌 트리와 그 리프들을 순환시킨 사이클으로 구성된 평면 그래프이다. 저자는 먼저 차수가 3인 할린 그래프(즉, 모든 내부 정점이 차수 3인 경우)에 대해 n≥6이면 τ₂(G)≤7임을 증명한다. 증명은 트리 부분을 적절히 색칠하고, 리프 사이클에 색을 배치하는 과정을 반복함으로써 이루어진다.

일반적인 할린 그래프에 대해서는 최대 차수 Δ를 기준으로 τ₂(G)≤⌈√(2Δ)⌉+c 형태의 상한을 제시한다(구체적인 상수 c는 논문에 명시). 이는 기존 평면 그래프에 대한 τ₂의 일반 상한 O(Δ)보다 훨씬 개선된 결과이며, 특히 Δ가 커질수록 √Δ 수준의 색 수만 필요함을 의미한다.

마지막으로 저자는 서브큐빅 외곽 평면 그래프에 대해 τ_t(G)와 τ_{t‑1}(G) 사이의 관계를 추측하는 conjecture를 제시한다. 이는 t‑tone 색채 연구의 차수 상승에 따른 색 수 증가 패턴을 일반화하려는 시도로, 향후 연구의 방향을 제시한다. 전체적으로 논문은 외곽 평면 및 할린 그래프라는 제한된 평면 그래프 클래스에 대해 t‑tone 색채의 정확한 값 또는 샤프한 상한을 제공함으로써, 일반적인 평면 그래프에 대한 색채 이론을 한 단계 끌어올렸다.