[논문 리뷰] Real projective space as a space of planar polygons

Donald M. Davis|arXiv (Cornell University)|2015. 01. 12.

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

한 줄 요약

이 논문은 실 사영 공간 $\mathbb{RP}^{n-3}$ 과 평면 상의 $n$-각형에서 한 변의 길이가 $n-2$이고 나머지 모든 변의 길이가 1인 이sovmetry 클래스의 모듈리 공간 $\overline{M}_{n,n-2}$ 사이의 호메오멀피즘을 수립한다. 먼 꼭짓점 중심의 원 위에서 각도 좌표를 통해 다각형 구성 요소를 매개변수화함으로써, 저자들은 구 $S^{n-3}$ 에 대한 $\mathbb{Z}/2$-등변 호메오멀피즘을 구성하며, 그 몫은 원하는 $\mathbb{RP}^{n-3}$ 와의 식별을 제공한다. 이는 위상적 복잡성과 로봇 운동 계획 간의 연결고리가 된다.

ABSTRACT

We prove that real projective space RP^{n-3} is homeomorphic to the space of all isometry classes of n-gons in the plane with one side of length n-2 and all other sides of length 1. This makes the topological complexity of real projective space more relevant to robotics.

연구 동기 및 목표

• 실 사영 공간 $\mathbb{RP}^{n-3}$ 과 한 변이 길고 나머지 변들이 단위 길이인 평면 상의 $n$-각형의 모듈리 공간 사이의 위상적 동치를 수립하기.
• 추상적인 위상적 불변량을 더 구체적으로 다각형 구성의 형태로 기하학적 실현함으로써 로봇 공학에서의 해석 가능성을 높이기.
• 다각형 공간과 구 사이의 $\mathbb{Z}/2$-등변 호메오멀피즘의 성격을 명확히 하여 이전 연구에서의 모호함을 해소하기.
• 실 사영 공간 $\mathbb{RP}^{n-3}$ 의 위상적 복잡성과 다각형 로봇 암의 운동 계획 문제를 연결하기.

제안 방법

• 이전 꼭짓점과 먼 꼭짓점 중심의 원들의 교차를 통해 유도된 각도 좌표 $t_i$ 를 사용해 $M_{n,r}$ 내의 각 다각형을 매개변수화한다.
• 삼각부등식을 고려할 때 $x_i$ 와 $x_{n-1}$ 사이의 거리가 최대가 되는 첫 번째 인덱스 $i_0$ 를 정의한다.
• 원 $C(x_{i-1},1)$ 과 $C(x_{n-1},n-1-i)$ 의 교차 호를 사용해 각 꼭짓점 $x_i$ 에 대해 $t_i \in [-1,1]$ 인 매개변수를 정의하며, 호가 기하학적으로 붕괴될 경우 $t_i = \pm 1$ 이 된다.
• 반사 및 반대점 대칭을 유지하는 바이어리즘을 고려해, 반복되지 않은 스펙트럼의 $S^0$ 에 대한 반복 불완전 스펙트럼에 점을 매핑함으로써 $\mathbb{Z}/2$-등변 호메오멀피즘 $\Phi: M_{n,r} \to S^{n-3}$ 을 구성한다.
• $\mathbb{Z}/2$-작용에 대한 몫을 취함으로써 $\overline{M}_{n,r}$ 과 $\mathbb{RP}^{n-3}$ 사이의 호메오멀피즘을 얻는다.
• 특정 동치관계를 가진 $J^{n-3} \times S^0$ 를 통한 $S^{n-3}$ 의 모델이 표준 구와 호메오멀피크함을 확인함으로써 좌표 변환을 가능하게 한다.

실험 결과

연구 질문

• RQ1 실 사영 공간 $\mathbb{RP}^{n-3}$ 는 고정된 변 길이를 가진 평면 다각형의 모듈리 공간으로 기하학적으로 실현될 수 있는가?
• RQ2 한 변이 길고 나머지 변들이 단위 길이인 방향이 부여된 $n$-각형 공간과 구 $S^{n-3}$ 사이에 $\mathbb{Z}/2$-등변 호메오멀피즘이 존재하는가?
• RQ3 이 다각형 공간의 반사에 대한 몫이 $\mathbb{RP}^{n-3}$ 와 호메오멀피크한가?
• RQ4 이 구성은 로봇 운동 계획의 맥락에서 $\mathbb{RP}^{n-3}$ 의 위상적 복잡성을 어떻게 명확히 하는가?
• RQ5 예를 들어, $\mathbb{RP}^{n-3}$ 의 위상 불변량인 코homology 를 다각형 구성의 기하학적 성질을 통해 이해할 수 있는가?

주요 결과

• 모든 $n \geq 3$ 에 대해, 한 변의 길이가 $n-2$이고 나머지 모든 변의 길이가 1인 평면 $n$-각형의 이sovmetry 클래스의 공간 $\overline{M}_{n,n-2}$ 는 $\mathbb{RP}^{n-3}$ 와 호메오멀피크하다.
• $n-2 \leq r < n-1$ 인 경우, $\mathbb{Z}/2$-등변 호메오멀피즘 $\Phi: M_{n,r} \to S^{n-3}$ 이 명시적으로 구성되었으며, 이는 이전 연구에서의 모호함을 해결한다.
• 원의 교차에서 유도된 각도 매개변수를 사용해 다각형 구성 요소를 매개변수화하며, $t_i = \pm 1$ 은 기하학적으로 붕괴된 호에 대응한다.
• $\overline{M}_{n,n-2}$ 와 $\mathbb{RP}^{n-3}$ 의 식별은 로봇 운동 계획의 맥락에서 위상적 복잡성의 기하학적 해석을 제공한다.
• 이전 연구에서 제안된 lin 를 통해 $\overline{M}_{n,n-2}$ 와 $\mathbb{RP}^{n-3}$ 의 모od-2 코homology 링이 서로 동형임을 확인하였다.
• 특정 동치관계를 가진 $S^0$ 의 반복 스펙트럼을 통한 $S^{n-3}$ 의 모델이 표준 구와 호메오멀피크하다는 것이 입증되었으며, 이는 좌표 변환을 가능하게 한다.