College Student Solves Seemingly Paradoxical Math Problem
acid andy writes:
For 30 years, mathematicians wondered if you could have an infinite set of numbers where each pair of numbers adds up to a unique value, and have those values each be fairly large.
In March, a graduate student [Cedric Pilatte] from Oxford University finally solved the problem by turning to an unlikely solution: geometry.
In 1993, Hungarian mathematician Paul Erds-one of the most prolific mathematicians of the 20th century-posed a question with two components seemingly at odds with one another: Could a Sidon set be an "asymptotic basis of order three?"
[...] Named after another Hungarian mathematician, Simon Sidon, these sets are basically a collection of numbers where no two numbers in the set add up to the same integer. For example, in the simple Sidon set (1, 3, 5, 11), when any of the two numbers in the set are added together, they equal a unique number. Constructing a Sidon set with only four numbers is extremely easy, but as the set increases in size, it just gets harder and harder. As soon as two sums are the same, the collection of numbers is no longer considered a Sidon set.
The second element of Erds' problem-that scary-sounding "asymptotic basis of order three" part-means that:
- a set must be infinitely large
- any large enough integer can be written as the result of adding together at most 3 numbers in the set.
So, this 30-year-old conundrum centered on whether or not these two elements could exist in the same set of numbers. For decades, the answer seemed to be no.
[...] So how did Pilatte get a mathematically square peg to fit a seemingly round hole? He took an unconventional approach and turned to geometry rather than the probabilistic method championed by Erds and what's called additive number theory. Pilatte replaced numbers with polynomials and made use of the recent work of Columbia University mathematicians. Combining these ideas, Pilatte successfully created a Sidon set dense enough and random enough to finally solve Erds's original problem.
Journal References:
1.) Pilatte, Cedric. A solution to the Erds-Sarkozy-Sos problem on asymptotic Sidon bases of order 3, arXiv (DOI: 10.48550/arXiv.2303.09659)
2.) Sawin, Will. Square-root cancellation for sums of factorization functions over squarefree progressions in F_q[t], arXiv (DOI: 10.48550/arXiv.2102.09730)
Read more of this story at SoylentNews.