평면 그래프의 균등 정점 수목성 연구

초록

본 논문은 (1) 모든 4 이하 길이의 사이클이 서로 독립인 평면 그래프와 (2) 3‑사이클이 없고 인접한 4‑사이클이 존재하지 않는 평면 그래프에 대해, 정점들을 t≥3개의 부분집합으로 균등하게 나누어 각 부분이 포레스트를 이루도록 할 수 있음을 증명한다. 이는 Wu·Zhang·Li의 균등 정점 수목성에 관한 추측을 부분적으로 확인한 결과이다.

상세 분석

논문은 먼저 균등 정점 수목성(a_eq)과 강한 균등 정점 수목성(a*_eq)의 개념을 정리하고, 두 가지 평면 그래프 클래스 G₁(길이 ≤4인 사이클이 독립)와 G₂(3‑사이클 금지, 인접 4‑사이클 금지)에 대해 a*_eq(G) ≤ 3임을 보인다. 핵심 도구는 Lemma 3 (Wu·Zhang·Li)으로, 그래프 G에서 t개의 정점을 적절히 선택한 집합 S를 제거했을 때 G−S가 균등 t‑트리‑컬러링을 갖는다면 원래 그래프도 동일한 컬러링을 가질 수 있음을 이용한다. 이를 위해 저자는 각 그래프 클래스에 대해 최소 차수 δ(G) ≤ 3임을 보이며, 이는 Euler 공식과 전위-재분배(discharge) 기법을 통해 증명한다.

다음 단계에서는 일련의 구조적 명제(Proposition 1~7)를 제시해, 저차수 정점(2‑정점, 3‑정점 등)의 인접 관계를 제한한다. 예를 들어, 2‑정점은 반드시 7이상 차수를 가진 정점에만 인접하고, 7‑정점은 최대 하나의 2‑정점만을 가질 수 있다 등이다. 이러한 제약은 Lemma 3을 적용하기 위한 S 집합 구성에 필수적이다.

주요 증명은 두 부분으로 나뉜다. 첫째, 구조적 명제를 이용해 S를 구성하고, G−S가 최소성에 의해 이미 균등 t‑트리‑컬러링을 갖는다는 점을 보인다. 둘째, 전위-재분배를 통해 모든 정점과 면에 대한 최종 전위가 비음수가 되도록 하여, 가정한 전체 전위 합이 −20(또는 −8)이라는 모순을 도출한다. 이 과정에서 R1~R5와 같은 전위 이동 규칙을 정밀히 설계했으며, 각 규칙은 차수와 면의 종류에 따라 다르게 적용된다.

G₂에 대한 증명은 G₁과 유사한 흐름을 따르지만, 4‑사이클이 인접하지 않음이라는 추가 조건을 활용해 11‑정점 이하의 정점에 대한 인접 2‑정점 수 제한을 강화한다(Proposition 8~9). 이를 통해 t=3,4,5에 대해 모두 균등 트리‑컬러링이 가능함을 보이며, 결국 a*_eq(G₂) ≤ 3을 얻는다.

결과적으로, 두 그래프 클래스 모두에서 강한 균등 정점 수목성 상수 ζ가 3임을 확인했으며, 이는 기존에 알려진 평면 그래프(girth ≥5) 결과를 일반화한다. 논문은 또한 전위-재분배 기법과 구조적 명제 결합이 균등 색채 문제 해결에 강력한 도구임을 보여준다.