[논문 리뷰] Edge-disjoint Hamilton cycles in random graphs

Fiachra Knox, Daniela Kühn외 1명|arXiv (Cornell University)|2011. 04. 22.

Limits and Structures in Graph Theory참고 문헌 21인용 수 13

한 줄 요약

이 논문은 Frieze와 Krivelevich가 제기한 추측을 확인한다. $ G_{n,p} $에서 $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $일 때, 고도로 확률적으로(graphs) $ \lfloor \delta(G)/2 \rfloor $개의 간선에 대해 서로소인 해밀턴 사이클을 포함하며, $ \delta(G) $가 홀수이면 추가로 최적의 매칭이 존재한다. 이 결과는 결정론적 가짜난수성 조건이 이러한 분해를 충분히 만족시키며, 주어진 $ p $ 범위에서 이 조건이 고도로 확률적으로 성립함을 증명함으로써 달성된다.

ABSTRACT

We show that provided $\log^{50} n/n \leq p \leq 1 - n^{-1/4}\log^9 n$ we can with high probability find a collection of $\lfloor δ(G)/2 floor$ edge-disjoint Hamilton cycles in $G \sim G_{n, p}$, plus an additional edge-disjoint matching of size $\lfloor n/2 floor$ if $δ(G)$ is odd. This confirms, for the above range of $p$, a conjecture of Frieze and Krivelevich.

연구 동기 및 목표

• 랜덤 그래프에서 간선에 대해 서로소인 해밀턴 사이클의 포장에 관한 오랜 추측을 해결하기 위해.
• 에지 확률 $ p $의 넓은 범위에서 랜덤 그래프 $ G_{n,p} $가 고도로 확률적으로 성질 $ \mathcal{H} $를 가짐을 증명하기 위해. 이 성질 $ \mathcal{H} $는 $ \lfloor \delta(G)/2 \rfloor $개의 간선에 대해 서로소인 해밀턴 사이클에 더하여 $ \delta(G) $가 홀수일 경우 최적의 매칭을 포함한다.
• 그래프가 성질 $ \mathcal{H} $를 가질 수 있는 결정론적 충분조건(가짜난수성과 거의 정규성)을 설정하고, 주어진 $ p $-범위에서 이 조건이 고도로 확률적으로 $ G_{n,p} $에서 성립함을 입증하기 위해.
• 이전의 랜덤 그래프에서 해밀턴 사이클 포장 결과를 보완하기 위해, 전체 간선에 대해 서로소인 분해가 보장되는 $ p $-범량의 격차를 메우기 위해.

제안 방법

• 특정 가짜난수성 조건을 만족하고, 충분히 정규에 가까운 그래프이면 성질 $ \mathcal{H} $를 가짐을 보여주는 결정론적 정리(정리 48)를 증명한다.
• 지역 차수와 간선 분포를 제어하기 위해, 감소하는 간선 확률을 가진 다수의 부분그래프 $ G_0, G_1, \dots, G_5 $로 $ G_{n,p} $를 분해한다.
• 레미마 47과 추론 27의 반복적 적용을 통해 순차적인 부분그래프에서 간선에 대해 서로소인 해밀턴 사이클을 구성하며, 고차수 정점들을 모두 커버함을 보장한다.
• 레미마 22를 적용하여 첫 번째 부분그래프 $ G_1' $에서 정규 스팸닝 하위그래프 $ H_1 $를 구성함으로써, 최소 차수 정점 $ x_0 $에 인접한 모든 간선을 유지한다.
• 추론 46을 사용하여 최종 잔여 그래프를 구성 수가 제한된 성분을 가진 2-팩터로 분해함으로써, 최종 사이클 구성이 가능하게 한다.
• 주어진 $ p $-범위에서 가짜난수성과 차수 조건이 고도로 확률적으로 성립함을 입증하며, 특히 농도 부등식과 차수 한계에 의존한다.

실험 결과

연구 질문

• RQ1 주어진 $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ 범위에서 $ G_{n,p} $는 고도로 확률적으로 $ \lfloor \delta(G)/2 \rfloor $개의 간선에 대해 서로소인 해밀턴 사이클을 포함하는가?
• RQ2 결정론적 가짜난수성 조건이 정규가 아니더라도 그래프가 $ \lfloor \delta(G)/2 \rfloor $개의 간선에 대해 서로소인 해밀턴 사이클을 가질 수 있도록 보장할 수 있는가?
• RQ3 성질 $ \mathcal{H} $에 의해 보장되는 최적의 매칭은 항상 최소 차수 정점을 커버할 수 있도록 실현 가능한가?
• RQ4 간선에 대해 서로소인 해밀턴 사이클의 구성은 $ \delta(G) \approx np $가 되는 전체 $ p $-범위로 확장될 수 있는가? 특히 $ p $가 너무 작거나 너무 크지 않을 때는?
• RQ5 모든 간선의 거의 완전한 해밀턴 분해(즉, 간선의 무시할 만한 분량 이외에는 모두 커버)가 보장되는 최소 $ p $-임계값은 무엇인가?

주요 결과

• 주어진 $ \log^{50}n/n \leq p \leq 1 - n^{-1/4}\log^9n $ 범위에서, 고도로 확률적으로 $ G_{n,p} $는 $ \lfloor \delta(G)/2 \rfloor $개의 간선에 대해 서로소인 해밀턴 사이클을 포함하며, 이는 Frieze-Krivelevich 추측이 이 범위에서 확인됨을 의미한다.
• 구성 과정은 $ \delta(G) $가 홀수일 경우 추가로 최적의 매칭(크기 $ \lfloor n/2 \rfloor $)을 선택할 수 있으며, 이 매칭은 최소 차수 정점을 반드시 커버함을 보장한다. 따라서 이 정점에 인접한 모든 간선가 커버된다.
• 증명은 성질 $ \mathcal{H} $를 가진 그래프에 대한 결정론적 충분조건(정리 48)을 설정하며, 이 조건은 가짜난수성과 거의 정규성에 기반한다. 이 조건은 주어진 $ p $-범위에서 고도로 확률적으로 $ G_{n,p} $에서 성립함을 입증하였다.
• 최종 2-팩터 분해에서 성분의 수는 $ c(\mathcal{F}) \leq 3n\sqrt{np_4\log^3 n} $로 유계이며, 이는 최종 사이클 구성에 충분히 작아서 가능함을 보였다.
• 구성 과정에서 한 단계를 생략해도 결과가 유지됨을 보여, $ p $의 하한을 약간의 개선으로 $ \log^{30}n/n $ 수준까지 낮출 수 있음을 시사한다.
• 분석 결과, $ \log^{50}n/n $의 하한이 두 개의 핵심 부등식(33)과 (34)의 타당성을 확보하기 위해 필요하며, 이는 반복 과정에서 잔여 그래프의 성장률을 제어한다.