Impatto del programma di Grothendieck su TCS


27

Grothendieck è morto . Ha avuto un impatto enorme sulla matematica del 20 ° secolo continuando nel 21 ° secolo. Questa domanda è posta in qualche modo nello stile / spirito, ad esempio, dei contributi di Alan Turing all'informatica .

Quali sono le principali influenze di Grothendieck sull'informatica teorica?



Forse questo è rilevante: Grothendieck è un computer?
babou,

6
Spero che qualcuno della teoria B scriva della teoria delle categorie e delle topologie di Grothendieck (o il suo lavoro non è rilevante per l'informatica?).
Sasho Nikolov,

1
ecco qualche schizzo / schema di una risposta da reddit / "frobenius"
vzn

2
Forse @AndrejBauer può aiutarti.
Sasho Nikolov,

Risposte:


28

La disuguaglianza di Grothendieck , fin dai suoi giorni nell'analisi funzionale, fu inizialmente provata a mettere in relazione le norme fondamentali sugli spazi dei tensori. Grothendieck definì la disuguaglianza "il teorema fondamentale della teoria metrica degli spazi dei prodotti tensoriali", e lo pubblicò in un articolo ormai famoso nel 1958, in francese, in una rivista brasiliana a tiratura limitata. Il documento è stato in gran parte ignorato per 15 anni, fino a quando non è stato riscoperto da Lindenstrauss e Pelczynski (dopo che Grothendieck aveva lasciato l'analisi funzionale). Hanno dato molte riformulazioni dei principali risultati del documento, lo hanno collegato alla ricerca sugli operatori assolutamente sommatori e alle norme di fattorizzazione e hanno osservato che Grothendieck aveva risolto problemi "aperti" che erano stati sollevati dopoil documento è stato pubblicato. Pisier fornisce un resoconto molto dettagliato della disuguaglianza, delle sue varianti e della sua enorme influenza sull'analisi funzionale nel suo sondaggio .

La disuguaglianza di Grothendieck si esprime in modo molto naturale nel linguaggio degli algoritmi combinatori di ottimizzazione e approssimazione. Dice che il problema di ottimizzazione NP non duro e convesso è approssimato fino a una costante fissa dal suo rilassamento semidefinito \ max \ {\ sum_ {i, j} {a_ {ij} \ langle u_i, v_j \ rangle}: u_1, \ ldots, u_m, v_1, \ ldots, v_n \ in \ mathbb {S} ^ {n + m-1} \}, dove \ mathbb {S} ^ {n + m-1} è la sfera unitaria in \ mathbb {R} ^ {n + m}

max{xTAy:x{1,1}m,y{1,1}n}
max{i,jaijui,vj:u1,,um,v1,,vnSn+m1},
Sn+m1Rn+m. Le prove della disuguaglianza danno "algoritmi di arrotondamento", e in effetti l'arrotondamento casuale degli iperpiani Goemans-Williamson fa il lavoro (ma fornisce una costante non ottimale). Tuttavia, la disuguaglianza di Grothendieck è interessante perché l'analisi dell'algoritmo di arrotondamento deve essere "globale", vale a dire esaminare tutti i termini della funzione obiettivo insieme.

Detto questo, non dovrebbe sorprendere che la disuguaglianza di Grothendiecks abbia trovato una seconda (terza? Quarta?) Vita nell'informatica. Khot e Naor sondaggio sue molteplici applicazioni e le connessioni per l'ottimizzazione combinatoria.

La storia non finisce qui. La disuguaglianza è correlata alle violazioni della disuguaglianza di Bell nella meccanica quantistica (vedi il documento di Pisier), è stata utilizzata da Linial e Shraibman nel lavoro sulla complessità della comunicazione e si è persino rivelata utile nel lavoro sull'analisi di dati privati (spina spudorata).


1
Ecco un altro testo sulla disuguaglianza di Grothendieck e CS. Ma non sono qualificato per commentare.
babou,

Anche una conferenza di Giles Pisier all'IHES potrebbe essere interessante: dailymotion.com/video/… (purtroppo è interrotta da fastidiosi annunci pubblicitari).
Sasho Nikolov,

17

L'impatto di Grothendieck può essere sentito nella teoria dei tipi e nella logica. Ad esempio, il volume di oltre 700 pagine di Bart Jacobs Logica categorica e teoria dei tipi offre un trattamento uniforme di varie teorie dei tipi ( teoria del tipo , in cui ) basato sulla nozione categorica delle fibrazioni di Grothendieck (chiamata anche fibrazioni cartesiane). Allo stesso modo, la nozione di Topos , dovuta anche a Grothendieck, svolge un ruolo importante nel fornire semantica categorica alle logiche e alle teorie dei tipi, che è interessante sia per i logici che per i teorici informatici.XX{simple, dependent, polymorphic, higher-order}


over perché viene prima nella configurazione di un topos elementare?
Nikolaj-K,

1
@NikolajK Non esiste un vero significato formale per il mio uso di over - il capitolo 11 del libro affronta, ad esempio, la teoria del tipo dipendente di ordine superiore.
Dave Clarke,

12

Qualsiasi applicazione della coomologia -adica, della coomologia etale nelle formule per il conteggio dei punti per le varietà algebriche ha radici nel suo lavoro.p

Immagino che la visione di Mulmuley di generalizzare l'ipotesi di Riemann su campi finiti provenienti dalle congetture di Weil possa essere pensata come porre domande che originariamente avevano fruttuosi risultati dalla coomologia etale di Grothendieck.


1
Queste applicazioni sono nell'informatica teorica? Tutto suona come matematica per me - o probabilmente quell'altro pezzo di TCS.
Dave Clarke,

7
Sì. La crittografia e la teoria dei codici usano costantemente il conteggio dei punti e le somme di Gauss. Il programma di Mulmuley è l'unico che è noto per superare tutti gli ostacoli noti per la separazione contro . Probabilmente ci sono anche molte altre applicazioni. VNPVP
T ....
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.