[論文レビュー] Matrix-valued Kernels for Shape Deformation Analysis

Mario Micheli, Joan Glaunès|arXiv (Cornell University)|Aug 27, 2013

Morphological variations and asymmetry参考文献 33被引用数 4

ひとこと要約

本稿では、計算解剖学における形状変形をモデル化するため、再生成ヒルバート空間（RKHS）に行列値カーネルを導入し、平行移動および回転に不変（TRI）なカーネルに焦点を当てている。湾曲のないおよび発散のないベクトル場の解析を可能にするフーリエ領域フレームワークを構築し、特徴点に基づく形状多様体における頑健な変形距離を実現する。スカラーカーネルから行列値カーネルを構成的に生成する手法を提示し、特徴点の動的挙動における数値的妥当性を検証する。

ABSTRACT

The main purpose of this paper is providing a systematic study and classification of non-scalar kernels for Reproducing Kernel Hilbert Spaces (RKHS), to be used in the analysis of deformation in shape spaces endowed with metrics induced by the action of groups of diffeomorphisms. After providing an introduction to matrix-valued kernels and their relevant differential properties, we explore extensively those, that we call TRI kernels, that induce a metric on the corresponding Hilbert spaces of vector fields that is both translation- and rotation-invariant. These are analyzed in an effective manner in the Fourier domain, where the characterization of RKHS of curl-free and divergence-free vector fields is particularly natural. A simple technique for constructing generic matrix-valued kernels from scalar kernels is also developed. We accompany the exposition of the theory with several examples, and provide numerical results that show the dynamics induced by different choices of TRI kernels on the manifold of labeled landmark points.

研究の動機と目的

• 再生成ヒルバート空間（RKHS）における非スカラー（行列値）カーネルの系統的かつ分類的分析を、形状変形解析に応用すること。
• 平行移動および回転に不変（TRI）な行列値カーネルの理論的枠組みを構築し、ベクトル場に幾何学的に意味のある距離を定義すること。
• カーネルが誘導する内積を用いて、特に特徴点多様体を含む形状空間の解析を可能にするヒルバート空間の構築。
• スカラーカーネルから一般化された行列値カーネルを生成する構成的技法を提供し、変形のモデリングにおける柔軟性を高めること。
• 異なるTRIカーネル選択を用いたラベル付き特徴点配置における変形ダイナミクスのシミュレーションを通じて、手法の数値的妥当性を検証すること。

提案手法

• ベクトル場のヒルバート空間上における作用素値再生成カーネルとして行列値カーネルを定義し、正定値性および微分的整合性を保証する。
• フーリエ変換を用いてTRIカーネルを特徴付け、ベクトル場の平行成分（発散なし）および垂直成分（渇曲なし）にそれぞれ対応する径方向成分にカーネルを分解する。
• フーリエ領域を用いてRKHS構造を分析し、特に渇曲なしおよび発散なしのベクトル場に対して、自然な分解と距離計算を可能にする。
• スカラーカーネルから対称性および正定値性を保ちながら、射影に基づく手法を用いて行列値カーネルを構成する。
• ラベル付き特徴点の多様体にカーネルフレームワークを適用し、カーネルが誘導する内積を用いて変形エネルギーおよび測地線路を計算する。
• フーリエ領域におけるスペクトル分解を用いて、カーネルの厳密正定値性の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 幾何学的に整合性のある方法で、形状変形をモデル化するための行列値カーネルを系統的に構築および分類するにはどうすればよいか？
• RQ2 行列値カーネルがベクトル場に平行移動および回転に不変な距離を誘導するための必要十分条件は何か？
• RQ3 行列値カーネルのフーリエ領域表現が、形状変形における渇曲なしおよび発散なしのベクトル場の解析をどのように簡素化するか？
• RQ4 スカラーカーネルから行列値カーネルを生成する一般的で効果的な手法は何か？ その際、望ましい幾何学的および解析的性質を保持することが求められる。
• RQ5 計算解剖学における特徴点に基づく形状変形ダイナミクスにおいて、異なるTRIカーネルの選択がどのように影響を与えるか？

主な発見

• 平行移動および回転に不変（TRI）な行列値カーネルは、径方向関数 $ h^{ op}( ho) $ および $ h^{ot}( ho) $ を用いてフーリエ領域で完全に特徴付けられ、これらはベクトル場の平行成分および垂直成分を支配する。
• カーネルが厳密正定値であるための必要十分条件は、$ (0, ho) $ のある部分で $ h^{ op} $ または $ h^{ot} $ の少なくとも一方が厳密に正であることである。これにより、RKHS上での内積が一意に定義される。
• 対称的かつ径方向のスカラーカーネル $ f $ のフーリエ変換は、径方向に一様であり、ベッセル関数を用いて表される。具体的には $ \frac{\rho^{1-d/2} J_{d/2-1}(\rho)}{\rho^{d/2-1}} $ と表現可能であり、周波数領域における径方向対称性が裏付けられる。
• 提案された構成手法により、各点における接空間および法線空間へのスカラーカーネルの射影を用いて、行列値カーネルが生成され、対称性および正定値性が保持される。
• 数値結果から、異なるTRIカーネルの選択が特徴点配置における変形ダイナミクスに顕著な差をもたらすことが示された。測地線路やエネルギー最小化の挙動に顕著な差が観察された。
• 本フレームワークにより、カーネル畳み込みを用いた変形の効率的計算が可能となり、微分同相写像の群作用によって誘導されるリーマン計量を伴う形状多様体の解析が可能になった。