[論文レビュー] Samplings and observables. Invariants of metric measure spaces

Gábor Elek|arXiv (Cornell University)|May 31, 2012

Limits and Structures in Graph Theory参考文献 6被引用数 5

ひとこと要約

本稿は、測度付き距離空間のサンプリングコンパクト化の幾何的表現として、量子測度付き距離空間（qmm空間）を導入し、観測可能直径や分離度などのmm不変量を元の空間を超えて拡張可能にする。超極限とグラフ極限理論を用いて、コンパクト化内のすべての要素がqmm空間に対応すること、および主要な不変量がこの完備化に連続的に拡張されることを証明し、グロモフのコンパクト化空間への不変量の拡張に関する問いに解決をもたらす。

ABSTRACT

In the paper we are dealing with metric measure spaces of diameter at most one and of total measure one. Gromov introduced the sampling compactification of the set of these spaces. He asked whether the metric measure space invariants extend to the compactification. Using ideas of the newly developed theory of graph limits we identify the elements of the compactification with certain geometric objects and show how to extend various invariants to this space. We will introduce the notion of ultralimit of metric measure spaces, that will be the main technical tool of our paper.

研究の動機と目的

• 測度付き距離空間の不変量がサンプリングコンパクト化に拡張されるかどうかというグロモフの未解決問いを解決すること。
• 量子測度付き距離空間（qmm空間）を用いて、サンプリングコンパクト化の要素を幾何的対象として特徴づけること。
• 観測可能直径や分離度などの主要なmm不変量が、元の測度付き距離空間を超えて連続的に拡張されることを確立すること。
• 超極限とグラフ極限理論を用いた枠組みを構築し、コンパクト化された設定における収束と不変量を分析すること。
• コンパクト化内のすべての要素が、qmm空間の重心として生じることを証明し、コンパクト化空間を完全に表現すること。

提案手法

• コンパクト化における収束を分析する技術的道具として、測度付き距離空間の超極限の概念を導入する。
• 値が[0,1]上の確率測度値をとる、対称的でほとんど everywhere で三角不等式を満たす距離関数を持つ、標準的ボレル空間としての量子測度付き距離空間（qmm空間）を定義する。
• qmm空間から無限行列の確率測度空間への連続的かつ単射な写像τを構成し、その押し出し測度の重心がコンパクト化された対象を表す。
• ℙ[0,1]値関数間の□₁距離を用いて、測度付き距離空間上の距離をqmm空間へ拡張する。
• 特に再構成定理を含むグラフ極限理論の結果を応用し、有限グラフのサンプリング収束が、関連するmm空間のサンプリング収束に一致することを示す。
• 超極限技法と可分な部分代数を用いて、収束における不変量の連続性と安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 グロモフの測度付き距離空間のサンプリングコンパクト化は、幾何的対象の空間として完全に特徴づけられるか？
• RQ2 観測可能直径や分離度などの測度付き距離空間の主要な不変量が、コンパクト化に連続的に拡張されるか？
• RQ3 サンプリングコンパクト化内のすべての要素が、量子測度付き距離空間として表現可能か？
• RQ4 超極限構成は、コンパクト化された空間への不変量の拡張をどのように支援するか？
• RQ5 有限グラフのサンプリング収束と、それらに関連する測度付き距離空間の収束の関係は何か？

主な発見

• 測度付き距離空間のサンプリングコンパクト化内のすべての要素が、量子測度付き距離空間の重心として生じることを示し、コンパクト化空間の完全な表現を確立した。
• 観測可能直径関数はコンパクト化上で連続であり、サンプリング収束下でlim sup不等式が成り立つ。
• 分離関数 Sep(X,κ₁,…,κₘ) はコンパクト化に連続的に拡張され、収束列に対して lim sup_n Sep(Xₙ,κ) ≤ Sep(X,κ) が成り立つ。
• qmm空間間の□₁距離は、ℙ[0,1]上の拡張された距離 d_ext を用いて適切に定義され、qmm空間の空間に一貫した距離構造をもたらす。
• mm空間の系列のサンプリング収束は、それらに関連するqmm空間のτ写像における収束と同値であることが確認され、qmmフレームワークの完全性が裏付けられた。
• 本稿は、すべてのmm不変量がコンパクト化に連続的に拡張されることを確認し、グロモフの問いに肯定的に答えを出した。