제한 그래프에서 독립다항식의 영점 없는 영역

초록

이 논문은 최대 차수가 제한된 (H)-자유 그래프(특히 분할된 클로 (S_{i,j,k}) 인 경우)에서 독립다항식이 양의 실수축을 포함하는 열린 영역 (F) 밖에 영점을 갖지 않음을 보인다. 또한 다변량 독립다항식에 대해서도 유사한 영점 자유 영역을 제시하고, 이러한 결과가 (H) 가 분할된 클로가 아니면 혹은 차수 제한을 없앨 경우 최적임을 증명한다. 결과는 결정론적 근사 알고리즘의 존재까지 시사한다.

상세 분석

본 연구는 통계 물리학의 하드코어 모델을 그래프 이론의 독립집합 다항식으로 재해석한 뒤, 영점의 위치를 정밀히 제어하는 문제에 접근한다. 기존에 Heilmann‑Lieb 정리는 라인 그래프(즉, 매칭을 독립집합으로 변환한 그래프)에서 독립다항식의 모든 영점이 음의 실수축에 놓인다는 강력한 결과를 제공한다. Chudnovsky‑Seymour는 이를 클로프리 그래프 전반으로 확장했으며, 이는 라인 그래프보다 훨씬 넓은 그래프 클래스를 포괄한다. 그러나 이러한 영점 제한은 그래프가 특정 구조적 금지(예: 클로)를 만족할 때만 성립한다는 점이 핵심이다.

논문은 이 아이디어를 한 단계 더 나아가, ‘분할된 클로’ (S_{i,j,k}) (각 팔을 (i,j,k) 번씩 경로로 확장한 그래프)라는 보다 일반적인 금지 서브그래프를 고려한다. 주요 정리(정리 3)는 고정된 (t\ge1) 와 차수 상한 (\Delta\ge3) 에 대해, 모든 (S_{t,t,t})-프리 그래프가 독립다항식의 영점이 양의 실수축을 포함하는 열린 영역 (F) 밖에 존재하지 않음을 보인다. 여기서 (F) 는 복소평면에서 ‘양의 실수축을 둘러싼’ 영역으로, 실제로는 복소수의 실수부가 충분히 크고 허수부가 제한된 ‘반평면’ 형태를 띤다. 이 결과는 두 가지 의미에서 최적이다. 첫째, (S_{i,j,k}) 가 아닌 다른 금지 서브그래프를 선택하면, 차수 3 이하의 그래프에서도 영점이 양의 실수축에 접근하는 예시가 존재한다(섹션 6). 둘째, 차수 제한 (\Delta) 를 없애면, 차수가 무한히 커지는 (S_{i,j,k})-프리 그래프 집합에서 영점이 복소평면 전체에 조밀히 퍼지는 현상이 발생한다(섹션 5).

다변량 독립다항식에 대한 확장은 더욱 미묘하다. 라인 그래프에 대해 Lebowitz‑Ruelle‑Speer가 제시한 ‘포물선 영역’ (R(k)) 은 각 변수에 대해 동일한 복소수값을 허용하면서 영점이 존재하지 않는 영역을 정의한다. 논문은 이 결과를 (G_{Cl\text{-}S}^k) 라 불리는 ‘모든 연결 성분이 단순 클리크를 포함하는 클로프리 그래프’ 클래스로 일반화한다(정리 6). 여기서도 영점 자유 영역은 (R(k)) 이며, 이는 기존 라인 그래프 결과와 일치하거나 더 넓다. 또한, (S_{t,t,t})-프리 그래프에 대해 다변량 영점 자유 영역을 구축하는 정리 5는 임의의 유한 구간 (