[논문 리뷰] Rainbow Pancyclicity in Graph Systems

Yangyang Cheng, Guanghui Wang외 1명|arXiv (Cornell University)|2019. 09. 25.

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

한 줄 요약

이 논문은 그래프 시스템에서 레인보우 판시클리티에 대한 아하론의 추측의 점점 다가오는 형태를 증명한다: 충분히 큰 n에 대해, n개의 정점이 있는 각각의 n개 그래프에서 최소 차수 최소 (1/2 + ε)n을 가지면, 레인보우 해밀턴 사이클을 포함한다. 증명은 흡수 기법의 레인보우 변형을 사용하여, 어떤 분리된 레인보우 경로라도 새로운 색으로 흡수할 수 있는 짧은 레인보우 사이클을 구성하며, 궁극적으로 레인보우 해밀턴 사이클을 형성한다.

ABSTRACT

Let $G_1,...,G_n$ be graphs on the same vertex set of size $n$, each graph with minimum degree $δ(G_i)\ge n/2$. A recent conjecture of Aharoni asserts that there exists a rainbow Hamiltonian cycle i.e. a cycle with edge set $\{e_1,...,e_n\}$ such that $e_i\in E(G_i)$ for $1\leq i \leq n$. This can be viewed as a rainbow version of the well-known Dirac theorem. In this paper, we prove this conjecture asymptotically by showing that for every $\varepsilon>0$, there exists an integer $N>0$, such that when $n>N$ for any graphs $G_1,...,G_n$ on the same vertex set of size $n$ with $δ(G_i)\ge (\frac{1}{2}+\varepsilon)n$, there exists a rainbow Hamiltonian cycle. Our main tool is the absorption technique. Additionally, we prove that with $δ(G_i)\geq \frac{n+1}{2}$ for each $i$, one can find rainbow cycles of length $3,...,n-1$.

연구 동기 및 목표

• 그래프 시스템에서 아하론의 레인보우 해밀턴 사이클 추측의 점점 다가오는 형태를 해결하기 위해.
• 이러한 시스템에서 길이 3에서 n−1까지의 모든 레인보우 사이클이 존재할 조건을 설정하기 위해.
• 아하론의 추측에서 최소 차수 기준 n/2가 점점 다가오는 형태로 (1/2 + ε)n으로 향상될 수 있음을 보여주기 위해.
• δ(Gi) ≥ (n+1)/2일 때, 길이 3에서 n−1까지의 모든 레인보우 사이클이 존재하며, 이후 결과들과 결합하여 길이 3에서 n까지의 모든 레인보우 사이클이 존재함을 보여주기 위해.
• 그래프 시스템에서 유도된 간선 색이 칠해진 다중그래프에서 레인보우 해밀턴 사이클을 구성하기 위한 레인보우 흡수 방법을 개발하고 적용하기 위해.

제안 방법

• 흡수 기법을 사용하여, 어떤 분리된 레인보우 경로 P와 새로운 색을 흡수할 수 있는 짧은 레인보우 사이클 C를 구성한다.
• 모든 레인보우 경로 P와 사용되지 않은 색 s에 대해, C에서의 간선 제거가 새로운 색의 경로 삽입을 통해 복원될 수 있음을 보장한다.
• 확률적 방법과 체르노프 불등식을 사용하여, 정점 집합 W에서의 랜덤한 3경로 가족이 짝별로 분리된 가족 W′으로 자르질 수 있음을 보여주며, 충분한 크기와 낮은 교차를 확보한다.
• 집중 불등식을 적용하여, 각 색 s와 정점 쌍 (x1,x2)에 대해, 색 패턴 (s, 3i−1, 3i−2, 3i)을 가진 많은 수의 흡수 경로가 C에 존재함을 보장한다.
• 합집합 추정과 마르코프 부등식을 사용하여, 필요한 흡수 구조가 C에 존재할 확률이 양수임을 보여준다.
• V(G) ∓ V(C)에서 레인보우 해밀턴 경로를 먼저 찾은 후, 흡수 성질을 이용해 이를 C에 흡수함으로써 최종 레인보우 해밀턴 사이클을 구성한다.

실험 결과

연구 질문

• RQ1 아하론의 추측, 즉 그래프 시스템에서의 레인보우 해밀턴 사이클은 점점 다가오는 형태로 증명될 수 있는가?
• RQ2 n개의 그래프 시스템에서 길이 3에서 n−1까지의 모든 레인보우 사이클이 존재하도록 보장하는 최소 차수 조건은 무엇인가?
• RQ3 흡수 기법은 레인보우 설정으로 적응시킬 수 있는가? 이를 통해 간선 색이 칠해진 다중그래프에서 해밀턴 사이클을 구성할 수 있는가?
• RQ4 δ(Gi) ≥ n/2가 레인보우 해밀턴 사이클에 대해 최적의 기준인가, 아니면 점점 다가오는 형태로 향상시킬 수 있는가?
• RQ5 그래프 시스템의 어떤 구조적 성질이 해밀턴 사이클을 제외한 모든 길이의 레인보우 사이클 존재를 가능하게 하는가?

주요 결과

• 모든 ε > 0에 대해, N이 존재하여 모든 n > N에 대해, n개의 정점이 있는 각각의 n개 그래프에서 최소 차수가 최소 (1/2 + ε)n이면 레인보우 해밀턴 사이클을 포함한다.
• 모든 i에 대해 δ(Gi) ≥ (n+1)/2이면, 시스템은 길이 3에서 n−1까지의 모든 레인보우 사이클을 포함한다.
• 아하론의 원래 추측에서 최소 차수 기준 n/2는 점점 다가오는 형태로 (1/2 + ε)n으로 향상시킬 수 있다.
• 증명에서 사용된 흡수 구조는 어떤 분리된 레인보우 경로라도 새로운 색으로 삽입될 수 있음을 보장한다.
• 구성은 각 색과 정점 쌍당 최소 Ω(εμ₁n)개의 흡수 경로를 보장하며, 이는 큰 n에 대해 최소 1개 이상이다.
• 이 결과와 조스 및 킴의 이후 추측의 완전한 증명을 결합하면, δ(Gi) ≥ (n+1)/2 조건을 만족하는 시스템은 길이 3에서 n까지의 모든 레인보우 사이클을 포함함을 확인한다.