[논문 리뷰] Existence of spanning $\mathcal{F}$-free subgraphs with large minimum degree

Guillem Perarnau, Bruce Reed|arXiv (Cornell University)|2014. 04. 30.

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

한 줄 요약

이 논문은 $d$-정규 그래프에서 최소 차수를 크게 유지하는 $F$-free 부분그래프의 존재성을 확립하며, 색수 2를 가진 닫힌 가족 $F$에 대해 추측 1을 증명한다—특히 이분 그래프 가족(예: 사이클과 완전 이분 그래프 포함)에 대해—새로운 局소 단사 호모모르피즘 프레임워크와 로바슈 국소 렘마를 활용한 확률적 색칠 방법을 통해.

ABSTRACT

Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs.

연구 동기 및 목표

• $d$-정규 그래프에서 최소 차수 $\nOmega(\mathrm{ex}(d,\nF)/d)$를 가진 스패닝 $\nF$-free 부분그래프의 존재성에 관한 추측 1을 해결하기 위해.
• 색수 2를 가진 가족 $\nF$로의 극한 그래프 이론의 이해를 확장하여, 비이분 가족보다 덜 이해된 문제에 대해 다루기 위해.
• 금지된 부분그래프를 피하면서도 높은 최소 차수를 유지할 수 있도록 보장하는 새로운 방법을 개발하기 위해.
• 닫힌 가족 $\nF$에 대해, 추측된 최소 차수의 하한이 점점 더 커지는 방향으로 점근적으로 성립함을 증명하기 위해.

제안 방법

• 국소 단사 호모모르피즘($\mathrm{hom}^*$)의 개념을 도입하여 $\nF$-프리의 개념을 강화하고 구조적 제어를 가능하게 하기 위해.
• 두 단계 색칠 절차를 사용: 집합 $A$의 무작위 색칠과 그 후 집합 $B$에 대한 결정적 반복 색칠, 간선 삭제를 통해 차수와 레인보우 이웃 조건을 유지하기 위해.
• 로바슈 국소 렘마를 적용하여, 충분한 희박성과 차수 제약 조건을 만족할 경우, 바람직한 색칠 및 부분그래프 성질이 양의 확률로 성립함을 보이기 위해.
• $d$-정규 그래프 $G$의 스패닝 부분그래프 $H$를 구성하여 $\delta(H) = \Omega(\delta(J))$가 되도록 하되, $J$는 $F \in \nF$의 국소 단사 사본이 없는 $\nbeta$-거의 정규 그래프임을 보장하기 위해.
• $H$의 모든 이웃이 레인보우 색으로 칠져져 있고, $H$의 간선이 $J$의 간선에 대응되도록 하여, $H$에서 $J$로의 호모모르피즘이 국소 단사가 되도록 보장하기 위해.
• $J$에 국소 단사 $F$-사본이 존재하지 않음을 이용하여, $H$ 역시 $\nF$-프리임을 결론짓기 위해.

실험 결과

연구 질문

• RQ1 색수 2를 가진 이분 그래프 가족 $\nF$에 대해 추측 1이 성립하는가, 특히 색수 2를 가진 가족에 대해 어떻게 되는가?
• RQ2 $d$-정규 그래프에서 스패닝 $\nF$-free 부분그래프의 최소 차수는 $\Omega(\mathrm{ex}(d,\nF)/d)$로 아래에서 유계일 수 있는가?
• RQ3 국소 단사 호모모르피즘 프레임워크를 사용하여 최소 차수가 높은 $\nF$-free 부분그래프를 구성할 수 있는가?
• RQ4 목표 그래프 $J$에 대해 어떤 구조적 조건이 성립하면, $J$에 국소 단사 $F$-사본이 존재하지 않음을 바탕으로, $d$-정규 그래프 $G$의 부분그래프 $H$에 대해서도 동일한 성질이 성립하는가?
• RQ5 확률적 방법, 특히 로바슈 국소 렘마를 어떻게 수정하여 반복적 부분그래프 구성 과정에서 차수와 색칠 제약 조건을 유지할 수 있는가?

주요 결과

• 정리 2는 임의의 $d$-정규 그래프 $G$에 대해, $J$가 $\nbeta$-거의 정규이면서 $\delta(J) > d^\epsilon$이고 $\mathrm{hom}^*(F,J) = 0$일 경우, $\delta(H) = \Omega(\delta(J))$이고 모든 $F \in \nF$에 대해 $\mathrm{hom}^*(F,H) = 0$인 스패닝 부분그래프 $H$가 존재함을 증명한다.
• 정리 3은 모든 닫힌 가족 $\nF$에 대해 추측 1을 확인하여, $d$-정규 그래프 $G$에서 $\delta(H) = \Omega(\mathrm{ex}(d,\nF)/d)$임을 보여준다.
• 가족 $\nF_g = \{C_3, \dots, C_{g-1}\}$에 대해 결과는 기존의 최소 차수 하한을 $\Omega(\mathrm{ex}(d,\nF_g)/d)$로 향상시켜, 상수 인자까지 일치하는 추측된 하한에 도달한다.
• 이 방법은 $\delta(H) = \Omega(\delta(J))$를 달성하며, 특정 $J$에 대해 $\delta(J)$가 $\Theta(d^{1/g})$까지 클 수 있으므로, 이는 $g$-지름-무자리 부분그래프에 대해 $\delta(H) = \Omega(d^{1/g})$를 유도한다.
• 구성 과정은 $H$의 이웃이 모두 레인보우 색으로 칠져져 있고, $H$의 간선 색상이 $J$의 간선에 대응되도록 하여 국소 단사 구조를 유지한다.
• 증명은 간선 삭제를 동반한 반복 색칠과 로바슈 국소 렘마에 기반하며, $\alpha$, $\beta$, $\epsilon$, $d$에 대한 제시된 조건을 만족할 경우, 필요한 성질이 양의 확률로 성립함을 보여준다.