[논문 리뷰] Clique immersions in graphs of independence number two with certain forbidden subgraphs

Daniel A. Quiroz|arXiv (Cornell University)|2020. 04. 11.

Advanced Graph Theory Research참고 문헌 29인용 수 9

한 줄 요약

이 논문은 독립수 2 이하인 모든 그래프 중에서 α(H) ≤ 2인 4정점 그래프 H의 인접하지 않은 부분그래프를 가지지 않는 그래프가 Lescure-Meyniel 추측을 만족함을 증명한다. 이 추측은 이러한 그래프가 χ(G) 크기의 클리크 임mersions를 포함한다고 주장한다. 주요 결과는 α(G) = 2 이하이고 C4를 포함하지 않는 그래프에 대해 추측을 증명하며, 더 일반적으로 |V(H)| ≤ 4 이고 α(H) ≤ 2인 H-자유 그래프에 대해서도 성립한다.

ABSTRACT

The Lescure-Meyniel conjecture is the analogue of Hadwiger's conjecture for the immersion order. It states that every graph $G$ contains the complete graph $K_{\chi(G)}$ as an immersion, and like its minor-order counterpart it is open even for graphs with independence number 2. We show that every graph $G$ with independence number $\alpha(G)\ge 2$ and no hole of length between $4$ and $2\alpha(G)$ satisfies this conjecture. In particular, every $C_4$-free graph $G$ with $\alpha(G)= 2$ satisfies the Lescure-Meyniel conjecture. We give another generalisation of this corollary, as follows. Let $G$ and $H$ be graphs with independence number at most 2, such that $|V(H)|\le 4$. If $G$ is $H$-free, then $G$ satisfies the Lescure-Meyniel conjecture.

연구 동기 및 목표

• 특정 금지 부분그래프 조건 하에 독립수 2인 그래프에 대한 Lescure-Meyniel 추측을 해결하기 위해.
• 유계 독립수를 가진 그래프에서 클리크 임머전에 대한 부분 결과를 확장하기 위해.
• 최소 반례의 구조적 통찰을 제공하기 위해, 추측에 대한 최소 반례에서 피할 수 없는 인접한 부분그래프를 식별하기 위해.
• C4-자유 및 K4-자유 그래프에 대한 기존 결과를 임머전 추측의 맥락에서 일반화하기 위해.

제안 방법

• α(G) ≤ 2 이고 최대 4개 정점을 가진 인접하지 않은 부분그래프 H를 가진 그래프를 분석하기 위해 구조적 그래프 이론을 사용한다.
• K4-자유 그래프에서 α(G) ≤ 2인 경우의 순서를 유계하기 위해 레이지-이론적 접근을 적용한다.
• 작은 그래프에 대해 n ≤ 8인 정점 수에 대한 귀납법과 케이스 분석을 시행하여 추측을 검증한다.
• α(G) ≤ 2인 그래프에서는 임의의 정점의 비이웃 집합이 클리크를 이룬다는 성질을 활용한다.
• 클리크 임머전을 위한 간선 분리 경로를 구성하기 위해 이웃 구조와 연결성을 분석한다.
• 모순과 최소성 원리를 활용하여, 임의의 최소 반례는 α(H) ≤ 2인 모든 4정점 그래프 H를 인접한 부분그래프로 가져야 한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 α(G) = 2 이고 C4를 포함하지 않는 모든 그래프 G는 Lescure-Meyniel 추측을 만족하는가?
• RQ2 α(G) ≤ 2 이고 α(H) ≤ 2인 4정점 그래프 H에 대해 H-자유인 그래프 G에 대해 Lescure-Meyniel 추측을 검증할 수 있는가?
• RQ3 α(G) ≤ 2에 대해 추측의 최소 반례가 가져야 할 구조적 성질은 무엇인가?
• RQ4 α(H) ≤ 2인 4정점 그래프 H에 대해 G − H에서의 임머전을 확장함으로써 큰 클리크의 임머전을 구성할 수 있는가?
• RQ5 이러한 그래프에서 큰 클리크 임머전의 존재를 방해하는 통일된 구조적 장애물이 존재하는가?

주요 결과

• C4를 포함하지 않고 α(G) = 2인 모든 그래프 G는 Lescure-Meyniel 추측을 만족한다. 즉, G는 Kχ(G)의 임머전을 포함한다.
• α(G) ≤ 2 이고 α(H) ≤ 2인 7개의 4정점 그래프 H 중 어느 하나의 인접한 부분그래프도 가지지 않는 모든 그래프 G는 Lescure-Meyniel 추측을 만족한다.
• K4를 포함하지 않고 α(G) ≤ 2인 그래프에 대해서는 추측이 성립하며, 실제로 G는 크기 ⌈n/2⌉의 클리크 부분그래프를 포함한다.
• K−4를 포함하지 않고 α(G) ≤ 2인 그래프에 대해서는 G가 크기 ⌈n/2⌉의 클리크 부분그래프를 포함하며, 이는 임머전 추측을 함의한다.
• α(G) ≤ 2에 대해 추측의 최소 반례는 α(H) ≤ 2인 모든 4정점 그래프 H를 인접한 부분그래프로 가져야 한다.
• 증명은 H-자유인 그래프 G는 최소 반례가 될 수 없음을 보여주며, 이는 이러한 클래스에 대해 추측을 확인함에 있다.