Доказательство Семереди теоремы Семереди — новое изложение Тао

К наступающему 80-летию Эндре Семереди Теренс Тао подготовил новое, значительно упрощённое, комбинаторное доказательство его знаменитой теоремы об арифметических прогрессиях в плотных множествах. В докладе будут изложены основные идеи этой ещё неопубликованной работы, среди которых:
* упрощённая версия леммы регулярности с явным (в один шаг) построением разбиения через собственные числа
* сведение теоремы Семереди к плотностной версии теоремы Ван дер Вардена
* конструкция многомерных вееров, аналогичных веерам из классического доказательства теоремы Ван дер Вардена
* отказ от анализа многомерных прогрессий (в многомерных веерах арифметические связи есть только между одномерными структурами)