Physicist: To non-mathematicians this seems like a whole lot of fuss over nothing.
There’s a function called the Riemann Zeta function, denoted ““, that’s defined for complex numbers (that is, you can plug in for example, and it’s totally fine). The Riemann hypothesis is a statement about where is equal to zero. On its own, the locations of the zeros are pretty unimportant. However, there are a lot of theorems in number theory that are important (mostly about prime numbers) that rely on properties of , including where it is and isn’t zero.
For example the prime number theorem, which talks about yet another greek-letter-named function, . is defined as the number of primes less than or equal to x. So, for example, (2, 3, and 5 are prime and less than 6). is a lot more useful than it might seem at first blush. We unfortunately can’t give an explicit equation for , but the Riemann hypothesis is instrumental in proving the efficacy of techniques that estimate it efficiently and (fairly) well.
Lest you think primes are unimportant; many organizations, including the NSA, snatch up every number theorist they can get, to do research on this sort of stuff. Since the late 70’s they’ve even been trying to classify mathematical proofs, or declare certain algorithms to be “munitions”, so that they can’t be written down and taken over-seas. This, by the way, is unheard of in mathematical and scientific circles. Mathematicians and computer scientists, being a cantankerous bunch (I mean, have you seen their WoW characters?), have by and large refused to play along.
Prime-number-math has really come into its own in the last several decades, what with digital stuff looking less and less like a passing fad. For example, cell phones (which are like regular telephones, but with fewer wires), essentially wouldn’t work without spread spectrum communication (to cut down on noise) and “quadratic residue sequences” (to eliminate cross-talk) which relies on some properties of primes to allow multiple digital signals to work on the same frequency band! Good times!
Answer gravy: is really weirdly defined. When it makes sense to do so, for example when s>1, it’s defined as
Where s can be any complex number. How can you raise things to complex (imaginary) powers? Good question!
Quick aside: Complex numbers are generally written as , where is the square root of -1. Since there are two numbers in complex numbers (hence the name) you can’t have a “number line”, you need a plane, which is called the “complex plane”. The “real part” of is the part that doesn’t have an , and the “imaginary part” is the part that does. So if , then Re(s)=-5 and Im(s)=3.
The summation form above “makes sense” when the real part of s is greater than 1, and as the analytic continuation of that sum when the real part is less than or equal to 1. For those values the sum can be torn apart and put back together (mathematically speaking) in a new, terrifying form that works everywhere: .
has a lot of places where it’s value is zero. Firstly at every negative even number: . These are called the “trivial zeros” because it’s trivially easy* to prove that they’re there.
There are also other zeros called the “non-trivial zeros” that extend on, or very near, a line perpendicular to the real numbers. In fact, the statement of the Riemann hypothesis can be expressed as: “if s is a non-trivial zero of , then Re(s)=1/2″. So, the hypothesis is that all of the non-trivial zeros are exactly on the line defined by Re(s)=1/2.
It has been proven that there an infinite number of non-trivial zeros. Of the ten trillion (give or take) found so far, all of them seem to have a real part of exactly 1/2.
Given that evidence, most mathematicians think the Riemann hypothesis is true. But trillions of confirmations do not a proof make.
One way to get some idea of why is related to prime numbers (and thus, why the Riemann hypothesis in related to primes) is to re-write in the form of an infinite product, instead of an infinite sum:
Each term is just , where p steps through every prime (2,3,5,7,11,13,…). The product form and the summation form are the same because of the unique factorization theorem, and a little algebra.
In general, , when . And, since , . When you multiply these sequences you get every possible combination of terms. For example, will give you 1/6, 1/12, 1/8, … anything of the form 1/2n3k. Similarly, multiplying by every sequence of primes will give you every possible combination of primes and powers of primes which is just another way of saying “all integers”.
Mixing a power of “s” in there doesn’t make a difference to the derivation, but it does clutter up the notation.
*It’s not really that easy.
I don’t quite understand how there can be zero’s, when Re(s)≤1. Isn’t it supposed to go to infinity there? E.g. zeta(-2)=1+4+9+16+25+… That surely isn’t 0?
You’re right, that sum definitely isn’t zero.
That’s part of why is defined so weirdly. It’s equal to that sum for values of s above 1, and the analytic continuation everywhere else.
“Being analytic” puts a lot of restrictions on a function; it can’t have kinks, or really do anything too surprising. In addition, if the values of the function are known for any strip of non-zero length, the values of the function are defined everywhere. Analytic functions are a little like bubbles of soap film. If you’re only allowed to look at part of a soap film, you can still guess what it’s going to do just past the part you can see. But once you know what it’s doing in that next part, you can go a little further, and a little further, and so on. That’s (with a lot of hand waving) what analytic continuation is all about.
is defined, using that summation, everywhere on the real number line from 1 to infinity. From that, and the restriction that it be analytic, it’s value everywhere else is set in stone through analytic continuation.
The fact that the original equation used to define it doesn’t make sense most of the time is admittedly confusing and seems a little weird, but it’s not unusual.
The name is Riemann, not Reimann. It may not make a difference in English pronounciation but a huge one in German: Reemun (right) vs. Reymun (wrong).
i want to know many things in science and believe that you can teach me. teach me please.
If z(s)=0, then z=2 and s=0. I’m sharing my knowledge from an 9 year old kid, Seriously.
Pingback: Sorry, the Riemann Hypothesis Has Almost Certainly Not Been Solved | Monterey Blades
Pingback: Sorry, The Riemann Hypothesis Has Almost Certainly Not Been Solved | Gizmodo Australia
What are the real world applications for this? Can it help us cure disease?
Pingback: 150-year old Math Problem: Opeyemi Enoch Has Almost Certainly Not Solved The Riemann Hypothesis claim Sceptics… | Jide-Salu.com
Related to this function, do you believe that “proof” from Numberphile’s video that
1+2+3+4+5… = -1/12 ?
Well, if the Riemann hypothesis is so important and closely linked to national safety, is it possible that the hypothesis has already been proven secretly by the US or any other country, but the implications are so profound that the government of that country decided not to publish the proof?
Is it enough to show 1) the fundamental relationship between prime and composite numbers 2)that there is an analytic prime function which generates both primes and composites which 3) shows that both are mathematically regular and infinite to prove the Riemann Hypothesis? What would be considered a rigorous proof of the RH in this context?