[論文レビュー] Bi-Lipschitz approximation by finite-dimensional imbeddings

Karin U. Katz, Mikhail G. Katz|ArXiv.org|Feb 18, 2009

Topological and Geometric Data Analysis参考文献 3被引用数 4

ひとこと要約

本稿では、非標準解析を用いて第一変分公式を超実数点へ拡張することで、任意のコンパクトなリーマン多様体が任意の $ C>0 $ に対して $(1+C)$-双リプシッツ埋め込みとして有限次元の $\ell^\infty$ 空間に埋め込めることが示されている。主な貢献は、無限次元のキュラトフスキー埋め込みの有限次元近似であり、任意の双リプシッツ歪みまで保存された計量構造を維持する点にあり、その点で計量的構造が保持される。

ABSTRACT

We show that the Kuratowski imbedding of a Riemannian manifold in L^\infty, exploited in Gromov's proof of the systolic inequality for essential manifolds, admits an approximation by a (1+C)-bi-Lipschitz (onto its image), finite-dimensional imbedding for every C>0. Our key tool is the first variation formula thought of as a real statement in first-order logic, in the context of non-standard analysis.

研究の動機と目的

• コンパクトなリーマン多様体が $L^\infty$ に埋め込まれる無限次元キュラトフスキー埋め込みが、制御された双リプシッツ歪みを持つ有限次元埋め込みによって近似可能であることを示す。
• グロモフの体系的不等式の証明において無限次元性が本質的であるという誤解を解消する。
• 有限次元埋め込みを用いて、双リプシッツ歪みを 1 に任意に近づけることができることを確立する。
• 非標準解析を用いて、体系的幾何学における有限次元近似の厳密な基礎を構築する。
• トポノゴフの定理における曲率仮定は不要であり、第一変分公式だけで十分であることを示す。

提案手法

• 非標準解析の転送原理を用い、第一変分公式を超現実数点へ拡張する。
• 標準部分関数を適用して超現実数距離を再び実数距離へ写像し、計量構造を保存する。
• 多様体上に有限な $\epsilon$-ネットを構成し、$\ell^\infty(\mathcal{M})$ への有限次元埋め込みを定義する。
• 注釈半径と測地的完備性を活用して、最小化測地線の局所的一意性を保証する。
• 超現実数無限小を用いて、近傍曲線に沿った弧長の第一変分を分析し、公式を非標準点へ拡張する。
• 連続性および一様連続性の非標準的特徴づけを適用し、有限次元近似における歪みを制御する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体の $L^\infty$ へのキュラトフスキー埋め込みは、制御された双リプシッツ歪みを持つ有限次元埋め込みによって近似可能か？
• RQ2 微分幾何学における第一変分公式は、一階論理文として表現可能であり、超現実数へ転送可能か？
• RQ3 曲率仮定が欠落している場合、トポノゴフの定理が体系的近似に使用できないとみなされ、代わりに第一変分公式で十分か？
• RQ4 標準部分関数および超現実数拡張を用いて、有限次元埋め込みにおける歪みを厳密に制御可能か？
• RQ5 任意の $ C>0 $ に対して、有限次元 $\ell^\infty$ 埋め込みのみを用いて $(1+C)$-双リプシッツ近似が可能か？

主な発見

• 任意の $ C>0 $ に対して、ある有限な $\mathcal{M}$ を用いて、コンパクトなリーマン多様体が $\ell^\infty(\mathcal{M})$ に $(1+C)$-双リプシッツ有限次元埋め込みが存在する。
• $\epsilon < \frac{1}{10} \mathrm{sys}(M)$ のとき、有限次元近似は体系的構造を最大で 5 倍まで保存するが、より細かいネットを用いることで任意の歪みに改善可能である。
• 第一変分公式が一階論理で定式化された場合、超現実数設定へ転送可能であり、無限小に近い点の分析が可能になる。
• 標準部分関数により、超現実数距離から実数距離を回復でき、近似が双リプシッツのままであることを保証する。
• 証明は曲率の上限やトポノゴフの比較定理を必要とせず、第一変分公式と非標準解析に依存している。
• 転送原理により、実数測地線および注釈半径に関する一階論理的命題が超現実数拡張においても成り立つため、近似の構成が可能になる。