최대 차수가 11 이상인 일 토로이달 그래프의 전체 색채와 인접 삼각형 금지

초록

본 논문은 최대 차수가 11 이상이고 인접 삼각형이 존재하지 않는 1‑토로이달 그래프에 대해 전체 색채 정리를 증명한다. 저자는 전체 색채 수가 최대 차수 Δ에 대해 Δ + 2 이하임을 보이며, 이는 전형적인 전체 색채 추측(TCC)을 해당 그래프 클래스에 대해 성립시킨다.

상세 분석

전체 색채(total coloring)는 정점과 간선 모두에 색을 배정해 인접·인접(incident) 관계에 있는 모든 원소가 서로 다른 색을 갖도록 하는 문제이며, 전체 색채 수 χ’’(G)는 그 최소 색 수를 의미한다. 전체 색채 추측(Total Coloring Conjecture, TCC)은 모든 그래프가 최대 차수 Δ에 대해 χ’’(G) ≤ Δ + 2 를 만족한다는 강력한 명제이다. 현재까지는 Δ ≤ 5인 경우와 특정 평면·볼록 그래프, 그리고 일부 고차원 그래프에 대해 증명된 바 있다.

1‑토로이달 그래프는 토러스 표면에 그릴 수 있으며, 각 간선이 최대 한 번만 다른 간선을 교차한다는 제약을 가진다. 이러한 제약은 평면 그래프보다 더 일반적이지만, 완전한 토러스 그래프처럼 복잡한 교차 구조를 완전히 허용하지는 않는다. 따라서 기존 평면 그래프에 대한 디스차징 기법을 적절히 변형하면 1‑토로이달 그래프에도 적용 가능성이 있다.

논문은 먼저 최소 반사 반례(minimal counterexample)를 가정한다. 즉, Δ ≥ 11이고 인접 삼각형이 없는 1‑토로이달 그래프 G가 존재한다 가정하되, G는 Δ + 2 색으로 전체 색채가 불가능하면서, 정점·간선 수가 최소인 경우이다. 이러한 최소성은 여러 구조적 성질을 강제한다. 예를 들어, 차수가 Δ인 정점은 반드시 Δ개의 인접 정점과 Δ개의 인접 간선을 가지고, 그 주변 구조는 특정한 ‘구멍(hole)’이나 ‘리치(Rich) 구조’를 형성한다.

다음으로 저자는 디스차징(discharging) 방법을 도입한다. 초기 전하를 각 정점 v에 d(v) − 4, 각 면(또는 교차점) f에 2·|f| − 4 로 할당한다(여기서 |f|는 면의 경계 길이). 토러스 표면의 오일러 공식 V − E + F = 0을 이용해 전체 전하 합이 0임을 확인한다. 이후 일련의 전하 재분배 규칙을 설정한다. 주요 규칙은 다음과 같다.

1. 차수가 Δ인 정점은 주변의 저차 정점(특히 차수가 3 또는 4인 정점)에게 전하를 전달한다. 이는 고차 정점이 과도한 전하를 가지고 있음을 이용해 전체 전하를 균등하게 만든다.
2. 면의 길이가 3인 삼각형은 인접한 면에 전하를 넘겨주며, 특히 인접 삼각형이 없다는 가정은 이러한 전하 흐름을 제한한다.
3. 교차점(한 번 교차된 간선의 교차점) 역시 주변 정점과 면에 전하를 나눠 주어, 교차 구조가 전체 전하에 미치는 영향을 최소화한다.

이러한 규칙을 적용한 뒤, 저자는 모든 정점과 면이 최종적으로 비음(≥0) 전하를 갖게 됨을 보인다. 그러나 최소 반사 반례 가정에 의해 전체 전하 합은 0이어야 하므로, 어느 한 요소라도 전하가 양수이면 모순이 발생한다. 따라서 최소 반사 반례는 존재하지 않으며, Δ ≥ 11인 1‑토로이달 그래프는 Δ + 2 색으로 전체 색채가 가능함을 증명한다.

핵심적인 기술적 기여는 다음과 같다.

• 인접 삼각형이 없는 경우를 이용해 삼각형 주변 구조를 제한함으로써 디스차징 규칙을 단순화하고, 전하 손실을 방지하였다.
• 1‑토로이달 그래프의 교차점 특성을 정밀히 분석해, 교차가 한 번만 발생하는 상황에서 전하 흐름을 제어하는 새로운 규칙을 도입하였다.
• Δ ≥ 11이라는 차수 하한을 이용해 고차 정점이 충분히 많은 전하를 보유하도록 함으로써, 저차 정점과 면에 전하를 효과적으로 재분배할 수 있었다.

이러한 접근법은 기존 평면 그래프에 대한 디스차징 기법을 토러스 표면으로 확장하는 데 성공했으며, 특히 인접 삼각형 금지라는 제한 조건이 전체 색채 추측을 증명하는 데 결정적인 역할을 함을 보여준다.