컴팩트 집합의 차발 고모리 폐쇄가 다면체임을 증명하는 간결한 방법

초록

이 논문은 컴팩트한 볼록 집합에 대해 차발‑고모리(CG) 폐쇄가 언제나 다면체가 됨을 보이는 매우 짧고 직관적인 증명을 제시한다. 기존의 복잡한 논증을 대신해, 집합의 유계성 및 유리 초평면의 유한성에 기반한 간단한 구성으로 결과를 얻는다.

상세 분석

차발‑고모리(Cut) 이론은 정수선형계획법에서 중요한 도구이며, 특히 다면체(polyhedron) 구조를 유지하는지 여부는 이론적·실용적 의미가 크다. 기존에는 Schrijver가 제기한 “비정수(irrational) 다면체의 CG 폐쇄가 다면체인가?”라는 문제에 대해 Dadush‑Dey‑Vielma와 Dunkel‑Schulz가 각각 독립적으로 긍정적인 답을 제시했으며, 그 증명은 고차원 기하학과 측도론을 복합적으로 활용한 복잡한 구조를 가지고 있었다. 본 논문은 이러한 배경 위에, 컴팩트한 볼록 집합 K⊂ℝⁿ에 대해 CG(K) = ⋂{⌊a·x⌋ ≤ ⌊β⌋ | a∈ℤⁿ, β∈ℝ, a·x ≤ β ∀x∈K} 가 결국 유한개의 유리 초평면에 의해 정의되는 다면체임을 보인다. 핵심 아이디어는 다음과 같다. 첫째, K가 컴팩트하므로 모든 지원 함수 h_K(a)=sup_{x∈K} a·x 가 유한하고 연속이다. 둘째, a∈ℤⁿ에 대해 h_K(a) 가 유리수가 아니더라도, 실수 β에 대해 ⌊β⌋ 를 취하면 정수값이 되므로, 해당 부등식은 결국 “a·x ≤ ⌊h_K(a)⌋” 형태로 변환된다. 셋째, 지원 함수의 값이 유리가 되는 방향 a는 조밀하게 존재하지만, 중요한 것은 “극한” 방향을 고려할 때 유한개의 a만이 실제로 새로운 절단을 생성한다는 점이다. 이를 보이기 위해 저자는 K의 외부 경계에서 극소점들을 선택하고, 각각에 대해 해당 지원 평면을 유리화(rationalize)하는 과정을 수행한다. 이때, 컴팩트성은 볼록 조합을 통한 근사와 함께, 무한히 많은 정수 벡터 a가 동일한 절단을 유도한다는 사실을 보장한다. 결과적으로, CG(K)를 정의하는 모든 절단 중에서 실제로 독립적인 절단은 유한개이며, 이는 전통적인 다면체 정의와 일치한다. 증명 과정은 기존의 복잡한 측도론적 논증을 배제하고, 순수히 선형대수와 기본적인 볼록 분석만으로 전개된다. 따라서 이 논문은 CG 폐쇄의 다면체성에 대한 이해를 크게 단순화시키며, 향후 알고리즘 설계나 이론적 확장에 있어 보다 직관적인 접근을 가능하게 한다.