Влияние программы Гротендика на TCS

27

Гротендик скончался . Он оказал огромное влияние на математику 20-го века, продолжая в 21-м веке. Этот вопрос задается в некотором стиле / духе, например, «Вкладов Алана Тьюринга в информатику» .

Каковы основные влияния Гротендика на теоретическую информатику?

ВЗН
источник
Может быть, это уместно: компьютер Grothendieck?
Бабу
6
Я надеюсь, что кто-то из теории B пишет о теории категорий и топологиях Гротендика (или его работа там не имеет отношения к информатике?).
Сашо Николов
1
К вашему сведению какой-то набросок / набросок ответа от reddit / "frobenius"
vzn
2
Может быть @AndrejBauer может помочь.
Сашо Николов

Ответы:

28

Неравенство Гротендика , начиная с его дней в функциональном анализе, было первоначально доказано, чтобы связать фундаментальные нормы на пространствах тензорных произведений. Гротендик назвал неравенство «фундаментальной теоремой метрической теории тензорных пространств произведений» и опубликовал ее в известной ныне статье в 1958 году на французском языке в ограниченном тираже бразильского журнала. Документ в основном игнорировался в течение 15 лет, пока он не был вновь открыт Линденштрауссом и Пельчинским (после того, как Гротендик оставил функциональный анализ). Они дали много переформулировок основных результатов работы, связали их с исследованиями абсолютно суммирующих операторов и норм факторизации и отметили, что Гротендик решил «открытые» проблемы, возникшие послестатья была опубликована. Пизье в своем обзоре очень подробно описывает неравенство, его варианты и его огромное влияние на функциональный анализ .

Неравенство Гротендика очень естественно выражается на языке комбинаторных алгоритмов оптимизации и аппроксимации. Это говорит о том, что невыпуклая, NP-трудная оптимизационная задача аппроксимируется с точностью до фиксированной постоянной своей полуопределенной релаксации макс { Σ я , J v J : U 1 ,

max{xTAy:x{1,1}m,y{1,1}n}
где S n + m - 1
max{i,jaijui,vj:u1,,um,v1,,vnSn+m1},
Sn+m1 единичный шар в Rn+м, Доказательства неравенства дают «алгоритмы округления», а фактически случайное гиперплоскость Геманса-Уильямсона выполняет свою работу (но дает субоптимальную константу). Однако неравенство Гротендика интересно, потому что анализ алгоритма округления должен быть «глобальным», то есть рассматривать все члены целевой функции вместе.

Сказав это, не должно быть удивительно, что неравенство Гротендикса нашло вторую (третью? Четвертую) жизнь в информатике. Хот и Naor обозреть свои многочисленные приложения и подключения к комбинаторной оптимизации.

На этом история не заканчивается. Неравенство связано с нарушениями неравенства Белла в квантовой механике (см. Статью Пизье), использовалось Линиалом и Шрайбманом в работе над сложностью коммуникации и даже оказалось полезным в работе по анализу частных данных (бесстыдная пробка).

Сашо Николов
источник
1
Вот еще один текст о неравенстве Гротендика и CS. Но я не компетентен комментировать.
Бабу
Также может быть интересна лекция Жиля Пизье в IHES: dailymotion.com/video/… (к сожалению, она прерывается раздражающей рекламой).
Сашо Николов
17

XX{simple, dependent, polymorphic, higher-order} , также благодаря Гротендику, играет важную роль в предоставлении категориальной семантики логикам и теориям типов, что представляет интерес как для логиков, так и для теоретических компьютерных ученых.

Дэйв Кларк
источник
1
12

p -адических когомологий, этальных когомологий в формулах подсчета точек для алгебраических многообразий имеет корни в его работе.

Я предполагаю, что видение Малмулей обобщения гипотезы Римана над конечными полями, исходящими из гипотез Вейля, можно рассматривать как вопрос о том, что изначально имело плодотворные результаты из этальных когомологий Гротендика.

Т ....
источник
1
Являются ли эти приложения в теоретической информатике? Для меня все это похоже на математику - или, возможно, на другую часть TCS.
Дейв Кларк,
7
VNPVP