k‑유령 간선에 대한 히킹보섬의 추측을 뒤엎는 새로운 반례

초록

본 논문은 트리폭이 k인 연결 그래프 G에서, 비인접 정점 쌍 xy에 대해 내부 정점이 k 개 이하인 (x, y)‑경로만 존재함에도 불구하고 xy가 k‑유령‑간선이 될 수 있음을 보이는 반례를 제시한다. 구체적으로 트리폭 4인 그래프 G를 구성하고, xy가 4‑유령‑간선임을 증명함으로써 Hickingbotham의 원래 추측이 일반적으로 성립하지 않음을 입증한다.

상세 분석

이 논문은 먼저 “k‑ghost‑edge”라는 개념을 재정의한다. 트리폭 tw(G) ≤ k인 연결 그래프 G에 대해, 보완 그래프 Gᶜ의 비인접 정점 쌍 xy가 모든 트리분해 (T, ℬ) (폭 ≤ k)에서 동일한 bag에 포함된다면 이를 k‑ghost‑edge라 부른다. Hickingbotham은 기존에 “내부 정점이 k + 1개 이상인 (x, y)‑경로가 존재하면 xy는 k‑ghost‑edge이다”는 충분조건을 증명했으며, 반대로 “내부 정점이 k 개 이하인 (x, y)‑경로만 존재하면 xy는 k‑ghost‑edge가 아니다”라는 반대명제를 추측하였다.

저자는 이 반대명제가 거짓임을 보이기 위해, 트리폭 4인 특수 그래프 G를 설계한다. 그림 1에 제시된 G는 다섯 개의 굵은 연결된 부분집합이 K₅ 마이너를 형성하도록 구성되어 있어, 트리폭 tw(G) ≥ 4임을 즉시 알 수 있다. 이어서 G를 두 개의 부분그래프 H₁, H₂ 로 분할하고, 각각에 폭 4인 트리분해를 명시적으로 제시함으로써 전체 그래프 G도 폭 4인 트리분해를 가짐을 보인다. 따라서 tw(G)=4가 확정된다.

핵심은 xy가 4‑ghost‑edge임을 증명하는 부분이다. 저자는 먼저 G에 내부 정점이 4개 이하인 정점 집합 S가 존재할 경우, (x, y)‑경로가 차단되는 유일한 경우는 S가 {a₁,a₂,a₃,a₄}라는 네 개의 특수 정점 집합임을 보인다(Claim 2.2.1). 그 다음, xy가 4‑ghost‑edge가 아니라는 가정 하에 최적 트리분해 (T,ℬ)를 잡고, x와 y가 각각 포함된 bag Bₛ, Bₜ를 선택한다. 위 Claim에 의해 Bₛ{x}=Bₜ{y}=A={a₁,a₂,a₃,a₄}가 되며, 이는 bag 크기가 5를 초과하지 않음에도 불구하고 Bₛ와 Bₜ가 서로 겹치지 않는다는 모순을 초래한다. 추가적으로, Bₛ가 리프가 될 경우와 아닌 경우를 각각 분석하여, 어느 경우에도 트리분해의 연결성 조건(T3)을 위배하거나 bag 포함 관계가 모순됨을 보인다. 결국 xy는 어떠한 폭 4 트리분해에서도 동일 bag에 포함되어야 함을 증명, 즉 xy는 4‑ghost‑edge임을 확인한다.

이와 같이, 내부 정점이 k 개 이하인 (x, y)‑경로만 존재함에도 불구하고 xy가 k‑ghost‑edge가 될 수 있음을 구체적인 반례를 통해 보여줌으로써, Hickingbotham의 Conjecture 1.3이 일반적으로 성립하지 않음을 명확히 한다. 논문은 또한 트리폭과 마이너 구조, 트리분해의 연결성 조건을 활용한 반례 구성 방법을 제시함으로써, 향후 유사한 반례 탐색이나 k‑ghost‑edge의 충분·필요조건을 보다 정교히 규명하는 연구에 기여한다.