Intereting Posts

Analytic function in the punctured plane satisfying $|f(z)| \leq \sqrt{|z|} + \frac{1}{\sqrt{z}}$ is constant
How does the determinant change with respect to a base change?
If $\operatorname{Hom}(X,-)$ and $\operatorname{Hom}(Y,-)$ are isomorphic, why are $X$ and $Y$ isomorphic?
Proof that the limit of the square root is the square root of the limit
Signs in the natural map $\Lambda^k V \otimes \Lambda^k V^* \to \Bbbk$
Proving that the length of the sum and intersection of two finite length modules is finite.
The non-existence of non-principal ultrafilters in ZF
How many digits does $2^{1000}$ contain?
How many different definitions of $e$ are there?
Integral $\int_{-\infty}^\infty\frac{\Gamma(x)\,\sin(\pi x)}{\Gamma\left(x+a\right)}\,dx$
Equivalent characterisations of Dedekind-finite proof
Cross product: matrix transformation identity
Prove that the limit of $\sin n$ as $n \rightarrow \infty$ does not exist
Improper Integral $\int\limits_0^1\frac{\ln(x)}{x^2-1}\,dx$
Field axioms: Why do we have $ 1 \neq 0$?

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.

- What should the high school math curriculum consist of?
- Open problems in General Relativity
- “$n$ is even iff $n^2$ is even” and other simple statements to teach proof-writing
- “Here's a cool problem”: a collection of short questions with clever solutions
- Are there any good algebraic geometry books to recommend?
- Neat solutions to tedious questions

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.

- Most inspirational mathematical books
- Why has the Perfect cuboid problem not been solved yet?
- Example relations: pairwise versus mutual
- Software for drawing geometry diagrams
- Why are ordered spaces normal?
- Open math problems which high school students can understand
- Applications of algebraic topology
- Good books on Math History
- Which one result in mathematics has surprised you the most?
- Geometric proof for inequality

“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.)

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.

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 !

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.

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.

- Young inequality
- Connection between Fourier transform and Taylor series
- Total ordering on complex numbers
- Homology of $S^1 \times (S^1 \vee S^1)$
- Finding $E\Bigl(\overline{Y^2}\Bigm|\overline{Y\vphantom{Y^2}}\Bigr)$ by Basu's theorem?
- Homemorphism from $S^n$ to $S^n$
- Are continuous self-bijections of connected spaces homeomorphisms?
- Playing the St. Petersburg Lottery until I lose everything
- Example of two-dimensional non-abelian Lie algebra?
- Existence of iid random variables
- Optimal strategy for this Nim generalisation?
- Existence proof of the tensor product using the Adjoint functor theorem.
- $|\nabla f (x)| =1$ implies $f$ linear?
- Why is every selfadjoint operator closed?
- Deriving the inverse of $\mathbf{I}$+Idempotent matrix