[論文レビュー] Covariant un-reduction for curve matching

Alexis Arnaudon, Marco Castrillón López+1 more|arXiv (Cornell University)|Aug 21, 2015

Morphological variations and asymmetry参考文献 9被引用数 3

ひとこと要約

本稿では、Sobolev計量を用いた時空共変な設定で非還元化を定式化することにより、場の理論における曲線マッチングのための共変な非還元化フレームワークを導入する。空間的および時間的変数を同等に扱うことで、柔軟でパrameter依存性のない形状比較を可能にし、数値結果により明示的オイラースキームが期待される解に収束することを示している。

ABSTRACT

The process of un-reduction, a sort of reversal of reduction by the Lie group symmetries of a variational problem, is explored in the setting of field theories. This process is applied to the problem of curve matching in the plane, when the curves depend on more than one independent variable. This situation occurs in a variety of instances such as matching of surfaces or comparison of evolution between species. A discussion of the appropriate Lagrangian involved in the variational principle is given, as well as some initial numerical investigations.

研究の動機と目的

• 曲線マッチングにおける測地線距離計算のパrameter依存性を解消するため、内計量設定において非還元化を再定式化すること。
• 古典的力学における非還元化プロセスを、複数の独立変数を許容する共変場理論フレームワークに一般化すること。
• 曲率重み付き計量の代わりにSobolev計量を用いることで、任意に小さい測地線距離を回避し、非還元化方程式を単純化すること。
• 数値実験を通じてフレームワークを検証し、初期値問題における明示的スキームの収束を示すこと。
• 空間と時間を対称的に取り扱うことで、シリンダーラル表面のマッチングや時空間的解析といった新規な応用を可能にすること。

提案手法

• 微分同相群 $\mathrm{Diff}(S^1)$ の作用の下での平面曲線の空間におけるラグランジュ＝ポワンカレ還元を定式化し、形状の商空間上の方程式を導出する。
• 独立なパrameter化場を導入することで共変な非還元化を実装し、非還元化された力学が還元された解へと射影されることを可能にする。
• 測地線距離の適切な定義と非還元化方程式の単純化を図るため、曲率重み付き計量の代わりにSobolev内計量（例：$H^1$）を用いる。
• 空間的および時間的変数を独立パラメータとして同等に扱う2次元時空場理論設定において、非還元化方程式を適用する。
• 初期値問題の数値積分に前向きオイラースキームを用い、非還元化方程式が形状とパrameter化の結合動的を支配することを確認する。
• パrameter依存性のない距離計算のため、曲線間の距離を「電流の方法」により算出し、数値結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 非還元化は、古典的力学から共変場理論フレームワークに一般化可能か？
• RQ2 非還元化および形状マッチングの文脈において、Sobolev計量が曲率重み付き計量を上回る利点は何か？
• RQ3 非還元化フレームワークは、曲線間のパrameter依存性のない測地線距離を保証できるか？
• RQ4 追加の独立変数（例：空間的または時間的変数）を含めることで、時間歪曲アプローチと比較して形状比較の柔軟性はどのように向上するか？
• RQ5 前向きオイラーのような明示的数値スキームは、追加の安定化なしに非還元化系において正しい解に収束する可能性はどの程度か？

主な発見

• 非還元化フレームワークにおいてSobolev計量を用いることで、曲率重み付き計量に起因する任意に小さい測地線距離の問題が解消された。
• Sobolev計量を用いることで、先行研究で用いられたより複雑な曲率重み付き形式と比較して、非還元化方程式がより単純な形となる。
• 前向きオイラー法を用いた数値シミュレーションは、適応的時間刻みや安定化なしに期待される解に収束した。
• 時間分解能が向上するにつれて、縦方向（形状）と横方向（パrameter化）のダイナミクスの結合が弱まり、変形品質が向上した。
• 電流の方法により算出された曲線間の距離は、異なるパrameter化に対しても一貫しており、パrameter依存性のないことが確認された。
• 空間と時間を作用関数において対称的な変数として取り扱うことで、シリンダーラル表面のマッチングや時空間的解析といった新規な応用が可能になった。