삼각형 없는 평면 그래프의 비순환 엣지 색채화

초록

본 논문은 모든 유도 부분그래프 H가 |E(H)| ≤ 2|V(H)|‑1을 만족하는 그래프(속성 A)를 대상으로, 그 비순환 엣지 색채화에 필요한 색의 수 a’(G)를 최대 Δ+3 이하로 제한한다는 결과를 증명한다. 삼각형이 없는 평면 그래프와 2‑폴드 그래프는 속성 A를 만족하므로, 이들 그래프에서도 a’(G) ≤ Δ+3이 성립한다.

상세 분석

비순환 엣지 색채화는 단순히 인접한 간선에 서로 다른 색을 부여하는 일반적인 엣지 색채화와 달리, 두 색만으로 이루어진 사이클이 존재하지 않도록 하는 추가 제약을 가진다. 이 제약은 색상의 조합이 그래프 전체에 걸쳐 복잡한 구조적 제한을 만든다. 기존 연구에서는 알론·수다코프·잭스(Alon, Sudakov, Zaks)의 추측에 따라 a’(G) ≤ Δ+2가 일반적인 상한으로 제시됐지만, 이를 증명하기 위한 충분한 조건을 찾는 것이 어려웠다. 본 논문은 “속성 A”(∀H ⊆ G, |E(H)| ≤ 2|V(H)|‑1)를 도입함으로써, 그래프가 충분히 희소하고 특히 삼각형이 없는 평면 그래프가 이 조건을 만족한다는 사실을 이용한다. 속성 A는 그래프가 평균 차수가 4 이하임을 의미하며, 이는 디스차징 기법을 적용할 때 필요한 전하 분배 규칙을 설계하는 데 핵심적인 역할을 한다. 논문은 먼저 속성 A를 만족하는 그래프에 대해 최소 반사도(Δ)와 색상 수 사이의 관계를 정량화하고, 그런 그래프가 최소 반사도 Δ를 갖는 경우에도 적어도 Δ+3개의 색으로 비순환 엣지 색채화를 구현할 수 있음을 보인다. 증명 과정에서는 가정에 반하는 최소 반사도 그래프를 가정하고, 그 그래프의 구조적 특성을 분석해 모순을 도출한다. 특히, 차수가 Δ인 정점 주변의 인접 구조와 그 주변의 작은 서브그래프가 속성 A를 위배하지 않도록 전하를 재분배하는 디스차징 규칙을 정교하게 설계한다. 이 과정에서 삼각형이 없는 평면 그래프가 가질 수 있는 면(face)의 최소 길이가 4 이상이라는 사실을 활용해, 각 면에 할당된 전하가 충분히 양수임을 보이고, 결국 전체 전하의 합이 음수가 될 수 없다는 모순을 얻는다. 따라서 속성 A를 만족하는 모든 그래프는 a’(G) ≤ Δ+3을 만족한다는 일반적 정리를 얻는다. 이 정리는 삼각형이 없는 평면 그래프와 2‑폴드 그래프(두 개의 포레스트의 합)에도 직접 적용되며, 기존에 알려진 상한 Δ+2와는 차이가 있지만, 현재까지 증명된 가장 강력한 상한 중 하나이다.