Gil KalaiGil Kalai (hebräisch גיל קלעי; * 1955 in Tel Aviv) ist ein israelischer Mathematiker und Informatiker, der sich mit Algorithmen zum Beispiel der Linearen Programmierung und Kombinatorik beschäftigt. LebenKalai promovierte 1983 an der Hebrew University bei Micha Perles und war danach als Post-Doc am Massachusetts Institute of Technology. Ab 1985 war er an der Hebrew University, wo er 1993 eine volle Professur erhielt.[1] Gleichzeitig ist er Adjunct Professor für Informatik und Mathematik an der Yale University. 1994 war er Milliman Lecturer an der University of Washington. Er war unter anderem Gastwissenschaftler und Gastprofessor am Institute for Advanced Study (1995) und bei IBM in San Jose (1991/92). Er ist Herausgeber des Israel Journal of Mathematics. 1992 erhielt er den Pólya-Preis der SIAM, 1993 den Erdős-Preis der israelischen mathematischen Gesellschaft, 1994 den Fulkerson-Preis. 1994 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Zürich (Combinatorics and convexity). 2015 wurde er in die Academia Europaea und 2016 in die Israelische Akademie der Wissenschaften gewählt. 2016 hielt er einen Plenarvortrag auf dem Europäischen Mathematikerkongress (Combinatorics of boolean functions and more). 2018 war er Plenarsprecher auf dem ICM in Rio (Three Puzzles on Mathematics, Computation, and Games).[2] WirkenKalai ist bekannt dafür, dass er Varianten des Simplex-Algorithmus fand, die in subexponentieller Zeit laufen.[3] Mit Ehud Friedgut bewies er 1996, dass jede monotone Eigenschaft von Graphen einen scharfen Phasenübergang besitzt (bei Variation der Größe des Graphen, der Anzahl der Knoten).[4] 1993 widerlegte er mit Jeff Kahn eine Vermutung von Karol Borsuk über die Anzahl der Teile (als Funktion der Dimension ), die nötig sind, um konvexe Mengen im in Teilmengen mit kleinerem Durchmesser zu zerlegen. Borsuk vermutete , Kalai und Kahn bewiesen für hinreichend große .[5] Die -Vermutung von Kalai[6] besagt, dass jedes d-dimensionale zentralsymmetrische Polytop mindestens Seiten hat (wobei Ecken, Kanten, Seitenflächen, … und auch das gesamte Polytop als Seiten mitgezählt werden). Zum Beispiel gilt in für das Parallelogramm und für den Kubus in gilt . Der allgemeine Fall ist offen (in vier und weniger Dimensionen ist die Vermutung bewiesen, ebenso für simpliziale Polytope). Er ist pessimistisch bezüglich der Realisierbarkeit von Quantencomputern.[7][2] Weblinks
Einzelnachweise
|