[論文レビュー] On Low Discrepancy Samplings in Product Spaces of Motion Groups

Chandrajit Bajaj, Abhishek Bhowmick+2 more|arXiv (Cornell University)|Nov 28, 2014

Mathematical Approximation and Integration参考文献 19被引用数 5

ひとこと要約

本稿では、SO(3)^n や SE(3)^n などの運動群の積空間における決定的かつ低不恰好サンプリングを生成するための新規2段階不恰好構築法を提示する。直接積構成法に比べてサンプリングサイズがほぼ指数関数的に向上し、球面および回転群の最適理論的限界に一致する不恰好バウンドを持つ、これらの空間における初めての非自明な決定的低不恰好集合を実現する。

ABSTRACT

Deterministically generating near-uniform point samplings of the motion groups like SO(3), SE(3) and their n-wise products SO(3)^n, SE(3)^n is fundamental to numerous applications in computational and data sciences. The natural measure of sampling quality is discrepancy. In this work, our main goal is construct low discrepancy deterministic samplings in product spaces of the motion groups. To this end, we develop a novel strategy (using a two-step discrepancy construction) that leads to an almost exponential improvement in size (from the trivial direct product). To the best of our knowledge, this is the first nontrivial construction for SO(3)^n, SE(3)^n and the hypertorus T^n. We also construct new low discrepancy samplings of S^2 and SO(3). The central component in our construction for SO(3) is an explicit construction of N points in S^2 with discrepancy ildeØ(1/\sqrt{N}) with respect to convex sets, matching the bound achieved for the special case of spherical caps in \cite{ABD_12}. We also generalize the discrepancy of Cartesian product sets \cite{Chazelle04thediscrepancy} to the discrepancy of local Cartesian product sets. The tools we develop should be useful in generating low discrepancy samplings of other complicated geometric spaces.

研究の動機と目的

• SO(3)^n や SE(3)^n などの高次元の運動群の積空間における決定的かつ低不恰好サンプリングの開発。これは計算科学およびデータ科学の応用において極めて重要である。
• 単純な直接積構成法の限界（高不恰好サンプリングを生じる）を克服するため、新規の2段階不恰好フレームワークを導入する。
• SO(3)、S^2、およびハイパートーラス T^n における明示的な低不恰好点集合を構築し、球面キャップおよび凸集合に対して既知の最適バウンドと一致させる。
• 局所的カルテシアン積集合への不恰好理論の一般化を図り、トポロジーが複雑な非自明な幾何的群（SO(3) や SE(3) など）において構造的なサンプリングを可能にする。
• 混合積空間（制約付き回転領域を含む）に対し、近似的に最適なサイズと不恰好バウンドを持つ、効率的で決定的な構成を提供する。

提案手法

• 積空間を局所的カルテシアン積集合に分解することで、モジュラーな不恰好制御を可能にする2段階不恰好構築戦略を提案する。
• S^2 上に N 点を配置する明示的構成を用い、凸集合に対して不恰好 Õ(1/√N) を達成。これは [ABD12] で得られた球面キャップに対する最良知られていたバウンドと一致する。
• [Cha00] の不恰好バウンドを局所的カルテシアン積集合に適用し、古典的な積不恰好結果を非一様かつ非カルテシアン領域へ一般化する。
• ホプフファイブレーションを用いて SO(3) を S^2 上のファイブレーション（S^1 ファイバー）として表現し、ベースとファイバーの制御により構造的なサンプリングを可能にする。
• ユニオンバウンドに類似した議論を用いて、個々の因子（例：SO(3)、R^3、S^1）の不恰好バウンドを統合し、積空間全体の不恰好を制御する。
• 最終的なサンプリング集合のサイズバウンドを (n/ε)^O(log log n + log log(1/ε) log log log(1/ε)) として導出。直接積法に比べてほぼ指数関数的な改善を達成。

実験結果

リサーチクエスチョン

• RQ1 SO(3)^n および SE(3)^n において、単純な直接積構成法に著しく劣る結果を得る決定的低不恰好サンプリングを構築可能か？
• RQ2 局所的カルテシアン凸集合に対する不恰好 ε を満たす SO(3)^n 内の決定的点集合の最小サイズは何か？
• RQ3 明示的構成を用いて、球面および回転群の理論的最適バウンドに一致する不恰好バウンドを達成可能か？
• RQ4 不恰好理論は、SO(3) や SE(3) のような非自明な幾何的群における局所的カルテシアン積集合へどのように拡張可能か？
• RQ5 回転角度が部分区間へ制限された SO(3) の積空間において、達成可能な不恰好は何か？

主な発見

• 本稿では、SO(3)^n および SE(3)^n に対して、初めての非自明な決定的低不恰好サンプリングを構築し、サイズ N = (n/ε)^O(log log n + log log(1/ε) log log log(1/ε)) を達成した。
• S^2 に対しては、凸集合に対して不恰好 Õ(1/√N) を達成し、これはかつて球面キャップに対してのみ知られていた最適バウンドと一致する。
• SO(3) ⊗ SE(2)^k ⊗ SO(3) のような混合積空間に対しても、同じ漸近的サイズおよび不恰好バウンドを持つ低不恰好サンプリングを可能にする。
• 回転角度が部分区間へ制限された制約付き SO(3)^n に対しても、同じサイズスケーリングを維持しながら低不恰好を保つ構成を提供する。
• 全積空間の不恰好バウンドは ε_R + ∑ε_i で抑えられ、ここで ε_R は回転成分の不恰好、ε_i は個々の因子の不恰好である。
• 理論的枠組みは、古典的な積不恰好結果を局所的カルテシアン積集合へ一般化し、ファイブレーション構造を持つ複雑な運動群への応用を可能にする。