Endre Szemerédi | |
Birth Date: | 21 August 1940 |
Birth Place: | Budapest, Kingdom of Hungary |
Nationality: | Hungarian, American |
Field: | Combinatorics Computer science Mathematics Theoretical computer science |
Work Institution: | Rutgers University |
Alma Mater: | Eötvös Loránd University |
Doctoral Advisor: | Israel Gelfand |
Prizes: | Abel Prize (2012) Széchenyi Prize (2012) Rolf Schock Prizes (2008) Leroy P. Steele Prize (2008) George Pólya Prize (1975) Alfréd Rényi Prize (1973) Member of the National Academy of Sciences |
Doctoral Students: | Jaikumar Radhakrishnan Gábor N. Sárközy |
Endre Szemerédi (in Hungarian ˈɛndrɛ ˈsɛmɛreːdi/; born August 21, 1940) is a Hungarian-American[1] mathematician and computer scientist, working in the field of combinatorics and theoretical computer science. He has been the State of New Jersey Professor of computer science at Rutgers University since 1986. He also holds a professor emeritus status at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences.
Szemerédi has won prizes in mathematics and science, including the Abel Prize in 2012. He has made a number of discoveries in combinatorics and computer science, including Szemerédi's theorem, the Szemerédi regularity lemma, the Erdős–Szemerédi theorem, the Hajnal–Szemerédi theorem and the Szemerédi–Trotter theorem.
Szemerédi was born in Budapest. Since his parents wished him to become a doctor, Szemerédi enrolled at a college of medicine, but he dropped out after six months (in an interview[2] he explained it: "I was not sure I could do work bearing such responsibility.").[3] [4] He studied at the Faculty of Sciences of the Eötvös Loránd University in Budapest and received his PhD from Moscow State University. His adviser was Israel Gelfand. This stemmed from a misspelling, as Szemerédi originally wanted to study with Alexander Gelfond.
Szemerédi has been the State of New Jersey Professor of computer science at Rutgers University since 1986. He has held visiting positions at Stanford University (1974), McGill University (1980), the University of South Carolina (1981–1983) and the University of Chicago (1985–1986).
Endre Szemerédi has published over 200 scientific articles in the fields of discrete mathematics, theoretical computer science, arithmetic combinatorics and discrete geometry. He is best known for his proof from 1975 of an old conjecture of Paul Erdős and Pál Turán: if a sequence of natural numbers has positive upper density then it contains arbitrarily long arithmetic progressions. This is now known as Szemerédi's theorem. One of the lemmas introduced in his proof is now known as the Szemerédi regularity lemma, which has become an important lemma in combinatorics, being used for instance in property testing for graphs and in the theory of graph limits.
He is also known for the Szemerédi–Trotter theorem in incidence geometry and the Hajnal–Szemerédi theorem and Ruzsa–Szemerédi problem in graph theory. Miklós Ajtai and Szemerédi proved the corners theorem, an important step toward higher-dimensional generalizations of the Szemerédi theorem. With Ajtai and János Komlós he proved the ct2/log t upper bound for the Ramsey number R(3,t), and constructed a sorting network of optimal depth. With Ajtai, Václav Chvátal, and Monroe M. Newborn, Szemerédi proved the famous Crossing Lemma, that a graph with n vertices and m edges, where has at least crossings. With Paul Erdős, he proved the Erdős–Szemerédi theorem on the number of sums and products in a finite set. With Wolfgang Paul, Nick Pippenger, and William Trotter, he established a separation between nondeterministic linear time and deterministic linear time, in the spirit of the infamous P versus NP problem.
Szemerédi has won numerous awards and honors for his contribution to mathematics and computer science. A few of them are listed here:
Szemerédi is a corresponding member (1982), and member (1987) of the Hungarian Academy of Sciences and a member (2010) of the United States National Academy of Sciences.[14] He was elected to the Academia Europaea in 2022. He is also a member of the Institute for Advanced Study in Princeton, New Jersey and a permanent research fellow at the Alfréd Rényi Institute of Mathematics in Budapest. He was the Fairchild Distinguished Scholar at the California Institute of Technology in 1987–88.He is an honorary doctor[15] of Charles University in Prague.He was the lecturer in the Forty-Seventh Annual DeLong Lecture Series[16] at the University of Colorado. He is also a recipient of the Aisenstadt Chair at CRM,[17] University of Montreal. In 2008 he was the Eisenbud Professor at the Mathematical Sciences Research Institute in Berkeley, California.
In 2012, Szemerédi was awarded the Abel Prize "for his fundamental contributions to discrete mathematics and theoretical computer science, and in recognition of the profound and lasting impact of these contributions on additive number theory and ergodic theory"[18] The Abel Prize citation also credited Szemerédi with bringing combinatorics to the centre-stage of mathematics and noted his place in the tradition of Hungarian mathematicians such as George Pólya who emphasized a problem-solving approach to mathematics.[19] Szemerédi reacted to the announcement by saying that "It is not my own personal achievement, but recognition for this field of mathematics and Hungarian mathematicians," that gave him the most pleasure.[20]
On August 2–7, 2010, the Alfréd Rényi Institute of Mathematics and the János Bolyai Mathematical Society organized a conference in honor of the 70th birthday of Endre Szemerédi.[21]
Prior to the conference a volume of the Bolyai Society Mathematical Studies Series, An Irregular Mind, a collection of papers edited by Imre Bárány and József Solymosi, was published to celebrate Szemerédi's achievements on the occasion of his 70th birthday.[22] Another conference devoted to celebrating Szemerédi's work isthe Third Abel Conference: A Mathematical Celebration of Endre Szemerédi.[23]
Szemerédi is married to Anna Kepes; they have five children, Andrea, Anita, Peter, Kati, and Zsuzsi.[24]