Graduate Student’s Side Project Proves Prime Number Conjecture | Quanta Magazine

Graduate Student’s Side Project Proves Prime Number Conjecture | Quanta Magazine

Over the decades, mathematicians made partial progress toward a proof. They showed, for instance, that the conjecture was true for particular types of primitive sets.

Still, “it felt like we weren’t really all that close to it before Jared started working on it,” said Greg Martin, a mathematician at the University of British Columbia who has worked on related problems. András Sárközy, a mathematician at Eötvös Loránd University in Hungary and a frequent collaborator of Erdős, concurred. “It certainly seemed beyond reach,” he said.

Lichtman started working on the primitive set conjecture in 2018, during his last year as an undergraduate at Dartmouth College. “I was immediately fascinated with this question. It was just very mysterious how anything like this would be true,” he said. “It’s been my constant companion for the past four years.”

In 2019, he and Carl Pomerance, his adviser at Dartmouth — who, according to Lola Thompson, a mathematician at Utrecht University and a former student of Pomerance, essentially “came out of retirement to work with him” — found that a primitive set’s Erdős sum could be no greater than around 1.78. “It’s not too far off,” Martin said. “Only about 10% bigger than the conjecture for the primes.”

Lichtman and Pomerance obtained this constant by associating a new sequence of multiples to each number in a given primitive set. Consider again the primitive set {2, 3, 55}. Associated to the number 2 would be the sequence of all even numbers. Associated to the number 3 would be all multiples of 3 that are not also multiples of 2. And associated to the number 55 (5 × 11) would be all multiples of 55 whose smallest prime factor is 11 (therefore excluding all multiples of 2, 3, 5 and 7). Lichtman likens it to how words are indexed in a dictionary — only with primes used instead of letters to organize each sequence.

He and Pomerance then thought about how “dense” these sequences of multiples were — that is, how much of the number line they occupied. (For instance, the sequence of all even numbers has a density of 1/2, since even numbers make up half of all numbers.) They observed that if the original set was primitive, then its associated sequences of multiples wouldn’t overlap, and therefore their combined density was at most 1 — the density of all the whole numbers.

This observation was relevant because a 19th-century theorem by the mathematician Franz Mertens essentially allowed Lichtman and Pomerance to reinterpret the Erdős sum of a primitive set in terms of these densities. According to Mertens’ theorem, a special constant (roughly equal to 1.78), when multiplied by a term equivalent to the combined densities of these multiples, gave a maximal value for what the Erdős sum of a primitive set could be. And since the combined density was at most 1, Lichtman and Pomerance proved that the Erdős sum of a primitive set was at most around 1.78.

“It was a variation of Erdős’ original ideas, but it was a very slick, neat way … of getting a not-tight but not-too-bad upper bound,” said James Maynard, a mathematician at Oxford.

And for a few years, that seemed like the best mathematicians could do. It wasn’t clear how to drive that maximum down to 1.64. In the meantime, Lichtman graduated and moved to Oxford to do his doctorate with Maynard, where he’s mainly been working on other problems related to the primes.

“I knew he’d been thinking about this problem quite a lot on the side,” Maynard said, “but it was a complete shock when he suddenly, seemingly out of the blue, came up with a complete proof.”

Lichtman first realized that for numbers with relatively small prime factors, his earlier argument with Pomerance could still work: It was relatively straightforward to show that in this case, the constant 1.78 could be driven down to well below 1.64.

But numbers with relatively large prime factors — which are “close” to the primes in some sense — were another story. To deal with them, Lichtman found a way to associate not just one sequence of multiples to each number, but several sequences. As before, the combined density of all those sequences was at most 1. But this time, “these other multiples will kind of grow like weeds and take over some of the space,” Lichtman said.

Take the number 618 (2 × 3 × 103). Typically, you might associate to it all multiples of 618 whose smallest prime factor is 103. But sequences could instead be constructed using some of the smaller prime factors that were omitted. For instance, a sequence might consist of all the original multiples, while also permitting multiples of 618 that are divisible by 5. (Some constraints dictate which smaller prime factors can be used.)

The presence of these additional multiples meant that the combined density of the original multiples — the quantity that gets used in Mertens’ theorem — was actually less than 1. Lichtman found a way to put a more precise bound on what that density might be.

He then carefully determined what the worst-case scenario for a primitive set might look like: what balance it would strike between numbers with large prime factors and numbers with small prime factors. By patching together the two parts of his proof, he was able to show that the Erdős sum for such a scenario comes out to a value that’s less than 1.64.

“There’s this numerical moment of truth,” Maynard said. “I don’t know if it’s luck or what, that this is numerically just enough.”

Lichtman posted his proof online in February. Mathematicians noted that the work is particularly striking because it relies entirely on elementary arguments. “It wasn’t like he was waiting for all this crazy machinery to develop,” Thompson said. “He just had some really clever ideas.”

Those ideas have now cemented the primes as exceptional among the primitive sets: Their Erdős sum reigns supreme. “We all think of the primes as special,” Pomerance said. “And this just adds to their luster.”


#Graduate #Students #Side #Project #Proves #Prime #Number #Conjecture #Quanta #Magazine

Leave a Comment

Your email address will not be published.