소소 부수 그래프의 기저 수는 소수 제외 그래프에서 제한됨

초록

본 논문은 그래프의 사이클 공간을 생성하는 사이클 기반의 각 간선 사용 횟수를 최소화하는 ‘기저 수(basis number)’ 개념을 확장한다. 기존에 평면 그래프와 유한 차수의 표면에 임베딩된 그래프에 대해 기저 수가 상수로 제한된 것이 알려졌지만, 저자는 고정된 마이너 H를 제외하는 모든 그래프에서도 기저 수가 H의 크에만 의존하는 함수로 제한된다는 것을 증명한다. 그래프 마이너 구조 정리를 활용해 트리폭과 트리‑분해의 결합 특성을 분석하고, 트리폭 k인 그래프에 대해 기저 수가 k에 대한 함수로 제한됨을 보인다. 초기 증명에서는 이중 지수적 상한을 얻지만, 독립적인 최신 연구와 결합하면 다항식 상한 O(|H|^c) (c는 상수)으로 개선된다.

상세 분석

논문은 먼저 기저 수(basis number)를 “각 간선이 사이클 기반에 몇 번 등장하는가”를 최소화하는 사이클 기반의 혼잡도(congestion)로 정의한다. 맥레인(Mac Lane)의 평면성 판정은 기저 수가 2 이하인 그래프가 정확히 평면 그래프임을 보여주며, 이는 표면에 임베딩된 그래프에 대해 기저 수가 2g+2(g는 genus)로 제한된 기존 결과와 자연스럽게 연결된다. 저자는 이 개념을 마이너 폐쇄 클래스 전체로 일반화하고, 고정된 마이너 H를 제외하는 모든 그래프 G에 대해 bn(G) ≤ f(|H|)인 함수를 존재함을 증명한다.

핵심 기술은 그래프 마이너 구조 정리(Robertson‑Seymour)를 이용해 H‑마이너 자유 그래프를 ‘표면에 임베딩된 그래프 + 제한된 폭의 소용돌이(vortex) + 제한된 수의 아펙시스(apex) + 제한된 차수의 클리크‑합(clique‑sum)’ 형태로 분해한다는 점이다. 각 단계가 기저 수에 미치는 영향을 개별적으로 분석한다.

1. 표면 임베딩 단계: 기존 결과(Theorem 1.2)에서 표면에 임베딩된 그래프의 기저 수는 O(log g)이며, 이는 상수에 가까운 제한을 제공한다.
2. 아펙시스 추가: Lemma 2.4에 의해 ℓ개의 아펙시스를 추가하면 기저 수가 최대 2ℓ만큼 증가한다.
3. 소용돌이 결합: 소용돌이는 복잡한 내부 구조를 가지지만, 토러스(torso)에 추가된 가상의 간선을 실제 경로로 대체하는 과정에서 경로 시스템의 혼잡도를 제어하면 전체 기저 수가 크게 늘어나지 않는다.
4. 클리크‑합(트리‑분해): 여기서 가장 어려운 부분은 트리‑분해의 ‘접착(adhesion)’이 제한된 경우에 기저 수가 어떻게 보존되는가이다. 저자는 두 주요 정리를 제시한다.

• Theorem 1.5: 트리폭 k인 그래프는 기저 수가 f₁.₅(k) ≤ 2^{2·O(k²)}인 함수에 의해 제한된다. 이는 트리폭이 작을수록 사이클 기반을 효율적으로 구성할 수 있음을 의미한다.
• Theorem 1.6: 트리‑분해의 각 토러스가 이미 기저 수 ≤ b인 그래프 집합 G에 속하고, 접착 크기가 k라면 전체 그래프의 기저 수가 f₁.₆(b,k) ≤ b·2^{2·O(k²)}로 제한된다.

이 두 정리의 증명은 Bojańczyk‑Pilipczuk이 제시한 ‘MSO‑정의 가능한 트리‑분해’ 기법을 차용한다. 핵심 아이디어는 각 bag에 대해 작은 혼잡도의 사이클 기반을 선택하고, 토러스에 삽입된 가상의 간선을 실제 경로로 교체할 때 그 경로들의 혼잡도가 제한된다는 것을 보이는 것이다. 이를 위해 Simon의 ‘Factorisation Forest’ 정리를 이용해 경로‑분해에서 규칙적인 구조를 추출하고, 그 구조를 기반으로 경로 시스템을 구성한다.

또한, 독립적인 연구(