희소 그래프에서 유도 경로의 준최적 상한

초록

본 논문은 2‑degenerate 그래프에 대해, 정점 수 n인 경로를 포함하면서도 가장 긴 유도 경로의 길이가 O((log log n)·log log log n) 이하인 그래프를 구성한다. 이는 Nešetřil‑Ossona de Mendez가 제시한 Ω(log log n) 하한과 거의 일치하는 상한을 제공한다.

상세 분석

본 연구는 희소 그래프, 특히 k‑degenerate 그래프에서 “길이가 n인 경로가 존재하면 최소한 f_k(n) 길이의 유도 경로가 존재한다”는 함수 f_k의 최적 성장률을 탐구한다. 기존에 Nešetřil‑Ossona de Mendez(2012)는 모든 k‑degenerate 그래프에 대해 f_k(n)=Ω(log log n / log(k+1))임을 보였으며, 이 하한이 실제로 최적인지 여부는 오랫동안 미해결 문제였다. 저자들은 2‑degenerate 그래프에 초점을 맞추어, 임의의 큰 n에 대해 정점 수가 Θ(2^{2ℓ})인 그래프 G_ℓ을 구성한다(ℓ≈log log n). G_ℓ은 다음 세 단계로 만들어진다. 첫째, 완전 이진 트리 S_ℓ(‘skeleton‑tree’)을 기반으로 한다. 둘째, ‘barrier’라 불리는 특수한 경로와 ‘rib’라 불리는 연결을 삽입해 ‘ribbed‑tree’를 만든다. 이때 각 barrier는 인덱스‑트리 T의 구조에 따라 길이가 O(ℓ·log ℓ)로 제한된다. 셋째, ‘blow‑up’ 연산을 적용해 모든 정점이 하나의 해밀턴 경로에 포함되도록 하면서 2‑degeneracy를 유지한다. 핵심 아이디어는 정점에 ‘rank’를 부여하고, 유도 경로가 진행될수록 방문한 정점들의 rank가 인덱스‑트리 내에서 점점 더 깊은 하위 영역에 제한된다는 점이다. 이 제한은 barrier의 최대 크기로 귀결되며, 인덱스‑트리를 적절히 설계하면 barrier의 크기가 O(ℓ·log ℓ)임을 보인다. 따라서 G_ℓ의 가장 긴 유도 경로는 O(ℓ·log ℓ)=O((log log n)·log log log n) 이하가 된다. 결과적으로, 모든 k≥1에 대해 f_k(n)≤c·log log n·log log log n (상수 c는 논문에 명시)이며, 이는 기존 O((log log n)^2) 상한을 크게 개선한다. 또한, 이 구성은 K_{t,t}‑free 그래프에 대한 Theorem 1.2의 h_t 함수에도 동일한 상한을 제공한다. 논문은 정밀한 정의, 레마, 그리고 복잡도 분석을 통해 위 결과를 엄밀히 증명한다.