[논문 리뷰] Ringel's tree packing conjecture in quasirandom graphs

Peter Keevash, Katherine Staden|arXiv (Cornell University)|2020. 04. 21.

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

한 줄 요약

이 논문은 고체적 그래프에서 임의의 고정된 트리가 $ r $ 개의 간선을 가진 $ n $ 개의 정점과 $ rn $ 개의 간선을 가진 경우, 그 트리의 간선이 서로 겹치지 않는 $ n $ 개의 복사본으로 분해될 수 있음을 보여주는 링겔의 트리 패킹 추측의 일반화된 형태를 증명한다. 결과적으로 이는 큰 $ n $ 에서 링겔의 원래 추측을 확립하며, 분할, 간선 색칠, 초그래프 매칭 기법을 조합한 새로운 임bedding 알고리즘을 통해 고체적 환경에서 근사적이고 정확한 분해를 달성한다.

ABSTRACT

We prove that any quasirandom graph with $n$ vertices and $rn$ edges can be decomposed into $n$ copies of any fixed tree with $r$ edges. The case of decomposing a complete graph establishes a conjecture of Ringel from 1963.

연구 동기 및 목표

• 고체적 그래프에서 링겔의 트리 패킹 추측의 일반화된 형태를 해결하기 위해.
• 크기가 $ n $ 인 임의의 트리가 $ 2n+1 $ 개의 간선이 겹치지 않는 복사본으로 분해될 수 있다는 링겔의 원래 추측을 큰 $ n $ 에서 확립하기 위해.
• 링겔의 추측의 범위를 넘어서는 트리 패킹 문제에 적용 가능한 융통성 있는 임베딩 프레임워크를 개발하기 위해.
• 확률론적 및 설계 이론적 방법의 적용 범위를 고체적 호스트 그래프에서 큰 트리의 분해 문제로 확장하기 위해.

제안 방법

• 공통 이웃 수를 기반으로 한 고체성 정의를 사용한다: 그래프가 모든 크기가 $ s $ 이하인 정점 집합에 대해 $ (1\pm\theta)d(G)^{|S|}n $ 개의 공통 이웃을 가진다면, 이 그래프는 $ (\theta,s) $-typical이라고 한다.
• 고차수 정점을 분할 및 간선 색칠 원리를 통해 할당하는 재귀적 임베딩 알고리즘을 사용하여 구조적 불균형을 관리한다.
• 보조 초그래프에서의 매칭 시퀀스를 사용하여 점진적으로 원하는 트리 패킹을 구성하는 근사적 분해를 위한 새로운 방법을 적용한다.
• 확률론적 농도 경계와 체르노프 유사 부등식을 통합하여 이동된 간선의 수를 제어하고, 고도의 확률로 유한한 차수 편차를 보장한다.
• 특히 키프샤 [18], 몬트고메리 등 [26,27], 앨런 등 [5] 의 이전 연구에서 발전된 디자인 분해 및 하모닉 분해 기법을 적응 및 확장한다.
• 통제된 간선 이동을 포함하는 동적 이동 기반 과정을 활용하며, 특정 정점에서의 과도한 간선 이동(불량 사건)은 $ (\mu,1) $-지배성과 농도 경계를 통해 미미한 확률로 발생함을 보여준다.

실험 결과

연구 질문

• RQ1 링겔의 트리 패킹 추측은 완전 그래프 외에 고체적 그래프로도 일반화될 수 있는가?
• RQ2 어떤 구조적 조건이 고정된 크기의 트리에 대해 간선이 서로 겹치지 않는 복사본으로 분해 가능한 호스트 그래프를 허용하는가?
• RQ3 확률론적 및 설계 이론적 임베딩 방법은 최대 차수가 유bound되지 않은 큰 트리를 다룰 수 있도록 어떻게 적응시킬 수 있는가?
• RQ4 표준 농도 경계가 고차수 정점으로 인해 실패할 경우, 정확한 분해를 달성하기 위해 어떤 새로운 알고리즘 기법이 필요한가?
• RQ5 고체적 그래프에 대해 개발된 프레임워크는 고체적 그래프를 넘어서는 더 넓은 트리 패킹 문제, 예를 들어 가르파스의 추측을 해결하는 데 일반화될 수 있는가?

주요 결과

• 논문은 $ n $ 개의 정점과 조밀도 $ p $, $ rn $ 개의 간선을 가진 임의의 $ (\xi,s) $-typical 그래프 $ G $ 가 임의의 고정된 트리(크기가 $ r $ 개의 간선)의 간선이 서로 겹치지 않는 $ n $ 개의 복사본으로 분해될 수 있음을 증명한다.
• 특히 $ p=1 $ 인 경우, 이 결과는 큰 $ n $ 에서 링겔의 추측을 확립하며, $ K_{2n+1} $ 가 임의의 $ n $ 개의 간선을 가진 트리의 $ 2n+1 $ 개의 간선이 겹치지 않는 복사본으로 분해됨을 확인한다.
• 증명은 랜덤 임베딩 방법에서 흔히 나타나는 $ O(n/\log n) $ 최대 차수 장벽을 피하기 위해 구조적 분할과 간선 색칠을 사용하는 새로운 임베딩 알고리즘에 의존한다.
• 저자는 어떤 정점에서도 이동된 간선의 수가 고도의 확률로 $ p_{+}^{.7}n $ 이하로 제한됨을 보여주며, 이는 임베딩 과정의 안정성을 보장한다.
• 초그래프 매칭을 통한 근사적 분해와 정점 차수 불균형의 철저한 제어를 조합함으로써 정확한 분해를 달성한다.
• 이 프레임워크는 가르파스의 추측(예: $ K_n $ 이 크기가 $ 1 $ 에서 $ n $ 까지인 트리들로 분해될 수 있는지)과 같은 다른 트리 패킹 문제에도 적용 가능할 가능성을 암시할 정도로 충분히 일반화되어 있다.