Семинар МЛ ТИ: А.Б. Скопенков "Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1."
4 марта на семинаре лаборатории теоретической информатики состоится доклад Аркадия Борисовича Скопенкова "Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1."
Аннотация:
Для коразмерностей 1 и 0 указанная в названии нераспознаваемость несложно вытекает из теоремы Новикова о нераспознаваемости N-мерной сферы для N>4 (это показали Matousek, Tancer, Wagner, arXiv:0807.0336 [cs.CG]).
Я расскажу о соответствующем результате для коразмерности 2 и более, который анонсирован в 2019 (Filakovsky, Wagner, Zhechev). Его красивое доказательство использует алгоритмическую нераспознаваемость продолжаемости отображений (Cadek, Krcal, Matousek, Vokrinek, Wagner, arXiv: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