Abstract:We show that the bunkbed conjecture remains true when gluing along a vertex. As immediate corollaries, we obtain that the bunkbed conjecture is true for forests and that a minimal counterexample to the bunkbed conjecture is 2-connected.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify and extend the validity of the "bunkbed conjecture" in specific graph structures. Specifically, the author studies whether the bunkbed conjecture still holds when two graphs are glued along a vertex. By proving this, they obtain several important corollaries:
1. **The bunkbed conjecture holds for forest graphs**: A forest graph is a special type of graph consisting of several unconnected trees. According to the results of the paper, the bunkbed conjecture holds for all forest graphs.
2. **The smallest counterexample must be a 2 - connected graph**: If there is a graph that does not satisfy the bunkbed conjecture, then this graph must be 2 - connected, that is, the graph remains connected after deleting any vertex.
### Introduction to the bunkbed conjecture
The bunkbed conjecture is a probability problem regarding the edge percolation process of a graph. Given a graph \(G\), construct its bunkbed graph \(BB(G)=G\square K_2\), where \(\square\) represents the Cartesian product of graphs. Intuitively, the bunkbed graph can be regarded as a graph formed by connecting two identical layers through vertical edges. The bunkbed conjecture states that after edge percolation on the graph, the probability that two vertices in the same layer remain connected is greater than or equal to the probability that two vertices in different layers remain connected.
### Main contributions
The main contribution of the paper lies in proving that when two graphs are glued along a vertex, the bunkbed conjecture still holds. The specific steps are as follows:
1. **Lemma 1**: It is proved that in some cases, the probability problem on the original graph can be transformed into a probability problem on a sub - graph.
2. **Lemma 2**: Suppose the sub - graph \(H\) satisfies the bunkbed conjecture, then for any two vertices \(x\) and \(y\) in \(H\), on the original graph \(F\), we have \(P_F(x^-\sim_F y^+)\leq P_F(x^-\sim_F y^-)\).
3. **Lemma 3**: Deals with the situation where vertices are located in different sub - graphs \(G\) and \(H\), and gives a specific probability expression.
4. **Lemma 4**: Suppose both sub - graphs \(G\) and \(H\) satisfy the bunkbed conjecture, then for any \(x\in V(G)\) and \(y\in V(H)\), we have \(P_F(x^-\sim_F y^+)\leq P_F(x^-\sim_F y^-)\).
Finally, through these lemmas, the author proves the main theorem:
**Theorem 5**: If two graphs \(A\) and \(B\) satisfy the bunkbed conjecture, and they are glued along a vertex to form a graph \(D\), then the graph \(D\) also satisfies the bunkbed conjecture.
### Corollaries
Based on the above theorem, the author obtains two important corollaries:
1. **Corollary 1**: If a graph is a counterexample to the bunkbed conjecture, then it must be 2 - connected.
2. **Corollary 2**: The bunkbed conjecture holds for all forest graphs.
These results provide a new perspective for understanding which graphs satisfy the bunkbed conjecture and lay the foundation for further research on this problem.