[论文解读] Left and right convergence of graphs with bounded degree

Christian Borgs, Jennifer Chayes+2 more|arXiv (Cornell University)|Jan 31, 2010

Mathematical Dynamics and Fractals参考文献 14被引用 4

一句话总结

本文建立了有界度图序列中左收敛与右收敛的等价性，证明了对于足够密集的加权图 H，局部收敛（左）蕴含归一化对数同态密度收敛（右）。关键结果通过统计物理中的技术（包括多勃鲁什金唯一性与梅耶展开）将稠密图收敛等价性推广至有界度情形。

ABSTRACT

The theory of convergent graph sequences has been worked out in two extreme cases, dense graphs and bounded degree graphs. One can define convergence in terms of counting homomorphisms from fixed graphs into members of the sequence (left-convergence), or counting homomorphisms into fixed graphs (right-convergence). Under appropriate conditions, these two ways of defining convergence was proved to be equivalent in the dense case by Borgs, Chayes, Lovász, Sós and Vesztergombi. In this paper a similar equivalence is established in the bounded degree case. In terms of statistical physics, the implication that left convergence implies right convergence means that for a left-convergent sequence, partition functions of a large class of statistical physics models converge. The proof relies on techniques from statistical physics, like cluster expansion and Dobrushin Uniqueness.

研究动机与目标

• 在有界度设定下建立稠密图收敛等价性的类比，其中左收敛（局部结构）蕴含右收敛（划分函数行为）。
• 解决一个开放问题：有界度图序列的左收敛是否蕴含对固定目标图 H 的对数同态密度收敛。
• 提供统计物理模型在图序列上划分函数收敛的条件，将图收敛与物理可观测量联系起来。
• 探索有界度图序列极限对象的存在性与结构，将本杰明-施特拉姆极限扩展至右收敛情形。
• 研究温度与边权参数在收敛行为中的作用，特别是在图上统计力学模型的背景下。

提出的方法

• 使用多勃鲁什金唯一性准则控制图序列中的相关性，确保在有界度与足够密集的目标图 H 下，对数同态密度收敛。
• 应用梅耶展开将对数同态函数 ln hom(G_n, H) 分解为连通子图之和，实现渐近分析。
• 采用簇展开技术控制梅耶展开中的误差项，确保当 n → ∞ 时归一化对数密度收敛。
• 引入边权接近 1（或在 [1−δ,1] 内）的加权图 H 以模拟统计力学模型，通过归一化使 α_H = 1 以保持一致性。
• 使用子图交集图 L(A₁,…,Aₙ) 分析重叠结构，并在展开过程中应用容斥原理。
• 对 ln t(G_n, H) 应用梅耶展开的变体，其中 t(G_n, H) 是同态密度，以在 H 的适当条件下推导出收敛性。

实验结果

研究问题

• RQ1 有界度图序列的左收敛是否蕴含对固定 H 的归一化对数同态密度 ln hom(G_n, H)/|G_n| 收敛？
• RQ2 目标图 H 的何种结构或密度条件可确保左收敛蕴含右收敛？
• RQ3 是否能通过有界度情形下的图序列收敛来表征统计物理模型中划分函数的收敛性？
• RQ4 是否存在左收敛的对偶表征，以右收敛形式表达，类似于稠密图情形？
• RQ5 温度（通过边权缩放）如何影响定义在图序列上的模型中划分函数的收敛性？

主要发现

• 有界度图序列的左收敛蕴含对所有足够密集的加权图 H，有 ln hom(G_n, H)/|G_n| 收敛，如定理 3.1 所形式化。
• 反之，若对所有足够密集的 H，有 ln hom(G_n, H)/|G_n| 收敛，则序列 (G_n) 是左收敛的，从而建立了双向等价性。
• 当目标图 H 的边权远离零（例如在 [1−δ,1] 内）且总节点权重 α_H = 1 时，该收敛成立。
• 该证明依赖于多勃鲁什金唯一性与簇展开技术，确保相关性衰减蕴含对数密度收敛。
• 当温度 T > 2D 时，即使在低温下，划分函数 hom(G_n, H^{1/T}) 对所有左收敛序列也收敛。
• 若用一个大权重节点替代 H 中的多个孪生节点，该结果的变体仍成立，且在相同条件下保持收敛。