[论文解读] Warmth and mobility of random graphs

Sukhada Fadnavis, Matthew Kahle+1 more|arXiv (Cornell University)|Sep 4, 2010

Topological and Geometric Data Analysis参考文献 18被引用 3

一句话总结

本文研究了 Erdős–Rényi 随机图 $ G(n,p) $ 的温暖度，引入了从无限 $ d $-分支树到 $ G(n,p) $ 的‘冷映射’存在的近乎精确阈值，该阈值决定了温暖度参数。研究表明，当 $ p = O(n^{-eta}) $ 时，温暖度集中在至多两个值上，并验证了 Lovász 关于‘几乎所有’图的可移动性与色数之间关系的猜想，同时揭示了统计物理与拓扑图不变量之间的深层联系。

ABSTRACT

A graph homomorphism from the rooted $d$-branching tree $ϕ: T^d o H$ is said to be cold if the values of $ϕ$ for vertices arbitrarily far away from the root can restrict the value of $ϕ$ at the root. Warmth is a graph parameter that measures the non-existence of cold maps. We study warmth of random graphs $G(n,p)$, and for every $d \ge 1$, we exhibit a nearly-sharp threshold for the existence of cold maps. As a corollary, for $p=O(n^{-α})$ warmth of $G(n,p)$ is concentrated on at most two values. As another corollary, a conjecture of Lovász relating mobility to chromatic number holds for "almost all" graphs. Finally, our results suggest new conjectures relating graph parameters from statistical physics with graph parameters from equivariant topology.

研究动机与目标

• 分析随机图 $ G(n,p) $ 的温暖度参数，特别是其集中性与相变行为。
• 研究从无限 $ d $-分支树到 $ G(n,p) $ 的‘冷映射’的存在性，该映射决定了根着色约束的不存在性。
• 验证 Lovász 关于‘几乎所有’图的可移动性与色数关系的猜想。
• 探索统计物理参数（温暖度、可移动性）与拓扑不变量（邻域复形连通性）之间的深层结构联系。

提出的方法

• 将图 $ H $ 的温暖度 $ w(H) $ 定义为最大的 $ d $，使得不存在从 $ T^{d-2} $ 到 $ H $ 的冷映射，其中冷映射通过远处顶点限制根值。
• 利用 Brightwell 与 Winkler 的等价关系：当且仅当 $ H $ 中存在一个 $ d $-稳定的子集族时，$ H $ 不是 $ (d+2) $-温暖的。
• 分析边概率 $ p = n^{-eta} $，利用概率方法与图的性质，识别出冷映射存在的近乎精确阈值。
• 证明当 $ p $ 超过某一阈值时，$ G(n,p) $ 几乎必然具有性质 $ ho^s_3 $（局部连通性），从而蕴含邻域复形 $ ext{conn}[ u(G)] $ 的高连通性。
• 应用拓扑工具，证明在特定 $ p $ 范围内，有 $ w(G) o ext{conn}[ u(G)] + 3 $，从而将温暖度与拓扑不变量联系起来。
• 利用邻域复形 $ u(G) $ 及其连通性，结合等变拓扑与组合拓扑的结果，推导出温暖度的界。

实验结果

研究问题

• RQ1 对于哪些 $ p = n^{-eta} $ 值，随机图 $ G(n,p) $ 几乎必然允许从 $ T^d $ 到 $ G(n,p) $ 的冷映射？其阈值行为如何？
• RQ2 当 $ p = O(n^{-eta}) $ 时，温暖度参数 $ w(G(n,p)) $ 的集中程度如何？为何其取值至多为两个值？
• RQ3 Lovász 的猜想——可移动性是色数的下界——在‘几乎所有’图中是否成立？能否在随机图设定下得到验证？
• RQ4 在随机图中，统计物理参数（温暖度、可移动性）与拓扑不变量（邻域复形连通性）之间是否存在深层结构联系？
• RQ5 不等式 $ w(H) o ext{conn}[ u(H)] + 3 $ 是否可被证明或推广为所有有限图的一般猜想？

主要发现

• 当 $ p = O(n^{-eta}) $ 时，尽管温暖度并非单调图性质，$ w(G(n,p)) $ 仍集中在至多两个值上。
• 冷映射 $ T^d o G(n,p) $ 存在性的近乎精确阈值存在，其行为类似于固-液相变，且该阈值依赖于 $ d $ 与 $ eta $。
• Lovász 的猜想——可移动性是色数的下界——在 $ G(n,p) $ 中渐近几乎必然成立，从而在‘几乎所有’图中得到证实。
• 当 $ rac{1}{s+1} < eta < rac{1+s}{1+s+s^2} $ 时，几乎必然有 $ w(G(n,p)) o ext{conn}[ u(G(n,p))] + 3 $，建立了拓扑参数与统计物理参数之间的强关联。
• 不等式 $ w(H) o ext{conn}[ u(H)] + 3 $ 在完全图、Kneser 图 $ KG_{n,k} $（当 $ k o 3 $ 时）以及满足 $ ho(H) o 3 $ 的图中已得到验证，支持其作为一般猜想的合理性。
• 本文推测 $ G(n,p) $ 的温暖度存在一个精确阈值，尽管温暖度并非单调，暗示随机图中存在普遍的相变行为。