[논문 리뷰] Linearly many rainbow trees in properly edge-coloured complete graphs

Alexey Pokrovskiy, Benny Sudakov|BIROn (Birkbeck, University of London)|2017. 03. 21.

Limits and Structures in Graph Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 모든 적절한 간선 색칠이 적용된 완전 그래프 $K_n$가 적어도 $10^{-6}n$ 개의 간선-불변 동형 레이저 스패닝 트리들을 포함함을 증명한다. 이는 Brualdi-Hollingsworth, Kaneko-Kano-Suzuki, 그리고 Constantine의 세 주요 추측에 관해 이전의 한계를 크게 향상시킨 결과이며, 확률론적 및 극한 조합 기법을 통해 도출되었다. 이 결과는 적절한 간선 색칠이 적용된 모든 $K_n$에서 이러한 트리의 수에 대해 선형 하한을 확립한다.

ABSTRACT

A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. The study of rainbow decompositions has a long history, going back to the work of Euler on Latin squares. In this paper we discuss three problems about decomposing complete graphs into rainbow trees: the Brualdi-Hollingsworth Conjecture, Constantine's Conjecture, and the Kaneko-Kano-Suzuki Conjecture. We show that in every proper edge-colouring of $K_n$ there are $10^{-6}n$ edge-disjoint spanning isomorphic rainbow trees. This simultaneously improves the best known bounds on all these conjectures. Using our method we also show that every properly $(n-1)$-edge-coloured $K_n$ has $n/9$ edge-disjoint rainbow trees, giving further improvement on the Brualdi-Hollingsworth Conjecture.

연구 동기 및 목표

• Brualdi-Hollingsworth, Kaneko-Kano-Suzuki, 그리고 Constantine의 레이저 트리 분해에 관한 추측들에 대해 기존의 최고 수준의 정량적 한계를 향상시키는 것.
• 모든 적절한 간선 색칠이 적용된 $K_n$에서 간선-불변 동형 레이저 스패닝 트리의 수에 대해 선형 하한을 확립하는 것.
• 특정 구조적 성질(예: 제어된 차수를 가진 스파이더)을 갖는 트리를 동시에 포함시킬 수 있음을 보여주어 동형성 외의 범위를 확장하는 것.
• 제한된 색칠 조건 하에서 레이저 트리 존재성의 강건성에 대해 탐구하며, 적절한 색칠과 대비시킴.

제안 방법

• 적절한 간선 색칠이 적용된 $K_n$에 다수의 간선-불변 레이저 트리를 통합하기 위해 확률론적 구성 방법을 사용한다.
• 간선-불변성과 레이저 성질을 보장하기 위해 극한 그래프 이론과 색칠 제약 조건을 활용한다.
• 특정 트리 유형(예: $t$-스파이더)을 제어된 차수 분포로 구성하기 위해 핵심 보조정리를 적용한다.
• 일반적인 적절한 색칠과 $K_n$의 $(n-1)$-간선 색칠 특수 케이스를 모두 다룰 수 있도록 방법을 적응시켰다.
• 레이저 구조를 보장하기 위해 램지 이론과 캐논컬 색칠 기법이 암시적으로 사용된다.
• 구조적 귀납법과 무작위 통합을 조합하여 선형 크기의 트리 집합을 도출한다.

실험 결과

연구 질문

• RQ1 모든 적절한 간선 색칠이 적용된 $K_n$는 $\Omega(n)$ 개의 간선-불변 동형 레이저 스패닝 트리를 포함할 수 있는가?
• RQ2 적절한 간선 색칠이 적용된 $K_n$에서 간선-불변 레이저 스패닝 트리의 수에 대해 가능한 최고의 하한은 무엇인가?
• RQ3 예를 들어 유계 차수를 가진 스파이더와 같은 특정 트리 유형이 동시에 간선-불변 레이저 트리로서 통합될 수 있는가?
• RQ4 레이저 트리의 수가 선형으로 존재하는가? 이는 $b$-유계 색칠 조건에서도 성립하는가, 아니면 적절한 색칠 조건에서만 성립하는가?
• RQ5 결과를 임의의 $n$-정점 트리의 레이저 복제본을 찾는 데까지 확장할 수 있는가?

주요 결과

• 논문은 모든 적절한 간선 색칠이 적용된 $K_n$에서 $10^{-6}n$ 개의 간선-불변 동형 레이저 스패닝 트리의 하한을 확립한다.
• 이 결과는 Brualdi-Hollingsworth, Kaneko-Kano-Suzuki, 그리고 Constantine의 추측에 대해 기존의 최고 수준의 한계를 동시에 향상시킨다.
• $K_n$의 $(n-1)$-간선 색칠에 대해서는 $n/9 - 6$ 개의 간선-불변 레이저 트리가 존재함을 증명한다.
• 이 방법을 통해 차수 범위가 $0.003n$ 에서 $0.2n$ 사이인 $0.000001n$ 개의 간선-불변 레이저 스패닝 스파이더를 구성할 수 있다.
• 저자들은 결과가 $9$-유계 색칠로는 확장되지 않음을 보이며, 이러한 색칠은 반경 $2$인 스패닝 레이저 트리 하나마저 존재하지 않을 수 있음을 보여준다.
• Balogh, Liu, 그리고 Montgomery의 최근 결과는 $\epsilon n$ 개의 간선-불변 스패닝 레이저 트리의 존재를 확인하여, 추측들의 점근적 타당성을 뒷받침한다.