[논문 리뷰] Edge-partitioning a graph into paths: beyond the Bar\'at-Thomassen conjecture

Julien Bensmail, Ararat Harutyunyan외 2명|arXiv (Cornell University)|2015. 07. 29.

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

한 줄 요약

이 논문은 Barát-Thomassen 추측의 경로 버전에 대한 새로운 증명을 제시한다. 즉, 충분히 높은 최소 차수와 간선 수가 ℓ로 나누어떨어지는 24-간선연결 그래프는 모든 경로를 길이 ℓ로 분해할 수 있음을 보여준다. 이 접근법은 간선연결성, 희박한 트리 분해, 그리고 올레라운드 구성 기법을 활용하여 경로 분해를 보장하며, 올레라운드 그래프의 경우 4-간선연결성과 높은 최소 차수만으로도 성립함을 보인다.

ABSTRACT

The Bar\'at-Thomassen conjecture asserts that there is a function $f$ such that for every fixed tree $T$ with $t$ edges, every graph which is $f(t)$-edge-connected with its number of edges divisible by $t$ has a partition of its edges into copies of $T$. This has been proved in the case of paths of length $2^k$ by Thomassen, and recently shown to be true for all paths by Botler, Mota, Oshiro and Wakabayashi. Our goal in this paper is to propose an alternative proof of the path case with a weaker hypothesis: Namely, we prove that there is a function $f$ such that every $24$-edge-connected graph with minimum degree $f(t)$ has an edge-partition into paths of length $t$ whenever $t$ divides the number of edges. We also show that $24$ can be dropped to $4$ when the graph is eulerian.

연구 동기 및 목표

• 이전 증명들보다 더 약한 간선연결성 조건을 가정하여 Barát-Thomassen 추측의 경로 버전을 다룸.
• 이전 연구에서 사용된 확률적 방법에 대한 의존도를 줄이는 대안적 증명 전략을 제공함.
• 경로 분해를 가능하게 하는 데 있어 간선연결성과 최소 차수 사이의 상호보완적 관계를 탐색함.
• 최소 차수를 높일 경우 간선연결성 임계값을 낮출 수 있는 조건을 정교하게 이해함.
• 최소 차수가 충분히 높은 4-간선연결 올레라운드 그래프가 길이 ℓ인 경로로 분해됨을 증명함.

제안 방법

• 증명은 24-간선연결 그래프 G를 구성하고, 최소 차수가 높은 12-간선연결 부분그래프 G′를 분리하기 위해 최대 컷을 적용함.
• G′에 대해 6-아크강한 방향화를 적용하여 공통 정점에서 루트를 가진 여섯 개의 아크-무작위 아웃-아보레스센스를 추출함.
• 자르기 양쪽에 각각 (ℓ, 2ℓ)-경로-트리 T′과 T′′를 나머지 간선의 일부를 사용해 1/2-희박하게 구축함.
• T′과 T′′에서 특정 경로를 제거함으로써 각 쪽의 정점 차수의 기수성을 조정하여, 각 쪽에서 최대 한 개의 정점만 홀수 차수를 가지도록 함.
• 남은 간선들로부터 연결된 [ℓ, ℓ+3]-경로-그래프 H를 구성함. 이때 충돌 측도 conf(H) < 1/(2(ℓ + 10)) 이 성립함.
• 정리 3.2를 통해 H에서 충돌하는 사이클이 없는 올레라운드 순환을 구성함으로써 원하는 경로 분해를 확보함.

실험 결과

연구 질문

• RQ1 경로 길이 ℓ에 따라 달라지지 않는 상수 간선연결성 기준으로 Barát-Thomassen 추측의 경로 버전을 증명할 수 있는가?
• RQ2 최소 차수를 높일 경우 경로 분해를 위한 필요 간선연결성은 어떻게 변화하는가?
• RQ3 낮은 간선연결성임에도 불구하고 올레라운드 그래프가 여전히 경로 분해를 허용할 수 있는 구조적 조건이 존재하는가?
• RQ4 경로-그래프에서 충돌 측도 conf(H)를 유한하게 제한하여 충돌 없는 올레라운드 순환을 보장할 수 있는가?
• RQ5 높은 최소 차수 조건이 존재할 경우, 경로 분해를 위한 간선연결성 요구 조건을 낮출 수 있는가?

주요 결과

• 최소 차수가 dℓ 이상이고 간선 수가 ℓ로 나누어떨어지는 모든 24-간선연결 그래프는 길이 ℓ인 경로로 분해 가능하다.
• 분해 과정에서 추가로 길이 ℓ 이하의 경로 하나가 더 필요할 수 있으나, 그러한 경로는 최대 하나뿐이다.
• 올레라운드 그래프의 경우, 최소 차수가 충분히 높을 경우 4-간선연결성만으로도 충분하다.
• 구성된 경로-그래프 H의 충돌 측도 conf(H)는 1/(2(ℓ + 10)) 이하로 제한되며, 이는 충돌 없는 올레라운드 순환을 보장한다.
• 이전 증명들과는 다른 방법론을 사용하여 Barát-Thomassen 추측의 경로 버전에 대한 대안적 증명이 확립되었다.
• 증명은 간선연결성이 경로 길이 ℓ와 독립적으로 유지될 수 있음을 보여주며, 통합된 상한 24를 확보한다.