[论文解读] On the critical value function in the divide and color model

András Bálint, Vincent Beffara+1 more|arXiv (Cornell University)|Sep 15, 2011

Stochastic processes and statistical mechanics参考文献 11被引用 9

一句话总结

本文研究了图上划分-染色（DaC）模型中临界着色值 $ r_c^G(p) $ 的连续性与单调性，表明在 $ \mathbb{Z}^2 $ 上，$ r_c^G(p) $ 在 $[0, \frac{1}{2})$ 上连续，并构造了在 $ p = \frac{1}{2} $ 处不连续的有界度图，从而解决了渗滤理论中关于局域性的问题。

ABSTRACT

The divide and color model on a graph $G$ arises by first deleting each edge of $G$ with probability $1-p$ independently of each other, then coloring the resulting connected components (\emph{i.e.}, every vertex in the component) black or white with respective probabilities $r$ and $1-r$, independently for different components. Viewing it as a (dependent) site percolation model, one can define the critical point $r_c^G(p)$. In this paper, we mainly study the continuity properties of the function $r_c^G$, which is an instance of the question of locality for percolation. Our main result is the fact that in the case $G=\mathbb Z^2$, $r_c^G$ is continuous on the interval $[0,1/2)$; we also prove continuity at $p=0$ for the more general class of graphs with bounded degree. We then investigate the sharpness of the bounded degree condition and the monotonicity of $r_c^G(p)$ as a function of $p$.

研究动机与目标

• 理解划分-染色模型中临界着色参数 $ r_c^G(p) $ 对边参数 $ p $ 的依赖关系。
• 研究 $ r_c^G(p) $ 的连续性性质，特别是与图结构相关的 $ p = 0 $ 和 $ p = \frac{1}{2} $ 处的性质。
• 检验有界度条件对连续性的严格性，并确定 $ r_c^G(p) $ 是否关于 $ p $ 单调。
• 构造 $ r_c^G(p) $ 在连通渗滤阈值以下表现出不连续性的图的显式例子。
• 建立 DaC 模型与渗滤理论中局域性问题之间的联系。

提出的方法

• 使用随机支配论证，以 $ r_c^G(0) $（即点渗滤的临界值）为基准，推导 $ r_c^G(p) $ 的界。
• 应用柯尔莫哥洛夫 0-1 定律与耦合技术，分析 DaC 模型中无限黑簇出现的概率。
• 采用图 $ D_n $ 的递归构造，并通过此类图的序列定义极限图 $ G = \Gamma_D $，以研究临界行为。
• 利用引理 15，将有限图中簇概率的极限与无限极限图中的临界值联系起来。
• 利用引理 16 构造一个具有在 $ p = \frac{1}{2} $ 处出现锐阈值行为的有界度图序列，从而实现 $ r_c^G(p) $ 的不连续性。
• 分析 $ f^{D_n}(p,r) $ 和 $ h^{D_n}(p) $ 的渐近行为，推导出决定 $ r_c^G(p) $ 的极限，依据临界阈值条件。

实验结果

研究问题

• RQ1 对于有界度图，临界值函数 $ r_c^G(p) $ 在 $ p = 0 $ 处是否连续？
• RQ2 即使图具有有界度，$ r_c^G(p) $ 是否可能在 $ p > 0 $ 处出现不连续性？
• RQ3 有界度假设如何影响 $ r_c^G(p) $ 的连续性？该条件是否严格？
• RQ4 DaC 模型是否表现出局域性，即边保留概率 $ p $ 的微小扰动是否仅引起 $ r_c^G(p) $ 的微小变化？
• RQ5 临界值 $ r_c^G(p) $ 与 $ \mathbb{Z}^2 $ 上的底层连通渗滤结构之间有何关系？

主要发现

• 对于 $ G = \mathbb{Z}^2 $，临界值函数 $ r_c^G(p) $ 在区间 $[0, \frac{1}{2})$ 上连续。
• 对于任意有界度图 $ G $，通过随机支配界可证明 $ r_c^G(p) $ 在 $ p = 0 $ 处连续。
• 存在一个图 $ G $ 满足 $ p_c^G > 0 $，使得 $ r_c^G(p) $ 在 $ p = 0 $ 处不连续，表明有界度是 $ p = 0 $ 处连续性的必要条件。
• 存在一个有界度图 $ G $ 满足 $ p_c^G > \frac{1}{2} $，使得 $ r_c^G(p) $ 在 $ p = \frac{1}{2} $ 处不连续，该图通过具有锐阈值行为的图序列构造而成。
• 当 $ n \to \infty $ 时，$ f^{D_n}(p,r) $ 的极限满足 $ \lim_{n \to \infty} f^{D_n}(p,r) = p + (1-p)r $（当 $ p > 0 $ 时），这意味着 $ r_c^G(p) \to \frac{1}{2} $ 当 $ p \to 0^+ $，而 $ r_c^G(0) = \frac{1}{\sqrt{2}} $，从而确认在 $ p = 0 $ 处存在不连续性。
• 当 $ p = \frac{1}{2} $ 时，临界值满足 $ r_c^G(\frac{1}{2}) \leq r_1 < r_0 \leq r_c^G(p) $ 对所有 $ p < \frac{1}{2} $ 成立，其中 $ r_0 $ 是方程 $ r(1 + r) = 1 $ 的解，且 $ r_1 = \frac{1}{2} $，从而证明在 $ \frac{1}{2} $ 处存在不连续性。