{"id":120990,"date":"2024-11-01T22:59:45","date_gmt":"2024-11-01T15:59:45","guid":{"rendered":"https:\/\/hotvideos24.online\/?p=120990"},"modified":"2024-11-01T22:59:45","modified_gmt":"2024-11-01T15:59:45","slug":"maths-bunkbed-conjecture-has-been-debunked","status":"publish","type":"post","link":"https:\/\/hotvideos24.online\/?p=120990","title":{"rendered":"Math\u2019s \u2018Bunkbed Conjecture\u2019 Has Been Debunked"},"content":{"rendered":"<p> <script async src=\"https:\/\/pagead2.googlesyndication.com\/pagead\/js\/adsbygoogle.js?client=ca-pub-3711241968723425\"\r\n     crossorigin=\"anonymous\"><\/script>\r\n<ins class=\"adsbygoogle\"\r\n     style=\"display:block\"\r\n     data-ad-format=\"fluid\"\r\n     data-ad-layout-key=\"-fb+5w+4e-db+86\"\r\n     data-ad-client=\"ca-pub-3711241968723425\"\r\n     data-ad-slot=\"7910942971\"><\/ins>\r\n<script>\r\n     (adsbygoogle = window.adsbygoogle || []).push({});\r\n<\/script><br \/>\n<\/p>\n<div>\n<p>The bunkbed conjecture says that the probability of finding the path on the bottom bunk is always greater than or equal to the probability of finding the path that jumps to the top bunk. It doesn\u2019t matter what graph you start with, or how many vertical posts you draw between the bunks, or which starting and ending vertices you choose.<\/p>\n<p>For decades, mathematicians thought this had to be true. Their intuition told them that moving around on just one bunk should be easier than moving between two \u2014 that the extra vertical jump required to get from the lower to the upper bunk should significantly limit the number of available paths.<\/p>\n<p>Mathematicians also wanted the bunkbed conjecture to be true. It belongs to a class of statements in an area called percolation theory, which deals with the paths and clusters that exist after graphs have edges deleted at random. These graphs can be thought of as <a href=\"https:\/\/www.quantamagazine.org\/hugo-duminil-copin-wins-the-fields-medal-20220705\/\">simplified models<\/a> of how a fluid moves, or percolates, through a porous material, the way water moves through a sponge. The bunkbed conjecture, for its part, would imply a widely believed assumption in physics about how likely a fluid is to travel through a solid. It would also hint at how to solve related problems about the physics of percolation.<\/p>\n<p>But that would only happen if someone could prove that the bunkbed conjecture was true. There was a reason why no one could.<\/p>\n<h2><strong>Probably Wrong<\/strong><\/h2>\n<p><a href=\"https:\/\/www.math.ucla.edu\/~pak\/\">Igor Pak<\/a>, a mathematician at the University of California, Los Angeles, always had his doubts that the bunkbed conjecture was true. \u201cHe was skeptical from the very beginning,\u201d said <a href=\"https:\/\/www.math.ucla.edu\/~gladkovna\/\">Nikita Gladkov<\/a>, one of his graduate students. \u201cHe\u2019s a big disbeliever in old conjectures.\u201d Pak has been a vocal critic of mathematicians\u2019 tendency to focus their efforts on proving such conjectures. He asserts that equally important advances can come from asking, \u201c<a href=\"https:\/\/igorpak.wordpress.com\/2020\/12\/10\/what-if-they-are-all-wrong\/\">What if they are all wrong?<\/a>\u201d<\/p>\n<p>Pak also had a particular reason for doubting the bunkbed conjecture: It seemed to be far too broad a claim. He was skeptical that it would really hold for every conceivable graph. \u201cSome conjectures are motivated by substance, and other conjectures are motivated by wishful thinking,\u201d he said. The bunkbed conjecture seemed like the latter.<\/p>\n<figure class=\"mb2 mt1 image--shortcode s:mt-0\">\n<div class=\"relative image mx0\">\n        <img width=\"2206\" height=\"1488\" src=\"https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov.webp\" class=\"block fit-x fill-h fill-v is-loaded mxa\" alt=\"A man stands next to a bear statue with his hand in its mouth\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov.webp 2206w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov-1720x1160.webp 1720w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov-520x351.webp 520w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov-768x518.webp 768w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov-1536x1036.webp 1536w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/NikitaGladkov_crAlexeyTregubov-2048x1381.webp 2048w\" sizes=\"auto, (max-width: 2206px) 100vw, 2206px\"\/>    <\/div><figcaption class=\"image__meta mt1\">\n<div class=\"caption wysiwyg h5 theme__anchors--solid fill-h post__aside__caption post__aside__caption--shortcode\">\n<p>Nikita Gladkov ran an exhaustive, brute-force search on every graph to search for a counterexample.<\/p>\n<\/p><\/div>\n<\/figcaption><\/figure>\n<p>In 2022, he set out to disprove it. He spent a year making failed attempts. Then he instructed Gladkov to use a computer to run an exhaustive, brute-force search on every graph he could. Realizing the task would require some sophisticated programming, Gladkov enlisted a friend he\u2019d known since high school, <a href=\"http:\/\/web.mit.edu\/azimin\/www\/\">Aleksandr Zimin<\/a>, now a graduate student at the Massachusetts Institute of Technology. \u201cWe actually were roommates in college \u2014 we had a real bunk bed in our dorm,\u201d Gladkov said.<\/p>\n<p>Gladkov, Pak and Zimin were able to manually check every possible graph with fewer than nine vertices. In these cases, they could verify that the bunkbed conjecture held true. But for larger graphs, the number of possible situations blew up. They couldn\u2019t account for all the possible ways that edges could be deleted or paths could be formed.<\/p>\n<p>The team then turned to machine learning. They trained a neural network to produce graphs with circuitous paths that might potentially prefer the upward jump. In many of the examples it spat out, they found that a bottom-bunk path was only the tiniest bit more probable than its top-bunk alternative. But the model didn\u2019t uncover any graphs where the reverse was true.<\/p>\n<aside class=\"post__aside mb2 relative post__aside--right\">\n<figure class=\"mb2 mt1 image--shortcode s:mt-0\">\n<div class=\"relative image mx0\">\n        <img width=\"604\" height=\"604\" src=\"https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/Bunkbed_detail.png\" class=\"block fit-x fill-h fill-v is-loaded mxa\" alt=\"Illustration of a girl laying in a bunkbed\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/Bunkbed_detail.png 604w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/Bunkbed_detail-520x520.png 520w, https:\/\/www.quantamagazine.org\/wp-content\/uploads\/2024\/11\/Bunkbed_detail-160x160.png 160w\" sizes=\"auto, (max-width: 604px) 100vw, 604px\"\/>    <\/div>\n<\/figure>\n<\/aside>\n<p>There was another problem. Each graph the neural network came up with was still so large that the mathematicians couldn\u2019t possibly investigate every single outcome of the coin-flipping step. Rather, the team had to compute the probability of finding upper and lower paths over a subset of these outcomes \u2014 much as polls sample from a subset of voters to predict the result of an election.<\/p>\n<p>The mathematicians realized that they could be more than 99.99% confident in any counterexample their neural network gave them \u2014 but not 100%. They began to doubt whether pursuing this approach to the problem would be rewarded. It was unlikely to convince the mathematical community; certainly no prestigious journal would consider it a rigorous proof. \u201cPh.D. students need jobs in reality, not in theory,\u201d Pak <a href=\"https:\/\/igorpak.wordpress.com\/2024\/10\/01\/the-bunkbed-conjecture-is-false\/\">wrote on his blog<\/a> \u2014 and Gladkov and Zimin would be looking for jobs soon. \u201cThat is really why we stopped,\u201d he continued. \u201cWhy persevere and create controversy when you can just try doing something else?\u201d<\/p>\n<p>They gave up on their computational approach, but they didn\u2019t stop thinking about the problem. For the next several months, they focused on formulating a theoretical argument that wouldn\u2019t require a computer. But they didn\u2019t have all the pieces they needed to complete it.<\/p>\n<p>Then a breakthrough came from abroad.<\/p>\n<h2><strong>Who Needs Computers?<\/strong><\/h2>\n<p>In June, <a href=\"https:\/\/www.maths.cam.ac.uk\/person\/lh569\">Lawrence Hollom<\/a> of the University of Cambridge disproved a version of the bunkbed problem in a different context. Instead of dealing with graphs, this formulation of the conjecture asked about objects called hypergraphs. In a hypergraph, an edge is no longer defined as the connection between a pair of vertices, but rather as the connection between any number of vertices.<\/p>\n<p>Hollom found a counterexample to this version of the conjecture. He created a small hypergraph whose edges each connected three vertices:<\/p>\n<\/div>\n<p><script>\nfunction getCookie(name) {\n  let value = \"; \" + document.cookie;\n  var parts = value.split(\"; \" + name + \"=\");\n  if (parts.length === 2) return parts.pop().split(\";\").shift();\n}\nif(getCookie('acceptedPolicy')) {\n\/\/ facebook pixel\n!function(f,b,e,v,n,t,s)\n{if(f.fbq)return;n=f.fbq=function()\n{n.callMethod? n.callMethod.apply(n,arguments):n.queue.push(arguments)}\n;\nif(!f._fbq)f._fbq=n;n.push=n;n.loaded=!0;n.version='2.0';\nn.queue=[];t=b.createElement(e);t.async=!0;\nt.src=v;s=b.getElementsByTagName(e)[0];\ns.parentNode.insertBefore(t,s)}(window,document,'script',\n'https:\/\/connect.facebook.net\/en_US\/fbevents.js');\nfbq('init', '190747804793608'); \nfbq('track', 'PageView');\n}\n<\/script><br \/>\n<br \/><script async src=\"https:\/\/pagead2.googlesyndication.com\/pagead\/js\/adsbygoogle.js?client=ca-pub-3711241968723425\"\r\n     crossorigin=\"anonymous\"><\/script>\r\n<ins class=\"adsbygoogle\"\r\n     style=\"display:block\"\r\n     data-ad-format=\"fluid\"\r\n     data-ad-layout-key=\"-fb+5w+4e-db+86\"\r\n     data-ad-client=\"ca-pub-3711241968723425\"\r\n     data-ad-slot=\"7910942971\"><\/ins>\r\n<script>\r\n     (adsbygoogle = window.adsbygoogle || []).push({});\r\n<\/script><br \/>\n<br \/><div data-type=\"_mgwidget\" data-widget-id=\"1660802\">\r\n<\/div>\r\n<script>(function(w,q){w[q]=w[q]||[];w[q].push([\"_mgc.load\"])})(window,\"_mgq\");\r\n<\/script>\r\n<br \/>\n<br \/><a href=\"https:\/\/www.quantamagazine.org\/maths-bunkbed-conjecture-has-been-debunked-20241101\/\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The bunkbed conjecture says that the probability of finding the path on the bottom bunk is always greater than or equal to the probability of finding the path that jumps &hellip; <a href=\"https:\/\/hotvideos24.online\/?p=120990\" class=\"more-link\">Read More<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8628],"tags":[],"class_list":["post-120990","post","type-post","status-publish","format-standard","hentry","category-science","entry"],"_links":{"self":[{"href":"https:\/\/hotvideos24.online\/index.php?rest_route=\/wp\/v2\/posts\/120990","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hotvideos24.online\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hotvideos24.online\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hotvideos24.online\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/hotvideos24.online\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=120990"}],"version-history":[{"count":0,"href":"https:\/\/hotvideos24.online\/index.php?rest_route=\/wp\/v2\/posts\/120990\/revisions"}],"wp:attachment":[{"href":"https:\/\/hotvideos24.online\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=120990"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hotvideos24.online\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=120990"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hotvideos24.online\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=120990"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}