[논문 리뷰] Convex Hull Realizations of the Multiplihedra

Stefan Forcey|ArXiv.org|2007. 06. 22.

Computational Geometry and Mesh Generation참고 문헌 27인용 수 4

한 줄 요약

이 논문은 유클리드 공간 내에서 명시적으로 정의된 점들의 볼록포여서 $n$번째 다중곱형체를 실현하는 구조적 알고리즘을 제공하며, 다중곱형체가 볼록 다면체로 실현될 수 있는지에 대한 열린 문제를 해결한다. 주요 기여는 칠해진 이진 트리와 가중치 좌표를 통한 기하적 실현으로, 이는 $A_n$-사상 이론들을 통합하고 볼록포와 다중곱형체의 구조 사이의 조합적 동치를 확립한다.

ABSTRACT

We present a simple algorithm for determining the extremal points in Euclidean space whose convex hull is the nth polytope in the sequence known as the multiplihedra. This answers the open question of whether the multiplihedra could be realized as convex polytopes. We use this realization to unite the approach to A_n-maps of Iwase and Mimura to that of Boardman and Vogt. We include a review of the appearance of the nth multiplihedron for various n in the studies of higher homotopy commutativity, (weak) n-categories, A_infinity-categories, deformation theory, and moduli spaces. We also include suggestions for the use of our realizations in some of these areas as well as in related studies, including enriched category theory and the graph associahedra.

연구 동기 및 목표

• 다중곱형체가 유클리드 공간 내에서 볼록 다면체로 실현될 수 있는지에 대한 열린 문제를 해결하기 위해.
• 모든 $n$-잎을 가진 칠해진 이진 트리 $t$에 대해 $M^{w_0,\dots,w_{n-1}}_q(t)$의 극점들로 구성된 볼록포가 $n$번째 다중곱형체를 형성하는 명시적 알고리즘을 제공하기 위해.
• Iwase와 Mimura의 접근법과 Boardman 및 Vogt의 접근법을 기하적 실현을 통해 통합하기 위해.
• 다양한 구조들, 예를 들어 아소시아헤드론, $A_∞$-카테고리, 모듈리 공간들과의 조합적 및 기하적 연결 고리를 설정하기 위해.

제안 방법

• 가중치 좌표와 재귀적 구성법을 사용하여 칠해진 이진 트리에서 $\mathbb{R}^{n-1}$로의 사상 $M^{w_0,\dots,w_{n-1}}_q(t)$를 정의한다.
• 아소시아헤드론 $\mathcal{K}(s)$와 다중곱형체 $\mathcal{J}(r)$의 좌표를 사용하여 하위 트리와 상위 트리의 정밀화에 해당하는 점들의 볼록포를 구성한다.
• 모든 $n$-잎을 가진 칠해진 이진 트리 $t$에 대해 $M^{w_0,\dots,w_{n-1}}_q(t)$의 볼록포가 차원 $n-2$인 다면체를 이룬다는 것을 $n$에 대한 귀납법으로 증명한다.
• 볼록포의 각 면이 하위 트리 또는 상위 트리의 정밀화에 대응하고, 그 면이 해당 점들의 볼록포임을 증명한다.
• 기저를 바꾸어 좌표의 순서를 재정렬하고, 하위 트리 $l(k,s)$의 정밀화로 형성된 다면체가 $\mathcal{J}(r) \times \mathcal{K}(s)$와 조합적으로 동치임을 보이며, 상위 트리 $u(t,r_1,\dots,r_t)$의 경우 $\mathcal{K}(t) \times \mathcal{J}(r_1) \times \cdots \times \mathcal{J}(r_t)$와 동치임을 보인다.
• 전체 볼록포가 칠해진 트리의 공간 $LW\mathcal{U}(n)$와 위상동형임을 증명하여 실현이 조합적으로 올바름을 확인한다.

실험 결과

연구 질문

• RQ1 $n$번째 다중곱형체는 유클리드 공간 내에서 볼록 다면체로 실현될 수 있는가?
• RQ2 모든 $n$번째 다중곱형체의 볼록포를 형성하는 극점들의 집합은 무엇인가?
• RQ3 다중곱형체의 면들은 하위 및 상위 칠해진 트리의 정밀화와 어떻게 대응되는가?
• RQ4 다중곱형체의 기하적 실현은 호모토피 이론에서 $A_n$-사상에 대한 서로 다른 접근법을 통합할 수 있는가?
• RQ5 가중치 좌표의 볼록포와 칠해진 트리의 조합적 구조 사이의 관계는 무엇인가?

주요 결과

• $n$번째 다중곱형체 $\mathcal{J}(n)$는 모든 $n$-잎을 가진 칠해진 이진 트리 $t$에 대해 $M^{w_0,\dots,w_{n-1}}_q(t)$의 볼록포로 실현되며, 볼록 실현에 대한 열린 문제를 해결한다.
• 극점들은 가중치 좌표와 트리의 정밀화에 기반한 재귀적 알고리즘을 통해 명시적으로 구성된다.
• 볼록포의 면들은 하위 트리 $l(k,s)$와 상위 트리 $u(t,r_1,\dots,r_t)$의 정밀화에 일대일 대응하며, 각 면은 해당 점들의 볼록포이다.
• 하위 트리 $l(k,s)$의 정밀화로 형성된 다면체는 $\mathcal{J}(r) \times \mathcal{K}(s)$와 조합적으로 동치이며, 상위 트리 $u(t,r_1,\dots,r_t)$의 경우 $\mathcal{K}(t) \times \mathcal{J}(r_1) \times \cdots \times \mathcal{J}(r_t)$와 동치이며, 둘 다 차원 $n-2$를 가진다.
• 전체 볼록포는 칠해진 트리의 공간 $LW\mathcal{U}(n)$와 위상동형이며, 이는 올바른 조합적 유형임을 확인한다.
• 이 실현은 Iwase와 Mimura의 $A_n$-사상 이론과 Boardman 및 Vogt의 이론을 공통의 기하적 프레임워크를 통해 통합할 수 있다.