[論文レビュー] The general setting for Shape Analysis

Sylvain Arguillère|arXiv (Cornell University)|Apr 7, 2015

Morphological variations and asymmetry被引用数 1

ひとこと要約

本稿は多様体 M 上の形状空間の一般抽象的枠組みを確立し、形状解析分野における既存のアプローチを統一する。LDDMM 法が形状空間に自然に部分リーマン構造を誘導することを示し、これらの空間が本質的に部分リーマン的であることが判明し、リーマン的であるという長年の誤解を是正する。また、線形化された形状、繊維化された形状、および持ち上げられた形状など、さまざまな形状タイプのハミルトニアン測地線方程式を導出する。

ABSTRACT

In shape analysis, the concept of shape spaces has always been vague, requiring a case-by-case approach for every new type of shape. In this paper, we give a general definition for an abstract space of shapes in a manifold. This notion encompasses every shape space studied so far in the literature, and offers a rigorous framework for several possible generalizations. We then give the appropriate setting for LDDMM methods of shape analysis, which arises naturally as a sub-Riemannian structure on a shape space. This structure is deduced from the space of infinitesimal deformations and their infinitesimal action. We then describe the properties of the Hamiltonian geodesic flow, and study several applications of equivariant mappings between shape spaces.

研究の動機と目的

• 数学的形状解析における既存の形状空間定義の曖昧さと個別ケース処理の問題を解決すること。
• 既知のすべての形状タイプを一般化する、多様体 M 上の形状空間の厳密で抽象的な定義を確立すること。
• LDDMM 法が形状空間に本質的に部分リーマン構造を誘導することを示し、長年の誤解であるリーマン的であるという仮定を是正すること。
• 無限次元部分リーマン形状空間上でのハミルトニアン測地線フローの一般枠組みを構築すること。
• 同変写像と幾何的持ち上げを用いて、LDDMM フレームワークを線形化形状や持ち上げられた形状空間といった新しい形状タイプに拡張すること。

提案手法

• 多様体 N が微分同相群 Diff(M) の作用を受けるときの軌道として抽象的形状空間を定義し、形状空間が M 上の右不変ヒルベルト空間 V のベクトル場から部分リーマン構造を引き継ぐこと。
• ベクトル場が形状に作用する無限小作用を用いて、V 上の内積 ⟨·,·⟩ から形状空間上の部分リーマン計量を導出する。
• 時間に依存するベクトル場 X(t)∈V における作用積分 ∫⟨X(t),X(t)⟩dt として LDDMM エネルギーを定式化し、変形コストを最小化する。
• エネルギー関数のリーマン変換を用いて、形状空間の余接 bundle 上でのハミルトニアン測地線フローを構築する。
• 形状空間間の同変写像を用いて幾何的構造を転送し、例えば特徴点集合の接バンドルなどの持ち上げられた空間上での測地線方程式を導出する。
• 具体的な形状タイプ、例えば速度を伴う特徴点（接バンドルの持ち上げ）およびベクトル場を伴う繊維化形状に対して、明示的なハミルトニアン測地線方程式を導出する。

実験結果

リサーチクエスチョン

• RQ1 数学的形状解析における既知のすべての形状タイプを統合する、一般で抽象的な形状空間の定義は何か？
• RQ2 LDDMM における形状空間が本質的に部分リーマン的であるのはなぜか？また、これは測地線計算にどのように影響を与えるか？
• RQ3 無限次元部分リーマン形状空間上でのハミルトニアン測地線フローは、どのように定式化され、計算可能か？
• RQ4 例えば接バンドルへの持ち上げなど、形状空間の持ち上げが、繊維化形状のようなより複雑な幾何的構造のモデリングに与える影響は何か？
• RQ5 既知の形状タイプから新しい形状タイプの測地線方程式を体系的に導出するために、形状空間間の同変写像を用いることができるか？

主な発見

• 本稿は、LDDMM における形状空間が本質的に部分リーマン的であることが示され、文脈の長年の誤分類を是正した。
• 形状空間上の部分リーマン構造は、M 上の右不変ヒルベルト空間 V のベクトル場から自然に生じ、V が形状に作用する無限小作用を介して計量が誘導される。
• 特徴点集合、ベクトル場を伴う繊維化形状、および持ち上げられた形状空間（例：特徴点集合の接バンドル）に対して、明示的なハミルトニアン測地線方程式が導出され、具体的な力学的ダイナミクスが得られた。
• T S（特徴点集合の接バンドルなど）のような持ち上げられた形状空間では、位置、運動量、速度の間で結合されたダイナミクスが現れ、ガウスカーネルやベクトル場の相互作用を含む項が含まれる。
• 運動量更新式には、位置運動量と速度運動量の間の幾何的結合を反映する非自明な項、例えば [la · uj]va − [lj · ua]vj が含まれる。
• 本枠組みは、例えばデューフォンモデルのような先行研究を一般化し、筋繊維や動的構造をより豊かに幾何的にモデリング可能な持ち上げられた形状空間を導入した。