최대 차수 조건 아래에서 강화된 안드라스파이 에르되시 쇼스 정리

초록

이 논문은 그래프 이론의 고전인 안드라스파이-에르되시-쇼스 정리를 강화합니다. K_{r+1}-free 그래프가 r-partite가 되기 위한 조건을, 기존의 최소 차수 조건에서 더 나아가 최대 차수(Δ(G))까지 고려한 새로운 하한을 제시합니다. 제시된 조건 δ(G) > min{(3r-4)/(3r-2)n - Δ(G)/(3r-2), n - (Δ(G)+1)/(r-1)}은 모든 가능한 Δ(G) 값에 대해 tight하며, 이 정리를 증명하는 과정이 원래 정리 자체에 의존하지 않아 고전 정리에 대한 새로운 대체 증명을 제공합니다. 또한, 큰 홀수 길이의 사이클을 가지지 않는 그래프에 대해서도 유사한 tight한 결과를 얻습니다.

상세 분석

이 논문의 핵심 기술적 진전은 그래프의 이분성 또는 r-분할성을 보장하는 조건에 ‘최대 차수(Δ(G))‘라는 새로운 변수를 공식적으로 도입했다는 점에 있습니다. 기존 안드라스파이-에르되시-쇼스 정리는 최소 차수(δ(G))가 (3r-4)/(3r-1)n을 초과하면 K_{r+1}-free 그래프가 r-partite임을 보였습니다. 본 논문은 이 단일 변수 조건을, 최대 차수 Δ(G)에 따라 두 가지 경쟁적인 하한(min 함수 내의 두 항)으로 분화시켜 일반화합니다.

첫 번째 항인 (3r-4)/(3r-2)n - Δ(G)/(3r-2)는 Δ(G)가 상대적으로 작을 때(정확히는 Δ(G) < (2r-2)/(2r-1)n일 때) 활성화됩니다. 이 조건은 원래 정리의 형태를 유지하되, 분모가 3r-1에서 3r-2로 미세 조정되고 Δ(G)에 선형적으로 의존하는 항이 추가된 형태입니다. Δ(G)가 커질수록 요구되는 최소 차수 δ(G)의 문턱값이 낮아집니다. 이는 최대 차수 정점의 존재가 그래프 구조에 미치는 영향을 정량화한 것으로 해석할 수 있습니다.

두 번째 항인 n - (Δ(G)+1)/(r-1)은 Δ(G)가 충분히 클 때 활성화됩니다. 이 조건은 매우 직관적인데, 최대 차수 정점 u를 고정했을 때, 그 이웃 집합 X = N(u) 위의 유도 부분 그래프 H = G