[論文レビュー] Sobolev metrics on shape space of surfaces in n-space

Martin Bauer, Philipp Harms+1 more|arXiv (Cornell University)|Sep 19, 2010

Morphological variations and asymmetry参考文献 8被引用数 7

ひとこと要約

この論文は、平面曲線に対するSobolevリーマン計量を、R^n に埋め込まれたコンパクトで向き付け可能な曲面の形状空間へと拡張し、埋め込みから誘導される不変計量を用いた形状の幾何的枠組みを確立する。主な貢献は、Sobolev型計量を用いて形状空間に完全なリーマン多様体構造を構築したことであり、高次元埋め込み空間における形状の変異化や変形の厳密な解析を可能にする。

ABSTRACT

Abstract. This paper extends parts of the results from [14] for plane curves to the case of surfaces in Rn. Let M be a compact connected oriented manifold of dimension less than n without boundary. Then shape space is either the manifold of submanifolds of Rn of type M, or the orbifold of immersions from M to Rn modulo the group of diffeomorphisms of M. We investigate the Sobolev Riemannian metrics on shape space: These are induced by metrics of the following form on the space of immersions:

研究の動機と目的

• 平面曲線に対して既に開発済みのSobolevリーマン計量を、R^n に埋め込まれた曲線の状況へ一般化すること。
• コンパクトで向き付け可能な多様体MからR^n への埋め込みのなす空間を、M 上の微分同相群の作用で割った商として形状空間を定義し、その性質を分析すること。
• Sobolev型計量が、埋め込み空間上に定義された計量が、それらに対応する形状空間上に一意的かつ完全なリーマン計量として正しく誘導されることを確立すること。
• 高次元環境空間における曲面の形状変異化や変形を研究するための幾何的枠組みを提供すること。

提案手法

• コンパクトで向き付け可能な多様体M（dim M < n）からR^n への埋め込みの空間を、M 上の微分同相群の作用で割った商空間として形状空間を定義する。
• 微分作用素の次数k ≥ 1 を用いて、j次微分のL2ノルムを含む内積を用いて、埋め込み空間上にSobolevリーマン計量を構築する。
• 微分同相群作用の下での不変性を示すことで、これらの計量が形状空間上に一意的かつ完全なリーマン計量として誘導されることを証明する。
• 各埋め込みにおける接空間の構造を用い、環境空間R^n とM 上の誘導計量からのプルバックを介してリーマン計量を定義する。
• 微分幾何学および無限次元多様体上の解析の道具を用いて、形状空間上に得られるリーマン多様体構造の正則性と完全性を分析する。
• 計量が表面の再パrameterizationに対して不変であることを示し、異なるパrameterization間での幾何的整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 平面曲線に対して定義済みのSobolevリーマン計量を、R^n 内の曲面へどのように一般化できるか？
• RQ2 埋め込み空間上のSobolev計量が、商形状空間上に一意的計量を誘導するための条件は何か？
• RQ3 誘導されたSobolev計量のもとで、結果として得られる形状空間は完全なリーマン多様体構造を備えているか？
• RQ4 微分作用素の次数の選択が、形状空間の幾何的性質にどのように影響するか？
• RQ5 微分同相群は、形状空間上の計量構造をどのように保っているか？

主な発見

• コンパクトで向き付け可能な多様体M（dim M < n）からR^n への埋め込み空間上に定義されたSobolevリーマン計量は、それに対応する形状空間上に一意的かつ完全なリーマン計量を誘導する。
• M 上の微分同相群による作用で割った埋め込み空間の商として定義される形状空間は、誘導されたSobolev計量のもとでリーマン多様体構造を有する。
• 誘導された計量は表面の再パラメータライゼーションに対して不変であり、異なるパラメータ表示間での幾何的整合性を保証する。
• この構成により、平面曲線に関する先行研究がR^n 内の高次元曲面へと一般化され、より複雑な形状空間への幾何的解析枠組みが拡張された。
• 計量定義に高次微分作用素を用いることで、リーマン多様体構造の十分な正則性と完全性が保証される。
• この枠組みは、形状空間上の測地線や曲率の研究を可能とし、表面変形の定量的解析を可能にする。