[논문 리뷰] Software for Exact Integration of Polynomials over Polyhedra

Jesús A. De Loera, Brandon Dutra외 4명|arXiv (Cornell University)|2011. 07. 31.

Polynomial and algebraic computation참고 문헌 18인용 수 8

한 줄 요약

이 논문은 다면체의 다항식 적분을 정확하게 계산하기 위한 C++ 소프트웨어 구현인 LattE integrale을 제시한다. 삼등분법과 원뿔 분해 기법을 사용하여 볼록 다면체 위에서의 다항식 적분을 다루며, 단체나 일반적인 다면체에서 다항식 함수의 적분을 다항식 시간 내에 계산할 수 있다. 주요 결과로는 투표 이론 다면체의 정확한 부피 계산이 이루어졌으며, 이는 네 후보자 선거에서 12.27%의 확률을 도출하고 세 후보자 선거의 12.33% 확률을 확인함으로써 고차원 조합 문제에서의 효율성과 확장성을 입증한다.

ABSTRACT

We are interested in the fast computation of the exact value of integrals of polynomial functions over convex polyhedra. We present speed ups and extensions of the algorithms presented in previous work. We present the new software implementation and provide benchmark computations. The computation of integrals of polynomials over polyhedral regions has many applications; here we demonstrate our algorithmic tools solving a challenge from combinatorial voting theory.

연구 동기 및 목표

• 유리수 계수를 가진 볼록 다면체 영역에서 다항식의 적분을 계산하기 위한 고성능이고 정확한 소프트웨어 도구를 개발하는 것.
• 이전의 정확한 적분 알고리즘을 개선하여 속도를 향상시키고 삼등분법 및 원뿔 분해 기법을 모두 지원하는 것.
• 다수결 및 순위 선택제 하에서 다른 선거 결과가 발생할 확률을 다루는 조합 투표 이론의 어려운 문제를 해결하는 것.
• 4명 및 5명의 후보자 선거에서 발생하는 고차원 다면체와 같은 복잡한 문제에 대해 정확한 적분의 실용적 확장성을 입증하는 것.
• Ehrhart 이론과 부피 계산을 활용하여 쿼지다형식의 주계수를 효율적으로 추출하는 계산 프레임워크를 제공하는 것.

제안 방법

• 소프트웨어는 두 가지 주요 분해 전략을 사용한다: 다면체 삼등분법과 Brion–Lasserre–Lawrence–Varchenko 이론에 기반한 부호가 있는 원뿔 분해.
• 지수 적분 항등식에서 유도된 폐쇄형 공식을 사용하여 단체 원뿔 위에서 선형 형식의 거듭제곱의 적분을 계산한다.
• 유리수 계수를 가진 단체 위에서 다항식의 적분이 생성함수와 평가 이론을 통해 다항식 시간 내에 계산될 수 있다는 사실을 활용한다.
• 일반적인 다면체의 경우, 소프트웨어는 영역을 단체나 원뿔으로 분해하고 각 성분에 대해 적분을 계산한 후 포함-배제 원칙 또는 부호가 있는 분해 규칙을 사용하여 결과를 통합한다.
• 유리수 산술을 다루기 위한 효율적인 데이터 구조를 사용하며, 선형 부등식과 등식을 포함한 표준 다면체 형식의 입력을 지원한다.
• 주요 최적화 기법으로는 전체 쿼지다형식 열거를 피하기 위해 n=1에서 다면체의 부피를 직접 계산하여 Ehrhart 쿼지다형식의 주계수만을 계산하는 것이다.

실험 결과

연구 질문

• RQ1 특히 다면체가 최대차원이 아닐 경우, 고차원 공간에서 다면체 위에서 다항식의 정확한 적분을 효율적으로 수행할 수 있는가?
• RQ2 정확한 적분에 있어서 삼등분법과 원뿔 분해 기법은 속도와 수치적 안정성 측면에서 어떻게 비교되는가?
• RQ3 대규모 유권자 집단에서 네 명 및 다섯 명의 후보자에 대해 다수결 및 순위 선택제가 다른 승자를 낳을 정확한 확률은 얼마인가?
• RQ4 전체 열거 없이도 다면체의 부피 계산을 통해 Ehrhart 쿼지다형식의 주계수를 직접 계산할 수 있는가?
• RQ5 정확한 적분 도구는 24개 이상의 변수를 가진 조합 투표 이론 문제를 해결하는 데 얼마나까지 확장될 수 있는가?

주요 결과

• 소프트웨어 LattE integrale는 n=1일 때 네 후보자 투표 다면체의 정확한 부피를 2988379676768359 / 7552997065814637134660504411827077120000로 성공적으로 계산하였다.
• 원뿔 분해를 사용하여 소프트웨어는 네 후보자에 대한 다수결 및 순위 선택제 하에서 다른 선거 결과가 발생할 확률을 1분 이내에 12.27%로 계산하였다.
• 해당 다면체의 부피를 직접 계산하고 부피의 비율을 적용하여 이전에 계산된 세 후보자 선거의 12.33% 확률을 확인하였다.
• 네 후보자 사례의 Ehrhart 쿼지다형식의 주계수는 전체 쿼지다형식 계산을 피하기 위해 n=1에서 다면체의 부피로부터 직접 추출되었다.
• 다섯 후보자 사례에서는 다면체가 120개의 변수를 가진다. LRS를 사용한 1,250만 개의 정점 열거가 중단되었으며, 이는 이 방법으로는 현재의 계산 한계를 초과함을 시사한다.
• 소프트웨어는 특히 고차원 투표 다면체에서 전체 쿼지다형식 열거보다 부피 계산을 통한 정확한 적분이 더 효율적임을 입증하였다.