[논문 리뷰] Spanning embeddings of arrangeable graphs with sublinear bandwidth

Julia Böttcher, Anusch Taraz외 1명|arXiv (Cornell University)|2013. 05. 09.

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

한 줄 요약

이 논문은 최대 차수 $\sqrt{n}/\log n$ 이하인 $a$-arrangeable 그래프로 밴드폭 정리(Bandwidth Theorem)를 일반화하며, 최소 차수가 $\left(\frac{r-1}{r} + \gamma\right)n$인 조밀한 그래프가 이러한 그래프의 스팸닝 복사본을 포함함을 증명한다. 주요 기여는 유계 차수 그래프를 넘어서는 임bedding 결과를 새로운 형태의 블로우업 렘마(variant)를 통해 가능하게 하여, 선형 라미지 수를 갖는 평면 및 표면에 삽입 가능한 그래프에의 응용을 가능하게 한다.

ABSTRACT

The Bandwidth Theorem of Böttcher, Schacht and Taraz [Mathematische Annalen 343 (1), 175-205] gives minimum degree conditions for the containment of spanning graphs H with small bandwidth and bounded maximum degree. We generalise this result to a-arrangeable graphs H with Δ(H)

연구 동기 및 목표

• 유계 차수 조건을 $a$-arrangeability로 대체함으로써, 최대 차수가 유계가 아닌 그래프로 밴드폭 정리를 확장하는 것.
• 밴드폭이 $\leq \beta n$이고 $\Delta(H) \leq \sqrt{n}/\log n$인 $a$-arrangeable 그래프 $H$에 대해, 스팬닝 복사본이 존재하기 위한 호스트 그래프 $G$의 충분한 최소 차수 조건을 설정하는 것.
• arrangeable 그래프의 구조적 성질을 활용하여, 평면 그래프 및 옹호 표면에 삽입 가능한 그래프를 포함한 더 넓은 그래프 클래스로 임베딩 결과를 일반화하는 것.
• 이미지 집합의 엣지 수가 적은 경우에도 초정규성(super-regularity)을 요구하지 않고 $\varepsilon$-정규 쌍에 임베딩할 수 있도록 개선된 블로우업 렘마(variant)를 개발하고 적용하는 것.

제안 방법

• 이미지 제약 조건이 흐트러진 경우에도 $\varepsilon$-정규 쌍에 임베딩이 가능한, arrangeable 그래프를 위한 블로우업 렘마의 새로운 변형을 사용한다.
• 호스트 그래프 $G$를 $\varepsilon$-정규 쌍을 갖는 클러스터로 분할하기 위해 정규성 렘마(Regularity Lemma)를 적용하여 감소 그래프 $R$를 구성한다.
• a-arrangeability를 활용하여 이웃의 겹침을 제어함으로써, 목표 그래프 $H$에서 유한 차수의 부분 그래프의 블로우업으로의 호모모르피즘을 구성한다.
• 각 클러스터의 이미지가 $G$의 클러스터 내에 맞도록 보장하기 위해 $\sqrt{n}/\log n$ 차수 제약과 $a$-arrangeability를 활용하여 의존성을 제한한다.
• 정점 순서의 구조를 활용하여 정점들을 순차적으로 임베딩함으로써, 정규성과 충돌을 제어하는 이웃 제약 조건을 유지한다.
• Allen, Brightwell, 및 Skokan의 기법을 활용하여, 거의 모든 평면 그래프의 라미지 수가 $12|H|$ 이하임을 증명한다.

실험 결과

연구 질문

• RQ1 최대 차수가 무한대일 수 있는 그래프에 대해, $a$-arrangeable 이고 밴드폭이 $\leq \beta n$인 경우 밴드폭 정리를 확장할 수 있는가?
• RQ2 호스트 그래프 $G$에 대해 어떤 최소 차수 조건이 $\Delta(H) \leq \sqrt{n}/\log n$인 $a$-arrangeable 그래프 $H$의 스팬닝 복사본 존재를 보장하는가?
• RQ3 거의 모든 $n$개 정점으로 구성된 평면 그래프는 라미지 수가 $12n$ 이하인가?
• RQ4 이미지 집합의 엣지 수가 적은 경우에도 초정규성을 요구하지 않고 $\varepsilon$-정규 쌍에 임베딩이 가능한가?
• RQ5 $\sqrt{n}/\log n$ 최대 차수 제약이 주요 정리에서 최적인가, 아니면 $o(n/\log n)$으로 개선될 수 있는가?

주요 결과

• 모든 $r, a \in \mathbb{N}$ 및 $\gamma > 0$에 대해, $\beta > 0$ 및 $n_0 \in \mathbb{N}$이 존재하여, $\delta(G) \geq \left(\frac{r-1}{r} + \gamma\right)n$인 $n$-정점 그래프 $G$는 $\Delta(H) \leq \sqrt{n}/\log n$ 이고 밴드폭이 $\leq \beta n$인 $r$-색칠 가능하고 $a$-arrangeable인 $n$-정점 그래프 $H$의 사본을 포함한다.
• 이 결과는 최소 차수가 $\left(\frac{3}{4} + \gamma\right)n$ 이상인 충분히 큰 그래프가 $n$개 정점으로 구성된 모든 평면 그래프를 부분그래프로 포함함을 시사한다.
• 幾乎 모든 평면 그래프 $H$는 라미지 수가 $12|H|$ 이하이며, 이는 주요 정리의 증명 기법을 통해 입증된다.
• 이 논문은 이미지 집합이 작을 경우에도 $\varepsilon$-정규 쌍에 임베딩이 가능한 새로운 $a$-arrangeable 그래프를 위한 블로우업 렘마 변형을 확립하여, 이전 버전의 핵심 한계를 극복한다.
• $\sqrt{n}/\log n$ 최대 차수 제약은 증명 방법에서 유래되었으며, 최적일 수는 없으며, 특히 트리의 경우 $o(n/\log n)$로도 충분할 수 있다.
• 결과는 고정된 기하수를 갖는 옹호 표면에 삽입 가능한 그래프로도 확장되며, 유사한 임베딩 및 라미지 수 제약 조건이 성립한다.