[논문 리뷰] Embedding degenerate graphs of small bandwidth

Choongbum Lee|arXiv (Cornell University)|2015. 01. 21.

Advanced Graph Theory Research참고 문헌 27인용 수 3

한 줄 요약

이 논문은 밴드폭이 작은 비가역 그래프에서 거의 전체를 차지하는 부분그래프를 위한 새로운 임bedding 도구를 개발한다. 이는 블로우업 보조정리와 밴드폭 정리가 비가역 그래프로 확장된 것으로, 비가역 그래프에 대한 버르와 에르되시의 추측에 대한 진전을 지원하는 강력한 거의 전체 임베딩 결과를 제공한다.

ABSTRACT

We develop a tool for embedding almost spanning degenerate graphs of small bandwidth. As an application, we extend the blow-up lemma to degenerate graphs of small bandwidth, the bandwidth theorem to degenerate graphs, and make progress on a conjecture of Burr and Erdős on Ramsey number of degenerate graphs.

연구 동기 및 목표

• 작은 밴드폭을 가진 거의 전체 비가역 그래프를 위한 일반적인 임베딩 프레임워크를 개발하기 위해.
• 밴드폭 정리와 블로우업 보조정리를 비가역 그래프의 범주로 확장하기 위해.
• $d$-비가역 그래프에 대한 선형 렘지 수의 버르와 에르되시의 추측에 진전을 이루기 위해.
• 기존의 임베딩 도구의 한계를 극복하기 위해 비가역성과 밴드폭을 동시에 다루기 위해.
• 희박한 그래프 가족에서 제약 조건이 있는 임베딩 결과를 위한 기반을 마련하기 위해.

제안 방법

• 호스트 그래프의 정규 분할에서 $(\varepsilon, \delta)$-밀도 쌍을 기반으로 하는 새로운 임베딩 전략을 도입한다.
• 밀도와 비가역성을 제어하는 정점 집합을 반복적으로 선택함으로써 $H$를 $G$에 확률적 구성으로 임베딩한다.
• 로컬 레이블링을 관리하고 임베딩 과정에서 이웃의 성장을 통제하기 위해 이진 분해를 사용한다.
• 정규성과 밀도 조건을 갖춘 감소 그래프 프레임워크를 활용하여 목표 그래프의 구조를 시뮬레이션한다.
• 정규성 보조정리와 강력한 렘지 도구를 활용하여 두 색으로 칠해진 완전 그래프에서 단색 복사본을 찾는다.
• 로컬 레이블링을 통해 $d$-비가역 그래프에 밴드폭 제약 조건을 적용하기 위해 배경 임베딩 보조정리를 적응한다.

실험 결과

연구 질문

• RQ1 밴드폭이 작은 비가역 그래프로 블로우업 보조정리가 확장될 수 있는가?
• RQ2 밴드폭 정리는 비가역 그래프에 대해서도 성립하는가, 즉 유계도 그래프 뿐만이 아니라?
• RQ3 $d$-비가역 그래프의 렘지 수가 정점 수에 대해 선형적으로 유계일 수 있는가?
• RQ4 밴드폭이 작은 비가역 그래프에서 거의 전체 부분그래프를 위한 강력한 임베딩 방법이 존재하는가?
• RQ5 밴드폭 제약 조건이 있는 비가역 그래프에 대해 제약 조건이 있는 임베딩 결과를 달성할 수 있는가?

주요 결과

• $d$-비가역 그래프에서 밴드폭이 $\beta \log_{2}(4\beta)$ 이하인 경우, 거의 전체 임베딩 결과가 확립된다. 여기서 $\beta$ 는 $d$ 에 따라 결정된다.
• 모든 $d$-비가역 $m$-정점 그래프 $H$에 대해, 렘지 수가 $r(H) \leq (2r+5)m$ 를 만족함을 증명한다. 여기서 $r$ 은 비가역성과 관련된 값이다.
• 임베딩 전략은 밴드폭과 비가역성이 유계일 경우, 최소 차수 조건과 정규성을 갖춘 임의의 호스트 그래프 $G$ 에서 $H$ 를 임베딩할 수 있음을 보장한다.
• 제약 조건이 있는 블로우업 보조정리에 의존하지 않도록 새로운 배경 임베딩 보조정리를 개발함으로써 이를 피한다.
• 이 결과는 $d$-비가역 그래프의 렘지 수에 대해 기존의 최고 상한을 향상시켜 버르-에르되시 추측에 가까워진다.
• 증명은 $\varepsilon$-정규 쌍을 갖는 정규 분할과 감소 그래프에서 $P_k^r$-유사한 구조의 단색 복사본을 기반으로 한다.