Mathematicians Open a New Front on an Ancient Number Problem

As a higher college college student in the mid-nineteen nineties, Speed Nielsen encountered a mathematical dilemma that he’s however struggling with to this working day. But he does not experience lousy: The difficulty that captivated him, called the odd ideal variety conjecture, has been around for far more than two,000 many years, earning it 1 of the oldest unsolved complications in mathematics.

Original tale reprinted with permission from Quanta Magazine, an editorially unbiased publication of the Simons Basis whose mission is to increase community knowledge of science by masking investigate develop­ments and trends in mathematics and the physical and everyday living sciences.

Portion of this problem’s long-standing allure stems from the simplicity of the underlying thought: A variety is ideal if it is a beneficial integer, n, whose divisors include up to just two times the variety alone, twon. The 1st and simplest case in point is 6, since its divisors—1, two, 3, and 6—add up to twelve, or two situations 6. Then comes 28, whose divisors of one, two, four, 7, 14, and 28 include up to fifty six. The next illustrations are 496 and eight,128.

Leonhard Euler formalized this definition in the 1700s with the introduction of his sigma (σ) purpose, which sums the divisors of a variety. Hence, for ideal quantities, σ(n) = twon.

Leonhard Euler proven numerous of the formal policies governing how mathematicians feel about and manipulate ideal quantities.Illustration: Jacob Emanuel Handmann

But Pythagoras was knowledgeable of ideal quantities again in five hundred BCE, and two generations later Euclid devised a method for creating even ideal quantities. He confirmed that if p and twop − one are primary quantities (whose only divisors are one and them selves), then twop−1 × (twop − one) is a ideal variety. For case in point, if p is two, the method provides you 21 × (22 − one) or 6, and if p is 3, you get 22 × (23 − one) or 28—the 1st two ideal quantities. Euler proved two,000 many years later that this method in fact generates just about every even ideal variety, even though it is however unfamiliar regardless of whether the established of even ideal quantities is finite or infinite.

Nielsen, now a professor at Brigham Youthful College (BYU), was ensnared by a associated dilemma: Do any odd ideal quantities (OPNs) exist? The Greek mathematician Nicomachus declared around a hundred CE that all ideal quantities must be even, but no 1 has at any time proved that claim.

Like numerous of his 21st-century friends, Nielsen thinks there almost certainly aren’t any OPNs. And, also like his friends, he does not believe that a evidence is in just quick access. But very last June he strike on a new way of approaching the difficulty that might guide to far more development. It includes the closest issue to OPNs still uncovered.

A Tightening Net

Nielsen 1st realized about ideal quantities throughout a higher college math level of competition. He delved into the literature, coming across a 1974 paper by Carl Pomerance, a mathematician now at Dartmouth School, which proved that any OPN must have at minimum 7 distinctive primary components.

“Seeing that development could be produced on this difficulty gave me hope, in my naiveté, that perhaps I could do anything,” Nielsen explained. “That determined me to review variety concept in higher education and check out to transfer factors forward.” His 1st paper on OPNs, printed in 2003, positioned additional limitations on these hypothetical quantities. He confirmed not only that the variety of OPNs with k distinctive primary components is finite, as had been proven by Leonard Dickson in 1913, but that the sizing of the variety must be smaller sized than twofourk.

These ended up neither the 1st nor the very last limitations proven for the hypothetical OPNs. In 1888, for instance, James Sylvester proved that no OPN could be divisible by 105. In 1960, Karl K. Norton proved that if an OPN is not divisible by 3, 5 or 7, it must have at minimum 27 primary components. Paul Jenkins, also at BYU, proved in 2003 that the largest primary aspect of an OPN must exceed ten,000,000. Pascal Ochem and Michaël Rao have decided far more lately that any OPN must be greater than ten1500 (and then later pushed that variety to ten2000). Nielsen, for his component, confirmed in 2015 that an OPN must have a least of ten distinctive primary components.

Speed Nielsen, a mathematician at Brigham Youthful College, has long examined odd ideal quantities. His most recent function indicates a new path forward in pinpointing regardless of whether they really exist.Photograph: Alyssa Lyman/BYU

Even in the nineteenth century, enough constraints ended up in location to prompt Sylvester to conclude that “the existence of [an odd ideal variety]—its escape, so to say, from the advanced website of conditions which hem it in on all sides—would be minor brief of a miracle.” Immediately after far more than a century of very similar developments, the existence of OPNs appears to be like even far more dubious.