Bunkbed Conjecture: Percolation Insights

• The bunkbed conjecture is a principle in independent bond percolation on two-layered graphs, asserting that connectivity within the same layer is at least as likely as across layers.
• It employs combinatorial classification, symmetry arguments, and componentwise sign control, with proofs on complete graphs and extensions to symmetric graph classes.
• Recent studies reveal a planar counterexample and analyze high-density regimes, underscoring the conjecture’s conditional validity under specific structural constraints.

The bunkbed conjecture is a two-point comparison principle for independent bond percolation on the graph $G \square K_2$, the “bunkbed” built from a finite graph $G$ by stacking two copies of $G$ and joining corresponding vertices by vertical edges. In its classical form, it asserts that from a vertex in one layer it is at least as likely to connect to the copy of another vertex in the same layer as to its copy in the opposite layer. Posed by Kasteleyn and long regarded as a natural geometric monotonicity statement, the conjecture generated a substantial body of partial positive results before an explicit planar counterexample showed that it is false in full generality (Gladkov et al., 2024).

1. Definition and standard formulations

Let $G=(V,E)$ be a finite simple graph. Its bunkbed graph is commonly written either as $G^\pm$ or $G \square K_2$. The vertex set consists of two copies of $V$, written $V^-=\{v^-:v\in V\}$ and $V^+=\{v^+:v\in V\}$. For each $uv\in E$, there are horizontal edges $G$0 and $G$1, and for each $G$2 there is a vertical edge $G$3 (Richthammer, 2022).

Under independent bond percolation, each edge is open independently, with either a common parameter $G$4 or a symmetric edge-dependent family of probabilities. The basic bunkbed inequality is

$G$5

for all $G$6, where $G$7 denotes open-path connectivity (Richthammer, 2022). In words, moving one endpoint “upstairs” should not increase connectivity.

Several closely related formulations occur in the literature. One widely used version fixes a set $G$8 or $G$9 of posts and adds only the corresponding vertical edges, often taking those posts to be always open. In that notation the bunkbed graph is $G$0, and the target inequality becomes

$G$1

for arbitrary $G$2 (Hintum et al., 2018). A more general weighted formulation assigns a symmetric weight $G$3 to the bunkbed edges, requiring

$G$4

for all $G$5 (Meunier et al., 2024).

A useful hierarchy of formulations appears in the study of highly symmetric graphs. The strongest form, denoted (B1), allows general edge-dependent weights $G$6; (B2) specializes to a common horizontal edge probability $G$7 with some vertical edges deterministic $G$8 or $G$9; and (B3) takes all horizontal and vertical edges to have the same probability $G=(V,E)$0. The implications

$G=(V,E)$1

are explicit (Richthammer, 2022).

2. Complete graphs and the first major proofs

The first sustained breakthroughs occurred on complete graphs. De Buyer proved the complete-graph statement at the special parameter $G=(V,E)$2 by a combinatorial classification of connected subgraphs of the bunkbed of $G=(V,E)$3 using triples $G=(V,E)$4, where $G=(V,E)$5 and $G=(V,E)$6 count lower- and upper-layer vertices in the component and $G=(V,E)$7 counts “parallel vertices” whose two copies both occur. The proof introduced exact formulas for the configuration counts $G=(V,E)$8 and $G=(V,E)$9, together with cancellation lemmas such as

$G^\pm$0

which force the required sign after a monotonicity analysis (Buyer, 2016).

A subsequent proof established the complete-graph conjecture for $G^\pm$1. In that argument, the main component containing the source is again decomposed by $G^\pm$2, but the relevant enumerative objects are $G^\pm$3 and $G^\pm$4, counting configurations connecting the source to $G^\pm$5 and to $G^\pm$6, respectively. The resulting symmetrized difference

$G^\pm$7

has controlled sign, and two cancellation identities analogous to the earlier $G^\pm$8-identities complete the proof (Buyer, 2018).

The complete-graph case for all $G^\pm$9, and for arbitrary post sets $G \square K_2$0, was then settled by a symmetry-and-conditioning argument. Writing $G \square K_2$1 for the open subgraph away from a distinguished target vertex $G \square K_2$2, one conditions on the connected components $G \square K_2$3 of $G \square K_2$4, symmetrizes under interchange of $G \square K_2$5 and $G \square K_2$6, and arrives at the explicit factor

$G \square K_2$7

with $G \square K_2$8. Since $G \square K_2$9 for $V$0, each summand is nonnegative, proving

$V$1

on $V$2 (Hintum et al., 2018).

These complete-graph proofs were decisive because they replaced intuitive geometric reasoning by explicit componentwise sign control. They also supplied the principal techniques later adapted to broader graph families.

3. Symmetric graph classes beyond $V$3

Richthammer extended the theory from complete graphs to several nontrivial symmetric families. The central mechanism is a pair of results for weighted complete graphs. The first handles adjacent vertices $V$4 under a local automorphism condition around $V$5; the second assumes that $V$6 and $V$7 have identical edge weights to every other vertex,

$V$8

equivalently that the transposition $V$9 is a weighted graph automorphism (Richthammer, 2022).

In the local-symmetry theorem, a difference of target probabilities is rewritten as

$V^-=\{v^-:v\in V\}$0

and then shown to be nonnegative by conditioning on cluster configurations away from $V^-=\{v^-:v\in V\}$1, using automorphism symmetry and the monotonicity of $V^-=\{v^-:v\in V\}$2 (Richthammer, 2022). In the equal-neighborhood theorem, reflection symmetry between the two layers, conditioning on the vertical edges at $V^-=\{v^-:v\in V\}$3 and $V^-=\{v^-:v\in V\}$4 and on the edge $V^-=\{v^-:v\in V\}$5, and a final perfect-square-type rearrangement yield nonnegativity.

These two theorems imply the strong form (B2) for complete bipartite graphs and for complete graphs with the edges of an arbitrary complete subgraph removed. They also imply the weaker form (B3) for symmetric complete $V^-=\{v^-:v\in V\}$6-partite graphs, that is, complete multipartite graphs whose parts all have equal size (Richthammer, 2022). The complete bipartite case was later identified as one of the “major partial (positive) results” robust enough to extend beyond percolation to the random cluster setting (Ayyer et al., 23 Sep 2025).

The importance of these results lies less in the individual classes than in the proof paradigm: global vertex-transitivity is no longer required. Local symmetry and transposition symmetry can suffice.

4. High-density percolation and asymptotic validity

Even before the general disproof, one of the most powerful positive results was that every finite graph satisfies the bunkbed inequality when percolation is sufficiently dense. For a finite connected graph $V^-=\{v^-:v\in V\}$7, there exists $V^-=\{v^-:v\in V\}$8 such that for all

$V^-=\{v^-:v\in V\}$9

one has the strict inequality

$V^+=\{v^+:v\in V\}$0

for every $V^+=\{v^+:v\in V\}$1; an explicit non-optimized choice is

$V^+=\{v^+:v\in V\}$2

A stronger conditional statement holds after conditioning on the set $V^+=\{v^+:v\in V\}$3 of open vertical edges (Hutchcroft et al., 2021).

The proof conditions on a tripartition $V^+=\{v^+:v\in V\}$4 of the horizontal edges, where $V^+=\{v^+:v\in V\}$5 consists of edges whose two bunkbed copies are both closed, $V^+=\{v^+:v\in V\}$6 of edges for which exactly one copy is open, and $V^+=\{v^+:v\in V\}$7 of edges whose two copies are both open. After deleting $V^+=\{v^+:v\in V\}$8 and contracting $V^+=\{v^+:v\in V\}$9, the problem is transported to Linusson’s alternative bunkbed model on a reduced graph. The set of tripartitions is divided into three regimes: $uv\in E$0, where a mirroring argument forces the contribution to vanish; $uv\in E$1, where one gets a uniform positive lower bound; and $uv\in E$2, whose contribution is dominated when $uv\in E$3 (Hutchcroft et al., 2021).

A later proof generalized this $uv\in E$4 theorem from uniform percolation to arbitrary symmetric edge-dependent probabilities. The method is a cut expansion: if $uv\in E$5, one writes disconnection as a union of cut events $uv\in E$6, applies inclusion–exclusion, and studies the polynomial

$uv\in E$7

The key combinatorial principle is that every negative monomial is strictly divided by a positive one, so for sufficiently small $uv\in E$8 the overall sign is positive on the same-layer side (Hollom, 2023).

These high-density theorems are asymptotic rather than universal: they do not prove the conjecture for all $uv\in E$9, but they establish that any counterexample must occur away from both the sparse and dense extremes.

5. Forests, cactus graphs, and block-local structure

A separate line of work studies graph classes for which the bunkbed inequality remains true irrespective of the general counterexample. A major structural theorem shows that the conjecture is preserved under gluing two graphs along a single vertex. If $G$00 and $G$01 both satisfy the bunkbed conjecture and $G$02 is obtained by identifying one vertex of $G$03 with one vertex of $G$04, then $G$05 also satisfies the conjecture (Meunier et al., 2024). Immediate corollaries are that the conjecture holds for forests and that any minimal counterexample must be $G$06-connected.

For forests there is also an elementary proof based on reduction to a path. If $G$07 is a forest and $G$08 lie in the same component, the unique path between them is relabeled $G$09. Conditioning on all percolation outside that path produces an effective post set $G$10, reducing the problem to a path bunkbed model. In the path case, with $G$11,

$G$12

so the inequality holds with equality (Donderwinkel et al., 17 Nov 2025).

After the general conjecture was disproved, classification questions became central. One answer is block-local. In the strong formulation, with arbitrary edge weights $G$13 and deterministic posts $G$14, a graph satisfies the bunkbed conjecture if and only if each of its biconnected components does. The same equivalence holds for the weak version with constant edge parameter $G$15 (Denart, 10 Jun 2025). In the two-block case the difference factorizes as

$G$16

which is the fundamental local product structure behind the block decomposition.

This theorem yields strong positive classes. All cactus graphs satisfy the strong version. More generally, any graph whose every biconnected component is either a cycle, complete, complete bipartite, symmetric complete $G$17-partite, or an edge difference of a complete graph and a complete subgraph satisfies the weak version (Denart, 10 Jun 2025). Conversely, any counterexample to the strong version contains a non-trivial subdivision of the diamond graph as a minor.

6. Disproof, robustness, and related extensions

The decisive change in status came with an explicit counterexample. There exists a connected planar graph $G$18 with

$G$19

a set $G$20 of three transversal vertices, and vertices $G$21 such that

$G$22

This disproves the bunkbed conjecture in its original bond-percolation form (Gladkov et al., 2024). The construction is built from a 3-uniform hypergraph example of Hollom by replacing each hyperedge with a planar graph gadget $G$23, choosing $G$24 and $G$25 so that a robust inequality

$G$26

holds and transfers the hypergraph imbalance to an ordinary planar graph (Gladkov et al., 2024).

The failure of the original conjecture is part of a broader non-robustness phenomenon. Natural generalizations to site percolation, hypergraphs, and directed graphs are all false; the site-percolation paper provides explicit counterexamples and also identifies positive cases such as paths, cycles, and wheels (Hollom, 2024). The directed analogue remains false even for simple acyclic directed graphs: there exists a simple acyclic directed graph with

$G$27

settling conjectures of Leander and Hollom in the negative (Przybyłowski, 27 Jun 2025).

At the same time, some partial positive results survive in broader probabilistic models. In the random cluster model, the bunkbed inequality still holds on complete graphs, on complete bipartite graphs, and for $G$28 for all fixed $G$29, but the analogue is false for a nontrivial range

$G$30

The same work also formulates a forest-side conjecture for the arboreal gas measure and proves special cases near spanning trees (Ayyer et al., 23 Sep 2025).

Related bunkbed comparison principles continue to be studied outside percolation. For example, on bunkbed graphs with reflection-symmetric capacities, maximum flow satisfies

$G$31

whereas the self-avoiding walk analogue is more delicate: it can fail on ladders, yet on $G$32 there are more self-avoiding walks from $G$33 to $G$34 than to $G$35 for $G$36 and for all sufficiently large $G$37 (Tang, 10 Feb 2025).

The contemporary picture is therefore sharply stratified. The original conjecture is false in full generality, but it remains valid on several important graph classes and in several asymptotic or structurally constrained regimes. Much of the current theory is organized around that distinction: identifying which symmetry, block structure, or density assumptions restore the same-layer dominance that originally made the conjecture so compelling.