- Born:
- August 21, 1940, Budapest, Hungary (age 86)
- Awards And Honors:
- Abel Prize (2012)
Endre Szemerédi
Endre SzemerĂ©di (born August 21, 1940, Budapest, Hungary) is a Hungarian American mathematician awarded the 2012 Abel Prize âfor his fundamental contributions to discrete mathematics and theoretical computer science.â
SzemerĂ©di originally studied to become a doctor, but he soon dropped out of medical school and took a job in a factory. He then entered Eötvös LorĂĄnd University in Budapest, where he studied under Paul ErdĆs. He received a masterâs degree in mathematics in 1965. He then earned a doctorate in mathematics at Moscow State University in 1970. He became a fellow at the AlfrĂ©d RĂ©nyi Institute of Mathematics of the Hungarian Academy of Sciences in Budapest, and from 1986 he was a professor of computer science at Rutgers University in New Brunswick, New Jersey.
One of his most noted contributions to mathematics is a theorem about arithmetic progressions. The theorem, which became known as SzemerĂ©diâs theorem, proved a 1936 conjecture by ErdĆs and Hungarian mathematician Paul TurĂĄn. In number theory, an arithmetic progression is a sequence of numbers that proceeds in steps of the same amount. For example, 2, 4, 6, 8 is a progression with four terms and with 2 as the step size. SzemerĂ©diâs theorem relies on the concept of density of a set of natural numbers. For some subset of the natural numbers, the density is the ratio between the number of integers in the intersection between that subset and the set {1,2,âŠ,N} and N as N goes to infinity. ErdĆs and TurĂĄn conjectured that for a positive density d and any number of integers k, there is a number N(d,k) such that a subset of {1,2,âŠ,N} that contains dN numbers has a k-term progression in it if N is greater than N(d,k). British mathematician Klaus Roth had proved the conjecture for three-term progressions in 1953. SzemerĂ©di proved the conjecture for four-term progressions in 1969 and for progressions of any length in 1975. (ErdĆs often gave cash prizes to mathematicians for solving unsolved problems and regarded the conjecture as quite difficult. SzemerĂ©di received $1,000 from ErdĆs for his proof.)
As part of SzemerĂ©diâs general proof of the ErdĆs-TurĂĄn conjecture, he originated a key result in graph theory which became known as SzemerĂ©diâs regularity lemma; it states that any graph can be broken up into smaller graphs that appear random. SzemerĂ©di proved the lemma in a restricted form at first and then generally in 1978. The lemma proved extremely useful in graph theory, since it shows that results that apply to random graphs can be applied to graphs in general.
Despite SzemerĂ©diâs stated indifference to computers, his work found many applications in computer science, most notably his collaboration with computer scientist MiklĂłs Ajtai and mathematician (and Rutgers colleague) JĂĄnos KomlĂłs on sorting. In 1983 the trio devised the Ajtai-KomlĂłs-SzemerĂ©di (AKS) sorting network, which is an algorithm for sorting n objects in a particular order in log n time steps, the least amount of time theoretically possible.