Теорема Рота

См. также: Теорема Туэ — Зигеля — Рота

Теорема Рота — результат аддитивной комбинаторики, частный случай теоремы Семереди для прогрессий длины 3; утверждает присутствие арифметических прогрессий ${\displaystyle (a,a+d,a+2d),\ d\not =0}$ в любых достаточно плотных множествах.

Точная формулировка: для любого ${\displaystyle \delta \in (0;1)}$ любое множество ${\displaystyle A\subset {\mathbb {N} }}$, имеющее асимптотическую плотность ${\displaystyle d(A)>\delta }$, содержит арифметическую прогрессию длины 3.

Аналогичные формулировки, использующие верхнюю и нижнюю асимптотическую плотность, эквивалентны^[1].

Также эквивалентна исходной и формулировка для конечных множеств: для любого ${\displaystyle \delta \in (0;1)}$ существует ${\displaystyle N_{0}=N_{0}(\delta )}$ такое, что если ${\displaystyle N>N_{0}}$, ${\displaystyle A\subset \left\lbrace {1,2,\dots ,N}\right\rbrace }$ и ${\displaystyle |A|>\delta N}$, то ${\displaystyle A}$ содержит арифметическую прогрессию длины 3. Подавляющее большинство доказательств доказывает именно формулировку для конечных множеств.

История улучшения количественных оценок

Размер максимального подмножества ${\displaystyle \{1,\dots ,N\}}$ без прогрессий длины 3
Год публикации	Размер (с точностью до константы)	Автор(ы)
1953	${\displaystyle {\frac {N}{\log \log N}}}$	Рот[2]
1987	${\displaystyle {\frac {N}{(\log N)^{c}}},\ c>0}$	Хиз-Браун^[англ.][3][4]
1999	${\displaystyle {\frac {N(\log \log N)^{1/2}}{(\log N)^{1/2}}}}$	Бургейн[5]
2008	${\displaystyle {\frac {N(\log \log N)^{2}}{(\log N)^{2/3}}}}$	Бургейн[6]
2012	${\displaystyle {\frac {N}{(\log N)^{3/4-o(1)}}}}$	Сандерс^[англ.][7]
2011	${\displaystyle {\frac {(\log \log N)^{5}}{\log N}}N}$	Сандерс[8]
2014	${\displaystyle {\frac {(\log \log N)^{4}}{\log N}}N}$	Блум[9]
2020 (препринт)	${\displaystyle {\frac {(\log \log N)^{3}(\log \log \log N)^{5}}{\log N}}N}$	Шоен^[пол.][10]
2020 (препринт)	${\displaystyle {\frac {N}{(\log N)^{1+c}}},\ c>0}$	Блум, Сисаск[11]

Различные доказательства

Гармонический анализ

Теорема была впервые доказана в 1953 году Клаусом Ротом^[2][12] путём адаптации кругового метода Харди — Литтлвуда. Доказательство использовало идею^[13], впоследствии обобщённую и для общего доказательства теоремы Семереди: все множества заданной плотности разбиваться на две группы — «равномерные» и «неравномерные», причём под «равномерностью» понимается верхняя оценка на коэффициенты Фурье. Если множество равномерно, то наличие прогрессий в нём можно доказать напрямую, а иначе можно доказать наличие подпрогрессии, в которой плотность множества больше чем среди отрезка натурального ряда, к которому оно принадлежит.

Метод позволяет вывести оценку ${\displaystyle N_{0}(\delta )\leqslant e^{e^{\frac {c}{\delta }}}}$. Технические подробности доказательства, граница коэффициентов Фурье, определяющая «равномерность», и получаемые константы могут отличаться в разных источниках.

Комбинаторное (через лемму Семереди)

Доказательство теоремы Рота можно вывести^[14] как частный случай теоремы Семереди из доказательства Семереди. Такой способ доказательства требует использования леммы регулярности Семереди и теоремы об уголках, откуда теорема Рота следует напрямую. Возможно^[15] даже обойтись без использования теоремы об уголках, а выводить теорему Рота напрямую из леммы об удалении треугольников, но только в формулировке для конечных циклических групп (см. раздел «Обобщения на различные группы»).

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

Элементарное (через обобщённые арифметические прогрессии)

Роналд Грэхем в своей книге о теории Рамсея приводит упрощённый вариант доказательства, также основанный на методе Семереди, однако не использующий лемму регулярности. В доказательстве используются обобщённые арифметические прогрессии вида ${\displaystyle a+\sum \limits _{k=1}^{n}{\epsilon _{k}x_{k}}\ (\epsilon _{i}\in \left\lbrace {0,1}\right\rbrace )}$, доказать присутствие которых во множестве намного более просто, а из этого уже выводится сама теорема Рота.

Доказательство Грэхема не даёт оценок на ${\displaystyle N}$, а только показывает существование, поскольку использует существование точки в последовательности, начиная с которой все точки достаточно близки к пределу, но для предела также доказано только существование, а характер сходимости в принципе не анализируется.

Контрпримеры для неплотных множеств

Наряду с нахождением верхних оценок размера множества ${\displaystyle A\subset \left\lbrace {1,\dots ,N}\right\rbrace }$ без арифметических прогрессий, существует также обратная задача — конструирование как можно большего множества ${\displaystyle A}$, не содержащего арифметических прогрессий, то есть контрпримера для обозначения границ улучшаемости оценок на ${\displaystyle N_{0}(\delta )}$. Все известные конструкции таких множеств основываются на идее рассмотрения отдельных разрядов чисел в некоторой системе счисления и задания условий на значения этих разрядов.

Эрдёш, Туран (1936)

Первый пример множества без прогрессий привели в 1936 году Эрдёш и Туран, предложив рассмотреть числа, которые в троичной системе содержат только цифры 0 и 2. Такое множество содержит всего лишь ${\displaystyle N^{\log _{3}{2}}}$ чисел, что очень мало по сравнению с верхними оценками.^[16]

Доказательство корректности конструкции

Пусть ${\displaystyle A}$ --- множество Эрдёша--Турана.

Если ${\displaystyle a,b\in A}$ и ${\displaystyle a<b}$, то в троичной системе в самом старшем разряде ${\displaystyle i}$, где различны эти числа выполняются равенства ${\displaystyle a_{i}=0,\ b_{i}=2}$. Поэтому в арифметической прогрессии ${\displaystyle a<c<b}$ выполнялось бы ${\displaystyle c_{i}=1}$, а значит, ${\displaystyle c\not \in A}$.

Салем, Спенсер (1942)

Салем и Спенсер в 1942 году обобщили идею Эрдёша и Турана на системы счисления с растущим (зависящим от размера множества) основанием и получили множество без прогрессий размера ${\displaystyle \exp \left({-O\left({\frac {\log N}{\log \log N}}\right)}\right)N}$.^[17]

Краткое описание конструкции

В конструкции Эрдёша--Турана вполне можно разрешать цифры 0 и 1 вместо 0 и 2 (тогда в доказательстве корректности место среднего числа в прогрессии будет занимать большее). По аналогии с этим Салем и Спенсер в ${\displaystyle d}$-ичной системе рассматривали числа, содержащие только цифры от 0 до ${\displaystyle {\frac {d-1}{2}}}$, причём равное количество вхождений каждой цифры (с поправкой на асимптотику ${\displaystyle d}$ можно считать нечётным, а общее число цифр --- делящим ${\displaystyle {\frac {d-1}{2}}}$).

Наличие прогрессий блокируется условием на вхождения отдельных цифр. Действительно, если ${\displaystyle a+c=2b}$ и при сложении не используется перенос, то все нули в ${\displaystyle 2b}$ (а значит, и в ${\displaystyle b}$) могут быть образованы только сложением нулей из соответствующих разрядов ${\displaystyle a}$ и ${\displaystyle c}$. Далее по индукции можно доказать совпадение у ${\displaystyle a,b,c}$ позиций всех единиц, двоек и т. д. и прийти к выводу, что ${\displaystyle a=b=c}$.

Заявленная оценка получается при рассмотрении ${\displaystyle d\asymp {\frac {\log N}{(\log \log N)^{2}}}}$.

Беренд (1946)

В 1946 году Беренд^[англ.] добавил геометрическую интерпретацию, сопоставив разрядам числа координаты точек в многомерном пространстве и рассматривая числа, соответствующие в этом смысле точкам сферы. Это позволило построить не содержащее прогрессий множество размера ${\displaystyle \exp \left({-O\left({\sqrt {\log N}}\right)}\right)N}$.^[18]

Краткое описание конструкции

Все числа ${\displaystyle x<(2m+1)^{n}}$ с цифрами не больше ${\displaystyle m}$ и ${\displaystyle (2m+1)}$-ричным представление ${\displaystyle x=x_{1}x_{2}\dots x_{n}}$ разбиваются на группы с одинаковыми значениями ${\displaystyle \sum \limits _{i=1}^{n}{x_{i}^{2}}}$. В качестве множества выбирается наибольшая из этих групп и её размер оценивается по принципу Дирихле.

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

Размер множество оценивается лучше всего при ${\displaystyle n\asymp {\sqrt {\log N}}}$

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

Поскольку для некоторых обобщений теоремы Рота известны верхние оценки похожего типа^[20][21], есть основания полагать, что оценка Беренда точна.

Вариации и обобщения для различных групп

Для конечных циклических групп

И доказательство через гармонический анализ, и определённый способ применения леммы Семереди доказывают не саму теорему, а её «циклический» вариант.

Для любого ${\displaystyle \delta \in (0;1)}$ существует ${\displaystyle N_{0}=N_{0}(\delta )}$ такое, что если ${\displaystyle N>N_{0}}$, ${\displaystyle A\subset \mathbb {Z} _{N}}$ и ${\displaystyle |A|>\delta N}$, то ${\displaystyle A}$ содержит тройку ${\displaystyle (a,a+d,a+2d),\ d\not =0}$, где под сложением понимается именно сложение по модулю

Обещаемые данной формулировкой прогрессии могут быть прогрессиями в ${\displaystyle {\mathbb {Z} }_{N}}$, но не быть таковыми в ${\displaystyle {\mathbb {N} }}$ (например, ${\displaystyle (N-2,N-1,0)}$). Однако теорема Рота очевидным образом следует из неё если рассмотреть множество ${\displaystyle \left\lbrace {N+a:a\in A}\right\rbrace }$ как множество вычетов в ${\displaystyle \mathbb {Z} _{3N}}$. Это лишь на константу меняет плотность, но делает все прогрессии подходящими для ${\displaystyle {\mathbb {N} }}$. Следовательно, эта теорема эквивалентна основной теореме Рота.

Для групп с малым фиксированным кручением

Следующая теорема, сходная по идее с теоремой Рота, не следует из неё и не влечет её, но представляет интерес для отдельного изучения.

Пусть фиксированно некоторое ${\displaystyle q\geq 3}$. Тогда для любого ${\displaystyle \delta \in (0;1)}$ существует такое ${\displaystyle n_{0}=n_{0}(\delta ,q)}$, что если ${\displaystyle n>n_{0},\ A\subset {\mathbb {F} }_{q}^{n},\ |A|>\delta q^{n}}$, то ${\displaystyle \exists a,d(d\not =(0,\dots ,0)):a,a+d,a+2d\in A}$

Верхние оценки

Впервые теорема для групп ${\displaystyle {\mathbb {F} }_{p}^{n}}$ была доказана доказана Брауном и Бахлером в 1982 году^[22], однако они только доказали, что для множеств без арифметических прогрессий выполняется ${\displaystyle |A|=o(q^{n})}$, но более точные ограничения на ${\displaystyle |A|}$ оставались открытым вопросом.

В 1993 году (опубликовано в 1995) Рой Мешулам (Roy Meshulam) доказал^[23], что ${\displaystyle |A|\leq 2{\frac {q^{n}}{n}}}$. Его доказательство рассматривало произвольные группы и их характеры. Существуют также более упрощённые^[24] варианты этого доказательства, исключительно для ${\displaystyle {\mathbb {F} }_{p}^{n}}$, которые, используя коэффициенты Фурье в ${\displaystyle {\mathbb {F} }_{p}^{n}}$, напрямую обобщают идеи из аналитического доказательства теоремы Рота. Доказательство получается технически даже более простым, чем доказательство самой теоремы Рота, так что часто^[24][25] даётся в качестве первого примера применения метода.

В 2012 году Бэйтман и Кац, рассматривая случай ${\displaystyle q=3}$, доказали^[26] существование ${\displaystyle \epsilon >0}$ и абсолютной константы ${\displaystyle C}$, такой, что для ${\displaystyle A\subset {\mathbb {F} }_{3}^{n}}$ без арифметических прогрессий выполняется ${\displaystyle |A|\leq {\frac {3^{n}}{n^{1+\epsilon }}}}$.

В 2016 году Крут, Лев и Пах доказали^[27] для случая ${\displaystyle q=4}$, что ${\displaystyle |A|\leq {3.62}^{n}}$ для множеств ${\displaystyle A\subset {\mathbb {F} }_{4}^{n}}$ без прогрессий. Ellenberg и Gijswijt, обобщая метод Крута, Лева и Паха, используя алгебру многочленов, доказали^[28][29] существование для каждого просто ${\displaystyle q\geq 3}$ константы ${\displaystyle c=c(q)<q}$ такой, что ${\displaystyle |A|=O(c^{n})}$ если ${\displaystyle A\subset {\mathbb {F} }_{q}^{n}}$ не содержит прогрессий длины 3. В их работе ${\displaystyle c(q)={\frac {q}{exp({\sup \limits _{\theta }\left\lbrace {{\frac {q-1}{3}}\theta +\ln {\frac {e^{q\theta }-1}{q(e^{\theta }-1)}}}\right\rbrace })}}}$. В частности, для случая ${\displaystyle q=3}$ выполняется ${\displaystyle |A|=o(2.756^{n})}$. При предположении ${\displaystyle \theta ={\frac {c_{0}}{q}}}$ из оптимизации функции ${\displaystyle {\frac {c}{3}}-\ln {\frac {e^{c}-1}{c}}}$ следует, что ${\displaystyle c(q)\sim {\frac {e^{c_{0}}-1}{c_{0}e^{(c_{0}/3)}}}q}$, где ${\displaystyle c_{0}}$ — абсолютная константа, являющаяся решением уравнения ${\displaystyle 2ce^{c}-3e^{c}+c+3=0}$, то есть ${\displaystyle c(q)\sim c_{1}q}$, где ${\displaystyle c_{1}\approx 0.841434...}$

Нижние оценки

Наилучшая^[28] по состоянию на 2016 год конструкция-контрпример позволяет^[30] строить для групп вида ${\displaystyle {\mathbb {F} }_{3}^{n}}$ множества размера ${\displaystyle \Omega (2.2^{n})}$, не содержащие арифметических прогрессий длины 3.

Для произвольных групп

В работе Мешулама рассматривается^[23] теорема Рота для произвольной группы ${\displaystyle G={\mathbb {Z} }_{k_{1}}\oplus \dots \oplus {\mathbb {Z} }_{k_{n}}}$ и выводится оценка ${\displaystyle |A|<2{\frac {|G|}{n}}}$ для множества без арифметических прогрессий длины 3.

Из этого следует существование абсолютной константы ${\displaystyle \beta >0}$ такой, что для множества ${\displaystyle A\subset G}$ без прогрессий выполняется ${\displaystyle |A|<{\frac {|G|}{(\log {|G|})^{\beta }}}}$

Двумерное обобщение

Основная статья: Теорема об уголках

Классическим обобщением теоремы Рота для двумерных множеств ${\displaystyle A\subset \left\lbrace {1,\dots ,N}\right\rbrace \times \left\lbrace {1,\dots ,N}\right\rbrace }$ считается теорема об уголках. Хотя там и не упоминаются арифметические прогрессии (в двумерном смысле), но теорема Рота из неё следует.

См. также

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

Литература

• K. F. Roth. On Certain Sets of Integers (англ.) // Journal of the London Mathematical Society. — 1953. — P. 104—109. — doi:10.1112/jlms/s1-28.1.104.
• D. R. Heath-Brown. Integer Sets Containing No Arithmetic Progressions (англ.) // Journal of the London Mathematical Society. — 1987. — Vol. s2-35, iss. 3. — P. 385—394. — doi:10.1112/jlms/s2-35.3.385.
• E. Szemerédi. Integer sets containing no arithmetic progressions (англ.) // Acta Mathematica Hungarica. — 1990. — Vol. 56. — P. 155—159. — doi:10.1007/BF01903717.
• J. Bourgain. On Triples in Arithmetic Progression (англ.) // Geometric & Functional Analysis GAFA. — 1999. — Vol. 9. — P. 968—984. — doi:10.1007/s000390050105.
• J. Bourgain. Roth’s theorem on progressions revisited (англ.) // Journal d'Analyse Mathématique. — 2008. — Vol. 104. — P. 155—192. — doi:10.1007/s11854-008-0020-x.
• T. Sanders. On certain other sets of integers (англ.) // Journal d’Analyse Mathématique. — 2012. — Vol. 116. — P. 53—82. — doi:10.1007/s11854-012-0003-9. — arXiv:1007.5444.
• T. Sanders. On Roth’s theorem on progressions (англ.) // Annals of Mathematics. — 2011. — Vol. 174. — P. 619—636. — doi:10.4007/annals.2011.174.1.20. — arXiv:1011.0104.
• T. F. Bloom. A quantitative improvement for Roth's theorem on arithmetic progressions (англ.) // Journal of the London Mathematical Society. — 2014. — Vol. 93, iss. 3. — P. 643—663. — doi:10.1112/jlms/jdw010. — arXiv:1405.5800.
• T. Schoen. Improved bound in Roth’s theorem on arithmetic progressions (англ.). — 2020. — arXiv:2005.01145.
• T. F. Bloom, O. Sisask. Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions (англ.). — 2020. — arXiv:2007.03528.

Примечания

1. И. Д. Шкредов, «Теорема Семереди и задачи об арифметических прогрессиях», УМН, 61:6(372) (2006), 111—178; Russian Math. Surveys, 61:6 (2006), 1101—1166  (неопр.). Дата обращения: 23 декабря 2017. Архивировано 24 декабря 2017 года.
2. Roth, 1953.
3. Heath-Brown, 1987.
4. Szemerédi, 1990.
5. Bourgain, 1999.
6. Bourgain, 2008.
7. Sanders, 2012.
8. Sanders, 2011.
9. Bloom, 2014.
10. Schoen, 2020.
11. Bloom, Sisask, 2020.
12. Доказательство Рота в изложении Харольда Хельфготта на русском языке  (неопр.). Дата обращения: 23 декабря 2017. Архивировано из оригинала 24 декабря 2017 года.
13. Постнаука, Илья Шкредов — Теорема Семереди
14. Лаборатория Чебышёва, курс лекций «Аддитивная комбинаторика», лекция 3
15. A mini course on additive combinatorics Архивная копия от 29 августа 2017 на Wayback Machine, p. 6
16. P. Erdős, P. Turán, "On some sequences of integers", Journal of the London Mathematical Society (June 1936)  (неопр.). Дата обращения: 23 декабря 2019. Архивировано 23 декабря 2019 года.
17. R. Salem, D. C. Spencer, Proc. Natl. Acad. Sci. USA, 28 (1942), 561—563  (неопр.). Дата обращения: 23 декабря 2017. Архивировано 3 июня 2018 года.
18. F. A. Behrend, «On sets of integers which contain no three terms in arithmetic progression», Proc. Natl. Acad. Sci. USA, 32 (1946), 331—332.  (неопр.) Дата обращения: 23 декабря 2017. Архивировано 4 июня 2018 года.
19. Michael Elkin, "An improved construction of progression-free sets", Israel Journal of Mathematics, 184:93 (August 2011)  (неопр.). Дата обращения: 23 декабря 2019. Архивировано 27 ноября 2018 года.
20. T. Schoen, I. D. Shkredov, «Roth’s theorem in many variables», Israel Journal of Mathematics, volume 199, pages 287—308 (2014) Архивная копия от 23 декабря 2019 на Wayback Machine (arXiv:1106.1601 Архивная копия от 23 декабря 2019 на Wayback Machine)
21. T. Schoen, O. Sisask, «Roth’s theorem for four variables and additive structures in sums of sparse sets», Forum of Mathematics Forum of Mathematics, Sigma, 4, E5. doi:10.1017/fms.2016.2 Архивная копия от 1 мая 2020 на Wayback Machine (arXiv:1408.2568 Архивная копия от 23 декабря 2019 на Wayback Machine)
22. T. C. Brown and J. P. Buhler, A density version of a geometric Ramsey theorem, Journal of Combinatorial Theory, Series A 32 (1982), no. 1, 20—34.  (неопр.) Дата обращения: 23 декабря 2017. Архивировано 9 августа 2017 года.
23. R. Meshulam, On subsets of finite abelian groups with no 3-term arithmetic progressions, Journal of Combinatorial Theory, Series A 71 (1995), no. 1, 168—172. (недоступная ссылка)
24. A mini course on additive combinatorics Архивная копия от 29 августа 2017 на Wayback Machine, p. 39-42
25. Лаборатория Чебышёва, Илья Шкредов, Аналитические методы в аддитивной комбинаторике, обзорная лекция
26. M. Bateman and N. Katz, New bounds on cap sets, Journal of the American Mathematical Society 25 (2012), no. 2, 585—613.  (неопр.) Дата обращения: 23 декабря 2017. Архивировано 9 января 2018 года.
27. E. Croot, V. Lev, and P. P. Pach, Progression-free sets in Z_n^4 are exponentially small (2016). arXiv preprint 1605.01506.  (неопр.) Дата обращения: 23 декабря 2017. Архивировано 12 июня 2018 года.
28. Доказательство теоремы Рота для групп с малым кручением на arxiv.org  (неопр.). Дата обращения: 23 декабря 2017. Архивировано 12 июня 2018 года.
29. Изложение доказательства Ellenberg и Gijswijt на русском языке
30. Y. Edel, Extensions of generalized product caps, Designs, Codes and Cryptography 31 (2004), no. 1, 5—14.  (неопр.) Дата обращения: 23 декабря 2017. Архивировано 10 января 2018 года.