[论文解读] Connectedness in graph limits

Svante Janson|ArXiv.org|Feb 26, 2008

Limits and Structures in Graph Theory参考文献 16被引用 10

一句话总结

本文通过使用加权组合定义图极限的直接和，引入了图极限连通性的概念，证明了每个图极限均可唯一分解为连通分量。主要贡献在于通过有限图序列的渐近分量大小、收敛图序列中的最小割，以及与相关无限随机图几乎必然连通性的等价性，对图极限连通性进行了表征。

ABSTRACT

We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric functions on a probability space; there are natural definitions of direct sums and connectedness for such functions, and there is a perfect correspondence with the corresponding properties of the graph limit. Similarly, every graph limit determines an infinite random graph, which is a.s. connected if and only if the graph limit is connected. There are also characterizations in terms of the asymptotic size of the largest component in the corresponding finite random graphs, and of minimal cuts in sequences of graphs converging to a given limit.

研究动机与目标

• 将有限图的连通性概念扩展至图极限，即稠密图序列的极限对象。
• 通过权重定义图极限的直接和运算，推广有限图的不相交并运算。
• 证明每个图极限均可唯一分解为连通分量，类似于有限图的情形。
• 通过有限图序列的渐近性质和最小割，对图极限连通性进行表征。
• 建立图极限连通性与所诱导的无限随机图几乎必然连通性之间的等价性。

提出的方法

• 基于有限图序列的收敛性，定义图极限 Γ₁, Γ₂ 和 α ∈ [0,1] 的加权直接和运算 αΓ₁ ⊕ (1−α)Γ₂。
• 使用割距离拓扑和割范数定义图序列收敛至图极限，确保与直接和构造相容。
• 证明若两个图序列分别收敛至极限 Γ 和 Γ′，且顶点比例收敛至 α 和 1−α，则其不相交并收敛至 αΓ ⊕ (1−α)Γ′。
• 引入图极限的分量概念，即连通极限 Γ₁，使得 Γ = αΓ₁ ⊕ (1−α)Γ₂ 对某个 α ∈ (0,1] 和图极限 Γ₂ 成立。
• 将直接和运算扩展至可数个图极限的族，权重非负且总和不超过 1，从而实现分量分解。
• 建立图极限连通性与有限图序列中分量大小渐近行为及最小割之间的等价性。

实验结果

研究问题

• RQ1 有限图中的连通性概念能否以有意义的方式推广至图极限？
• RQ2 是否存在对任意图极限的唯一连通分量分解，类似于有限图的情形？
• RQ3 图极限的连通性与收敛至它的有限图中最大分量的渐近大小有何关系？
• RQ4 有限图序列中的最小割与它们极限的连通性之间存在何种关系？
• RQ5 与图极限相关的无限随机图如何与极限的连通性相关联？

主要发现

• 每个图极限 Γ ∈ U∞ 均可唯一表示为连通分量的直接和，可能包含无穷多个分量，权重非负且总和为 1。
• 图极限不连通当且仅当存在一个收敛至它的有限图序列，其顶点集可被平衡划分，且跨割边数为 o(v²)。
• 与图极限相关的无限随机图几乎必然连通，当且仅当该图极限本身连通。
• 有限图收敛至极限 Γ 时，其最大分量的渐近大小为 o(v²)，当且仅当 Γ 不连通。
• 图极限不连通当且仅当存在一个收敛至它的有限图子序列，以及一组线性大小部分的划分，且部分之间边数为 o(v²)。
• 图极限的直接和运算 αΓ₁ ⊕ (1−α)Γ₂ 是良定义的，并且与有限图序列的收敛性相容。