디랙 정리를 블로우업으로 확장한 새로운 스팬닝 사이클 구조

초록

본 논문은 최소 차수가 ((\tfrac12+\varepsilon)n)인 모든 (n)정점 그래프가 거의 균등한 크기 (Ω(\log n))의 클러스터로 이루어진 사이클의 완전 블로우업으로 스팬된다는 것을 증명한다. 핵심은 정점-분리 블로우업 커버와 두 블로우업을 연결하는 연결 보조정리를 이용한 새로운 증명 전략이다.

상세 분석

이 연구는 고전적인 디랙 정리(최소 차수가 (\tfrac{n}{2})이면 해밀턴 사이클을 포함한다)를 “블로우업” 형태로 일반화한다는 점에서 혁신적이다. 기존의 블록-정리나 정밀 정규성 보조정리는 보통 선형 크기의 클러스터를 만든다. 그러나 저자들은 로그 규모 (\Theta(\log n))의 클러스터를 확보함으로써, 무작위 그래프가 보여주는 최적적인 하한에 도달한다. 핵심 정리는 두 단계로 구성된다. 첫 번째 레마(2.1)는 디랙형 그래프를 정점-분리된 quasi‑(\eta)‑균형 블로우업들의 집합으로 덮으며, 각 축소 그래프는 최소 차수 (\tfrac12+\varepsilon/4)를 유지한다. 여기서 “quasi‑(\eta)‑균형”이란 하나의 예외 클러스터를 제외하고는 모든 클러스터 크기가 ((1\pm\eta)m)인 것을 의미한다. 두 번째 레마(2.2)는 서로 다른 블로우업 사이에 완전 이분 그래프 (K_{U_1,W_1})와 (K_{V_1,W_1})를 삽입해 두 사이클을 연결한다. 이 과정에서 사용되는 서브샘플링과 Erdős–Stone 유형의 결과는 최소 차수 조건이 서브그래프에 거의 그대로 전달된다는 ‘degree inheritance’를 보장한다. 또한, 그래프 블로우업 존재에 대한 Nikiforov의 정리를 활용해 로그 크기의 클러스터를 얻는다. 전체 증명은 레마 2.1으로 얻은 여러 사이클 블로우업을 차례로 레마 2.2를 이용해 사슬식으로 연결하고, 마지막에 클러스터를 균등하게 재분할해 모든 클러스터가 ((1\pm5\eta)c\log n) 크기를 갖도록 만든다. 이때 예외 클러스터는 적절히 다른 클러스터와 병합해 균형을 회복한다. 결과적으로, 최소 차수 ((\tfrac12+\varepsilon)n)인 그래프는 크기 (\Theta(\log n))의 클러스터를 가진 사이클의 완전 블로우업으로 스팬된다. 논문은 또한 사이클의 (r)번째 파워에 대한 일반화 가능성을 제시하며, 해당 경우 최소 차수 임계값이 (1-\frac{1}{r+1})임을 언급한다. 이와 같은 확장은 기존의 Bandwidth 정리와도 연관되며, 최대 차수가 상수인 경우뿐 아니라 차수가 성장하는 경우에도 적용 가능함을 시사한다.