[论文解读] A Regularity Lemma for Bounded Degree Graphs and Its Applications: Parameter Testing and Infinite Volume Limits

Gábor Elek|arXiv (Cornell University)|Nov 18, 2007

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

一句话总结

该论文为具有次指数增长的有界度图建立了正则性引理，使得通过随机采样可测试继承图性质。此外，该引理被进一步应用于证明统计力学模型中对数配分函数的无限体积极限的存在性，以及非周期无限图上积分态密度的非随机性。

ABSTRACT

We prove a regularity lemma for bounded degree graphs of subexponential growth. As an application we show that the edit-distance from a hereditary property is testable via random samplings in the graph category above. Using the regularity lemma we also prove the existence of the infinite volume limit of some log-partition functions as well as the non-randomness of the integrated density of states for random Hamiltonians in the case of aperiodic infinite graphs.

研究动机与目标

• 为具有次指数增长的有界度图开发一个定制化的正则性引理。
• 证明在有界度图设置下，通过随机采样可测试到继承图性质的编辑距离。
• 在图上的统计力学模型中，建立某些对数配分函数的无限体积极限的存在性。
• 证明非周期无限图上随机哈密顿量的积分态密度收敛到非随机极限。

提出的方法

• 将Szemerédi正则性引理适配到具有次指数增长的有界度图，确保在度数约束下保持正则性。
• 利用正则性结构分析图的编辑距离，并设计基于采样的继承性质测试算法。
• 应用正则性引理控制图序列的渐近行为，特别是在无限体积极限下。
• 利用正则性框架分析非周期无限图上随机哈密顿量的谱性质，以证明积分态密度的收敛性。
• 利用次指数增长确保正则分解中的一致性与控制性。
• 通过正则性结构在热力学极限下建立对数配分函数的收敛性。

实验结果

研究问题

• RQ1 能否为具有次指数增长的有界度图制定一个正则性引理？
• RQ2 在有界度图模型中，是否可通过随机采样测试到继承图性质的编辑距离？
• RQ3 此类图上的对数配分函数是否具有无限体积极限？
• RQ4 非周期无限图上随机哈密顿量的积分态密度是否收敛到非随机极限？

主要发现

• 成功为具有次指数增长的有界度图建立了正则性引理，将正则性方法的应用范围扩展到稀疏图族。
• 任何继承图性质的编辑距离均可通过随机采样测试，其查询复杂度仅依赖于误差和置信度参数。
• 对于具有次指数增长的有界度图，某些模型的对数配分函数的无限体积极限存在。
• 非周期无限图上随机哈密顿量的积分态密度收敛到非随机极限，表明在热力学极限下具有谱刚性。