큐빅 그래프의 호환 가능한 정상 홀 트레일 분할

초록

큐빅 그래프에서 각 정점을 정확히 한 번은 말단으로, 나머지는 내부 정점으로 포함하는 홀 길이 트레일들의 분할을 ‘정상 홀 분할’이라 정의한다. 서로 다른 세 분할이 각 정점마다 서로 다른 말단 에지를 갖는 경우를 ‘호환 가능’이라 부으며, 저자는 3‑엣지‑컬러링이 가능한 모든 큐빅 그래프가 세 개의 호환 가능한 정상 홀 분할을 가질 수 있음을 증명한다. 또한 페테리 그래프와 색지수 4인 몇몇 그래프에서도 동일한 성질을 보이며, 이를 기반으로 Fan‑Raspaud 추측을 함축하는 새로운 전제를 제시한다.

상세 분석

논문은 먼저 큐빅 그래프 G의 에지를 트레일(반복 에지 없이 연속된 경로)로 분할하는 ‘정상 홀 분할(T)’을 정의한다. T의 각 트레일은 길이가 홀수이며, G의 모든 정점 v는 정확히 하나의 트레일에서 말단(end)으로, 나머지 트레일들에서는 내부(internal) 정점으로 등장한다. 이때 v에 대해 말단으로 사용되는 에지를 ‘대기(edge pending)’라 부른다. 세 개의 정상 홀 분할 T₁, T₂, T₃가 ‘호환 가능’하다는 것은 모든 정점 v에 대해 T₁, T₂, T₃에서 선택된 대기 에지가 서로 서로 다름을 의미한다.

주요 결과는 “3‑엣지‑컬러링이 가능한 모든 큐빅 그래프는 세 개의 호환 가능한 정상 홀 분할을 갖는다”는 정리이다. 증명은 먼저 3‑엣지‑컬러링을 이용해 각 색에 대응하는 완전 매칭을 만든 뒤, 각 매칭을 기준으로 홀 길이 트레일을 구성한다. 색상이 서로 교차하지 않으므로, 각 정점에서 선택된 대기 에지는 서로 다른 색에 속하게 된다. 이를 통해 호환 가능성을 확보한다.

특히 페테리 그래프는 색지수가 4이지만, 저자는 직접적인 구성 방법을 제시해 세 개의 호환 가능한 정상 홀 분할을 만든다. 이 과정에서는 그래프의 대칭성을 활용해 특정 에지 집합을 ‘가상 매칭’처럼 다루고, 이를 적절히 연결해 홀 트레일을 만든다.

또한 색지수가 4인 다른 큐빅 그래프들을 생성하는 방법을 제시한다. 여기서는 기존 3‑엣지‑컬러링 가능한 그래프에 ‘브리지 삽입’ 혹은 ‘스위치 연산’ 등을 적용해 색지수를 높이면서도 호환 가능한 분할 구조를 보존한다.

마지막으로 저자는 “모든 2‑연결 큐빅 그래프는 세 개의 호환 가능한 정상 홀 분할을 가질 수 있다”는 새로운 추측을 제시한다. 이 추측이 증명되면, Fan‑Raspaud 추측(각 2‑연결 큐빅 그래프는 서로 다른 색의 3개의 완전 매칭을 가질 수 있다)과 동치가 되므로, 기존의 어려운 문제를 새로운 관점에서 접근할 수 있게 된다.