[논문 리뷰] Powers of cycles in random graphs and hypergraphs

Rajko Nenadov, Nemanja Škorić|arXiv (Cornell University)|2017. 01. 01.

Limits and Structures in Graph Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 무작위 그래프 $\mathcal{G}_{n,p}$에서 해밀턴 순환의 $k$제곱이 나타나는 임계 조건을 규명하여, $p^k \ge C \log^8 n / n$ 이면 점점이 거의 확실하게 충족됨을 보였다. 흡수자 방법과 하켈의 초그래프 매칭 기준을 새로운 방식으로 적용함으로써, 동일한 조건 하에서 랜덤 $k$-균일 초그래프에서 조임 해밀턴 순환의 존재를 증명하였으며, 이는 이전 결과에서 로그 인자를 제거하여 향상된 결과이다.

ABSTRACT

We prove that if $p^k \ge C \log^8 n / n$ for a constant $k \in \mathbb{N}$, then asymptotically almost surely the random graph $\mathcal{G}_{n,p}$ contains the $k$th power of a Hamilton cycle. This determines the threshold for the appearance of the square of a Hamilton cycle up to the logarithmic factor, improving the result of K\uhn and Osthus. Using similar ideas, we also give a combinatorial proof for the appearance of a tight Hamilton cycle in the random $k$-uniform hypergraph $\mathcal{G}^{(k)}_{n.p}$, for $p \ge C \log^8 n/ n$. Our proofs are based on the absorber method and follow the strategy of K\uhn and Osthus and Allen et al. The new ingredient is the proof of the Connecting Lemma using a hypergraph matching criteria of Haxell, which allows us to connect tuples of vertices using more complex structures.

연구 동기 및 목표

• 에르되시-레니 랜덤 그래프 $\mathcal{G}_{n,p}$에서 해밀턴 순환의 $k$제곱이 나타나는 임계 확률을 규명하는 것.
• 이 결과를 $k$-균일 초그래프로 확장하여, 유사한 조건 하에서 조임 해밀턴 순환의 존재를 증명하는 것.
• 쿠른과 오스트후스의 이전 결과를 향상시켜 임계 조건에서 로그 인자를 제거하는 것.
• 복잡한 구조에서 정점 튜플을 연결하기 위해 흡수자 방법과 하켈의 초그래프 매칭 기준을 활용한 조합적 증명을 개발하는 것.

제안 방법

• 흡수자 방법을 적용하여 랜덤 그래프에서 해밀턴 순환의 $k$제곱을 임베드하는 데 사용한다.
• 하켈의 새로운 초그래프 매칭 기준을 활용하여 연결 보조정리를 증명함으로써, 복잡한 정점 튜플 간의 연결을 가능하게 한다.
• 무작위 그래프 $\mathcal{G}_{n,p}$에서 해밀턴 순환의 $k$제곱이 나타나는 데 필요한 임계 조건 $p^k \ge C \log^8 n / n$을 확립한다.
• 동일한 프레임워크를 $k$-균일 초그래프 $\mathcal{G}^{(k)}_{n,p}$에 적용하여, 동일한 임계 조건 하에서 조임 해밀턴 순환의 존재를 증명한다.
• 확률론적 및 극한 조합 기법을 활용하여 흡수자와 연결 구조의 존재를 검증한다.
• 희박한 랜덤 그래프와 구조적 초그래프 매칭 간의 상호작용을 기반으로 강력한 임베딩을 달성한다.

실험 결과

연구 질문

• RQ1 무작위 그래프 $\mathcal{G}_{n,p}$에서 점점이 거의 확실하게 해밀턴 순환의 $k$제곱이 존재하기 위한 임계 확률 $p$는 무엇인가?
• RQ2 흡수자 방법을 초그래프로 확장하여, $\mathcal{G}^{(k)}_{n,p}$에서 조임 해밀턴 순환의 존재를 증명할 수 있는가?
• RQ3 하켈의 초그래프 매칭 기준은 어떻게 활용되어 무작위 그래프 및 초그래프 환경에서 연결 보조정리를 강화할 수 있는가?
• RQ4 기존 연구 대비 임계 조건에서 로그 인자를 얼마나 제거할 수 있는가?

주요 결과

• 해밀턴 순환의 $k$제곱이 $\mathcal{G}_{n,p}$에서 점점이 거의 확실하게 나타나기 위한 임계 조건으로 $p^k \ge C \log^8 n / n$이 충분하다.
• 쿠른과 오스트후스의 결과를 향상시켜 임계 조건에서 로그 인자를 제거하였다.
• 동일한 임계 조건 하에서 랜덤 $k$-균일 초그래프에서 조임 해밀턴 순환의 존재에 대한 조합적 증명이 확립되었다.
• 하켈의 초그래프 매칭 기준을 통해 연결 보조정리가 증명되었으며, 이는 흡수자 프레임워크 내에서 복잡한 정점 튜플 간의 연결을 가능하게 하였다.