[논문 리뷰] Representation of Polytopes as Polynomial Zonotopes

Niklas Kochdumper, Matthias Althoff|arXiv (Cornell University)|2019. 10. 16.

Advanced Combinatorial Mathematics참고 문헌 24인용 수 5

한 줄 요약

이 논문은 유계 다면체를 다항식 조노토프로 표현하는 데에 사용할 수 있는 새로운 Z-표현 방식인 Z-표현을 제안한다. 이는 선형 변환, 민코우스키 합, 볼록결합의 다항식 시간 계산을 가능하게 하며, 특정 다면체에 대해서는 V-표현 및 H-표현보다 더 컴팩트한 표현을 제공한다. 또한 축에 평행한 구간으로 도메인을 과대추정하지 않음으로써 비선형 함수의 범위를 더 좁게 추정할 수 있다.

ABSTRACT

We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex representation (V-representation) and the halfspace representation (H-representation). Depending on the polytope, the Z-representation can be more compact than the V-representation and the H-representation. In addition, the Z-representation enables the computation of linear maps, Minkowski addition, and convex hull with a computational complexity that is polynomial in the representation size. The usefulness of the new representation is demonstrated by range bounding within polytopes.

연구 동기 및 목표

• 선형 변환, 민코우스키 합, 볼록결합과 같은 핵심 연산을 효율적으로 계산할 수 있는 새로운 유계 다면체 표현 방식을 개발하는 것.
• 특정 유형의 다면체에 대해서는 기존의 V-표현 및 H-표현보다 Z-표현이 더 컴팩트할 수 있음을 입증하는 것.
• 축에 평행한 구간으로 도메인을 과대추정하지 않음으로써 비선형 함수의 범위를 더 좁게 추정할 수 있도록 하는 것.
• Z-표현과 V-표현 간의 변환 알고리즘을 제공하고, 그 계산 복잡도를 분석하는 것.

제안 방법

• Z-표현은 다항식 조노토프의 희소 표현 방식을 이용하여 유계 다면체를 다항식 조노토프로 표현한다.
• 이 방법은 다항식 조노토프의 대수적 구조를 활용하여 생성자 행렬과 지수 벡터를 통해 다면체를 표현한다.
• 선형 변환, 민코우스키 합, 볼록결합은 행렬 연산과 다항식 산술을 통해 계산되며, 표현 크기에 대해 다항식 시간 복잡도를 보장한다.
• V-표현에서 Z-표현으로의 변환은 정점 수에 대해 다항식 시간이다. 반대로 Z-표현에서 V-표현으로의 변환은 생성자 수에 대해 지수 시간이다.
• 범위 추정에 적용하기 위해 Z-표현된 다면체에 직접적으로 타일러 모델 유사 기법을 적용함으로써, 구간 과대추정을 피한다.
• 다면체와 다항식 간의 상호작용을 활용하며, 뉴턴 다면체와 에르하르트 다항식을 기반으로 하여 효율적이고 컴팩트한 집합 표현을 가능하게 한다.

실험 결과

연구 질문

• RQ1 모든 유계 다면체는 다항식 조노토프로 정확히 표현될 수 있는가?
• RQ2 특정 다면체에 대해서는 Z-표현이 V-표현 및 H-표현보다 더 컴팩트한가?
• RQ3 Z-표현을 사용하여 선형 변환, 민코우스키 합, 볼록결합과 같은 연산을 다항식 시간 내에 계산할 수 있는가?
• RQ4 Z-표현은 구간 또는 타일러 모델 접근법에 비해 비선형 함수의 범위 추정을 더 좁게 가능하게 하는가?
• RQ5 Z-표현과 다른 다면체 표현 간의 변환에 대한 계산 복잡도는 무엇인가?

주요 결과

• 모든 유계 다면체는 정확히 다항식 조노토프로 표현 가능하며, 이는 Z-표현이 다면체 표현의 보편적 방법임을 입증한다.
• 선형 변환, 민코우스키 합, 볼록결합의 계산 복잡도는 Z-표현 크기에 대해 다항식 시간이지만, V-표현 및 H-표현에서는 NP-난이도 또는 지수 시간 복잡도를 가진다.
• 많은 생성자를 가진 고차원 조노토프의 경우, Z-표현은 V-표현 및 H-표현의 하한을 고려하더라도 가장 낮은 표현 복잡도를 달성한다.
• 범위 추정에서 Z-표현은 정확한 값 [-14.8872, 1.4094]에 매우 가까운 [-14.888, 1.4097]의 범위를 제공하며, 구간 산술 ([−25.25, 4]) 및 구간 과대추정을 포함하는 타일러 모델 ([−19.7365, 2.3049])에 비해 뛰어난 성능을 보인다.
• V-표현에서 Z-표현으로의 변환은 정점 수에 대해 다항식 시간이지만, Z-표현에서 V-표현으로의 변환은 생성자 수에 대해 지수 시간이다.