[논문 리뷰] Colour-biased Hamilton cycles in random graphs

Lior Gishboliner, Michael Krivelevich외 1명|arXiv (Cornell University)|2020. 07. 23.

Limits and Structures in Graph Theory참고 문헌 26인용 수 6

한 줄 요약

이 논문은 히틀레티시티 임계값 이상의 랜덤 그래프 $G(n,p)$에서, 임의의 $r$-edge-coloring이 단일 색상으로 최소 $(2/(r+1) - o(1))n$ 개의 간선을 가진 해밀턴 사이클을 보장함을 증명한다. 이 결과는 점점 최적이며, 허위 랜덤성 성질과 희박한 랜덤 그래프에서의 경로 연장 기법에 의존한다.

ABSTRACT

We prove that a random graph $G(n,p)$, with $p$ above the Hamiltonicity threshold, is typically such that for any $r$-colouring of its edges there exists a Hamilton cycle with at least $(2/(r+ 1)-o(1))n$ edges of the same colour. This estimate is asymptotically optimal.

연구 동기 및 목표

• 임의의 $r$-edge-coloring에 대해 $G(n,p)$에서 해밀턴 사이클에 보장되는 동일한 색상 간선의 최소 수를 결정하는 것.
• 이 최소 수가 알려진 상한 구축과 점점 최적임을 입증하는 것.
• 히틀레티시티 임계값 이상에서 $G(n,p)$의 해밀턴 사이클에 풍부한 구조가 단색 집중의 강건성을 보장함을 보여주는 것.
• 완벽한 매칭으로의 분석 확장: 동일한 최적의 상한인 $1/(r+1)$-분율의 간선이 한 색상에 속함을 보여주는 것.

제안 방법

• 히틀레티시티 임계값 이상의 $G(n,p)$에서의 허위 랜덤성 성질을 활용하여, 허위 랜덤 그래프 이론의 결과를 적용하는 것.
• 정점 분할을 통한 경로 연장 기법 적용: 크기가 $\leq \varepsilon n$ 인 소형 집합 $V^*$를 분리하고, 나머지 $V'$에서 장거리 단색 경로를 찾는 것.
• 회전-연장 기법을 활용해 $G[V']$ 내의 짧은 경로를 전체 해밀턴 사이클로 연장하면서 단색 구조를 유지하는 것.
• 역방향의 불균형도 유형의 추론을 활용: 색상 균형을 맞추는 대신, 해밀턴 사이클 내에서 한 색상의 우세함(과잉)을 보장하는 것.
• 상한 $n/(r+1)$을 달성하는 특정한 $r$-색칠을 구성하여 결과의 날카로움을 증명하는 것.
• 집중 및 허위 랜덤성 결과(예: 보조정리 3.4 및 정리 3.1)를 활용해 부분그래프 내에서 장거리 단색 경로의 존재를 보장하는 것.

실험 결과

연구 질문

• RQ1 히틀레티시티 임계값 이상의 $G(n,p)$에서 임의의 $r$-edge-coloring에 대해 어떤 해밀턴 사이클에도 반드시 존재하는 동일한 색상 간선의 최대 수는 얼마인가?
• RQ2 해밀턴 사이클 내 단색 간선 수에 대해 $2n/(r+1)$의 상한이 점점 최적인가?
• RQ3 희박한 랜덤 그래프에서 해밀턴 사이클의 강력한 구조를 활용하여 기대값을 초월해 단색 집중을 보장할 수 있는가?
• RQ4 완벽한 매칭의 경우에도 유사한 단색 보장이 성립하는가? 만약 그렇다면, 한 색상에 속하는 간선의 최적 분율은 얼마인가?
• RQ5 허위 랜덤성 성질을 활용해 짧은 단색 경로를 해밀턴 사이클로 연장하면서 색상 집중을 유지할 수 있는가?

주요 결과

• 모든 $p \geq (\log n + \log \log n + \omega(1))/n$ 에 대해, 거의 확실히 $G(n,p)$의 임의의 $r$-edge-coloring은 최소 $(2/(r+1) - o(1))n$ 개의 동일한 색상 간선을 가진 해밀턴 사이클을 포함한다.
• 상한 $2/(r+1)$는 점점 최적이며, 임의의 단일 색상 간선 수가 $n/(r+1)$를 초과하지 않는 해밀턴 사이클이 존재하는 $r$-색칠이 존재하기 때문이다.
• 결과는 완벽한 매칭으로까지 확장 가능하다: $p \geq (\log n + \omega(1))/n$ 일 때, 거의 확실히 한 색상에 속하는 최소 $(1/(r+1) - o(1))n$ 개의 간선을 가진 완벽한 매칭이 존재한다.
• 단색 사이클의 존재는 허위 랜덤성과 경로 연장 기법을 통해 보장되며, 해밀턴 사이클의 수가 적을 때조차도 가능하다.
• 증명은 크기가 $\leq \varepsilon n$ 인 소형 예외 집합 $V^*$를 분리하고, 나머지 부분에서 장거리 단색 경로를 구성한 후 이를 해밀턴 사이클로 연장하는 데 의존한다.
• 동일한 프레임워크는 완벽한 매칭에 대해도 날카로운 상한을 도출하며, 최적의 분율 $1/(r+1)$을 달성하여 알려진 극값 구축과 일치한다.