Die Grossartigkeit der Objektivität und ein paar handfeste Beweise
Seinen Doktor in Mathematik machte Raphael Steiner mit 21 Jahren. Jetzt f?rdert der Schweizerische Nationalfonds seine Forschung an der ETH Zürich auf dem Gebiet der Graphen-Theorie. Dabei geht es unter anderem um den Beweis einer über 80 Jahre alten Vermutung.
Wenn User:innen Google Maps oder einen anderen digitalen Kartenanbieter aufrufen, sehen sie Bushaltestellen, Velowege, Autobahnen. Raphael Steiner sieht Knoten, Kanten, Graphen. Mit Graphen sind nicht etwa Kurven wie Funktionsgraphen gemeint, sondern Netzwerke aus Knoten, die miteinander verbunden sind – oder nicht. Die Verbindung zwischen zwei Knoten nennen die Forschenden Kanten.
Steiners Fach sind die Mathematik und die theoretische Informatik. Die Büros des ETH-Instituts für theoretische Informatik befinden sich im 21. Stock des Hochhauses Andreasturm in Zürich-Oerlikon. Der Ort mit der fantastischen Aussicht k?nnte nicht passender sein für einen ?berflieger wie Steiner. Der 23-J?hrige arbeitet bereits seit über zwei Jahren an der ETH Zürich. Zuerst als ETH-Fellow im Rahmen eines Programms, das sich an exzellente Postdoktorierende richtet, die sich schon früh in ihrer Karriere ausgezeichnet haben. Seit September 2023 unterstützt ihn der Schweizerische Nationalfonds mit einem Ambizione-Beitrag, der ihm für die n?chsten vier Jahre die Durchführung eines eigenen Forschungsprojekts und die Betreuung seines ersten eigenen Doktoranden erm?glicht.
Die Mathematik von Strassennetzen
?Ich besch?ftige mich mit der diskreten Mathematik?, erkl?rt Steiner. ?Das heisst, die Objekte, die ich untersuche, sind meistens endliche Dinge.? Ein Beispiel dafür sind Graphen, die den jungen Mathematiker besonders interessieren.
Ein Verkehrsnetz l?sst sich auf diese Weise darstellen mit den Kreuzungen als Knotenpunkte und den Strassen als Kanten, auf denen sich zus?tzliche Informationen speichern lassen wie die Zeit, die das Befahren dieser Verbindung ben?tigt. ?Google-Maps benutzt solche Graphen, um den kürzesten Weg von A nach B zu finden?, erkl?rt Steiner. ?Die Graphen-Theorie hat also durchaus praktische Relevanz, wenn es darum geht, Algorithmen zu entwickeln, um m?glichst schnell die L?sung von Problemen der optimalen Verbindung zu finden. Ich besch?ftige mich aber eher mit theoretischen Fragestellungen.?
Abitur und Master im selben Jahr
Schon als Bub, der im süddeutschen Tuttlingen aufwuchs, begann Raphael Steiner, sich für Mathematik zu interessieren. In der Schule las er Bücher über Astrophysik. ?Da habe ich mich auch ein bisschen mit Relativit?tstheorie befasst und gemerkt, dass man viel Mathematik braucht, um unter anderem zu verstehen, was in schwarzen L?chern passiert?, erz?hlt er. Am Ende der sechsten Klasse hatte er sich bereits durch s?mtliche Mathematikbücher der Oberstufe gearbeitet. Zusammen mit seiner fünf Jahre ?lteren Schwester, die sich auf das Abitur vorbereitete, l?ste er Aufgaben auf diesem Niveau.
?In der Schule habe ich mich gelangweilt?, gibt er zu. Deshalb suchte sein Vater, ein Ingenieur, nach M?glichkeiten, den hochbegabten Sohn weiter zu f?rdern und stiess auf die Fernuniversit?t Hagen. ?So konnte ich weiter normal zur Schule gehen und ohne dass es dort auffiel, parallel von zu Hause aus ein Studium machen?, sagt Steiner. Den Mastertitel in Mathematik erwarb er gleichzeitig mit dem Abitur als 18-J?hriger.
Bereits mit seiner Bachelorarbeit hatte er in der Fachwelt Aufsehen erregt. Zusammen mit einem Mathematikprofessor in Berlin schrieb er noch vor seinem Masterabschluss ein wissenschaftliches Paper und nahm danach eine Doktorandenstelle an der Technischen Universit?t Berlin an. 2021 promovierte er mit gerade einmal 21 Jahren summa cum laude. ?Danach wollte ich in der N?he von meinem Zuhause in Süddeutschland bleiben?, erz?hlt er, ?da war die ETH als hervorragende Hochschule natürlich eine Option.?
Er kontaktierte Angelika Steger, Professorin am ETH-Institut für theoretische Informatik, und erhielt das begehrte ETH-Fellowship. Dass es danach auch mit der Ambizione-F?rderung klappte, freut ihn besonders. ?Ich bin sehr glücklich darüber, weil dies vier Jahre Sicherheit bedeutet?, sagt er. ?Der Beruf als akademischer Forscher ist zwar toll, aber als Postdoc sorgt man sich normalerweise schon auch um seine Zukunft.?
Beweis mit Computerhilfe
Das Thema, das er im Rahmen der Ambizione-F?rderung bearbeitet, ist denn für Laien auch nur schwer verst?ndlich. Es geht um eine Vermutung, die der Schweizer Mathematiker Hugo Hadwiger 1943 aufgestellt hat. Sie macht eine Aussage über Graphen mit bestimmten strukturellen Eigenschaften. Die Vermutung besagt, dass sich diese Gebilde auf eine ganz bestimmte Art und Weise in einfache Substrukturen zerlegen lassen, wobei sie zugleich gewisse andere Substrukturen nicht enthalten dürfen. ?Ich versuche, das zu beweisen oder zumindest Fortschritte in Richtung eines Beweises zu machen?, sagt Steiner. ?Das ist ein grosses Problem, darüber haben sich schon viele Denker den Kopf zerbrochen.?
?Existiert ein handfester Beweis für etwas, dann muss selbst jemand, der dich nicht mag, diesen akzeptieren. Diese Objektivit?t finde ich grossartig.?Raphael Steiner
Bei Hadwigers Vermutung gehe es um Graphen-F?rbung, erkl?rt der Mathematiker. Dabei wird jedem Knoten eines Graphen eine Farbe zugewiesen. Als einzige Bedingung gilt, dass Knoten, die miteinander verbunden sind, also eine Kante haben, nicht die gleiche Farbe erhalten dürfen. Ein Teil von Hadwigers Vermutung ist der sogenannte Vier-Farben-Satz. Er besagt Folgendes: Will man eine Landkarte mit verschiedenen L?ndern so einf?rben, dass benachbarte L?nder unterschiedliche Farben haben, so genügen vier Farben. Obwohl der Vier-Farben-Satz bereits Mitte des 19. Jahrhunderts aufgestellt wurde, dauerte es über 100 Jahre, bis man ihn beweisen konnte. ?Das Vorgehen war in der Mathematik umstritten?, erz?hlt Steiner. ?Denn der Beweis erforderte Computerhilfe. Das war etwas Neues.?
Früher analysierten die Mathematiker die verschiedenen, m?glichen F?lle einer Vermutung von Hand. Doch beim Vier-Farben-Problem gab es so viele problematischen F?lle, dass dies nur ein Computer schaffte. ?Die Leute waren damals skeptisch, ob der Programmcode tats?chlich fehlerfrei war?, sagt Steiner. Inzwischen wurde der Beweis mit modernen Programmiersprachen überprüft und es bestehen keine Zweifel mehr. ?Dennoch sind nicht alle glücklich über diese Art von Beweis?, sagt Steiner. ?L?st man ein Problem mit dem Computer, ist es dann zwar ein Fakt, doch intuitiv versteht man nicht so richtig, warum dies gilt.? Diese Herausforderung dürfte sich in naher Zukunft noch akzentuieren, wenn auch KI-basierte Beweisassistenten zum Einsatz kommen.
Zwischenziel in Reichweite
Auch für den Beweis der viel allgemeineren Hadwiger Vermutung gibt es verschiedene Ans?tze. Ausgangspunkt k?nnte ein neuer, nicht computerassistierter Beweis des Vier-Farben-Satzes sein, der als Basis für eine Verallgemeinerung dienen k?nnte. ?Auch ich habe das schon versucht, doch es ist schwierig?, gibt Steiner zu. Nun verfolgt er eine andere Herangehensweise: ?Wenn wir ein mathematisches Problem nicht l?sen k?nnen, vereinfachen wir es oft ein wenig und versuchen, uns dann schrittweise dem wirklichen Problem anzun?hern.? Ein Zwischenziel scheint in Reichweite zu sein, wie bisherige Arbeiten zeigen.
Das Grosse Ziel im Auge, sich aber auf Zwischenschritte konzentrieren. Das macht Steiner auch, wenn er, wie so h?ufig in seiner Freizeit, Schach spielt. ?Das macht mir sehr viel Spass?, sagt er. Der Denker findet aber auch ab und zu Ausgleich im Konditionstraining der ETH oder geht laufen. ?Ich singe auch gerne und überlege mir, ob ich eine Band suchen soll?, erz?hlt er.
Wie aber geht so ein ?berflieger damit um, wenn es nicht auf Anhieb klappt? Dass es bei der Arbeit auch manchmal Tage gibt, an denen die L?sungsideen nicht wie aus einem Fluss hervorquellen, gibt er gerne zu. Doch die Faszination überwiegt bei weitem. ?Das Sch?ne an der Mathematik ist, dass sie auf konkrete Fragen auch eindeutige Antworten gibt?, erkl?rt er. ?Existiert ein handfester Beweis für etwas, dann muss selbst jemand, der dich nicht mag, diesen akzeptieren. Diese Objektivit?t finde ich grossartig.?
Literaturhinweise
Steiner, R. Asymptotic equivalence of Hadwiger's conjecture and its odd minor-variant. Journal of Combinatorial Theory, Series B, Volume 155, 2022, Pages 45-51. DOI: externe Seite 10.1016/j.jctb.2022.02.002.
Martinsson, A, Steiner, R. Strengthening Hadwiger's conjecture for 4- and 5-chromatic graphs. Journal of Combinatorial Theory, Series B, Volume 164, 2024, Pages 1-16. DOI: externe Seite 10.1016/j.jctb.2023.08.009.