Теорема Семереди

Теорема Семереди (ранее известная как гипотеза Эрдёша — Турана[1]) — утверждение комбинаторной теории чисел о наличии длинных арифметических прогрессий в плотных множествах.

Является классическим примером теоремы аддитивной комбинаторики. Некоторые приёмы её доказательства были использованы при доказательстве теоремы Грина — Тао[2].

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

Изначальная формулировка теоремы содержала только условие на плотность множества в целом.

В любом бесконечном множестве $A\subset {\mathbb {N} }$ положительной асимптотической плотности $D(A)>0$ существует прогрессия любой длины $k$ .[3]

Существует эквивалентный приведённому выше[4] конечный вариант.

Для любого $\delta >0$ и достаточно больших $N>N(k,\delta )$ любое множество $A\subset \left\lbrace {1,\dots ,N}\right\rbrace$ размера $|A|\geq \delta N$ содержит арифметическую прогрессию длины $k$ .

Конечный вариант важен в связи с возможностью формулировки количественных результатов о связи $\delta$ и $N$ . Он показывает, что в первом (бесконечном) варианте границей, за которой наличие прогрессий становится неизбежным, является не само по себе значение плотности, а некоторый закон распределения. Точное описание этой границы по состоянию на 2019 год неизвестно.

Конечный вариант теоремы останется эквивалентным если рассматривать $A\subset {\mathbb {Z} }_{N}$ и, соответственно, прогрессии в кольце вычетов по модулю $N$ . Такой подход открывает путь к доказательству с помощью тригонометрических сумм.

При $k=1$ или $k=2$ утверждение теоремы тривиально. Частный случай $k=3$ называется теоремой Рота. Его доказательство намного проще, чем для общего случая, и в литературе часто излагается отдельно. Кроме того, для теоремы Рота известны намного лучшие по сравнению с общими оценки критических значений $\delta$ , в том числе для обобщений на различные группы.

История

Впервые утверждение теоремы было сформулировано в качестве гипотезы Эрдёшом и Тураном[5] в 1936 году.

Случай $k=3$ был доказан в 1953 году Клаусом Ротом[6] путём адаптации кругового метода Харди — Литлвуда.

Случай $k=4$ доказал в 1969 году Эндре Семереди[7], используя комбинаторный метод, близкий к тому, какой был применён для доказательства случая $k=3$ . Рот[8] дал второе доказательство этого же случая в 1972 году.

Общий случай для любого $k$ доказал в 1975 году также Семереди[9], использовав изобретательные и сложные комбинаторные аргументы. Основу его доказательства составляет так называемая лемма регулярности, описывающая устройство произвольных графов с точки зрения псевдослучайности.

Позднее были найдены другие доказательства теоремы, среди них наиболее важные — это доказательство Фюрстенберга (нем. Hillel Fürstenberg)[10] 1977 года, использующее эргодическую теорию, и доказательство Гауэрса[11] 2001 года, использующее гармонический анализ и комбинаторику.

Оценки

Говоря о количественных оценках для теоремы Семереди, обычно имеют в виду размер наибольшего подмножества интервала $\{1,\dots ,N\}$ [12], не содержащего прогрессий заданной длины:

$a_{k}(N)=\max \left\lbrace {|A|:A\subset \{1,\dots ,N\},\ \not \exists a,d:\ \{a,a+d,\dots ,a+(k-1)d\}\subset A}\right\rbrace$

Таким образом, для вывода верхних оценок на $a_{k}(N)$ нужны общие доказательства, а для доказательства нижних (то есть опровержения соответствующих верхних) достаточно предъявить конструкцию одного контрпримера.

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

Первое общее доказательство теоремы Семереди ввиду использования леммы регулярности давало очень плохие оценки на зависимость $\delta =\delta (N)$ , выражаемые через башни из экспонент.

Количественные оценки, сходные с соответствующими оценками для теоремы Рота, получил Гауэрс в 2001 году[11]:

$a_{k}(N)\ll {\frac {N}{(\log N)^{c_{k}}}}$ , где $c_{k}=2^{-2^{k+9}}$

Для случая $k=3$ существуют намного лучшие оценки, полученные специфичными для этого случая методами.[13]

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

В случае $k=3$ наибольшей (на 2019 год) конструкцией множества без прогрессий является конструкция Беренда. Она даёт множества размера $\exp \left({-O\left({{\left({\log N}\right)}^{\frac {1}{2}}}\right)}\right)N$ .

Ранкин в 1961 году обобщил эту конструкцию на произвольные $k$ , построив множество размера $\exp \left({-O\left({{\left({\log N}\right)}^{\frac {1}{k-1}}}\right)}\right)N$ без прогрессий длины $k$ .[14]

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

Конструкция Беренда ставит в соответствие числу точку в многомерном пространстве, координаты которой соответствуют разрядам числа в некоторой системе счисления. Множество составляется из точек, соответствующих в этом смысле точкам некоторой сферы. Строгая выпуклость сферы гарантирует отсутствие трёх точек на одной прямой, а значит, и трёхчленных прогрессий.

Идея Ранкина заключается в итерировании этого приёма. Например, для $k=4$ берутся точки (и их образы в системе счисления) не из одной сферы, а из всех сфер, квадраты радиусов которых принадлежат множеству, образованному по типу множества Беренда (конструкции для $k=3$ ). Для $k=5$ – из сфер, квадраты радиусов которых принадлежат множеству точек из предыдущего предложения, и т. п.

При этом основание системы счисления и ограничения на значение цифр на каждой итерации подбираются специальным образом чтобы можно было доказать лемму о числе решений уравнения $x_{1}^{2}+\dots +x_{k}^{2}=N$ при таких условиях, поэтому фактически множества точек, возникающих на промежуточных этапах построения, не являются оптимальными по размеру для меньших значений $k$ .

Связь с другими теоремами

Теорема Семереди является прямым обобщением теоремы ван дер Вардена, поскольку при разделении натуральных чисел на конечное число классов хотя бы один из них будет иметь положительную плотность.

Из достаточно хороших верхних оценок на критические значения плотности в теореме Семереди может следовать гипотеза Эрдёша об арифметических прогрессиях.[15]

См. также

Литература

Руэ, Хуанхо. Искусство подсчёта. Комбинаторика и перечисление. — М.: Де Агостини, 2014. — С. 123—132. — 144 с. — (Мир математики: в 45 томах, том 34). — ISBN 978-5-9774-0729-8.
Tao, Terence The ergodic and combinatorial approaches to Szemerédi's theorem // Additive Combinatorics (неопр.) / Granville, Andrew; Nathanson, Melvyn B.; Solymosi, József. — American Mathematical Society, 2007. — Т. 43. — С. 145—193. — (CRM Proceedings & Lecture Notes). — ISBN 978-0-8218-4351-2.
И. Д. Шкредов. Теорема Семереди и задачи об арифметических прогрессиях (рус.) // Успехи математических наук. — Российская академия наук, 2006. — Вып. 6. — С. 111—179.

Примечания

Существует также другая гипотеза, названная именами этих учёных — гипотеза Эрдёша — Турана на аддитивных базисах
Шкредов, 2006, с. 159-165.
Из теоремы не следует существование в $A$ бесконечных арифметических прогрессий, и такое утверждение действительно было бы неверно. Например, контрпримером является множество чисел, содержащих единицу в первом разряде десятичной записи.
Шкредов, 2006, с. 113.
Erdős, Paul & Turán, Paul (1936), On some sequences of integers, Journal of the London Mathematical Society Т. 11 (4): 261–264, doi:10.1112/jlms/s1-11.4.261, <http://www.renyi.hu/~p_erdos/1936-05.pdf>.
Roth, Klaus Friedrich (1953), On certain sets of integers, I, Journal of the London Mathematical Society Т. 28: 104–109, Zbl 0050.04002, MR: 0051853, DOI 10.1112/jlms/s1-28.1.104.
Szemerédi, Endre (1969), On sets of integers containing no four elements in arithmetic progression, Acta Math. Acad. Sci. Hung. Т. 20: 89–104, Zbl 0175.04301, MR: 0245555, DOI 10.1007/BF01894569
Roth, Klaus Friedrich (1972), Irregularities of sequences relative to arithmetic progressions, IV, Periodica Math. Hungar. Т. 2: 301–326, MR: 0369311, DOI 10.1007/BF02018670.
Szemerédi, Endre (1975), On sets of integers containing no k elements in arithmetic progression, Acta Arithmetica Т. 27: 199–245, Zbl 0303.10056, MR: 0369312, <http://matwbn.icm.edu.pl/ksiazki/aa/aa27/aa27132.pdf>.
Furstenberg, Hillel (1977), Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. D’Analyse Math. Т. 31: 204–256, MR: 0498471, DOI 10.1007/BF02813304.
Gowers, Timothy (2001), A new proof of Szemerédi's theorem, Geom. Funct. Anal. Т. 11 (3): 465–588, MR: 1844079, doi:10.1007/s00039-001-0332-9, <http://www.dpmms.cam.ac.uk/~wtg10/sz898.dvi>.
Или циклической группы ${\mathbb {Z} }_{N}$ , что совпадает с точностью до константы.
A quantitative improvement for Roth's theorem on arithmetic progressions, Journal of the London Mathematical Society Т. 93 (3): 643-663, 2016.
Rankin, Robert A. (1962), Sets of integers containing not more than a given number of terms in arithmetical progression, Proc. Roy. Soc. Edinburgh Sect. A Т. 65: 332–344, Zbl 0104.03705, MR: 0142526.
Шкредов, 2006, с. 139-140.

Ссылки

Announcement by Ben Green and Terence Tao — the preprint is available at math.NT/0404188
Discussion of Szemerédi’s theorem (part 1 of 5)
Ben Green and Terence Tao: Szemerédi’s theorem on Scholarpedia
Weisstein, Eric W. SzemeredisTheorem (англ.) на сайте Wolfram MathWorld.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Существует также другая гипотеза, названная именами этих учёных — гипотеза Эрдёша — Турана на аддитивных базисах

[_30a4f17a47367dc9-2] Шкредов, 2006, с. 159-165.

[3] Из теоремы не следует существование в $A$ бесконечных арифметических прогрессий, и такое утверждение действительно было бы неверно. Например, контрпримером является множество чисел, содержащих единицу в первом разряде десятичной записи.

[_700779f3019aef26-4] Шкредов, 2006, с. 113.

[erdos_turan-5] Erdős, Paul & Turán, Paul (1936), On some sequences of integers, Journal of the London Mathematical Society Т. 11 (4): 261–264, doi:10.1112/jlms/s1-11.4.261, <http://www.renyi.hu/~p_erdos/1936-05.pdf>.

[6] Roth, Klaus Friedrich (1953), On certain sets of integers, I, Journal of the London Mathematical Society Т. 28: 104–109, Zbl 0050.04002, MR: 0051853, DOI 10.1112/jlms/s1-28.1.104.

[7] Szemerédi, Endre (1969), On sets of integers containing no four elements in arithmetic progression, Acta Math. Acad. Sci. Hung. Т. 20: 89–104, Zbl 0175.04301, MR: 0245555, DOI 10.1007/BF01894569

[8] Roth, Klaus Friedrich (1972), Irregularities of sequences relative to arithmetic progressions, IV, Periodica Math. Hungar. Т. 2: 301–326, MR: 0369311, DOI 10.1007/BF02018670.

[9] Szemerédi, Endre (1975), On sets of integers containing no k elements in arithmetic progression, Acta Arithmetica Т. 27: 199–245, Zbl 0303.10056, MR: 0369312, <http://matwbn.icm.edu.pl/ksiazki/aa/aa27/aa27132.pdf>.

[10] Furstenberg, Hillel (1977), Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions, J. D’Analyse Math. Т. 31: 204–256, MR: 0498471, DOI 10.1007/BF02813304.

[gowers-11] Gowers, Timothy (2001), A new proof of Szemerédi's theorem, Geom. Funct. Anal. Т. 11 (3): 465–588, MR: 1844079, doi:10.1007/s00039-001-0332-9, <http://www.dpmms.cam.ac.uk/~wtg10/sz898.dvi>.

[12] Или циклической группы ${\mathbb {Z} }_{N}$ , что совпадает с точностью до константы.

[13] A quantitative improvement for Roth's theorem on arithmetic progressions, Journal of the London Mathematical Society Т. 93 (3): 643-663, 2016.

[14] Rankin, Robert A. (1962), Sets of integers containing not more than a given number of terms in arithmetical progression, Proc. Roy. Soc. Edinburgh Sect. A Т. 65: 332–344, Zbl 0104.03705, MR: 0142526.

[_208c2fb87a0a1440-15] Шкредов, 2006, с. 139-140.