Christian Reiher
# Christian Reiher

Christian Reiher (* 19. April 1984 in Starnberg) ist ein deutscher Mathematiker.

Reiher gewann 2000 bis 2003 viermal hintereinander eine Goldmedaille auf der Internationalen Mathematikolympiade. Damit ist er aktuell der fünfterfolgreichste Teilnehmer. Er studierte an der Ludwig-Maximilians-Universität München, war ein Jahr Gaststudent an der Oxford University und wurde 2010 an der Universität Rostock bei Hans-Dietrich Gronau promoviert (A proof of the theorem according to which every prime number possesses property B). 2011 trat er eine Juniorprofessur an der Universität Hamburg an, wo er seitdem arbeitet.

2003 bewies er die Kemnitz-Vermutung: Sei S die Menge von $4n-3$ Gitterpunkten in der Ebene zu einer natürlichen Zahl $n$, dann existiert eine Untermenge $T$ von $S$ mit $n$ Punkten, sodass deren Zentroid auch ein Gitterpunkt ist.

Die Vermutung von Kemnitz verallgemeinert einen Satz von Erdös, Ginzburg und Ziv (1961) im eindimensionalen Fall (Jede Menge von $2n-1$ ganzen Zahlen hat eine Untermenge mit n ganzen Zahlen deren Mittelwert eine ganze Zahl ist). Eine andere Formulierung der Vermutung von Kemnitz fragt nach $f(n,k)$, der kleinsten Zahl $f$, sodass jede Menge von $f$ Gitterpunkten im k-dimensionalen euklidischen Raum eine Untermenge S der Kardinalität $n$ enthält, sodass die Summe der Elemente von S durch $n$ teilbar ist. Dann ist nach Erdös u. a. $f(n,1)=2n-1$ und nach der Vermutung von Kemnitz $f(n,2)=4n-3$.

Reiher benutzte für seinen Beweis den Satz von Chevalley und Warning.

2017 erhielt er den European Prize in Combinatorics insbesondere für seine Lösung der Kemnitz-Vermutung und das Cliquen-Dichte-Problem von Lovász-Simonovits. Die Cliquen-Dichte-Vermutung von László Lovász und Miklós Simonovits wurde von Reiher 2016 bewiesen nach Teilergebnissen von Razborov ($r=3$) und Vladimir Nikoforov ($r=4$). Der Satz baut auf dem Satz von Turán der extremalen Graphentheorie auf, der eine Aussage über die Mindestanzahl von Kanten macht, die ein Graph mit gegebener Knotenzahl haben muss, damit die Existenz einer $r$-Clique sichergestellt ist. Lovasz und Simonovits vermuteten in den 1970er Jahren, dass für ein $r\geq 3$ ein Graph mit n Knoten und mindestens $\gamma n^{2}$ Kanten ($\gamma \in [0,{\frac {1}{2}})$) asymptotisch mindestens $F_{r}(\gamma )n^{r}+O(n^{r-2})$ $r$-Cliquen enthält mit einer Konstanten $F_{r}(\gamma )$. Weiter vermuteten sie, dass der bezüglich dieses Problems extremale Graph durch den vollständigen multipartiten Graphen mit dieser Kanten- und Knotenzahl gegeben ist, in dem alle Partitionsklassen gleich groß sind bis eventuell auf eine, die kleiner sein kann.

