ℓ‑해밀턴 사이클을 위한 최소 공동 차수 정확한 조건

초록

저자들은 (k)‑균일 초그래프에서 ((k-\ell)\nmid k)인 경우, (\ell)이 (k/2)보다 크고 (3k/4)보다 작을 때 최소 공동 차수가 (\frac{n}{\lceil k/(k-\ell)\rceil (k-\ell)})이면 해밀턴 (\ell)‑사이클이 존재함을 증명한다. 또한 모든 (\ell)에 대해 공동 차수를 (\frac{n}{\lceil k/(k-\ell)\rceil (k-\ell)}+\frac{k^{2}}{2})로 완화해도 같은 결과를 얻는다. 이는 Han‑Zhao의 추측 일부와 Rödl‑Ruciński 문제의 부분 해결에 해당한다.

상세 분석

이 논문은 초그래프 이론에서 가장 오래된 문제 중 하나인 해밀턴 사이클 존재 조건을 (\ell)‑사이클이라는 일반화된 형태로 다룬다. 기존 연구에서는 ((k-\ell)\mid k)인 경우와 (\ell\le k/2)인 경우에 대해 정확한 최소 공동 차수 한계가 알려져 있었으며, 특히 ((k-\ell)\nmid k)일 때는 상한이 크게 낮아질 가능성이 제기되었다. 저자들은 먼저 (\ell)이 (k/2<\ell<3k/4) 구간에 있을 때, (\lceil k/(k-\ell)\rceil)를 (s)라 두고 최소 공동 차수가 (n/(s(k-\ell)))이면 해밀턴 (\ell)‑사이클이 존재한다는 정리를 증명한다. 여기서 핵심은 두 단계로 나뉜 안정성 프레임워크이다. 비극단적 경우에는 흡수법과 경로 연결 보조정리를 활용해, 약한 공동 차수 조건 하에서도 충분히 많은 정규 군집을 찾아내고, 이를 통해 전체 정점을 커버하는 긴 (\ell)‑경로를 구성한다. 이 과정에서 약한 정규성 정리와 기존의 타일링 결과를 결합해, 정규 군집 하에서 상수 개수의 정점‑분리 (\ell)‑경로로 거의 전체 정점을 덮는 커버링을 얻는다.

극단적 경우에서는 그래프가 특정 구조적 ‘(\Delta)-극단’ 형태에 가까운지를 판단한다. 만약 극단적이라면, 정점 집합을 두 부분 (A)와 (B)로 나누어 (|A|/|B|) 비율이 목표 비율과 거의 일치하도록 만든다. 이후 짧은 (\ell)‑경로 (P)를 찾아 비정형 정점을 모두 포함시키고, 남은 정점들에 대해 Turán 수와 튜링 경로 상한을 이용해 충분히 긴 경로를 삽입한다. 특히, Turán 수 상한을 제공한 Füredi‑et‑al.의 결과와, 무작위 사상에 대한 Lovász Local Lemma 변형을 활용해, 기존에 필요했던 추가적인 여유 조건을 없애고 정확히 (\frac{n}{s(k-\ell)}) 수준의 공동 차수만으로도 전체 사이클을 완성한다.

마지막으로 모든 (\ell)에 대해 (\frac{k^{2}}{2})만큼의 완화된 공동 차수 조건을 제시한다. 이는 기존의 ‘(+\gamma n)’ 형태의 비대칭적 결과를 정수 상수로 대체함으로써, 실제 적용 가능성을 크게 높인다. 전체 증명 흐름은 기존 문헌에서 사용된 흡수-정규-타일링-극단‑구조 분석이라는 네 가지 핵심 도구를 재조합하고, 각 단계에서 필요한 파라미터를 최적화함으로써 정확한 한계를 도출한다.

이러한 결과는 ((k-\ell)\nmid k)인 경우에 대한 최소 공동 차수 문제를 처음으로 정확히 규명한 것이며, Han‑Zhao의 일반적 추측을 부분적으로 확인하고, Rödl‑Ruciński가 제시한 ‘정확한 최소 공동 차수값’ 문제에 대한 중요한 진전을 제공한다.