무지개 디리크 정리 느슨한 해밀턴 사이클

초록

저자들은 k-균일 초그래프가 j-차수 임계값을 초과하면, 모든 색깔 클래스가 µ n^{k‑1} 이하인 전역 제한 색칠에서도 서로 다른 색을 갖는 느슨한 해밀턴 사이클을 찾을 수 있음을 증명한다.

상세 분석

이 논문은 “메타‑컨제춰어”라 불리는 Coulson·Keevash·Perarnau·Yepremyan의 가설을 초그래프 영역에 적용한다. 핵심은 k‑균일 초그래프 G가 j‑차수 최소값 δ_j(G) ≥ (δ_{k,j}(1)+ε)·n^{k‑j} 를 만족할 때, 색깔마다 최대 µ n^{k‑1}개의 하이퍼엣지를 갖는 전역 제한(colouring) χ에 대해 무지개(loose) 해밀턴 사이클이 존재한다는 점이다. 여기서 ‘느슨한’ 사이클은 연속하는 두 엣지가 정확히 한 정점을 공유하는 ℓ=1 경우이며, (k‑1)이 n을 나누는 조건을 전제로 한다.

기술적 기여는 크게 세 부분으로 나뉜다. 첫째, 기존의 ‘지역 제한’(각 (k‑1)‑정점 집합이 색깔당 µ n 이하의 엣지를 갖는 조건)을 완전히 제거하고 전역 제한만으로 결과를 얻는다. 이를 위해 저자들은 무작위 파티션과 결정적 조정을 결합한 새로운 파티셔닝 전략을 도입하였다. 둘째, 흡수(Absorption) 기법을 활용해 전체 사이클을 구성하는데, 특히 임계값 위치가 아직 알려지지 않은 경우에도 적용 가능한 최신 흡수 스킴(Alváro·Kohayakawa·Lang·Mota·Stagni 결과)을 이용한다. 셋째, 로컬 레마와 확률적 의존도 그래프(p‑dependency graph)를 정교히 설계해 로컬 레마(Lopsided Local Lemma)를 적용함으로써 색깔 충돌을 제어한다. 이 과정에서 색깔 클래스 크기의 상수 µ를 충분히 작게 잡아, 전체 사이클을 구성할 충분한 색깔 수를 확보한다.

결과적으로, j가 1부터 k‑1까지 모든 경우에 대해 (특히 j=k‑2, k‑1에 대한 기존 임계값 결과와 일치) 전역 제한 색칠 하에서 무지개 느슨한 해밀턴 사이클이 존재함을 보이며, 이는 그래프 경우의 디리크 정리와 유사한 ‘강건성(robustness)’을 초그래프에 확장한 최초의 사례가 된다. 또한, 이 방법론은 선형 구조(F‑factor)에도 적용 가능함을 논의하며 향후 연구 방향을 제시한다.