###### number theory

*By *Kevin Hartnett

*January 13, 2022*

Paul Nelson has solved the subconvexity problem, bringing mathematicians one step closer to understanding the Riemann hypothesis and the distribution of prime numbers.

Mia Carnevale for Quanta Magazine

Itâs been 162 years since Bernhard Riemann posed a seminal question about the distribution of prime numbers. Despite their best efforts, mathematicians have made very little progress on the Riemann hypothesis. But they have managed to make headway on simpler related problems.

In a paper posted in September, Paul Nelson of the Institute for Advanced Study has solved the subconvexity problem, a kind of lighter-weight version of Riemannâs question. The proof is a significant achievement on its own and teases the possibility that even greater discoveries related to prime numbers may be in store.

âItâs a bit of a far-fetched dream, but you could hyper-optimistically hope that maybe we get some insight in how the [Riemann hypothesis] works by working on problems like this,â Nelson said.

The Riemann hypothesis and the subconvexity problem are important because prime numbers are the most fundamental â and most fundamentally mysterious â objects in mathematics. When you plot them on the number line, there appears to be no pattern to how theyâre distributed. But in 1859 Riemann devised an object called the Riemann zeta function â a kind of infinite sum â which fueled a revolutionary approach that, if proved to work, would unlock the primesâ hidden structure.

âIt proves a result that a few years ago would have been regarded as science fiction,â said Valentin Blomer of the University of Bonn.

## Getting Complex

Riemannâs question hinges on the Riemann zeta function. The terms it adds together are the reciprocals of the whole numbers, in which the denominators are raised to a power defined by a variable, *s *(soÂ $latex frac{1}{1^{s}}$,Â $latex frac{1}{2^{s}}$,Â $latex frac{1}{3^{s}}$Â and so on).

Riemann proposed that if mathematicians could prove a basic property of this function â what it takes for it to equal zero â theyâd be able to estimate with great accuracy how many prime numbers there are along any given interval on the number line.

Prior to Riemann, Leonhard Euler constructed a similar function and used it to create a new proof that there are infinitely many primes. In Eulerâs function, the denominators are raised to powers that are real numbers. The Riemann zeta function, by contrast, assigns complex numbers to the variable *s*, an innovation that brings the whole vast store of techniques from complex analysis to bear on questions in number theory.

Complex numbers have two parts, one real and one imaginary, the latter of which relates to the imaginary number *i*, defined as the square root of â1. Examples include 3 + 4*i* and 2 â 6*i*. In these cases, the 3 and the 2 are the real parts, while the 4*i *and â6*i *are the imaginary parts.

The Riemann hypothesis is about which values of *s* make the Riemann zeta function equal zero. It predicts that the only important, or nontrivial, values of *s *that do this are complex numbers whose real part equals $latex frac{1}{2}$. (The function also equals zero whenever *s* is a negative even integer with an imaginary part that equals zero, but those zeros are easy to see and are considered trivial.) If the Riemann hypothesis is true, the Riemann zeta function explains how primes are distributed on the number line. (Exactly how it explains that is complicated. *Quanta* recently produced a video detailing just how it works.)

In the years since Riemann proposed it, the Riemann hypothesis has instigated many advances in mathematics, though mathematicians have made little progress on the question itself. Given that relative futility, theyâve at times redirected their attention to slightly easier questions which approximate Riemannâs intractable riddle.

## Next to Nothing

The problem Paul Nelson solved is two steps removed from the Riemann hypothesis. Each step takes a bit of explanation.

The first is the LindelĂ¶f hypothesis. Where the Riemann hypothesis says that the only nontrivial zeroes of the Riemann zeta function occur when the real part of *s* equalsÂ $latex frac{1}{2}$, the LindelĂ¶f hypothesis merely says that under that condition, the output of the Riemann zeta function is small in a certain precise sense.

For both the Riemann and LindelĂ¶f hypotheses, the real part of *s* is fixed at $latex frac{1}{2}$, but the imaginary part can be any number you like:Â 2*i*, 537*i*, ($latex frac{1}{2}$)*i**. *One way to define âsmallâ is to compare the number of digits in the input, *s*, with the number of digits in the output.

Mathematicians can easily establish that the output never has more than 25% as many digits as the input. This means that it grows as the input grows, but it doesnât grow disproportionately. This 25% is called the trivial bound. But the LindelĂ¶f hypothesis says that as the inputs get larger, the size of the output is actually always bounded at 1% as many digits as the input.

For more than a century, mathematicians have worked on closing the gap between the trivial bound (25%) and the conjectured bound (1%). They have made a dozen or so improvements, the most recent in 2017 when Jean Bourgain proved that for values of s with real partÂ $latex frac{1}{2}$, the output of the Riemann zeta function has a size that is about 15% the size of the input. So if the input is a 1,000,000-digit number, the output wonât have more than 150,000 digits. Itâs a far cry from proving the LindelĂ¶f hypothesis, let alone Riemannâs question, but itâs something.

âWe havenât made any progress on the Riemann hypothesis in 150 years, whereas this is a question we can make incremental progress towards,â said Nelson. âThereâs a way you can kind of keep score.â

The LindelĂ¶f hypothesis is just one example of a Riemann-adjacent problem amenable to scorekeeping. In his new work, Nelson solved another problem thatâs one more step removed from Riemannâs question.

## Families of Functions

The Riemann zeta function is the most famous member of a large class of mathematical objects, *L*-functions, that encode many different arithmetic relationships. By modifying the definition of the Riemann zeta function, mathematicians construct other *L*-functions that provide more refined information about the primes. For example, the properties of some *L*-functions measure how many primes below a certain value have a given number as their last digit.

Due to this versatility, *L*-functions are objects of intense study, and they are central players in a sprawling research vision known as the Langlands program. For now, mathematicians still lack a full theory explaining just what they are.

âThere is some big zoo of these things, and for most of them we canât prove anything at all,â said Nelson.

One piece of that theory involves a generalization of the LindelĂ¶f hypothesis, which predicts that whenever the real part of the complex number input equals $latex frac{1}{2}$, the output stays small relative to the input for all *L*-functions (not just the Riemann zeta function).

While mathematicians have chipped away at the LindelĂ¶f hypothesis, theyâd only managed scattered progress on something known as the subconvexity problem. Solving that simply amounts to breaking the trivial bound â that is, proving that for any *L*-function, the output will have less than 25% of the number of digits of the input (multiplied by a quantity called the degree of the *L*-function). Previously, mathematicians managed to do that for only a few specific families of *L*-functions (including the Riemann zeta function) and were far from achieving a general result.

But that began to change in the 1990s when mathematicians recognized that merely breaking the trivial bound for general *L*-functions could lead to advances on different problems, including Â questions in an area of research called arithmetic quantum chaos and a question about which integers can be written as sums of three squares.

âPeople realized in the last 20 to 30 years that there are all these problems that could be solved, provided one could prove this technical-looking statementâ about subconvexity, said Emmanuel Kowalski of the Swiss Federal Institute of Technology Zurich.

Nelson was the mathematician who finally did it, after two decades of work that helped him learn how to imagine it.

## A Shift in Perspective

In the early 2000s two teams of mathematicians â Joseph Bernstein and Andre Reznikov on one team, and Philippe Michel and Akshay Venkatesh on the other â transformed how mathematicians estimate *L*-functions. Instead of seeing them merely in arithmetic terms, they created a geometric way to think about the size of their outputs. That work contributed to Venkatesh winning the Fields Medal, mathâs highest honor, in 2018.

In this revised picture, the size of an *L*-function is linked to the size of an integral, called a period, that can be calculated by integrating a function called an automorphic form along a geometric space. This provided mathematicians with more tools they could use to try and break the trivial bound.

âYou had more techniques to play with,â said Michel, of the Swiss Federal Institute of Technology Lausanne.

Nelson and Venkatesh collaborated on a 2018 paper that determined which automorphic forms are best for making the kinds of size estimates needed to answer the subconvexity problem. In the following years, Nelson produced two more solo papers on the topic â the first in 2020, the second this past September â that together solved it.

Nelson proved that each *L*-function satisfies a subconvex bound, meaning its outputs are less than 25% the size of its inputs. He broke the bound by a hair â getting just below 25% for most *L*-functions â but sometimes thatâs all it takes to cross from one world into the next.

âHe broke trivial bound, and we are amply satisfied with this. Itâs really the breaking of things,â said Michel.

Now mathematicians will march their subconvex bound off to face other problems, maybe even including the Riemann hypothesis one day. That may seem far-fetched right now, but math thrives on hope, and at the very least, Nelsonâs new proof has provided that.

*Correction: January 13, 2022*

*A previous version of this article stated that the Riemann hypothesis predicts that the only non-trivial zeroes of the Riemann zeta function occur whenever the real part ofÂ *sÂ *is $latex frac{1}{2}$. It actually predicts nontrivial zeroes occur only when the real part equals $latex frac{1}{2}$. The article has been updated accordingly.*

NOW WITH OVER +8500 USERS. __ people can Join Knowasiak for free. Sign up on Knowasiak.com__

Read More