비음수 계수와 확장 형식의 조합적 한계

초록

이 논문은 폴리토프의 확장 복잡도와 슬랙 행렬의 비음수 계수 사이의 관계를 조합적 관점에서 탐구한다. 직사각형 커버링 수, 퍼프셋, 포울링 셋 등 기존 하한 기법을 기하학적으로 재해석하고, 큐브와 버크홀드 폴리토프, 그리고 차원 d의 이웃다발(polytope) 등에 대해 새로운 상한·하한 결과를 제시한다. 또한 직사각형 커버링 수가 비음수 계수의 하한이지만, 이 방법이 (d+1)²보다 더 강력한 하한을 제공하지 못함을 증명한다.

상세 분석

논문은 먼저 확장 형식(extended formulation)의 정의와 그 크기를 결정하는 핵심 지표인 확장 복잡도(xc(P))를 소개한다. Yannakakis(1991)의 결과에 따라 xc(P)는 해당 폴리토프의 슬랙 행렬 S(P)의 비음수 계수(nonnegative rank)와 정확히 일치한다는 점을 강조한다. 비음수 계수는 S를 두 비음수 행렬의 곱으로 분해하는 최소 차원 r로 정의되며, 이는 S의 비영 위치(supp(S))를 r개의 직사각형(행·열 집합의 데카르트 곱)으로 덮는 문제와 동치이다. 따라서 직사각형 커버링 수(rc(S))는 비음수 계수의 하한이 된다.

저자는 이 직사각형 커버링 접근법을 두 가지 관점에서 재해석한다. 첫째, 슬랙 행렬을 그래프 이론의 이분 그래프에 대응시켜, 직사각형은 그 그래프의 완전 이분 서브그래프(biclique)와 동일함을 보인다. 둘째, 직사각형 커버링 수를 행렬의 ‘직사각형 그래프(rectangle graph)’의 색채수(채색수)로 보는 관점을 제시한다. 이때 포울링 셋(fooling set) 기법은 해당 그래프의 클리크 수와 동일함을 증명한다.

구체적인 결과로는 다음과 같다. (1) 정다각형 2k‑gon은 크기 2k의 확장 형식을 가질 수 있음을 재확인하고, (2) 슬랙 행렬의 행·열 수가 각각 n, m일 때, 각 면에 최대 k개의 정점이 포함되는 폴리토프에 대해 rc(S) ≤ O(k²·log n)임을 제시한다(정리 3.2). 이는 기존의 단순 로그 하한보다 훨씬 강력한 상한이다. (3) 큐브와 버크홀드 폴리토프에 대해 rc(S) = 면의 수임을 보이며, 이는 두 폴리토프가 자신의 면 수 이하로는 확장될 수 없다는 강력한 하한을 제공한다(정리 5.9, 5.10). (4) 차원 d의 이웃다발(polytope) 중 정점 수가 Ω(d²)인 경우, rc(S) = Ω(d²)임을 증명한다. 이는 고차원 이웃다발이 선형보다 큰 확장 복잡도를 갖는다는 것을 의미한다.

또한 저자는 직사각형 커버링 기법의 한계도 명확히 제시한다. 비음수 계수와 직사각형 커버링 수 사이의 관계는 일반적으로 (d+1)²보다 높은 하한을 제공하지 못한다는 것을 보이며, 이는 차원 d의 임의 폴리토프에 대해 현재 알려진 가장 좋은 조합적 하한이 (d+1)²임을 의미한다. 이와 더불어, 비음수 계수의 정확한 값은 행렬의 실제 수치적 구조에 크게 의존하므로, 순수히 조합적 방법만으로는 더 강력한 하한을 얻기 어렵다는 결론을 도출한다.

전반적으로 논문은 확장 복잡도와 비음수 계수 사이의 깊은 연결 고리를 다양한 기하학·그래프 이론적 도구를 통해 체계적으로 정리하고, 구체적인 폴리토프 사례에 대한 새로운 상·하한을 제공함으로써 이 분야의 연구 방향을 제시한다.