[논문 리뷰] Vertex-disjoint properly edge-colored cycles in edge-colored complete graphs

Ruonan Li, Hajo Broersma외 1명|arXiv (Cornell University)|2017. 08. 29.

Limits and Structures in Graph Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 k=2에 대해 간선에 색이 칠진 완전 그래프에서 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클에 관한 추측을 확인한다. 즉, 최대 단색 차수 Δ⁰⁰(G) ≤ n−5 이면 G는 2개의 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클을 포함한다. 이는 다중분할 토너먼트에서의 방향성 사이클과의 구조적 연결을 통해, 방향 그래프에서 이산 사이클에 관한 Bermond-Thomasson 추측에 대한 부분적 해결을 이끌어낸다.

ABSTRACT

It is conjectured that every edge-colored complete graph $G$ on $n$ vertices satisfying $Δ^{mon}(G)\leq n-3k+1$ contains $k$ vertex-disjoint properly edge-colored cycles. We confirm this conjecture for $k=2$, prove several additional weaker results for general $k$, and we establish structural properties of possible minimum counterexamples to the conjecture. We also reveal a close relationship between properly edge-colored cycles in edge-colored complete graphs and directed cycles in multi-partite tournaments. Using this relationship and our results on edge-colored complete graphs, we obtain several partial solutions to a conjecture on disjoint cycles in directed graphs due to Bermond and Thomassen.

연구 동기 및 목표

• 모든 간선에 색이 칠진 완전 그래프 G에서 Δ⁰⁰(G) ≤ n−3k+1 이면 k개의 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클을 포함한다는 추측을 확인하는 것.
• 특히 k=2에 대해 이 추측을 증명하여, Δ⁰⁰(G) ≤ n−5 이면 두 개의 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클이 존재함을 보이는 것.
• 일반 추측에 대한 잠재적 최소 반례의 구조적 성질을 규명하는 것.
• 간선에 색이 칠진 완전 그래프에서의 적절히 간선에 색이 칠진 사이클과 다중분할 토너먼트에서의 방향성 사이클 간의 깊은 연결 고리를 드러내는 것.
• 이 연결 고리를 활용하여 방향 그래프에서 이산 사이클에 관한 Bermond-Thomasson 추측에 대한 부분적 해결을 도출하는 것.

제안 방법

• 간선에 색이 칠진 완전 그래프에서 k개의 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클의 존재성이 관련된 다중분할 토너먼트에서 k개의 정점을 공유하지 않는 방향성 사이클의 존재성과 동치임을 증명하는 것.
• 색 차수와 간선 색칠 규칙을 사용하여 주어진 간선에 색이 칠진 완전 그래프 G로부터 다중분할 토너먼트 MT를 구성하는 것.
• 구조적 풍부성을 확보하기 위해 최소 진출차수 조건 δ⁺(MT) ≥ f(k)를 사용하는 것.
• 다중분할 토너먼트에 관한 기존 결과(정리 12)를 적용하여 특정 조건 하에서 k개의 이산 방향성 사이클이 존재함을 보장하는 것.
• 모순과 구조적 분해(레마 20을 통한)를 사용하여 어떤 PC 사이클에도 속하지 않는 정점들을 분석하고 정점 집합을 적절히 분할하는 것.
• 최소 진출차수를 유지하고 금지된 길이의 방향성 사이클을 피하기 위해 수정된 ℓ분할 토너먼트 MT′를 정의하여 기존 정리의 적용을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 모든 간선에 색이 칠진 완전 그래프 G에서 Δ⁰⁰(G) ≤ n−5 이면 두 개의 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클이 존재하는가?
• RQ2 일반 k-사이클 추측에 대한 최소 반례가 가져야 할 구조적 성질은 무엇인가?
• RQ3 간선에 색이 칠진 완전 그래프에서의 적절히 간선에 색이 칠진 사이클은 다중분할 토너먼트에서의 방향성 사이클과 어떻게 관련이 있는가?
• RQ4 간선에 색이 칠진 그래프와 방향 그래프 사이의 연결 고리를 활용하여 Bermond-Thomasson 추측에 대한 진전을 이룰 수 있는가?
• RQ5 최소 진출차수가 f(k)인 다중분할 토너먼트가 언제 k개의 이산 방향성 사이클을 포함하는가?

주요 결과

• k=2에 대해 추측이 확인되었다: Δ⁰⁰(G) ≤ n−5 이면 G는 두 개의 정점을 공유하지 않는 적절히 간선에 색이 칠진 사이클을 포함한다.
• 이 논문은 일반 추측에 대한 최소 반례는 단색 간선 컷을 가지지 않으며, 어떤 PC 사이클에도 속하지 않는 색 차수가 최대 ℓ인 정점이 존재함을 증명한다.
• 레마 20를 통해 정점 집합의 구조적 분할을 구성하여 간선에 색이 칠진 그래프 문제를 방향 그래프 문제로 변환할 수 있다.
• G에서 k개의 이산 적절히 간선에 색이 칠진 사이클의 존재성은 유도된 다중분할 토너먼트 MT에서 k개의 이산 방향성 사이클의 존재성과 동치이다.
• 이 구성은 만약 토너먼트 MT의 최소 진출차수 ≥ f(k) 이고 길이가 I에 속하는 방향성 사이클이 없다면, G는 길이가 I에 속하는 PC 사이클을 포함하지 않음을 보장한다.
• 이 동치성에 기반하여, 만약 토너먼트 MT′의 δ⁺(MT′) ≥ f(k) 이고 길이 i ∈ I에 속하는 방향성 사이클이 없다면, MT′는 k개의 이산 방향성 사이클을 포함한다. 이는 G에서 k개의 정점을 공유하지 않는 PC 사이클에 대응된다.