[论文解读] 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-空间的重心，从而完全表征紧化空间。

提出的方法

• 引入度量测度空间的超极限概念，作为分析紧化中收敛性的技术工具。
• 将量子度量测度空间（qmm-空间）定义为标准博雷尔空间，其距离函数取值于[0,1]上的概率测度，且几乎处处满足三角不等式。
• 构造从qmm-空间到无限矩阵上概率测度空间的连续单射映射τ，其像的重心代表紧化对象。
• 利用ℙ[0,1]上取值函数之间的□₁距离，将度量测度空间上的度量延拓至qmm-空间。
• 应用图极限理论中的结果，特别是重构定理，证明有限图的采样收敛等价于其关联mm-空间的采样收敛。
• 采用超极限技术与可分子代数，证明不变量在收敛下的连续性与稳定性。

实验结果

研究问题

• RQ1 格罗莫夫的度量测度空间采样紧化能否被完全表征为几何对象的集合？
• RQ2 度量测度空间的关键不变量（如可观测直径与分离度）是否可连续延拓至紧化空间？
• RQ3 采样紧化中的每个元素是否均可表示为量子度量测度空间？
• RQ4 超极限构造如何促进不变量向紧化空间的延拓？
• RQ5 有限图的采样收敛与它们关联的度量测度空间的采样收敛之间存在何种关系？

主要发现

• 度量测度空间采样紧化中的每个元素均可表示为某个量子度量测度空间的重心，从而完全表征了紧化空间。
• 可观测直径泛函在紧化空间上连续，且在采样收敛下满足上极限不等式。
• 分离度泛函Sep(X,κ₁,…,κₘ)可连续延拓至紧化空间，对收敛序列满足lim sup_n Sep(Xₙ,κ) ≤ Sep(X,κ)。
• 通过ℙ[0,1]上扩展度量d_ext定义的qmm-空间之间的□₁距离是良定义的，从而在qmm-空间空间上建立了一致的度量结构。
• mm-空间序列的采样收敛等价于其关联qmm-空间在τ映射下的收敛，证实了qmm-框架的完备性。
• 本文确认所有mm-不变量均可连续延拓至紧化空间，从而肯定地回答了格罗莫夫的问题。