멀리 떨어진 사이클의 에르되시 포사 성질

초록

이 논문은 임의의 정수 k와 거리 d에 대해, 그래프 G가 서로 거리 d보다 크게 떨어진 k개의 사이클을 포함하거나, 크기 f(k) 이하의 정점 집합 X를 제거했을 때 X의 반경 g(d) 이내의 모든 정점을 제외한 나머지가 포레스트가 되는 두 경우 중 하나가 반드시 성립한다는 새로운 Erdős‑Pósa 유형 결과를 증명한다. 여기서 f(k)=O(k¹⁸·polylog k)이고 g(d)=19d이다.

상세 분석

본 연구는 전통적인 Erdős‑Pósa 정리의 “정점‑분리” 개념을 “거리‑분리”라는 새로운 차원으로 확장한다. 핵심은 두 사이클 사이의 최단 거리(정점 간 거리)가 주어진 정수 d보다 큰 경우를 ‘d‑패킹’이라 정의하고, 이러한 패킹이 k개 존재하지 않을 때 그래프 전체를 작은 반경의 구(볼)들로 덮어 사이클을 차단할 수 있음을 보이는 것이다.

증명의 골격은 크게 네 단계로 구성된다. 첫 번째 단계에서는 2d‑패킹을 최대한 잡아 p<k개의 d‑유니사이클(볼 2d 안에서 하나의 사이클만 포함하는 사이클) C₁,…,C_p를 선택한다. 두 번째 단계에서는 길이가 6d+2 이하인 ‘짧은’ 사이클들을 최대 q<k개 뽑아 d‑패킹 D₁,…,D_q를 만든다. Lemma 4는 임의의 사이클이 이 두 종류 중 하나의 근처에 반드시 존재함을 보이며, 이를 통해 모든 사이클이 C_i 또는 D_j 의 4d‑볼 안에 들어간다.

세 번째 단계에서는 각 C_i 주변의 6d‑볼 안에서 ‘BFS‑유니사이클’ U_i를 구성한다. U_i는 C_i를 포함하고, 모든 정점이 C_i까지의 거리와 동일한 최소 거리 트리를 갖는 유니사이클 서브그래프이다. 여기서 중요한 관찰은 U_i 의 외부에 남은 간선들이 각각 d‑거리 이하의 경로 P_e와 결합해 ‘라멜’ 형태를 만든다는 점이다. 이러한 라멜들의 집합이 충분히 많으면 Simonovits 정리(정도 2·3 그래프에서 정점‑3인 정점이 충분히 많을 때 k개의 정점‑분리 사이클이 존재한다)를 적용해 k개의 d‑패킹 사이클을 얻는다. 반대로 라멜이 적다면, 각 라멜의 한 끝점을 포함하는 작은 정점 집합 Z_i를 찾아 B_G(Z_i,13d) 가 모든 남은 간선을 가로막는다.

네 번째 단계에서는 Lemma 5‑7을 이용해 X₀, X₁, X₂ 라는 세 개의 정점 집합을 만든다. 각각은 짧은 사이클, 각 C_i 의 외부 간선, 그리고 서로 겹치는 6d‑볼들의 교차점을 담당한다. 이들을 중심으로 반경 ≈13d 볼을 잡아 제거하면, 남은 그래프는 포레스트 F₀와 F_i (각 C_i 주변) 로 분리된다. 이제 모든 남은 사이클은 F₀와 적어도 하나의 F_i 를 교차해야 하며, 이러한 교차 구간들을 ‘세그먼트’라 부른다. 각 세그먼트는 트리 F_j 내의 경로이므로, Gyárfás‑Lehel의 Helly‑유형 정리(정리 3) 를 적용해 세그먼트들의 d‑볼을 동시에 가로채는 작은 정점 집합을 얻거나, 혹은 서로 d‑거리 이상 떨어진 많은 세그먼트를 확보한다. 전자는 바로 원하는 X 을 제공하고, 후자는 다시 Simonovits 정리를 이용해 k개의 d‑패킹 사이클을 구성한다.

핵심적인 기술적 기여는 다음과 같다. (1) Lemma 4 를 통해 임의의 사이클이 근처에 짧은 사이클 혹은 d‑유니사이클이 존재함을 보이는 구조적 분석, (2) BFS‑유니사이클이라는 새로운 서브그래프 개념을 도입해 간선‑추가에 대한 거리 제어를 가능하게 함, (3) Simonovits 정리와 Gyárfás‑Lehel 정리를 적절히 결합해 ‘정점‑3’ 구조와 ‘서브트리 Helly’ 구조를 동시에 활용, (4) 함수 f(k) 을 O(k¹⁸·polylog k) 으로, g(d) 을 19d 로 명시적인 상수와 차수를 제공함으로써 기존 존재성 결과를 정량화하였다.

이러한 일련의 논증은 ‘거리‑제한 Erdős‑Pósa 성질’이라는 새로운 이론적 프레임워크를 제시하며, 그래프 마이너 이론과 코어스 기하학을 연결하는 최근 연구 흐름에 중요한 기여를 한다.