yes so we're going to talk about L-functions. I want to give you an example first of all of one L-function that I
think you probably would recognize and this is the Riemann zeta function, which
depends on a complex number s is x+iy. 'i' here is the square root
of -1, and you can define it either by a sum over the integers, all the integers, all the positive ones. Or, this is a great discovery of Euler: I can write it as a product over the
prime numbers. and so the zeta function encodes information about the primes. It
contains all the primes and if you can unravel how the information in the zeta function is encoded you can determine properties of the primes. That's one of
the L-functions, and let me tell you a little bit more about the Riemann zeta
function because that's gonna be part of the story. So the Riemann zeta function is
defined as a sum over the integers or a product over the primes, and these
formuli work if x is greater than one. But it turns out you can find formuli
that match these when x is greater than 1. When x is less than one work as well.
And here's what the Riemann zeta function looks like. So these formuli work to the
right of the line x=1. So they work out here. And they tell you the value of
the zeta function anywhere in this in this region. Now it turns out the zeta function has this amazing symmetry which was discovered by Riemann, which say that the line that I have drawn in blue there
that passes though the point one half, that's a symmetry line of the Riemann zeta
function. If I know the value the zeta function at some point here, I reflect
that point through the blue line to get a point here and know its value here. I can deduce that very easily. So Riemann reflection formula, the symmetry formula, tells us
that because I know he zeta function in this range I also know in
this range as the reflection so that just leaves this strip which we don't
understand. This trip is where the function is really mysterious. We know that in this strip, there are infinitely many points where the zeta function takes the value 0. The belief is - and this is the Riemann
hypothesis - that these points where the Zetas function takes the value zero, all lie exactly on
the symmetry line, and this is called the Riemann hypothesis. And this is one of
the great mysteries of mathematics. Riemann hypothesized this in 1859 and it's
been tested hugely since. BRADY: professor, it's well-known in mathematics that if any mathematician can prove the Riemann hypothesis, he or she is destined
for greatness. PROF: Yeah. BRADY: Why? PROF: Well, because the Riemann zeta
function encodes information about the prime, so if we know the positions of the
zeros, that tells us really important information about the prime numbers. BRADY: What information? What does it tell you that you don't already know? PROF: it tells us things we already suspect, because we sort of believe the Riemann hypothesis is true, but there are things we can't prove. So for example, how many primes are there up to a trillion? We have a formula that we believe is true but we can only prove that formula if we know
the Riemann hypothesis is true. BRADY: So it's like a whole bunch of houses would suddenly have a foundation. PROF: Absolutely, and there are whole books written assuming the
truth of the Riemann hypothesis, so the foundations of our understanding of the primes would disappear if the Riemann hypothesis turned out to be false. It's
known there are infinitely many zeros of the Riemann zeta function inside the
critical strip, and it's known that at least 40% of those do lie on the
symmetry line. It is known, and this is a result of hugely extensive computations
that the first 10 trillion zeros lie exactly on the symmetry line. That's the first ten thousand billion. It's known that batches of zeros, much higher up, beyond the 10 trillion, lie on the line, so I think the world record at the moment is there's a batch of zeros up beyond the 10^36th zero, That is the billion billion
billion billion-th zero, somewhere up there there's a whole batch which we know
lie exactly on the line, so people have put a pretty huge effort into this, and there's
a long history of this: Alan Turing, when he built the first electronic
computer, one of the first things he did was compute the zeros of the zeta function. He found about the first 1000 lie on the line. BRADY: professor, if a mathematician one day finds a zero in the strip but not on the line, is that mathematician gonna be a hero or a pariah? PROF: [laughs] Well they would certainly be very famous, and I think mathematicians very sanguine about this, they'll just accept the truth, they want to know the truth, that person would be famous,
but I think it would be a kind of ugly kind of fame, not a beautiful kind of fame. So we got these properties and this is what I want to emphasize: we can write the zeta function as a sum over the integers,
or as a product over the primes, and the zeta function has a symmetry line, reflection symmetry line, and we believe that all the zeros of the zeta function around that line lie exactly on that. This is one of the great
mysteries in mathematics, and people have spent 150-odd years
thinking about this. And one natural way if you're given a mystery is to try to
understand: well, is this a more general property? So are there other functions which look like the Riemann zeta function? And maybe by finding lots of those functions and comparing them that tells you the essential properties that make the
Riemann hypothesis true. Maybe it allows us to prove it. So an example would be:
if you think about evolution, Darwin wanted to establish evidence for
evolution, so he goes to the Galapagos Islands, and he has to find lots of
finches that're all very similar but not identical, and by making comparisons of
the similarities and the differences you then understand the essential properties
that led them to evolve as they did. So we want to find the cousins of the
Riemann zeta function. To see whether there are any, what might you do? Well you might look at this sum over the integers, and you might change some of these plus
signs into minus signs and see, well, can you have any combination of
pluses and minuses here? And it turns out it's very rare that by changing some of
these plusses into minusses you can write this sum, the resulting sum, as a product of the primes but be slightly different to this product
but would resemble it. and you'd have something that had a symmetry line that's very
very rare that that happens. to there is one example of one. let me go back to the
Riemann zeta function going to split the primes up into two classes: 2 will
always be special believe that is it is but the odd primes will either be - if you divide them
by 4 - either remainer of 1 or 3. So you divide 3 by 4, the remainders 3.
Divide 5 by 4 The remainder's 1. Because 5 is 4 + 1. 7: divide that by 4, uh the remainder is 3. 11 is 3. and 13 is 1. So the ones that are divisible where the remainder's 3 will flip their
sign, so we put that one there We'll put a 1 there, a 1 there, and we'll do the other 2. And that gives you an L-function which has a symmetry property to expand these products out
you get a sum of the integers exactly like the Reiman Zeta function so this is an
example of a function which is an L-function. a lot of these were discovered in the
nineteenth century. There are infinitely many of them BRADY: You said they were rare Ya ya ya, um. despite the fact that there are many they're extremely rare amongst all possible combinations of plusses and minusses that you can have there. So we know there are infinitely many other functions that look like the Reimann Zeta function. you can write them as a sum of the integers, you can write them as
a product of the primes - they have a symmetry line - and we believe they all
have a Riemann hypothesis. So that was the 19th century then in the 20th century
people found other examples of functions that have those properties you can write them as sums over the integers, or products over the primes, they have a symmetry line, and we believe that they a Reimann Hypothesis. And one of the heroes in this story's Ramanujan. Sir Ramanujam was studying the following function: X times (1- X) to the power of 24. (1-X squared) to the power of 24. times (1-X cubed) to power 24
times (1 - X to the 4th)^24 etc you get the point and what he discovered
was that he could write this as a sum of powers of X. (1 times X) minus (24
times X squared) you can do at home multiply this thing out. that's 24 times X
squared plus 252 times X cubed minus 1472 times X power 4 etc... and this keeps going on and you get these beautiful whole numbers coming out now here's the miracle. 2 times 3 = 6 -24 times 252 = -6048. So these numbers have the property that for example three times
five is 15 and if I go out to the 15th number in this series the the coefficient there, the integer that appears is 252 times 4830. This meant you could
associate an L-function with these things. so here's what you do you write 1 - 24 over 2^s, + 252 over 3^s, minus 1472 over 4^s, + 4830 over 5^s, et cetera and this series follows from Ramanujan's observation a couple more observations that I won't sort of explain in more detail it follows that you can
write this series as a product over primes just as we did for the Riemann
zeta function you can plot that in the complex plane and he has a symmetry line
exactly like the Riemann zeta function does and the zeros of this function are
believed to satisfy Riemann hypothesis. Now these functions are a class of functions called modular forms. They have certain symmetry properties which we believe
give rise to the kinda general patterns that you see in the Riemann zeta
function there is a symmetry line and zeros on that line a Riemann hypothesis.
and these have been studied throughout the twentieth century and Andrew Wiles in
his great work on Fermat's Last Theorem used this connection between modular
forms that its functions like this and L- functions that its functions like
this to proove Fermat's Last Theorem. For all these L-functions we believe there's a
Riemann hypothesis so the big goal is to say well can we find a pattern can we see any similarities that would
give us a clue as to why the Riemann Hypothesis is true, for any of them? and one of the things that's been done recently is to produce a huge database
of millions of these L-functions with all the properties tabulated in a very
clear and simple way and basically the idea is to throw this out to the world
and say can you help us find the pattern? and what you'll find there is the
Riemann zeta function, you'll find Ramanujan's L- function, you'll find the
L functions that Andrew Wiles studied, you'll find even more exotic and weird L-functions that we believe all have a Riemann Hypothesis. and you go to this
website you find these zeros, you'll find plots of these L-functions ... What's the pattern? BRADY: if I go to this database though, I'm not gonna make a breakthrough, am I? Surly this is only a resource for
mathematicians Well... It's originally for mathematicians, but I think
these properties are accessible to a wide range of people this database is
set up so if you click on any technical word, up comes an explanation of that word now you put some mathematics to understand that but looking at the
pictures I something anyone can do and somewhere in there is a pattern that
mathematicians haven't spotted. so it may well be that somebody else spots it. not
likely but it is possible too big for this the right knees
heavyset said it and I'll say it again this is a prime between and into an
agreement did precisely that he explained how to extend the this
function to all possible values except for one so there's only one billion
there is nothing you can do
I like numberphile, but the videos always end just as things are getting really interesting.
It should be noted that Deligne, using Grothendieck's Etale Cohomology, proved the Weil Conjectures, a version of the Riemann Hypothesis for L-Functions created using geometric objects over finite fields. Etale Cohomology works a lot like ordinary cohomology in Algebraic Topology, while having access to arithemtic information, in the form of the Frobenius. This is a perfect storm that gives us the Riemann Hypothesis in this case, unfortunately it has not yet been generalized to a place where it can be applied to more general objects.
Are any of the imaginary parts of the zeros on 1/2 line rational?
He said that the function is symmetric around real part=1/2, but how come the zeta of -2 does not equal the zeta of 3?
Are L functions and the zeta function in particular, symetric everywhere?
Is it proven/obvious that any symetrical function can reset the symetry line to 0, and then necessarily all 0s will be on the symetry line?
I'm a bit surprised to see a mathematician write i=√(-1). I know in physics we are sometimes a bit sloppy about mathematicial rigor, but I always tell my freshmen that this is actually not completely correct and they should learn it as i²=-1.
I gave it my best shot
That website is so cool!
it's very late at night... I misread and thought the key to RH was numberwang!