[論文レビュー] Finsler Steepest Descent with Applications to Piecewise-regular Curve Evolution

François‐Xavier Vialard, Gabriel Peyré+2 more|arXiv (Cornell University)|Aug 1, 2013

Geometric Analysis and Curvature Flows参考文献 35被引用数 1

ひとこと要約

本稿は、非凸汎関数の最小化のため、非ヒルバート空間における非凸関数の最適化に、変形事前知識を非ヒルバートノルムを用いて組み込むことで、効果的な部分剛体的曲線発展を可能にする、バナッハ空間におけるフィン슬ー勾配降下法を提案する。収束性が証明され、幾何的変形制御が向上した曲線マッチングへの応用が行われる。

ABSTRACT

This paper introduces a novel steepest descent flow in Banach spaces. This extends previous works on generalized gradient descent, notably the work of Charpiat et al., to the setting of Finsler metrics. Such a generalized gradient allows one to take into account a prior on deformations (e.g., piecewise rigid) in order to favor some specific evolutions. We define a Finsler gradient descent method to minimize a functional defined on a Banach space and we prove a convergence theorem for such a method. In particular, we show that the use of non-Hilbertian norms on Banach spaces is useful to study non-convex optimization problems where the geometry of the space might play a crucial role to avoid poor local minima. We show some applications to the curve matching problem. In particular, we characterize piecewise rigid deformations on the space of curves and we study several models to perform piecewise rigid evolution of curves.

研究の動機と目的

• ヒルバート空間を超えた一般化勾配降下の拡張を、最適化におけるより良い幾何的制御を実現するためのフィン슬ー計量の導入によって行う。
• 最適化の収束が空間の幾何的性質に影響を受けるバナッハ空間において、非凸汎関数のモデリングと最適化を実現する。
• フィン슬ー構造を用いて事前知識を埋め込むことで、曲線発展における部分剛体的変形を可能にする。
• 適切な条件下で、提案されたフィン슬ー勾配降下法の収束性を証明する。
• 複雑で非一様な変形にさらされても、標準的手法を上回る頑健性を示す、曲線マッチング問題への応用。

提案手法

• 本手法は、バナッハ空間上に定義されたフィン슬ーノルムを用いて、降下方向を正則化するフィン슬ー勾配降下フローを定義する。
• 古典的な勾配降下を一般化し、変形事前知識を符号化するフィン슬ー構造に、ヒルベルト内積を置き換える。
• 降下方向は、双対空間における汎関数の部分勾配を、フィン슬ー計量で調整することで計算する。
• 汎関数およびフィン슬ー構造に関する適切な仮定の下で、リャプノフ型の議論により収束性を確立する。
• 曲線空間上での部分剛体的変形を特徴付けることで、曲線発展へのフレームワークを適用する。
• 特定のモデルを構築し、フィン슬ー計量を部分剛体的変形を好むように制約することで、そのような変形を強制する。

実験結果

リサーチクエスチョン

• RQ1 勾配降下をヒルバート空間を超えて一般化し、最適化に幾何的事前知識を組み込むにはどうすればよいか？
• RQ2 バナッハ空間における非ヒルバートノルムの使用が、非凸最適化における収束性をどのように向上させるか？
• RQ3 部分剛体的変形は、曲線発展において数学的にどのように特徴付けられ、強制されるか？
• RQ4 フィン슬ー勾配降下法がバナッハ空間で収束するための条件は何か？
• RQ5 提案手法は、複雑で非一様な変形が生じる状況下でも、標準的手法を上回る性能を示せるか？

主な発見

• 弱い仮定のもとで、フィン슬ー勾配降下法は汎関数の臨界点に収束することが示され、古典的結果が非ヒルバート的設定へと拡張された。
• 非ヒルバートノルムの使用により、空間の内面的幾何を尊重することで、非凸最適化における悪い局所最適解の回避がより効果的に行える。
• 適切に設計されたフィン슬ー計量を用いることで、曲線空間上での部分剛体的変形が数学的に特徴付けられ、強制された。
• 標準的手法と比較して、より頑健で幾何的に意味のある曲線発展が可能になった。
• 変形事前知識を最適化に原理的かつ一貫して埋め込むためのフレームワークを提供し、曲線マッチングタスクにおける性能向上を実現した。