Jeffrey Clark Lagarias (born November 16, 1949, in Pittsburgh, Pennsylvania, United States) is a mathematician and professor at the University of Michigan.
While in high school in 1966, Lagarias studied astronomy at the Summer Science Program.
He completed an S.B. and S.M. in Mathematics at the Massachusetts Institute of Technology in 1972.[1] The title of his thesis was "Evaluation of certain character sums".[1] He was a Putnam Fellow at MIT in 1970.[2] He received his Ph.D. in Mathematics from MIT for his thesis "The 4-part of the class group of a quadratic field", in 1974.[1][3] His advisor for both his masters and Ph.D was Harold Stark.[1]
In 1974, he joined AT&T Bell Laboratories and eventually became a member of technical staff. From 1995 to 2004, he was a Technology Consultant at AT&T Research Laboratories. In 2004, he moved to the University of Michigan as a professor of mathematics.[1]
Lagarias originally worked in analytic algebraic number theory. His later work has been in theoretical computer science.[citation needed]
Lagarias discovered an elementary problem that is equivalent to the Riemann hypothesis, namely whether for all n > 0, we have
with equality only when n = 1. Here Hn is the nth harmonic number, the sum of the reciprocals of the first positive integers, and σ(n) is the divisor function, the sum of the positive divisors of n.[4]
He disproved Keller's conjecture in dimensions at least 10. Lagarias has also done work on the Collatz conjecture and Li's criterion and has written several highly cited papers in symbolic computation with Dave Bayer.[citation needed]
Lagarias received in 1986 a Lester R. Ford award from the Mathematical Association of America[5] and again in 2007.[6][7]
In 2012, he became a fellow of the American Mathematical Society.[8]
In 2024 he was elected as a member of the National Academy of Sciences.[9]