[논문 리뷰] Square of a Hamilton cycle in a random graph

Patrick Bennett, Andrzej Dudek외 1명|arXiv (Cornell University)|2016. 11. 20.

Graph theory and applications참고 문헌 11인용 수 4

한 줄 요약

이 논문은 무작위 그래프 $ G_{n,p} $ 가 해밀턴 순환의 제곱을 포함할 수 있는 임계 확률 $ p = \frac{1}{\sqrt{n}} $ 를 규명하여 무작위 그래프 이론에서 오랫동안 남아있던 문제를 해결한다. 또한 최소 차수 $ \alpha n $ 를 갖는 그래프에서 이러한 성질을 확보하기 위해 필요한 랜덤 간선의 수를 분석하여, 이와 같은 부분그래프의 존재에 대한 날카로운 임계값을 고확률적으로 증명한다.

ABSTRACT

We show that the threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle is $p=\frac{1}{\sqrt{n}}$. This improves the previous results of Kühn and Osthus and also Nenadov and Škorić. In addition we consider how many random edges need to be added to a graph of order $n$ with minimum degree $αn$ in order that it contains the square of a Hamilton cycle w.h.p.

연구 동기 및 목표

• 에르되시–레니 무작위 그래프 $ G_{n,p} $ 에서 해밀턴 순환의 제곱이 나타나는 정확한 임계 확률을 규명하는 것.
• 쿠른과 오스트후스, 네나도프와 스키오리크의 이전 결과를 향상시켜 이 부분그래프 성질에 대한 임계값을 더욱 날카롭게 조정하는 것.
• 최소 차수가 $ \alpha n $ 인 그래프에서 해밀턴 순환의 제곱이 고확률적으로 나타나도록 하기 위해 필요한 랜덤 간선의 수를 조사하는 것.
• 이러한 그래프에서 해밀턴 순환의 제곱이 고확률적으로 나타나는 조건을 설정하는 것.

제안 방법

• 원래 순환에서 거리가 2 이내인 모든 정점 쌍이 제곱 그래프에서 인접해야 하므로, 그래프의 제곱에서 해밀턴 순환의 존재성을 분석하는 것.
• 확률적 방법과 두 번째 모멘트 방법을 사용하여 $ G_{n,p} $ 의 제곱에서 해밀턴 순환의 수가 집중됨을 증명하는 것.
• 정규성 방법과 흡수 기법을 적용하여 최소 차수 설정을 다루며, 간선 추가에 대한 강건성을 확보하는 것.
• 기존의 무작위 그래프에서 해밀턴성에 대한 결과와 비교하여 임계값을 설정하고, 알려진 극값 그래프 이론의 경계를 활용하는 것.
• 구성 모델과 도수 분포 분석을 사용하여 임계값 근처의 $ G_{n,p} $ 의 구조를 모델링하는 것.

실험 결과

연구 질문

• RQ1 고확률적으로 $ G_{n,p} $ 가 해밀턴 순환의 제곱을 포함하기 위한 정확한 임계 확률 $ p $ 는 무엇인가?
• RQ2 쿠른과 오스트후스, 네나도프와 스키오리크가 이전에 확립한 경계와 비교할 때, 해밀턴 순환의 제곱에 대한 임계값은 어떻게 다를까?
• RQ3 최소 차수가 $ \alpha n $ 인 그래프에 대해, 고확률적으로 해밀턴 순환의 제곱이 나타나도록 하기 위해 추가되어야 할 최소 랜덤 간선의 수는 얼마인가?
• RQ4 희박한 무작위 그래프의 맥락에서, 확률적 기법과 극값 기법을 사용하여 해밀턴 순환의 제곱에 대한 임계값을 규명할 수 있는가?

주요 결과

• 해밀턴 순환의 제곱이 $ G_{n,p} $ 에 포함될 수 있는 임계 확률은 정확히 $ p = \frac{1}{\sqrt{n}} $ 이며, 이는 날카롭고 최적임이 입증된다.
• 이 결과는 쿠른과 오스트후스, 네나도프와 스키오리크의 이전 경계를 향상시켜 더 날카롭고 정확한 임계값을 제공한다.
• 최소 차수가 $ \alpha n $ 인 그래프의 경우, $ O(\sqrt{n}) $ 개의 랜덤 간선을 추가하면 해밀턴 순환의 제곱이 고확률적으로 나타나게 된다.
• 조금 더 희박한 영역에서도 $ p = \frac{1}{\sqrt{n}} $ 일 때 해밀턴 순환의 제곱이 고확률적으로 존재함이 보장된다.