[논문 리뷰] On triangles in K_r-minor free graphs

Boris Albar, Daniel Gonçalves|arXiv (Cornell University)|2013. 04. 19.

Advanced Graph Theory Research참고 문헌 14인용 수 12

한 줄 요약

이 논문은 $K_r$-minor을 가질 수 있는 충분조건을 $K_r$-minor이 없는 그래프에서 간선당 삼각형 수를 분석하여 수립한다. 만약 차수 $2r-5$ 이하인 정점에 인접한 간선이 모두 최대 $r-3$개의 삼각형에 속한다면, 그 그래프는 $K_r$-minor을 포함한다; 이는 Nevo의 $K_7$-minor이 없는 그래프에 대한 추측을 해결하고, $K_8$-minor이 없는 그래프로 구조적 결과를 확장하며, 그래프 색칠 가능성과 스트레스 자유성 문제에 응용된다.

ABSTRACT

We study graphs where each edge adjacent to a vertex of small degree (7 and 9, respectively) belongs to many triangles (4 and 5, respectively) and show that these graphs contain a complete graph (K_6 and K_7, respectively) as a minor. The second case settles a problem of Nevo (Nevo, 2007). Morevover if each edge of a graph belongs to 6 triangles then the graph contains a K_8-minor or contains K_{2,2,2,2,2} as an induced subgraph. We then show applications of these structural properties to stress freeness and coloration of graphs. In particular, motivated by Hadwiger's conjecture, we prove that every K_7-minor free graph is 8-colorable and every K_8-minor free graph is 10-colorable.

연구 동기 및 목표

• 모든 $K_7$-minor이 없는 그래프가 차수 9 이하인 정점에 인접한 간선 중 최대 4개의 삼각형에 속하는 간선을 포함한다는 Nevo의 추측을 해결하는 것.
• $r=7$를 초월하여 $K_r$-minor이 없는 그래프에서 삼각형 밀도에 관한 구조적 결과를 확장하는 것, 특히 표준 삼각형 경계가 $K_{2,2,2,2,2}$의 존재로 실패하는 $r=8$의 경우에 초점 맞추기.
• 전반적인 삼각형 대 간선 비율과 유도 부분그래프 금지 조건에 기반한 $K_k$-minor 포함에 대한 새로운 충분조건 수립.
• 구조적 발견을 그래프 색칠 가능성과 스트레스 자유성 문제에 적용하여, 특히 Hadwiger의 추측과 이중-비결정 그래프와의 관련성에서 분석하기.

제안 방법

• Mader의 정리( $K_r$-minor이 없는 그래프에서 간선 수에 대한 경계)를 이용해 이러한 그래프 내의 정점에 대한 차수 제약 조건을 유도.
• Wagner의 $K_5$-minor이 없는 그래프에 대한 특성화와 분리 기법(예: $k$-분리)을 적용하여 저차수 정점과 삼각형 수를 분석.
• 색칠 기법과 $2t$-색칠에서의 이색 경로 구성법을 사용하여, $K_{t+2}$-minor이 존재하지 않는다고 가정할 경우 모순을 이끌어내기.
• 새로운 전역 조건 도입: 그래프가 $m$개의 간선과 $\frac{k-3}{2}m$개 이상의 삼각형을 가진다면, 그 그래프는 $K_k$-minor을 포함한다( $k=8$의 경우 $K_{2,2,2,2,2}$를 포함할 수도 있음).
• 수축과 클리크 합성 연산을 사용하여 $K_8$-minor이 없는 그래프를 분석하고, 특히 $K_{2,2,2,2,2}$가 금지된 유도 부분그래프로서의 역할에 집중.
• $2t$-색칠과 이색 경로의 개념을 적용하여, 특정 색칠 제약 조건 하에서 $K_{t+2}$-minor이 존재하지 않음을 증명하고, 그로 인해 모순을 이끌어내기.

실험 결과

연구 질문

• RQ1 모든 $K_7$-minor이 없는 그래프는 차수 9 이하인 정점에 인접한 간선 중 최대 4개의 삼각형에 속하는 간선을 포함하는가?
• RQ2 $K_8$-minor 포함에 대한 삼각형 밀도 조건을 알려진 반례인 $K_{2,2,2,2,2}$를 초월해 확장할 수 있는가?
• RQ3 $K_k$-minor이 없는 그래프에서 $K_k$-minor을 보장하기 위해 필요한 간선당 최소 삼각형 수는 얼마인가?
• RQ4 $K_k$-minor이 없는 그래프에서 삼각형 밀도에 관한 이러한 구조적 결과를 매트로이드 미니처로 확장할 수 있는가, 특히 정확히 3개의 삼각형에 속하는 원소에 대해 적용 가능한가?
• RQ5 이러한 삼각형 기반 조건이, 특히 Hadwiger의 추측과 이중-비결정 그래프와 관련하여, 미니처 닫힘 그래프 가족에서 그래프 색칠 가능성과 스트레스 자유성에 어떤 영향을 미치는가?

주요 결과

• 모든 $K_7$-minor이 없는 그래프는 $8$-색칠 가능하고, 모든 $K_8$-minor이 없는 그래프는 $10$-색칠 가능하며, 이는 Hadwiger의 추측의 약화된 형태를 지지한다.
• 논문은 Nevo의 추측을 해결한다: 모든 $K_7$-minor이 없는 그래프는 차수 9 이하인 정점에 인접한 간선 중 최대 4개의 삼각형에 속하는 간선을 포함한다.
• $K_8$-minor이 없는 그래프에서 최소 차수 11일 경우, 차수 11인 정점에 인접한 간선 중 최대 5개의 삼각형에 속하는 간선이 존재한다.
• 모든 간선이 최소 6개의 삼각형에 속한다면, 그 그래프는 $K_8$-minor을 포함하거나 $K_{2,2,2,2,2}$를 유도 부분그래프로 포함한다.
• $m$개의 간선과 $\frac{k-3}{2}m$개 이상의 삼각형을 가진 그래프는 $3 \leq k \leq 7$일 경우 $K_k$-minor을 포함하고, $k=8$일 경우 $K_8$-minor 또는 $K_{2,2,2,2,2}$를 미니처로 포함한다.
• 이 논문은 $K_{2,2,2,2,2}$를 유도 부분그래프로 포함하지 않는 모든 $K_8$-minor이 없는 그래프는 최대 5개의 삼각형에 속하는 간선을 포함한다를 증명하며, 이 경우에 삼각형 밀도 조건을 확장한다.