[논문 리뷰] Hamiltonicity in randomly perturbed hypergraphs

Jie Han, Yi Zhao|arXiv (Cornell University)|2018. 02. 13.

Limits and Structures in Graph Theory참고 문헌 27인용 수 12

한 줄 요약

이 논문은 무작변으로 흩어진 $k$-균일 초그래프에서 하이퍼해밀턴성에 대한 처음으로 날카로운 임계값을 확립하며, 최소 1차수 $\alpha n^{k-1}$를 가진 $k$-그래프가 이항 무작위 $k$-그래프 $\mathbb{G}^{(k)}(n,p)$와 조합될 때 $p \geq n^{-(k-\ell)-\epsilon}$ ($\ell \geq 2$) 또는 $p \geq Cn^{-(k-1)}$ ($\ell=1$)이면 거의확실하게 $\ell$-해밀턴성을 가짐을 증명한다. 이 결과는 크리브레비치, 콴, 수다코프가 제기한 질문을 해결하며, 상수 $\epsilon$와 $C$를 제외하고 최적이다. 증명은 흡수 경로, 무작위 연결자, 그리고 확률적 세기 수법을 사용하여 모든 정점을 포함하는 $\ell$-사이클을 통합한다.

ABSTRACT

For integers $k\ge 3$ and $1\le \ell\le k-1$, we prove that for any $α>0$, there exist $ε>0$ and $C>0$ such that for sufficiently large $n\in (k-\ell)\mathbb{N}$, the union of a $k$-uniform hypergraph with minimum vertex degree $αn^{k-1}$ and a binomial random $k$-uniform hypergraph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-(k-\ell)-ε}$ for $\ell\ge 2$ and $p\ge C n^{-(k-1)}$ for $\ell=1$ on the same vertex set contains a Hamiltonian $\ell$-cycle with high probability. Our result is best possible up to the values of $ε$ and $C$ and answers a question of Krivelevich, Kwan and Sudakov.

연구 동기 및 목표

• 보만–프류즈–마틴 결과를 초그래프에서 $\ell$-해밀턴성으로 확장하는 크리브레비치, 콴, 수다코프의 추측을 해결하기 위해.
• 밀도 높은 $k$-그래프와 이항 무작위 $k$-그래프를 조합한 무작변으로 흩어진 초그래프 모델에서 $\ell$-해밀턴성의 최적 임계값을 규명하기 위해.
• 밀도 높은 부분에서 최소 1차수 $\alpha n^{k-1}$가 있으며, 흩어진 무작위 $k$-그래프와 조합될 경우, 모든 $1 \leq \ell \leq k-1$에 대해 거의확실하게 $\ell$-해밀턴성을 확보하기 위해.
• 무작위 간선 확률 $p$에서 상수 $\epsilon$와 $C$를 제외하고 임계값이 더 이상 낮추어질 수 없음을 보여, 결과의 날카로움을 입증하기 위해.

제안 방법

• 세 가지 주요 단계로 구성된 확률적 구성 기법을 사용: (1) 레마 3.2를 통해 무작위 연결자를 찾고, (2) 레마 3.4를 통해 흡수 경로를 구축하며, (3) 레마 3.5를 통해 나머지 정점을 커버한다.
• 핵심 정점 집합 $V_*$의 각 $(k-\ell)$-집합이 $\beta^9 n$개의 흡수기를 가지는 흡수 경로 구성 기법을 적용하여 남은 정점들을 탐욕적으로 흡수한다.
• 두 단계로 나누어진 무작위 연결자 시스템을 적용: 첫 번째로 ${\mathcal{C}}_1$이 $L$ 내의 $\ell$-집합들을 연결하고, 두 번째로 ${\mathcal{C}}_2$가 흡수기와 경로 끝점들을 연결한다.
• 반복법을 피한 흡수 레마(심사위원 피드백에 따라 개선됨)를 적용하여 복잡한 정규성 방법을 피하고, 증명을 단순화하며 명료성을 향상시켰다.
• 집중 불등식과 확률적 세기 수법을 적용하여, 고확률로 필요한 연결자와 흡수기가 무작위 초그래프 성분 내에 존재함을 보장한다.
• 정적 요소와 무작위 요소를 조합: 밀도 높은 초그래프 $H$는 최소 차수를 제공하고, 무작위 $\mathbb{G}^{(k)}(n,p)$는 사이클을 닫기 위해 필요한 무작위성을 제공한다.

실험 결과

연구 질문

• RQ1 밀도 높은 $k$-그래프(최소 1차수 $\alpha n^{k-1}$)와 이항 무작위 $k$-그래프 $\mathbb{G}^{(k)}(n,p)$의 합집합이 거의확실하게 $\ell$-해밀턴성이 되기 위한 최소 무작위 간선 확률 $p$는 무엇인가?
• RQ2 무작변으로 흩어진 $k$-그래프에서 $\ell$-해밀턴성의 임계값을, 순수하게 무작위 $k$-그래프에서 알려진 임계값과 일치시키는 방식으로 날카롭게 만들 수 있는가?
• RQ3 모든 $1 \leq \ell \leq k-1$에 대해, 최소 1차수 조건이 흩어진 무작위 $k$-그래프와 조합될 경우 $\ell$-해밀턴성을 보장하는가?
• RQ4 정규성 방법에 의존하지 않고, $k$-균일 초그래프에서 $\ell$-사이클에 대해 흡수 방법을 어떻게 적응시킬 수 있는가?

주요 결과

• 모든 $k \geq 3$, $1 \leq \ell \leq k-1$, $\alpha > 0$에 대해, $\epsilon > 0$과 $C > 0$이 존재하여 $p \geq n^{-(k-\ell)-\epsilon}$ ($\ell \geq 2$) 또는 $p \geq Cn^{-(k-1)}$ ($\ell = 1$)이면 $H \cup \mathbb{G}^{(k)}(n,p)$는 거의확실하게 $\ell$-해밀턴성을 가진다.
• 임계값은 상수 $\epsilon$와 $C$를 제외하고 최적임을 입증하였으며, $\alpha n/k$ 크기의 부분집합을 가진 완전한 $k$-분할 $k$-그래프를 사용한 구성으로, 임계값 이하에서는 $\ell$-해밀턴성이 저항됨을 보였다.
• 증명은 세 단계의 확률적 과정을 통해 해밀턴 $\ell$-사이클을 구성한다: (1) 무작위 연결자, (2) 흡수 경로, (3) 나머지 정점들을 경로로 커버하며, 모두 필요한 구조물이 고확률로 존재함을 기반으로 한다.
• 정규성 방법을 사용하지 않고 흡수 레마를 구성함으로써 증명을 크게 단순화하고 가독성을 향상시켰으며, 심사위원의 제안에 따라 개선되었다.
• 결과는 보만–프류즈–마틴 정리를 초그래프로 확장하며, 크리브레비치, 콴, 수다코프가 제기한 무작변으로 흩어진 초그래프에서의 $\ell$-해밀턴성에 대한 열린 문제를 해결한다.
• 마지막 구성은 크기가 $2t_3\zeta n$ 이하인 남은 정점들을 각 $(k-\ell)$-집합당 $\beta^9 n$개의 흡수기를 사용하여 흡수하여 전체 $\ell$-사이클의 존재를 보장한다.