Math News: The Bunkbed conjecture was just debunked!!!!!!!

[@gladkovna]

Hi everyone! I’m one of the authors of the paper being discussed. Dr. Bazett, thank you so much for the fantastic video! It’s as clear and thorough an explanation as we could’ve hoped for, and I really appreciate how quickly you put it together. Just a small note: the author of the hypergraph paper’s surname is Hollom. P.S. We are not changing the title to "Debunking the bunkbed conjecture"!

[@DrTrefor]

Oh thank you that’s so cool! Loved the paper:)

[@trucid2]

Too bad about the paper name... Ask ChatGPT for help with paper names next time.

[@cparks1000000]

You should. 😂

[@ozargaman6148]

What about "it's just a bed now :("?

[@subjekt5577]

> P.S. We are not changing the title to "Debunking the bunkbed conjecture"! Ooof. It's okay, you're allowed to be wrong about some things.

[@TheMrbrayn]

The fact that this paper isn't titled "Debunking the bunkbed conjecture" is such a huge miss

[@DrTrefor]

ya that's a fail:D

[@TimJSwan]

The bunkbed conjecture has been "debunked" would also make interesting video titles for this

[@csilval18]

​@@DrTrefor You can still change the title 👀

[@fifiwoof1969]

​@@csilval18peer review should reject JUST for that reason!

[@savazeroa]

@@DrTreforChange the titleeeeeeee!!!!!

[@genericgoat]

Wikipedia editors on their way to change "is" to "was" for the bunkbed conjecture

[@tomhejda6450]

Not without a disclaimer, at least until the paper is peer reviewed.

​@@tomhejda6450Rest assured they have the edit ready and are just waiting to click on the Submit button the moment peer reviews come out.

[@hellNo116]

A preprint showing a counterexample to the conjecture was posted on the arXiv in October 2024 by Nikita Gladkov, Igor Pak and Alexander Zimin.[2] they did this already

[@someriversong1793]

Misery was

[@kennethkho7165]

This is not how it works, Wikipedia editors won't change tenses without citing a reliable source, it is not an instant process and you have to wait for a reliable source to be found and create the citation, mass edits are disruptive and it is better to crowdsource it to ensure consensus.

[@michaelpristin9944]

Using neural networks to solve graph theory problems is so funny. The graph was defeated by another graph.

[@radadadadee]

funny story, they went back and checked that neural network they were using was very similar to the counterexample and this is all a lie I just made it up

[@unflexian]

it's the superior graph!!!

[@scialomy]

I love the irony!

[@pfeilspitze]

If I've learned anything about CS, it's that everything is a graph problem if you try hard enough.

[@kirill9064]

@@radadadadee You are what you compute.

[@wernerviehhauser94]

Putting failed attempts into papers is really an honorable deed.

[@DrTrefor]

Ya gotta respect that

[@wernerviehhauser94]

@@DrTrefor I do. Nothing is worse than putting years into research and hearing in a side note on a conference that this method had been tried and failed a decade ago, and nobody bothered to tell someone.

[@EneldoSancocho]

Man if I started publishing my papers I would be the most honorable person in the world.

[@orbatos]

Definitely, failed experiments are important.

[@bluerizlagirl]

"Show your working" was drilled into me by my secondary school maths teacher. (Who was able to retire on a high note, after her whole sixth form class passed A-level Maths a year early and Further Maths the following year with no grade worse than a B.) It's good advice in an examination, because even if you make a mistake you can still pick up partial marks, if the examiner can see you are doing the right operations but with the wrong values (e.g. because you missed a carry, or looked up the wrong value in your book of tables -- yes, I'm that old; but you could just as easily press the wrong key on a calculator or computer). But even in an academic paper, a bit of "I already tried this and it didn't work" might prove useful to others working in the same field. Sir Isaac Newton was able to see further than others by standing on the shoulders of giants, but there can sometimes be a decent view from atop a pile of failed experiments!

[@ErmisSouldatos]

I just explained the problem to a nine-year-old. He paused for a while, gave it some thought, and then repleid: "It's obvious, you just take a hypergraph and replace each triangle with 1204 spokes connected to a center, the probability is about 10^(-4000) greater. I wonder why it took them so long to figure out"

[@chocolate_maned_wolf]

That’s so crazy, my nine year old said the same thing.

[@MooImABunny]

As Albert Einstein definitely once said, "If you can't explain it to a six year old and then let them disprove a standing conjecture from the 1980's, widely thought to be true, you don't understand it yourself"

[@radadadadee]

"... and the young man's name: Albert Einstein"

[@Lolwutdesu9000]

And then everybody clapped

[@bp56789]

Guys I'm not sure this is true.

[@magicmulder]

The funny thing is that "counterexample with 7222 vertices" seems large, but it's actually rather small and often counterexamples are more in the region of "we found something to the order of 10^5,000,000". :D

[@juro17]

Or ask a graph theorist to continue the sequence 1,3,...😂

[@mouadlouahi9985]

There are 2^26,075,031 possible graphs of 7222 vertices. It is extremely rare counterexample for the given conjecture and one that is impossible to find through naïve brute force search alone

[@georgplaz]

​@@mouadlouahi9985impossible with that attitude for sure!

[@rbad6215]

@@juro17 stop right there buddy

[@keypey8256]

​@@georgplazI'm not a mathematician, but from my experience, I would often find counter examples when working on graph theory theorems within graphs that contain at most 10 vertices. I've only had 2 situations in which I had to start randomly generating larger graphs to find counter examples and even then they had at most 50 vertices. 7000 is a lot.

[@blutianirlp2927]

Banger "just make every triangle into its own graph with 1000+spokes" angle from these guys

[@DrTrefor]

lol ya loved this:D

[@iwersonsch5131]

Does that even converge for infinite spokes?

[@Kebabrulle4869]

​@@iwersonsch5131Didn't think I'd find the SM64 ABC microcelebrity (nanocelebrity?) Iwer Sonsch here

[@qeithwreid7745]

@@Kebabrulle4869it’s a common name

[@gabitheancient7664]

@@iwersonsch5131 what converges to what

[@allanjmcpherson]

It's a wonderful thing about mathematics that you can have something that everyone looks at and thinks, "This seems like it should be true. It's gotta be!" And then it's not.

[@alandouglas2789]

Yes and no. Sure everyone says it’s true but there’s a very strange way where it IS false but it’s in hyper complex multidimensional system, that no longer resembles the original conjecture then it might as well be true

[@lperezherrera1608]

​@@alandouglas2789If the assertion is that it happens every time, then no it's not true, nor it might as well be.

[@patrickvolk7031]

I have to admit this is over my head... I look at this, and don't see any magnitudes involved, it's probability. That it takes such a large counterexample makes me think that there has to be a simplification there, a reason. a wagon wheel topology means one point approaching a supergraph ('smeared" to me) number of vertices. Where things without magnitude tend to break is at infinity, like a wagon wheel with an infinite number of vertices bunk-bedded with another wheel of infinite vertices, you get an indeterminate comparison of infinities. If I have 3 vertices on each spoke (left, right, hub), there's a 1/3 chance of a vertex decaying goes to the hub, not changing the probability (still infinity). In 2/3 of the cases, a 3 vertex point goes to 2. You could compare that case with a graph with points that has a more even distribution of vertexes. Why am I thinking significant digits (e.g. 0,1,2,3, infinity for a wagon wheel, or (0,1,2,3,4,...)

[@Numbabu]

⁠@@alandouglas2789you’re wrong. The conjecture was that for any graph it’s true. There’s a graph for which it’s not true therefore it’s not true for any graph. Simple as that. There are limits you can put on the array that will make it so it is true, but knowing it isn’t always true is helpful, because complicated graphs are still graphs, and if this was true it would apply equally to graphs you find confusing and graphs you find perfectly reasonable.

[@maleldil1]

I just love how concise the name of the paper and especially the abstract are. It's just "we did the thing - here you go". In my area (NLP), abstracts are usually very long, so this is nice to see. Also, I would usually advise against talking about papers that haven't passed peer review, but the nice thing about a proof from a counterexample like this is that you can just take the counterexample and verify it yourself.

[@edercuellar2694]

I really like when advances in mathematics have exposure. It would be cool to see more videos like this.

[@DrTrefor]

This is actually my first ever "breaking" math video (the paper came out on friday and I was like omg I have to make a video) but I actually hope to do more. Finding the stories that are both interesting AND accessible to a KZbin audience isn't always the easiest, but I think it is important.

[@redjr242]

Yes more math news videos would be amazing! Perhaps especially for people who once did math in university but now are doing something else, and aren't part of academic circles anymore. A great way to stay excited about math :)

[@mm18382]

Graph theory is one of the few branches of modern maths that have conjectures explainable to a layman. Some other are elementary number theory and geometric problems in optimization (like sphere packing, moving sofa) Still, most current conjectures require years of studying maths to get at least some understanding of their statements Not to mention highly specialized fields such as algebraic geometry or deep projects like Langlands program

[@gdmathguy]

Now I wonder what the smallest graph is which disproves the conjecture

[@DrTrefor]

We really don't know! Because their approach was to keep adding more and more spokes until you got a counterexample, it is very plausible that a smaller counterexample exists without such a brute force trick.

[@janzwendelaar907]

If the hypergraph is optimised, I don't know if finding a more optimal graph is feasible. If there is still a way to optimise the hypergraph, then maybe there's a smaller graph?

[@Pystro]

@@janzwendelaar907 Well, the hypergraph is optimized for making the smallest number of vertices in the original hypergraph. But given that you have to insert orders of magnitude more extra vertices than there were originally means that there is massive potential for finding a better solution with a hypergraph that is instead optimized for having to insert less extra vertices.

[@sheevys]

My conjuncture is that this is the smallest graph. I let Igor Pak disprove my conjuncture. When he does, I'll come up with another conjuncture for the smallest graph. At the end of this cycle we will find the true smallest graph.

[@darrenlo9802]

And now I wonder how much likely you can reach the top bunk than the bottom. I wonder if you can do better than 10^(-4000). It seems unlikely but it might be the case.

[@kruksog]

Really happy to see this! I saw this paper posted on r/mathematics on reddit, and I i tried to read through the paper, but it was difficult for me to really understand it. I did take graph theory in college, but yea, getting through the paper was tough, so it's awesome to have it explained. Thanks Dr Bazett!

[@DrTrefor]

Ha, you are like exactly my targeted audience for this video:D

[@syedalirizwan-ok7qm]

​@@DrTreforwhat about me? I just graduated high school. Yeah I barely understand anything here but I got the jist. Thank you sir!

[@elderfrost9892]

the idea behind why the 1024 spokes works is really cool. In order for the center to not connect to a corner, but for the corners to connect to each other, every single red line would need to be intact, without any of the blue lines being intact, which is exceedingly unlikely. this makes the likelihood of the red line connecting to a bunch of other points really large relative to the likelihood that the red line stays intact on it's own. This makes the probabilities different, because in pretty much any case where a point on the red line doesn't connect to it's neighbor over a blue line, it almost certainly also doesn't connect to it's neighbor over a red line. The setup of the graph basically approximates making the probability of red disappearing higher than blue disappearing, because the cases where both lines disappear or both stay don't really assist either side in raising it's probability.

[@mangus8759]

Now it's just the bed conjecture

[@yanntal954]

The difference in probability they found is 10^(-6509) by the way!

[@aceae4210]

very small (in case that there are people that don't know how to interpret the negative power, here is it written) 1/(10^6509) or 1/100000...(6500 times)...000 very small

[@QuantumHistorian]

How do you compute (or even estimate) a probability that small on a computer? I wouldn't have thought that numerical methods like monte-carlo would be good enough to get error bounds that small in a reasonable computation time.

[@Rumpael]

​@@QuantumHistorian Im also interested in that. maybe the conjecture is true after all

[@FranzBiscuit]

....AKA "effectively zero".

[@mohammadfahrurrozy8082]

​@@Rumpael is the reviewer of these kind of counterexample papers gonna have to validate the result? (not only reviewing for the formatting, etc)

[@supermarc]

Your restriction to the case of a single "post" is somewhat misleading. The bunkbed conjecture is known to be true if the number of posts is 1 or 2. Indeed, in the counterexample provided in the paper, the number of posts is 3.

[@DrTrefor]

Ya that's fair. I was trying to search for the simplest example to animate for KZbin where we could actually explicitly compute the probabilities and see our example satisfied the conjecture. So please treat that example only as helpful for illustrating the concept, not as the right level of complexity for actually finding a counterexample.

[@jamesknapp64]

Interesting. I was guessing the counterexample would have a ton of posts like >=20

[@sykes1024]

This just furthers my position that 3 is the weirdest number. Everything gets crazy when you get to 3. Random walks from 2 to 3 dimensions, the number of platonic solids in 3 dimensions, k-satisfiability goes from easy at k=2 to np-hard at k=3 and then all higher k's being reducible to 3-sat, orbits only working in 3 dimensions, and now bunk beds becoming weird with 3 or more posts...

[@AubreyBarnard]

​@@sykes1024Yes! I've long thought this since learning about the complexity differences between 2-SAT and 3-SAT in 2005. Then there's also 2-body vs 3-body, I seem to remember something about tiling in 2 vs 3 dimensions, and so on. I wonder if somebody keeps a list of these (and related) threshold effects.

[@trucid2]

@sykes1024 TREE(3)...

[@matthewlloyd3255]

As a hobbyist game developer with a mathematical background I found this interesting as this idea of the probability of finding a link between paths comes up all the time when using procedural generation for mazes and you often have to find random seeds for the random number generator that will/won't let you make a fully connected maze.

[@sugarfrosted2005]

Trying to disprove a Conjecture can help you understand them if you fail too

[@DrTrefor]

ya absolutely definitely worth it for gaining intuition

[@Rudxain]

Indeed. I've learned a lot about Collatz conjecture by optimizing a program that finds counter-examples! On a side note, I've even independently discovered a theorem about GCD of 2 arbitrary Mersenne numbers, by studying how Stein's algorithm works. After doing some research, I've found a Math StackExchange post proving the identity holds for bases other than `2` (`b^n - 1` instead of `2^n -1`)

[@davejacob5208]

what bugs me about this explanation is that it does not give me the kind of understanding that makes my intuition shift even in the slightest way. i have no idea whether this implies that it is anywhere near possible to have a graph where the h -> v´ case is twice as likely as the h -> v case, for example. it seems like it would have been helpful to explain what makes the hypergraph work as a counterexample. like this its just "believe me, this thing somehow does the thing we are trying to understand" - and then another step where the details are unclear (i can guess that the number of spokes leads to a greater similarity to an actual triangle, but why that kind of similarity is even helpful stays unclear to me)...

[@damsonrhea]

I mean, I'm not sure if an intuitive understanding is easily explained. This sounds like it might be inherently unintuitive.

[@JavedAlam24]

That's how you disprove though, you just need to give one counterexample. Disproofs usually aren't great for intuition

[@colecube8251]

yeah I kinda agree. like the entire video was about finding a counter example... and then he just says "trust me bro, this is definitely a counter example". I kinda wish an attempt at all was made to explain it

[@davejacob5208]

@@JavedAlam24 i am not interested in understanding why "the bunkbed conjecture is wrong", so the "disproof"-thing does not exactly deal with my issue. i am interested in understanding why "this graph has a greater likelyhood for h -> v´ than for h -> v".

[@rtg_onefourtwoeightfiveseven]

@@davejacob5208 Sometimes (often, arguably) getting an intuition for why something works/doesn't work in mathematics is far harder than showing the thing itself, and doing so may not have been in the scope of the video. But if you're THAT curious, I imagine you can read the original paper to see why adding those spokes lowers the relative probability.

[@Tara_Li]

I’m sure it’s mentioned in the more formal definition of this problem, but the “posts” are not subject to bond percolation, right?

[@DrTrefor]

That's right. Take some subset of the vertices and fix posts there THEN do bond percolation on the bunks.

[@nikonyrh]

@@DrTrefor Umm, Wikipedia article says that "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." And I kinda assumed that the posts have non-zero probability of being deleted. I haven't read the paper, or re-watched the video (yet). But surely the posts are subject to percolation, aka. deletion?

[@diribigal]

@@nikonyrh If it can be arbitrary for the posts, then even if you force it to be nonzero for the posts, then we can just set the chance of removal for the posts to be like 10^‐10000000000, so that it wouldn't change the result if a counterexample like this exists

[@nikonyrh]

@@diribigal ​ Ahaa yes, so the interesting part is that "P(u v')" can become GREATER than (not just equal to) "P(u v)", thus being a counterexample (duh). Thanks! I suppose counterexamples become larger or impossible, as the probability of deleting posts increases.

[@paxsevenfour]

This is one of those rare examples where I can honestly say it does not seem the conjecture is intuitive. Glad to hear it was proven to be incorrect! Great job to the authors! 👍🏻

[@joshuab4586]

I don’t get why P(uv) would ever be more or equally likely than P(uv’), there’s 2/4 edges that connect u to v after the post, where as there’s 3/4 edges connecting u to v’, so when removing 50% of the edges, there’s a higher chance that v gets disconnected than v’.

[@delphicdescant]

The secret to math turned out to be that "cool S" that everyone used to doodle in class.

[@lqr824]

the "Stussy."

[@j16180]

I don't know why I got this video on my feed, but I watched the whole thing, the explanation was clear, understandable, interesting and it was fun, so I'll subscribe!

[@DrTrefor]

Welcome!!

[@Neckhawker]

If we have a v v' "post", then the probabilities are the same as if we can reach one, we can reach both. If v/v' can only be reached by a node x/x', and we have a post x/x', then the probabilities are the same as the probability that vx and v'x' has fade is the same. If we miss lot of post, this means that to reach v' you need to reach one post, AND to have a path u post + post v'. While u v doesn't have this constraint. If we have lot of post, then we can "jump" other/under missing links. At any point of the graph, the probability to get to v/v' without any should be the same as the decay is the same for the bottom/top graph. Adding post should only increase the probability we can reach the top graph (+ the probability to jump under/over a missing link, but both is true for top/bottom graph). I don't see how the conjecture can be wrong with the given issue... Just hopping the paper didn't had floating point computations errors xD.

[@nickdumas2495]

I'm picturing a situation where you have likely breaks (single links) and unlikely breaks (1000 connections). Arranged so you're likely to need to take posts in order to get around breaks; three posts for an up-down-up sequence but no 4th post to bring you back down. And then a ton of fiddly detail to make it work right.

[@Neckhawker]

@@nickdumas2495 I do not think your reasoning works as you are not forced to take the post. At one post your are both top and down.

[@nickdumas2495]

​@@Neckhawker The idea is you are forced to take posts due to the gaps. And with an moderate sized odd number of posts to take, that helps the prime destination. Clearly not much, but enough apparently.

[@Neckhawker]

@@nickdumas2495 You are making an assumption which isn't true as the decay is random. From the last post, you have the same probability to be able to reach the final destination from the top and the bottom.

[@theninja4137]

Exactly my thinking. For every potential path that goes past/through at least one post, the propability a path exists from the last post-having vertice should be the same on top (v') or bottom (v) (as there is no reason for it to be different, top and bottom have the same probabilities) - and if one end of that post can be reached, both can, so either both options exist until this point or none. So the probability to reach v should be the probability to reach v' plus the probability that the only possible path does not go past any post

[@Twisted_Code]

This realm of uncertainty, this need for the null hypothesis, is why we still refer to 3x+1 as "collatz conjecture" not "theorem". Do not count your farm birds before they start creating graphs on the surface of their shell

[@TimJSwan]

I wish you were able to elaborate a bit on the intuition. Basically show why there is a small probability in reverse.

[@mirkotorresani9615]

I don't know if that is even possible. If there were a intuitive explanation, then probably would not have been a conjecture for truthfullness in 5he first place

[@Pystro]

If I were to have a guess, I would say that it probably hinges on 3 factors (though I don't know why they come together in this hyper-graph with the 3 posts, but not the "hyper-edge replacement structure" at the bottom of the screen): A: There is a super tiny probability that you can go all the way along the red edges in the "hyper-edge replacement structure" to another white vertex of the (hyper-)graph. B: If you can just go along _enough_ of the red edges, then you're basically guaranteed to have _some_ blue edge along which you can go to the "hub" vertex (which is green and has a post in the (hyper-) graph. C: (Assuming that none of the red edges goes through the whole way.) The longer the red edge is that you came from, the shorter of a maximum red edge you can have on the same level that stretches back from the opposite white vertex of the hyper-edge; While there isn't the same restriction for neither the red edge stretching back from the opposite white vertex, nor other blue edges coming out through the other pair of hyper-edges on the same post. But: D: If you can do this to swap the probability on the bottom hyper-edge then it would preclude you from doing the same swap on the right hyper-edge. E: If that was all there was to flipping the probability, then that wouldn't explain why you can't do it with only the "hyper-edge replacement structure"; nor why it works for a hyper-graph like this where the number of red edges is *even.*

[@JohnJohnson-vq7ze]

@@Pystro Basically, I think your first three points come together to the observation that the probability that there's a path in the bottom bunk that contains none of the green vertices is very small. The paths that do contain green vertices also can be slightly modified into paths through the top bunk. The question is then, what gives the top bunk paths the miniscule advantage that they have?

[@DarkWafflesOfDoom]

You are a great teacher! I struggle with math and you made me understand this conjecture. I got a little lost with the hypergraphs, but I got the gist of it. Thanks so much for making me not feel dumb.

[@MooImABunny]

The way they choose to use the hypergraph to attack the problem is really interesting. From a human perspective it makes a lot of sense that if you replace a solid triangle with a lot of "closely packed" edges you can expect a similar result, but you really have to think carefully as to why this method had a chance. The way I see it, every triangle on each floor is connected to one post and two non-post vertices, and the fact that helps this hypergraph beat the generalized conjecture is that severing one triangle means two non-post vertices disconnect for the price of disconnecting one post, so what they needed is something that copies this behavior. So each triangle is replaced with N spokes connecting N extra vertices to the bed post, and connected in a single file between themselves, and the outer extras each connect to one of the non-post vertices in this triangle we're replacing. I'll call blue edges spokes, red edges arcs. So, take the leftmost vertex. If its spoke and arc connections both decay, then this vertex is both disconnected from the post and from the rest of the vertices in the ring. If the first arc stays connected, but the second arc and the two first spokes decay (less likely because we require more decays), then again the leftmost vertex is disconnected from both. Even less likely, if the first 3 spokes and the arc from vert 2 to 3 are all lost, we get the same result. Each of these possibilities is not very likely, and diminishingly so, but we just need one of these to occur, so the total probability is pretty substantial. Have these occurrences in both extreme vertices, and the new spokes-ring manage to do the job of a triangle.

[@JohnJohnson-vq7ze]

Informative video, there's just one detail that I think is missing: the vertices they're trying to connect in Hollum's counterexample are the top and bottommost.

[@spacenoodles5570]

I wish you would explain a bit more why replacing the hyper edges with that structure leads to the result. Something about the number of edges leaving a big possibility of there still being a connected path?

[@Aaron628318]

My guess is that if you replace the hyper-edges with an infinite number of spokes then the maths reduces to the same behaviour as the hyper edges, so the more spokes you add the more closely it matches. If this is right then I'm thinking that the existence of a counter-example for hyper edges kind of proves that there will be a counter example for 'normal' edges, you just need to keep ramping up the number of spokes. Er, maybe...?!

[@colecube8251]

​@@Aaron628318the hyper edges dissapear all at once though, right? But these spoke things as it tends to infinity have a really really really high chance of having a path so doesn't this mean that they behave oppositely?

[@nuhuhbruhbruh]

great explanation, I appreciate that you sacrificed the right amount of detail/generality to convey the key aspects of the problem :)

[@ianallen738]

All these years, they've been asking if we could go to v-prime, but nobody was asking if we should. Mathematicians will be the end uf us all.

[@astrid9920]

This is really cool! Im deathly curious how they arrived at replacing the hyperedges with wheels with 1204 spokes. I bet it has some property m or something, but i really like the idea they kept plugging in numbers to see if they were getting closer like tuning a radio.

[@musictomyshears]

I reckon the hypergraph at 11:26 would look rad on a tshirt

[@Lucretiel]

Question about the problem statement with more than one “post”: are you allowed to jump back down and back up again between the levels of the graph? Or are you restricted to staying at the base in the first case, and making at most 1 jump in the second case?

[@Tzizenorec]

You have to be allowed to jump up and back down. If you couldn't, then the bunkbed with a "bed" of a single line segment (and two posts, for 4 edges in total) would be a counterexample.

[@huttarl]

In the search for aperiodic tilings of the plane, one of the first examples required > 20,000 tiles. Now it's down to one tile (the hat / spectre). Looking forward to seeing the size of known counterexamples for the bunkbed conjecture shrink ... though apparently it's been proven that you need > 8 vertices ... maybe > 30?

[@James-l5s7k]

It's a good mathematician that doesn't believe arguments from authority. Your math is always smarter than you.

[@kmyc89]

And I like the fact of not depending on computers at all, and using brain power

[@jarvisa12345]

0:14 If the conjecture “has been disproven to be false” then that means it has been proven to be true.

[@geboaebo]

🤓

[@scialomy]

it "has been disproven: to be false"

[@ilprincipe8094]

Not true actually, if a conjecture is not false, then the conjecture does not have to be true, see Continuum hypothesis for example

[@SelvesteDovregubben]

​​@@ilprincipe8094That's an oversimplification. The independence of CH from ZFC really means that those axioms don't suffice to prove whether CH holds or not, because there are some models of ZFC where it holds and others where it doesn't. That neither proves nor disproves CH (or its negation), it only tells us that ZFC can't really tell because it doesn't sufficiently delimit the kinds of cardinals that can exist.

[@SelvesteDovregubben]

@@ashifarman4813 Hahahah, it's not really about being smart, it's mostly hard work 😅 You can learn quite a bit about the basics of mathematical logic and set theort from KZbin and Wikipedia. Beyond that, A Friendly Introduction to Mathematical Logic by Christopher C. Leary and Lars Kristiansen and Herbert Enderton's Elements of Set Theory are both great!

[@fergalhennessy775]

super high quality broski, deserve more clout

[@DDranks]

"What if they're all wrong" really sounds like the hacker ethos. "A system unbreakable? You'll see as I'll try and break it."

[@trucid2]

Low probability, large payoff.

[@green5260]

​@@trucid2always bet on Hakari

[@velfad]

14:00 Saying "what if they are all wrong" is a contradiction because "all such conjectures are wrong" is itself such a conjecture so it must be wrong but when you are saying it you assume it's not wrong.

[@JustAGoatt]

The what makes it a question, not a statement

[@timosteinsteiger7289]

Incorrect. It isn't self- referencing. If the conjecture is "all such conjectures are wrong," and 'such conjectures' refers to conjectures commonly thought of as true without having been proven yet, the conjecture itself would not be included, since it isn't something commonly thought of as true. (Which is obvious since people still believe that at least some of 'such conjectures' to be true, therefore they can't believe that they are all false.)

[@markstrong9824]

We get it, you understood Inception.

[@honkhonk8009]

More math content like this!! Its really chill listening to some math that isnt a lecture LOL Idk why.

[@berryesseen]

What about increasing the number of triangles from 1202 to something larger? Does the gap between the probabilities increase further?

[@adityakhanna113]

Igor Pak! Gosh dang, he has been putting out so much stuff recently. An absolute genius of a guy

[@Emma-i9x]

11:00 this feels like the opposite of a generalization, since this should be eqivalent to a 3-cyclic connection, connecting those 3 points, with a normal graph

[@MrDragonorp]

you missunderstand, the hyper link holds infinite paths between one point to the other in the structure, triangle in our example.

[@Emma-i9x]

@@MrDragonorp what's the difference?

[@chrisprice8112]

@@Emma-i9x In a 3-cycle one (or two) of the edges can fail independently, whereas the hyperedge is all-or-nothing, which naturally affects the probabilities

[@_UltimateNation]

As soon as the hypergraph disproved the Alternative Bunkbed Conjecture, the proper conjecture's days were numbered. A hypergraph is basically a normal graph where the number of vertices in each triangle has gone to infinity, so obviously there must be 'some inflection point where there are enough vertices in a normal graph of similar structure' that yields the same result. It's kind of like reverse integration, going from infinite parts to finite parts.

[@StopChangingUsernamesYouTube]

This title really feels like it's one or two steps away from being a perfect tongue-twister.

[@hritizgogoi3739]

too early to claim bunkbed is debunked - the probability is tiny in a probabilistic method setting. It has to pass through critical scrutiny of reviewers. But the fact that their attempt was more logical than computational gives me hope.

[@DrTrefor]

Absolutely. Treat everything here with the normal caveat of a preprint that hasn't gone through peer review - and I'm certainly NOT qualified to be a peer reviewer here.

[@theshoulderofgiants]

the fact that it's logical and not computational should give u less hope...if the argument is logical it can have flaws and can be disproven but if it's computational then well the result is right there...nothing you can do about it... perhaps the computational algorithm could be wrong but that's much less likely than a logical flaw

[@hritizgogoi3739]

@@theshoulderofgiants You are right, but I meant hope in a different context. I hope there is still enough space for human logical reasoning to come up with great ideas and great results in an era where computation is taking over research.

[@radadadadee]

@@theshoulderofgiants lol, there are a gazillion more different things that can go wrong when dealing with numerical computations, and ESPECIALLY SO when the graph is so large and differences so tiny like in this proof

[@psymar]

​@@theshoulderofgiantsIt's extremely hard to prove a nontrivial program is correct. And of course then there could always be a flaw in THAT proof!

[@deleted-something]

I’ve never heard of this conjecture, but pretty cool 🤔

[@WielkiKaleson]

Really insane!! But it seems almost accessible for a "normal person" with a computer to check just that specific counterexample. Oh, maybe if we go from 1204 to, say, 12040, the difference in probabilities will grow? Anyway, this triangle subgraphs are key. Once they are solved, the rest can be probably brut-forced. Or not, whatever, we'll see. Very exciting and inspiring. I am not a mathematician, so I don't care that even if I can solve it (unlikely), it is going to be reinventing the wheel. Thanks a lot for the film!

[@camfunme]

The bunkbed conjecture seems counterintuitive to me. Does it presume there isn't a pole at u,u' ? Wouldn't a pole at u,u' mean that u and u' are functionally the same point, thus both sides have identical probabilities, and thus by adding any other pole anywhere we increase the u v' probability? Wouldn't this also be the same for any pole that is at x,x' where x is only connected to v through u?

[@Tzizenorec]

The poles are arbitrary; you can put them, or not put them, in any places you want. (Or even give them a random probability of being there.) I agree with you that any pole that _is_ there makes the points functionally equal, and so just makes the probabilities closer to equal. That reasoning suggests that the conjecture is simply true, though. 🤔

[@_Vengeance_]

Maybe I'm just saying something silly for not fully understanding it, but as far as I understand it in simple terms: no matter the configuration, you always have to walk a minimum of 1 more pole to get to v' compared to v. That makes it more susceptible to degradation, reducing the probability of reaching it. The debunking really comes across to me as "add so many more poles that a difference of 1 pole becomes neglectable in the probability calculation". Like how if you flip coins you have a higher probability for heads at least once if you flip 2 coins instead of 1 coin, even if this higher probability gets well within the margin of error if you flip 1000 coins vs 1001 coins (practically 100% in both cases, but still, 1 extra coin = 1 extra chance = higher probability).

[@psymar]

As I understand it the counterexample in the paper has only 3 posts

[@RibusPQR]

The post decay rate is separate from the other decay rate, so for purposes of disproving the conjecture you can set it to zero.

[@Tzizenorec]

@@RibusPQR You can even set all the decay rates to zero if you want to. The only problem is that won't help disproving the conjecture because the conjecture is definitely true if nothing decays.

[@trolloftime5340]

This is actually insane!

[@DrTrefor]

right?!?

[@exscape]

Is the example at 5:12 calculated given that the post is always there? I've never studied graph theory, but I find it strange that the final probability doesn't depend on P(w -> w') at all. Is that just a given for this particular calculation (if, say, we are doing a single run of a monte carlo simulation, and for this run, there is a post at w -> w'), or does it exist there in *all* these calculations as a given?

[@DavidSartor0]

The posts don't decay, IIUC.

[@simonvh7092]

I put this in my watch later and only decided to watch it when I saw the title finally changed😂

[@MelodiCat753]

This feels calculus-esque where you add more and more subvertices and more and more edges, and the "limit" of all the connections (if you could take such a limit, despite there being no sense of "length" with graphs as far as I know) becomes a triangle in terms of solidness from the connections, like a web that could catch you. Thinking about why this counterexample works, I notice that the edges on each side of the bunk are extremely "sturdy" due to all the supporting "triangles" (instead tons of connecting edges. Each vertex only have on edge to another, but we use a triangle-like shape via subdivisions to allow for something close to connecting edges). Since they're sturdy, losing any of them won't affect the probability much, so it seems like removing a connection shouldn't really make it that much harder to get from u to v' than to v. But the fact that it flips, not just close to equal, is surprising. Maybe the sturdiness means that the upwards connection (supports can fit in easier with the triangles. There's less supports than horizontal connections, and if the sturdiness obtained by using both triangles from above and below is worth it, then it might be easier to go across by swapping top to bottom top to bottom than by staying just on the bottom. And since the spokes count is again low, it may be more likely that you have to stay on the stop due to every odd number of spokes you may have to stay on the top (in 1 spoke, you would want to go up and you can't do down again in some graphs, so staying up (at v') is easier than finding a way back.) I wonder if this will have applications to carpentry and sturdiness of designs? I wonder if this graph may be part of a larger series that causes the probability of the graph to increase to some limit, and they just found the first counter example where the inequality crosses but it could cross even more.

[@Tzizenorec]

Without an explanation of _how_ this counterexample managed to evade the intuitive understanding, I'm suspecting that the "tiny margin" by which the probabilities evaded the inequality is just rounding error. There's no way for humans to verify, with the graph being that large.

[@DeclanMBrennan]

That for a very enjoyable explanation Dr. Bazett. If this passes review, I guess the bunkbed conjecture can be added to the growing selection of "true-ish" conjectures where the first counter example is huge and not accessible to brute force search. An overview of some of these might make a great series perhaps called "Why Mathematicians can't trust their gut."

[@robertjenkins6132]

Several times in the video you used the word "estimate" in regard to probability. If they are merely "estimating" the probabilities, and have found a counterexample based on those "estimates", then is it really a counterexample, or is it rather a _conjecture_ about a _possible_ counterexample, which would need to be verified by precisely calculating the probabilities (not merely estimating them)? ... (Or maybe I misunderstood what you were saying.)

[@louisnorred8530]

This is awesome, I love this video. If I may ask a couple questions: 1. Is there any probability that the posts will fade away, or are they considered immovable? 2. Is there a possible breakdown of the probabilities in the counterexample as there was in the original basic example (e.g. what is P(u->v) and how does it compare to P(u->w) and P(w'->v'))?

[@SeeAndDreamify]

I don't understand how you can make a hyper bunkbed. Wouldn't the spokes necessarily have to connect to two points on one side and one on the other and thus not be symmetrical?

[@DrTrefor]

In Hollum's example along each "bunk" the edges are 3-edges but the posts between the bunks are 2-edges.

[@SeeAndDreamify]

@@DrTrefor Aha

[@jake-zd8kv]

@@SeeAndDreamify en.wikipedia.org/wiki/Adjacency_matrix

[@jake-zd8kv]

@@SeeAndDreamify en.wikipedia.org/wiki/Incidence_matrix

[@ThiagoOliveiraSantosfaren]

Bunkbed still feels true for most examples, so the question now is: what is the smallest adjustment we can do to this conjecture to make it true?

[@Sparr0]

What are the probabilities if you replace each hyperedge of the hypergraph with just a triangle? Then with a version of the special object with just one new vertex inserted? Then two? I'd be interested to see how that value changes as the number of new vertices in the object goes up.

[@Tzizenorec]

I think it's a mistake to calculate specific numbers. I was able to show in my head that the hypergraph counterexample 'works', but I did that by ignoring a lot of possibilities where the probabilities would certainly be equal, and looking only at the cases where the probabilities would be different. After ignoring all the equal cases, I found one configuration where only the u->v path could be connected, and two paths where only the u->v' path could be connected. I'm working on the hypergraph-reduced-to-triangle-graph version, but it's obviously harder.

[@Tzizenorec]

Okay, I'm stopping here, bogged down in in the details; but I see an imbalance that makes it pretty likely that the hypergraph map is still a counterexample if you convert all the hyperedges to simple triangles, but keep the "each pair of edges between top and bottom has one edge in the pair fade and the other not" rule. To be clear, I don't think it's possible for the Bunkbed Conjecture to ever fail while keeping the probabilities completely independent.

[@slothmasterjack9646]

Does anyone have a not-super-technical explanation of why the logic that makes this conjecture seem “obvious” is wrong?

[@akirakato1293]

if the difference is 10^(-40) magnitude, does the paper account for errors in computation or did they calculate exactly first mathematically then to give a concrete value they used the computer and it gave 10^(-40)?

[@DrTrefor]

My understanding is once the counterexample was found, the computer CAN be fairly precise at computing our the relative probabilities even though the difference is tiny. However in the earlier stage of running machine learning algorithms to try and discover the counterexample, they were doing monte carlo simulations and those were much much less imprecise to find an example like this even if they could have dealt with the huge size (which they couldn't)

[@jesusthroughmary]

It's 10^(-4000)

[@akirakato1293]

@@jesusthroughmary mb. but that makes it even more concerning.

[@jesusthroughmary]

@@akirakato1293 I think that's why he made the caveat about peer review

[@Dagobah359]

You: The conjecture is just so intuitive. (Presents the conjecture.) Me: Whoa, wait. Why would you expect that? Sure, I could see graphs where that inequality would hold, but I'd expect others where it's violated. (Finishes watching the video & the counterexample presentation.) Yeah, I think there are much smaller counterexamples. Your example of why the conjecture should be expected has a single bedpost and so your u to v' probability is a product of probabilities, but if you have several bedposts, you're going to have a sum of products. If the path from u to v is fragile, a lot of bedposts can give you more flexibility in circumventing the fragility on your way from u to v'.

[@luisfonseca2299]

But how does it work with hyper edges between the graphs? Do you have 3 graphs instead and an edge connecting three corresponding vertices? If yes, then I guess you will have paths to v, v' and v'' and how do the probabilities work then?

[@BleachWizz]

4:45 - no... that does'nt seem true... the same way you can think that's easier to walk in the bottom graph you now have the top one to "cut away" and connect more things. but then all of your connections and the things you jumped to are definetly conected before you realize if it's pair can be reached. so it only makes things worse. but trully, because I can flatten this graph and just get another bipartition to call one bottom and one top, it creates a simmetry that you shouldn't be able to prove either way is better than another.

[@marcusbluestone2822]

Well explained! Thanks

[@koussayyahyaoui4882]

I love how I watched the whole video even though I have no idea what's even being said

[@boywithlonghair2947]

Mathematicians beating me up because I put two lines on two triangles. lovely video btj

[@laz272727]

To me (not a mathematician) it seems kind of that uv

[@keejay98195]

is there any kind of combinatorial intuition why the probability in the cointerexmaple is higher for u->v‘? or do we just have to accept it 🙄

[@johnathanmonsen6567]

With the initial conceptualization of edge percolations you gave, now I'm wondering about an alternate Graph setup where, rather than decaying instantly, each edge has a scalar value, which one might consider its "strength." Each percolation could instead simply reduce the strength, but the edge is still present until that strength reaches zero. I wonder what kinds of explorations you could do with _that._ There's ways you could tweak it further; like constraining what values the scalar can have, having different categories of traveler that require a certain value to cross an edge, or even using the scalar as a _probability_ that a traveler could cross the edge, between 1 and 0. I expect real mathetaticians have already thought of this, of course; I'd be interested in looking into what they've found.

[@jackielinde7568]

Breaking News: The Bunkbed Conjecture was just debunked. now it's just two single beds next to each other.

[@aieousavren]

Underrated comment. Hahahaha

[@lettersquash]

Good video to threaten the kids with if they're arguing about who gets the top bed. Either they quieten down immediately or they're asleep after five mintues.

[@DanKaschel]

Im not much of a mathematician, but to my dev brain this sounds like a serialization problem. The process of "how can we represent complex data as a atring of 0s and 1s", is typically a matter of flattening high-dimensional data on a lower-dimensional space. For example a (0-indexed) 10x10 2d array can become a 1d array where the index of (x,y) is located at 10x+y. Hopefully my intuition correctly that the solution in this video was essentially to "encode" the hypergraph as a lower-dimensiinal graph in such a way that it preserved key characteristics.

[@liam3284]

If there are three posts, intuitively there may exist a path traversing (up, down, up) which can only switch bunks. This is reminding me of multi-layered circuit boards...

[@xAeroSpaceKnightx]

Could that tiny difference not be attributed to machine error? It would need a supercomputer for sure to validate it. I love the idea of transposing the points within the hypergraph. I feel like this could be tested using a physical electrical analog...hmmm

[@ivanviehoff6025]

Percolation theory has many practical applications. But was the bunkbed conjecture of any practical interest or importance, or just something that gained attention (among graph theorists) because someone gave it a cool name? If there are practical applications, it still seems to be a very good approximation, which might usually be good enough.

[@ΠαναγιώτηςΓιόφτσος]

In your experience, how often do conjectures like this get resolved?

[@DrTrefor]

Depends what exactly is meant. Conjectures of some type get disproven every day, people think up ideas and other people knock them down. However this conjectured managed to stand since 1985 and was widely believed to be true as I understand it, so it is definitely rarer that something of that nature gets disproven.

[@yorusign]

So now that it is debunked we're left with just the Bed conjecture?

[@JonMW]

I feel like the specific subtype of the problem, whether either an edge or its corresponding edge must be removed, is pushing the probabilities a lot to be closer together. A bad layout on your starting plane raises the chances of there being a good path on the other plane. Even more so if you, instead, selected n random edges across both networks and removed those.

[@CrazyMineCuber]

I am sorry for asking this question, but when I started uni, I was really passionate about all kinds of math. But now at when I have finished university and started working as a real engineer (and basically not using any math right now), I feel like I can only appreciate complicated math, which is used to solve real practical problems. So, why would anyone care about these bunk-bed graphs and then randomly removing some lines in the graph and then checking is you can go between four points? Seem like very arbitrary with 1 billion equally arbitrary combinations.

[@XGD5layer]

Graph theory is very useful in a number of areas, including in the optimization of computation algorithms or system design.

[@CrazyMineCuber]

@@XGD5layer Yes of course, but why would anyone care about probabalistic bunkbed graphs?

[@XGD5layer]

@@CrazyMineCuber It's all about random walks, which is the context of all this.

[@thomasw.eggers4303]

Same here. That's why you and I are engineers and not mathematicians.

[@pillmuncher67]

They should get the Nobel Prize in physics. That's what all the cools non-physicist kids are getting these days.

[@pixelatedmushroom]

A question popped in my mind, as stated the conjecture applies only to connected graphs, but the graph at e.g. 3:32 is not connected?

[@DrTrefor]

It just needs to start connected (just to eliminate the trivial cases where you can never get from u to v say because they are in different sections). After percolation absolutely the connected graph could become disconnected.

[@BrianSpurrier]

Now I’m curious what the smallest counterexample to the bunkbed conjecture is

[@Brightgalrs]

You used informal language to explain the intuition behind why it really seems that the conjecture "should be" true. I was hoping for another explanation like that at the end of the video, like explaining where that intuition goes wrong, what adding in those 1204x6 nodes is really doing, etc. I guess it's still early days. Just being able to understand the problem and even comprehending the counterexample is a bit of a popular mathematics miracle.

[@MrDragonorp]

the hyper link is basically a structure that holds infinite paths from one spoke to the rest on it, in this example its a trinagle, by adding the structure below you simulate the trinagle just in low resolution, if they added more then 1204 of this structures the margin would probably increase. 6 times is the number of new spokes for each given spoke

[@Twisted_Code]

At 7:00 I think I can already see where the conjecture falls apart: if you add more posts, doesn't that create potential for detours? 8:00 I'm not sure why you would need thousands of pages for this detour effect to start being relevant to the conjecture, so maybe I'm wrong

[@aukeholic1]

Wait . . 8:57 . . didn't he just say it the other way around? The conjecture was the bottom to bottom bunk being more probable than the bottom to top, right?

[@2adamast]

Seen from 6:53 It would be more unequal if going from U to V can be done going through V ' when needed. As this is not the case, I wouldn't put my money on the bunkbed conjecture. (edit) That's not fully correct, but there must be a class of two level (1 - 2) solutions available to V ' that are missing for V, while it is still not sure 1 - 2 - 1 solutions are allowed or needed.

[@mikescholz6429]

Room for so much more activities!

[@nathangonzales2661]

What does it model, though? This seems like it can be solved much easier with better definitions of percolation and path enumeration.

[@nickhockings443]

You probably need to explain/demonstrate why the number of possible graphs increases so rapidly with increasing numbers of nodes and edges. It is much faster than most people intuitively expect.

[@mariondiabolito4054]

What struck ME: the two connected graphs are PLANAR. Do you realize how rare planar graphs are? Planar graphs on 7222 vertices? That's the mathematical equivalent of a miracle.

[@DrTrefor]

Well planar graphs are certainly rare, this construction that sticks in these big fan structures are planar in a bit of a boring way. Any planar graph can have a fan with a billion vertices stuck to it and still be planar

[@davebo3338]

One thing i didnt follow, do the posts have a chance of decaying as well or just the surfaces?

[@DavidSartor0]

No.

[@ifroad33]

I think the initial example you gave was too obviously gonna follow the conjecture. If you had put the post in another spot that wasn’t located at the symmetrical v node, then it’s not too clear why the probability is still greater.

[@kittenthesmol7373]

Don't ask me how or why, but here's a poem about the news (spoilers: it's *really* bad) beyond mind, reason, and time would the bunkbed theorem reside but then the men of intellect united they had sought to defect so they searched for what doesn't conform but still had the specified form soon though they found it was for naught for live to check all of them, they could not so they enlisted a mechanical mind it could think forever, in finite time the machine showed them the special graph a design that paved a solution's path one edge connected many points on its own they could easily go against their foe so they were changed into what the foe specified two nodes per edge, not three or nine each special edge became a thousand or more but the whole had its properties as before thus, the theorem is disproven through seven thousand points interwoven the men cheered after their battle a decade old foe slain by a mind of metal thought this victory was not greatly desired yet it is still a story of which to admire