[論文レビュー] Topological robotics: motion planning in projective spaces

Michael Färber, Serge Tabachnikov+1 more|ArXiv.org|Oct 2, 2002

Robotic Path Planning Algorithms参考文献 9被引用数 13

ひとこと要約

この論文は、R^{n+1}内で回転する直線の運動計画問題というトポロジカルロボティクスの問題を、n ≤ 23 におけるTC(RP^n)の計算によって解決する。TC(RP^n)が、RP^n が R^{k-1} に埋め込み可能であるような最小の k に等しいことを確立し、運動計画の不安定性を古典的埋め込み理論と結びつける。n ≤ 7 の場合、クォータニオンとカーラー数を用いた明示的なアルゴリズムが提供される。

ABSTRACT

We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space. The final goal is to construct an algorithm which will perform this task once the initial and final positions are given. Any such motion planning algorithm will have instabilities, which are caused by topological reasons. A general approach to study instabilities of robot motion was suggested recently by the first named author. With any path-connected topological space X one associates a number TC(X), called the topological complexity of X. This number is of fundamental importance for the motion planning problem: TC(X) determines character of instabilities which have all motion planning algorithms in X. In the present paper we study the topological complexity of real projective spaces. In particular we compute TC(RP^n) for all n<24. Our main result is that (for n distinct from 1, 3, 7) the problem of calculating of TC(RP^n) is equivalent to finding the smallest k such that RP^n can be immersed into the Euclidean space R^{k-1}.

研究の動機と目的

• 実射影空間のトポロジカル・コンプレックス TC(RP^n) を特定すること。これは、運動計画アルゴリズムにおける不安定性を定量化する。
• TC(RP^n) と RP^n がユークリッド空間への埋め込み問題との間に深い関係を確立すること。
• n ≤ 7 の場合、複素数、クォータニオン、カーラー数といった代数的構造を用いて、R^{n+1} 内の直線の明示的かつ連続的な運動計画アルゴリズムを構築すること。
• すべての n ≤ 23 に対して TC(RP^n) の計算表を提供し、ロボット工学への応用可能性を支援すること。

提案手法

• X へのパスのファイブレーション π: PX → X×X を用い、運動計画は写像 s: X×X → PX のセクションである。
• TC(X) を、X×X が k 個の開被覆に分けられ、それぞれが連続的な局所セクション s_i を持つような最小の k として定義する。
• コhomology におけるゼロ除算カップ長さの下界を適用し、TC(RP^n) を推定する。ここで、I ⊂ H*(RP^n)⊗H*(RP^n) はゼロ除算のイデアルである。
• R^{n+1}×R^{n+1} → R^k となる非特異写像 f の存在を活用し、RP^n×RP^n の開被覆を構成し、局所運動計画ルールを定義する。
• n ≤ 7 の場合、複素数の積（n=1）、クォータニオンの積（n=3）、カーラー数の積（n=7）を用いて明示的な運動計画を構築し、それらの代数的性質を活用する。
• n ≠ 1,3,7 の場合、TC(RP^n) が、RP^n が R^{k-1} に埋め込み可能であるような最小の k に等しいことを証明し、問題を古典的埋め込み理論に還元する。

実験結果

リサーチクエスチョン

• RQ1 実射影空間におけるトポロジカル・コンプレックス TC(RP^n) は何か？ そして、運動計画アルゴリズムの不安定性とどのように関係するか？
• RQ2 どの n に対して TC(RP^n) が、RP^n が R^{k-1} に埋め込み可能であるような最小の k に等しくなるか？
• RQ3 n ≤ 7 の場合、クォータニオンやカーラー数といった代数的構造を用いて、明示的な運動計画アルゴリズムを構築できるか？
• RQ4 なぜ例外的なケース n=1,3,7 では TC(RP^n) = n+1 となるのか？ 他の n とはどのように異なるのか？
• RQ5 すべての n ≤ 23 に対して TC(RP^n) の計算的構造は何か？ また、漸近的にはどのように振る舞うか？

主な発見

• すべての n ≤ 23 に対して、論文は TC(RP^n) を明示的に計算し、完全な値の表を提供する。
• n ≠ 1,3,7 の場合、TC(RP^n) は、RP^n が R^{k-1} に埋め込み可能であるような最小の整数 k に等しくなる。これにより、運動計画の複雑さと埋め込み理論が結びつけられる。
• n=1,3,7 の場合、TC(RP^n) = n+1 であり、複素数乗法、クォータニオン乗法、カーラー数乗法を用いて明示的な運動計画アルゴリズムが構築される。
• 一般に、RP^n に対する運動計画アルゴリズムは不連続であり、不安定性の順序は TC(RP^n) に等しくなる。これはトポロジカル障害を反映している。
• 運動計画の構築は、非特異写像 f: R^{n+1}×R^{n+1} → R^k に依存し、各座標が積空間内の局所領域 U_i を定義する。
• 論文は逆を示す：RP^n に対する運動計画は、RP^n → R^{k-1} への埋め込みを誘導する。これにより、運動計画問題と埋め込み問題が同値であることが示される。