스콧 추측의 긍정적 사례 완전 이분 그래프와 두 인접 정점이 추가된 경우

초록

본 논문은 스콧(1997)의 “유도 부분분할이 없는 그래프는 χ‑bounded”라는 추측에 대해, 완전 이분 그래프에 같은 파티션에 속한 두 정점에만 연결된 추가 정점이 붙은 형태 (P_{a,b}) (특히 (a=b))에 대해 추측이 성립함을 증명한다. 이를 통해 K₄의 두 서로 다른 변을 각각 한 번씩 분할한 그래프에 대한 특수 경우도 포함한다. 핵심은 큰 완전 이분 부분그래프를 템플릿으로 확장하고, 남은 정점들의 연결 방식을 정밀히 분석해 작은 절단집합을 찾아내어 색칠 수 있는 상수를 얻는 것이다.

상세 분석

논문은 먼저 스콧 추측의 배경을 정리하고, 기존에 알려진 반례와 부분적인 긍정 결과들을 소개한다. 핵심 대상 그래프는 (P_{a,b}) 로 정의되는데, 이는 두 독립 집합 (U)와 (W) (크기 각각 (a+2)와(b+2))와, (W)의 두 정점에만 연결된 추가 정점 (v) 로 구성된다. 특히 (a=b)인 경우는 완전 이분 그래프에 같은 파티션에 속한 두 정점에만 연결된 정점 하나가 붙은 형태이며, (P_{2,1}) 은 K₄의 두 변을 각각 한 번씩 분할한 그래프와 동형이다.

증명 전략은 “템플릿” 기법이다. 먼저 평균 차수가 충분히 큰 그래프는 정리 1(Kühn‑Osthus) 혹은 정리 2(Bourneuf et al.)에 의해 큰 완전 이분 그래프 (K_{s,s}) 를 포함하거나, 목표 그래프 (P_{a,a}) 의 유도 부분분할을 포함한다는 사실을 이용한다. 평균 차수가 낮은 경우에는 차수가 제한된 그래프가 되므로 색칠이 쉬워진다. 평균 차수가 높아 (K_{s,s}) 가 존재하면, 그 양쪽 파티션을 각각 여러 개의 독립 집합으로 나누어 완전 (r)-파트ite 템플릿 (X=(X_1,\dots,X_r)) 을 만든다. 각 파트의 크기는 최소 (a+1) 로 잡아, 이후 남은 정점들의 연결 패턴을 정리한 Lemma 1‑3을 적용한다.

특히 Lemma 2는 템플릿 외부의 정점이 어느 파트에 비친 연결을 가질 수 있는지를 제한하고, Lemma 3은 템플릿에 충분히 많은 “(a)-disconnected” 정점이 존재하면 템플릿을 한 파트 더 확장할 수 있음을 보인다. 이를 통해 템플릿이 최대가 되도록 선택하면, 남은 정점 집합 (Z) 의 크기가 일정 상수 이하임을 얻는다.

그 다음, 남은 정점을 세 종류(A, C, M)로 분류한다. A는 모든 파트에 1‑connected인 정점, C는 정확히 하나의 파트에 많은 비인접 정점을 갖는 정점, M은 두 파트 이상에 1‑connected이면서 다른 파트에 (a-1)‑disconnected인 정점이다. 경우 분석을 통해 A가 비어 있으면 템플릿 전체가 지배집합이 되므로 ((1+\tau)(a+1)\omega(G)) 색으로 색칠 가능함을 보인다. A가 존재하면, 각 연결 성분을 작은 절단집합(크기 ≤ (R(\omega,f)(f+1)a\omega)) 으로 분리하고, Nguyen 정리(정리 3)를 이용해 그 성분 자체가 높은 연결도와 색수를 갖는 경우는 이미 반증되므로 전체 그래프는 제한된 색수로 색칠될 수 있음을 증명한다.

주요 결과인 정리 5는 모든 (a\ge2) 에 대해 (\mathcal C_a=) IS (P_{a,a})-free 그래프 클래스가 (\chi)-bounded 임을 보이며, 구체적인 바인딩 함수는 정리 6에 제시된 복합식으로 주어진다. 이 식은 평균 차수 상수 (d(P_{a,a},s)), 라마 함수 (R(p,q)), 그리고 최대 클리크 수 (\omega(G)) 에 의존한다. 특수 경우 (a=2) 로 두 변을 각각 한 번씩 분할한 K₄(즉 (K_{4}^{++}))에 적용하면, 스콧 추측이 해당 그래프에 대해 성립함을 즉시 얻는다.

결과적으로, 본 논문은 스콧 추측이 완전 이분 그래프에 작은 “첨가 정점”을 더한 경우에도 유지된다는 새로운 양상을 제시하고, 템플릿 기반의 구조적 분석과 고연결성 정리를 결합한 방법론을 제공한다. 이는 앞으로 다른 복합적인 그래프 패밀리의 χ‑boundedness를 탐구하는 데 유용한 틀을 제공할 것으로 기대된다.