[论文解读] Bunkbed conjecture for complete bipartite graphs and related classes of graphs

Thomas Richthammer|arXiv (Cornell University)|Apr 27, 2022

Stochastic processes and statistical mechanics被引用 5

一句话总结

本文通过独立边渗流中的概率方法与对称性论证，证明了完全二分图、完全图删去完全子图以及对称完全 $k$-分图的 bunked 猜想。关键结果表明，对于任意一对顶点，同一层内的连通概率高于跨层之间的连通概率，从而在特定图类中证实了一个长期存在的猜想。

ABSTRACT

Let $G = (V,E)$ be a simple finite graph. The corresponding bunkbed graph $G^\pm$ consists of two copies $G^+ = (V^+,E^+),G^- = (V^-,E^-)$ of $G$ and additional edges connecting any two vertices $v_+ \in V_+,v_- \in V_-$ that are the copies of a vertex $v \in V$. The bunkbed conjecture states that for independent bond percolation on $G^\pm$, for all $v,w \in V$, it is more likely for $v_-,w_-$ to be connected than for $v_-,w_+$ to be connected. While this seems very plausible, so far surprisingly little is known rigorously. Recently the conjecture has been proved for complete graphs. Here we give a proof for complete bipartite graphs, complete graphs minus the edges of a complete subgraph, and symmetric complete $k$-partite graphs.

研究动机与目标

• 严格建立 bunked 猜想在完全二分图及相关对称图类中的成立性。
• 通过分析具有高度自同构不变性的对称结构，将此前仅在完全图上证明的 bunked 猜想结果加以拓展。
• 证明在独立边渗流下，bunked 图中同一层内顶点间的连通概率在 stochastically 意义上大于不同层间顶点的连通概率。
• 提出一种基于条件概率与边加权耦合的一般性框架，用于比较层间与层内连通性。

提出的方法

• 在 bunked 图 $G^\pm$ 上使用独立边渗流，其中 $G^\pm$ 定义为两个 $G$ 的副本通过对应顶点之间的垂直边相连。
• 利用反射对称性与自同构不变性，在对称的边权分配下，将各层间的连通概率等同起来。
• 对移除目标顶点后的图的簇分解进行条件概率分解，条件基于剩余子图的渗流结构。
• 引入一个涉及 $c_{uw} = -\ln(1 - p_{uw})$ 的加权差值 $d$，用于比较 $\mathbb{P}(u_- \leftrightarrow w_-)$ 与 $\mathbb{P}(u_- \leftrightarrow w_+)$，利用 $-\ln(1 - x)$ 的对数凹性。
• 对每个簇分解 $C$ 分析条件概率 $\mathbb{P}_C$，将 $d_C$ 表示为关于各分量的和，其中包含 $p_{i\pm} = \mathbb{P}_C(w_\pm \sim C_i)$ 与 $r_i = \prod_{j \neq i} (1 - p_{j-}p_{j+})$，并证明其非负性。
• 通过证明 $d_C = \sum_i r_i (p_{i-} - p_{i+})(-\ln(1 - p_{i-}) + \ln(1 - p_{i+}))$，并利用 $-\ln(1 - x)$ 在 $[0,1)$ 上的单调递增性，得出 $d_C \geq 0$。

实验结果

研究问题

• RQ1 在任意边权 $p_{uv} \in [0,1]$ 与 $p_u \in [0,1]$ 下，bunked 猜想是否在完全二分图 $K_{m,n}$ 上成立？
• RQ2 bunked 猜想能否从完全图拓展至对称 $k$-分图及删去边的完全图？
• RQ3 在对称图族中，同一层内顶点间连通概率（$v_-, w_-$）是否 stochastically 大于不同层间连通概率（$v_-, w_+$）？
• RQ4 如何利用对称性与条件渗流分解来证明 bunked 图连通性中的 stochastically dominance？

主要发现

• 在任意边权 $p_{uv} \in [0,1]$ 与 $p_u \in [0,1]$ 下，bunked 猜想在完全二分图 $K_{m,n}$ 上成立。
• 在相同渗流模型下，该猜想也已证明于删去完全子图的完全图，即 $K_n \setminus K_m$（$m < n$）的情形。
• 该猜想同样在对称完全 $k$-分图中成立，其中每部分大小相等且所有部分间的边均存在。
• 证明依赖于表明加权差值 $d = 2 \sum_u c_{uw} (\mathbb{P}(u_- \leftrightarrow w_-) - \mathbb{P}(u_- \leftrightarrow w_+))$ 非负，从而推出 $\mathbb{P}(v_- \leftrightarrow w_-) \geq \mathbb{P}(v_- \leftrightarrow w_+)$。
• 通过不等式 $f(x) = -\ln(1 - x)$ 的单调递增性，确立了每个簇分解 $C$ 下 $d_C \geq 0$，从而保证了非负性。
• 结果证实了直观直觉：在对称 bunked 图中，层内连通性在 stochastically 意义上比层间连通性更可能成立。