James Maynard, an alumnus of the Maths Faculty, has won one of this year's Fields Medals at the International Congress of Mathematicians (ICM). The Fields Medal is one of the most prestigious prizes in mathematics, awarded every four years "to recognise outstanding mathematical achievement for existing work and for the promise of future achievement".
Up to four mathematicians under the age of 40 are awarded a Fields Medal at each ICM. Cambridge mathematician Caucher Birkar won a Fields Medal at the 2018 ICM. This year Maynard has been recognised for his "spectacular contributions in analytic number theory".
Maynard, now professor of number theory at the Mathematical Institute in Oxford, completed his undergraduate degree in the University of Cambridge Maths Faculty as a student at Queens College, and completed Part III in 2009. Part III, the final, optional, year of the Cambridge Mathematical Tripos, is one of the oldest taught masters courses in the world. Attracting outstanding students from across the globe, it is renowned for teaching content based on cutting-edge research that may not even have made it into the textbooks yet.
Maynard says: "I feel very grateful for the mathematical education I had at Cambridge, it was an amazing experience for me."
The twin prime conjecture
"Number theory always had a slightly special status in my mind, even before I formally learned about it," says Maynard. Number theory – the study of whole numbers and how they can be combined with each other – has provided Maynard with an academic playground to build on his childhood fascination.
Maynard's first significant contribution in number theory came when he was a postdoctoral student at the University of Montreal when he was working on the twin prime conjecture. We've known for thousands of years that there are infinitely many primes but there is no discernible pattern in how they are sprinkled along the number line. "Typically as you go down the number line the gaps between prime numbers get bigger," says Maynard. "But the [twin prime conjecture] is saying that even if the gaps get typically bigger, occasionally you get these gaps where the primes are very close together. Understanding the gaps between prime numbers is fundamental to understanding the distribution of the primes."
Apart from the number 2, all the other primes are odd numbers, so the closest two prime numbers could ever be (once you get past the number 2) is separated by a difference of two. Mathematicians believe there are infinitely many pairs of twin primes which is known as the twin prime conjecture.
The twin prime conjecture is one of those famous problems in number theory that are simple to state and have fascinated mathematicians for hundreds of years and yet a proof still remains out of reach. After centuries of effort there was a big breakthrough in 2013, when Yitan Zhang proved that there were infinitely many pairs of primes that are separated by 70 million. "For mathematicians this was absolutely a huge breakthrough as this was the first time we had [a proof of gaps of] any finite number," says Maynard. "70 million is much bigger than 2 but it's a lot smaller than infinity."
Zhang's breakthrough involved sieve methods, which are ways of filtering numbers in your proof. An elementary example is the sieve of Eratosthenes where you filter out non-prime numbers up to, say 100, by crossing out all the multiples of 2, then all the multiples of the next remaining number, 3, then the multiples of the next remaining number, 5, and so on. Sundaram's sieve also filters out the non-prime numbers, but is based on arithmetic progressions – sequences of numbers that are separated from their neighbours by a fixed difference.
"Sieve methods are a mathematical tool for translating some information you understand about numbers to create some information you'd like to know," says Maynard. "[For example] if you understand certain technical questions about primes in arithmetic progressions, then you can translate that to information about small gaps between primes." Sieve methods might seem easy at first, but sometimes very strong mathematical results are needed to make them work. Zhang's breakthrough involved proving strong results about primes that could provide the input for the sieving method.
Maynard's approach was different: "Rather than improving the input to the method I changed the method itself. It became more efficient in turning one type of information into another and it meant that we needed much weaker inputs to get a result about boundary gaps between primes." With this new method he dramatically reduced the gap from 70 million to just 600. And after a flurry of collaborative work with a group of mathematicians, we now know there are infinitely many pairs of primes separated by a gap of just 246.
Even after such dramatic progress a proof of the twin prime conjecture still remains elusive. Work continues, but often involves taking new approaches. An example is Maynard's work proving there are infinitely many primes without certain digits. It's hard to know at this stage when the twin prime conjecture will finally be proved in full, but we came away from our discussion with Maynard feeling optimistic. "We're still one big idea away from proving the twin prime conjecture, but maybe we're only one big idea away."
All or nothing
Number theory has a wealth of long-standing conjectures and open problems. A proof of the twin prime conjecture might still be a way off, but Maynard recently proved another significant conjecture with his colleague Dimitris Koukoulopoulos.
The Duffin-Schaeffer conjecture, first posed in 1941, concerns how well you can approximate real numbers with rational numbers. The real numbers are made up of rational numbers – numbers that can be written as a fraction $p/q$ for some integers $p$ and $q$ – and irrational numbers that can't be written in this way. For example the famous number $\pi$, 3.14151... is irrational, so it can't be written down as a fraction. What we can do, however, is approximate it by a fraction. . For example, when we only use the first two decimal places of $\pi$, 3.14, to approximate $\pi$, then what we are doing is approximating it by the fraction 314/100. But that approximation involves pretty big numbers, and actually the fraction 22/7 is a more accurate approximation of $\pi$.
"This means that 22/7 is somehow a more efficient way of capturing some of the arithmetic information about the number $\pi$," says Maynard. Understanding efficient approximations of real numbers (also known as diophantine approximations) and how they are distributed for the real numbers can lead to very important information for number theorists. The Duffin-Schaeffer conjecture makes it very straightforward to tell when these efficient approximations do and don't exist.
Suppose you want to guarantee your approximations will have a certain accuracy, and this accuracy can vary with the denominator $q$ used in your approximations, $p/q$. Then the Duffin-Schaeffer conjecture says there is an easy calculation that tells you you'll either have your specified type of efficient approximations for almost all the numbers, or for almost none of them.
"The Duffin-Schaeffer conjecture says either you only have a rare set of exceptions to this statement about efficient approximations, or it is basically never ever true," says Maynard. "And [the conjecture] gives you a very simple step to know whether you are ok or not."
This might not sound so useful at first, but it gives mathematicians a powerful tool. "There's lots of mathematical statements that you might wish were true for absolutely everything but it turns out there's a few annoying exceptions," says Maynard. "But provided those exceptions are suitably rare, the result tells us they don't actually matter."
Prizes for playing
Maynard's work is described in the citation for his prize as "highly ingenious, often leading to surprising breakthroughs on important problems that seemed to be inaccessible by current techniques." But despite his many successes, the Fields Medal still comes as a surprise. "You don't think of yourself as getting a huge mathematical honour when you're sitting at your desk playing around with mathematical bobbins!"
And while receiving one of the biggest prizes in mathematics is a huge honour, Maynard also finds it daunting, and slightly surreal. "In some ways it's intimidating thinking of my name on this list of legends of mathematics from the past. People I looked up to, when I was a kid and thinking about mathematicians," he says. "It's certainly quite surreal in that way."
This year five Cambridge mathematicians have been invited to speak at the International Congress of Mathematicians – you can find out more about them here.
The photo of James Maynard is by Ryan Cowan and used by permission.