[论文解读] Graphons and cut metric on sigma-finite measure spaces

Svante Janson|arXiv (Cornell University)|Aug 5, 2016

Advanced Topology and Set Theory参考文献 6被引用 8

一句话总结

本文将图论理论扩展至σ-有限测度空间，建立了在切度量下图论的等价性、完备性与紧致性的基础结果。通过拉回与平凡扩张刻画等价图论，证明了完全有界性的条件，并对切度量下完全有界集合给出了完整刻画，将稀疏图极限理论从概率空间推进至更一般情形。

ABSTRACT

Borgs, Chayes, Cohn and Holden (2016+) recently extended the definition of graphons from probability spaces to arbitrary $σ$-finite measure spaces, in order to study limits of sparse graphs. They also extended the definition of the cut metric, and proved various results on the resulting metric space. We continue this line of research and give various further results on graphons and the cut metric in this general setting, extending known results for the standard case of graphons on probability spaces. In particular, we characterize pairs of equivalent graphons, and we give new results on completeness and compactness.

研究动机与目标

• 将图论与切度量理论从概率空间推广至一般的σ-有限测度空间，以支持稀疏图极限的研究。
• 刻画在切度量下两个图论何时等价，推广标准图论设定下已知的结果。
• 建立切度量空间中完备性与完全有界性的条件，弥补Borgs等人早期工作中存在的空白。
• 对切度量下图论集合的完全有界性给出完整刻画，这对紧致性与收敛性分析至关重要。

提出的方法

• 利用拉回与平凡扩张刻画图论的等价性，证明两个图论在切度量下等价当且仅当它们可由同一拉回或平凡扩张导出。
• 应用$ L^∞(\mathbb{R}_+) $中的弱-*紧致性，提取与图论相关联的特征函数序列的极限点。
• 采用切范数与切度量$ \delta_\square $分析收敛性与有界性，将标准$[0,1]$-取值图论设定下的技术推广。
• 利用任意σ-有限测度空间均可约化为具有勒贝格测度的$ \mathbb{R}_+ $这一事实，简化分析。
• 利用$ L^1 $与$ L^\infty $之间的对偶性，分析特征函数及其张量积的弱-*收敛性。
• 应用泛分析中的结果，包括弱-*拓扑的可分性与度量化性，以证明紧致性与收敛性性质。

实验结果

研究问题

• RQ1 在σ-有限测度空间上定义的两个图论在切度量下何等价？其等价性如何刻画？
• RQ2 在一般σ-有限设定下，何种条件可确保图论集合在切度量下的完备性？
• RQ3 切度量下图论集合的完全有界性有何完整刻画？
• RQ4 在σ-有限框架下，拉回与平凡扩张如何影响切度量的行为？
• RQ5 是否可在不假设额外正则性条件的情况下刻画图论集合的紧致性？

主要发现

• 在Borel σ-有限测度空间上，两个图论在切度量下等价当且仅当存在一对几乎处处相等的拉回。
• 等价性的完整刻画为由拉回与平凡扩张生成，将Lovász（2012）在标准设定下的结果推广至σ-有限情形。
• 在切度量下，所有图论的空间并非完备，但完全有界集合可通过切范数与拉回条件完全刻画。
• 一个图论集合在切度量下完全有界当且仅当其在切范数下一致有界，并满足与测度至多为1的集合相关的拉回条件。
• 本文证明：任意图论序列若具有有界切范数，则其存在子列在切度量下收敛，当且仅当其对应的特征函数序列存在弱-*收敛子列。
• 当且仅当对应特征函数序列存在弱-*极限时，具有有界切范数的图论单位球在切度量下是紧致的，这在附加假设下可导出相对紧致集合的刻画。