트리와 에이펙스‑트리 마이너를 배제한 그래프의 블로우‑업 구조 정리

본 논문은 그래프 마이너 이론의 전통적인 구조 정리와는 다른 “블로우‑업” 접근법을 제시한다. 먼저, 트리 T가 마이너로 포함되지 않는 그래프 G에 대해, G를 경로폭이 제한된 그래프 H와 완전 그래프 K_{t‑2}의 강곱 안에 포함시키는 정리를 증명한다. 여기서 T는 t개의 정점을 갖는 트리이며, 반경 h를 가진다. 기존 연구(Dujmović 등, 2024)는 G를 H⊠K_{(d+h‑2)(t‑1)}에 포함시켰으나, 본 논문은 클리크 차수를 t‑2로 크게 낮춘다. 이는 거의 최적임을 보이는데, K_{t‑1} 자체가 T‑마이너‑프리이며 pw(K_{t‑1})=t‑2이므로, 강곱의 클리크 차수가 (t‑1)/(2h)보다 작을 수 없다는 논리를 사용한다. 증명은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 약한 R‑루트 모델이 존재하지 않을 경우, Lemma 12를 이용해 작은 정점 집합 X를 찾아 그래프를 분할한다. 이때 X의 크기는 |V(F)|보다 작으며, F는 T의 루트를 제거한 포레스트이다. 두 번째 단계에서는 Lemma 11(기존 Dujmović 등 논문의 핵심 보조정리)을 적용해, X를 포함하는 파티션을 구성하고, G/X의 경로‑디컴포지션을 얻는다. 결과적으로 G는 H⊠K_{t‑2}에 포함된다. 두 번째 주요 결과는 에이펙스‑트리 T⁺(T에 보편 정점 추가)를 마이너로 금지한 그래프에 대한 것이다. T는 t개의 정점, 반경 h, 최대 차수 d를 갖는다. 저자들은 트리폭이 4h‑1 이하인 그래프 H와 K_{2(t‑1)d}의 강곱 H⊠K_{2(t‑1)d} 안에 G를 포함시킬 수 있음을 보인다. 이 정리는 기존의 Grid‑Minor 정리 기반 결과(트리폭 ≤ 2h+2‑4)보다 훨씬 강력하다. 또한, 트리폭 하한이 2h임을 보이는 명제와 결합해, 4h‑1이라는 상한이 최적에 가깝다는 것을 입증한다. 증명 과정은 Lemma 12와 Lemma 13을 핵심으로 한다. Lemma 13은 루트 r을 고정하고, 약한 {r}‑루트 모델이 존재하지 않을 때 파티션 폭을 t‑2 이하로 만들고, G/파티션의 경로‑디컴포지션 폭을 2h‑1 이하로 만드는 것을 보인다. 이를 통해 Theorem 3을 얻는다. 이어서, Theorem 8은 Lemma 13을 변형하여 트리폭 대신 트리폭을 다루고, 클리크 차수를 2(t‑1)d로 제한한다. 논문은 또한 기존 결과와의 비교, 최적성 논의, 그리고 향후 연구 과제를 제시한다. 특히, 에이펙스‑트리 경우에 클리크 차수를 O(t) 수준으로 더 낮출 가능성을 제시하지만, 현재 증명 기법이 직접 적용되지 않아 새로운 아이디어가 필요함을 강조한다. 마지막으로, 본 연구가 그래프 마이너 이론과 구조적 파라미터(경로폭, 트리폭) 사이의 관계를 보다 정밀하게 이해하는 데 기여함을 강조한다.