[論文レビュー] Hit-and-Run for Sampling and Planning in Non-Convex Spaces

Yasin Abbasi-Yadkori, Peter L. Bartlett+2 more|arXiv (Cornell University)|Oct 19, 2016

Machine Learning and Algorithms被引用数 4

ひとこと要約

本稿では、滑らかさの条件下で、非凸空間におけるサンプリングと計画にHit-and-Runアルゴリズムを用いることを提案し、速い混合性を示すために、速い混合性と滑らかな測度を保つ写像の間の新たな関係を確立する分析を提供する。Hit-and-Runは、多様な幾何構造において、RRTよりも計画速度と頑健性に優れ、期待される経路長とサンプリング効率に関する理論的境界を示している。

ABSTRACT

We propose the Hit-and-Run algorithm for planning and sampling problems in non-convex spaces. For sampling, we show the first analysis of the Hit-and-Run algorithm in non-convex spaces and show that it mixes fast as long as certain smoothness conditions are satisfied. In particular, our analysis reveals an intriguing connection between fast mixing and the existence of smooth measure-preserving mappings from a convex space to the non-convex space. For planning, we show advantages of Hit-and-Run compared to state-of-the-art planning methods such as Rapidly-Exploring Random Trees.

研究の動機と目的

• 非凸で次元が高く、細い通路を含む空間において、RRTのような計画アルゴリズムに理論的保証が欠如している問題に対処すること。
• 従来凸集合に限定されていたHit-and-Runの理論的分析を、滑らかさの条件を満たす非凸領域へと拡張すること。
• 特に複雑または細い通路を有する環境において、Hit-and-Runが計画速度と幾何的頑健性においてRRTを上回ることを示すこと。
• Hit-and-Runにおける高速混合性と、凸空間から非凸空間への滑らかな測度を保つ写像の存在との間の関係を確立すること。
• 非凸空間における目標領域に到達するまでの期待ステップ数に理論的境界を設けることにより、RRTに比べてより強い性能保証を提供すること。

提案手法

• 各ステップで一様にランダムな方向を選択し、現在の点を通る最大の弦上から空間内に一様に点をサンプリングすることで、非凸空間へのHit-and-Runアルゴリズムの適応を実施する。
• 非凸空間を凸空間に変換する測度を保つリプシッツ連続写像を用い、凸空間解析で知られている混合時間の境界を適用可能にする。
• 境界効果を扱うために、最小距離ではなく平均距離に基づく修正された等周不等式を適用する。
• 混合時間の境界を導くためにコンductance解析を用い、滑らかさの条件下で次元に関して多項式時間で収束することを示す。
• サンプリングプロセスと目標領域検出を統合：サンプルが目標領域内に含まれると、有効な経路が形成され、アルゴリズムが終了する。
• 実験では、Hit-and-Runで候補状態を生成し、その後運動学的モデルを用いて物理的制約を満たすように伝搬するハイブリッド手法を採用する。

実験結果

リサーチクエスチョン

• RQ1 Hit-and-Runアルゴリズムは非凸空間において理論的に解析可能か？また、どのような条件下で高速に混合するか？
• RQ2 Hit-and-Runにおける高速混合性と、凸空間から非凸空間への滑らかな測度を保つ写像の存在との関係は何か？
• RQ3 幾何的複雑性が異なる状況下で、Hit-and-RunはRRTに比べて計画効率と頑健性において優れているか？
• RQ4 非凸空間において、Hit-and-Runを用いた場合に、目標領域に到達するまでの期待ステップ数に理論的境界を設けることができるか？
• RQ5 運動学的制約や高次元状態空間下でも、Hit-and-Runは高速収束性と均一な探索性を維持できるか？

主な発見

• 滑らかさの条件が満たされる限り、Hit-and-Runは非凸空間において多項式時間で混合し、混合時間は次元に関して多項式で有界である。
• 主な理論的知見として、高速混合性は、凸空間から非凸空間への滑らかな測度を保つ写像の存在と関連している。
• 位置のみの計画において、Hit-and-Runは全スパイラルアーム幅においてRRTを大きく上回り、直線部では顕著な高速化を達成する。
• 運動学的制約下では、Hit-and-RunはRRTに比べて目標に到達するまでの遷移回数を最大3倍まで削減する。
• 特に細いまたは複雑な通路において、Hit-and-Runはより速い収束性と状態空間全体にわたる均一なサンプリングを達成し、幾何的配置の変化に対して感受性が低い。
• 計画における期待される経路長は混合時間によって有界であり、RRTがそのような境界を持たないのに対し、より強い理論的保証を提供する。