One of the problems with explaining the Riemann Hypothesis is that its fascination comes from its deep connection to prime numbers, but its definition is in terms of complex analysis which requires a fair deal of undergraduate mathematics to understand -- and that is before you even got started to grasp what the heck the zeta-zeros have to do with the distribution of primes. My "cocktail party explanation" of the Riemann Hypothesis would usually be something like: "The prime numbers are as equally distributed as you could wish for." But there is actually a surprisingly easy interpretation of the Riemann Hypothesis: "Prime numbers behave like a random coin toss."
Let's first take a look at a regular (fair) coin, that is, the two outcomes "heads" or "tails" are equally likely. We now do an experiment: we start counting at , and toss our coin repeated. Whenever we throw "heads", we add to our count, when it's a "tails", we subtract . What will be the count after coin tosses?
Mathematically speaking, we define a sequence of independent random variables where
Now we are interested in what the sum is, i.e., we define
Because of the 's symmetry, they each have , and hence we also have for all (due to the linearity of the expectation value). In other word, if we were to bet on what our total count would be at any given point, we should put our money on .1
However, reality looks different.
This is an example of how might develop. (You see why this process is known as a random walk.) When we stopped at , we were off by about . After all, that shouldn't be too surprising. In theory, could take any value between and . However, these boundary values would be extremely unlikely: the probability that is indeed , a ridiculously small number.
Still, despite its tendency to oscillate around the -axis, we would observe that would reach arbitrary distances from it as grows larger and larger. The way to quantify this behaviour is to measure the standard deviation of . I won't go into the details, but if you're familiar with these calculations you won't have a problem verifying that
This means that while we expect to be on average, we would expect the values to spread up to :
More precisely, we would expect values between and in of the cases if we repeated the experiment over and over again. We can visualise this if we take a look at a few more random walks:
Out of these 100 random walks, indeed 5 ended up outside the square root region.
which of course has to be interpreted with some good will3 since we are talking here about a random sequence, not a deterministic one.
That's all very well, but what does it have to do with primes or the Riemann Hypothesis? To see this, we need to remember the Möbius function that I half-heartedly introduced some time ago. The definition of this function looks very odd and artificial at first, but is actually a very natural and useful function in the theory of numbers, not least because of the Möbius inversion mentioned in the article above. We define as follows: if has prime factors, all of which are distinct (i.e., is squarefree), then , otherwise, if has at least one repeated prime factor, . The sequence looks like this:
Notice how for primes since they have exactly one prime factor (themselves). But there are also composite values with , e.g., . In general, it seems pretty hard to predict what value will come next. The sequence looks random. Of course, it isn't actually random since the values are predefined by the arguments' prime factors. It is exactly this unpredictable, yet not erratic nature of the primes that the zeta-zeros encode.
To see what I mean, we'll sum up the values of just like we did with out coin tosses. The result
is called the Mertens function, and looks like this:
From this (small) sample, looks pretty much like one of our random walks. One crucial difference however is that about of the values are . (More precisely, the proportion of squarefree numbers amongst all integers converges to which may look familiar to you as the value of , but this deserves an article of its own.) To get a better comparison we'll just skip these values in our "random prime walk": If we take the values of , can we distinguish the resulting sequence of and from a sequence of random coin tosses? A small comparison actually makes it look like is rather better behaved than a coin toss (the prime walk is overlaid in red):
Since this is not actually a random variable, we cannot talk of expectation values or standard deviations, but we can control its rate of growth. If 4 really behaved like a random walk, we would expect it to be delimited by the square root function, and indeed did Franz Mertens conjecture the stronger statement that for all . This turned out to be wrong5, but not all is lost -- after all, we don't have such a tight bound on our coin tosses either. Instead, we would be happy with something like
This indeed is equivalent to the Riemann Hypothesis. To see this, we first observe that
(There are many clever ways to see this, but you will have to trust me on this -- or, much better, verify it yourself.) Through a clever sequence of transformations, we express as an integral, and then get it out of it via Mellin transform to obtain
The crucial question is for what values of this is valid. We will change the value of the integral if we push the line of integration to the left past a singularity in the integrand. This will happen if there is a zero in the denominator. Voilà, the zeta-zeros entered the stage!
If Riemann was right, there will be no zeros for , and hence we could choose to be as little as (where is an arbitrarily small number). But then it is not difficult to convince yourself6 that this implies , just as we were hoping for.
In other words: if the Riemann Hypothesis is true, then the sequence is very close (though not quite) to looking like a random walk. What's more is that the converse is true as well, i.e., you could deduce the Riemann Hypothesis from the above bound for : if Riemann is false, then there are zeros off the critical line and we will know that the Mertens function has a wider spread than a random walk. That's why we say that these statements are equivalent.
So when someone asks you next time how it is to work on primes, just say that it's like flipping a coin -- you never know what you'll get.
PS: This is the Sage script I used to generate the graphs in this article.
Of course, Y_n can actually only ever be 0 for even n. ↩
The law of the iterative logarithm even gives us the value of the implicit constant that the big-O notation surpresses: it's the square root of 2. ↩
That is, the number of exceptions will have probability 0. ↩
We entered the realm of big O where constants don't matter. The zero values of the Möbius function only change the constant, and hence it doesn't matter if we consider the Mertens function with the zero values, or the prime walk without them. ↩
Though only the existence of a violation is known, but an actual value is beyond the scope of the current calculating power -- yet another example that you can't trust empirical evidence when it comes to primes. ↩
Just observe that x^(s+it)=O(x^s). Then all you need is a good bound for the denominator. ↩