Math's 'Bunkbed Conjecture' Has Been Debunked
The Bunkbed Conjecture, proposed in the 1980s, has been disproven by mathematicians, revealing that navigating upper graphs is often easier than lower ones, challenging established assumptions in probability theory.
Read original articleThe "Bunkbed Conjecture," a hypothesis in probability theory regarding the navigation of graphs stacked like bunk beds, has been disproven by a team of mathematicians. Initially proposed by Pieter Kasteleyn in the 1980s, the conjecture suggested that the probability of finding a path in the lower graph was always greater than or equal to that in the upper graph. Despite its intuitive appeal, the conjecture was challenged by Igor Pak and his colleagues, who initially attempted to find a counterexample through computational methods. After a year of unsuccessful attempts, they shifted focus to theoretical arguments. A breakthrough came when Lawrence Hollom provided a counterexample in a related context involving hypergraphs. This inspired Pak, Nikita Gladkov, and Aleksandr Zimin to adapt Hollom's findings into a graph format, ultimately proving that the probability of finding a path in the upper graph was significantly higher than in the lower graph. This result emphasizes the need for mathematicians to question established assumptions and consider alternative approaches, particularly as computational methods gain traction in mathematical research.
- The Bunkbed Conjecture has been disproven, challenging long-held beliefs in probability theory.
- The conjecture suggested that navigating a lower graph was always easier than jumping to an upper graph.
- A breakthrough came from adapting a counterexample from hypergraphs to traditional graphs.
- The result highlights the importance of questioning intuitive assumptions in mathematics.
- The debate continues on the role of computational methods in mathematical proofs.
Related
Banach–Tarski Paradox
The Banach–Tarski paradox challenges geometric intuition by dividing a ball into subsets that can form two identical copies without changing volume. Axiom of choice and group actions play key roles.
Ensemble Mathematical Universe Hypothesis
The Mathematical Universe Hypothesis (MUH) posits the universe as a mathematical entity, facing critiques on assigning probabilities to infinite structures and conflicts with Gödel's theorem. Tegmark defends MUH's computability and links it to multiverse theories, amid debates on testability and radical Platonism.
A Proof of Proof by Infinite Descent
The text explores proof by infinite descent in mathematical reasoning, using the irrationality of \(\sqrt{2}\) as an example. It discusses induction, well-foundedness, and the Principle of Infinite Descent for mathematical proofs.
The bunkbed conjecture is false
The bunkbed conjecture has been disproven after decades, with a counterexample using a 3-hypergraph. The authors emphasize transparency in research and question the acceptance of probabilistic results in publishing.
The Secret of Ramsey Numbers
Mathematicians in Canada discussed advancements in Ramsey theory, highlighting a breakthrough by Mattheus and Verstraete that combines pseudorandom structures with finite geometry, potentially impacting mathematics and computer science.
I'm a little disappointed that the brute force search didn't work -- it it had, I would have come away feeling like I could have done it myself.
Related
Banach–Tarski Paradox
The Banach–Tarski paradox challenges geometric intuition by dividing a ball into subsets that can form two identical copies without changing volume. Axiom of choice and group actions play key roles.
Ensemble Mathematical Universe Hypothesis
The Mathematical Universe Hypothesis (MUH) posits the universe as a mathematical entity, facing critiques on assigning probabilities to infinite structures and conflicts with Gödel's theorem. Tegmark defends MUH's computability and links it to multiverse theories, amid debates on testability and radical Platonism.
A Proof of Proof by Infinite Descent
The text explores proof by infinite descent in mathematical reasoning, using the irrationality of \(\sqrt{2}\) as an example. It discusses induction, well-foundedness, and the Principle of Infinite Descent for mathematical proofs.
The bunkbed conjecture is false
The bunkbed conjecture has been disproven after decades, with a counterexample using a 3-hypergraph. The authors emphasize transparency in research and question the acceptance of probabilistic results in publishing.
The Secret of Ramsey Numbers
Mathematicians in Canada discussed advancements in Ramsey theory, highlighting a breakthrough by Mattheus and Verstraete that combines pseudorandom structures with finite geometry, potentially impacting mathematics and computer science.