5. 紧致性的应用
我们现在将使用 的紧致性来证明几个结论, 分别是 graphon 的强正则性引理, 图同态密度和切割范数定义的收敛之间的等价性, 以及任意图同态密度收敛的 graphon 序列都存在极限.
作为热身, 我们将对于证明任意的 graphon, 存在图在切割距离意义下一致收敛到该 graphon. 下面的引理证明无需用到紧致性:
引理 5.1. 对于任意 和任意 graphon , 存在满足 的图 .
证明. 根据测度论的知识, 存在一个阶跃函数 满足 . 对于任何常值 graphon , 存在一个图 使得 . 实际上, 对于足够大的 , 随机图 满足这个上界的概率很大. 因为阶跃函数由许多常值函数构成, 所以我们可以通过拼凑各种密度的随机图来找到一个满足 的图 . 所以这是我们想要的.
然而, 在上述引理中, 图的大小可能取决于 . 这一点可以通过紧致性来完善.
命题 5.2. 对于任意 , 存在 使得对于任意 graphon , 存在一个满足 的 顶点图 .
证明. 对于一个图 , 定义开球 , 用来表示 的 邻域.
令 取遍所有的图, 根据引理 5.1, 对应的 构成了 的一个开覆盖. 根据紧致性, 这个开覆盖有一个有限子覆盖. 所以存在一组数量有限的图 , 满足 覆盖 . 令 是 顶点数量的最小公倍数. 所以对于每个 , 存在 顶点图 满足 . (通过将 的每个顶点替换成用 个顶点得到 , 见图 ??) . 所以 包含在某个 顶点图 的 开球内, 这就是我们想要的.
笔记 5.3. 不幸的是, 上述证明没有提供关于 如何依赖于 的信息. 这是应用紧致性的副作用. 我们可以使用正则性找到给出界限的替代证明.
直观上, 紧致性与正则性引理具有相似性: 两者都表明图空间在某种意义上非常小. 事实上, 他们之间有着更明确的联系: 我们在紧致性证明中使用了弱正则性引理, 而强正则性引理则可以直接从紧致性推导出来.
定理 5.4 (graphon 的强正则性引理 Lovász and Szegedy 2007). 令 是一个正实数序列. 存在 使得每个 graphon 都可以写成其中
• | 是一个由 个部分组成的阶跃函数, 其中 . |
• | . |
• | . |
笔记 5.5. 如果 , 该定理近似等价于 Szemerédi 正则性引理. 如果 , 那么它近似等价于弱正则性引理.
证明. 熟悉测度论的读者应该知道, 任何可测函数都可以通过阶跃函数很好的近似. 因此, 对于每个 graphon 都存在阶跃函数 使得 . 不幸的是, 阶跃函数的阶数可能取决于 ; 我们将在这个地方使用紧致性.
对于 graphon , 令 是满足 ( 是步数为 的阶跃函数) 条件下最小的 . 则 显然是 的开覆盖, 根据紧致性, 存在一组有限的 graphon 使得 覆盖 .
之前我们通过 密度的序列定义了 graphon 序列的收敛性. 然而, 直到现在我们还不知道收敛的 graphon 序列的极限的 密度是否可以通过单个 graphon 来实现. 如果包含 graphon 的图空间不是完备的, 这是不正确的, 正如我们在拟随机图的中看到的那样. 但在 graphon 空间中, 该结果是正确的, 通过紧致性我们可以快速验证这一点.
定理 5.6 (极限存在定理).
设 graphon 序列 满足: 对应 密度的序列 对所有图 收敛. 则 graphon 的序列收敛到某一 graphon . 也就是说, 存在一个 graphon 满足: 对于每个 , 都成立.
图极限的最后一个重要结论是我们之前定义的两个收敛概念的等价性.
定理 5.7 (收敛的等价性 Borgs, Chayes, Lovász, Sós, and Veszter-gombi 2008). 密度的收敛等价于切割范数意义下的收敛. 也就是说, 对于一个 graphon 序列 , 以下是等价的:
• | 对于所有图 , 密度的序列 收敛. |
• | 序列 是 意义下的柯西列. |
证明. 一个方向通过定理 3.0.1 可以立即得到. 回顾计数引理, 如果序列 是 意义下的柯西列, 那么计数引理意味着对于每个图 , 密度的序列是柯西列, 因此是收敛的.
对于反方向, 假设对所有图 , 密度的序列收敛. 设 和 为 的极限点 (即收敛子序列的极限) . 我们想要证明 .
令 是满足 的子序列. 根据计数引理, 对于所有的图 , 成立. 由于 密度的序列收敛, 对于所有的图 我们有 . 类似地, 对于所有的 我们有 . 因此, 对于所有的 我们有 .
根据随后将介绍的引理 5.8, 我们最终得到 .
引理 5.8 (矩引理).
如果 graphon 和 满足: 对于所有的图 , , 则
概要.
令 表示 顶点上的 随机图 (见定义 2.0.1) . 可以证明, 对于任任意 顶点图 , 这意味着 随机图的分布完全由 密度决定. 所以 和 具有相同的分布.
令 是一个顶点集为 的边加权的 随机图. 边权重设置如下. 设 是 上的独立均匀随机变量. 设置 的边权重为 .
我们不加证明的给出如下两个结论:
• | 当 , (以概率 1 收敛) . |
• | 当 时 (以概率 1 收敛) . |
由于 和 具有相同的分布, 所以从上述结论和三角不等式可以得出 .
紧致性和矩引理的一个结论是 graphon 计数引理的 “逆” 也成立: 密度的界限暗含了着切割距离的上界. 证明留作练习.
推论 5.9 (逆计数引理). 对于任意 , 存在 和整数 满足: 如果 和 对于任意最多 顶点图 有则 .
笔记 5.10. 矩引理意味着可以通过其 密度复原 graphon. 我们可能会问是否所有的 密度都是必要的, 或者是否可以从有限多个密度中恢复一个 graphon? 例如, 我们已经看到, 如果 是密度为 的伪随机 graphon, 则 , ; 并且该 graphon 是由这些 密度唯一确定的. 所以如果这两个等式成立, 则 .
以这种方式从有限多个 密度中恢复的 graphon 称为 “finitely forcible graphon”. 已知任意的阶跃函数和 half graphon 是 finitely forcible graphon (Lovász and Sós 2008) . 更一般地说, 对于任何在 上单调递减的对称多项式 , 是 finitely forcible graphon (Lovász and Szegedy 2011) .