# The Riemann Hypothesis

For Those Enamoured And Those Yet To Be Enamoured

In the year 2000, the Clay Institute, a private, non-profit foundation dedicated to the amelioration of mathematics, listed 7 problems in mathematics it felt are the most important and would further mathematics the most, to celebrate the new millennium.Of these Millennium Problems, only one, the Poincare conjecture, has thus been solved. It must be noted here that solving these problems does not mean proving the hypotheses projected to be true, a counter-example or a disproof would be sufficient to garner the \$ 1,000,000 prize and indelible glory that come with the solution. Interestingly, the solver of this problem, Grigori Perelman, who, after his innovative proof of the conjecture also won the coveted Field’s Medal, often touted as the Nobel Prize of Mathematics, refused his prize money and abhorred celebrity.

However, we are not going to be discussing any of that today. Rather, I’d like to indulge in a little self-gratification by talking about another Millennium Problem, the Riemann Hypothesis. To all maths nerds out there, this is my love letter to you.

The Riemann Hypothesis is as insidious as it is difficult to understand. To even appreciate a small part of it, one must go back to the beginning by analysing the Riemann Zeta function, as shown below, in one of its forms.

As any O-Level mathematics student can tell you, the expression above is simply a sum to infinity of the reciprocals of the natural numbers, each to the power s. A further analysis can be determined by realising that when s is larger than 1, the sum converges to a number. This means that as the sum is evaluated for more and more terms (larger and larger values of n) its value gets closer and closer to a certain number. For example, when s is equal to 2, the denominator of each term would be squared such that the value of each term would be much smaller than the previous one. As smaller and smaller terms are summed, it is evident that their value will approach a certain number as the value of each subsequent term would be insufficient to increase the value of the sum beyond this number. Figure 2: Also known as the Basel problem, the proof for this sum was found by the great Leonhard Euler

The opposite of this is a diverging sum, which simply means that the value of the sum gets larger and larger (in either positive or negative direction) for increasing values of n. The sum would make no sense to be of any value due to this. A simple example of this would be when s equals zero. The function would become an infinite summation of 1s. And an infinite summation of 1s is will shoot off to infinity and never converge to a particular value.

At this point, let us also consider the largest value of s, positive infinity (which isn’t a value but let’s pretend it is). Every value after 1 would be zero, due to their denominators being infinitely large. Hence, the smallest value of the zeta function for s values higher than 1 would be 1.

An Interesting Aside

A special case can be observed for the s value of 1, where the sum takes the form that you can observe below. Notice that the top sum (the one we are interested in) will always be larger in value than the bottom sum, due to each term in the second sum being smaller than or equal to the term in the top sum in the corresponding place. Considering only the second sum now, we can further simplify it to find out its value more clearly, as shown below. Notice that we have arrived at the same zeta function as we analysed when s was equal to zero (simply couple the halves and it will be an infinite series of 1s). Notice now then that the sum is divergent (the value tends to infinity as n goes to infinity) and because the zeta function we are interested in is larger than this sum, it will be divergent too. Even if the subsequent terms diminish in values, the infinite sum refuses to converge to a value. Yes, maths can be belligerent.

But, back to the task at hand. When the eminent mathematician Bernhard Riemann got his hands on this function, he brought it forth into the complex plane (with real and imaginary numbers) and showed in his seminal paper how to extend the function to include more values than those for only when s is more than 1 through a process called ‘analytic continuation’. This is just fancy talk for transforming a function to another function that has more values than the original but all of the original’s values as well. It can be thought of as the mother function from which the original function broke off. The transformed function is shown below.

This super-complex function (that weird r-shaped symbol is the gamma function, a special function for the complex plane I don’t understand) still wasn’t perfect but it did allow mathematicians to calculate values of the zeta function for all values of s (which now was in complex form) EXCEPT for when s was equal to 1. However, nothing could be done about this singular point, so mathematicians termed it as a singularity, an oddity that did not conform to the studied function and stayed belligerent. Maths can also be petty it seems.

Let’s put in some pictures now. Below is the graphical image of the analytically continued Riemann zeta function. For all values except 1, there is now a value for the zeta function that is particular (not infinity, an actual numerical value). These values include zeroes. The O-Level mathematician now must be intrigued as the zeroes of a function are called the function’s solutions. So too, it would seem, was Riemann. After studying these zeroes, Riemann noticed two things. Firstly, all values of s which are even and negative that have no imaginary part (s = -2, -4, -6…) would equal zero due to a peculiarity in the function. This made looking for them too easy and obvious; hence they were termed trivial zeroes, zeroes which behaved in an understood manner.

Reminding ourselves that we had already seen for all s values higher than 1, the function tends to a value which will always be greater than zero. This is still true regardless of the complex nature of the sum in question since its real part will always be a sum of the real parts of the terms (values always greater than zero). With that being said, it is now clear that if any other zeroes exist, and an infinitely many of them do, they must lie in the critical strip, when the real part of s values range from 0 to 1.