유도 A 경로 정리: 반완전 경로와 큰 반경 차단 집합의 새로운 경계

초록

이 논문은 Gallai의 고전적인 A‑경로 정리를 유도 그래프와 반완전(anti‑complete) 경로에 적용한다. 저자들은 두 가지 주요 결과를 제시한다. 첫째, 임의의 정수 k에 대해 그래프 G는 k개의 서로 반완전한 A‑경로를 포함하거나, 크기 ≤ 78(k‑1)인 정점 집합 Z를 찾아 Z의 닫힌 이웃을 제거하면 남은 그래프에 A‑경로가 존재하지 않는다. 둘째, 반경 4의 구를 사용하면 상수를 4(k‑1)으로 크게 낮출 수 있다. 또한 길이가 ℓ인 유도 A‑경로에 대한 확장형 정리도 증명한다.

상세 분석

본 연구는 “coarse” 그래프 이론의 흐름에 맞추어, 전통적인 ‘서로 멀리 떨어진’ 개념을 ‘반완전(anti‑complete)’이라는 보다 강력한 제약으로 바꾸었다. Gallai 정리에서 “정점이 겹치지 않는다”는 조건을 “두 경로 사이에 어떠한 교차 간선도 존재하지 않는다”는 조건으로 강화함으로써, 기존의 Erdős‑Pósa 유형 정리와는 다른 구조적 난이도를 제시한다.

핵심 기술은 ‘A‑프레임(frame)’과 ‘ℓ‑허브 트리(ℓ‑hub‑tree)’라는 구조적 도구이다. 프레임은 A‑정점들을 잎으로 하는 부분 서브큐빅 트리를 만들고, 비트리(edge)들을 제한적인 거리 조건(특히 (H7)과 (A9) 등)으로 제어한다. 이러한 프레임 안에서 Lemma 8(서브큐빅 트리의 잎‑잎 경로)와 Lemma 9(ℓ‑허브 트리에서 반완전 유도 A‑경로를 추출) 를 결합하면, 충분히 많은 잎을 확보했을 때 바로 k개의 반완전 경로를 얻을 수 있다.

프레임을 충분히 크게 만들 수 없을 경우, 프레임과 그래프의 나머지 부분 사이를 ‘작은 구 집합’으로 차단한다. 여기서 구의 반경을 1로 잡으면 Z의 크기가 78(k‑1)으로 나오며, 이는 프레임 확장 과정에서 발생하는 최악의 상수(특히 Y 집합의 크기 추정)와 연결된다. 반경을 4로 늘리면 Y와 eY(프레임 외부의 인접 정점) 사이의 겹침을 크게 감소시켜 상수를 4(k‑1)으로 낮출 수 있다. 저자들은 완전 그래프 Kₙ을 이용해 반경 1 경우의 하한이 n‑2임을 보이며, 반경 4 경우에도 상수 2배 차이 내에서 최적임을 증명한다.

또한, 길이 제한 ℓ을 도입한 Theorem 5는 프레임 구성 시 ‘ℓ‑허브 트리’의 거리 조건을 ℓ 혹은 3 중 큰 값으로 잡아, 긴 경로를 보장한다. 여기서 Z₁과 Z₂ 두 종류의 차단 집합을 도입해, 각각 반경 1과 반경 max{ℓ+1,4} 구를 사용함으로써 복합적인 차단 전략을 구현한다. 이때 Z₁의 크기 상수는 (12·max{ℓ,3}+42)(k‑1)이며, Z₂는 4(k‑1)이다.

논문은 또한 Geelen의 Coarse Gallai Conjecture(일반 d에 대한 버전)와 연결해, d=3 경우를 증명하면 모든 d에 대해 g(d)=d·g(3)이라는 간단한 확장이 가능함을 보인다. 이는 기존의 Seymour‑McCartney 방식과 유사하지만, 유도 경로라는 추가 제약을 성공적으로 처리한다는 점에서 의미가 크다. 마지막으로, 이 정리들이 induced minor 구조 정리와 Induced Menger Conjecture 등에 미칠 잠재적 영향을 논의하며, 향후 연구 방향을 제시한다.