Auswirkung des Grothendieck-Programms auf TCS

27

Grothendieck ist verstorben . Er hatte einen massiven Einfluss auf die Mathematik des 20. Jahrhunderts, die bis ins 21. Jahrhundert andauerte. Diese Frage wird zum Beispiel in Anlehnung an Alan Turings Beiträge zur Informatik gestellt .

Was sind die wichtigsten Einflüsse von Grothendieck auf die theoretische Informatik?

vzn
quelle
Nachruf auf Englisch / ABCNews
vzn
Vielleicht ist das relevant: Ist Grothendieck ein Computer?
Babou
6
Ich hoffe, jemand aus Theorie B schreibt über Kategorietheorie und Grothendieck-Topologien (oder ist seine Arbeit dort für die Informatik nicht relevant?).
Sasho Nikolov
1
fyi einige skizze / umriss einer
antwort
2
Vielleicht kann @AndrejBauer helfen.
Sasho Nikolov

Antworten:

28

Es wurde zunächst bewiesen, dass die Ungleichung von Grothendieck aus seiner Zeit in der Funktionsanalyse grundlegende Normen für Tensorprodukträume in Beziehung setzt. Grothendieck nannte die Ungleichung "den Grundsatz der metrischen Theorie der Tensorprodukträume" und veröffentlichte sie 1958 in einer bekannten Zeitung in französischer Sprache in einer brasilianischen Zeitschrift mit begrenzter Auflage. Das Papier wurde 15 Jahre lang weitgehend ignoriert, bis es von Lindenstrauß und Pelczynski wiederentdeckt wurde (nachdem Grothendieck die Funktionsanalyse verlassen hatte). Sie gaben viele Umformulierungen der Hauptergebnisse des Papiers an, bezogen sich auf die Erforschung von absolut summierenden Operatoren und Faktorisierungsnormen und stellten fest, dass Grothendieck "offene" Probleme gelöst hatte, die danach aufgeworfen worden warenDas Papier wurde veröffentlicht. Pisier geht in seiner Umfrage sehr detailliert auf die Ungleichung, ihre Varianten und ihren enormen Einfluss auf die Funktionsanalyse ein .

max { Σ i , j a i ju i , v j : u 1 , ... , u m , v 1 , , v nS

max{xTAy:x{1,1}m,y{1,1}n}
S n + m - 1 R n + m
max{i,jaijui,vj:u1,,um,v1,,vnSn+m1},
Sn+m1Rn+m. Beweise der Ungleichung ergeben "Rundungsalgorithmen", und tatsächlich erledigt die zufällige Rundung der Hyperebene nach Goemans-Williamson die Aufgabe (ergibt jedoch eine suboptimale Konstante). Die Ungleichung von Grothendieck ist jedoch interessant, da die Analyse des Rundungsalgorithmus "global" sein muss, dh alle Terme der Zielfunktion zusammen betrachten.

Vor diesem Hintergrund sollte es nicht überraschen, dass Grothendiecks Ungleichung ein zweites (drittes? Viertes?) Leben in der Informatik gefunden hat. Khot und Naor untersuchen die vielfältigen Anwendungen und Verbindungen zur kombinatorischen Optimierung.

Die Geschichte endet nicht dort. Die Ungleichung steht im Zusammenhang mit Verletzungen der Bellschen Ungleichung in der Quantenmechanik (siehe Pisiers Artikel ), wurde von Linial und Shraibman bei der Erforschung der Kommunikationskomplexität verwendet und erwies sich sogar als nützlich bei der Erforschung privater Daten (schamloser Plug).

Sasho Nikolov
quelle
1
Hier ist ein weiterer Text zu Grothendiecks Ungleichung und CS. Aber ich bin nicht qualifiziert zu kommentieren.
Babou
Ein Vortrag von Giles Pisier am IHES könnte auch interessant sein: dailymotion.com/video/… (leider wird er durch nervige Werbung unterbrochen).
Sasho Nikolov
17

X { einfach , abhängig ,XX{simple, dependent, polymorphic, higher-order}

Dave Clarke
quelle
1
12

p

Ich vermute, dass Mulmuleys Vision der Verallgemeinerung der Riemannschen Hypothese über endliche Felder, die aus den Weilschen Vermutungen hervorgeht, als Fragen gedeutet werden kann, die ursprünglich fruchtbare Ergebnisse aus der etalen Kohomologie von Grothendieck hatten.

T ....
quelle
1
Sind diese Anwendungen in der theoretischen Informatik? Für mich klingt alles nach Mathematik - oder wahrscheinlich nach einem anderen Teil von TCS.
Dave Clarke
7
VNPVP