The Mystery of the Unknown "Ramsey Numbers"

Подписаться 47 тыс.

Просмотров 16 тыс.

50% 1

Let me explain about "Ramsey numbers", an interesting unsolved mystery with recent mathematical progress, which we can visualize through colorful shapes and analogies about parties!
Also, here are a few bonus "shorts" I released since last episode (I didn't send them to notifications or subscription feeds, so you may not have seen them)
• Shorts
• Shorts
Also make sure you're tuned in to my ‪@Domotro‬ channel for my bonus videos, livestreams, and other content!
This was filmed by Carlo Trappenberg.
Special thanks to Evan Clark and to all of my Patreon supporters:
Max, George Carozzi, Peter Offut, Tybie Fitzhugh, Henry Spencer, Mitch Harding, YbabFlow, Joseph Rissler, Plenty W, Quinn Moyer, Julius 420, Philip Rogers, Ilmori Fajt, Brandon, August Taub, Ira Sanborn, Matthew Chudleigh, Cornelis Van Der Bent, Craig Butz, Mark S, Thorbjorn M H, Mathias Ermatinger, Edward Clarke, and Christopher Masto, Joshua S, Joost Doesberg, Adam, Chris Reisenbichler, Stan Seibert, Izeck, Beugul, OmegaRogue, Florian, William Hawkes, Michael Friemann, Claudio Fanelli, and Julian Zassenhaus.
(To join that list of people supporting this channel, and get cool bonus content, check out the Combo Class Patreon at / comboclass )
If you want to mail me anything (such as any clocks/dice/etc. that you'd like to see in the background of Grade -2), here's my private mailbox address (not my home address). If you're going to send anything, please watch this short video first: • You Can Now Mail Me Th...
Domotro
1442 A Walnut Street, Box # 401
Berkeley, CA 94709
Come chat with other combo lords on the Discord server here: / discord
and there is a subreddit here: / comboclass
If you want to try to help with Combo Class in some way, or collaborate in some form, reach out at combouniversity(at)gmail(dot)com
In case people search any of these terms, some of the topics discussed in this episode are: Ramsey numbers (especially "diagonal Ramsey numbers") such as R(5,5), Ramsey's theorem / Ramsey theory, Graham's number, graph theory, complete graphs, the analogy sometimes called the "theorem on friends and strangers", the mathematician Paul Erdos, aliens, computers, and lots more!
If you're reading this, you must be interested in Combo Class. Make sure to leave a comment on this video so the algorithm shows it to more people :)
DISCLAIMER: Do not copy any uses of fire, sharp items, or other dangerous tools or activities you may see in this series. These videos are for educational (and entertainment) purposes.

Опубликовано:

31 май 2023

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 132

@ComboClass Год назад

Hope you all enjoy! After you watch, check the description for other cool links (like a few new "shorts" I put on this channel without sending to notifications/subscriptions). Also check out my @Domotro channel for all my livestreams and bonus videos!

@sonyamainprize6407 Год назад

R(9,9)=345-50,000

@adamsheaffer 5 месяцев назад

I predict that the next Ramsey number is 48, because base six :)

@stickmcskunky4345 Год назад

Tonight I am ready to learn about this cool unsolved problem in mathematics.

@joedevitt132 Год назад

Said no one ever. This shit will send you phucking mad, as you can clearly see in most of his videos, it takes a certain type to pull it off... Mathematics, not even once.

@lyrimetacurl0 Год назад

I wonder what the 1919th Busy Beaver number is.

@darreljones8645 Год назад

A slight error in the graphic that shows up around 6:30: The phrase "pigeonhole principle" is misspelled. A "pigeonhole principal" would likely be someone in charge of a mailroom. :)

@ComboClass Год назад

Good observation, you’re correct haha

@ulalaFrugilega Год назад

@@ComboClass totally on purpose for sure. 😂 I see a smug pigeon strutting around, organising all those holes into bunches of 5 which seems to the number a smart pigeon can count.

@ComboClass Год назад

@@ulalaFrugilega It was an accident, but as far as misspellings go, at least it was a humorous one haha

@joedevitt132 Год назад

You are very smart... does that make you feel good?

@ulalaFrugilega Год назад

@@joedevitt132 🤣 don't you think it's good and helpful to point out mistakes?

@gustavocortico1681 Год назад

This seems extremely useful and frankly kind of magical. Just imagine, you have a big set whose elements relate to each other. By merely knowing the size of the set you can immediately infer over the relationship between the elements.

@SirCalculator Год назад

Actually Ramsey numbers have been known to be quite useless among mathematicians so its funny that you say that :D But I agree that the whole concept is extremely fun and engaging

@Madrawn Год назад

@@SirCalculator I think it might be useful for circumstances in fields where such a connected group has special properties. Like if I had a polymer that formed by connecting to its neighbours either using a double bond or a triple bond, and I knew that three molecules that connect to each using only one type of bond will be broken down into some deadly toxin if you eat it. Then I know that polymer could never be made non-toxic no matter how clever I am and how much control I exercise over the reaction. (This example doesn't hold up to closer scrutiny without some further conditions like each molecule would have to always connect to at least 6 others which would have to be some form of lattice i think)

@newd9848 Год назад

I really liked the part where you pet your cat and simultaneously explain the math stuff. Very cute!

@TheChemist94 Год назад

Dots and colors was much more intuitive explanation to me than high-fives.

@ComboClass Год назад

The colors are definitely easier to visualize. The high-fives were mostly to show how it can apply to real-world situations

@u_cuban Год назад

It would be interesting to hear about some of the unintended benefits of these abstract mathematical questions. For instance, I could see Ramsey Numbers being used to predict properties of metallurgical alloys based on the geometries of their bonds within repeating microstructure shapes in the alloy (much like the tiling vid I watched previously). While I do enjoy pure maths for maths' sake, I think linking it to advancements in other fields would help make the information feel more accessible and encourage cross-disciplinary consideration of the knowledge.

@TymexComputing 10 месяцев назад

I hope that for metallurgy its enough to find that R(5,5) to be between 43-48 :) - even for the "multi-scale" metallurgy simulations

@madisonjacques8507 Год назад

I really love your videos, but my favorite part of this was how happy the kitty was when you rubbed its belly

@wjones28 Год назад

bro I just wanted to smoke and go to sleep😭now I will smoke and have my mind blown.

@peppermann Год назад

Wonderfully and enthusiastically presented, as always!

@Paul-fn2wb Год назад

I'd die after a minute of such intense talking, you're awesome. It's rare I come back to a video I started watching a day before, but here I am! I heard about the numbers previously, but only now I understand their meaning. Thank you! Cute pets and studio!

@boxmanatee Год назад

These videos are just getting better and better.

@conrmckocoa9352 Год назад

Thanks for explaining it in multiple ways with multiple visuals and examples, that's really helpful

@TheMagicFellow Год назад

Nice to see some of the "Combo Mail" being used in videos from the Live streams.

@matthijshebly Год назад

Wasn't sure about your delivery at first, but I'm warming up to it, and your content is great :)

@nickcarr5724 Год назад

I mean this in the best way possible: this is the most absolutely unhinged video I have ever seen.

@stickmcskunky4345 Год назад

I might not be a computer but I can sure as hell draw a lot of dots and lines and now.. I must.

@ulalaFrugilega Год назад

And not just once either... reminds of the heroine in Heinrich Böll's book "Gruppenbild mit Dame" who had started drawing an eye in such detail that every cell of the retina was visible. Impossible to do in a human lifetime, but she was working on it anyway.

@aslkdjfalsdkjfasldkfj 2 месяца назад

my new favorite channel after the eggs and complexity and this

@richardforster1239 Год назад

Is it known whether R(7,7) must be smaller than R(8,8)? The ranges you gave imply that R(8,8) could be smaller but my faulty human intuition expects R(7,7) to be smaller. Similar questions exist for non diagonal numbers, so R(6,6) vs R(6,7) for example. Great videos by the way!

@ComboClass Год назад

Yeah as you’d guess, R(7,7) can’t be larger than R(8,8), so basically R(7,7) could only be in the > 283 part of its range if R(8,8) is also above that in its own range

@maynardtrendle820 Год назад

I like the cleaned-up combo class.

@krishnakrick7475 Год назад

@comboclass Nice presentation and explanation There is a pattern in Ramsey number table 15:03 . If you view the Ramsey number table diagonally, it represents a sort of reduced Pascal's triangle. By observation, it shows 1. The upper bound of Ramsey number is Pascal number. 2. Ramsey number is less than or equal to Pascal number.

@drenz1523 Год назад

that is pretty interesting...

@HeavyMetalMouse Год назад

The real trick is to try and prove that this pattern continues to hold going forward. Many patterns in maths tend to hold for a small number of initial values, then break at a certain point at which the problem passes some boundary of complexity. Occasionally, that 'small number' can be ridiculously large, which is particularly annoying.

@renerpho Год назад

@@HeavyMetalMouse Which is a corollary of Guy's strong law of small numbers: "You can't tell by looking," and "there aren't enough small numbers to meet the many demands made of them".

@drenz1523 Год назад

@@HeavyMetalMouse Looking at the Wikipedia page (in the Asymptotics part) apparently it is proven that an upper limit of a ramsey number is (r+s-2 r-1) which i think is also the formula for the pascals numbers but im not sure

@stanleydodds9 Год назад

These are called the binomial coefficients, and it's quite easy to prove that they are an upper bound on the Ramsey numbers. Consider a graph with R(x-1,y) + R(x, y-1) vertices. Pick any vertex, and say it has r red edges and b blue edges connected to it. If r

@Bingcenzo Год назад

"What were you doing at that party?" "Uh... high fiving?"

@CatherineKimport Год назад

This low number answer, very hard to prove problem reminds me of the search for “God’s Number,” the maximum number of moves that an optimum solution for a Rubik’s Cube scramble can have.

@glarynth Год назад

Your set would make Doc Brown feel at home

@gregorydessingue5625 Год назад

I work in a space with no cell phones, and no internet in the computer I use. You’ve inspired me to play with the calculator occasionally on breaks 😅

@PotatoSofi Год назад

This proves that, in every party with only one person, that person will always high five themselves.

@popularmisconception1 2 месяца назад

or not.

@wesleydeng71 Год назад

Thanks for the good video. I have a black cat that looks exactly the same as the first one!🐈‍⬛

@victorribera5796 Год назад

This somehow feels like those cases where they find the fifth number and that gives a complete formula for all cases

@hkayakh Год назад

Oh so Ramsey numbers are that time travel riddle by Ted Ed

@dananichols349 Год назад

As usual, by the end of the video I have no idea what's going on, and yet... I get the feeling that I'm more enlightened than before I watched the video.

@jagoandlitefoot Год назад

i love your cats so much 🥺🥺🥺🥺🥺

@ComboClass Год назад

Me too! I’ll try to feature them in more episodes :)

@azimuth4850 Год назад

Interesting.

@ashleyvalleyfarms3712 Год назад

I had no clue jack harlow was so passionate about math

@claytonhiggins7526 Год назад

Love the video! But how is it that we know R(a,b) always exists?

@ComboClass Год назад

A theorem called Ramsey’s theorem proved that there will always be a finite solution to R(a,b)

@JurassicJenkins Год назад

@0:29 ChatGPT - I couldn’t resist 💪

@TymexComputing 10 месяцев назад

15:40 - the definition why diagonal Ramsey number is "diagonal" - pretty obvious but i still was a suprise :)

@TheCookiePup Год назад

I found a similar sequence "A089424" on the OEIS, but it becomes invalid since 1580 is outside of the 282-1532 range.

@TheCookiePup Год назад

Possibly better comparisons: A241208 (divide by 2) A336127 (skip first 3 terms, divide by 8) A174470 (skip first 2 terms, divide by 9) I was searching OEIS for more instances of 1n, 2n, 6n, 18n where the next term is somewhere between 43n and 48n, and the following terms continue to fit the ranges for the lower and upper bounds.

@stickmcskunky4345 Год назад

A000957 (Fine's sequence) also matches the first four (only) diagonal Ramsey numbers, and is related to the Catalan numbers.

@stickmandaninacan Год назад

All i heard was "the answer is a whole number less than 50" i haven't watched further, but the answer has just gotta be 42. That super computer already figured it out

@ComboClass Год назад

I do love the hitchhiker’s guide to the galaxy. Unfortunately with the number I was referring to here, it has been proven larger than 42. Might be 43 though

@popularmisconception1 2 месяца назад

This sounds certainly like a combinatorial problem. And the table, when rotated diagonally, looks a lot like a pascal triangle. So I'm pretty sure intuitively that the answer to what the R(a,b) formula is has to do with combination numbers (and multinomial coefficients for more then 2 colors) and inclusion and exclusion principle. Some thinking and maybe a conjectural formula could be devised.... lemme think...

@november666 Год назад

It’s crazy that mathematicians can’t figure out what 43 - 48 is. Like bro, it’s just -5

@ulalaFrugilega Год назад

Why is this called Combo Class? Totally enjoy it, thanks!

@anthropomorphicpeanut6160 Год назад

Combinatorics I guess

@ComboClass Год назад

There is a whole history behind why I called it Combo Class and various reasons, but one of the simpler-to-explain reasons is that I like to “combine” different topics/approaches, such as mixing pure math teaching with other things in nature/philosophy/language/etc

@ulalaFrugilega Год назад

@@ComboClass To me, Combo has musical associations, which does go well with mathematics, of course.

@ComboClass Год назад

@@ulalaFrugilega There will be musical connections in future episodes for sure :)

@ulalaFrugilega Год назад

@@ComboClass just saw the exponents episode and was delighted by the promise of your inside-background... but saddened by the realisation that I'm too stupid to understand why 2 does not multiply like 3 does. Stuck at 4 when I expected 8... so, though I had absolutely expected correctly, how the other numbers developed, I now doubt if I really understand. Still, I do love numbers a lot, and the way you explain things at least as much, so I enjoyed myself anyway. Thanks! By the way: do you think we must have sth. fundamentally right in presenting our numbers, if the digit sum tells us so much about a number's traits? Or would there be other ways, like the Romans', that may give different clues?

@nicholasweaver2374 Год назад

Aliens: People of Earth! We demand the 5th Ramsey number! Humanity: We don’t know it! Aliens: Dang, you don't know either? That's unfortunate.

@theinternetis7250 Год назад

Next episode: the Reimann Zeta Function

@ComboClass Год назад

Not next episode, but I do plan to make an episode about that before long :)

@jorian_meeuse 11 месяцев назад

There was a breakthrough in ramsey numbers very recently, apparently. I'm not sure about the details, but I believe someone solved R(4,t)

@blueschase11 Год назад

What was those crossings of the 4 connections and from 18gon.

@snakewhitcher4189 Год назад

I was thinking the exact same thing. I Was unfortunately predisposed. No math. Only teeth.

@rickyraj7773 Год назад

Hello I don't know if you'll read this but in any case you do I just wanted to ask for any advice that you can give me for mathematics as I'm now in jr college I am finding it do be really difficult...maybe 2-3 later our class will start calculus and coordinate geo. I'm kinda scared of these two So please if there's any advice that you can give regarding How to improve in maths

@ComboClass Год назад

Some advice I will always recommend is to read a lot (both from books and from online encyclopedias/articles) and take notes about different ways to describe topics or connections you find between them. And work with the topics yourself, doing personal experiments to see what you can demonstrate yourself and what further questions you think of. That’s just a few pieces of advice. Good luck!

@rickyraj7773 Год назад

@@ComboClass Thanks for the advice

@NoOffenseAnimation Год назад

If aliens ever come and demand the 5th Ramsey number, I'll know that domotro prophecied (?) this

@General12th Год назад

Hi Combo! I like to think that isn't your cat. You're just petting random cats who wander into the shot.

@ComboClass Год назад

Well, although they are my (3) cats, one of them was a stray who did kinda wander into my realm and started getting pets and decided to stay over time (now is officially adopted)

@GameJam230 Год назад

I feel like calling them dots, or vertices on a N-gon might be a red herring. After all, you can rearrange the the dots, moving their respective connections along with the ends, and you'll end up with a new arrangement of connections, which you referred to as a different "coloration". In reality though, all you've done is visually diaplaced information that you had, but you haven't actually changed it. If that is the case, then it would imply there is some inherent cause for this which is in no way related to connecting points in a geometric structure, and that any algorithm you can use to determine if two points are connected or not will always output the same results. For example, let's say we draw a red connection between any two points which are coprime with each-other, and a blue connection between any two points which are not. This will obey the rule for all *known* numbers, as in if you have 6 numbers, whether consecutive, randomly selected, or from some specific sequence, then it will be guaranteed that either a 3-gon of blue connections or (but not exclusively) a 3-gon of red connections will exist in it. And, with having the ability to change what the numbers are without affecting the validity of the statement, it could be equated to simply rearranging the vertices on a geometric shape. In both cases we have made only minor changes to the information, but some distinct force is still causing the statement to be true, which as I said, implies that it is not something that depends on the arrangement and selection of the data, but on some inherent fact about trying to connect concepts together to begin with.

@ComboClass Год назад

I’m not sure where you got the “n-gon” idea, I never mentioned that. Each “coloration” I described has a clear and technical definition. Like I mentioned later in the episode, they are the distinct “graphs” on n vertices, in what’s called graph theory

@GameJam230 Год назад

@@ComboClass I was using N-gon as a way to phrase what the visual looked like, I wasn't suggesting you called them that necessarily. You drew 6 dots close to equally spaced apart for R(3,3), which is functionally equivalent to 6 vertices for a regular hexagon. But what if I took the position of two of these points, and swapped them? (To clarify, that means I move their respective connections too. So if point 1 and 5 are connected, they'll still be connected if I swap the position of point 1 and point 3, regardless of if point 3 was connected to point 5 or not). Visually speaking, it looks like we've just drawn a brand new graph with a different arrangement of connections between points, but functionally speaking, it's the same points that are connected. I only used the terms I did to attempt to convey that this may not really be a "graph theory" problem, and instead one that can be *visualized* with graph theory. Or rather, not to suggest it isn't a graph theory problem, but instead to suggest that visualizing the problem is causing a misconception with its meaning. That's more what I'm trying to get at here- that visually representing this problem is what causes the distinction I'm noting. Whether that visualization is calling it connected points, high-fiving people at a party, or numbers which are coprime. In all 3 cases, they are different ways to represent the same problem, and all obey the same rules as the others.

@ComboClass Год назад

Well yeah I mentioned in the video that you can move the dots wherever and it would be called the same “graph” as long as the web of connections is the same. Whether you include just the distinct graphs or include all visual ways of doing it, the rules (like that 6 dots will always have a monochromatic triangle) are true either way. And it’s not about n-gons but it’s far easier to draw the connections when you space the vertices equidistant on an invisible circle which ends up being a polygonal shape

@ComboClass Год назад

And it is possible to describe this problem without using any visualizations, but it would still typically be classified as graph theory. However, graph theory is very commonly given this type of visualization because otherwise it’s much harder to work with

@snakewhitcher4189 Год назад

My left hand seeks blood.

@OzoneTheLynx Месяц назад

this feels like a problem that should be efficiently solvable using quantum computers, then again I don't actually knwo quantum informatics.

@good.citizen Год назад

yep ibe skipping since the back yard camp out you know smoking or hanging out at the bowling alley, although i got the fibonacci primes i need to cram derivative intergrations mod sqare root of twelve plus an accountability of extra stellar brownian mass motion pls thank you combo class

@godhimself1125 9 месяцев назад

13:27 oh no he’s talking about r(3,4)

@obiobiero6498 7 месяцев назад

Im raising tis concern late but I'd like to know how the possible colourations are calculated.Anyone who knows how?

@tomkerruish2982 2 месяца назад

Naïvely, this sounds like something amenable to quantum computing. I'd really like to stress that first word.

@aer0a Год назад

If you were lucky, a computer could instantly eliminate a number

@soupisfornoobs4081 Год назад

You should not be allowed in casinos

@evenaxin3628 Год назад

Would R(2,3,3) be 7?

@sonyamainprize6407 Год назад

Yes

@devoidsloth Год назад

I wonder if they’re all even

@alexhd4747 Год назад

bro stole my cat

@bobh6728 11 месяцев назад

There is one thing he needs to study about more. That is gravity. Things fall if there is nothing holding them up!! 🤪

@NathanBrock-ih2ee Год назад

Why R(3,4), you couldn't have chosen any other pair of numbers. I'm not going to tell why it's a problem, but I believe you should already know.

@darrylschultz9395 8 месяцев назад

C'mon-nobody would hi-five anyone at a party that was part of this Ramsey experiment. Get real-they'd all head straight for the beers!

@thebetterone7638 Год назад

Isn’t it 54 2(1+2+6+18)

@Tletna Год назад

I don't have an answer yet but this sort of problem seems like the kind of problem where if one thinks about it differently it might become easier or harder to solve.

@monoman4083 Год назад

ramsey ramjet

@keonscorner516 Год назад

R(5,5) is 45 exactly I know it

@the_jono Год назад

Not First

@sonyamainprize6407 Год назад

R(9,9)=345-50,000

@Justyouraveragedaeodon5 Год назад

3x+1

@andylenk959 Год назад

Perhaps use an intiger composit list with various arrangements of 0 ie(0101011010=5 and 11010110=5) then use IF statement to eliminate, or model possibilities of the angular, vertical and horizontal lattice pathway possibilities. ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-er9j4r3hkng.html

@hkayakh Год назад

It’s easy just guess

@paulfoss5385 Год назад

3:59 I am of two minds over the use of the term "subgroup" here instead of "subset". On the one hand "group" has a very specific meaning in mathematics, but on the other hand mathematicians clearly named "sets" and "groups" backwards. People naturally talk about "grouping" items for defining arbitrary collections, but in abstract algebra arbitrary collections of elements don't generally form groups which have to satisfy rigid properties which are set in place. People only talk about "setting" things if they have a specific arrangement in mind, like setting the table. Every single time I try to explain groups to people I have to waste a bunch of time saying what it isn't. And this video isn't employing ideas from abstract algebra, so its fine, but to someone who has studied abstract algebra it can sound a bit off and "subset" would have worked here, although it could risk making the video sound too formal and uninviting. 🤷‍♂ My pedantry aside, great video.

@sonyamainprize6407 Год назад

R(0,0)=0

@pauselab5569 Год назад

almost first

@chrisdecke5619 Год назад

Anybody confused

@user-pr6ed3ri2k Год назад

Wait i think numberphile discussed thiw lol but i eont 4:37 0:01* really remembermrmfkrkendjrjrjrjrjrrhrhr

@user-pr6ed3ri2k Год назад

Minimum size for guaranteed group

@user-pr6ed3ri2k Год назад

Also Ted Ed for dimensional nodes thing ido

@user-pr6ed3ri2k Год назад

Uddk

@user-pr6ed3ri2k Год назад

Reminds me of grahamnum

@user-pr6ed3ri2k Год назад

12:34 no don't

@hkayakh Год назад

1 57

@ComboClass Год назад

One recommendation is to read a lot, both from books and from online encyclopedias/articles, and to take notes while you are reading. Then, try to do experiments or work with the concepts yourself, seeing which portions you can demonstrate yourself and which other questions emerge when you play with the topic. And throughout that, look for connections between different topics you've encountered, and take notes about those connections. That's just a few pieces of advice. Good luck.