[논문 리뷰] Extremal antipodal polygons and polytopes

Oswin Aichholzer, L.E. Caraballo외 4명|arXiv (Cornell University)|2013. 01. 28.

Mathematics and Applications참고 문헌 8인용 수 3

한 줄 요약

이 논문은 원 위의 2n개 점에서 형성될 수 있는 모든 반대칭 다각형 중에서 면적을 최대화하거나 최소화하는 반대칭 다각형을 완전히 특성화한다. 각 점이 반대점과 짝을 이루는 조건을 만족한다. 이 논문은 이러한 극값 다각형을 계산하기 위한 선형 시간 알고리즘을 제시하며, 이와 같은 특성화가 고차원으로는 확장되지 않음을 3차원 이상의 반례를 통해 보여준다.

ABSTRACT

Let $S$ be a set of $2n$ points on a circle such that for each point $p \in S$ also its antipodal (mirrored with respect to the circle center) point $p'$ belongs to $S$. A polygon $P$ of size $n$ is called \emph{antipodal} if it consists of precisely one point of each antipodal pair $(p,p')$ of $S$. We provide a complete characterization of antipodal polygons which maximize (minimize, respectively) the area among all antipodal polygons of $S$. Based on this characterization, a simple linear time algorithm is presented for computing extremal antipodal polygons. Moreover, for the generalization of antipodal polygons to higher dimensions we show that a similar characterization does not exist.

연구 동기 및 목표

• 원 위의 모든 가능한 반대칭 구성 중에서 면적이 최대이거나 최소인 반대칭 다각형을 특성화하는 것.
• 최적의 반대칭 다각형을 계산하기 위한 효율적인 알고리즘, 특히 선형 시간 내에서의 계산을 개발하는 것.
• 평면에서의 극값 다각형 특성화가 고차원 반대칭 다면체로 일반화되는지 조사하는 것.
• 두꺼운 반대칭 다각형(원점을 포함함)이 항상 얇은 반대칭 다각형(원점을 포함하지 않음)보다 면적이 더 큰지 여부를 판단하는 것.
• d차원 공간에서 극값 반대칭 다면체의 존재성과 성질을 탐색하는 것.

제안 방법

• 반대점 집합을 정의: 원 위의 2n개 점 중에서 각 점이 반대점과 짝을 이루는 경우.
• 얇은 반대칭 다각형을 정의: 원점을 통과하는 닫힌 반평면 내에 모든 꼭짓점이 포함되는 다각형; 두꺼운 다각형은 어떤 원점을 통과하는 직선에 의해 정의되는 열린 반평면들에 걸쳐 꼭짓점이 분포하는 경우.
• 극값 면적 다각형을 특성화: 최소 면적의 경우 꼭짓점이 각도 순서로 연속적으로 배열되며, 최대 면적의 경우 꼭짓점이 번갈아가며 배열됨.
• 기하학적 및 조합적 추론을 사용하여, 번갈아 배열된 구성이 면적을 최대화하고, 연속된 구성이 면적을 최소화함을 증명.
• 3차원 이상에서 반례를 구성하여, 꼭짓점 분포에 의한 극값 다면체 특성화가 성립하지 않음을 보임. 특히 특정 반대점 부분집합의 볼록결합체의 부피 비교를 통해 증명.
• Gale의 보조정리를 적용하여, 특정 구성에 대해 고차원에서 두꺼운 반대칭 다면체의 존재성을 증명함.

실험 결과

연구 질문

• RQ1 주어진 반대점 집합에 대해, 모든 두꺼운 반대칭 다각형의 면적이 항상 얇은 반대칭 다각형의 면보다 큰가?
• RQ2 최적의 반대칭 다각형(최대 및 최소 면적)을 선형 시간 내에 계산할 수 있는가?
• RQ3 3차원 이상에서도 평면에서의 반대칭 다각형 극값 특성화와 유사한 특성화가 가능한가?
• RQ4 모든 d차원 공간의 반대점 집합에 대해 두꺼운 반대칭 다면체가 존재하는가?
• RQ5 (2n,k)-문제—k < n 인 극값 반대칭 k-다각형을 찾는 문제—는 부분 제곱 시간 내에 해결할 수 있는가?

주요 결과

• 최소 면적 반대칭 다각형은 꼭짓점이 원 위에서 각도 순서로 연속적으로 배열될 때 도달된다.
• 최대 면적 반대칭 다각형은 꼭짓점이 각도 순서에서 반대점 쌍들 사이를 번갈아 배열될 때 도달된다.
• 점들의 각도 순서를 기반으로 하여 최소 및 최대 면적 반대칭 다각형을 계산하는 선형 시간 알고리즘이 존재한다.
• 3차원 이상에서는 꼭짓점 분포에 의한 극값 다면체 특성화가 실패함을 보여주는 반례가 존재하며, 이 경우 두꺼운 다면체의 부피가 비두꺼운 다면체보다 클 수 있음.
• d차원에서 두꺼운 반대칭 다면체의 볼록결합체 부피는 비두꺼운 경우의 1/2^{d-2}까지 작아질 수 있으며, 이는 두께가 극값을 보장하지 않음을 보여준다.
• Gale의 보조정리는 d차원 공간에서 특정 구성에 대해 두꺼운 반대칭 다면체의 존재성을 보장하지만, 모든 반대점 집합에 대해 보장되지는 않는다.