Daniel Larsen (mathematician)

Last updated

Daniel Larsen
Born2003 (age 2021)
Indiana, U.S.
Known forWork on Carmichael numbers

Daniel Larsen (born 2003) is an American mathematician known for proving [1] a 1994 conjecture of W. R. Alford, Andrew Granville and Carl Pomerance on the distribution of Carmichael numbers, commonly known as Bertrand's postulate for Carmichael numbers. [2]

Contents

Childhood and education

Larsen was born in 2003 to Indiana University Bloomington mathematics professors Michael J. Larsen and Ayelet Lindenstrauss (sister of Elon Lindenstrauss), and grew up in Bloomington, Indiana. He had a strong interest in mathematics as a child, inspired by the mathematician background of both his parents. [1] His father hosted a math circle when he was younger that taught math on the weekend to kids in the neighborhood and Larsen attended despite being only four years old. He also had a strong interest in other projects, learning violin at age 5 and piano at age 6, along with practicing solving larger configurations of Rubik's Cubes and designing his own coin-sorting robot from Lego. He competed in the Scripps National Spelling Bee twice while in middle school, though he never made it to the final round. [3]

While attending Bloomington High School South, he became the youngest accepted contributor to The New York Times crossword puzzle in February 2017 [4] and ended up submitting 11 approved puzzles before his graduation from high school. [5] [6] He applied to and became a finalist in the 2022 Regeneron Science Talent Search for his published research on Carmichael numbers and ultimately won 4th place in the competition, [7] [3] winning $100,000 to pay for his college tuition. [8] In the fall of 2022, he began attending university at the Massachusetts Institute of Technology (MIT). [1]

Career and research

During his teenage years, after watching a documentary about Yitang Zhang, Larsen became interested in number theory and the twin primes conjecture in particular. The subsequent strengthening of Zhang’s method by James Maynard and Terence Tao not long after rekindled his desire to better understand the math involved. He found it too complex at that time, and it wasn't until after reading a paper in February 2021 on Carmichael numbers that he gained insight on the fundamentals of the problem. [1] In November of the same year, Larsen published a paper titled "Bertrand's Postulate for Carmichael Numbers" [9] on the open access repository arXiv that made a more consolidated proof of Maynard and Tao's postulate but involving Carmichael numbers into the twin primes conjecture and attempting to shorten the distance between the numbers per Bertrand's postulate. He concretely showed that for any and sufficiently large in terms of , there will always be at least Carmichael numbers between and

He then emailed a copy of the paper to mathematician Andrew Granville and others involved in number theory research. [1] The paper was later published in the journal International Mathematics Research Notices . [3] [10]

Related Research Articles

<span class="mw-page-title-main">Carmichael number</span> Composite number in number theory

In number theory, a Carmichael number is a composite number , which in modular arithmetic satisfies the congruence relation:

<i>abc</i> conjecture The product of distinct prime factors of a,b,c, where c is a+b, is rarely much less than c

The abc conjecture is a conjecture in number theory that arose out of a discussion of Joseph Oesterlé and David Masser in 1985. It is stated in terms of three positive integers and that are relatively prime and satisfy . The conjecture essentially states that the product of the distinct prime factors of is usually not much smaller than . A number of famous conjectures and theorems in number theory would follow immediately from the abc conjecture or its versions. Mathematician Dorian Goldfeld described the abc conjecture as "The most important unsolved problem in Diophantine analysis".

In recreational mathematics, a repunit is a number like 11, 111, or 1111 that contains only the digit 1 — a more specific type of repdigit. The term stands for "repeated unit" and was coined in 1966 by Albert H. Beiler in his book Recreations in the Theory of Numbers.

<span class="mw-page-title-main">Bertrand's postulate</span> Existence of a prime number between any number and its double

In number theory, Bertrand's postulate is the theorem that for any integer , there exists at least one prime number with

<span class="mw-page-title-main">Analytic number theory</span> Exploring properties of the integers with complex analysis

In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Dirichlet L-functions to give the first proof of Dirichlet's theorem on arithmetic progressions. It is well known for its results on prime numbers and additive number theory.

In number theory, Cramér's conjecture, formulated by the Swedish mathematician Harald Cramér in 1936, is an estimate for the size of gaps between consecutive prime numbers: intuitively, that gaps between consecutive primes are always small, and the conjecture quantifies asymptotically just how small they must be. It states that

<span class="mw-page-title-main">Heilbronn triangle problem</span> On point sets with no small-area triangles

In discrete geometry and discrepancy theory, the Heilbronn triangle problem is a problem of placing points in the plane, avoiding triangles of small area. It is named after Hans Heilbronn, who conjectured that, no matter how points are placed in a given area, the smallest triangle area will be at most inversely proportional to the square of the number of points. His conjecture was proven false, but the asymptotic growth rate of the minimum triangle area remains unknown.

<span class="mw-page-title-main">Practical number</span> Number such that it and all smaller numbers may be represented as sums of its distinct divisors

In number theory, a practical number or panarithmic number is a positive integer such that all smaller positive integers can be represented as sums of distinct divisors of . For example, 12 is a practical number because all the numbers from 1 to 11 can be expressed as sums of its divisors 1, 2, 3, 4, and 6: as well as these divisors themselves, we have 5 = 3 + 2, 7 = 6 + 1, 8 = 6 + 2, 9 = 6 + 3, 10 = 6 + 3 + 1, and 11 = 6 + 3 + 2.

<span class="mw-page-title-main">Prime gap</span> Difference between two successive prime numbers

A prime gap is the difference between two successive prime numbers. The n-th prime gap, denoted gn or g(pn) is the difference between the (n + 1)-st and the n-th prime numbers, i.e.

<span class="mw-page-title-main">Divisor summatory function</span>

In number theory, the divisor summatory function is a function that is a sum over the divisor function. It frequently occurs in the study of the asymptotic behaviour of the Riemann zeta function. The various studies of the behaviour of the divisor function are sometimes called divisor problems.

In mathematics, the modulus of convexity and the characteristic of convexity are measures of "how convex" the unit ball in a Banach space is. In some sense, the modulus of convexity has the same relationship to the ε-δ definition of uniform convexity as the modulus of continuity does to the ε-δ definition of continuity.

In mathematics, the Johnson–Lindenstrauss lemma is a result named after William B. Johnson and Joram Lindenstrauss concerning low-distortion embeddings of points from high-dimensional into low-dimensional Euclidean space. The lemma states that a set of points in a high-dimensional space can be embedded into a space of much lower dimension in such a way that distances between the points are nearly preserved. In the classical proof of the lemma, the embedding is a random orthogonal projection.

In number theory, specifically the study of Diophantine approximation, the lonely runner conjecture is a conjecture about the long-term behavior of runners on a circular track. It states that runners on a track of unit length, with constant speeds all distinct from one another, will each be lonely at some time—at least units away from all others.

<span class="mw-page-title-main">Montgomery's pair correlation conjecture</span>

In mathematics, Montgomery's pair correlation conjecture is a conjecture made by Hugh Montgomery that the pair correlation between pairs of zeros of the Riemann zeta function is

In arithmetic combinatorics, the Erdős–Szemerédi theorem states that for every finite set of integers, at least one of , the set of pairwise sums or , the set of pairwise products form a significantly larger set. More precisely, the Erdős–Szemerédi theorem states that there exist positive constants c and such that for any non-empty set

<span class="mw-page-title-main">Michael J. Larsen</span> American mathematician

Michael Jeffrey Larsen is an American mathematician, a distinguished professor of mathematics at Indiana University Bloomington.

In mathematics, a uniformly smooth space is a normed vector space satisfying the property that for every there exists such that if with and then

In number theory, Gillies' conjecture is a conjecture about the distribution of prime divisors of Mersenne numbers and was made by Donald B. Gillies in a 1964 paper in which he also announced the discovery of three new Mersenne primes. The conjecture is a specialization of the prime number theorem and is a refinement of conjectures due to I. J. Good and Daniel Shanks. The conjecture remains an open problem: several papers give empirical support, but it disagrees with the widely accepted Lenstra–Pomerance–Wagstaff conjecture.

The Erdős–Tenenbaum–Ford constant is a mathematical constant that appears in number theory. Named after mathematicians Paul Erdős, Gérald Tenenbaum, and Kevin Ford, it is defined as

<span class="mw-page-title-main">Stanisław Knapowski</span> Polish mathematician

Stanisław Knapowski was a Polish mathematician who worked on prime numbers and number theory. Knapowski published 53 papers despite dying at only 36 years old.

References

  1. 1 2 3 4 5 Cepelewicz, Jordana (October 13, 2022). "Teenager Solves Stubborn Riddle About Prime Number Look-Alikes". Quanta Magazine . Retrieved October 15, 2022.
  2. W. R. Alford; Andrew Granville; Carl Pomerance (1994). "There are Infinitely Many Carmichael Numbers" (PDF). Annals of Mathematics . 140 (3): 703–722. doi:10.2307/2118576. JSTOR   2118576. Archived (PDF) from the original on March 4, 2005.
  3. 1 2 3 Wright, Lili (August 28, 2022). "The Ups And Downs Of Daniel Larsen". Indianapolis Monthly . Retrieved October 15, 2022.
  4. Howellthe, Brittani (February 20, 2017). "Indiana 7th grader becomes crossword puzzle creator". Associated Press . Retrieved September 4, 2023.
  5. Shortz, Will (February 14, 2017). "The Youngest Crossword Constructor in New York Times History". The New York Times . Retrieved October 15, 2022.
  6. Amien, Deb (March 3, 2022). "60 Seconds With Daniel Larsen". The New York Times . Retrieved October 15, 2022.
  7. Stephenson, Christine (March 23, 2022). "How an Indiana high school student learned about himself through a mathematical discovery". The Herald-Times . Retrieved October 15, 2022.
  8. "High School South student Daniel Larsen wins 100k for math project". Massachusetts News. March 23, 2022. Retrieved December 18, 2022.
  9. Larsen, Daniel (November 5, 2021). "Bertrand's Postulate for Carmichael Numbers". arXiv: 2111.06963 [math.NT].
  10. Larsen, Daniel (July 20, 2022). "Bertrand's Postulate for Carmichael Numbers". International Mathematics Research Notices. Oxford University Press (OUP). arXiv: 2111.06963 . doi:10.1093/imrn/rnac203. ISSN   1073-7928.