JournalsowrVol. 5 , No. 1DOI 10.4171/owr/2008/14

Analytic Number Theory

  • Jörg Brüdern

    Universität Göttingen, Germany
  • Hugh L. Montgomery

    University of Michigan, Ann Arbor, United States
  • Robert C. Vaughan

    The Pennsylvania State University, University Park, United States
Analytic Number Theory cover

A subscription is required to access this article.

Abstract

It was an exciting week at the Forschungsinstitut, with reports of important new developments, and intense work on a variety of fronts. The atmosphere was warm and relaxed, almost convivial, and certainly more cooperative than competitive, although the mutual seriousness of purpose was constantly evident.

Of all the new results announced at the meeting, three stand out for special mention:

Jerzy Kaczorowski and Alberto Perelli have shown that there is no member of the Selberg Class with degree in the open interval (1,2)(1,2). The Selberg Class is an attempt to describe, by means of functional equations and Euler products, those functions for which one feels the Riemann Hypothesis should be true. It is presumed that eventually it will turn out that the Selberg Class is synonymous with the set of automorphic LL-functions, but we are very far from proving this. The degree, which relates to the sum of the arguments of the gamma function factors in the functional equation, is conjectured always to be an integer. The Riemann zeta function has degree 11, and H.-E. Richert showed that there is no member with degree <1< 1. More recently it had been shown that there is no member with degree in the interval (1,5/3)(1, 5/3). This is a central problem, that many people have attacked, so the realization of (1,2)(1,2) is a remarkable step forward, albeit a modest advance when compared with the enormous task ahead of us.

The Prouhet--Thue--Morse sequence has been independently discovered three times, in 1851, 1906, and 1921, respectively. Prouhet related the sequence to number theory, Thue applied it to combinatorics on words, and Morse to differential geometry. Let w(n)w(n) denote the `binary weight of nn', which is to say the number of 11's in the binary expansion of nn. Thus w(0)=0w(0)=0, w(2n)=w(n)w(2n)=w(n), and w(2n+1)=w(2n)+1w(2n+1)= w(2n)+1. Put tn=0t_n=0 if w(n)w(n) is even, and tn=1t_n = 1 if nn is odd. Thus the word t0t1t2t_0t_1t_2\ldots is 01101001100101101000110100110010110100\ldots\,. The power series generating function of (1)w(n)(-1)^{w(n)} can be written in closed form:

n=0(1)w(n)zn=k=0(1z2k)(z<1).\sum_{n=0}^\infty (-1)^{w(n)}z^n = \prod_{k=0}^\infty\big(1-z^{2^k}\big)\qquad (|z|<1)\,.

Clearly, 0nN(1)w(n)1\big|\sum_{0\le n\le N}(-1)^{w(n)}\big|\le 1 for all NN; thus the integers are very equally divided between those for which w(n)w(n) is even and those for which w(n)w(n) is odd. In 1967, Gelfond (famous for work in transcendence) asked whether w(p)w(p) is (asymptotically) equally even and odd, as pp ranges over primes pxp\le x, xx\to\infty. The Prime Number Theorem concerns the leading binary digits of pp, and Dirichlet's theorem on primes in arithmetic progression relates to the trailing digits. As concerns (1)w(p)(-1)^{w(p)}, one is dealing simultaneously with {\it all} binary digits of pp. Many researchers have worked on this problem without success, including at least one of the conference organizers. Some years ago a solution was announced in C. R. Paris, but this was followed neither by a proof nor a retraction. Now at last we have a solution: Jo\"el Rivat and Christian Mauduit have cleverly seen how to show that px(1)w(p)=o(π(x))\sum_{p\le x}(-1)^{w(p)}=o(\pi(x)) as xx\to \infty.

Consider the Pell equation x2dy2=±1x^2-dy^2=\pm1, which relates to the units in the real quadratic number field Q(d)\Bbb Q(\sqrt{d}). If dd is divisible by a prime p3(mod4)p\equiv 3\pmod 4, then the equation x2dy2=1x^2-dy^2=-1 has no solution. If dd is a prime number 1(mod4)\equiv 1\pmod 4, then x2dy2=1x^2 - dy^2=-1 {\it does} have a solution. The number of dxd\le x for which dd is composed entirely of primes p1(mod4)p\equiv1\pmod 4 is x/logx\asymp x/\sqrt{\log x}; thus the case of dd prime is negligible among these discriminants. In a spectacular {\it tour de force}, Etienne Fouvry and J\"urgen Kl\"uners have shown that the `negative Pell equation' x2dy2=1x^2-dy^2=-1 has a solution for a positive proportion of discriminants dd composed entirely of primes 1(mod4)\equiv1\pmod 4.

The advances described above could not have been anticipated, and are at once surprising and gratifying. And just a few years before, the team of Goldston, Pintz and Y\i ld\i r\i m excited the world with their proof that pn+1pn=o(logpn)p_{n+1}-p_n=o(\log p_n) infinitely often. This brings us a little closer to twin primes. Since pn+1pnp_{n+1}-p_n is logpn\log p_n on average, it is reasonable to consider the distribution of (pn+1pn)/logpn(p_{n+1}-p_n)/\log p_n. We conjecture that this quantity is asymptotically distributed like an exponential random variable, with density exe^{-x}. It would follow that every number in [0,][0,\infty] is a limit point of the numbers (pn+1pn)/logpn(p_{n+1}-p_n)/\log p_n. In the 1930's it was shown that ++\infty is a limit point, but it was only with the work of GPY that we could for the first time name a finite real number (namely 0) that is a limit point of this sequence. The GPY technology has been scrutinized, and has matured, but the team had their heads together for long hours during the conference, with the promise of further results.

Other highly active subareas that were represented at the meeting include additive combinatorics and the circle method, rational points on varieties, spectral decompositions for LL-functions, sieve methods, and others.

The vast array of activity, the overload of talent, the extreme unpredictability of advances all make it challenging to select a fruitful mix of participants. On this occasion we feel that we could not have done better. Several participants, after the evening problem session, said that it was the best such session that they had ever experienced at Oberwolfach---more open, frank, and productive.

This meeting is in the tradition of Oberwolfach meeting organized by Theodor Schneider in the 1960's and 1970's that some us remember. We hope to emulate his vision as best possible in the modern times by taking a broad view and only the most gifted invitees.