Bunkbed conjecture

From HandWiki
Short description: Conjecture in probabilistic combinatorics

The Bunkbed Conjecture (also spelled Bunk Bed Conjecture) is a statement in percolation theory, a branch of mathematics that studies the behavior of connected clusters in a random graph. The conjecture is named after its analogy to a bunk bed structure. It was first posited by Kasteleyn.[1]

Description

The conjecture has many equivalent formulations.[2] In the most general formulation it involves two identical graphs, referred to as the 'upper bunk' and the 'lower bunk'. These graphs are isomorphic, meaning they share the same structure. Additional edges, termed 'posts', are added to connect each vertex in the upper bunk with the corresponding vertex in the lower bunk.

Each edge in the graph is assigned a probability. The edges in the upper bunk and their corresponding edges in the lower bunk share the same probability. The probabilities assigned to the posts can be arbitrary.

A random subgraph of the bunkbed graph is then formed by independently deleting each edge based on the assigned probability.

Statement of the conjecture

The Bunkbed Conjecture states that in the resulting random subgraph, the probability that a vertex [math]\displaystyle{ x }[/math] in the upper bunk is connected to some vertex [math]\displaystyle{ y }[/math] in the upper bunk is greater than or equal to the probability that [math]\displaystyle{ x }[/math] is connected to [math]\displaystyle{ z }[/math], the isomorphic copy of [math]\displaystyle{ y }[/math] in the lower bunk.

Interpretation and significance

The conjecture suggests that two vertices of a graph are more likely to remain connected after randomly removing some edges if the graph distance between the vertices is smaller. This is intuitive, but proving this conjecture is not straightforward and is an active area of research in percolation theory.[3] Recently, it was resolved for particular types of graphs, such as wheels,[4] complete graphs,[5] complete bipartite graphs and graphs with a local symmetry.[6] It was also proven in the limit [math]\displaystyle{ p \to 1 }[/math] for any graph[7]

References

  1. van den Berg, Jacob; Kahn, Jeff (2001). "A correlation inequality for connection events in percolation". Annals of Probability 29 (1): 123–126. doi:10.1214/aop/1008956324. https://www.jstor.org/stable/2652916. Retrieved December 17, 2023. 
  2. Rudzinski, James; Smyth, Clifford (2016). "Equivalent Formulations of the Bunk Bed Conjecture". North Carolina Journal of Mathematics and Statistics 2: 23–28. https://libjournal.uncg.edu/ncjms/article/view/1345. Retrieved December 17, 2023. 
  3. Grimmett, Geoffrey R. (2022). "Selected problems in probability theory". European Journal of Combinatorics. 
  4. Leander, Madeleine (2009). "On the bunkbed conjecture". Självständiga arbeten i matematik. https://kurser.math.su.se/pluginfile.php/16103/mod_folder/content/0/2009/2009_07_report.pdf. Retrieved December 17, 2023. 
  5. van Hintum, Peter; Lammers, Piet (2018). "The bunkbed conjecture on the complete graph". European Journal of Combinatorics 76: 175–177. doi:10.1016/j.ejc.2018.10.002. 
  6. Richthammer, Thomas (2022). "Bunkbed conjecture for complete bipartite graphs and related classes of graphs". arXiv:2204.12931 [math.PR].
  7. Hutchcroft, Tom; Kent, Alexander; Nizić-Nikolac, Petar (2023). "The bunkbed conjecture holds in the limit". Combinatorics, Probability and Computing (Cambridge University Press) 32 (3): 363–369. doi:10.1017/S096354832200027X. https://wrap.warwick.ac.uk/172974/1/WRAP-bunkbed-conjecture-holds-limit-2023.pdf.