[論文レビュー] Geometric dynamics of optimization

François Gay–Balmaz, Darryl D. Holm+1 more|arXiv (Cornell University)|Dec 16, 2009

Mathematical Dynamics and Fractals参考文献 62被引用数 6

ひとこと要約

本稿は、変形の非微分同相的ペナルティ項を含む形で、形状変換をモデル化するメタモルフィシスを用いた画像登録のための幾何学的枠組みとして最適化ダイナミクスを導入する。最適制御問題にラグランジュ＝ポワンカレおよびハミルトニアン＝ポワンカレ還元を適用することで、EPDiffを一般化する新しいハミルトニアンおよびラグランジュ方程式の運動方程式が導かれる。これにより、2成分のカマッサ＝ホルム方程式を含む新しい可積分系が得られる。

ABSTRACT

This paper investigates a family of dynamical systems arising from an evolutionary re-interpretation of certain optimal control and optimization problems. We focus particularly on the application in image registration of the theory of \emph{metamorphosis}. Metamorphosis is a means of tracking the optimal changes of shape that are necessary for registration of images with various types of data structures, without requiring that the transformations of shape be diffeomorphisms. This is a rich field whose possibilities are just beginning to be developed. In particular, metamorphosis and its related variants in the geometric approach to control and optimization can be expected to produce many exciting opportunities for new applications and analysis in geometric dynamics.

研究の動機と目的

• 画像登録における最適化問題の幾何力学的枠組みを構築すること、特に微分同相性制約を緩和するためにメタモルフィシスを用いること。
• 画像登録を変分原理および運動量写像によって支配される進化的力学系として再解釈すること。
• 最適制御および還元理論を用いて、EPDiff方程式を非微分同相的かつペナルティ付きの形状変換に一般化すること。
• 計算解剖学における最適化ダイナミクスのための統一的幾何的定式化を、ラグランジュ＝ポワンカレおよびハミルトニアン＝ポワンカレ還元によって確立すること。
• 流体力学、剛体、可積分PDEなど多様な系にこの枠組みを適用し、新たな力学的構造を明らかにすること。

提案手法

• ペナルティ項を含む最適制御問題にラグランジュ＝ポワンカレ還元を適応し、形状変形における不正確またはソフトな制約をモデル化する。
• 運動量写像およびリー＝ポアソン括弧を用いて、半直積リー代数上の変分原理からハミルトニアン形式を導出する。
• ラグランジュ系をハミルトニアン系に変換するためのレジェンドル変換を構築し、変数(μ, n, β)（運動量、密度、双対変数）を導入する。
• スケワ対称行列𝒪を用いて、還元系のダイナミクスを符号化するポアソン括弧構造を導出する。
• 具体的な例（重いトップ、剛体、流体方程式、カマッサ＝ホルム）にこの枠組みを適用し、最適還元が新たな可積分系を生み出す様子を示す。
• バック・トゥ・ラベルズ写像および微分同相群の左作用を用いて、座標に依存しない幾何的・座標フリーな方法で流体および形状の進化をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 最適制御問題としての画像登録は、幾何力学を用いてどのように力学系として再解釈できるか？
• RQ2 運動量写像およびリー＝ポアソン構造は、特徴点、輪郭などのデータ構造と進化的PDE解を結ぶ役割を果たすか？
• RQ3 非微分同相的変形に対する2次ペナルティ項を導入することで、EPDiffを超える新たな力学系がどのように得られるか？
• RQ4 ラグランジュ＝ポワンカレおよびハミルトニアン＝ポワンカレ還元を、最適化ダイナミクスの運動方程式を導出するために体系的に行えるか？
• RQ5 古典的力学的および流体モデルの最適還元から、カマッサ＝ホルム方程式を含む新たな可積分系はどのように生じるか？

主な発見

• 本稿では、最適還元を用いて1次元カマッサ＝ホルム方程式の可積分ハミルトニアン拡張として2成分のカマッサ＝ホルム方程式が導出された。
• SE(2)上でのメタモルフィシス方程式は、一般枠組みの特定の例として導出され、形状と強度の変化がペナルティ項によって結合されていることが示された。
• レジェンドル変換された変数(μ, n, β)は、スケワ対称行列𝒪によって定義されるリー＝ポアソン括弧構造を満たし、これにより系の全ダイナミクスが符号化されている。
• 括弧式(8.61)がμに関して線形で、nおよびβに関して二次的であることが示され、半直積リー代数の双対上の系のリー＝ポアソン性が確認された。
• この枠組みにより、EPDiff方程式が非微分同相的かつペナルティ付き変形に一般化され、計算解剖学におけるより広範な応用が可能になった。
• 運動量写像は、画像データ（例：特徴点、輪郭）と進化的PDEの正準変数との間の標準的同型写像を提供し、最適経路の計算を可能にした。