Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Attempts to prove the Riemann Hypothesis

So I'm compiling a list of all the attacks and current approaches to Riemann Hypothesis. Can anyone provide me sources (or give their thoughts on possible proofs of it) on promising attacks on Riemann Hypothesis?

My current understanding is that the field of one element is the most popular approach to RH.

It would be good if someone started a Polymath project with the aim of proving RH. Surely, if everyone discussing possible ways to prove RH, it would be proven in about a year or so or at least people would have made a bit more progress towards the proof or disproof.

share|improve this question
57  
"Surely, ..., , it would be proven in about a year". That's a lot of wishful thinking. –  lhf Oct 29 '11 at 17:34
14  
Consider the whole literature on the RH as a huge polymath project! –  lhf Oct 29 '11 at 17:50
26  
It ain't gonna happen. I don't think you understand either the difficulties inherent in the RH or the nature of mathematical research. There are only a small number of mathematicians with the skill-set to approach the RH, and they already know each other. They don't need the internet to generate their collaborations. It isn't like the other polymath projects, which focused on problems that are accessible with minimal background and which everyone knew were "just out of reach". There's a reason none of them resulted in bombshell results (or even in papers in top journals). –  Adam Smith Oct 29 '11 at 19:02
7  
As for unconventional approaches: I've found these three papers to be terribly interesting... –  J. M. Oct 29 '11 at 20:04
5  
@simplicity: Keep in mind that exactly the same argument can be made about the continuum hypothesis: if it is independent of the axioms, then you cannot find an uncountable subset of $\mathbb{R}$ which is not $c$, thus you prove it....The problem of independence is not that simple. If it is independent, it means that we can have two different mathematical models, so that RH is true in one and not true in the other.... The independence doesn't mean that you cannot find a zero, it only means that you don't have enough info to decide if there is a zero off the line... –  N. S. Oct 29 '11 at 20:40

5 Answers 5

"My current understanding is that the field of one element is the most popular approach to RH."

Analytic number theory, with ideas from algebraic geometry, random matrix theory, and any other areas that might be relevant, is the only approach known to have produced any concrete results toward RH. The random matrix theory in particular has produced a lot of new constraints and specific, provable ideas about the distribution of zeros on the critical line.

The field of one element is, for now, a speculative area of algebraic geometry whose foundations are not set. It is more an inspiration for research on more definite mathematical objects (e.g., is there a tensor product of zeta functions) than a well-defined topic of research in itself.

(I'll add here some response to the comments. Research on $F_1$ is, as Matt E writes, "serious" and conducted with various sophisticated intentions in mind, such as perfecting the analogies between number theory and geometry, proving the Riemann hypothesis, understanding quantum groups, or realizing parts of combinatorics as geometry over $F_1$. This was all proposed in Manin's lectures at Columbia 20 years ago which were instrumental in bringing the idea into fashion in recent years. However, as serious and sophisticated as this research is, the idea that a suitable notion of $\Bbb{F_1}$ exists as a deeper base for algebraic geometry, or that this line of research can be developed to cover new varieties beyond the original example of Weyl groups of reductive groups (or flag varieties and other examples with simple $q$-enumerations) --- or the hope that all this can help prove the Riemann hypothesis --- is a speculative enterprise and one whose foundations have not been established.)

share|improve this answer
3  
Apparently there are strange things going on with the field of one element. A friend of mine told me of a talk by a graduate student working on $\mathbb F_1$ that started with the words "Contrary to popular belief, the field of one element contains two elements..." –  Gunnar Þór Magnússon Oct 29 '11 at 20:51
7  
Dear zyx, I largely agree with your answer, but there are some people working seriously on $\mathbb F_1$; e.g. Jim Borger at ANU, and Alain Connes (who I just saw give a talk yesterday at IHP with concrete ideas related to $\mathbb F_1$). Regards, –  Matt E Oct 29 '11 at 20:52
1  
@Matt E: I agree, but most work on F_1 is without any overt connection to the Riemann hypothesis (vs Weyl groups or stable homotopy). This is true of papers by Borger, Durov, Dietmar, Toen-Vaquie and most work not coauthored by Connes. One has to admire Connes' ability to say something new about seemingly any area of mathematics, but I don't think any analytic facts or conjectures about $\zeta(s)$ have yet emerged from the $F_1$ approach. Noncommutative geometry's connection to arithmetic geometry seems promising (esp. the relation to Consani's thesis) but does not yet involve F_1 per se. –  zyx Oct 30 '11 at 0:28
1  
@Matt: further comments added in answer. While I don't want to throw cold water on the OP's mention of F_1, it would be remiss to avoid mention of the fact that as promising as the subject may be, it is quite speculative (e.g., there isn't a clear way of determining what the right foundations are, unless of course one approach suddenly achieves a breakthrough such as a new foundation for Arakelov theory, a proof of RH, a quantitative elucidation of the analogies between primes and knots in a 3-manifold, etc). –  zyx Oct 30 '11 at 1:00
    
Dear zyx, I agree that the current state of the theory of $\mathbb F_1$ seems to be very far from RH. I think you've summarized the situation well in your answer and comments. Regards, –  Matt E Oct 30 '11 at 2:16

It should be worth pointing out that, Alain Connes attacked the problem from a very different plane(http://arxiv.org/abs/math/9811068), following Weil and Haran's path, he tried to construct an "index theory" in Arithmetical context linking Arithmetical data with Spectral properties of a certain operator which is closed and unbounded and whose spectrum consists of imaginary parts of the zeroes of Hecke's L function with Grossen-character. Essentially he reconstructed a theory similar to Selberg's, he found a trace formula equivalent to the RH using Weil's explicit formulae.

Actually Shai Haran also stated a "similar" trace formula in his AMS paper "On Riemann's zeta function", One can also find a derivation of his trace formula in his book The Mysteries of the Real Prime.

share|improve this answer
    
Also this letter of Sarnak to Bombieri will clarify the meaning of Connes approach towards The RH web.math.princeton.edu/sarnak/BombieriLtr2002.pdf –  G.B Dec 30 '13 at 15:52

Also check out the following paper, on the Baez-Duarte Criterion :

http://www.man.poznan.pl/cmst/2008/v_14_1/cmst_47-54a.pdf

In particular, look at that graph of Fig 2 on Page 5 of 8.

If someone can prove that it stays an obvious cosine function, as the associated formulae suggest, with non-increasing amplitude and no new trends creeping for larger n to throw it out, then perhaps that would be enough to prove RH !

share|improve this answer

An attack by physics based on an inverse spectral problem yields that the inverse of the potential is $V^{-1}(x) = 2\sqrt \pi \frac{d^{1/2}}{dx^{1/2}} \operatorname{Arg} \xi (1/2+i \sqrt x)$.

In this case also the Theta functions classical and semiclassical are almost equal $$ \Theta (t)= \sum_n \exp(-t E_n) = \iint_C \,dp \, dx \, \exp(-tp^2 - tV(x)) .$$ This is one of the best approximation to RH.

share|improve this answer

Now that this thread has been resurrected a few days ago, one could add Deninger's approach using foliated spaces. Some references are

Deninger, Christopher. On the nature of the "explicit formulas'' in analytic number theory—a simple example. Number theoretic methods (Iizuka, 2001), 97–118, Dev. Math., 8, Kluwer Acad. Publ., Dordrecht, 2002.

Leichtnam, Eric. On the analogy between arithmetic geometry and foliated spaces. Rend. Mat. Appl. (7) 28 (2008), no. 2, 163–188.

share|improve this answer
    
Deninger's approach was discussed here : math.stackexchange.com/questions/327693/… . –  zyx May 12 at 17:18
    
@zyx, thanks for this. –  user72694 May 12 at 17:22

protected by Willie Wong May 15 at 11:02

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.