제로를 포함 배제하는 d차원 볼록다각형의 수적 관계

초록

본 논문은 고정된 유한점 집합 (V\subset\mathbb{R}^d) 에 대해, 원점 (0) 을 꼭짓점으로 포함하는 볼록다각형(다면체)의 개수와 포함하지 않는 다면체의 개수 사이에 성립하는 일련의 부등식들을 제시한다. 저자는 조합론적 방법과 정점 교환 기법을 이용해, 차원 (d) 와 (V) 의 구조적 특성(예: 일반위치, 대칭성)에 따라 두 종류의 다면체 수가 어떻게 비교되는지를 정량화한다. 주요 결과는 “포함 다면체 수 (\le) 전체 다면체 수 (\le) 포함 다면체 수 + 피해 다면체 수” 형태의 불평등이며, 특정 경우에는 정확한 등식까지 도출한다.

상세 분석

논문은 먼저 (V) 가 일반위치(general position)를 만족한다고 가정하고, 원점 (0) 을 포함하거나 제외하는 모든 비공허한 볼록다각형(다면체)의 집합을 각각 (\mathcal{C}+)와 (\mathcal{C}-) 로 정의한다. 여기서 “포함”은 (0) 가 다면체의 내부 혹은 경계에 속함을 의미한다. 저자는 (\mathcal{C}+)와 (\mathcal{C}-) 사이의 관계를 탐구하기 위해 두 가지 핵심 도구를 도입한다. 첫 번째는 “정점 교환 연산”(vertex exchange operation)으로, 특정 정점을 (0) 으로 교체하거나 반대로 교체함으로써 (\mathcal{C}+)와 (\mathcal{C}-) 사이를 일대일 대응시키는 방법이다. 이 연산은 (V) 의 각 정점이 (0) 과 선형 독립인 경우에만 적용 가능하며, 이를 통해 (|\mathcal{C}+|\le|\mathcal{C}-|+|\mathcal{C}_0|) (여기서 (\mathcal{C}_0) 는 (0) 을 꼭짓점으로 갖는 다면체)와 같은 부등식을 얻는다. 두 번째는 “극점 분할”(extremal partition) 기법으로, (V) 를 (0) 을 기준으로 두 반구로 나누어 각 반구에서 생성되는 다면체의 수를 별도로 계산한다. 이때 차원 (d) 가 짝수인지 홀수인지에 따라 대칭성이 달라지며, 특히 (d) 가 짝수일 때는 (0) 을 중심으로 하는 대칭쌍이 존재해 부등식이 더 강하게 된다. 저자는 이러한 두 기법을 결합해, 차원 (d) 와 (V) 의 크기 (n=|V|) 에 대한 명시적 상한과 하한을 도출한다. 예를 들어, (V) 가 (n) 개의 일반위치 점으로 이루어지고 (d\ge2) 일 때,
\