DP‑임계 그래프의 최소 간선 수에 대한 새로운 하한

초록

본 논문은 DP‑색칠 이론에서 k‑임계 그래프의 최소 간선 수 f₍DP₎(n,k)에 대한 새로운 하한을 제시한다. k≥5, n≥k+2인 경우
f₍DP₎(n,k) > (k‑1 + 1/λ)·n/2, λ = ⌈(k²‑7)/(2k‑7)⌉⁻¹
라는 부등식을 증명함으로써 1963년 Gallai가 제시한 일반 색칠 하한보다 비대칭적으로 더 강력한 결과를 얻는다. 또한 동일한 방법을 이용해 리스트‑색칠 임계 그래프에 대한 기존 최선 하한을 약간 개선한다. 증명은 잠재력(potential) 함수와 가중치 디스차징 기법, 그리고 GDP‑포레스트 구조 분석을 핵심으로 한다.

상세 분석

DP‑색칠은 Dvořák·Postle가 도입한 일반화된 리스트‑색칠 개념으로, 각 정점에 할당된 색상 집합이 서로 다른 매칭 구조를 이루는 다중그래프 H와의 커버 (H, L) 로 모델링된다. DP‑색칠 수치 χ₍DP₎(G)는 모든 |L(v)|≥k인 커버에 대해 (H, L)‑색칠이 가능한 최소 k를 의미한다. 기존 연구에서는 DP‑색칠이 리스트‑색칠보다 강력함을 보였으며, 특히 DP‑임계 그래프는 리스트‑임계 그래프보다 더 희소할 가능성이 제기되었다.

전통적인 하한은 Dirac이 제시한 (k‑1)n/2 + (k‑3)/2 와 Gallai가 개선한 (k‑1 + (k‑3)/(k²‑3))·n/2 형태가 있다. Krivelevich, Kostochka·Stiebitz 등은 이를 점차 강화했지만, 모두 f(n,k) 즉 일반 색칠에 대한 결과에 기반했다. DP‑색칠에 대한 하한은 Bernshteyn·Kostochka가 Dirac의 (k‑1)n/2 + (k‑3)/2 를 그대로 적용했을 뿐, Gallai식 개선을 그대로 옮기지는 못했다.

본 논문의 핵심 기여는 λ = ⌈(k²‑7)/(2k‑7)⌉⁻¹ 로 정의된 상수를 도입해
f₍DP₎(n,k) ≥ (k‑1 + 1/λ)·n/2 + 1/λ
라는 새로운 비대칭 하한을 증명한 것이다. λ는 k가 커짐에 따라 약 2/k 정도로 수렴하므로, (k‑1 + 1/λ)·n/2 은 Gallai 하한보다 asymptotically 약 1/(2k) 만큼 더 큰 값을 제공한다.

증명 전략은 크게 다섯 단계로 구성된다. 첫째, 잠재력 함수 ρ₍G, h₎(·)를 정의하여 정점과 다중간선에 가중치를 부여한다. 여기서 h(v)는 해당 정점이 “low”인지 “high”인지를 나타내는 리스트 크기(또는 차수)이며, ρ는 정점 가중치와 간선 가중치의 합으로 표현된다. 둘째, 최소 반례 G를 가정하고, ρ(G) > –2 라면 구조적 모순을 도출한다. 이를 위해 G의 low 정점 집합 Λ를 추출하고, G