[論文レビュー] Shape Theories. II. Compactness Selection Principles

Edward Anderson|arXiv (Cornell University)|Nov 15, 2018

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

ひとこと要約

本稿では、技術的取り扱いが可能な形状（およびスケール）理論を特定するための、コンパクト性に基づく位相的選択原理を導入する。コンパクト空間をコンパクトなリー群で割った商は、解析的に良好で、ハウスドルフ的で、第二可算的で、局所コンパクトな（LCHS）分岐多様体となることを示し、これが良好な解析的性質を保証する。提案された形状理論のわずかな部分集合、特にケンダールの類似形状理論のみがこれらの基準を満たす。一方、画像解析におけるアフィンおよび射影形状理論は、単にコルモゴロフ分離性を示すにとどまり、技術的取り扱いの限界がある。

ABSTRACT

Shape(-and-scale) spaces - configuration spaces for generalized Kendall-type Shape(-and-Scale) Theories - are usually not manifolds but stratified manifolds. While in Kendall's own case - similarity shapes - the shape spaces are analytically nice - Hausdorff - for the Image Analysis and Computer Vision cases - affine and projective shapes - they are not: merely Kolmogorov. We now furthermore characterize these results in terms of whether one is staying within, or straying outside of, some compactness conditions which provide protection for nice analytic behaviour. We furthermore list which of the recent wealth of proposed shape theories lie within these topological-level selection principles for technical tractability. Most cases are not protected, by which the merely-Kolmogorov behaviour may be endemic and the range of technically tractable Shape(-and-Scale) Theories very limited. This is the second of two great bounds on Shape(-and-Scale) Theories, each of which moreover have major implications for the Comparative Theory of Background Independence as per Article III.

研究の動機と目的

• 形状（およびスケール）理論における技術的取り扱い可能性を保証するトップス選択原理を特定するため、コンパクト性条件を分析すること。
• ケンダールの類似形状理論がなぜ解析的に良好に扱えるのか、一方で多くの現代的理論（例：アフィンおよび射影）がそうではないのかを説明すること。
• 自己同型群による定数空間の商をとることで得られる関係的空間の位相的分離性（ハウスドルフ対コルモゴロフ）を特定すること。
• 標準的な多様体が失敗する分岐多様体設定において、微分幾何学的ツール（例：ファイバー束、層）の適用可能性を評価すること。
• これらの発見が、関係的物理学および幾何学における比較的背景独立性に与える影響を評価すること。

提案手法

• 関係的空間を、自己同型群による定数空間の商として分析する：$\mathfrak{R}(d,N;\mathfrak{g}) = \mathfrak{q}(d,N)/\mathfrak{g}$、ここで $\mathfrak{g} = \text{Aut}(\mathfrak{M},\boldsymbol{\sigma})$。
• コンパクト空間をコンパクトなリー群で割った商は、LCHS（局所コンパクト、ハウスドルフ、第二可算）な分岐多様体をもたらし、良好な解析的性質を保証するという定理を適用する。
• 形状理論を3つの位相的バンドに分類する：タイプ1（ハウスドルフ）、タイプ2（孤立した悪影響点を除けばハウスドルフ）、タイプ3（単にコルモゴロフ分離性を満たす）。
• Śniatyckiの部分カルテジアン微分空間およびKreck/Pflaumの（分岐多様体、層）フレームワークを用いて、非多様体の分岐空間に対しても解析的ツールを拡張する。
• 現在のコンパクト性基準を、ケンダールらによる類似形状空間位相に関する既存の結果および[49]におけるムーファーの立場と照らし合わせて比較する。
• ファイバー束手法が分岐設定で失敗する理由（ストラトムに跨る非一様なファイバー）を評価し、層または微分空間への代替が必要となることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの形状理論が、解析的に良好で（LCHSである）関係的空間を保証するコンパクト性選択基準を満たすか？
• RQ2 なぜケンダールの類似形状理論は、アフィンおよび射影形状理論と比較して優れた技術的取り扱い可能性を示すのか？
• RQ3 アフィンおよび射影形状理論に見られるような、単にコルモゴロフ分離性を満たす分岐多様体—これらは標準的な微分幾何学的ツールの適用にどの程度制限を受けるか？
• RQ4 Śniatyckiの部分カルテジアン微分空間フレームワークは、非ハウスドルフの場合に形状およびスケール空間に応用可能か？
• RQ5 これらのコンパクト性に基づく選択原理は、関係的物理学および幾何学における比較的背景独立性の範囲をどの程度制限するか？

主な発見

• ケンダールの類似形状理論は、2つのコンパクト性基準を満たす。それは、コンパクトなプリシェイプ球をコンパクトな回転群（$\mathbb{S}^{nd-1}/SO(d)$）で割ったものであり、LCHSな分岐多様体をもたらす。
• アフィンおよび射影形状理論は、画像解析やコンピュータビジョンにおいて重要であるが、コンパクト性基準を満たさず、単にコルモゴロフ分離性を示すため、解析的性質が劣る。
• コンパクト空間をコンパクトなリー群で割った商は、LCHSな商空間を保証する。これはパラコンパクト性を満たし、標準的な解析的ツールの使用を可能にする。
• LCHSでない分岐多様体（例：アフィンおよび射影理論に見られるもの）は、非一様なストラトムを有するため、標準的なファイバー束手法では取り扱えない。これに対応するには、層または微分空間の代替が必要となる。
• 提案された関係的理論のわずかな部分集合（ケンダールの理論を含む）のみが、保護的コンパクト性選択基準に含まれており、技術的に取り扱い可能な形状理論は稀であると示唆される。
• LCHSな分岐多様体は、Śniatyckiの部分カルテジアン微分空間フレームワークおよびKreck/Pflaumの（分岐多様体、層）手法の範囲内にあり、さらなる解析的考察が可能となる。