펜타곤 마이너 없는 사영 평면 4와 5정규 그래프의 엣지 색칠

초록

본 논문은 4‑정규와 5‑정규인 사영 평면 그래프에서 펜타곤 마이너가 존재하지 않을 경우, 그래프가 클래스 1, 즉 차수와 동일한 수의 색으로 완전 엣지 색칠이 가능함을 증명한다. 이를 위해 최소 반례의 구조를 분석하고, 4‑정규 경우에는 전형적인 전하 재분배(디스차징) 기법을, 5‑정규 경우에는 4‑정규 결과를 활용한 귀납적 논증을 전개한다.

상세 분석

논문은 먼저 r‑regular 그래프를 r‑graph 라는 용어로 정의한다. r‑graph는 모든 홀수 정점 집합 X에 대해 절단 ∂(X)의 크기가 최소 r임을 의미한다. 이 조건은 튜트의 4‑플로우 추측과 직접 연결되며, 특히 Petersen 그래프가 마이너로 존재하지 않을 때 클래스 1이 되는지를 묻는 세이어의 일반화된 추측(Conjecture 1.2)과 연관된다. 사영 평면은 비단순하지만, 2‑셀 임베딩을 가정함으로써 모든 면이 회로 형태임을 이용한다. 최소 반례 H를 정의하고, H가 비평면이며 3‑연결이고, 비자명한 타이트 컷이 없으며, 최대 다중도 µ(H) ≤ r‑2임을 보인다. 이러한 구조적 제약은 H가 작은 얼굴(2‑face, 3‑face)만을 포함하도록 강제한다. 특히 2‑face와 인접한 3‑face는 존재하지 않으며, 3‑face는 4‑face와도 인접하지 않는다(정리 2.2, 명제 2.3).

4‑정규 경우에는 각 면에 초기 전하 ω(f)=d(f)−4를 부여하고, 2‑face와 3‑face에 각각 인접한 큰 면으로부터 전하를 받는 규칙(R1, R2)을 적용한다. Lemma 1.13과 Corollary 2.3을 이용해 전하 손실이 최대 d(f)−4 이하임을 보이고, 모든 면의 최종 전하 ω′(f)≥0가 된다. 그러나 전체 전하의 합은 식 (2.2.1)에서 −4가 되어 모순이 발생한다. 따라서 4‑정규 사영 평면 r‑graph는 최소 반례가 존재할 수 없으며, 클래스 1임이 증명된다.

5‑정규 경우는 4‑정규 결과에 의존한다. 최소 반례를 가정하면, 5‑정규 그래프는 4‑정규 서브그래프를 포함하거나, 4‑정규 그래프와의 5‑합을 통해 구성될 수 있다. Lemma 1.11, Lemma 1.12를 활용해 강한 e‑컬러링과 매이트 개념을 도입하고, 각 에지에 대해 최소 세 개의 매치가 존재함을 보인다. 그런 다음 4‑정규 경우와 동일한 디스차징 절차를 적용하되, 5‑정규 특성에 맞게 전하 전달량을 조정한다. 결과적으로 모든 면이 비음전하를 유지하게 되고, 전체 전하 합이 음수가 되는 모순을 얻는다. 따라서 5‑정규 사영 평면 r‑graph 역시 클래스 1임이 확립된다.

전체 증명은 최소 반례에 대한 구조적 제한, 강한 e‑컬러링을 통한 매치와 매이트의 존재, 그리고 디스차징을 통한 전하 보존이라는 세 축으로 이루어져 있다. 이 접근법은 기존의 플래너 그래프에 대한 4‑컬러 정리와 튜트의 4‑플로우 추측을 확장하는 중요한 단계이며, 특히 비단순 다중 그래프와 비평면 임베딩을 다루는 데 있어 새로운 기술적 도구를 제공한다.