[논문 리뷰] Rainbow Hamilton cycles in random graphs

Alan Frieze, Po‐Shen Loh|arXiv (Cornell University)|2010. 12. 31.

Limits and Structures in Graph Theory인용 수 2

한 줄 요약

이 논문은 무작위로 색칠된 Erdős–Rényi 무작위 그래프에서 무지개 해밀턴 사이클의 존재에 대한 최적의 임계값을 확립한다. 간선이 색칠된 그래프를 반대 방식의 구성으로 3-균일 초그래프로 모델링함으로써, 간선이 확률 $ p = \frac{(1+\epsilon)\log n}{n} $ 로 샘플링되고 $ \kappa = (1+\theta)n $ 개의 색으로 칠지면, $ \epsilon, \theta > \frac{100}{\sqrt{\log \log n}} $ 일 때, 무지개 해밀턴 사이클이 거의 확실히 존재함을 증명한다. 이 결과는 간선 확률과 색의 수 양쪽에서 최적의 1차 점근적 성질을 달성함으로써 이전의 경계를 더욱 날카럽게 다잡는다.

ABSTRACT

One of the most famous results in the theory of random graphs establishes that the threshold for Hamiltonicity in the Erdős-Rényi random graph <em>G</em>_<em>n,p</em> is around . Much research has been done to extend this to increasingly challenging random structures. In particular, a recent result by Frieze determined the asymptotic threshold for a loose Hamilton cycle in the random 3-uniform hypergraph by connecting 3-uniform hypergraphs to edge-colored graphs. In this work, we consider that setting of edge-colored graphs, and prove a result which achieves the best possible first order constant. Specifically, when the edges of <em>G</em>_<em>n,p</em> are randomly colored from a set of (1 + <em>o</em>(1))<em>n</em> colors, with , we show that one can almost always find a Hamilton cycle which has the additional property that all edges are distinctly colored (rainbow).

연구 동기 및 목표

• 무작위 간선 색칠 그래프에서 무지개 해밀턴 사이클의 존재에 대해 가장 날카로운 임계값을 결정하는 것.
• 무작위 색칠 모델에서 알려진 필수 조건과 달성 가능한 임계값 사이의 격차를 메우는 것.
• Cooper와 Frieze의 이전 결과를 확장하여 간선 확률과 색의 수 양쪽에서 최적의 1차 점근적 성질을 달성하는 것.
• 역 구성 방식을 통해 간선 색칠 그래프에서의 무지개 해밀턴 사이클과 3-균일 초그래프에서의 느슨한 해밀턴 사이클 간의 연결 고리를 설정하는 것.
• 최소한의 간선과 색 제약 조건 하에서 무지개 해밀턴성의 점근적 임계값을 해결하는 것.

제안 방법

• 각 색이 칠진 간선 (u,v) 가 색 c에 대해 초간선 {u,v,c} 로 대응되는 간선 색칠 그래프와 3-균일 초그래프 사이의 역 대응 관계를 사용한다.
• 유도된 초그래프에서 느슨한 해밀턴 사이클이 존재하면 원래 그래프에서 무지개 해밀턴 사이클이 존재함을 증명한다.
• 세 단계의 무작위 그래프 과정 동안 간선 노출과 차수 제어를 위해 색 집합을 세 그룹으로 분할한다.
• 세 단계 노출 과정을 적용한다: 먼저 낮은 확률의 간선을 노출하고, 그 다음 중간 확률, 마지막으로 높은 확률의 간선을 노출하여 차수와 색 분포를 제어한다.
• Hall 유형의 추론과 확률적 경계를 사용하여 이웃 집합이 충분히 팽창함을 보여, 무지개 사이클의 존재를 보장한다.
• 커플링 기법을 활용하여 실제 무작위 간선 집합을 독립적인 무작위 방향 그래프로 지배함으로써, 방향 그래프에 대한 알려진 해밀턴성 결과를 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 무작위 간선 색칠 그래프 $ G_{n,p} $ 에서 무지개 해밀턴 사이클이 거의 확실히 존재하기 위한 최적의 간선 확률 $ p $ 는 무엇인가?
• RQ2 만약 $ p \sim \frac{\log n}{n} $ 이라면, 거의 확실히 무지개 해밀턴 사이클을 보장하기 위해 필요한 최소 색 수 $ \kappa $ 는 얼마인가?
• RQ3 무지개 해밀턴성의 임계값을 해밀턴성과 색의 다양성에 대한 최소 필수 조건과 일치하도록 날카롭게 다듬을 수 있는가?
• RQ4 n 이 홀수일 때조차도 $ p $ 와 $ \kappa $ 양쪽에서 최적의 1차 점근적 성질을 달성할 수 있는가?
• RQ5 무지개 해밀턴 사이클이 처음 나타나는 순간이 최소 차수 2에 도달하고 최소 $ n $ 개의 색이 나타나는 순간과 일치하는가?

주요 결과

• n 이 짝수일 경우, 어떤 상수 $ K $ 에 대해 $ p > K \frac{\log n}{n} $ 이면, $ G_{n,p,n} $ 은 거의 확실히 무지개 해밀턴 사이클을 포함한다.
• 만약 $ p = \frac{(1+\epsilon)\log n}{n} $ 이고 $ \kappa = (1+\theta)n $ 이며 $ \epsilon, \theta > \frac{100}{\sqrt{\log \log n}} $ 이면, 거의 확실히 무지개 해밀턴 사이클이 존재한다.
• 이 결과는 최적의 1차 점근적 성질을 달성한다: 간선 확률은 $ G_{n,p} $ 에서 해밀턴 사이클 존재의 최소 임계값에 상수 배수 내에 있으며, 색의 수는 반드시 필요한 최소값인 $ n $ 이다.
• 증명은 3-균일 초그래프에서의 역 구성 방식을 사용한다: 초그래프에서 느슨한 해밀턴 사이클은 색칠된 그래프에서 무지개 해밀턴 사이클에 대응한다.
• 저자들은 1대3 Hall 유형의 추론을 통해 이웃 집합의 팽창이 거의 확실히 성립함을 보여, 무지개 사이클의 존재를 보장한다.
• 커플링 추론을 통해 실제 무작위 간선 집합을 독립적인 방향 그래프로 대체함으로써, 3-들어오기, 3-나가는 방향 그래프에 대한 알려진 해밀턴성 결과를 적용할 수 있다.