[논문 리뷰] Unmixing the mixed volume computation

Tianran Chen|arXiv (Cornell University)|2017. 03. 05.

Polynomial and algebraic computation참고 문헌 59인용 수 7

한 줄 요약

이 논문은 $ n $ 개의 볼록 다면체의 혼합 체적(mixed volume)이 그들의 볼록 hull의 정규화된 체적의 $ n! $ 배가 되는 데 필요한 충분한 조건을 확립한다. 이는 복잡한 혼합 체적 계산을 단일 다면체 체적 문제로 전환시켜 계산을 단순화한다. 주요 결과는 볼록 hull의 기하학적 구조가 원래 다면체들보다 간단할 경우에 상당한 계산 절감 효과를 가져온다. 특히 다면체 해법을 위한 다면체 호모토피 방법에서 유용하다.

ABSTRACT

Computing mixed volume of convex polytopes is an important problem in computational algebraic geometry. This paper establishes sufficient conditions under which the mixed volume of several convex polytopes exactly equals the normalized volume of the convex hull of their union. Under these conditions the problem of computing mixed volume of several polytopes can be transformed into a volume computation problem for a single polytope in the same dimension. We demonstrate through problems from real world applications that substantial reduction in computational costs can be achieved via this transformation in situations where the convex hull of the union of the polytopes has less complex geometry than the original polytopes. We also discuss the important implications of this result in the polyhedral homotopy method for solving polynomial systems.

연구 동기 및 목표

• 다양한 볼록 다면체들의 혼합 체적이 $ n! $ 배의 그들의 볼록 hull 체적과 일치하는 충분한 기하학적 조건을 규명하는 것.
• 혼합 체적 계산의 계산 복잡도를 단일 다면체 체적 문제로 변환함으로써 감소시키는 것.
• 다면체 해법을 위한 다면체 호모토피 방법과 같은 응용 분야에서 실용적인 성능 향상을 가능하게 하는 것.
• 볼록 hull 체적 계산 과정에서 자동으로 확인할 수 있는 조건을 제공하는 것.

제안 방법

• 논문은 정리 1.1을 도입하여, $ \operatorname{conv}(\tilde{S}) $의 모든 진부분다면체가 각각의 $ S_i $ 와 만난다면, $ \operatorname{MV}(\operatorname{conv}S_1,\dots,\operatorname{conv}S_n) = n!\operatorname{vol}_n(\operatorname{conv}(\tilde{S})) $ 임을 제시한다.
• 정리 1.2는 더 약한 조건을 允허하여, 일부 $ S_i $ 와의 면 교차 또는 특정 차원 제약 조건을 만족하는 하위공간으로의 투영이 가능할 경우에도 동일한 등식이 성립함을 일반화한다.
• 혼합 체적의 단조성과 볼록 hull의 성질을 활용하여 혼합 체적을 정규화된 체적 계산으로 동치로 전환한다.
• 이 조건들은 볼록 hull 체적 계산의 부산물로 확인 가능하도록 설계되어 기존 알고리즘에 통합될 수 있다.
• 실세계 응용 분야에서의 검증을 위해 전력 흐름 방정식, Kuramoto 모델, 텐서 고유값 문제 등을 포함한다.
• 정규 분할과 정규화된 체적을 효율적으로 계산할 수 있는 C++ 소프트웨어 라이브러리인 libtropicana를 개발하여 이론적 결과의 실험적 검증을 지원한다.

실험 결과

연구 질문

• RQ1 다양한 볼록 다면체들의 혼합 체적이 언제 $ n! $ 배의 그들의 볼록 hull 체적과 일치하는가?
• RQ2 다면체들의 볼록 hull의 기하학적 구조가 원래 다면체들보다 단순할 경우, 혼합 체적 계산을 단일 체적 계산으로 줄일 수 있는가?
• RQ3 이 등식의 조건들을 체적 계산 과정에서 효율적으로 확인할 수 있는가?
• RQ4 이 변환은 다항식 시스템 해법과 같은 실용적 응용 분야에서 어떤 계산적 이점을 제공하는가?
• RQ5 이 방법은 더 일반적인 대수기하학 설정에서의 뉴턴-옥운코프 체적에 확장될 수 있는가?

주요 결과

• 정리 1.1에 따르면, 볼록 hull의 모든 양의 차원 부분다면체가 모든 $ S_i $ 와 교차하면, $ Q_1, \dots, Q_n $ 의 혼합 체적은 $ n! \cdot \operatorname{vol}_n(\operatorname{conv}(Q_1 \cup \cdots \cup Q_n)) $ 와 같다.
• 정리 1.2의 더 일반적인 조건은 일부 면이 특정 $ S_i $ 와 교차하지 않더라도, 특정 교차 또는 투영 제약 조건을 만족하면 등식이 유지됨을 허용한다.
• $ \mathbb{R}^2 $ 내 두 다각형의 예시에서 혼합 체적은 정확히 $ 2 \cdot \operatorname{vol}_2(\operatorname{conv}(Q_1 \cup Q_2)) = 32 $ 로 계산되며, 이는 단순화로 인해 32 단위의 체적 향상을 보여준다.
• 볼록 hull이 원래 다면체들보다 정점 수가 적거나 구조가 단순할 경우, 이 변환은 계산 비용을 감소시킨다.
• 이 방법은 반혼합 시스템에 적용 가능하며, PHoM 및 Hom4PS-2.0와 같은 다면체 호모토피 해법기와 통합될 수 있다.
• 소프트웨어 libtropicana는 정규 분할과 정규화된 체적을 효율적으로 계산하여 이론적 결과의 실험적 검증을 지원한다.