[论文解读] Limits of subcritical random graphs and random graphs with excluded minors

Agelos Georgakopoulos, Stephan Wagner|arXiv (Cornell University)|Dec 11, 2015

Stochastic processes and statistical mechanics参考文献 19被引用 8

一句话总结

本文通过引入一种允许无限度数极限对象的可数根图空间的紧化方法，建立了亚临界族（如仙人掌图、外平面图和串联-并联图）中均匀随机标记与非标记图的几乎必然本杰明-施特劳姆收敛性。关键贡献在于提出了一种广义收敛概念，确保所有来自极小封闭族的随机图序列均存在收敛子序列，从而将经典BS收敛性扩展至可容纳高阶点的场景。

ABSTRACT

We prove local convergence results for the uniformly random, labelled or unlabelled, graphs from subcritical families. As an example special case, we prove Benjamini-Schramm convergence for the uniform random unlabelled tree. We introduce a compactification of the space of countable (connected) rooted graphs, and use it to generalise the notion of Benjamini-Schramm convergence in order to allow for vertices of infinite degree in the limit object.

研究动机与目标

• 建立亚临界族中均匀随机标记与非标记图的几乎必然本杰明-施特劳姆收敛性。
• 解决在极小封闭族中高阶点出现在根邻域时标准BS收敛性失效的问题。
• 引入可数根图同构类空间的紧化，允许极限对象中出现无限度数的顶点。
• 将收敛概念推广至非局部有限图，实现所有此类序列的紧致性与子序列收敛性。
• 猜想：所有来自极小封闭族的均匀随机图在该广义框架下均收敛。

提出的方法

• 在可数根图的同构类上引入度量 $ d $，其中 $ d(G,H) = 0 $ 当且仅当 $ G $ 与 $ H $ 在任意有限半径内具有同构的邻域。
• 构造有限根图空间的完备化 $ (bG^*, d) $，证明其完备且完全有界，因而紧致。
• 在 $ bG^* $ 上的概率测度空间上定义弱拓扑，利用紧致性确保所有随机图序列均存在收敛子序列。
• 利用根图 $ G $ 的核心构造 $ C(G) $（即底层与第一层构成的子图），识别 $ d=0 $ 等价类的典范代表。
• 证明对于亚临界族，均匀随机 $ n $ 顶点图序列在此广义意义下几乎必然收敛。
• 展示非标记树的极限对象为具有类似无限星形结构的核心的随机根图，从而推广了树极限的概念。

实验结果

研究问题

• RQ1 均匀随机非标记树是否在本杰明-施特劳姆意义下收敛？若收敛，其极限为何？
• RQ2 本杰明-施特劳姆收敛性能否推广至允许极限对象中出现无限度数顶点的情形？
• RQ3 为何标准BS收敛性在某些极小封闭族（如尖顶森林）中失效？如何修正此问题？
• RQ4 在广义收敛框架下，极小封闭族中所有随机图序列是否必然存在收敛子序列？
• RQ5 根图的核心 $ C(G) $ 是否可作为紧化空间中 $ d=0 $ 等价类的典范代表？

主要发现

• 任意亚临界族中均匀随机标记连通图序列在本杰明-施特劳姆意义下几乎必然收敛，其极限对象为具有树状结构的随机根图。
• 均匀随机非标记树在广义本杰明-施特劳姆意义下几乎必然收敛，确认了Stufler独立获得的结果。
• 可数根图同构类空间 $ (bG^*, d) $ 是紧致的，确保所有随机图序列均存在收敛子序列。
• 对于非标记图，无根图的BS极限与根图的弱极限存在结构差异，凸显了收敛行为中的本质区别。
• 根图 $ C(G) $ 在 $ d=0 $ 等价类中所有图中同构，为极限对象提供了典范代表。
• 广义收敛框架允许极限中出现无限度数顶点，从而解决了标准BS收敛性在如尖顶森林等族中失效的问题。