[論文レビュー] Symmetric Motion Planning

Michael Färber, Mark Grant|ArXiv.org|Oct 27, 2006

Robotic Path Planning Algorithms被引用数 5

ひとこと要約

本稿では、AからBへの運動がBからAへの運動の時間反転であることを要請するロボット工学における運動計画のための新しい不変量、対称的トポロジカル・コンプレックス（TC^S）を導入する。同定の同相的コホロジーと、セクションのカテゴリー・ウェイトの新概念を用いて、コホロロジー的下界を確立し、特異的多様体に対しては、TC^S(X)がカップ長より2倍以上であることを証明している。主な結果として、カップ積のカテゴリー・ウェイトがmである場合、TC^S(X) ≥ 2m+1 が成り立つことが示されている。

ABSTRACT

In this paper we study symmetric motion planning algorithms, i.e. such that the motion from one state A to another B, prescribed by the algorithm, is the time reverse of the motion from B to A. We experiment with several different notions of topological complexity of such algorithms and compare them with each other and with the usual (non-symmetric) concept of topological complexity. Using equivariant cohomology and the theory of Schwarz genus we obtain cohomological lower bounds for symmetric topological complexity. One of our main results states that in the case of aspherical manifolds the complexity of symmetric motion planning algorithms with fixed midpoint map exceeds twice the cup-length. We introduce a new concept, the sectional category weight of a cohomology class, which generalises the notion of category weight developed earlier by E. Fadell and S. Husseini. We apply this notion to study the symmetric topological complexity of aspherical manifolds.

研究の動機と目的

• AからBへの経路がBからAへの経路の時間反転であるような、対称的運動計画アルゴリズムを形式化し、研究すること。
• 新しい位相的不変量、対称的トポロジカル・コンプレックス（TC^S）を定義し、標準的なTC不変量と比較すること。
• 同相的コホロジーとシュバルツ・ジェネルの理論を用いて、TC^Sのコホロロジー的下界を確立すること。
• 非対称的状況に一般化するための、セクションのカテゴリー・ウェイトの概念を導入し、応用すること。
• 特異的多様体におけるTC^Sを計算し、それが空間のカップ長の2倍を超えることを示すこと。

提案手法

• すべてのt ∈ [0,1]に対して、s(A,A)(t) = A および s(B,A)(t) = s(A,B)(1−t) を満たす対称的運動計画を定義する。
• B(X;2)（非順序付き配置空間）をベースとする、対称的経路ファイブレーション π^σ_G: E_σ → B(X;2) のシュバルツ・ジェネルとして、対称的トポロジカル・コンプレックス TC^S(X) を定義する。
• Z_2-同相的コホロジーとカルタン＝レレイ・スペクトル系列を用いて、ファイブレーション π^σ_G を分析し、コホロロジー的下界を導出する。
• コホロロジー類のセクションのカテゴリー・ウェイトを定義し、ファデル＝スコットのカテゴリー・ウェイトを一般化することで、対称的セクションの複雑さを測定する。
• 理論を特異的多様体に適用し、その基本群が離散的であるK(π,1)空間としての構造を活用して、ループ空間のホモトピー型を単純化する。
• 閉じた滑らかな特異的多様体Xについて、カップ長がmであるとき、m−1個のウェイト1の類と1つのウェイト1の類の積が、引き戻しにおいて非自明であることを示すことにより、TC^S(X) ≥ 2m+1 を証明する。

実験結果

リサーチクエスチョン

• RQ1 対称的運動計画はどのように位相的不変量として形式化され、標準的なトポロジカル・コンプレックスとはどのように異なるか？
• RQ2 対称的トポロジカル・コンプレックスの下界を求めるために、どのようなコホロロジー的道具が利用可能か？
• RQ3 新しいセクションのカテゴリー・ウェイトの概念は、古典的カテゴリー・ウェイトとどのように関係し、どのような利点を提供するか？
• RQ4 特異的多様体の対称的トポロジカル・コンプレックスは何か？ そして、カップ長とどのように関係するか？
• RQ5 対称的トポロジカル・コンプレックスはカップ長の2倍を超える可能性があるか？ どのような条件下で成立するか？

主な発見

• 任意の閉じた滑らかな多様体Xに対して、TC^S(X) ≥ 2·cat(X) が成り立つ。ここでcat(X)はルステルニク＝シュナイレルマン・カテゴリーである。
• 特異的多様体に対しては、対称的トポロジカル・コンプレックスTC^S(X)は、空間のカップ長を2倍以上超える。特に、カップ長がmであるとき、TC^S(X) ≥ 2m+1 が成り立つ。
• 著者らは、コホロロジー類のセクションのカテゴリー・ウェイトを導入し、これは古典的カテゴリー・ウェイトを一般化するものであり、TC^Sの下界を導出する上で中心的な役割を果たす。
• 対称的ファイブレーション π^σ_G におけるユニバーサル類 u⊗u の引き戻しがコホロジーで消えることは、下界を証明するために不可欠である。
• 証明は、特異的多様体ではループ空間 ΩX×ΩX が離散的集合のホモトピー型を持つこと、したがって S(ΩX×ΩX) が円のワジントをなすことを利用しており、これによりスペクトル系列の解析が単純化される。
• 主な結果は、スペクトル系列の議論により確立され、m−1個のウェイト1の類と1つのウェイト1の類の積が、引き戻しにおいて非自明であることを示す。これにより、g(π^σ_G) ≥ 2m が得られる。