The bunkbed conjecture is not robust to generalisation

Lawrence Hollom

2024-06-04

Abstract:The bunkbed conjecture, which has featured in the folklore of probability theory since at least 1985, concerns bond percolation on the product graph $G\Box K_2$. We have two copies $G_0$ and $G_1$ of $G$, and if $x^{(0)}$ and $x^{(1)}$ are the copies of a vertex $x\in V(G)$ in $G_0$ and $G_1$ respectively, then edge $x^{(0)}x^{(1)}$ is present. The conjecture states that, for vertices $u,v\in V(G)$, percolation from $u^{(0)}$ to $v^{(0)}$ is at least as likely as percolation from $u^{(0)}$ to $v^{(1)}$. While the conjecture is widely expected to be true, having attracted significant attention, a general proof has not been forthcoming. In this paper we consider three natural generalisations of the bunkbed conjecture; to site percolation, to hypergraphs, and to directed graphs. Our main aim is to show that all these generalisations are false, and to this end we construct a sequence of counterexamples to these statements. However, we also consider under what extra conditions these generalisations might hold, and give some classes of graph for which the bunkbed conjecture for site percolation does hold.

Combinatorics,Probability

What problem does this paper attempt to address?

This paper mainly explores the correctness of the Bunkbed Conjecture under different extension cases. The Bunkbed Conjecture originated from the field of probability theory in 1985 and involves bond percolation on two replica graphs (a random process). The conjecture states that the connection probability from one vertex to another vertex in the same replica graph is at least the same as the connection probability in different replica graphs.

The paper points out that although this conjecture is widely expected to be true, a general proof has not been found so far. The author considers three natural extensions: site percolation, hypergraphs, and directed graphs, and constructs a series of counterexamples to prove that these extended versions of the conjecture are incorrect. In addition, the paper also discusses under which special conditions the Bunkbed Conjecture may hold and provides some positive results on path, cycle, and wheel graphs, demonstrating that the Bunkbed Conjecture of site percolation is correct on these specific types of graphs.

The main contribution of the paper lies in demonstrating the instability of the Bunkbed Conjecture in generalization, i.e., the conjecture does not always hold in a wider range of models. At the same time, it also raises research interest in which graphics or models the conjecture still holds.