The Search for Siegel Zeros - Numberphile

  Рет қаралды 244,669

Numberphile

Numberphile

Жыл бұрын

Featuring Professor Tony Padilla. See brilliant.org/numberphile for Brilliant and get 20% off their premium service (episode sponsor)
More links & stuff in full description below ↓↓↓
Yitang Zhang strikes again... Discrete mean estimates and the Landau-Siegel zero: arxiv.org/abs/2211.02515
Order Tony's book Fantastic Numbers and Where to Find Them: A Cosmic Quest from Zero to Infinity
Amazon US - amzn.to/3JYQbws
Amazon UK - amzn.to/3M3yvB8
MacMillan US - us.macmillan.com/books/978037...
Penguin UK - www.penguin.co.uk/books/316/3...
Numberphile is supported by the Simons Laufer Mathematical Sciences Institute (formerly MSRI): bit.ly/MSRINumberphile
We are also supported by Science Sandbox, a Simons Foundation initiative dedicated to engaging everyone with the process of science. www.simonsfoundation.org/outr...
And support from The Akamai Foundation - dedicated to encouraging the next generation of technology innovators and equitable access to STEM education - www.akamai.com/company/corpor...
NUMBERPHILE
Website: www.numberphile.com/
Numberphile on Facebook: / numberphile
Numberphile tweets: / numberphile
Subscribe: bit.ly/Numberphile_Sub
Videos by Brady Haran
Animation by Pete McPartlan
Patreon: / numberphile
Numberphile T-Shirts and Merch: teespring.com/stores/numberphile
Brady's videos subreddit: / bradyharan
Brady's latest videos across all channels: www.bradyharanblog.com/
Sign up for (occasional) emails: eepurl.com/YdjL9

Пікірлер: 492
@numberphile
@numberphile Жыл бұрын
See brilliant.org/numberphile for Brilliant and get 20% off their premium service (episode sponsor) Order Tony's book Fantastic Numbers and Where to Find Them: A Cosmic Quest from Zero to Infinity Amazon US - amzn.to/3JYQbws - Amazon UK - amzn.to/3M3yvB8
@tajujithurr4276
@tajujithurr4276 2 ай бұрын
😅😅😅😅😊😅00
@tajujithurr4276
@tajujithurr4276 2 ай бұрын
Ooo😊😊😊poooo
@tajujithurr4276
@tajujithurr4276 2 ай бұрын
6:55 😅😅😅😊😊😊😊😊 7:01 7:02
@tajujithurr4276
@tajujithurr4276 2 ай бұрын
Po99oooo😅ooo😊99889ppp😊p😅oo99😊😊😅9😊😊9😊o😊9😊 12:03 oo😊o😊ooo😊oooo9ooo0😊ook o9😅op9ook 😊o99😊9p99popolice p😊😊9😅
@brouquier7172
@brouquier7172 Жыл бұрын
I love Tony's tongue-in-cheek statement "without any controversy at all, it is equal to -1/12" 🤣
@thesenate5956
@thesenate5956 Жыл бұрын
Once again making people think its normal summation, but its not
@john_g_harris
@john_g_harris Жыл бұрын
Let's be clear about this. 1+2+3+... does not equal -1/12. The series is the result of a function definition that doesn't work at -1. However, it's true that there is another more complicated function definition that gives the same values where the first definition works, and also works at -1. It's that other function that has the value -1/12 at -1. A theoretical physicist tries to calculate something and gets the result 1+2+3+... . They guess that maybe they used the wrong maths, and maybe the right maths would give that other function so the answer is -1/12. If experiments then agree with this prediction the physicist becomes famous; if not they shrug and try a different way to calculate it. Edited : I typed +1 when I meant -1. Hey ho.
@MrAlRats
@MrAlRats Жыл бұрын
@@john_g_harris What 1+2+3+... equals, depends on your particular choice of how to assign values to infinite series. It's not possible to assign any finite value to it if you choose to adopt the standard definition but there are other definitions. The Ramanujan summation of 1+2+3+... does equal -1/12. Which particular definition is relevant to solving any particular problem can vary depending on the context in which the summation arises.
@denisdaly1708
@denisdaly1708 Жыл бұрын
Classic..
@lunatickoala
@lunatickoala Жыл бұрын
@@john_g_harris Regularization of the Riemann zeta function at s = -3 is used in calculating the Casimir effect and more generally in quantum mechanics there's a fair amount of renormalization where techniques are used to get a finite sum from a divergent series to get actual results. The argument that the sum of 1+2+3+ ... does not equal -1/12 because it uses a different method of getting the result comes up a lot. While it's important to recognize that yes, it doesn't mean "equals" in the same way as other "equals", this exact sort of thing has happened before. By the rules of basic arithmetic, the sum of a rational number and another rational number is a rational number. But take all the nonnegative integers and sum the reciprocal of their factorials and you get the transcendental number e. However, getting to this result, or for that matter getting the result of any convergent infinite series requires a different technique than basic arithmetic. This is not a controversial result today because people are used to the concept of limits and zero, but in the time of Pythagoras or Archimedes, it would have been jus as controversial as summing the positive integers to -1/12. There's an apocryphal story that a member of the Cult of Pythagoras came up with a proof that the square root of 2 is irrational and that the Pythagoreans were so incensed with the result because it broke the rules that they believed in that they took him out to sea in a boat and returned without him. Archimedes came very close to inventing calculus but couldn't make the final conceptual leap because the Ancient Greeks did not believe zero. The idea of using limits to get a result and getting an irrational number from an infinite sum of rational numbers would have been quite controversial.
@TrackpadProductions
@TrackpadProductions Жыл бұрын
The nature of humanity is just that every so often someone accidentally invents the Riemann Hypothesis again.
@jamieashworth_
@jamieashworth_ Жыл бұрын
😂😂
@scriptorpaulina
@scriptorpaulina Жыл бұрын
🦀
@guilhermecarneiro4711
@guilhermecarneiro4711 Жыл бұрын
yep lol
@GuyNamedSean
@GuyNamedSean Жыл бұрын
It's sort of like how π keeps showing up even when you don't see a circle anywhere near.
@TrackpadProductions
@TrackpadProductions Жыл бұрын
@@namelastname4077 You can spend all your time contemplating the miseries of life and inevitablility of death if you want - personally I prefer to spend mine getting excited about fun cool things
@dembro27
@dembro27 Жыл бұрын
I've never been more confused by land-owls and seagulls, but I'm glad he's excited about them.
@michaelcrosby7715
@michaelcrosby7715 Жыл бұрын
This is exciting to hear. It's evident Professor Padilla is passionate about these breakthroughs. Keep up the good work, Brady. Pete, your animations have been a game changer for this channel.
@hafizajiaziz8773
@hafizajiaziz8773 Жыл бұрын
Yitang Zhang is like a more successful version of Matt Parker. He makes breakthroughs in important cases, but not to the point that was conjectured.
@TimMaddux
@TimMaddux Жыл бұрын
So you’re saying Matt is kind of a Parker Yitang Zhang
@hafizajiaziz8773
@hafizajiaziz8773 Жыл бұрын
@@TimMaddux exactly
@Abedchess
@Abedchess Жыл бұрын
🤣🤣🤣
@ophello
@ophello Жыл бұрын
He *makes *breakthroughs
@DavidSartor0
@DavidSartor0 Жыл бұрын
@@ophello Haha, thanks.
@kr12a2y
@kr12a2y Жыл бұрын
In the future we'll refer to "Zhang Numbers" : arbitrary values that allowed us to make headway in various proofs.
@sadas3190
@sadas3190 Жыл бұрын
okay but real talk this dude's been with numberphile since the beginning and HASN'T AGED A DAY Vampire? Fountain of Youth? Made a dark pact with the heathen maths Gods? Take your bets
@tan_x_dx
@tan_x_dx Жыл бұрын
His age is a mathematical constant, rather than a variable.
@joeyhardin5903
@joeyhardin5903 Жыл бұрын
idk man, hes aged a bit since his smosh days
@crackedemerald4930
@crackedemerald4930 Жыл бұрын
He's asymptotically aging
@Silenthunter199
@Silenthunter199 Жыл бұрын
He is probably a Youkai lol
@robind506
@robind506 Жыл бұрын
A healthy even diet, with an odd snack here and there
@Verlisify
@Verlisify Жыл бұрын
Man, Numberphile has covered all of the simple math topics. These kinds of videos are HEAVY
@akshayvibhute97
@akshayvibhute97 Жыл бұрын
I finally feel a little bit better seeing someone else feel the same.
@ra99nano21
@ra99nano21 Жыл бұрын
That's not true, it always have been a mixture of both hard and easy topics. Take the last 6 videos, for example, I would argue 3 are very "simple"/"easy" ("Making a klein bottle", "a hairy problem" and "cow-culus")
@TristanCleveland
@TristanCleveland Жыл бұрын
I recommend the 3Blue1Brown video on the riemann zeta hypothesis for background here. It is visually beautiful.
@ryanjohnson4565
@ryanjohnson4565 Жыл бұрын
“This is HEAVY, doc” -Marty McFly
@RunaWorld
@RunaWorld 2 ай бұрын
Wow it’s Verlisify! The search for Siegel zeroes so hard they call it Verlisify. Verlisify isify whoo whoo
@akswrkzvyuu7jhd
@akswrkzvyuu7jhd Жыл бұрын
Very astute product placement, Tony! I ordered your book when it was originally announced on Numberphile and thoroughly enjoyed it.
@goodboi650
@goodboi650 Жыл бұрын
A link between the Twin Prime Conjecture and the Reimann Hypothesis? Numberphile really knows how to stop me working on my thesis!
@theludvigmaxis1
@theludvigmaxis1 Жыл бұрын
Same here! My thesis is in fluid dynamics but this is way more interesting to me
@ffc1a28c7
@ffc1a28c7 Жыл бұрын
There are already connections. By the nature of the riemann zeroes generating the prime number theorem, you get twin prime conjecture somewhat easily.
@denisdaly1708
@denisdaly1708 Жыл бұрын
What's your thesis on? Hope you are finding it interesting.
@subliminalvibes
@subliminalvibes Жыл бұрын
I watched your Royal Institute lecture on very large numbers last night and it was only when I multiplied the SMALLEST thing I could think of (an angstrom) by a googol, did I learn that a googol angstroms is approximately 100 trevigintillion light-years long... and THAT made me see just how huge that (relatively tame) large number is. Thanks Professor!! 👍😎🎄🇦🇺
@microraptor175
@microraptor175 Жыл бұрын
From what I've heard it seems that unfortunately, the paper contains a mistake. It might be that Zhang or someone else will fix it, but it could be that it just can't be fixed. Also, at 8:22 Tony says that if you can find a Siegel zero then the twin prime conjecture will be proven. It's not quite as simple as finding a single Siegel zero. The definition of Siegel zeros has this constant c in it, and for Heath-Brown's theorem you need to prove that for all possible values of c>0, there exists a Siegel zero.
@UnknownYTName
@UnknownYTName Жыл бұрын
What's the source on that first bit? How critical is the mistake?
@billcook4768
@billcook4768 Жыл бұрын
Remember that Wiles’ proof of Fermat’s Last Theorem had a mistake. Give it time and we’ll see.
@fantiscious
@fantiscious Жыл бұрын
Imagine mathematicians were like song artists. Twitter post: "New RH proof dropping on December 21st, 7 PM EST. Don't miss it"
@theflaggeddragon9472
@theflaggeddragon9472 Жыл бұрын
This actually does happen on sites like Math Overflow
@u.v.s.5583
@u.v.s.5583 Жыл бұрын
Hey, dude, check this out! This stuff is fire! Read it while on shrooms, it will blow your mind!
@camellkachour4112
@camellkachour4112 9 ай бұрын
I am myself mathematician but doing topics far from these mathematics, and I feel really impressed by the incredible pedagogical skill of this mathematician ! Thank you Tony !
@ShayWestrip
@ShayWestrip Жыл бұрын
Zhang such an inspiration, he clearly devoted his life to humble steady hard work. I wonder if anyone who loves math and works hard can eventually contribute to the world even if they aren’t naturally talented
@imeprezime1285
@imeprezime1285 Жыл бұрын
What r u talking about?
@Xirrious
@Xirrious Жыл бұрын
Yes you can ! Do it if you love math
@gauravbharwan6377
@gauravbharwan6377 Жыл бұрын
If love it it's possible, if you still have doubt then watch David goggins Then if you still don't go after it you will regret it
@xkjw7019
@xkjw7019 Жыл бұрын
@@gauravbharwan6377 You wanna be a mathematician too, bro?
@weserfeld4417
@weserfeld4417 Жыл бұрын
R u kidding me? This is number theory. Ofc he's very talented. He was concidered the best back in the school
@CRGreathouse
@CRGreathouse Жыл бұрын
More videos like this, please! This was fantastic.
@andrewharrison8436
@andrewharrison8436 Жыл бұрын
This needs a health warning! There are so many rabbit holes that are signposted in this video, all of which look as if they would be fun to follow up. A second health warning for being reminded that theories about primes link up to the sum of an infinite series of complex powers of numbers. Dangerous stuff - keep it coming.
@StriderGW2
@StriderGW2 Жыл бұрын
It truly is fascinating how long number theory reaches into other fields of mathematics in order to even begin to grasp the nature of primes
@ed.puckett
@ed.puckett Жыл бұрын
Thank you, your videos are always well worth the time to watch!
@maxwellsequation4887
@maxwellsequation4887 Жыл бұрын
Yitang is an absolute genius and a legend
@06racing
@06racing Жыл бұрын
Can we all appreciate how the style of video hasn't changed in forever.
@flyguyphil7247
@flyguyphil7247 Жыл бұрын
I like this channel alot, its better than white noise and helps me sleep. No joke, super helpful.
@Ikkarson
@Ikkarson Жыл бұрын
I don't know what the fancy character is used to depict a lower-case greek chi in the animation, but it definitely ain't a lower-case chi... EDIT: it seems to be the greek equivalent of "&", dubbed "kai" (same pronunciation as Pr. Padilla's chi). Still wrong character, but leading to an interesting discovery in ancient abbreviations!
@SeanCMonahan
@SeanCMonahan Жыл бұрын
It's a mistake. ϗ is the ligature for the Greek word "kai" which means "and." It is similar to the ampersand "&" in English.
@heavenlyactsatheavycost7629
@heavenlyactsatheavycost7629 Жыл бұрын
probably a mistake by whoever typeset the animation. the hand written letter is chi and as far as i can see that's the standard notation as well. interesting to see this letter tho; it's new to me.
@SeanCMonahan
@SeanCMonahan Жыл бұрын
@@heavenlyactsatheavycost7629 ϗ is a ligature for the Greek word "και," which means "and"! It's similar to how the ampersand (&) is a ligature "et," the Latin word for "and."
@jaoswald
@jaoswald Жыл бұрын
Padilla also wrote a script xi when he should have written zeta.
@theflaggeddragon9472
@theflaggeddragon9472 Жыл бұрын
@@jaoswald Probably thinking of the completed zeta function.
@tyleringram7883
@tyleringram7883 Жыл бұрын
Wow. I mainly love how this can prove the twin prime conjecture to be true. Its very exciting actually
@gabrielrhodes9943
@gabrielrhodes9943 Жыл бұрын
Except Heath-Brown's theorem will almost certainly will never prove the twin prime conjecture, because the Riemann Hypothesis is widely believed to be true.
@JM-us3fr
@JM-us3fr Жыл бұрын
Siegel primes would essentially guarantee very large fluctuations in the sequence of prime numbers, so much so that primes would inevitably need to be close together every so often. However, fluctuations of the primes appear to be FAR smaller than even the Riemann Hypothesis guarantees, so this method will almost certainly not prove the Twin Prime conjecture.
@VoodoosMaster
@VoodoosMaster Жыл бұрын
But if I understand correctly, Heath-Brown's theorem states that if there are no Siegel Primes then the Twin Prime Conjecture is false. And they said it's widely believed that these zeroes don't exist. So doesn't that mean that it's also believed the Twin Prime Conjecture is false?
@jagatiello6900
@jagatiello6900 Жыл бұрын
@@VoodoosMaster I think the inexistence of Siegel Zeros doesn't prevent the Twin Prime conjecture to be true. 08:05 The statement says that one of them has to be true, meaning that at least one of them is true if the other is false (but maybe both are true, hahaha). However, both being false is not possible according to the theorem.
@VoodoosMaster
@VoodoosMaster Жыл бұрын
@@jagatiello6900 Ohhh got it, thank you. Then it's not as exciting as I imagined lol
@myfootsitchy
@myfootsitchy Жыл бұрын
No one’s gonna talk about the fact his mouse is plugged into the wall socket?
@h00db01i
@h00db01i Жыл бұрын
nice one but of course it's plugged into the keyboard
@sdspivey
@sdspivey Жыл бұрын
He's so proud of the video from 10 years ago, he still has the 2012 calendar.
@Geenimetsuri
@Geenimetsuri Жыл бұрын
Interesting stuff! One interesting corollary of the last point about Riemann Zeta tying into physics is that if a physics experiment behaves in an unexpected way in, it could be due to a failure of understanding the mathematics and not a failure of the theory itself. Or in other words, if there's a weird experimental result that relies on certain interpretation of underlying mathematics, that could develop the mathematical theory as well.
@larmoejr
@larmoejr Жыл бұрын
Thank you very much for this video. Most of the articles I read about this were written very poorly and were hard to actually figure out what was going on.
@jcantonelli1
@jcantonelli1 Жыл бұрын
This is so cool - thanks for the video!
@gg.3812
@gg.3812 Жыл бұрын
I ve been waiting a month for this!
@jareknowak8712
@jareknowak8712 Жыл бұрын
12:07 "Seagul" Zero is in quantum state. Now we have "Seagul" Zero and Schrodingers Cat.
@randomtiling4260
@randomtiling4260 Жыл бұрын
5:20 ive never seen a chi written like that before
@SeanCMonahan
@SeanCMonahan Жыл бұрын
ϗ is the ligature for the Greek word "καί" which means "and." It is similar to the ampersand "&" in English, which is a ligature for "et," the Latin word for "and."
@rogerstone3068
@rogerstone3068 Жыл бұрын
I love the way he says, at 6:00, "we don't want to go into all the details here..." when in fact he completely lost me about 4 minutes ago. And the video still has 10 more minutes to run.
@mauricemaths
@mauricemaths Жыл бұрын
Zhang did essentially the same thing as before. With the twin-prime conjecture he proved that there are infinitely many pairs of primes that differ by a number greater than 2 (so not exactly 2), and here he proved that there is a region where there are no Siegel Zeros, but that is smaller than needed for the full proof. I think this is the death knell for the existence of Siegel Zeros (if the proof holds of course).
@timseguine2
@timseguine2 Жыл бұрын
death knell*
@oldvlognewtricks
@oldvlognewtricks Жыл бұрын
“death nail” made me laugh… Mutant offspring of “death knell” and “nail in the coffin” 😂
@mauricemaths
@mauricemaths Жыл бұрын
@@oldvlognewtricks Thanks for that! That will teach me to be more careful when using expressions! Well, English is my second language... I've corrected the error because it distracted from the point I try to make...
@cheasify
@cheasify Жыл бұрын
When D=1, ie the twin prime conjecture, c/Log(1) is undefined. Where would I check to find a Seigel zero?
@bigsarge2085
@bigsarge2085 Жыл бұрын
Fascinating!
@the_box
@the_box Жыл бұрын
He managed to get through a whole 3 mins before mentioning Euler XD
@danielmarkkula3004
@danielmarkkula3004 Жыл бұрын
Finally something about zeta/l -functions
@Einyen
@Einyen Жыл бұрын
If a "Siegel Zero" is found or proven to exist, is it "only" the "Generalized Riemann hypothesis" that fails or also the normal "Riemann hypothesis" ?
@scares009
@scares009 Жыл бұрын
I think it would only disprove the generalised one, since we would know there's some generalised zeta function that has a non-trivial zero off the line, but it doesn't show that there's a non-trivial zero off the line on the original zeta function
@AvntXardE
@AvntXardE Жыл бұрын
If it is a Siegel zero for one Dirichlet character it doesn't mean automatically it is one for another.
@jagatiello6900
@jagatiello6900 Жыл бұрын
In addition, the Riemann zeta function doesn't have real zeros inside the critical strip, so all of its non-trivial zeros are complex (i.e. not purely real). See e.g. Titchmarsh book on the RZF, p.30. Chapter 2, Section 12. Although the RZF can't have Siegel zeros, this doesn't imply a thing about the original RH either, for there still could be off the line complex zeros somewhere inside the critical strip.
@u.v.s.5583
@u.v.s.5583 Жыл бұрын
One thing is for sure. Yitang Zhang is a beast!
@ytashu33
@ytashu33 2 ай бұрын
Any YT links for the relationship between the Riemann zeros and "energy levels of heavy nuclei" that Tony talked about? My searches are not getting anywhere. TIA!🙏🙏
@samuelpierce9962
@samuelpierce9962 Жыл бұрын
I'd have to watch this video Graham's number of times to fully understand it
@Luper1billion
@Luper1billion Жыл бұрын
Great stuff
@davidsweeney111
@davidsweeney111 Жыл бұрын
Prof Tony luvs his numbers
@denisdaly1708
@denisdaly1708 Жыл бұрын
Love the office window
@RobotProctor
@RobotProctor Жыл бұрын
2024 in the answer makes me think this is an Olympiad question 2 years from now.
@gauravbharwan6377
@gauravbharwan6377 Жыл бұрын
😂😂😂😂
@Peregringlk
@Peregringlk Жыл бұрын
It came to me the thought that the Riemann-hypothesis could become the equivalent of the fifth Euclidean postulate but for number theory.
@anntakamaki1960
@anntakamaki1960 Жыл бұрын
I don’t know why, but I thought it was funny when he said the mathematician proved that there was an infinite amount of primes that differ by 70 million.
@Dodecatone
@Dodecatone Жыл бұрын
I'd love to see a video about how much our current understanding of primes would be completely broken if the Riemann hypothesis were to be disproved.
@AvntXardE
@AvntXardE Жыл бұрын
8:26 isn't it the existence of infinite siegel zeros (one for each dirichlet character) that implies the twin prime conjecture which Roger Heath-Browns theorem says?
@japanada11
@japanada11 Жыл бұрын
Yes - and technically speaking, the concept of "a Siegel zero" is not well-defined (you can always choose a small enough constant c so that any given zero is more than c/logD away from 1). You need an infinite collection of zeros that converge to 1 very rapidly in order to call the whole set a *collection* of siegel zeros.
@theherk
@theherk Жыл бұрын
Oh boy! Any advancement in number theory involving Riemann excites me.
@u.v.s.5583
@u.v.s.5583 Жыл бұрын
Did you know the following fact about Riemann and primes: Riemann's hands each had a prime number of fingers!
@theherk
@theherk Жыл бұрын
@@u.v.s.5583 Using the term "digits" would have been more correct and a double entendre. Missed opportunity.
@azzteke
@azzteke Жыл бұрын
Your letter zeta ζ looks like ξ
@frankharr9466
@frankharr9466 Жыл бұрын
This is something I've got to watch again. But not tonight.
@muhammadrazatharaj
@muhammadrazatharaj Жыл бұрын
well explained
@darian2975
@darian2975 Жыл бұрын
I can only understand like 10% of the whole video. Still watch it
@Robi2009
@Robi2009 11 ай бұрын
I didn't understand half of that but I'm happy for the progress on Riemann hypothesis :)
@ArthurvanH0udt
@ArthurvanH0udt 28 күн бұрын
Isn't the non existence fo Siegel zeros "the same" thing as the Riemann hypothesis? It just feels like that the critical line (going from 0 to infinity) now "just" is projected onto that line part going from c/log(D) to 1.
@joehd1970
@joehd1970 Жыл бұрын
Class love this channel icl
@matj12
@matj12 Жыл бұрын
What's with the shape of χ on the transcription around 5:17? I thought that it was a kappa before I saw the handwritten version.
@fyukfy2366
@fyukfy2366 Жыл бұрын
I didn't understand a word. But I appreciate the enthusiasm!
@AvntXardE
@AvntXardE Жыл бұрын
I am fairly convinced that it should be like this about Siegel zeros: a) For each real Dirichlet character the corresponding L-function has at most 1 Siegel zero. b) Heath-Brown proved if there are infinite Siegel zeros (meaning for each real Dirichlet character one), then the twin prime conjecture is true. So the existence of one Siegel zero does not prove the twin prime conjecture.
@btf_flotsam478
@btf_flotsam478 Жыл бұрын
It's impossible to have one Siegel zero- you just lower the constant until it isn't a Siegel zero. You need the infinite family to eliminate all possible constants.
@AvntXardE
@AvntXardE Жыл бұрын
@@btf_flotsam478 I guess this boils down on the definition of a Siegel zero. How do you define it? Is the Siegel zero defined in terms of multiple L-functions (meaning it's a zero for all L(s,\chi_q) for any \chi_q) or is it defined for one single Dirichlet L-function? I thought any exceptional zero that we can find for one specific Dirichlet L-function was called a Siegel zero and then we look at the collection of these zeros (for all Dirichlet characters) to formulate Heath-Browns theorem. Or do you call these just zeros and then define the Siegel zero to be one zero for all L(s,\chi_q)?
@OlavRH
@OlavRH Ай бұрын
what a legend
@Hamboarding
@Hamboarding Жыл бұрын
I did n-t quite understand that if it'd disprove the „Generalized Riemann Hypothesis“, it'd disprove the „Riemann Hypothesis“ as well - as I did not understand if the RH is „totally“ included in the GRH or if it is just one case of the GRH and those „Siegel-zeros“ could be found to be in other cases but not in the „special“ case of the RH. Could some-one help? I'd appreciate it 🌞👍🏻
@doublespoonco
@doublespoonco Жыл бұрын
If c is any number, isn't (c / log D) unbounded?
@hylens5111
@hylens5111 Жыл бұрын
A little hard to follow at times but fascinating nonetheless.
@masheroz
@masheroz Жыл бұрын
In the heath Brown conjecture, can both be true?
@dabu3
@dabu3 Жыл бұрын
What does zero divided by zero equal? “The jury is still out!” 😊
@SplinterCell521
@SplinterCell521 Жыл бұрын
"There's a more general version of the Riemann hypothesis called the generalized Riemann hypothesis. It's the Riemann hypothesis but generalized."
@AvntXardE
@AvntXardE Жыл бұрын
It's fairly simple. Instead of the Riemann zeta function Sum (1/n^s) we look at the functions Sum (f(n)/n^s) for some additional function f(n) called Dirichlet character. If one chooses f(n):=1 then we get the Riemann zeta function.
@u.v.s.5583
@u.v.s.5583 Жыл бұрын
No, it is so called in honor of the famous mathematician Bernhard Generalized Riemann (1967-1975)
@thatdude_93
@thatdude_93 Жыл бұрын
So if i understood this correctly, the existence of Siegel-zeroes doesn't disprove the Riemann-hypothesis, but the generalized Riemann-hypothesis. So the Riemann-hypothesis could still be true.
@btf_flotsam478
@btf_flotsam478 Жыл бұрын
And, of course, his work supports the generalised Riemann Hypothesis anyway.
@gauravbharwan6377
@gauravbharwan6377 Жыл бұрын
No wrong
@Peregringlk
@Peregringlk Жыл бұрын
As far as I understood, the Riemann-hypothesis is a special case of the generalized one. If you disprove the generalized one, you disprove every one of its special cases, so the Riemann-hypothesis is then false.
@rogerperkins
@rogerperkins Жыл бұрын
Okay, so what is bigger, the last two twin primes or tree(3)?
@PowerChannel88
@PowerChannel88 Жыл бұрын
I am not sure I even want to ask how exactly you get to a proof that says "either there are no segel zeros or the twin prime conjecture must be true". Did not know some theorems where playing by Highlander rules.
@ericvosselmans5657
@ericvosselmans5657 Жыл бұрын
at 1:46, Tony writes what looks like a Xi instead of a Zeta. Am I wrong?
@vincentproud6589
@vincentproud6589 6 ай бұрын
If c us arbitrary then can't the width be any size?
@bentaye
@bentaye Жыл бұрын
Knowing that, how many pots of paint does Paul need to paint his wall?
@Dominexis
@Dominexis Жыл бұрын
How many watermelons did Matt have?
@011galvint
@011galvint Жыл бұрын
Nice badge Tony solidarity!
@Veptis
@Veptis 9 ай бұрын
How come those simply hypothesis get some rather large and unexpect upper bounds? Or is that just a proof that all numbers are equal and we are bias towards smaller number?
@taylormarschall3749
@taylormarschall3749 4 ай бұрын
To reiterate my questions about the -1/12… why is shifting a duplicated series underneath by one allowed or taken versus any other equal foul? Since when do we take an average of answers when a function gives more than one?!?!
@bluekeybo
@bluekeybo Жыл бұрын
8:20 : "if you find a Siegel zero, the twin prime conjecture has to be true". 11:45 : "i like to be one (Siegel zero), because then it disproves the Riemann hypothesis". These two statements contradict each other.
@AvntXardE
@AvntXardE Жыл бұрын
It should correctly be: - "if you find infinite Siegel zeros (one for each Dirichlet character chi mod q), then the twin prim conjceture is true." - "if you find a Siegel zero for the principal Dirichlet character, then you have found a zero for the Riemann zeta function above the 1/2 line (since there is an identity) and thus disproved the RH"
@ajb1416
@ajb1416 13 күн бұрын
OMG, after ten years, is the good professor now embracing analytic continuation (which he referred to previously as "spooky")? He may make a mathematician yet!
@DestroManiak
@DestroManiak Жыл бұрын
Why cant this be checked by a computed? Is the function wildly oscillatory there or something?
@000998poi
@000998poi 11 ай бұрын
Can someone explain how the negative even number values for the real part of s yield zeros and why this is trivial?
@reddmst
@reddmst 10 ай бұрын
"Trivial" in this phrase probably means something like "a PhD student in number theory can prove this as an exercise", not a common usage of that word.
@Jiffy_Park
@Jiffy_Park Жыл бұрын
I like that this guy is embracing having the most controversial numberphile video
@MostlyIC
@MostlyIC Жыл бұрын
AWESOME EXPLANATION !!! when this result first came out all the "science news" articles about it had no decent explanations, they were all for the mathematically illiterate and basically useless. MANY THANKS for doing this one !!! Also, I'm familiar with the fact that there are a great many pseudo-theorems of the sort "If the RH (or GRH) is true then XYZ", but was not aware there are any "if the RH (or GRH) is false then XYZ", describing some of the theorems in these two possible alternate worlds would be another great topic for you to cover.
@11pupona
@11pupona Жыл бұрын
There is an elementary statement about the RH related to the growth of the mertens function.
@davecorry7723
@davecorry7723 Жыл бұрын
Love these. Maths as a detective story.
@zerochan2915
@zerochan2915 Жыл бұрын
this is so difficult to understand.. where does the D and the c come from? What does the generalized function mean?
@AvntXardE
@AvntXardE Жыл бұрын
Instead of D it should be log(q) where q is the modulus of the Dirichlet character and c is just a constant. Both can be derived as upper bounds. If I remember correctly the theorem is due to Gronwall and Titchmarsh. It's a theorem about real and complex Dirichlet characters for L-functions.
@nirorbach8046
@nirorbach8046 Жыл бұрын
Is 1 a pole in the complex plane also for the Generalized Dirichlet functions? If so, couldn't one have a bound about how fast the function changes, and thus have a bound about the distance needed between the infinite value of the pole and a Siegel Zero?
@sebastiandierks7919
@sebastiandierks7919 7 ай бұрын
1:45 A little nitpicking but that's a xi Tony writes there, not a zeta xD And at 5:22 the graphic uses a kappa instead of a chi, which Tony says and writes.
@faustobarbuto
@faustobarbuto 9 ай бұрын
I may have missed something, but why is the existence of Siegel Zeros so hard to be proved or disproved? As I understood, those roots are real ones (no imaginary part), what makes them (in theory) somewhat easy to be located numerically (should they exist). Is the zeta function wildly oscillatory in the neighbourhood of 1 (approaching by the left)? Maybe I'm too crude on this topic.
@theultimatereductionist7592
@theultimatereductionist7592 8 ай бұрын
Steven Siegel is an amazing world class action zero.
@nordveien
@nordveien Жыл бұрын
The formulation at 8:12 is a bit unfortunate, as it can be read as if only one of the two statements is true, which is not what the Heath-Brown theorem states. It states that at least one of those statements is true.
@deletingthis00
@deletingthis00 Жыл бұрын
I was awarded the title of "Numberphile" once by Google lol.
@misanthropemodere
@misanthropemodere Жыл бұрын
If Generalized Riemann Hypothesis is proven to be right, then "ordinary" Riemann Hypothesis would automaticaly be proven right too, if I'm correct. Sure. But GRH could be proven false while RH could still be true, right ? So, for example, there could be a Siegel zero AND Riemann Hypothesis could nonetheless be true (that would be an interesting possibility, IMHO). Else there would be no point in distinguishing between the two conjectures, for what I understand.
@docsy4529
@docsy4529 Жыл бұрын
That is correct If the GRH is true, the RH is true But the converse is not the case.
@arthurs5099
@arthurs5099 Жыл бұрын
Does anyone has a paper on Riemann+ energy levels ? Been hearing it for years but never found a thing…
@illumexhisoka6181
@illumexhisoka6181 8 ай бұрын
But if you look at the graph of zeta on the real graph there is no positive point where where zeta is zero Or those zeros doesn't exist when D is 1 ?
@PunmasterSTP
@PunmasterSTP Жыл бұрын
Siegel Zeros? More like "Super knowledge that mind blows!"
@pathwayc
@pathwayc Жыл бұрын
Maybe you could explain how the Siegel zero proves that the Riemann hypothesis is false. Also I would like to know more about these Dirichlet functions and why the focus is on the characters.
@AvntXardE
@AvntXardE Жыл бұрын
A Siegel zero disproves a different statement, the generalized Riemann hypothesis (GRH), not the actual Riemann hypothesis (RH). The GHR is a statement for a class of functions (so called Dirichlet L-functions).
@KenHilton
@KenHilton Жыл бұрын
The generalized Riemann hypothesis states that all nontrivial zeros of the generalized Riemann zeta function have a real part of 1/2. The real part of Siegel zeros is within a certain distance of 1, instead of 1/2; if they exist, they would be nontrivial zeros whose real parts are not 1/2, which would contradict the GRH (and thus disprove it).
@Peregringlk
@Peregringlk Жыл бұрын
Because the Riemann hypothesis says that all (non-trivial) zeros lies on the 1/2 vertical line of the graph. If you find a non-trivial zero outside the 1/2 vertical line, then the Riemann hypothesis is false by definition, and a siegel zero is precisely a non-trivial zero outside the 1/2 vertical line (specifically, one very close to 1 as the video explains).
@Kris_not_Chris
@Kris_not_Chris Жыл бұрын
LANDau-SIEgel zeroes? Surf-n-Turf Zeroes!
@colinstu
@colinstu Жыл бұрын
1:45 what does he mean by that?
@bscutajar
@bscutajar Жыл бұрын
8:15 so wait, does this mean that either the RH is true or the twin prime conjecture is true? As in either or they can't be both true?
@CRGreathouse
@CRGreathouse Жыл бұрын
No, probably both are true. What can't happen is that they're both false, that there are only finitely many twin primes and the GRH fails.
Divisibility Tricks - Numberphile
27:31
Numberphile
Рет қаралды 900 М.
Sigma Girl Education #sigma #viral #comedy
00:16
CRAZY GREAPA
Рет қаралды 90 МЛН
FOOTBALL WITH PLAY BUTTONS ▶️ #roadto100m
00:29
Celine Dept
Рет қаралды 76 МЛН
Why You Should Always Help Others ❤️
00:40
Alan Chikin Chow
Рет қаралды 8 МЛН
What Happens In A Black Hole In Space? I Inside A Black Hole
18:05
The Dream: Riemann Hypothesis and F1 (RH Saga S1E1)
24:02
PeakMath
Рет қаралды 119 М.
The Bridges to Fermat's Last Theorem - Numberphile
27:53
Numberphile
Рет қаралды 1,2 МЛН
The Goat Problem - Numberphile
16:52
Numberphile
Рет қаралды 802 М.
The Yellowstone Permutation - Numberphile
21:00
Numberphile
Рет қаралды 206 М.
23% Beyond the Riemann Hypothesis - Numberphile
20:28
Numberphile
Рет қаралды 390 М.
The Feigenbaum Constant (4.669)  - Numberphile
18:55
Numberphile
Рет қаралды 1,5 МЛН
Impossible Squares - Numberphile
13:25
Numberphile
Рет қаралды 576 М.
Топ-3 суперкрутых ПК из CompShop
1:00
CompShop Shorts
Рет қаралды 415 М.
Дени против умной колонки😁
0:40
Deni & Mani
Рет қаралды 10 МЛН
Huawei который почти как iPhone
0:53
Romancev768
Рет қаралды 617 М.
😱НОУТБУК СОСЕДКИ😱
0:30
OMG DEN
Рет қаралды 2,9 МЛН
С Какой Высоты Разобьётся NOKIA3310 ?!😳
0:43