[논문 리뷰] Realizability and inscribability for some simplicial spheres and matroid polytopes

Moritz Firsching|arXiv (Cornell University)|2015. 08. 11.

Advanced Combinatorial Mathematics참고 문헌 41인용 수 3

한 줄 요약

이 논문은 비선형 최적화 기법을 적용하여 매트로이드 다면체와 단순형 구면을 실현하고 인scribed하며, 11개의 정점을 가진 이웃형 4-, 6-, 7차원 다면체, 10개의 정점을 가진 이웃형 5차원 다면체, 그리고 10개의 정점을 가진 단순형 3차원 구면을 다면체적 및 비다면체적 유형으로 완전 분류하였다. 많은 실현 가능한 다면체가 인scribed된 것으로 밝혀졌다.

ABSTRACT

We show that non-linear optimization techniques can successfully be applied to realize and to inscribe matroid polytopes and simplicial spheres. Thus we obtain a variety of results, which include a complete classification of neighborly polytopes of dimension 4, 6 and 7 with 11 vertices, of neighborly 5-polytopes with 10 vertices, as well as a complete classification of simplicial 3-spheres with 10 vertices into polytopal and non-polytopal spheres. Surprisingly many of the realizable polytopes are also inscribable.

연구 동기 및 목표

• 비선형 최적화를 사용하여 매트로이드 다면체와 단순형 구면이 유클리드 공간 내에서 볼록 다면체로 실현 가능한지 여부를 결정하는 것.
• 특정 차원과 정점 수를 가진 이웃형 다면체를 분류하는 것, 특히 4, 5, 6, 7차원에서의 경우에 중점을 두는 것.
• 10개의 정점을 가진 다면체적 및 비다면체적 단순형 3차원 구면을 구분하는 것.
• 실현 가능한 다면체의 인scribed 가능성, 특히 이웃형 구성에서 유도된 다면체의 경우를 조사하는 것.

제안 방법

• 매트로이드 다면체와 단순형 구면의 실현 가능성 문제를 해결하기 위해 비선형 최적화를 활용하는 것.
• 주어진 조합적 구면 또는 매트로이드 다면체가 유클리드 공간 내에서 볼록 다면체로 임베딩 가능한지 테스트하기 위해 최적화를 사용하는 것.
• 동일한 프레임워크를 적용하여 인scribed 가능성, 즉 다면체의 모든 정점이 구 위에 놓일 수 있는지 여부를 테스트하는 것.
• 실현 가능성과 인scribed 가능성의 비선형 제약 조건을 다루기 위해 계산 기반 대수기하학과 수치적 연속 방법을 활용하는 것.
• 낮은 차원에서의 이웃형 구성에 대해 체계적으로 분석하여 완전한 분류를 달성하는 것.
• 실현 가능성 및 인scribed 가능성 조건의 계산적 검증을 통해 결과를 검증하는 것.

실험 결과

연구 질문

• RQ1 10개의 정점을 가진 단순형 3차원 구면 중 어떤 것은 다면체적이고, 어떤 것은 그렇지 않은가?
• RQ2 10개의 정점을 가진 이웃형 5차원 다면체의 완전한 분류는 무엇인가?
• RQ3 11개의 정점을 가진 이웃형 4-, 6-, 7차원 다면체는 총 몇 개인가, 그리고 실현 가능한 것은 무엇인가?
• RQ4 실현 가능한 이웃형 다면체 중 어느 정도가 인scribed되는가?
• RQ5 비선형 최적화가 매트로이드 다면체와 단순형 구면의 실현 가능성 및 인scribed 가능성 문제를 효과적으로 해결할 수 있는가?

주요 결과

• 11개의 정점을 가진 이웃형 4-, 6-, 7차원 다면체의 완전한 분류가 비선형 최적화를 통해 달성되었다.