Analytic Number Theory
Authors: Brüdern Jörg , Montgomery Hugh L. , Vaughan Robert C. 
Published: December 2009

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)

. 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

L

-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

1

, and H.-E. Richert showed that there is no member with degree

< 1

. More recently it had been shown that there is no member with degree in the interval

(1, 5/3)

. This is a central problem, that many people have attacked, so the realization of

(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)

denote the ‘binary weight of

n

’, which is to say the number of

1

's in the binary expansion of

n

. Thus

w(0)=0

,

w(2n)=w(n)

, and

w(2n+1)= w(2n)+1

. Put

t_n=0

if

w(n)

is even, and

t_n = 1

if

n

is odd. Thus the word

t_0t_1t_2\ldots

is

0110100110010110100\ldots

. The power series generating function of

(-1)^{w(n)}

can be written in closed form:

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

Clearly,

\big|\sum_{0\le n\le N}(-1)^{w(n)}\big|\le 1

for all

N

; thus the integers are very equally divided between those for which

w(n)

is even and those for which

w(n)

is odd. In 1967, Gelfond (famous for work in transcendence) asked whether

w(p)

is (asymptotically) equally even and odd, as

p

ranges over primes

p\le x

,

x\to\infty

. The Prime Number Theorem concerns the leading binary digits of

p

, and Dirichlet's theorem on primes in arithmetic progression relates to the trailing digits. As concerns

(-1)^{w(p)}

, one is dealing simultaneously with
all
binary digits of

p

. 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ël Rivat and Christian Mauduit have cleverly seen how to show that

\sum_{p\le x}(-1)^{w(p)}=o(\pi(x))

as

x\to \infty

.

Consider the Pell equation

x^2-dy^2=\pm1

, which relates to the units in the real quadratic number field

\Bbb Q(\sqrt{d})

. If

d

is divisible by a prime

p\equiv 3\pmod 4

, then the equation

x^2-dy^2=-1

has no solution. If

d

is a prime number

\equiv 1\pmod 4

, then

x^2 - dy^2=-1

does
have a solution. The number of

d\le x

for which

d

is composed entirely of primes

p\equiv1\pmod 4

is

\asymp x/\sqrt{\log x}

; thus the case of

d

prime is negligible among these discriminants. In a spectacular
tour de force
, Etienne Fouvry and Jürgen Klüners have shown that the ‘negative Pell equation’

x^2-dy^2=-1

has a solution for a positive proportion of discriminants

d

composed entirely of primes

\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ıldırım excited the world with their proof that

p_{n+1}-p_n=o(\log p_n)

infinitely often. This brings us a little closer to twin primes. Since

p_{n+1}-p_n

is

\log p_n

on average, it is reasonable to consider the distribution of

(p_{n+1}-p_n)/\log p_n

. We conjecture that this quantity is asymptotically distributed like an exponential random variable, with density

e^{-x}

. It would follow that every number in

[0,\infty]

is a limit point of the numbers

(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

L

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