[論文レビュー] Hamiltonian approach to geodesic image matching

François‐Xavier Vialard|ArXiv.org|Jan 14, 2008

Geometric Analysis and Curvature Flows参考文献 14被引用数 3

ひとこと要約

本稿は、任意の次元における不連続画像の測地線的画像マッチングのハミルトニアン枠組みを導入し、初期運動量を滑らかでない部分と特異的部分に分解することによって実現する。ハミルトニアン方程式の弱解の存在および一意性を確立し、滑らかでない画像における大変形微分同相登録における測地線の効率的計算を可能にし、無限次元多様体上の最適制御および変分法的理論的基盤を備える。

ABSTRACT

This paper presents a generalization to image matching of the Hamiltonian approach for planar curve matching developed in the context of group of diffeomorphisms. We propose an efficient framework to deal with discontinuous images in any dimension, for example 2D or 3D. In this context, we give the structure of the initial momentum (which happens to be decomposed in a smooth part and a singular part) thanks to a derivation lemma interesting in itself. The second part develops a Hamiltonian interpretation of the variational problem, derived from the optimal control theory point of view.

研究の動機と目的

• 平面上の曲線マッチングのハミルトニアンアプローチを任意次元の不連続画像へ拡張すること。
• 滑らかでない、不連続な画像における大変形微分同相の文脈での測地線的画像マッチングの課題に対処すること。
• 新規の導出補題を用いて、初期運動量の構造を滑らかでない部分と特異的部分の組み合わせとして導出すること。
• 測地線マッチング問題を弱いハミルトニアン系として定式化し、解の存在および一意性を証明すること。
• 不連続性を保持し、効率的な数値実装を可能にするマルチモodal画像マッチングの計算フレームワークを提供すること。

提案手法

• 微分同相群上の積リーマン計量を用いて、微分同相の距離と画像忠実度を含むエネルギー汎関数の最小化として画像マッチングを定式化する。
• 初期運動量を滑らかでない部分と不連続性集合に台を持つ特異的部分で特徴づけるための導出補題を導入する。
• 最適制御理論を適用して測地線方程式のハミルトニアン形式を導出し、運動量保存と効率的な数値積分を可能にする。
• 滑らかでない初期データ、特に不連続画像および特異的運動量を扱えるように、ハミルトニアン系の弱形式を構築する。
• 流れの摂動解析とリー微分技術を用いて、ベクトル場の摂動に対する測地線流れの感度を導出する。
• 凸解析と射影定理に基づく弱解フレームワークを用いて、広範な初期データクラスに対して解の存在および一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 測地線的曲線マッチングのハミルトニアン枠組みを任意次元の不連続画像へどのように一般化できるか？
• RQ2 初期画像関数が不連続である場合、初期運動量の正確な構造は何か？
• RQ3 滑らかでない初期データおよび特異的運動量を許容するように、測地線マッチング問題をどのように弱い意味で定式化できるか？
• RQ4 この文脈において、ハミルトニアン系の弱解の存在および一意性を保証する条件は何か？
• RQ5 不連続性集合を状態空間の一部として組み込むことで、マルチモーダル画像マッチングのモデリングにどのように寄与するか？

主な発見

• 不連続画像の初期運動量は、キーレムマを用いて導出された結果、滑らかな領域上の滑らかでない部分と、不連続性集合に台を持つ特異的部分に自然に分解される。
• 本稿では、不連続画像を含む広範な初期データクラスに対して、ハミルトニアン系の弱解の存在および一意性を証明する。
• 弱形式により、不連続性集合上に特異的運動量を含めることができ、従来の滑らかな関数に限られた結果を拡張する。
• このフレームワークにより、滑らかでない画像における大変形微分同相登録の測地線の効率的数値計算が可能になる。
• 導出補題は、微分同相および画像変換に関するデータ適合項の変動に対する厳密な理論的基盤を提供する。
• 平面上の曲線および変形の研究を一般化しつつ、特徴点ベースのマッチングとは明確に異なり、マルチモーダル画像マッチングの統一的枠組みを提供する。