Арифметическая комбинаторика — междисциплинарная область математики, изучающая зависимость между структурами, образуемыми в поле (реже — в кольце ) операцией сложения и операцией умножения.

Подход к понятию структуры здесь аналогичен аддитивной комбинаторике и базируется в основном на размере множества сумм (или произведений), аддитивной (или мультипликативной) энергии и различных их комбинациях. В качестве поля обычно рассматриваются вещественные или рациональные числа ( ${\displaystyle {\mathbb {R} }}$ , ${\displaystyle {\mathbb {Q} }}$ ) и вычеты по простому модулю ( ${\displaystyle {\mathbb {F} }_{p}}$ ).

Неоднозначность терминологии и предмет статьи

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

Кроме того, здесь не затрагиваются вопросы об аддитивно-комбинаторных свойствах мультипликативных подгрупп ${\displaystyle {\mathbb {F} }_{p}^{*}}$ и связанных с ними множеств, поскольку, хотя их определение и связано с умножением, но их мультипликативная структура жёстко зафиксироана, а комбинаторная составляющая этой науки предполагает ту или иную общность относительно степени структурированности (хотя бы с параметром, выступающим в роли константы).

Мотивация

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

${\displaystyle A+A=\left\lbrace {a_{1}+a_{2}:a_{1},a_{2}\in A}\right\rbrace }$

${\displaystyle A\times A=\left\lbrace {a_{1}\cdot a_{2}:a_{1},a_{2}\in A}\right\rbrace }$

Из этого следует, что комбинирование этих операций также влечёт разрастание: если ${\displaystyle \{0,1\}\subset A}$ , то

${\displaystyle |A(A+A)|\gg \max\{|A(A+0)|,|1(A+A)|\}=\max\{|AA|,|A+A|\}}$ ,

а добавление в ${\displaystyle A}$ конечного числа элементов влияет на рост лишь несущественно. Поскольку теорема сумм-произведений доказана лишь в слабой форме (далёкой от гипотезы), некоторые учёные стали интересоваться получением утверждений такого рода, которые следовали бы из более сильных форм гипотезы, чем доказанные, а впоследствии — в целом изучением соотношения между результатами разных комбинаций двух операций поля.

Например, гипотеза Эрдёша — Семереди о суммах-произведениях гласит, что

${\displaystyle \max\{|A+A|,|AA|\}\geq |A|^{2-o(1)}\ \forall A\subset {\mathbb {R} }}$

Из этой гипотезы следовало бы, что ${\displaystyle |AA+A|\geq |A|^{2-o(1)}}$ , но для множеств ${\displaystyle A\subset {\mathbb {N} }}$ такой результат легко получить и без неё простым комбинаторным рассуждением.

Задачи и результаты

В этом разделе для описания результатов используется общепринятые записи (пояснение приведено в O-нотации ):

• ${\displaystyle X\ll Y}$ означает, что ${\displaystyle X=O(Y)}$

• ${\displaystyle X\lesssim Y}$ означает, что ${\displaystyle X\leq (\log |A|)^{O(1)}Y}$

Рациональные выражения

Постановка вопроса

Пусть рациональным выражением над множествами ${\displaystyle A_{1},\dots ,A_{k}}$ называется любая комбинация арифметических операций ( ${\displaystyle +,-,\times ,/}$ ) между ними. Под операцией здесь имеется в виду применение по принципу множества сумм:

${\displaystyle A\circ B=\{a\circ b\ :\ a\in A,\ b\in B\}}$

Например, следующие множества являются рациональными выражениями над ${\displaystyle A,B,C}$ :

• сами множества ${\displaystyle A,\ B,\ C}$ ;

• ${\displaystyle A(A-A)=\{a(b-c)\ :\ a,b,c\in A\}}$ — рациональное выражение над ${\displaystyle A}$ ;

• ${\displaystyle A+BC=\{a+bc\ :\ a\in A,\ b\in B,\ c\in C\}}$ .

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

${\displaystyle E_{AB+C}=\#\{(a_{1},a_{2},b_{1},b_{2},c_{1},c_{2})\in A^{2}\times B^{2}\times C^{2}|:\ a_{1}+b_{1}c_{1}=a_{2}+b_{2}c_{2}\}}$

Существенную часть проблематики арифметической комбинаторики можно выразить следующей постановкой вопроса.

Пусть ${\displaystyle {\mathbb {F} }}$ — некоторое поле (либо бесконечное, либо достаточно большое из заданного семейства конечных), ${\displaystyle R_{1},\dots ,R_{n}}$ — рациональные выражения, причём хотя бы в одном из них используется ${\displaystyle +}$ или ${\displaystyle -}$ и хотя бы в одном ${\displaystyle \cdot }$ или ${\displaystyle /}$ . Пусть также для некоторых ${\displaystyle N}$ и множеств ${\displaystyle A_{1},\dots ,A_{k}\subset {\mathbb {F} }}$ выполнены соотношения ${\displaystyle |A_{j}|=N^{\alpha _{j}},\ j=1,\dots ,k}$ ${\displaystyle |R_{i}(A_{1},\dots ,A_{k})|=N^{\beta _{i}},\ i=1,\dots ,n}$ ${\displaystyle E_{R_{i}(A_{1},\dots ,A_{k})}=N^{\gamma _{i}},\ i=1,\dots ,n}$ Вопрос Как при ${\displaystyle N\to \infty }$ ограничено множество возможных значений ${\displaystyle (\alpha _{1},\dots ,\alpha _{k},\beta _{1},\dots ,\beta _{k},\gamma _{1},\dots ,\gamma _{n})}$ в зависимости от ${\displaystyle {\mathbb {F} },R_{1},\dots ,R_{n}}$ ? Примечание Если поле конечное, то набор ${\displaystyle (\alpha _{1},\dots ,\gamma _{n})}$ уместно дополнить параметром ${\displaystyle \varepsilon }$ , где ${\displaystyle N=|{\mathbb {F} }|^{\varepsilon }}$ .

Например, гипотеза о суммах-произведениях утверждает, что если ${\displaystyle {\mathbb {F} }={\mathbb {R} }}$ , ${\displaystyle R_{1}(A)=A+A}$ , ${\displaystyle R_{2}(A)=A\cdot A}$ , то ${\displaystyle \max\{\gamma _{1},\gamma _{2}\}=2}$ (здесь ${\displaystyle k=1,\ n=2}$ ).

Как правило, получается вывести линейные соотношения между величинами ${\displaystyle \alpha _{1},\dots ,\gamma _{n}}$ , то есть неравенства между произведениями и степенями разных величин ${\displaystyle |A_{j}|,\ |R_{i}(A_{1},\dots ,A_{k})|,\ E_{R_{i}(A_{1},\dots ,A_{k})}}$ .

Некоторые результаты

Об обобщении сумм и произведений:

${\displaystyle \forall A\subset {\mathbb {R} }:\ |AA+AA+AA+AA|\geq {\frac {1}{2}}|A|^{2}}$

${\displaystyle \forall A\subset {\mathbb {F} }_{p}:|A|<p^{1/4}\Rightarrow |A(A-A+A-A)+A(A-A)|\geq |A|^{2}}$

${\displaystyle \exists c>0:\ \forall B,C\subset {\mathbb {R} }:\ |(B+C)(B+C)|\geq |B+C|^{1+c}}$ ;

${\displaystyle \exists c>0:\ \forall A\subset {\mathbb {R} }:\ |AA+A|\geq |A|^{{\frac {3}{2}}+c}}$ ;

${\displaystyle \exists c_{1},c_{2}>0:\ \forall A\subset {\mathbb {R} }:\ |A+A|\leq |A|^{1+c_{1}}\Rightarrow |AAA|\geq |A|^{2+c_{2}}}$

${\displaystyle \forall A\subset {\mathbb {R} }:\ |(A-A)(A-A)(A-A)|\gtrsim |A|^{2+{\frac {1}{8}}}}$

Об обобщении энергий:

• ${\displaystyle E_{A+B}^{2}\leq |A/B|E_{(A+B)/B}}$

• для любого ${\displaystyle k\in {\mathbb {N} }}$ если ${\displaystyle A\subset {\mathbb {F} }_{p},\ |A|\geq p^{c(k)}}$ , то ${\displaystyle E_{(A-A)^{k}}\sim {\frac {|A|^{4k}}{p}}}$ , причём ${\displaystyle c(k)\to {\frac {1}{2}}}$ при ${\displaystyle k\to \infty }$

Сдвиги

Постановка вопроса

Идея оценки рациональных выражений, объединяющих разные операции, исходит из того, что применение ко множеству аддитивной операции лишает его мультипликативной структуры. Этот же принцип можно расширить на случай, когда множество изменяется не сложной комбинаторной операцией поэлементного сложения, а обычным аддитивным сдвигом — прибавлением ко всем элементам множества одного числа. Ожидается, что от этого мультипликативная структура множества должна в большинстве случаев меняться (например, что если ${\displaystyle |AA|\ll |A|}$ , то ${\displaystyle |(A+d)(A+d)|\gg |A|^{1+c}}$ для некоторого ${\displaystyle c>0}$ при всех или почти всех ${\displaystyle d}$ ).

Вопрос Как при фиксированном (но произвольном) ${\displaystyle A\subset {\mathbb {F} }}$ зависят друг от друга мультипликативные свойства (размер множества произведений и мультипликативная энергия) множеств ${\displaystyle A+u,\ u\in {\mathbb {F} }}$ . А также каковы совместные мультипликативные свойства множеств ${\displaystyle A+u_{1},\dots ,A+u_{k}}$ при различных ${\displaystyle u_{1},\dots ,u_{k}}$ (например, существуют ли нетрвииальные оценки на ${\displaystyle |A(A+1)|}$ )?

Некоторые результаты

• если ${\displaystyle A\subset {\mathbb {F} }_{p}}$ при простом ${\displaystyle p}$ , то:

• • ${\displaystyle |A|<p^{5/8}\Rightarrow |A(A+1)|\gg |A|^{6/5}}$

• • ${\displaystyle |A|<p^{1/4}\Rightarrow |A(A+1)|\gtrsim |A|^{11/9-o(1)}}$

• ${\displaystyle \forall A\subset {\mathbb {R} }_{+}:\ \forall a\in {\mathbb {R} }\setminus \{0\}:\ |A(A+1)|\ll |A|\Rightarrow E_{\times }(A,A+a)\lesssim |A|^{32/13}}$

• ${\displaystyle \forall A\subset {\mathbb {Q} }_{+}:\ |AA|\ll |A|\Rightarrow |(A+1)^{k}|\gg _{k}|A|^{k}}$

• ${\displaystyle \forall A\subset {\mathbb {R} }_{+}:\ |AA|^{4}|(A+1)(A+1)|\gtrsim |A|^{6}}$

• ${\displaystyle \forall A\subset {\mathbb {R} }_{+}:\ |(A+1)(A+1)(A+1)|^{16}|AA|^{78}\gtrsim |A|^{111}}$

• ${\displaystyle \forall A\subset {\mathbb {Q} }_{+}\forall u\subset {\mathbb {Q} }\setminus \{0\}:\ \max \left\lbrace {|A^{k}|,|(A+u)^{k}|}\right\rbrace \gg |A|^{b(k)}}$ , где ${\displaystyle b(k)\to \infty }$ при ${\displaystyle k\in \infty }$

Многочлены

Постановка вопроса

Идея комбинирования сложения и умножения естественным образом приводит к рассмотрению многочленов , то есть таких же рациональных выражений, но в которых одна переменная может появляться несколько раз (и тем самым оказывать более сложное влияние на структуру получающегося множества). Оказывается, в этом случае для обеспечения безусловного роста не обязательно использовать три копии множества (как в выражении ${\displaystyle A+AA}$ ), а достаточно подобрать нужный полином от двух переменных. Впервые такое свойство заметил Бургейн для многочлена ${\displaystyle x^{2}+xy}$ .

Также, по аналогии с теоремой сумм-произведений, изучаются оценки снизу на ${\displaystyle \max\{|A+A|,|f(A,A)|\}}$ для произвольных многочленов ${\displaystyle f}$ .

Некоторые результаты

Первый результат Бургейна: если ${\displaystyle A,B\subset {\mathbb {F} }_{p},\ |A|\sim |B|\sim p^{\alpha },\ \alpha \in (0;1)}$ . Тогда для некоторого ${\displaystyle \varepsilon =\varepsilon (\alpha )>0}$ верно, что

${\displaystyle \#\{a^{2}+ab\ :\ a\in A,\ b\in B\}\geq N^{1+\varepsilon }}$

При сравнении ${\displaystyle |A+A|}$ и ${\displaystyle |f(A,A)|}$ большое значение имеет вырожденность многочлена ${\displaystyle f}$ . Если он вырожден, то есть представим в виде ${\displaystyle f=g(l(x,y))}$ , где ${\displaystyle l,g}$ — многочлены и ${\displaystyle \deg l=1}$ , то обе суммы могут оказаться малыми если ${\displaystyle A}$ — арифметическая прогрессия, ведь ${\displaystyle |f(A,A)|\leq |l(A,A)|}$ . Поэтому результаты формулируются только для невырожденных многочленов:

• если ${\displaystyle \deg f=2}$ , то ${\displaystyle \forall A\subset {\mathbb {F} }_{p}\ :\ |A|\leq p^{5/8}\Rightarrow \max\{|A+A|,|f(A,A)|\}\gg |A|^{6/5}}$

• если ${\displaystyle \deg f=d}$ , то ${\displaystyle \forall A\subset {\mathbb {F} }_{p}\ :\ \max\{|A+A|,|f(A,A)|\}\gg \min \left\lbrace {{\frac {|A|^{3/2}}{dp^{1/4}}},{\frac {p^{1/3}|A|^{2/3}}{d^{1/3}}}}\right\rbrace }$

Матричное умножение

Свойства

Существуют результаты о множествах произведений набора матриц из той или иной матричной подгруппы (например, ${\displaystyle {\mbox{SL}}_{2}({\mathbb {R} })}$ или группы Гейзенберга ). Строго говоря, эти результаты касаются одной групповой операции ( матричного умножения ), так что их можно отнести к аддитивной комбинаторике . Но слияние внутри определения этой операции и сложения, и умножения элементов , а также возникающая из этого некоммутативность делают её свойства очень нетипичными по сравнению с обычными групповыми операциями, вроде сложения вещественных чисел.

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

Некоторые результаты

Большинство результатов о матричных группах, когда они касаются произвольных наборов матриц, анализирует велличину ${\displaystyle |AAA|}$ , а не ${\displaystyle |AA|}$ . Это не случайность, а техническая необходимость, связанная с некоммутативностью.

• если ${\displaystyle A\subset {\mathbb {R} }}$ , то для множества матриц ${\displaystyle {\mathcal {A}}=\left\lbrace {{\begin{pmatrix}1&a&0\\0&1&b\\0&0&1\end{pmatrix}}\ :\ a,b\in A}\right\rbrace }$ (оно лежит в группе Гейзенберга) верно, что ${\displaystyle |{\mathcal {A}}{\mathcal {A}}|\gg |{\mathcal {A}}|^{7/4+c}}$ , где ${\displaystyle c>0}$

• пусть ${\displaystyle A\subset {\mbox{SL}}_{2}({\mathbb {F} }_{p})}$ порождает всю группу ${\displaystyle {\mbox{SL}}_{2}({\mathbb {F} }_{p})}$ и ${\displaystyle \forall a\in A\ :\ a^{-1}\in A}$ . Тогда ${\displaystyle |AAA|\gg \min\{|A|^{21/20},\ |{\mbox{SL}}_{2}({\mathbb {F} }_{p})|\}}$

• ${\displaystyle \forall A\subset {\mbox{SL}}_{n}({\mathbb {F} }_{p})\ :\ |A|>2|G|^{1-{\frac {1}{3(n+1)}}}\Rightarrow AAA={\mbox{SL}}_{n}({\mathbb {F} }_{p})}$ (для других групп возможна аналогичная оценка, зависящая от размерности её представлений )

• если ${\displaystyle A\subset {\mbox{SL}}_{3}({\mathbb {F} }_{p})}$ и ${\displaystyle |AAA|\ll |A|^{1+\delta },\ \delta >0}$ , то структура ${\displaystyle A}$ сильно связана с подгруппами ${\displaystyle A\subset {\mbox{SL}}_{3}({\mathbb {F} }_{p})}$ (эта связь может быть выражена в терминах ${\displaystyle \delta }$ )

Приложения

Аналитические методы изучения роста в группе ${\displaystyle {\mbox{SL}}_{2}({\mathbb {F} }_{p})}$ и группах Шевале можно использовать для вывода специальной формы гипотезы Зарембы .

См. также

• Аддитивная комбинаторика
• Аддитивная теория чисел
• Теорема сумм-произведений

Список литературы

• P. Erdös, E. Szemerédi. (англ.) // Birkhäuser Verlag. — 1983. — P. 213–218 .

• Oliver Roche-Newton, Imre Z. Ruzsa, Chun-Yen Shen, Ilya D. Shkredov. On the size of the set ${\displaystyle AA+A}$ (англ.) . — 2018. — arXiv : .

• Oliver Roche-Newton, Ilya D. Shkredov. If ${\displaystyle A+A}$ is small then ${\displaystyle AAA}$ is superquadratic (англ.) . — 2019. — arXiv : .

• Antal Balog. (англ.) // Publicationes mathematicae. — 2011. — Vol. 79 , iss. 3 . — doi : .

• М. З. Гараев. (рус.) // Успехи математических наук . — Российская академия наук , 2010. — Т. 65 , вып. 4 (394) . — С. 5—66 . — doi : .

• Ilya D. Shkredov, Dmitrii Zhelezov. (англ.) . — 2016. — arXiv : .

• А. А. Глибичук. (рус.) // Математические заметки . — 2006. — Т. 79 , вып. 3 . — С. 384–395 .

• Brandon Hanson, Oliver Roche-Newton, Dmitrii Zhelezov. On iterated product sets with shifts (англ.) . — 2018. — arXiv : .

• Brandon Hanson, Oliver Roche-Newton, Dmitrii Zhelezov. On iterated product sets with shifts II (англ.) . — 2018. — arXiv : .

• Sophie Stevens, Frank de Zeeuw. (англ.) // Bulletin of the London Mathematical Society. — 2017. — Vol. 49 , iss. 5 . — doi : . — arXiv : .

• Audie Warren. On Products of Shifts in Arbitrary Fields (англ.) . — 2019. — arXiv : .

• Antal Balog, Oliver Roche-Newton, Dmitry Zhelezov. (англ.) // The electronic journal of combinatorics. — 2016. — Vol. 24 , iss. 3 . — doi : . — arXiv : .

• И. Д. Шкредов. (рус.) // Математический сборник. — 2017. — Т. 208 , вып. 12 . — doi : . — arXiv : .

• Bryce Kerr, Simon Macourt. Multilinear Exponential Sums With A General Class Of Weights (англ.) . — 2019. — arXiv : .

• Konstantin I. Olmezov, Aliaksei S. Semchankau, Ilya D. Shkredov. On popular sums and differences of sets with small products (англ.) . — 2019. — arXiv : .

• Brandon Hanson, Oliver Roche-Newton, Misha Rudnev. Higher convexity and iterated sum sets (англ.) . — 2020. — arXiv : .

• И. Д. Шкредов. (рус.) // Труды Московского математического общества. — 2013. — Т. 74 , вып. 1 .

• J. Bourgain. (англ.) // International Journal of Number Theory. — 2005. — Vol. 1 , iss. 1 . — doi : .

• Doowon Koh, Hossein Nassajian Mojarrad, Thang Pham, Claudiu Valculescu. (англ.) // Proceedings of the American Mathematical Society. — 2018. — Vol. 146 , iss. 12 . — doi : . — arXiv : .

• Van Vu. (англ.) // Mathematical Research Letters. — 2007. — Vol. 15 , iss. 2 . — doi : . — arXiv : .

• Ilya D. Shkredov. Some remarks on products of sets in the Heisenberg group and in the affine group (англ.) . — 2019. — arXiv : .

• Misha Rudnev, Ilya D. Shkredov. On growth rate in ${\displaystyle {\mbox{SL}}_{2}({\mathbb {F} }_{p})}$ , the affine group and sum-product type implications (англ.) . — 2019. — arXiv : .

• H. A. Helfgott. Growth in ${\displaystyle {\mbox{SL}}_{3}({\mathbb {Z} }/p{\mathbb {Z} })}$ (англ.) . — 2009. — arXiv : .

• Nikolay Nikolov, László Pyber. (англ.) // Journal of the European Mathematical Society. — 2007. — Vol. 13 , iss. 4 . — doi : . — arXiv : .

• Nikolay G. Moshchevitin, Ilya D. Shkredov. On a modular form of Zaremba's conjecture (англ.) . — 2019. — arXiv : .

• Ilya D. Shkredov. Growth in Chevalley groups relatively to parabolic subgroups and some applications (англ.) . — 2020. — arXiv : .

Примечания