[论文解读] Graph limits and hereditary properties

Svante Janson|arXiv (Cornell University)|Feb 17, 2011

Advanced Graph Theory Research参考文献 24被引用 4

一句话总结

本文研究了与遗传图类相关的图极限，重点关注禁止子图和交集图表示等结构约束。研究发现，对于某些遗传类（如无爪图和无共爪图），图极限收敛于空图或完全图极限；当图类同时包含图及其补图时，会涌现出随机极限。

ABSTRACT

We collect some general results on graph limits associated to hereditary classes of graphs. As examples, we consider some classes defined by forbidden subgraphs and some classes of intersection graphs, including triangle-free graphs, chordal graphs, cographs, interval graphs, unit interval graphs, threshold graphs, and line graphs.

研究动机与目标

• 使用图极限理论框架，表征遗传图类的图极限。
• 分析结构约束（如禁止子图或交集性质）如何影响图序列的极限行为。
• 识别图极限为确定性（例如[0]或[1]）与随机性（例如[0]和[1]的混合）的条件。
• 将特定图类（如区间图、cograph）的已知结果推广至遗传性质的一般框架。
• 在极值图论与极限理论之间建立联系，为同时为无爪图和无共爪图的图的边数建立紧确界。

提出的方法

• 使用图极限的紧致度量空间 $υ\overline{\mathcal{U}}$，通过同态密度 $t(F,G)$ 和诱导子图密度 $t_{\text{ind}}(F,G)$ 定义收敛性。
• 应用图子理论来表示图极限，其中图子 $W$ 是一个对称可测函数 $[0,1]^2 \to [0,1]$。
• 通过随机图模型表征遗传类的极限，表明极限由 $t(F,G_n)$ 在 $n \to \infty$ 时的渐近行为决定。
• 应用极值图论结果，特别是拉姆齐理论，以限制同时为无爪图和无共爪图的图的结构。
• 利用图与其补图之间的对称性与对偶性，证明在关于补图封闭的图类中，极限可以是[0]和[1]的随机混合。
• 应用测度论论证表明，若图子 $W$ 同时为无爪图和无共爪图，则 $W$ 几乎处处为0或1，从而导致平凡极限。

实验结果

研究问题

• RQ1 在何种条件下，遗传类中的图序列会收敛到唯一的图极限？
• RQ2 结构约束（如无爪图或无共爪图）如何影响遗传类可能的图极限？
• RQ3 在关于补图封闭的遗传类中，均匀随机图的极限行为如何？
• RQ4 是否可以以某种方式限制同时为无爪图和无共爪图的图的边密度，从而强制收敛到平凡极限？
• RQ5 交集图表示（如区间图、单位区间图）在多大程度上能产生非平凡图极限？

主要发现

• 若图极限同时为无爪图和无共爪图，则其几乎处处为0或1，因此唯一可能的极限为[0]（空图）或[1]（完全图）。
• 对于任意同时为无爪图和无共爪图的图序列 $G_n$，其边数满足 $e(G_n) = o(n^2)$ 或 $inom{n}{2} - e(G_n) = o(n^2)$，意味着收敛于[0]或[1]。
• 若 $n \geq R(8,8)$，则图 $G$ 同时为无爪图和无共爪图当且仅当 $G \in \mathcal{Q}$ 或 $\overline{G} \in \mathcal{Q}$，其中 $\mathcal{Q}$ 是最大度 ≤2 且无 $K_3$ 连通分量的图类。
• 在 $\mathcal{Q}$ 的闭包中唯一的图极限是 $[0]$，因此 $\mathcal{Q}$ 中的任意序列均收敛于空图极限。
• 对于均匀随机的无爪图和无共爪图 $G_n$，其分布极限为一个随机图极限，以相等概率 $1/2$ 等于[0]或[1]。
• 结果 $\widehat{\mathcal{Q}} = \{[0]\}$ 暗示：当图的连通分量被限制为长度≥4的路径和环时，不会产生非平凡图极限。