[논문 리뷰] Restricted frame graphs and a conjecture of Scott

Jérémie Chalopin, Louis Esperet외 2명|arXiv (Cornell University)|2014. 06. 02.

Advanced Graph Theory Research참고 문헌 8인용 수 2

한 줄 요약

이 논문은 고정된 그래프 H의 분할을 포함하지 않는 유도 부분그래프로서의 χ-유계성에 대한 Scott의 추측을 조사한다. 삼각형이 없는 선분 교차 그래프에서 색수의 상한이 없는 구성 분석을 통해 저자들은 새로운 반례를 규명한다: 모든 사이클에 포함되지 않는 정점이 없는 2-연결 다중그래프의 ≥2-분할은 반례이다. 또한, K₄의 모든 간선을 최소한 한 번 이상 분할한 모든 그래프에 대해 Scott의 추측이 실패함을 보여준다.

ABSTRACT

Scott proved in 1997 that for any tree $T$, every graph with bounded clique number which does not contain any subdivision of $T$ as an induced subgraph has bounded chromatic number. Scott also conjectured that the same should hold if $T$ is replaced by any graph $H$. Pawlik et al. recently constructed a family of triangle-free intersection graphs of segments in the plane with unbounded chromatic number (thereby disproving an old conjecture of Erd\H{o}s). This shows that Scott's conjecture is false whenever $H$ is obtained from a non-planar graph by subdividing every edge at least once. It remains interesting to decide which graphs $H$ satisfy Scott's conjecture and which do not. In this paper, we study the construction of Pawlik et al. in more details to extract more counterexamples to Scott's conjecture. For example, we show that Scott's conjecture is false for any graph obtained from $K_4$ by subdividing every edge at least once. We also prove that if $G$ is a 2-connected multigraph with no vertex contained in every cycle of $G$, then any graph obtained from $G$ by subdividing every edge at least twice is a counterexample to Scott's conjecture.

연구 동기 및 목표

• 모든 H의 분할을 유도 부분그래프로 포함하지 않을 때 χ-유계 클래스를 생성하지 못하는 그래프 H를 특정하는 것.
• 비평면 그래프의 ≥1-분할을 초월하여 기존의 Scott 추측 반례를 확장하는 것.
• Pawlik 등이 제시한 삼각형이 없는 선분 교차 그래프 구성에서 H의 분할이 유도 부분그래프로 나타나지 않는 그래프의 집합을 특성화하는 것.
• 모든 사이클에 포함되지 않는 정점이 없는 2-연결 다중그래프의 ≥2-분할이 Scott의 추측에 대한 반례임을 증명하는 것.
• 제한된 프레임 그래프와 H의 구조적 성질 간의 연결 고리 수립

제안 방법

• 색수의 상한이 없는 평면 상의 선분 교차 그래프를 구성한 Pawlik 등의 구성 분석.
• 이 그래프들이 제한된 프레임 그래프이기도 하다는 사실 활용 — 평면 상의 특정 연속형 도형의 교차 그래프로 정의됨.
• H의 분할이 제한된 프레임 그래프로 표현될 수 없음을 특성화함으로써, 이러한 H가 Scott의 추측에 대한 반례가 됨을 증명.
• 2-연결 성분으로 분해 기반으로, 다중그래프 G가 ≥2-분할을 갖는지 여부를 판단하기 위한 재귀적 알고리즘 적용.
• 구조적 그래프 이론 활용: 천장형, 피드백 정점, 컷 정점 식별을 통해 ≥2-분할이 제한된 프레임 그래프가 될 수 없는 조건 규명.
• Walczak의 수정된 구성에서 보인 바와 같이, 제한된 프레임 그래프가 쌍둥이 추가에 대해 안정적이라는 점을 활용

실험 결과

연구 질문

• RQ1 어떤 그래프 H에 대해, 모든 H의 분할을 유도 부분그래프로 포함하지 않는 그래프의 집합이 χ-유계가 아닐까?
• RQ2 Pawlik 등이 제시한 구성은 비평면 그래프의 ≥1-분할을 초월하여 Scott의 추측에 대한 더 큰 반례 집합을 생성할 수 있는가?
• RQ3 모든 ≥2-분할이 Scott의 추측에 대한 반례가 되는 다중그래프 G는 어떤가?
• RQ4 다중그래프 G에 대해 어떤 구조적 조건이 ≥2-분할이 제한된 프레임 그래프가 되지 못하게 하는가?
• RQ5 선분 교차 구성에서 H의 분할이 유도 부분그래프로 나타나지 않는 그래프 H에 대한 완전한 특성화가 존재하는가?

주요 결과

• K₄의 모든 간선을 최소한 한 번 이상 분할한 그래프는 Scott의 추측에 대해 잘못됨이 입증됨.
• 모든 사이클에 포함되지 않는 정점이 없는 2-연결 다중그래프의 ≥2-분할은 Scott의 추측에 대한 반례이다.
• 제한된 프레임 그래프의 집합은 쌍둥이 추가에 대해 닫혀 있으며, 이는 원래 Pawlik 등 구성에서의 반례를 Walczak의 수정된 구성으로 확장할 수 있음을 의미한다.
• 2-연결 성분과 피드백 정점 기반으로, 다중그래프 G가 ≥2-분할을 갖는지 여부를 완전히 알고리즘적으로 특성화함.
• Pawlik 등이 제시한 구성은 색수의 상한이 없고, 선형 크기의 안정집합도 없는 그래프를 생성하므로, 이러한 가족에서는 분수 색수 역시 상한이 없음을 의미한다.
• 기존에 알려진 것보다 훨씬 더 큰 H의 가족에 대해, 주어진 H의 모든 분할을 유도 부분그래프로 포함하지 않는 그래프의 집합이 χ-유계가 아니라는 것이 입증되었으며, 이는 모든 사이클에 포함되지 않는 정점이 없는 2-연결 다중그래프의 ≥2-분할을 포함한다.