Теорема ван дер Вардена

Теорема ван дер Вардена — классический результат комбинаторной теории чисел об одноцветных арифметических прогрессиях в раскрасках натуральных чисел. Теорема является типичным утверждением теории Рамсея, а также предтечей теоремы Семереди, которая положила начало большой ветви аддитивной комбинаторики.

Обозначения На протяжении статьи для обозначения множества [math]\displaystyle{ \{ 1, \dots, N \} }[/math] используется запись [math]\displaystyle{ [N] }[/math]. Такое обозначение вполне общепринято в литературе.

Формулировка

Примеры раскрасок девяти чисел в два цвета. Любая из них будет содержать одноцветную прогрессию длины 3.

У теоремы есть две эквивалентных формулировки — конечная и бесконечная.

Бесконечная формулировка Для любых [math]\displaystyle{ r, k \in {\mathbb N} }[/math] и функции [math]\displaystyle{ c : {\mathbb N} \to [r] }[/math] существуют [math]\displaystyle{ a, d \in {\mathbb N} }[/math] такие, что [math]\displaystyle{ c(a) = c(a+d) = \dots = c(a+(k-1)d) }[/math]

Функцию [math]\displaystyle{ c }[/math] обычно называют раскраской натуральных чисел, её значения — цветами чисел, а прогрессию [math]\displaystyle{ a, a+d, \dots, a+(k-1)d }[/math] одноцветной (теорема не конкретизирует, какой именно цвет имеют её элементы).

Конечная формулировка похожа на бесконечную, но рассматривает раскраску конечного множества. Она принадлежит О. Шрейеру.

Конечная формулировка Для любых [math]\displaystyle{ r, k \in {\mathbb N} }[/math] существует число [math]\displaystyle{ N=N(r,k) }[/math] такое, что для любой функции [math]\displaystyle{ c : [N] \to [r] }[/math] существуют [math]\displaystyle{ a, d \in {\mathbb N} }[/math] такие, что [math]\displaystyle{ c(a) = c(a+d) = \dots = c(a+(k-1)d) }[/math]

Числа [math]\displaystyle{ N(r,k) }[/math] из конечной формулировки называются числами ван дер Вардена. Для них изучаются нижние и верхние оценки.

История

Доказательство теоремы опубликовал Б. Л. ван дер Варден в 1927 году.

Александр Софьер в историческом очерке о теории Рамсея пишет, что утверждение теоремы в качестве гипотезы рассматривал ещё Шур при работе над своей теоремой о раскрасках чисел (в 1916 году), но от Шура до ван дер Вардена гипотеза не дошла, зато была независимо придумана Боде и ван дер Варден узнал гипотезу от его учеников (Баудет к тому времени уже умер). Доказательство было придумано в гамбургском университете и представлено публике в Берлине на съезде немецкого математического общества.

Ван дер Варден просто не понял, насколько важный результат он доказал: он отправлял свои работы по алгебраической геометрии в самый престижный журнал, Mathematische Annalen, а это доказательство отправил в «невразумительный» журнал Nieuw Archief voor Wiskunde голландского математического общества.

Оригинальный текст (англ.)[показатьскрыть]

Van der Waerden simply did not realize how important was the result he proved: he submitted his algebraic geometry papers to the most prestigious journal, Mathematische Annalen, yet sent this proof to an “obscure” journal, Nieuw Archief voor Wiskunde of the Dutch Mathematical Society.

В свою очередь Александр Хинчин писал, что результат был получен в Гёттингене летом 1928 за несколько дней до его приезда туда и что с гипотезой столкнулся «один местный математик […] в ходе своей научной работы».

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

Схема доказательства

В этом разделе утверждение о том, что теорема верна для [math]\displaystyle{ r }[/math] цветов и длины прогрессии [math]\displaystyle{ k }[/math] обозначается как [math]\displaystyle{ \mbox{W}(r,k) }[/math].

Теорема доказывается индукцией по [math]\displaystyle{ k }[/math]. База [math]\displaystyle{ k=2 }[/math] очевидна. При доказательстве шага индукции обычно для удобства говорят, что [math]\displaystyle{ \mbox{W}(r,k') }[/math] предполагается доказанным для всех [math]\displaystyle{ k' \lt k,\ r \in {\mathbb N} }[/math], хотя формально для доказательства каждого отдельного утверждения [math]\displaystyle{ \mbox{W}(r,k) }[/math] достаточно конечного числа утверждений вида [math]\displaystyle{ \mbox{W}(r', k-1), r' \in {\mathbb N} }[/math], но с очень большими значениями [math]\displaystyle{ r' }[/math].

Пример 3-веера при [math]\displaystyle{ k=3 }[/math], объединяющего прогрессии (11, 12, 13), (5, 9, 13) и (3, 8, 13). В каждой прогрессии цвета первых двух элементов (то есть всех кроме последнего) одинаковы.

Чтобы гарантировать наличие одноцветной прогрессии длины [math]\displaystyle{ k }[/math], нужно переходить от рассмотрения интервала, длина которого гарантирует наличие одноцветной прогрессии длины [math]\displaystyle{ k-1 }[/math], ко всё бо́льшим и бо́льшим интервалам, гарантирующим наличие всё более сложные структур — так называемых вееров. Для раскраски [math]\displaystyle{ c }[/math] назовём [math]\displaystyle{ s }[/math]-веером семейство [math]\displaystyle{ (\vec{P}_i)_{i=1}^{s} }[/math] прогрессий длины [math]\displaystyle{ k }[/math] таких, что:

• [math]\displaystyle{ \vec{P}_1(k) = \vec{P}_2(k) = \dots = \vec{P}_s(k) }[/math], то есть последняя точка у всех прогрессий общая;
• [math]\displaystyle{ c(\vec{P}_i(1)) = c(\vec{P}_i(2)) = \dots = c(\vec{P}_i(k-1)),\ i=1,\dots,s }[/math], то есть у каждой прогрессии все элементы, кроме последнего, одноцветны;
• [math]\displaystyle{ i \not = j \Rightarrow c(\vec{P}_i(1)) \not = c(\vec{P}(1)) }[/math], то есть основной цвет (всех элементов кроме последнего) у каждой прогрессии свой.

Вывод существования 2-веера для [math]\displaystyle{ k=4 }[/math] из существования прогрессий длины 3 в любых достаточно больших раскрасках.

Пример конструирования вееров из прогрессий вееров меньшего порядка для [math]\displaystyle{ k=4 }[/math], [math]\displaystyle{ r=4 }[/math] в индукционном (по [math]\displaystyle{ k }[/math]) переходе доказательства теоремы ван дер Вардена.

Веера можно применять для доказательства шага индукции благодаря двум очевидным свойствам:

• наличие в раскраске одноцветной прогрессии длины [math]\displaystyle{ k-1 }[/math] фактически означает наличие [math]\displaystyle{ 1 }[/math]-веера;
• наличие в раскраске [math]\displaystyle{ r }[/math]-веера гарантирует наличие одноцветной прогрессии длины [math]\displaystyle{ k }[/math] (поскольку цвета всех прогрессий различны и цветов всего [math]\displaystyle{ r }[/math], то один из них совпадает с цветом общего последнего элемента).

Поэтому достаточно доказать шаг индукции по параметру [math]\displaystyle{ s }[/math] для утверждения «любая раскраска достаточно большого интервала содержит [math]\displaystyle{ s }[/math]-веер или прогрессию длины [math]\displaystyle{ k }[/math]». Для этого следует:

1. Разбить большой интервал на блоки — меньшие интервалы, но тоже достаточно большой длины (обозначим [math]\displaystyle{ M }[/math]). Величина [math]\displaystyle{ M }[/math] должна быть достаточной для того, чтобы в интервалах длины [math]\displaystyle{ M }[/math] (то есть в каждом блоке) был [math]\displaystyle{ (s-1) }[/math]-веер (такая длина существует по предположению индукции).
2. Назначить «гиперцветом» блока всю совокупность цветов его элементов. Число таких гиперцветов [math]\displaystyle{ r^M }[/math] будет очень большим, но всё же конечным.
3. Для «гиперраскраски» достаточно длинной последовательности блоков применить утверждение [math]\displaystyle{ \mbox{W}(r^M, k-1) }[/math], то есть «найти» прогрессию из абсолютно одинаково раскрашенных блоков.

Этим будет гарантировано наличие нескольких одинаковых [math]\displaystyle{ s }[/math]-вееров, отстоящих друг от друга на одинаковое расстояние (своего рода прогрессия из вееров). Если цвет центрального элемента веера отличается от цветов его прогрессий, то в такой конструкции можно по диагонали выделить [math]\displaystyle{ (s+1) }[/math]-веер (см. картинку).

Веера и содержащие их семейства многомерных арифметических прогрессий

Анализ многомерных прогрессий

При диагональном переходе от прогрессии [math]\displaystyle{ s }[/math]-вееров к [math]\displaystyle{ (s+1) }[/math]-вееру теряется большое количество арифметических и цветовых связей, в которых участвуют элементы, не вошедшие в [math]\displaystyle{ (s+1) }[/math]-веер. Если проследить за этими элементами и их дублированием в последующих прогрессиях из [math]\displaystyle{ (s+1) }[/math]-вееров, [math]\displaystyle{ (s+2) }[/math]-вееров и т. д., то будет видно, что одноцветные прогрессии, исходящие из любого [math]\displaystyle{ s }[/math]-веера фактически являются диагоналями одноцветных многомерных прогрессий размерности от [math]\displaystyle{ 1 }[/math] до [math]\displaystyle{ s }[/math], в зависимости от «момента» возникновения цвета в ходе индукции. Поэтому некоторые авторы излагают доказательство в терминах поиска соответствующей комбинации многомерных прогрессий.

Обобщения

Для теоремы ван дер Вардена изучено множество обобщений по разным аспектам формулировки утверждения. Разные типы обобщений могут комбинироваться в одном утверждении.

В данном разделе приведены только бесконечные формулировки обобщённых утверждений, хотя для большинства из них существуют конечные аналоги, построенные по тому же принципу, что и для основной теоремы.

Способы обобщения

По структурным условиям на конфигурацию

Условие о том, что числа [math]\displaystyle{ x_1, \dots, x_k }[/math] образуют арифметическую прогрессию, означает выполнение равенств

[math]\displaystyle{ x_i - x_{i-1} = x_{i+1} - x_i,\ i=2,\dots,k-2 }[/math]

Один из способов обобщения состоит в том, чтобы заменить эти условия на другие, тоже линейные.

Вопрос Для каких систем линейных уравнений (в том числе отдельных уравнений) утверждение теоремы ван дер Вардена остаётся верным при замене условия того, что элементы искомой конфигурации образуют прогрессию, на то, что они удовлетворяют заданной системе?

Кроме того, элементы прогрессии представимы в виде [math]\displaystyle{ a, a+d, a+2d, \dots, a+(k-1)d }[/math]. Если воспринять разности [math]\displaystyle{ d, 2d, \dots, (k-1)d }[/math] как фиксированные функции от [math]\displaystyle{ d }[/math], то это приводит к полиномиальному обобщению.

Полиномиальная версия Пусть [math]\displaystyle{ p_1, \dots, p_k }[/math] — многочлены с целыми коэффициентами такие, что [math]\displaystyle{ p_i(0)=0,\ i \in [k] }[/math]. Тогда для любого [math]\displaystyle{ r \in {\mathbb N} }[/math] и раскраски [math]\displaystyle{ c : {\mathbb N} \to r }[/math] существуют [math]\displaystyle{ a, d \in {\mathbb N} }[/math] такие, что [math]\displaystyle{ c(a) = c(a + p_1(d)) = c(a + p_2(d)) = \dots = c(a + p_k(d)) }[/math]

Идеи доказательства

Для доказательства полиномиальной версии также могут использоваться веера, но с соответствующими полиномиальными разностями. Например, при доказательстве наличия в произвольной раскраске одноцветной пары [math]\displaystyle{ a, a+d^2,\ a, d \in {\mathbb N} }[/math] промежуточным шагом является доказательство наличия чисел [math]\displaystyle{ x_0, x_1, \dots, x_s }[/math] таких, что [math]\displaystyle{ x_1, \dots, x_s }[/math] имеют разные цвета и [math]\displaystyle{ x_1 - x_0, \dots, x_s - x_1 }[/math] являются квадратами.

По размерности

При обобщении теоремы на многомерные пространства вместо прогрессий рассматриваются гомотетичные образы конечного множества точек (арифметической прогрессии соответствует гомотетичный образ дискретного гиперкуба).

Многомерная версия Для любых натуральных чисел [math]\displaystyle{ r, t \in {\mathbb N} }[/math], множества [math]\displaystyle{ K \subset {\mathbb N}^t }[/math] и раскраски [math]\displaystyle{ c : {\mathbb N}^t \to \{ 1, \dots, r \} }[/math] существуют [math]\displaystyle{ \vec{a} \in {\mathbb N}^t, d \in {\mathbb N} }[/math] такие, что [math]\displaystyle{ c(\vec{a}) = c(\vec{a} + \vec{k} d)\ \forall\ \vec{k} \in K }[/math]

Более широкое, чисто комбинаторное, многомерное обобщение предлагает теорема Хейлса-Джеветта. Для удобства её можно понимать как теорему для раскрасок [math]\displaystyle{ [k]^n }[/math], но операции с числами в ней совсем не используются, то есть множество [math]\displaystyle{ [k] }[/math] можно заменить на любое другое того же размера. Здесь изменяемым («достаточно большим») параметром выступает уже размерность пространства, поэтому теорема Хейлса-Джеветта имеет только конечную формулировку.

Определение Для множества [math]\displaystyle{ A }[/math] комбинаторной прямой в [math]\displaystyle{ A^n }[/math] называется диагональ любого нетривиального подкуба, то есть множество всех векторов, где часть координат может быть фиксирована, а остальные (ненулевое количество) всегда одинаковы и пробегают все значения [math]\displaystyle{ a \in A }[/math]. Теорема Хейлса-Джеветта Для любых [math]\displaystyle{ k, r \in {\mathbb N} }[/math] существует число [math]\displaystyle{ n_0 = n_0(r, k) }[/math] такое, что для любых [math]\displaystyle{ n \gt n_0,\ |A|=k }[/math] в любой раскраске [math]\displaystyle{ c : A^n \to [r] }[/math] существует одноцветная комбинаторная прямая.

Идеи доказательства

В основе доказательства теоремы Хейлса–Джеветта лежит та же индукция через веера. Для вектора [math]\displaystyle{ \vec{a} \in A^n }[/math] рассматривается разбиение координат [math]\displaystyle{ \vec{a} = (\vec{a_1}, \vec{a_2}) \in A^{n_1} \times A^{n_2},\ n_1+n_2=n }[/math]. В гиперраскраске [math]\displaystyle{ A^{n_1} }[/math], где гиперцветом вектора [math]\displaystyle{ \vec{a_1} \in A^{n_1} }[/math] является комбинация цветов всех точек вида [math]\displaystyle{ (\vec{a_1}, \vec{a_2}),\ \vec{a_2} \in A^{n_2} }[/math], при достаточно большом [math]\displaystyle{ n_1 }[/math] можно, по предположение индукции (с [math]\displaystyle{ k'=k-1 }[/math]), найти комбинаторную прямую, где все элементы кроме одного будут одноцветны. Для раскраски [math]\displaystyle{ A^n }[/math] это будет означать наличие такой "прямой" из одинаково раскрашенных подпространств размерности [math]\displaystyle{ n_2 }[/math]. А при большом [math]\displaystyle{ n_2 }[/math] гарантировано наличие аналогичной прямой в каждом из этих подпространств. Получается "прямая из прямых", каждая из которых имеет одинаковое продолжение. Эта конструкция похожа на конструкцию обобщённых прогрессий из доказательство теоремы ван дер Вардена и может быть использована для построения вееров таким же образом, как там.

Теорема ван дер Вардена следует из теоремы Хейлса–Джеветта, поскольку преобразование из [math]\displaystyle{ [k]^n }[/math] в [math]\displaystyle{ [k^n] }[/math], соответствующее интерпретации координат как цифр в [math]\displaystyle{ k }[/math]-ричной системе счисления, отображает комбинаторные прямые в арифметически прогрессии. Многомерную теорему ван дер Вардена можно вывести аналогично, зафиксировав любую нумерацию элементов [math]\displaystyle{ K }[/math] и рассмотрев теорему Хейлса–Джеветта для [math]\displaystyle{ k=|K| }[/math].

Многомерную теорему можно доказывать и напрямую, без теоремы Хейлса–Джеветта. Действительно, если она доказана для подмножества [math]\displaystyle{ K' \subset K \subset {\mathbb R}^t }[/math], содержащего [math]\displaystyle{ t }[/math] аффинно-независимых точек, то можно применить индукцию от [math]\displaystyle{ K' }[/math] до [math]\displaystyle{ K }[/math] с помощью вееров из теорем ван дер Вардена, но с разбиением на многомерные блоки. Значит, достаточно предъявить способ перехода от утверждения для [math]\displaystyle{ {\mathbb R}^{t-1} }[/math] к утверждению для множества [math]\displaystyle{ K \subset {\mathbb R}^t }[/math] из [math]\displaystyle{ t }[/math] аффинно-независимых точек. В качестве примера такого [math]\displaystyle{ K }[/math] можно взять уголок, то есть точки вида

[math]\displaystyle{ (a_1, a_2, \dots, a_t) }[/math]

[math]\displaystyle{ (a_1 + d, a_2, \dots, a_t) }[/math]

[math]\displaystyle{ (a_1, a_2 + d, \dots, a_t) }[/math]

[math]\displaystyle{ \dots }[/math]

[math]\displaystyle{ (a_1, a_2, \dots, a_t + d) }[/math]

Наличие [math]\displaystyle{ (t-1) }[/math]-мерного уголка в гиперплоскости [math]\displaystyle{ {\mathbb R}^t }[/math] с условием [math]\displaystyle{ a_1+\dots+a_t=N }[/math] (которое гарантировано при достаточно большом [math]\displaystyle{ N }[/math]) означает наличие в [math]\displaystyle{ {\mathbb R}^t }[/math] уголка, у которого все точки, кроме центральной, одноцветны. Далее, разбивая числа на многомерные блоки и применяя к ним ту же процедуру, можно построить сколь угодно большие веера из таких уголков.

На один цвет (плотные подмножества)

Основная статья: Теорема Семереди

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

Несмотря на правдоподобность, это утверждение не следует напрямую из теоремы ван дер Вардена и доказать его намного сложнее. Чтобы формализовать его, нужно заметить, что в конечной раскраске наиболее популярный цвет имеет положительную верхнюю плотность. Поэтому высказанное предположение означает наличие прогрессии в любом плотном множестве. Эта теорема названа в честь Эндре Семереди, впервые её доказавшего.

Теорема Семереди Для любых [math]\displaystyle{ \delta \in (0;1), k \in {\mathbb N} }[/math] и множества [math]\displaystyle{ A }[/math] такого, что [math]\displaystyle{ \lim \limits_{N \to \infty} {\frac{|A \cap [N]|}{N}} \gt \delta }[/math], существуют [math]\displaystyle{ a, d \in {\mathbb N} }[/math] такие, что [math]\displaystyle{ a, a+d, \dots, a+(k-1)d \in A }[/math].

По аналогии с числами ван дер Вардена, для конечной версии теоремы Семереди изучаются нижние и верхние оценки на [math]\displaystyle{ N(\delta, k) }[/math], достаточное для того, чтобы множество [math]\displaystyle{ A \subset [N] }[/math] с условием [math]\displaystyle{ |A| \gt \delta N }[/math] всегда содержало прогрессию длины [math]\displaystyle{ k }[/math]. Получение таких оценок в случае [math]\displaystyle{ k \ge 4 }[/math] значительно сложнее, чем в случае [math]\displaystyle{ k=3 }[/math].

Идеи доказательства

Методы доказательства теоремы Семереди разительно отличаются от теоремы ван дер Вардена и по типу, и по сложности. Известны комбинаторное (с применением леммы регулярности Семереди из общей теории графов), аналитическое (с использованием коэффициентов Фурье и обобщающих их норм Гауэрса) и эргодическое доказательство.

Для доказательства наиболее широких обобщений (с добавлением полиномиальности разностей и многомерности пространства) хорошо работают методы эргодической теории, но они не дают никаких количественных оценок для конечных формулировок.

На бесконечное число цветов

При счётном числе цветов, то есть раскраске [math]\displaystyle{ c : {\mathbb N} \to {\mathbb N} }[/math], длинных одноцветных прогрессий может не быть. Но если в качестве другого, также допустимого, полюса цветовой структурированности рассмотреть конфигурации, где цвета всех элементов различны, то теорема останется верной.

Это утверждение называется канонической версией теоремы ван дер Вардена.

Каноническая версия Для любого [math]\displaystyle{ k \in {\mathbb N} }[/math] и раскраски [math]\displaystyle{ c : {\mathbb N} \to {\mathbb N} }[/math] существуют числа [math]\displaystyle{ a, d \in {\mathbb N} }[/math] такие, что: либо [math]\displaystyle{ c(a) = c(a+d) = \dots = c(a+(k-1)d) }[/math] либо [math]\displaystyle{ c(a+id) \not = c(a+jd) }[/math] для любых [math]\displaystyle{ 0 \le i \lt j \lt k }[/math]

Идеи доказательства

Иллюстрация наличия одноцветной прогрессии когда второй и четвёртый элемент одноцветны в прогрессиях с индексами [math]\displaystyle{ (a+3D, d) }[/math], [math]\displaystyle{ (a+2D, d+D), (a+D, d+2D), (a, d+3D) }[/math] (одноцветный образ квадрата в [math]\displaystyle{ c' }[/math] имеет разность [math]\displaystyle{ D }[/math])

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

По раскраске [math]\displaystyle{ c : {\mathbb N} \to {\mathbb N} }[/math] можно построить раскраску плоскости [math]\displaystyle{ c' }[/math], где цвет пары [math]\displaystyle{ (a, d) \in {\mathbb N}^2 }[/math] связан с прогрессией [math]\displaystyle{ a, a+d, \dots, a+(k-1)d }[/math], а именно – соответствует разбиению прогрессии [math]\displaystyle{ (c(a), c(a + d), \dots, c(a + (k-1) d)) }[/math] по одинаковости цветов. Например, пары, для которых соответствующие прогрессии покрашены в цвета (красный, красный, зелёный) и (синий, синий, жёлтый) будут иметь одинаковый цвет в [math]\displaystyle{ c' }[/math]. Важно, что количество цветов в [math]\displaystyle{ c' }[/math] конечно.

Если в [math]\displaystyle{ c }[/math] нет разноцветных прогрессий длины [math]\displaystyle{ k }[/math], то в любой прогрессии есть хотя бы два элемента одинакового цвета. По многомерной теоремой ван дер Вардена, в раскраске [math]\displaystyle{ c' }[/math] есть одноцветный гомотетичный образ [math]\displaystyle{ [(k-1)^2]^2 }[/math]. Прогрессии, соответствующие точкам этого образа, будут пересекаться таким образом, что, комбинируя эти равенства, можно показать одноцветность элементов из разных прогрессий, причём их будет так много, что эти элементы образуют свою прогрессию длины [math]\displaystyle{ k }[/math], полностью одноцветную, что и требуется по условию.

Сводная таблица с некоторыми результатами

Арифметические условия на искомую структуру	Область поиска	Пространство
		Одномерное	Многомерное	[math]\displaystyle{ A^n }[/math] для конечного [math]\displaystyle{ A }[/math]
Арифметические прогрессии	Конечная раскраска	Теорема ван дер Вардена	Witt, 1952	Теорема Хейлса–Джеветта
	Бесконечная раскраска	Prömel, Rödl, 1986		Теорема имеет только конечную формулировку
	Плотное подмножество	Теорема Семереди (в том числе теорема Рота)	Теорема об уголках	Известны сильные обобщения теоремы Рота
Решения линейных уравнений или систем уравнений	Конечная раскраска	Теорема Радо Теорема Шура
	Бесконечная раскраска	Lefmann, 1986		Теорема имеет только конечную формулировку
	Плотное подмножество	Известны некоторые обобщения теоремы Рота
Значение полиномов в разностях	Конечная раскраска	Walters, 2000
	Бесконечная раскраска	Girão, 2020 Fox, Wigderson, Zhao, 2020		Теорема имеет только конечную формулировку
	Плотное подмножество	Bergelson, Leibman, 1996
		Отдельными методами доказаны теорема Фюрстенберга — Шаркози и квадратичная теорема Рота

Литература

• И. Д. Шкредов. Теорема Семереди и задачи об арифметических прогрессиях (рус.) // Успехи математических наук. — 2006. — Т. 61, вып. 6. — С. 111–178.

• A. Soifer. Ramsey Theory: Yesterday, Today, and Tomorrow (англ.). — Boston: Birkhäuser, 2011. — 189 p. — ISBN 978-0-8176-8091-6.

• А. Я. Хинчин. Три жемчужины теории чисел (рус.). — Москва: "Наука", 1979. — 66 с.

• M. Walters. Combinatorial proofs of the polynomial van der Waerden theorem and the polynomial Hales-Jewett theorem (англ.) // Journal of the London Mathematical Society. — 2000. — Vol. 61, iss. 1. — P. 1–12.

• V. Bergelson, A. Leibman. Polynomial extensions of van der Waerden's and Szemerédi's theorems (англ.) // Journal of the American Mathematical Society. — 1996. — Vol. 9, iss. 3. — P. 725–753.

• Р. Грэхем. Начала теории Рамсея (рус.). — Москва: "Мир", 1984. — 97 с.

• P. Erdős, R.L. Graham. Old and New Problems and Results in Combinatorial Number Theory (англ.) // L'Enseignement Mathematique. — 1980. — Vol. 25. — P. 325–344.

• W. Deuber, R. L. Graham, H. J. Prömel, B. Voigt. A canonical partition theorem for equivalence relations on [math]\displaystyle{ {\mathbb Z}^t }[/math] (англ.) // Journal of Combinatorial Theory, Series A. — 1983. — Vol. 34, iss. 3. — P. 331–339.

• H. J. Prömel, V. Rödl. An elementary proof of the canonizing version of Gallai-Witt's theorem (англ.) // Journal of Combinatorial Theory, Series A. — 1986. — Vol. 42, iss. 1. — P. 144–149.

• R. L. Graham, B. L. Rothschild, J. H. Spencer. Ramsey Theory (англ.). — 2-е изд.. — A wiley-interscience publication, 1990. — 196 p. — ISBN 0-471-50046-1.

• H. Lefmann. A canonical version for partition regular systems of linear equations (англ.) // Journal of Combinatorial Theory, Series A. — 1986. — Vol. 41, iss. 1. — P. 95–104.

• E. Witt. Ein kombinatorischer Satz der Elementargeometrie (нем.) // Mathematishe Nachrichten. — 1952.

• A. Girão. A Canonical Polynomial Van der Waerden's Theorem (англ.). — 2020. — arXiv:2004.07766.

• J. Fox, Y. Wigderson, Y. Zhao. A short proof of the canonical polynomial van der Waerden theorem (англ.). — 2020. — arXiv:2005.04135.

• S. Peluse, S. Prendiville. A polylogarithmic bound in the nonlinear Roth theorem (англ.). — 2020. — arXiv:2003.04122.

• N. Lyall. A new proof of Sarkozy's theorem (англ.) // Proceedings of the American Mathematical Society. — 2011. — Vol. 141, iss. 7. — arXiv:1107.0243.

• T. Schoen, I. D. Shkredov. Roth’s theorem in many variables (англ.) // Israel Journal of Mathematics. — 2014. — Vol. 199. — P. 287–308. — arXiv:1106.1601.

• T. Schoen, O. Sisask. Roth's theorem for four variables and additive structures in sums of sparse sets (англ.) // Forum of Mathematics, Sigma. — 2016. — Vol. 4. — arXiv:1408.2568.