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 j ⟨ u i , v j ⟩ : u 1 , ... , u m , v 1 , … , v n ∈ S
max { xTA y: x ∈ { - 1 , 1 }m, y∈ { - 1 , 1 }n}
S n + m - 1 R n + mmax{∑i,jaij⟨ui,vj⟩:u1,…,um,v1,…,vn∈Sn+m−1},
Sn+m−1Rn+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).