• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинар МЛ ТИ: А.Б. Скопенков "Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1."

Мероприятие завершено

4 марта на семинаре лаборатории теоретической информатики состоится доклад Аркадия Борисовича Скопенкова "Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1."

 Аннотация:


Для коразмерностей 1 и 0 указанная в названии нераспознаваемость  несложно вытекает из теоремы Новикова о нераспознаваемости N-мерной сферы для N>4 (это показали Matousek, Tancer, WagnerarXiv:0807.0336 [cs.CG]).

Я расскажу о соответствующем результате для коразмерности 2 и более, который  анонсирован в 2019 (Filakovsky, Wagner, Zhechev). Его красивое доказательство использует алгоритмическую нераспознаваемость продолжаемости отображений (CadekKrcalMatousekVokrinekWagnerarXiv:1302.2370 [cs.CG]). Я расскажу и о выводе последней нераспознаваемости из нераспознаваемости разрешимости диофантовых уравнений. 

Update 081020: При детальном разборе работы (Filakovsky, Wagner, Zhechev) по алгоритмической нераспознаваемости вложимости была найдена ошибка. Ошибка описана в arXiv:2008.00492 и признана авторами. В этом же обзоре arXiv:2008.00492 представлена та часть доклада, которая относится к алгоритмической нераспознаваемости продолжаемости отображений (Cadek, Krcal, Matousek, Vokrinek, Wagner). 

Доклад рассчитан на неспециалиста (в частности, студента). 
Семинар пройдет с 18:10 до 19:30 в аудитории D109, Покровский бульвар, 11.

Заказ пропуска: dchernyshova@hse.ru