[논문 리뷰] Polyhedral Voronoi Cells

Ina Kirsten Voigt, Stephan Weis|arXiv (Cornell University)|2010. 03. 22.

Digital Image Processing Techniques참고 문헌 3인용 수 14

한 줄 요약

이 논문은 유클리드 공간 내 이산 점 집합에 대한 다면체 바르노이 세포의 특성화를 제시하며, 생성자로부터 형성된 방향 원뿔의 유한 생성성과 다면체성의 연관성을 규명한다. 단위 구에서의 역행과 준무한 선형 프로그래밍의 이중성에 기반하여, 바르노이 세포가 다면체임은 물론이고, 이산 케이스에서는 다면체 조건으로 단순화됨을 증명한다.

ABSTRACT

Voronoi cells of a discrete set in Euclidean space are known as generalized polyhedra. We identify polyhedral cells of a discrete set through a direction cone. For an arbitrary set we distinguish polyhedral from non-polyhedral cells using inversion at a sphere and a theorem of semi-infinite linear programming.

연구 동기 및 목표

• 이산 점 집합의 바르노이 세포가 다면체가 되기 위한 필요 및 충분 조건을 규명하는 것.
• 일반화된 다면체 바르노이 세포가 실제 다면체가 되는 기하학적 및 대수적 조건을 명확히 하는 것.
• 역행을 통한 바르노이 세포의 구조와 생성자의 볼록 역수 사이의 이중성 관계를 수립하는 것.
• 특히 이산 설정에서 바르노이 세포의 다면체성과 방향 원뿔의 유한 생성성 간의 연결 고리를 확립하는 것.

제안 방법

• 생성자 집합을 단위 구에서의 역행을 통해 역수 집합으로 변환하여 비유한 방향 분석을 가능하게 한다.
• 볼록 역수를 생성된 집합과 원점을 포함하는 볼록 hull로 정의하며, $\mathcal{C} = \mathop{\mathrm{conv}}\nolimits(\mathop{\mathrm{inv}}\nolimits(\mathcal{P} \setminus \{0_n\}) \cup \{0_n\})$로 표기한다.
• 준무한 선형 프로그래밍(Goberna와 López의 정리)을 활용하여 바르노이 세포 $\mathcal{V}$의 다면체성과 $\overline{\mathcal{C}}$의 다면체성 간의 관계를 규명한다.
• 바르노이 세포 $\mathcal{V}$가 다면체임은 물론이고, $\overline{\mathcal{C}}$가 다면체임과 동치이며, $\mathcal{P}$가 이산일 경우 이 조건은 $\mathcal{C}$가 다면체임으로 단순화됨을 증명한다.
• 바르노이 세포의 회귀 원뿔 $\mathop{\mathrm{rec}}\nolimits(\mathcal{V})$를 $\mathop{\mathrm{conv}}\nolimits(\mathcal{P})$의 원점에서의 정규 원뿔 $N(\mathop{\mathrm{conv}}\nolimits(\mathcal{P}), 0_n)$과 연결하여, $\mathop{\mathrm{rec}}\nolimits(\mathcal{V}) = N(\mathop{\mathrm{conv}}\nolimits(\mathcal{P}), 0_n)$임을 보인다.
• 극성 관계를 활용하여 방향 원뿔 $\mathcal{D} = \mathop{\mathrm{pos}}\nolimits(\mathcal{P})$와 정규 원뿔 간의 연결 고리를 확립하며, $\mathcal{D}^* = N(\mathcal{C}, 0_n)$임을 보인다.

실험 결과

연구 질문

• RQ1 이산 점 집합의 바르노이 세포가 다면체가 되는 조건은 무엇인가?
• RQ2 방향 원뿔 $\mathcal{D} = \mathop{\mathrm{pos}}\nolimits(\mathcal{P})$의 구조가 바르노이 세포의 다면체성을 어떻게 결정하는가?
• RQ3 볼록 역수 $\mathcal{C}$는 다면체 바르노이 세포를 특성화하는 데 어떤 역할을 하는가?
• RQ4 바르노이 세포가 유계인지, 그리고 이는 원점이 $\mathop{\mathrm{conv}}\nolimits(\mathcal{P})$의 내부에 있을 때 어떤 관련이 있는가?
• RQ5 단위 구에서의 역행은 바르노이 세포와 관련된 준무한 선형 프로그래밍 분석을 어떻게 촉진하는가?

주요 결과

• 바르노이 세포 $\mathcal{V}$가 다면체임은 물론이고, 볼록 역수의 클로처 $\overline{\mathcal{C}}$가 다면체임과 동치이다.
• 이산 생성자 $\mathcal{P}$에 대해, 바르노이 세포 $\mathcal{V}$가 다면체임은 물론이고, $\mathcal{C}$가 다면체임과 동치이다.
• 바르노이 세포의 회귀 원뿔은 정규 원뿔 $N(\mathop{\mathrm{conv}}\nolimits(\mathcal{P}), 0_n)$과 같으며, 이는 방향 원뿔의 폴라 $\mathcal{D}^*$와도 동일하다.
• 바르노이 세포 $\mathcal{V}$가 유계임은 물론이고, $0_n$이 $\mathop{\mathrm{conv}}\nolimits(\mathcal{P})$의 내부에 있을 때와 동치이며, 이는 $\mathcal{D} = \mathbb{E}^n$임과 동치이다.
• 방향 원뿔 $\mathcal{D}$가 유한 생성임은 물론이고, $\mathcal{V}$가 다면체임과 동치이지만, 이 동치관계는 이산 생성자 가정 하에서만 성립한다.
• 클로저 $\overline{\mathcal{D}} = \mathbb{E}^n$임은 물론이고, $\mathcal{V}$가 유계임과 동치이며, 이는 $0_n \in \mathop{\mathrm{conv}}\nolimits(\mathcal{P})^\circ$임과 동치이다.