btw whats the notable difference between richter scale and moment magnitude. And today will still say "that was a 6.3 magnitude earthquake". So is it not richter?
@@studytime2570 the Richter scale was designed to be used in California. For reasons that are beyond my level of geological knowledge it didn't map onto other regions. So a global scale was created. To the last question: yes.
@@studytime2570 Only the moment magnitude scale is capable of measuring magnitude 8 and greater events accurately. Additionally, the Richter scale was calculated for only one type of earthquake wave.
Yooooo! This is the best way to read papers; by not reading them at all and forcing the author to tell you, in what I assume to be an excruciating lack of detail, what they proved and how. Thank you so much!
@@rosiefay7283perhaps, but it’s a 22m video and we have the whole picture and more, save for some rigorous steps. Tradeoff, sure, but I definitely used my 22 minutes better on the video. That’s probably true for most, even researchers? Thoughts?
Why so few videos? You had me on the edge of my seat from start to finish. Video quality/explanation is spot on. This is "a million subscribers" content.
I feel like there is a real question to be had about why humanity finds primes so incredibly interesting. I've watched so many videos about prime numbers and yet I am still hungry for more. Great video :)
Primes have always fascinated me because they feel like the building blocks of numbers. It's remarkable to think that every other natural number greater than 1 can be decomposed into a unique product of primes. It's almost as if primes are the elemental components of the number system, much like atoms are the fundamental building blocks of matter. This fundamental property of primes is what makes them so intriguing and important for us humans. At least that is what I think.
It must've been very cool to find out that the prime properties of this seemingly arbitrary sequence is related to a very active area of research, namely primes in arithmetic progressions. In particular, I find it really neat that these sorts of questions are playful enough that you could imagine Fermat or Euler studying them, but we can now describe them with our more modern techniques.
I don't think anyone's posted the reason as to why 3 is the second number in every cluster, so for those curious, it's stems from the fact that every index with nontrivial gcd is either 0 or 2 mod 3. This comes from simple induction: the first index indeed satisfies the condition, and if the previous index n was 0 mod 3 then 2n-1 isn't divisible by 3, so the smallest prime p dividing it is -1 or 1 mod 6, leading to the new index being (p-1)/2=0 or 2 mod 3 more than the previous one; likewise, if the previous index n was 2 mod 3, then 2n-1 is divisible by 3, so the next index shifts by (3-1)/2=1, making it 0 mod 3. Because of that, when we get to an index t that makes 2t-1 prime, 2t-1 is also the index of that prime (since the index goes from t to t+(2t-1-1)/2=2t-1), and since the index is prime and more than 3, it isn't 0 mod 3, so it's 2 mod 3, leading to the next number 2(2t-1)-1 in the sequence being 2*2-1=0 mod 3 i.e. the number after the prime must be 3.
Thank you for the nice walkthrough. The mod3 sequencing has the same flavor to me as Syracuse sequences. It seems like there is something about mod3 carrying information that pops up in recursion that’s not coincidental.
@Eric Rowland, in the three videos you've created so far, your ability to explain mathematical concepts with clarity and insight is remarkable. I really hope this there is (a lot) more to come!
Thanks so much for telling me to look at the patterns myself. Where "...5,3..." occur at such interesting intervals so does where "...7,3..." occurs as well. "5,3,11,3,23,3,47,3" is 8. "5,3,101,3,7,11,3,13,233,467,3" is 12. You can then write them as iteration numbers: "P3,P2,P5,P2,P9,P2,P15,P2" is 8.
If everybody who makes math videos was so concise, clear, and give visual examples that can demonstrate your point so simple and obvious as you do, we would be able to understand a lot of other things much better.
it's always nice to see actual progress in abstract mathematics and number theory, keep it up, who knows, maybes someday humanity will discover some relation between these patterns and the riemann hypothesis
very clever and excellent explanation. walking someone through the thoughts your brain went through when solving a problem is my favorite way of teaching.
Observed pattern. In the first cluster, 5 is followed by 3. In the next 11 is followed by 3. In the fourth, starting with 47, 5 is again followed by 3. In the fifth, starting with 101, 7 is not followed by 3, but 11 is. 13 is not. Scanning down, it appears that whenever 5 or 11 appear in a cluster they are followed by 3. But this does not appear to hold for 7 and 13 -- which also appear to never occur as the first terms of any cluster. So perhaps for numbers that start clusters, if they reappear in other clusters, they do so followed by 3. And numbers that do not start clusters, if they reappear in other clusters, they do so not followed by 3.
I absolutely love this. At no point does it feel like rigorous mathematics. It feels like you're just playing around with a simple sequence and seeing what patterns appear. Awesome job. As of writing this comment, idk if you've made a follow up video, but I'm looking forward to it.
Math educators like yourself have been invaluable to me. My eyes will glaze over reading the papers you cite, everything goes wavy and the nomenclature makes no sense without help. Watching videos like these, with explanation and animation, the information feels much more natural. I probably won't contribute to advancing the discussion on these topics, but to understand a little more about them without enrolling in a whole degree program makes me fortunate. Thank you
21:50 That sequence is interesting. If you take the first 2 to be in the 2nd position (so the sequence just has no first position) then all the primes, other than 3, seem to appear in their own numbered position (i.e. 2 in the 2nd pos, 5 in the 5th, 7 in the 7th). You then have other primes appearing, and at intervals corresponding to prime multiples of that prime (e.g. 5 in the 5th, (2x5)th, (3x5)th and (5x5)th positions) though it looks like possibly any given prime will only appear in the sequence a 'few' times (for some definition of few) then never again.
Idk about the multiples, but your first point about the pth position being p is proven as Proposition 2.3 (Proposition 5 in the arxiv version) in the Ruiz-Cabello paper linked by Eric above!
in the first 10000 terms, there are 5 instances of 5, the last one on n=25=5*5 one instance of 7. 3 instances of 11, last one on 33=11*3. 8 instances of 13 (7th on 91=7*13, 8th on 169=13*13). 17 appears three times, last on 51=17*3. 19 appears once. For the following the appearances along the sequence continue to be equally spaced: 23 appears five times. 29 five times. 31 once. 37 once. 41 three times. 43 five times. 47 five times. 53 three times. 59 five times. 61 seven times. 67 five times. 71 three times. 73 thirteen times, last one on n=949=73*13. 79 once. 83 three times. 89 appears 15 times, last on 1335=89*15. There is a nice pattern but it is a little disturbing how 13 appears at n=169.
Hi, the most prevalent pattern in the prime sequence generated I noticed @ 3:00 seems to be 3 - 5 - 3 which occurs frequently but not quite predictably.
While you were talking I had some wonderful ideas. You are an inspiration! Normally I listen to sequential music so that sounds don't interrupt with my flow of thoughts, but this works too! I do not want to give the impression that you are boring, but it comes close, in a polite and gentle manner. My attention drifted away after the first mentioning of Fibonacci, endless lists of numbers, all with a meaning and significance. It is a glorious day, summer is on it's way.
This same thing happens to me at conferences. Listening to other people talk about their work (or rather, *not* listening) has given me some great ideas. Interesting social phenomenon!
GCD is no problem. GCD 10^9 times is maybe 1 minute - 1 hour of computation (hard to estimate accurately). But I'm guessing we already know all the primes up to 10^9.
It's pretty damn sweet that new maths is both happening, AND becoming popular and easily digestable on youtube, no doubt in no small part thanks for 3b1b's manim.
I love this video! Thanks for making it. I love how it shows the process of conjecturing by poking around in the structures and formulas of the patterns observed. Very nice window into the first steps of mathematical thought.
Your exposition was superb. I really enjoyed the pace of the video, and how it was structured as a `story` that was easy to follow. Suffice to say that you have a solid understanding of manim. Have you considered posting the manim code? It would help a lot manim beginners to further learn how to use it!
I feel like this is related to Dirichlet progressions. I'm actually doing applied research into finding the upper bound of the first p of the form sn+1, which is MUCH easier to prove the primality of using a deterministic Miller-Rabin test. So far, it looks like p(s) < c*s^L, where L is approximately 2. However, it seems like if you pick an L value > 1, you can find an N such that the bound holds for s>N. I thought it was related, especially due to the clustering in a log-log plot, you get that same kind of behaviour when graphing the strictly increasing subset of s, p(s) (just like ignoring the 1s).
an other somewhat interesting pattern i've noticed is that each new cluster of primes actually begins with a point where the index equals the value (noticed it at 9:18, might not hold up later on in the series)
I noticed this as well. Though maybe I missed something earlier that would have made that seem obvious, but after reading this comment, I guess that's just how it ends up and yes, it is quite interesting.
What is said from 8:04 prevents from looping over all values of a cluster and sets its boundaries. It also means that the last value's index of the cluster is enough to describe it and averaging the values or the indexes could be unnecessary. It also says that there might be something hidden in the gap between two clusters. This saved me weeks, maybe months of work and much CPU time. Deserves the Fields to me. Thank you Professor 😁
The forward-moving algorithm works for any input number: Given a number n Calculate the target p=(2*n - 1) Find the smallest prime factor of p=>pf Update n += (pf-1)/2 For example, start with n=44: 44 p=87 pf=3 p=89 pf=89 89 p=177 pf=3 p=179 pf=179 179 p=357 pf=3 p=359 pf=359 359 p=717 pf=3 p=719 pf=719 719 p=1437 pf=3 p=1439 pf=1439 1439 p=2877 pf=3 p=2879 pf=2879 2879 p=5757 pf=3 p=5759 pf=13 p=5771 pf=29 p=5799 pf=3 p=5801 pf=5801 5801 (etc) All of these generate factors and/or prime numbers (obviously... when you think about it).
I've got a simple means using Prime Factoring and math to directly 'predict' the interval between primes. 'Paired Primes' like 17 and 19 seems to break the game (Pa+2=Prime)...skipping them for now. Take Pa+1 and Pa+2 as Prime Factored Composites, and add the first terms together to make 5. 1. Starting with 43 as Pa 2. Factoring Pa+1 = 44 = (2!*11) 3. Factoring Pa+2 = 45 = (3!*5) 4. 46 place holder 5. 47b = calculated Pb For extra fun, take the difference of the second terms, (11-5), which leaves 6. Counting backwards from 42 (since we are done with 43) 6 places leaves us at 37 = PrimeC. 6. 37 PrimeC, counting backwards. 5. 38 4. 39 3. 40 2. 41 1. 42 43 [skipped!] Working my way through Primes to 500; found a few spots where it doesn't work in both directions. Enjoy!
Ey dude, at around 10:15 in the video, if you take the sum + the prime you wanted - 1 you get the next sum in the sequence. If you do that again with the new sum you get the next sum. But you surely already have seen that showed why, and I missed it. Great video man.
18:19 are you kidding me? this is why i started to watch... my approach to this problem is very different, and i need this exact information. why are you doing this? i have got no time for this. excuse me. good video.
Wow! I have an obsession with primes and I read about this exact theorem a few months ago, how surreal to have a video by the author of it to pop up in my feed
At 2:51, I noticed a more general version of the doubling pattern which seems to hold true everywhere (but I haven't proven it). If you let x and y be two "largest so far" primes in the sequence, then y = 2 * x + p_s - p_n - 1, where p_s is the sum of the primes in the sequence between x and y, and p_t is the number of primes between x and y. (Trivially, you can put the ones back in the sequence and use the same formula, since the ones are just canceled out between p_s and p_n). For example: ... 467, 3, 5, 3, 941 ... x = 467 y = 941 p_s = 3 + 5 + 3 = 11 p_n = 3 2*x + p_s - p_n -1 = 934 + 11 - 3 - 1 = 941 The 2*x + 1 case is just a special case of this: ... 5, 3, 11... p_s = 3 p_n = 1 2*x + p_s - p_n - 1 = 2*x + 3 - 1 - 1 = 2*x + 1 And you don't even have to do this with two consecutive "largest so far" primes. For example: ... 47, 3, 5, 3, 101, 3, 7, 11, 3, 13, 233, 3, 467 ... x = 47 y = 467 p_s = 3 + 5 + 3 + 101 + 3 + 7 + 11 + 3 + 13 + 233 + 3 = 385 p_t = 11 2*x + p_s - p_n - 1 = 94 + 385 - 11 - 1 = 467 I'm not sure how this relates to everything else, or if it's useful (it doesn't actually predict the jumps), but it's interesting.
This is because every prime bumps R(n) up to 3*n. See it at 1:52. So: R(x) = 3*x R(y) = 3*y = R(x) + p_s + (y - x - p_n - 1) + y this is because R(y) is a result of adding: - R(x) - primes between x and y (p_s) - ones between x and y in amount: y - x - p_n - 1 - prime y Now solve it for y: 3*y = 3*x + p_s + y - x - p_n - 1 + y and the result is your formula: y = 2*x + p_s - p_n - 1
0:19 Not really, the Fibonacci sequence also needs only one initial term. This is because, as we are summing them, and there isn't a term before the first one, it is zero. And 0 + 1 = 1, thus the second term of the Fibonacci sequence.
Your clusters graph for the primes(min 6:33) resembles the cluster of stable elements of the periodic table. This is a support of an idea I had published before that the growth of condensed matter follows the growth of primes. This makes primes the elementary particles of mathematics and of physics as well.
Since you ask, at 2:45 the most obvious pattern was the lack of 2s, followed by the sequence 3 5 3 being common. At 4:17 I was surprised you didn't mention the striking pattern that many primes first occur where n is equal to that prime. In fact, this is so prevalent that at 7:40 you highlighted the primes themselves when you were actually talking about their indices.
there is a method of primality testing, called the witness numbers. where if a number fails the test, it's guaranteed to be composite. numberphile did a great video on this, and combining that with the formula that skips 1 should work.
@2:43 [Pause the video], Ah yes, observing a great sequence in the wild, after hours of sitting camouflaged as a rock making Potoo mating calls, this unexpected beauty shows up. As I zoom out my telephoto lens and add a few beauty filters I can finally see.. nothing of interest. I'm here for cool math animations and graphs in my food break. After that great intro getting me hooked I'm most definitely not going to stare at some numbers :)) Edit: Great work! This is quite an interesting little set of interactions
Just make additive prime backwards 1024 -> 512, skip half, 256 -> 128, skip half, 64 -> 32, skip half, 16 -> 8, skip half 4 -> 2. You can do this from infinity, you'll notice that some values might have been stored in a pascal triangle. The amount of connections makes certain connections illegal. But, there's little reason it had to be integers. The amount of information in a set is constantly the amount of information needed to define the set parameters. 0.125 takes up the same amount of information as it's integer counterpart, so we can compress the additive prime through pascals triangle into different flavors of operative primes. As a machine is forced into tolerance to preserve momentum, prevent runaway, and conserve pinion torque trains. It can be shown higher dimensionally that 9 - 8 + 7 - 6 + 5 - 4 + 3 - 2 + 1 jacobean of chiral radix has a pascal triangle of 10^10 + 11^10 + ... 19^10 = 20^10, in our 3.7777777 dimensional machine radix chiral basis prime transform. As 8 -> 64 -> 4096 -> 16,777,216, all we are lacking is a sub-dimensioning partial Cramer rule for each type of prime flavor of operation.
you wanted us to comment things we noticed, im at 8:49 and just noticed that the numbers which dont seem to have a clear relation to the previous clusters are the same number as their index (at least for 101 and 941) edit: nevermind all the beginnings of clusters are the same number as their index
@Eric Rowland, awesome video, and maths. After watching I was interested in the Cloitre's lcm recurrence, so wrote some code to generate it. What I found really surprising is when I looked at the set of numbers generated from the first 500 values. It's exactly the set of primes less than 500. Except there is no 3, but there's a 1. It's also true with first 50,000. (and my computer fell over when I tried on 100k cos my codes not super efficient). I'm sure I'm not the first to notice this, ... but seems rather remarkable.
it's quite easy to prove that when n is prime P(n) =n for all odd primes >3 because C[n] is the product of numbers strictly smaller than n. It gets more interesting in the case of P(n*n) where n is prime. this requires that there exists some prime q which divides a*n -1 for some a in {2,3,...,n-1}. For example P(5*5) is saved because 19 divides 5*4 -1 which means that: If we make the hypothesis that for all odd primes p>3 there exists another prime q such that q = a*p - 1 for some a in {2,3,...,n-1} then this hypothesis is implied to be true if Cloitre's variant makes only primes. equally if this hypothesis if false, that implies Cloitre's variant doesn't only primes. (which is not an if and only if because if the hypothesis is true it doesn't imply Cloitre's variant makes only primes.)
you are doing great work in making these videoes. It really helps a lot in visualising while studying maths concepts. I wish to see your videos more often and hope that your videos reach to those who need it and recieve much greater attention. you are going to be the next 3Blue1Brown.
This makes me wonder: this was an analysis of a sequence thought up by arbitrarily Steve Wolfram. There are an infinite amount of semi-recursive sequences like this. How confident are we that there are sequences we haven't generated that are "interesting", e.g. for generating primes in a way that's better than current methods. Is this provable from an information theory perspective?
At the beginning, I was not looking for that kind of pattern at all. I was trying to look at the rhythm of how many numbers come between each iteration of the same number, starting with 3's.
I'm currently at 2:52 of your video, watching for the first time. The recurrence pattern I'm seeing immediately is that when we look at the numbers we see 5, 3, 11 where 1+1 = 2, then 3... and then we see 23 where 2+3 = 5, then 3, then 47 where 4+7=11. Doesn't look like this pattern keeps up but it is interesting.
For the psychology survey: I initially started looking for patterns in the frequencies of low primes, but didn't see anything obvious. So I started looking at the higher prices and saw that each new record high was just slightly higher than twice the previous one. I continued the video at that point.
For the last sequence i got an interesting property, For chosen initial number i =C(1) and resulting C(n), GCD(n,i)*prime at (n, as in [C(n)/LCM(n,(C(n-1)))]) =n, for any explored i
Perhaps an interesting observation is that the first prime you still havent produced with your sequence if fairly close to the first non-prime at 19:43
The problem is that we want a function that generate prime number without calculating a gcd(1, n) to see if it’s 1 , and in your démonstration you calculate gcd(n, R) so it’s basically the same but it’s recursively so the gcd have to be calculating N times, so it’s look like a O(n + n^(n-1)) or something similar due to the recursive terms, the idea might be good to think that with this function we got wave like prime number but in fact it’s because you use the prime number sequence and you make thing with it not the contrary
Reminds me when I was trying to find a fast way to generate really long primes for cryptographic purposes. I ended up using the standard function from a cryptographic module in python. As I remember it generates a random number and then run some tests to check if the number is indeed prime.
Looking at Mersenne primes, I’ve learned that all primes are an un-pattern, that is to say, they are the numbers that fail to match a large, defined set of patterns at any point -> this in turn leaves them bearing far more subtle patterns - subtle patterns where accurately predicting them is of significant interest. don’t believe me? Generate factors for mersenne numbers (not the primes) in binary - the patterns kinda jump out at you.
The first thing I noticed looking at all the numbers is that the number of primes between 3's are prime numbers except when there's one number between two threes
I tried to follow your video. Very impressed by your efforts in this direction (of trying to generate primes). However, may be there are better and more elegant ways to generate primes. For me, Primes are linked to Quantum Computing. Just as Boole came up with Boolean Algebra which was the foundation for the Binary Digital World, we have to envision how Quantum Computing logic will help us to instantaneously decipher (or decompose) some of the largest numbers which we can envision into it's Prime Components. I am still trying to wrap my head around how this new computing paradigm will do that, but that is the way to go, in my opinion.
Before progressing on at 3 minutes in, looked at the primes for about a minute and noticed a few things: 3 and 5 were the most common, seemingly by far. A 5 is always followed by a 3 (while this is not necessarily the case the other way round, though 3 5 was pretty common to see)
53 is a prime. in the beginning when he asked "do you see the same thing like me?" I thought he meant that as of 2:14 out in the video if you put together the two primes when they appear with no 1s in between you get another prime. So I tried to look it up, but I found out 473 (47 and 3) is not a prime. (4673 is a prime too). I thought I did a big discovery just from looking on those numbers :-) what about the bigger numbers when they don't have a 1 in between them? but I can't see the 1s as of longer than 2:20. God bless
Interesting stuff! Just one advice, know your audience. There will not be a viewer who makes it 5 minutes into the video and doesn't know what a logarithmic scale is.
We haven't used the Richter scale since 1970. The current measurement scale is called the moment magnitude scale.
btw whats the notable difference between richter scale and moment magnitude. And today will still say "that was a 6.3 magnitude earthquake". So is it not richter?
@@studytime2570 the Richter scale was designed to be used in California. For reasons that are beyond my level of geological knowledge it didn't map onto other regions. So a global scale was created. To the last question: yes.
@@studytime2570 Only the moment magnitude scale is capable of measuring magnitude 8 and greater events accurately. Additionally, the Richter scale was calculated for only one type of earthquake wave.
i just read in wikipedia about this. this blew my mind.
Richter is still used. You speak as if Richter has never been used since 1970. What is your first language?
Damn, I wish every research paper could be explained in a digestible video format like this. Great video!
Next step is having chatGPT generate videos like this for every paper ...
@@GuzmanTierno That would be awful. Because (if you weren’t aware) ChatGPT is very bad at math.
@@abj136 yeah, you're right ... luckily ...
@@abj136 that kinda makes sense tho, chat-gpt is a language model
@@abj136 For now. Give it a few years.
20 years later, congrats Eric ! This is awesome. Your own theorem.
Thank you!
@@EricRowland Lol, I don't know your channel, didn't even realize, it was you who wrote the paper ;)
Chapeau!
@@EricRowland did somebody prove this theorem ?
@@maximkosey5549 Yes, I proved it.
@@EricRowland so you can definitely generate all prime numbers, without gaps ?
Bro so based he makes expository math videos based off of his own research. Chad.
when you don't get invited to Numberphile "Fine, I'll do it myself."
Chad-adic and fantastic
@@iamjohnrobot You mean, 'p'-Chad-adic and fantastic! 😄😎
I'm pretty sure that's not the meaning of based 🤔 still a good video
Vishwaguru math video developer
Yooooo! This is the best way to read papers; by not reading them at all and forcing the author to tell you, in what I assume to be an excruciating lack of detail, what they proved and how. Thank you so much!
I got the impression that it was more an excruciating overabundance of detail, some of which we could easily have worked out for ourselves.
@@rosiefay7283perhaps, but it’s a 22m video and we have the whole picture and more, save for some rigorous steps. Tradeoff, sure, but I definitely used my 22 minutes better on the video. That’s probably true for most, even researchers? Thoughts?
Why so few videos? You had me on the edge of my seat from start to finish. Video quality/explanation is spot on. This is "a million subscribers" content.
Thanks! They take a long time to make, but more to come!
@@EricRowland I know! I have a channel for university content and one for Numismatics. Hours and hours of editing. Will keep watching yours.
@@drjacovanniekerk Checked your main channel, and subscribed immediately.
How about do a collab with 3b1b? I feel like that would be the quickest way to get a lot of subscribers! @@EricRowland
… I didn’t even realise but apparently I’ve seen all the videos, it was just long enough between them for me to not notice
I feel like there is a real question to be had about why humanity finds primes so incredibly interesting. I've watched so many videos about prime numbers and yet I am still hungry for more.
Great video :)
It isn't for no reason that they are called _prime_ numbers haha
You should believe in number theory to realize how awesome are the prime numbers
This is a quote from a math book on a mostly unrelated subject, but I feel it fits here too: It's an intriguing mix of pattern and chaos.
crypto
Primes have always fascinated me because they feel like the building blocks of numbers. It's remarkable to think that every other natural number greater than 1 can be decomposed into a unique product of primes. It's almost as if primes are the elemental components of the number system, much like atoms are the fundamental building blocks of matter. This fundamental property of primes is what makes them so intriguing and important for us humans. At least that is what I think.
It must've been very cool to find out that the prime properties of this seemingly arbitrary sequence is related to a very active area of research, namely primes in arithmetic progressions. In particular, I find it really neat that these sorts of questions are playful enough that you could imagine Fermat or Euler studying them, but we can now describe them with our more modern techniques.
I don't think anyone's posted the reason as to why 3 is the second number in every cluster, so for those curious, it's stems from the fact that every index with nontrivial gcd is either 0 or 2 mod 3. This comes from simple induction: the first index indeed satisfies the condition, and if the previous index n was 0 mod 3 then 2n-1 isn't divisible by 3, so the smallest prime p dividing it is -1 or 1 mod 6, leading to the new index being (p-1)/2=0 or 2 mod 3 more than the previous one; likewise, if the previous index n was 2 mod 3, then 2n-1 is divisible by 3, so the next index shifts by (3-1)/2=1, making it 0 mod 3.
Because of that, when we get to an index t that makes 2t-1 prime, 2t-1 is also the index of that prime (since the index goes from t to t+(2t-1-1)/2=2t-1), and since the index is prime and more than 3, it isn't 0 mod 3, so it's 2 mod 3, leading to the next number 2(2t-1)-1 in the sequence being 2*2-1=0 mod 3 i.e. the number after the prime must be 3.
Thank you for the nice walkthrough. The mod3 sequencing has the same flavor to me as Syracuse sequences. It seems like there is something about mod3 carrying information that pops up in recursion that’s not coincidental.
@Eric Rowland, in the three videos you've created so far, your ability to explain mathematical concepts with clarity and insight is remarkable. I really hope this there is (a lot) more to come!
Thank you so much! There are more videos to come. (They just take a long time to make!)
@@EricRowland very happy to hear (and completely understand!) :)
I first saw the last pair you highlighted, 121403 & 242807, then I went looking for the same relation and found the others
Nice!
@@EricRowland first one I noticed was the 233 and 467 pair and I then confirmed on the bigger ones
Super interesting, high-quality, and creative video. Fantastic Job! I have been looking to see a beautiful method like this for many years.
Thank you so much!
Thanks so much for telling me to look at the patterns myself.
Where "...5,3..." occur at such interesting intervals so does where "...7,3..." occurs as well.
"5,3,11,3,23,3,47,3" is 8.
"5,3,101,3,7,11,3,13,233,467,3" is 12.
You can then write them as iteration numbers:
"P3,P2,P5,P2,P9,P2,P15,P2" is 8.
If everybody who makes math videos was so concise, clear, and give visual examples that can demonstrate your point so simple and obvious as you do, we would be able to understand a lot of other things much better.
it's always nice to see actual progress in abstract mathematics and number theory, keep it up, who knows, maybes someday humanity will discover some relation between these patterns and the riemann hypothesis
very clever and excellent explanation. walking someone through the thoughts your brain went through when solving a problem is my favorite way of teaching.
Observed pattern. In the first cluster, 5 is followed by 3. In the next 11 is followed by 3. In the fourth, starting with 47, 5 is again followed by 3. In the fifth, starting with 101, 7 is not followed by 3, but 11 is. 13 is not. Scanning down, it appears that whenever 5 or 11 appear in a cluster they are followed by 3. But this does not appear to hold for 7 and 13 -- which also appear to never occur as the first terms of any cluster. So perhaps for numbers that start clusters, if they reappear in other clusters, they do so followed by 3. And numbers that do not start clusters, if they reappear in other clusters, they do so not followed by 3.
I absolutely love this. At no point does it feel like rigorous mathematics. It feels like you're just playing around with a simple sequence and seeing what patterns appear. Awesome job. As of writing this comment, idk if you've made a follow up video, but I'm looking forward to it.
Thanks, that’s the vibe I was going for! The follow-up video is still a work in progress. Hopefully soon!
+1
I am interested in the generalized REPUNT primes. In base two, these would be the Mersienrs
Math educators like yourself have been invaluable to me. My eyes will glaze over reading the papers you cite, everything goes wavy and the nomenclature makes no sense without help. Watching videos like these, with explanation and animation, the information feels much more natural. I probably won't contribute to advancing the discussion on these topics, but to understand a little more about them without enrolling in a whole degree program makes me fortunate. Thank you
I can only imagine the satisfaction you felt when you discovered all of this. Great job, this is really cool!
21:50 That sequence is interesting. If you take the first 2 to be in the 2nd position (so the sequence just has no first position) then all the primes, other than 3, seem to appear in their own numbered position (i.e. 2 in the 2nd pos, 5 in the 5th, 7 in the 7th). You then have other primes appearing, and at intervals corresponding to prime multiples of that prime (e.g. 5 in the 5th, (2x5)th, (3x5)th and (5x5)th positions) though it looks like possibly any given prime will only appear in the sequence a 'few' times (for some definition of few) then never again.
Idk about the multiples, but your first point about the pth position being p is proven as Proposition 2.3 (Proposition 5 in the arxiv version) in the Ruiz-Cabello paper linked by Eric above!
in the first 10000 terms, there are 5 instances of 5, the last one on n=25=5*5
one instance of 7. 3 instances of 11, last one on 33=11*3. 8 instances of 13 (7th on 91=7*13, 8th on 169=13*13). 17 appears three times, last on 51=17*3. 19 appears once. For the following the appearances along the sequence continue to be equally spaced: 23 appears five times. 29 five times. 31 once. 37 once. 41 three times. 43 five times. 47 five times. 53 three times. 59 five times. 61 seven times. 67 five times. 71 three times. 73 thirteen times, last one on n=949=73*13. 79 once. 83 three times. 89 appears 15 times, last on 1335=89*15.
There is a nice pattern but it is a little disturbing how 13 appears at n=169.
Hi, the most prevalent pattern in the prime sequence generated I noticed @ 3:00 seems to be 3 - 5 - 3 which occurs frequently but not quite predictably.
While you were talking I had some wonderful ideas. You are an inspiration! Normally I listen to sequential music so that sounds don't interrupt with my flow of thoughts, but this works too! I do not want to give the impression that you are boring, but it comes close, in a polite and gentle manner.
My attention drifted away after the first mentioning of Fibonacci, endless lists of numbers, all with a meaning and significance. It is a glorious day, summer is on it's way.
This same thing happens to me at conferences. Listening to other people talk about their work (or rather, *not* listening) has given me some great ideas. Interesting social phenomenon!
Thanks for the ending summary. I was hoping for the explanation about finding common divisors of 10 digit numbers being a computational hurtle.
GCD is no problem. GCD 10^9 times is maybe 1 minute - 1 hour of computation (hard to estimate accurately). But I'm guessing we already know all the primes up to 10^9.
You blew my mind in a 10 Richter's scale' magnitude, that was awesome
That video was absolutly amazing, didnt expect such a high quality from a random youtube video. Well done
It's pretty damn sweet that new maths is both happening, AND becoming popular and easily digestable on youtube, no doubt in no small part thanks for 3b1b's manim.
I love this video! Thanks for making it. I love how it shows the process of conjecturing by poking around in the structures and formulas of the patterns observed. Very nice window into the first steps of mathematical thought.
The even more amazing part is that you explained it in a way even I could understand. Great video and congrats for the theorem!
Your exposition was superb. I really enjoyed the pace of the video, and how it was structured as a `story` that was easy to follow. Suffice to say that you have a solid understanding of manim. Have you considered posting the manim code? It would help a lot manim beginners to further learn how to use it!
I feel like this is related to Dirichlet progressions. I'm actually doing applied research into finding the upper bound of the first p of the form sn+1, which is MUCH easier to prove the primality of using a deterministic Miller-Rabin test. So far, it looks like p(s) < c*s^L, where L is approximately 2. However, it seems like if you pick an L value > 1, you can find an N such that the bound holds for s>N. I thought it was related, especially due to the clustering in a log-log plot, you get that same kind of behaviour when graphing the strictly increasing subset of s, p(s) (just like ignoring the 1s).
What I saw first at 3:00 is that the 3’s are on opposite sides of other primes, like the twin prime conjecture
Wow that's pretty mindblowing that you came up with that!
an other somewhat interesting pattern i've noticed is that each new cluster of primes actually begins with a point where the index equals the value (noticed it at 9:18, might not hold up later on in the series)
I noticed this as well. Though maybe I missed something earlier that would have made that seem obvious, but after reading this comment, I guess that's just how it ends up and yes, it is quite interesting.
What is said from 8:04 prevents from looping over all values of a cluster and sets its boundaries. It also means that the last value's index of the cluster is enough to describe it and averaging the values or the indexes could be unnecessary. It also says that there might be something hidden in the gap between two clusters. This saved me weeks, maybe months of work and much CPU time. Deserves the Fields to me. Thank you Professor 😁
What a wonderful video. I wish every math paper could be explained in such a wonderful video format like this.
Wow it's THE Eric Rowland! I have been amazed by this sequence ever since I saw it. Thank you for explaining it so clearly.
The forward-moving algorithm works for any input number:
Given a number n
Calculate the target p=(2*n - 1)
Find the smallest prime factor of p=>pf
Update n += (pf-1)/2
For example, start with n=44:
44
p=87 pf=3
p=89 pf=89
89
p=177 pf=3
p=179 pf=179
179
p=357 pf=3
p=359 pf=359
359
p=717 pf=3
p=719 pf=719
719
p=1437 pf=3
p=1439 pf=1439
1439
p=2877 pf=3
p=2879 pf=2879
2879
p=5757 pf=3
p=5759 pf=13
p=5771 pf=29
p=5799 pf=3
p=5801 pf=5801
5801
(etc)
All of these generate factors and/or prime numbers (obviously... when you think about it).
I've got a simple means using Prime Factoring and math to directly 'predict' the interval between primes.
'Paired Primes' like 17 and 19 seems to break the game (Pa+2=Prime)...skipping them for now.
Take Pa+1 and Pa+2 as Prime Factored Composites, and add the first terms together to make 5.
1. Starting with 43 as Pa
2. Factoring Pa+1 = 44 = (2!*11)
3. Factoring Pa+2 = 45 = (3!*5)
4. 46 place holder
5. 47b = calculated Pb
For extra fun, take the difference of the second terms, (11-5), which leaves 6.
Counting backwards from 42 (since we are done with 43) 6 places leaves us at 37 = PrimeC.
6. 37 PrimeC, counting backwards.
5. 38
4. 39
3. 40
2. 41
1. 42
43 [skipped!]
Working my way through Primes to 500; found a few spots where it doesn't work in both directions.
Enjoy!
noticed this pattern while solving project euler #443, lovely video!
Great vid. I think that most people interested in this sort of content don't need to be explained what a logarithmic scale is though :x
Only 3 videos, but they’re all fantastic. Thanks for sharing.
Great job! At first I thought that this was too hard for me, but eventually I understood almost everything. So cool.
Ey dude, at around 10:15 in the video, if you take the sum + the prime you wanted - 1 you get the next sum in the sequence. If you do that again with the new sum you get the next sum.
But you surely already have seen that showed why, and I missed it. Great video man.
Thanks for this video, I just learned about this recurrence a few weeks ago from Wikipedia and found it very interesting!
Glad you enjoyed it! That's a fun coincidence!
I love videos about patterns and primes, and this one is among my favorites. Great job, and congrats for giving a theorem your name.
18:19 are you kidding me? this is why i started to watch... my approach to this problem is very different, and i need this exact information. why are you doing this? i have got no time for this. excuse me. good video.
THIS CHANNEL IS UNBELIEVABLE
such great narration of your discovery process: thank you Eric! 😊
Thank you!
Neat. I came past this prime generator some years ago, and didn't think much of it, when I was working on a different problem.
Wow! I have an obsession with primes and I read about this exact theorem a few months ago, how surreal to have a video by the author of it to pop up in my feed
At 2:51, I noticed a more general version of the doubling pattern which seems to hold true everywhere (but I haven't proven it). If you let x and y be two "largest so far" primes in the sequence, then y = 2 * x + p_s - p_n - 1, where p_s is the sum of the primes in the sequence between x and y, and p_t is the number of primes between x and y. (Trivially, you can put the ones back in the sequence and use the same formula, since the ones are just canceled out between p_s and p_n).
For example:
... 467, 3, 5, 3, 941 ...
x = 467
y = 941
p_s = 3 + 5 + 3 = 11
p_n = 3
2*x + p_s - p_n -1 = 934 + 11 - 3 - 1 = 941
The 2*x + 1 case is just a special case of this:
... 5, 3, 11...
p_s = 3
p_n = 1
2*x + p_s - p_n - 1 = 2*x + 3 - 1 - 1 = 2*x + 1
And you don't even have to do this with two consecutive "largest so far" primes. For example:
... 47, 3, 5, 3, 101, 3, 7, 11, 3, 13, 233, 3, 467 ...
x = 47
y = 467
p_s = 3 + 5 + 3 + 101 + 3 + 7 + 11 + 3 + 13 + 233 + 3 = 385
p_t = 11
2*x + p_s - p_n - 1 = 94 + 385 - 11 - 1 = 467
I'm not sure how this relates to everything else, or if it's useful (it doesn't actually predict the jumps), but it's interesting.
This is because every prime bumps R(n) up to 3*n. See it at 1:52. So:
R(x) = 3*x
R(y) = 3*y = R(x) + p_s + (y - x - p_n - 1) + y
this is because R(y) is a result of adding:
- R(x)
- primes between x and y (p_s)
- ones between x and y in amount: y - x - p_n - 1
- prime y
Now solve it for y:
3*y = 3*x + p_s + y - x - p_n - 1 + y
and the result is your formula:
y = 2*x + p_s - p_n - 1
0:19 Not really, the Fibonacci sequence also needs only one initial term. This is because, as we are summing them, and there isn't a term before the first one, it is zero. And 0 + 1 = 1, thus the second term of the Fibonacci sequence.
Very nice animation and narration
Your clusters graph for the primes(min 6:33) resembles the cluster of stable elements of the periodic table. This is a support of an idea I had published before that the growth of condensed matter follows the growth of primes. This makes primes the elementary particles of mathematics and of physics as well.
Since you ask, at 2:45 the most obvious pattern was the lack of 2s, followed by the sequence 3 5 3 being common.
At 4:17 I was surprised you didn't mention the striking pattern that many primes first occur where n is equal to that prime. In fact, this is so prevalent that at 7:40 you highlighted the primes themselves when you were actually talking about their indices.
there is a method of primality testing, called the witness numbers. where if a number fails the test, it's guaranteed to be composite. numberphile did a great video on this, and combining that with the formula that skips 1 should work.
@2:43 [Pause the video], Ah yes, observing a great sequence in the wild, after hours of sitting camouflaged as a rock making Potoo mating calls, this unexpected beauty shows up. As I zoom out my telephoto lens and add a few beauty filters I can finally see.. nothing of interest. I'm here for cool math animations and graphs in my food break. After that great intro getting me hooked I'm most definitely not going to stare at some numbers :))
Edit: Great work! This is quite an interesting little set of interactions
Absolutely beautiful work. Beautiful math. Beautiful thinking. Beautiful video. Someone will figure out how to build on your work.
Just make additive prime backwards 1024 -> 512, skip half, 256 -> 128, skip half, 64 -> 32, skip half, 16 -> 8, skip half 4 -> 2. You can do this from infinity, you'll notice that some values might have been stored in a pascal triangle. The amount of connections makes certain connections illegal. But, there's little reason it had to be integers. The amount of information in a set is constantly the amount of information needed to define the set parameters. 0.125 takes up the same amount of information as it's integer counterpart, so we can compress the additive prime through pascals triangle into different flavors of operative primes. As a machine is forced into tolerance to preserve momentum, prevent runaway, and conserve pinion torque trains. It can be shown higher dimensionally that 9 - 8 + 7 - 6 + 5 - 4 + 3 - 2 + 1 jacobean of chiral radix has a pascal triangle of 10^10 + 11^10 + ... 19^10 = 20^10, in our 3.7777777 dimensional machine radix chiral basis prime transform. As 8 -> 64 -> 4096 -> 16,777,216, all we are lacking is a sub-dimensioning partial Cramer rule for each type of prime flavor of operation.
you wanted us to comment things we noticed, im at 8:49 and just noticed that the numbers which dont seem to have a clear relation to the previous clusters are the same number as their index (at least for 101 and 941)
edit: nevermind all the beginnings of clusters are the same number as their index
I saw 3 repeating on every 2 numbers [EDIT: In some parts], 7 and 11 were appearing too often but I didn't see exactly where. Also great video!
@Eric Rowland, awesome video, and maths. After watching I was interested in the Cloitre's lcm recurrence, so wrote some code to generate it. What I found really surprising is when I looked at the set of numbers generated from the first 500 values. It's exactly the set of primes less than 500. Except there is no 3, but there's a 1. It's also true with first 50,000. (and my computer fell over when I tried on 100k cos my codes not super efficient).
I'm sure I'm not the first to notice this, ... but seems rather remarkable.
it's quite easy to prove that when n is prime P(n) =n for all odd primes >3 because C[n] is the product of numbers strictly smaller than n. It gets more interesting in the case of P(n*n) where n is prime. this requires that there exists some prime q which divides a*n -1 for some a in {2,3,...,n-1}. For example P(5*5) is saved because 19 divides 5*4 -1
which means that:
If we make the hypothesis that for all odd primes p>3 there exists another prime q such that
q = a*p - 1 for some a in {2,3,...,n-1}
then this hypothesis is implied to be true if Cloitre's variant makes only primes.
equally if this hypothesis if false, that implies Cloitre's variant doesn't only primes.
(which is not an if and only if because if the hypothesis is true it doesn't imply Cloitre's variant makes only primes.)
you are doing great work in making these videoes. It really helps a lot in visualising while studying maths concepts. I wish to see your videos more often and hope that your videos reach to those who need it and recieve much greater attention. you are going to be the next 3Blue1Brown.
Thank you!
The thing that jumped at me when you included the indexes was that the ones that were doubles plus one had the same index as their own number.
This video was great. Really really clever.
Thanks. Enjoyed this (and your other videos). Great stuff! Cheers.
Thanks so much!
This makes me wonder: this was an analysis of a sequence thought up by arbitrarily Steve Wolfram. There are an infinite amount of semi-recursive sequences like this. How confident are we that there are sequences we haven't generated that are "interesting", e.g. for generating primes in a way that's better than current methods. Is this provable from an information theory perspective?
At the beginning, I was not looking for that kind of pattern at all. I was trying to look at the rhythm of how many numbers come between each iteration of the same number, starting with 3's.
Waiting for the next part. ABSOLUTELY GREAT video Eric!
Thanks! Hopefully the next part will be done in the next few weeks!
Absolutely spectacular video! Bravo!!
Thank you so much!
Super cool video! Liked and subbed!
Awesome, thank you!
Brilliant and perfectly paced 🙏🏻
Absolutely amazing video!
Thank you so much!
I look forward to more interesting videos.
Man, this is so amazing!
Love it!
I'm currently at 2:52 of your video, watching for the first time. The recurrence pattern I'm seeing immediately is that when we look at the numbers we see 5, 3, 11 where 1+1 = 2, then 3... and then we see 23 where 2+3 = 5, then 3, then 47 where 4+7=11. Doesn't look like this pattern keeps up but it is interesting.
This guy is underrated
For the psychology survey: I initially started looking for patterns in the frequencies of low primes, but didn't see anything obvious. So I started looking at the higher prices and saw that each new record high was just slightly higher than twice the previous one. I continued the video at that point.
I wonder if studying this sequence could shed some light on the Collatz conjecture.
For the last sequence i got an interesting property,
For chosen initial number i =C(1) and resulting C(n), GCD(n,i)*prime at (n, as in [C(n)/LCM(n,(C(n-1)))]) =n, for any explored i
cool format, plz dont stop)
Nice work! I love this!!! Thanks for putting it together
Thank you!
Might i ask what you use to create your videos? they look amazing...
Thanks! All the animation is done with Manim: www.manim.community
Thanks for not putting annoying piano music in the background it usually subtracts from content
Perhaps an interesting observation is that the first prime you still havent produced with your sequence if fairly close to the first non-prime at 19:43
I could die for videos like that for every publication!!!
Ooo love the idea of mathematicians making content to explain their work.
The problem is that we want a function that generate prime number without calculating a gcd(1, n) to see if it’s 1 , and in your démonstration you calculate gcd(n, R) so it’s basically the same but it’s recursively so the gcd have to be calculating N times, so it’s look like a O(n + n^(n-1)) or something similar due to the recursive terms, the idea might be good to think that with this function we got wave like prime number but in fact it’s because you use the prime number sequence and you make thing with it not the contrary
Reminds me when I was trying to find a fast way to generate really long primes for cryptographic purposes. I ended up using the standard function from a cryptographic module in python. As I remember it generates a random number and then run some tests to check if the number is indeed prime.
this was really fun and educative to watch
Awesome walkthrough❤
Dude! Been working on this very problem for like a decade, mad respect for the explanatory work! ✊
I noticed the doubling pattern around 1:50 when I saw 23 and 47
Great work, Eric!
Thank you!
Looking at Mersenne primes, I’ve learned that all primes are an un-pattern, that is to say, they are the numbers that fail to match a large, defined set of patterns at any point -> this in turn leaves them bearing far more subtle patterns - subtle patterns where accurately predicting them is of significant interest. don’t believe me? Generate factors for mersenne numbers (not the primes) in binary - the patterns kinda jump out at you.
The first thing I noticed looking at all the numbers is that the number of primes between 3's are prime numbers except when there's one number between two threes
I tried to follow your video. Very impressed by your efforts in this direction (of trying to generate primes). However, may be there are better and more elegant ways to generate primes. For me, Primes are linked to Quantum Computing. Just as Boole came up with Boolean Algebra which was the foundation for the Binary Digital World, we have to envision how Quantum Computing logic will help us to instantaneously decipher (or decompose) some of the largest numbers which we can envision into it's Prime Components. I am still trying to wrap my head around how this new computing paradigm will do that, but that is the way to go, in my opinion.
Before progressing on at 3 minutes in, looked at the primes for about a minute and noticed a few things:
3 and 5 were the most common, seemingly by far.
A 5 is always followed by a 3 (while this is not necessarily the case the other way round, though 3 5 was pretty common to see)
53 is a prime. in the beginning when he asked "do you see the same thing like me?" I thought he meant that as of 2:14 out in the video if you put together the two primes when they appear with no 1s in between you get another prime. So I tried to look it up, but I found out 473 (47 and 3) is not a prime. (4673 is a prime too). I thought I did a big discovery just from looking on those numbers :-) what about the bigger numbers when they don't have a 1 in between them? but I can't see the 1s as of longer than 2:20. God bless
Interesting stuff! Just one advice, know your audience. There will not be a viewer who makes it 5 minutes into the video and doesn't know what a logarithmic scale is.