[論文レビュー] Geodesics on Shape Spaces with Bounded Variation and Sobolev Metrics

Giacomo Nardi, Gabriel Peyré+1 more|arXiv (Cornell University)|Feb 26, 2014

Advanced Differential Geometry Research被引用数 4

ひとこと要約

この論文は、変分法の直接法を用いて、$BV^{2}$ フィンスラー計量下で、任意の2つの $BV^{2}$-正則平面曲線の間の最小測地線の存在を確立する。主な貢献は、無限次元形状空間における測地線の完全性と指数写像の全射性の証明であり、数値的検証により、形状登録における $BV^{2}$ と $H^{2}$ 計量の間で顕著な異なる挙動が示された。

ABSTRACT

This paper studies the space of $BV^2$ planar curves endowed with the $BV^2$ Finsler metric over its tangent space of displacement vector fields. Such a space is of interest for applications in image processing and computer vision because it enables piecewise regular curves that undergo piecewise regular deformations, such as articulations. The main contribution of this paper is the proof of the existence of the shortest path between any two $BV^2$-curves for this Finsler metric. Such a result is proved by applying the direct method of calculus of variation to minimize the geodesic energy. This method applies more generally to similar cases such as the space of curves with $H^k$ metrics for $k\geq 2$ integer. This space has a strong Riemannian structure and is geodesically complete. Thus, our result shows that the exponential map is surjective, which is complementary to geodesic completeness in infinite dimensions. We propose a finite element discretization of the minimal geodesic problem, and use a gradient descent method to compute a stationary point of the energy. Numerical illustrations show the qualitative difference between $BV^2$ and $H^2$ geodesics.

研究の動機と目的

• Finsler計量下で、任意の2つの $BV^{2}$-正則平面曲線の間の最短経路（最小測地線）の存在を確立すること。
• 特に区分的正則変形を対象とする場合に、標準的リーマン計量を超えた形状空間の理論的基盤を拡張すること。
• 無限次元曲線空間における測地線の数値的計算を支援する変分的枠組みを提供すること。
• $BV^{2}$ と $H^{k}$ 計量の形状登録における幾何的および数値的性質の比較すること。

提案手法

• 測地線エネルギーを $BV^{2}$ 曲線空間上で最小化するために、変分法の直接法を適用する。
• 数値的計算を可能にするために、測地線問題の有限要素離散化を用いる。
• 非凸最小化問題を緩和し、勾配降下最適化を可能にする。
• $BV^{2}$-ノルムに基づく Finsler 計量を採用し、区分的正則で、おそらく剛体な曲線の進化を促進する。
• 弱位相におけるエネルギー関数の収束を保証する再パラメータ化戦略を導入する。
• マルティンゲール論法を用いて、$BV^{2}$ 空間における存在証明に不可欠なエネルギーの下方連続性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Finsler計量下で、任意の2つの $BV^{2}$-曲線の間に最小測地線が存在するか？
• RQ2 $BV^{2}$ 計量は $H^{k}$ 計量と比較して、測地線の挙動および数値的安定性においてどのように異なるか？
• RQ3 この $BV^{2}$ 形状空間において、指数写像が全射であることを示せるか？ これは測地線完全性を示唆する。
• RQ4 非凸最適化において、初期化の選択が意味のある測地線に収束するのにおよぼす影響は何か？
• RQ5 この変分的枠組みは、$BV^{2}$ や $H^{k}$ を超える他のバナッハ空間位相へ一般化可能か？

主な発見

• 変分法の直接法を用いて、任意の2つの $BV^{2}$-曲線の間に最小測地線が厳密に証明された。
• $BV^{2}$ 形状空間は測地線的に完全であり、指数写像は全射である。これは強い幾何的構造を示唆する。
• 数値実験により、$BV^{2}$ 測地線は $H^{2}$ 測地線よりも区分的正則性をより良く保つことが示された。$H^{2}$ 測地線は滑らかさを好む。
• 初期化の選択が収束に顕著に影響し、複雑な場合においては、定数初期化よりも区分的アフィン写像が優れた性能を示した。
• Finslerエネルギーにおけるパラメータ $\mu_2$ は微分のジャンプを制御し、中間曲線の滑らかさに直接的な影響を与える。
• マルティンゲールに基づく議論により、双対空間の特徴付けに依存することなく、$BV^{2}$-ベースの測地線エネルギーにおける下方連続性を達成した。