[논문 리뷰] Simplicial Complexity: piecewise linear motion planning in robotics

Jesús González|arXiv (Cornell University)|2017. 01. 26.

Robotic Path Planning Algorithms인용 수 7

한 줄 요약

이 논문은 유한 심플렉스 복합체에 적합한 파르버의 위상적 복잡도의 이산적이고 알고리즘적으로 실행 가능한 변종인 심플렉스 복잡도(SC)를 도입한다. 이중 중심 분할과 심플렉스 사상의 연속성의 개념을 사용하여 기하적 실현 ∥K∥의 위상적 복잡도를 복원하며, 유한 복합체에 대해 SC(K) = TC(∥K∥)임을 증명한다. 주요 기여는 조합 위상수학을 통해 로봇 공학에서 최적의 조각별 선형 운동 플래너를 설계하기 위한 계산 가능한 프레임워크를 제공하는 것이다.

ABSTRACT

Using the notion of contiguity of simplicial maps, we adapt Farber's topological complexity to the realm of simplicial complexes. We show that, for a finite simplicial complex $K$, our discretized concept recovers the topological complexity of the realization $\|K\|$. Our approach is well suited for designing and implementing algorithms that search for optimal motion planners for autonomous systems in real-life applications.

연구 동기 및 목표

• 유한 심플렉스 복합체에 대해 파르버의 TC 개념을 이산화하여 위상적 복잡도와 실질적 운동 플래닝 간 격차를 메우는 것.
• 심플렉스 복합체를 사용하여 최적의 운동 플래너를 생성하기 위한 계산 가능하고 알고리즘 기반의 프레임워크를 개발하는 것.
• 이전의 이산 모델들이 기존의 TC 값을 제대로 반영하지 못하는 문제(예: TC(S¹) = 1)를 해결하는 것.
• 기하적 실현의 원래 위상적 복잡도를 복원하는 조합적 불변량인 심플렉스 복잡도를 수립하는 것.

제안 방법

• 제품 복합체 K × K 를 정교화하기 위해 이중 중심 분할을 사용하여 경로의 조각별 선형 근사를 가능하게 한다.
• 정의에 따라 (b,c)-심플렉스 복잡도 SCᵇᶜ(K) 는 Sᵈᵇ(K×K) 를 π₁ 와 π₂ 가 c-연속적인 부분복합체로 덮는 최소 덮개의 크기에서 1을 뺀 값이다.
• 심플렉스 사상의 연속성을 동치로 사용하여 호모토피의 이산적 유사체를 제공하고 알고리즘 실행 가능성을 확보한다.
• 심플렉스 근사 이론을 적용하여 위상적 호모토피와 조합적 연속성 클래스 간의 관계를 규명한다.
• 증가하는 b와 c에 대해 SCᵇᶜ(K) 의 극한으로 정의된 안정화된 심플렉스 복잡도 SC(K) 를 도입하여 TC(∥K∥) 수렴을 보장한다.
• 평가 사상 e: P(∥K∥) → ∥K∥×∥K∥ 와 보조정리 1.1 을 사용하여 국소 섹션의 존재성과 투영의 연속성 간의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 유한 심플렉스 복합체에 대해 원래 값이 유지되는 방식으로 위상적 복잡도를 이산화할 수 있는가?
• RQ2 최적의 운동 플래너를 계산 가능한 알고리즘으로 생성할 수 있는 조합적 불변량을 구성할 수 있는가?
• RQ3 이중 중심 분할과 연속성의 사용이 이전의 유한 공간 접근법보다 더 민첩하고 정확한 이산 모델을 제공하는가?
• RQ4 유한 복합체에 대해 안정화된 심플렉스 복잡도 SC(K) 는 원래 위상적 복잡도 TC(∥K∥) 와 동일한가?

주요 결과

• 모든 유한 심플렉스 복합체 K 에 대해 심플렉스 복잡도 SC(K) 는 위상적 복잡도 TC(∥K∥) 와 동일하다.
• 이론적 구성은 기존의 이산 모델이 실패했던 알려진 결과 TC(S¹) = 1 을 순수 조합론적 용어로 복원한다.
• SC(K) 는 b와 c 가 충분히 클 때 SCᵇᶜ(K) 가 안정화됨에 따라 잘 정의되며, 이는 TC(∥K∥) 수렴을 보장한다.
• 이 방법은 컴퓨터 구현이 가능한 최적의 조각별 선형 운동 플래너 설계를 가능하게 한다.
• 실현의 호모토피 동치에 대해 불변량 SC(K) 는 유지되며, ∥K∥ 가 수축 가능할 때(해당 경우 SC(K) = 0) 또는 홀수 차원의 구와 호모토피 동치일 때(해당 경우 SC(K) = 1)에만 성립한다.
• 시퀀스 SCᵇᶜ(K) 는 b와 c 에 대해 비감소하며, SC(K) ≥ TC(∥K∥) 이다. 정리 2.6 에서 등호가 성립함을 증명한다.