Slashdot Mirror
A Step Towards Proving the Riemann Hypothesis
arbitraryaardvark writes "A new mathematical object has been discovered by Bristol University student Ce Bian. The Riemann hypothesis, unproven since 1859, has to do with the distribution of primes and something called L-functions. Bian has demonstrated the first known third-degree transcendental L-function. This apparently opens up a new way to go about looking for proofs of the Riemann hypothesis. There is an unclaimed $1 million prize for a valid proof. We've discussed a couple of earlier attempts to claim the prize."
Non-trivial zeroes of the zeta function are 1/2 because they naturally form as wholes, but as we all know a grue can't resist the tasty flesh of a non-trivial zero. I posit that the only way to prove the hypothesis is to kill a grue and vivisect it to search for the other half of the non-trivial zero. So until someone is brave enough to fight a grue and extract the flesh of the non-trivial zero, that million dollars is going unclaimed.
I got a catholic block.
enough room in the margin of this
text area to display it properly.
Cue the creepy, hushed voice-over:
In a University in Lower Saxony, a mathematician had formulated a remarkable conjecture. Its effects would be felt worldwide.
The Riemann Hypothesis, by Robert Ludlum. Now in paperback.
My other car is a 1984 Nark Avenger.
(just smile and nod, smile and nod. they'll never know you have no idea what this means)
Absolute power corrupts absolutely. indymedia
Actually, the Riemann hypothesis is pretty important, given that a proof of it would tell us about the distribution of prime numbers, and prime numbers are the wheels which keep e-commerce turning (RSA anyone?) Also, concerning scientific results which sound like Robert Ludlum novels, my own personal favourite is the Born Approximation - the least popular in the Bourne series.
xterm -n 8
Booker and Ce Bian constructed certain degree 3 L-functions, but it is best to think of their discovery as follows: there is a complicated 5-dimensional membrane known to mathematicians as "SL(3,Z)\SL(3,R)/SO(3)". This membrane has subtle number-theoretic symmetries, so that its modes of vibration encode number-theoretic information. These modes (and their vibrational frequencies) are being extensively studied, but they are very transcendental objects so they cannot be written down explicitely and must be computed numerically. While certain modes (and frequencies) were already known numerically (they can be constructed from vibrational modes of the 2-dimensional membrane "SL(2,Z)\SL(2,R)/SO(2)" via something known as the Gelbart-Jacuqet lift) we now have the the first numerical computation of "native" modes of the 5-dimensional membrane -- those that aren't related to lower-dimensional cases. To each such mode of vibration there is an associated "L-function (similar to the Riemann zeta function), and it is the L-functions that were constructed. In fact, verifying that the approximate L-functions that were found correspond to actual modes of vibration is not easy (in the 2-dimensional case there is important work of Booker with others about this).
In short, this is an important advance in automorphic forms, but it is so technical that it doesn't belong on SlashDot.
It is important to realize that while indeed there is a ("Generalized") Riemann Hypothesis associated to these L-functions, numerically computing them represents zero progress toward proving the Riemann hypothesis for these L-functions or the original Hypothesis for the Riemann zeta function. At most this will allow very approximately computing some of their zeros and thus a weak check on the GRH for these L-functions.
Actually, what the RH tells us about the distribution of prime numbers is be pretty useless regarding RSA. To get anywhere you need the Extended Riemann Hypothesis (covering Dirichlet L-functions) and even the full force of the "Generalized Riemann Hypothesis" (covering all automorphic L-functions) is not known to help with the really important problem here -- factoring.
If they'd have left it alone in 1858 we wouldn't be having this trouble. If it ain't broke, don't fix it!
A proof of the Riemann Hypothesis itself won't have any effect on the security of encryption (if it did, you could compromise the encryption by just assuming the hypothesis is true and your exploit would work in nearly all cases). The only concern is if the process of developing the proof leads to an insight about the nature of prime numbers that weakens encryption in some other manner, but this wouldn't be the result of the Riemann Hypothesis itself.
Submitter here. Right after hitting submit, I realized I'd forgotten to link to marginal revolutions, an economics blog that pointed me to the story.
http://www.marginalrevolution.com/marginalrevolution/2008/03/assorted-link-4.html
http://www.marginalrevolution.com/
You're thinking of physicists, who can prove this hypothesis for all prime numbers which are perfectly spherical and exist in a perfect vacuum.
how to invest, a novice's guide
infiltrating hundreds of thousands of computers to work on the solution
The solution isn't to be found through massive computing effort. They are looking for a proof, not a computation. They need creativity, not horsepower.
This is where things get technical. The Riemann Zeta-function $\zeta(s) = \sum_n n^{-s}$ has the Euler product representation $\zeta(s) = \prod_p \left( 1 - p^{-s}\right)^{-1}$. Similarly, the Dirichlet L-functions $L(s;\chi) = \sum_n \chi(n)/(n^s)$ have the Euler product $\prod_p L_p(s;\chi)$ with $L_p(s;\chi) = 1/( 1 - \chi(p)/(p^s))$. In both cases, the factor at each prime $p$ takes the form $1 / ( 1 - a(p)/p^s )$, for some number $a(p)$ depending on $p$. We think of this factor as a the inverse of a polynomial of degree 1 in the variable $p^(-s)$ (the polynomial is $P(T) = 1 - aT$).
Similarly, to GL(3) Hecke-Maass forms such as the ones computed by Booker and Ce Bian, there is an attached L-function $L(s;f)$ which can be represented as an Euler product, $\prod_p L_p(s;f)$. This time, however, the local factors $L_p(s;f)$ are the inverses of cubic polynomials, that is $1/L_p(s;f)$ takes the form $P(p^-s)$ where $P(T) = 1 - aT - bT^2 - cT^3$ for some coefficients $a,b,c$ depending on $p$ (and on $f$, of course). This is why we call it an L-function (or Euler product) of degree 3.
Using the Fundamental Theorem of Algebra, it is common to factor the polynomial $P(T)$, and write it in the form $\prod_{j=1}^{3} ( 1 - \alpha_j(p) T)$. Thus an Euler product of degree $d$ takes the form: