[論文レビュー] Barycentric coordinate neighbourhoods in Riemannian manifolds

Ramsay Dyer, Gert Vegter+1 more|arXiv (Cornell University)|Jun 5, 2016

Morphological variations and asymmetry参考文献 4被引用数 10

ひとこと要約

本稿は、リーマン多様体上の重心座標が、ユークリッド単体近傍から多様体上の近傍への微分同相写像を定める定量的条件を確立する。これにより、リーマン単体が非退化であり、共有する facet に沿って正確に交わることが保証される。主な結果は、接続性と滑らかさが保証される近傍の半径に対する下界であり、曲率と辺長の制約から導出される。

ABSTRACT

We quantify conditions that ensure that a signed measure on a Riemannian manifold has a well defined centre of mass. We then use this result to quantify the extent of a neighbourhood on which the Riemannian barycentric coordinates of a set of $n+1$ points on an $n$-manifold provide a true coordinate chart, i.e., the barycentric coordinates provide a diffeomorphism between a neighbourhood of a Euclidean simplex, and a neighbourhood containing the points on the manifold.

研究の動機と目的

• リーマン多様体上の重心座標が有効な座標チャートを形成する条件を特定すること。
• 重心座標写像が微分同相写像であることを保証し、非退化なリーマン単体を可能にすること。
• トライアングルレーション内における隣接するリーマン単体間の共有 facet の幾何的整合性を解消すること。
• 重心座標写像が一意的かつ滑らかに保たれる近傍のサイズを定量すること。

提案手法

• 符号付き測度のためのエネルギー汎関数 $ x \mapsto \frac{1}{2} \int d_M(x,y)^2 \, d\mu(y) $ を用いて、リーマン中心の重心を定義する。
• ジャコビ場および比較定理を用いた曲率に基づく推定を適用し、重心の凸性と一意性を保証する。
• 重心座標写像による距離の歪みに対するリプシッツ型の上限を導出する: $ \left| d_M(b(u),b(w)) - |u-w| \right| \leq \frac{50\Lambda\rho^2}{t^2} |u-w| $。
• ユークリッド領域から多様体への写像のスケールを制御するため、$ s \geq \frac{3}{2} $ のスケール係数を導入する。
• 一定曲率のモデル空間を用いた比較議論により、重心写像の像が半径 $ \bar{r} = \left(s - \frac{18}{25s}\right)L $ の測地球内に収まるように制限する。
• 二つのリーマン単体が facet を共有し、同じ条件を満たす場合、その交差は正確に共有されるリーマン facet であることが示される。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体上の重心座標写像が、ユークリッド単体近傍から多様体上の近傍への微分同相写像となる条件は何か？
• RQ2 重心座標が定義され、一意的である座標系を維持できる近傍の最大サイズは何か？
• RQ3 共有する facet を持つ二つのリーマン単体の交差を、正確にその facet に保証するにはどうすればよいか？
• RQ4 曲率と幾何的制約が、符号付き測度の重心が凸球の内部に一意に存在することを保証するのはどのような条件か？
• RQ5 重心座標写像を曲率依存の歪みに制御可能に均一に保てるか？

主な発見

• 多様体の曲率と辺長が $ \rho^2 \leq \frac{9t^2}{625s^2\Lambda} $ を満たす限り、重心座標写像はユークリッド領域内半径 $ sL $ の近傍で微分同相写像である。
• 重心座標写像の像は、各頂点の周囲に半径 $ \bar{r} = \left(s - \frac{18}{25s}\right)L $ の測地球を含み、$ s \geq \frac{3}{2} $ のとき $ \bar{r} \geq L $ が成り立つ。
• $ s = \frac{3}{2} $ のとき、重心座標写像の像は全リーマン単体を含み、非退化性が保証される。
• 二つのリーマン単体が facet を共有し、$ s = \frac{3}{2} $ の条件を満たす場合、その交差は正確に共有されるリーマン facet である。
• 重心座標写像による距離歪みは、最大で $ \frac{50\Lambda\rho^2}{t^2} |u-w| $ までに抑えられ、曲率の上限のもとで歪みが制御される。
• 共有される facet は、反対側の頂点の重心座標がゼロとなる集合であり、写像はこの共通境界で一致する。