[论文解读] Negative association in uniform forests and connected graphs

Geoffrey Grimmett, Severin Winkler|ArXiv.org|Feb 17, 2003

Limits and Structures in Graph Theory参考文献 18被引用 29

一句话总结

本文研究了有限图中均匀随机森林及其连通子图的负相关性，提出此类子图中的边对表现出负相关性——即一条边的存在会降低另一条边存在的可能性。通过利用图对称性并结合基于索引的剪枝策略的定制计算机算法，作者验证了所有顶点数≤8或边数≤18的图中边的负相关性，将已知的均匀生成树的负相关性结果推广至森林和连通子图。

ABSTRACT

We consider three probability measures on subsets of edges of a given finite graph $G$, namely those which govern, respectively, a uniform forest, a uniform spanning tree, and a uniform connected subgraph. A conjecture concerning the negative association of two edges is reviewed for a uniform forest, and a related conjecture is posed for a uniform connected subgraph. The former conjecture is verified numerically for all graphs $G$ having eight or fewer vertices, or having nine vertices and no more than eighteen edges, using a certain computer algorithm which is summarised in this paper. Negative association is known already to be valid for a uniform spanning tree. The three cases of uniform forest, uniform spanning tree, and uniform connected subgraph are special cases of a more general conjecture arising from the random-cluster model of statistical mechanics.

研究动机与目标

• 研究有限图上的均匀随机森林和连通子图是否对所有不同的边对 e 和 f 均表现出边负相关性。
• 将已知的均匀生成树的负相关性性质推广至更广泛的随机子图类别。
• 设计并应用一种计算算法，以验证所有顶点数≤8或边数≤18的图的负相关性。
• 检验一个猜想：均匀森林和连通子图中边负相关性成立，该猜想推广了随机簇模型中的结果。

提出的方法

• 定义三种随机子图模型：均匀森林、均匀连通子图和均匀生成树，每种模型均从其对应的子图集合中均匀随机选取。
• 将边负相关性表示为涉及子图计数的组合不等式：M_{e,f} M_∅ ≤ M_e M_f。
• 实现一种递归算法，枚举所有顶点数最多为9且边数≤18的图，生成具有特定边集的候选子图。
• 利用图同构不变量（j-不变量）识别并跳过等价的猜想实例，从而降低计算负载。
• 维护一个j-不变量的索引数据库，通过重用同构配置的计算结果，避免重复计算。
• 应用剪枝规则，避免处理与先前检查过的案例在对称意义下等价的图，显著减少搜索空间。

实验结果

研究问题

• RQ1 对于任意有限图 G，其上的均匀森林是否对所有不同的边对 e 和 f 均表现出边负相关性？
• RQ2 对于有限图上的均匀连通子图模型，该结论是否同样成立？
• RQ3 能否设计一种计算高效的算法，以验证所有顶点数≤8或边数≤18的图的负相关性？
• RQ4 图中的对称性在多大程度上可减少子图枚举中的冗余计算？
• RQ5 控制负相关性的组合不等式在不同图族中的行为如何？

主要发现

• 在所有顶点数不超过八个的有限图中，均匀森林模型的边负相关性成立。
• 通过使用考虑对称性的计算算法，已验证所有九个顶点且边数不超过十八的图中该性质成立。
• 该算法通过j-不变量识别同构配置，显著减少了不同猜想实例的数量。
• 利用j-不变量的索引数据库可高效重用先前计算的结果，避免冗余计算。
• 该方法通过利用结构对称性和剪枝策略，成功处理了计数森林这一#P-完全问题。
• 结果支持更广泛的猜想：负相关性在均匀森林和连通子图中成立，与随机簇模型的预测一致。