|
О мультипликативном процессе Чанг–Диакониса–Грэма
И. Д. Шкредов Математический институт им. В. А. Стеклова Российской академии наук, г. Москва
Аннотация:
Изучается ленивая цепь Маркова на $\mathbb {F}_p$, заданная формулой $X_{n+1}=X_n$ с вероятностью $1/2$ и в противном случае $X_{n+1}=f(X_n) \cdot \varepsilon_{n+1}$, где случайные величины $\varepsilon_n$ равномерно распределены на $\{\gamma, \gamma^{-1}\}$. Здесь $\gamma$ – первообразный корень и функция $f(x)=x/(x-1)$ или же $f(x)=\mathrm{ind} (x)$. Показано, что время перемешивания такой цепи $X_n$ есть $\exp(O(\log p \cdot \log \log \log p/ \log \log p))$. Также мы получаем приложение разработанной техники к одному аддитивно-комбинаторному вопросу о множествах Сидоновского типа.
Библиография: 34 названия.
Ключевые слова:
цепи Маркова, процесс Чанг–Диакониса–Грэма, время перемешивания, геометрия инциденций, множества Сидона.
Поступила в редакцию: 13.07.2022 и 09.11.2022
§ 1. Введение1.1. Процесс Чанг–Диакониса–Грэма (см. [6]) – это случайное блуждание на $\mathbb {F}_p$ (в более общем случае на $\mathbb {Z}/n\mathbb {Z}$ для составного $n$), определенное как
$$
\begin{equation}
X_{j+1}=a X_j+\varepsilon_{j+1} ,
\end{equation}
\tag{1.1}
$$
где $a\in \mathbb {F}_p^*$ – фиксированный остаток, а случайные величины $\varepsilon_j$ независимы и одинаково распределены (в оригинальной работе [6] величины $\varepsilon_j$ были распределены равномерно на $\{-1,0,1\}$ и $a$ было равно двойке). Это случайное блуждание активно изучалось, например, в работах [4], [6]–[10] и др. В нашей статье мы изучаем следующую характеристику $X_n$, которая называется временем перемешивания:
$$
\begin{equation*}
t_{\mathrm{mix}}(\varepsilon) :=\inf \biggl\{n\colon \max_{A \subseteq \mathbb {F}_p} \biggl| \mathrm{P} (X_n \in A)-\frac{|A|}{p} \biggr| \leqslant \varepsilon\biggr\} .
\end{equation*}
\notag
$$
Обычно задается конкретное значение параметра $\varepsilon$, например, $\varepsilon=1/4$ и далее мы будем говорить о $t_{\mathrm{mix}} :=t_{\mathrm{mix}} (1/4)$. Простое случайное блуждание на $\mathbb {F}_p$ имеет время перемешивания $t_{\mathrm{mix}}$ порядка $p^2$ (см. [16]), и, как было показано в [6] (см. также более позднюю работу [7]), время перемешивания процесса (1.1) не превосходит $O(\log p \cdot \log \log p)$. Таким образом процесс Чанг–Диакониса–Грэма дает пример явления ускорения, т.е. уменьшения времени сходимости. В [8] была рассмотрена более общая нелинейная версия процесса Чанг–Диакониса–Грэма, определенная как
$$
\begin{equation}
X_{j+1}=f(X_j)+\varepsilon_{j+1} ,
\end{equation}
\tag{1.2}
$$
где $f$ – биекция на $\mathbb {F}_p$. В частности, было доказано, что для рациональных функций ограниченной степени (корректно определенных в полюсах, см. [8]) время перемешивания равно
$$
\begin{equation}
t_{\mathrm{mix}}\biggl(\frac 14\biggr)=O(p^{1+\varepsilon}) \quad \forall\, \varepsilon>0.
\end{equation}
\tag{1.3}
$$
Вероятно, для процесса (1.2) правильным ответом является $t_{\mathrm{mix}}=O(\log p)$, но такой результат было получен только для случая $f(x)=1/x$ при $x\neq 0$ и $f(0)= 0$, см. [9]. Доказательство основано на методе $\mathrm{SL}_2 (\mathbb {F}_p)$-действий из работы [3]. В [4] был задан вопрос о нахождении других явных примеров марковских цепей с малым временем перемешивания. Наша работа посвящена мультипликативной форме процесса Чанг–Диакониса–Грэма. Мультипликативные варианты процесса рассматривались в [1], [11], [12], [15] и в других работах. Рассмотрим семейство функций
$$
\begin{equation}
f^{\alpha, \beta}_*(x)=\frac{x}{\alpha x+\beta},
\end{equation}
\tag{1.4}
$$
где $\alpha, \beta \neq 0$. Большинство приведенных ниже результатов не зависят от $\alpha$, $\beta$. В таких случаях мы не будем их указывать. В теоремах 1 и 7 нужно, чтобы функция $f^{\alpha,\beta}_* (x)$ была биективна, поэтому полагаем $f^{\alpha,\beta}_* (-\beta/\alpha):=1/\alpha$. Так как теоремы 1 и 7 не зависят от выбора $(\alpha,\beta)$, то можно положить $\alpha=1$, $\beta=-1$ и $f_* (x) :=f^{1,-1}_* (x)$. Сформулируем частный случай нашего основного результата. Теорема 1. Пусть $p$ – простое число и $\gamma \in \mathbb {F}_p^*$ – первообразный корень. Также пусть $\varepsilon_{j}$ – случайные величины, равномерно распределенные на $\{\gamma, \gamma^{-1}\}$. Рассмотрим ленивую цепь Маркова $0\neq X_0,X_1,\dots, X_n, \dots$,
$$
\begin{equation}
X_{j+1}= \begin{cases} f_* (X_{j}) \cdot \varepsilon_{j+1} & \textit {с вероятностью } \dfrac12, \\ X_{j} & \textit {с вероятностью } \dfrac12 . \end{cases}
\end{equation}
\tag{1.5}
$$
Тогда для любого $c>0$ и для любого $n=c \exp(\log p \cdot \log \log \log p/\log \log p)$ имеем
$$
\begin{equation*}
\| P_n-U\| :=\max_{A \subseteq \mathbb {F}^*_p} \biggl| \mathrm{P} (X_n \in A)- \frac{|A|}{p-1} \biggr| \leqslant K e^{-Kc} ,
\end{equation*}
\notag
$$
где $K>0$ – абсолютная константа. То же верно и для $X_{j+1}=f_*(X_{j}) \cdot \varepsilon_{j+1}$, где $\varepsilon_j$ – случайные величины, равномерно распределенные на $\{1, \gamma^{-1}, \gamma\}$. Другими словами, время перемешивания нашей цепи Маркова есть $n$, где $n$ задается задается формулой выше. Похожим методом мы получаем такую же оценку на время перемешивания для другой цепи с $f_* (x)=\mathrm{ind} (x)$ и для цепи вида (1.2) с $f(x)=\exp(x)$, см. теорему 9 и формулы (3.21), (3.22) ниже (функции $\mathrm{ind}$, $\mathrm{exp}$ определены в § 2). Также мы рассмотрели и иные цепи (которые могут быть даже более интересны, чем (1.5)), а именно
$$
\begin{equation}
X_{j+1}= \begin{cases} \mathrm{ind} (X_{j}) \cdot \varepsilon_{j+1} & \text {с вероятностью } \dfrac12, \\ X_{j} & \text {с вероятностью }\dfrac12 \end{cases}
\end{equation}
\tag{1.6}
$$
($X_0 \neq 0$) или как в (1.2) с $f(x)=\exp(x)$, т.е.
$$
\begin{equation}
X_{j+1}= \begin{cases} \exp (X_{j})+\varepsilon_{j+1} & \text {с вероятностью }\dfrac12 \\ X_{j} & \text {с вероятностью } \dfrac12. \end{cases}
\end{equation}
\tag{1.7}
$$
В качестве побочного результата мы получим, что в случае $f(x)=x^2$ и $p \equiv 3 \pmod 4$, где $p$ – достаточно большое простое число, время перемешивания (1.2) есть в действительности $O(p\log p)$, см. замечание 2. Еще раз обратим внимание на то, что ожидаемый порядок $t_{\mathrm{mix}}$ во всех этих проблемах есть, вероятно, $O(\log p)$, но это может оказаться трудным вопросом (особенно с учетом некоторых специальных конструкций в аффинной группе, которые показывают на наличие семейства так называемых “богатых” преобразований, имеющих в точности субэкспоненциальные нижние границы на число инциденций, см. [17; теорема 15]). Наш подход не аналитический, как в [8], а использует методы из аддитивной комбинаторики и геометрии инцидентности. В частности, мы применяем результаты про рост в аффинной группе $\mathrm{Aff}(\mathbb {F}_p)$. Центральная часть нашей статьи имеет больше общего с работами [3], [27], чем с работой [8], но мы активно используем схему доказательства из последней статьи. С аддитивно-комбинаторной точки зрения основным новшеством является последовательность асимптотических формул для числа инциденций точек и прямых, которые были получены с помощью действия $\mathrm{Aff}(\mathbb {F}_p)$, см. начало § 3. Автор надеется, что эти формулы могут быть интересны сами по себе. Хорошо известно (см., например, [3], [17], [18], [22], [26]–[28], [30]), что геометрия инцидентности и феномен сумм-произведений иногда работают лучше, чем классические аналитические методы, и именно поэтому становится возможным преодолеть барьер квадратного корня, который соответствует естественной границе (1.3) (см. детали в теореме 8 и доказательствах теорем 7, 9). Оказывается, что этот же метод применим к чисто аддитивно-комбинаторному вопросу о множествах Сидона. Множества Сидона – это классическая тема из комбинаторной теории чисел (см., например, обзор [19]). Напомним, что подмножество $S$ абелевой группы $\mathbf G$ с групповой операцией $*$ называется $g$-множеством Сидона, если для любого $z\neq 1$ уравнение $z=x*y^{-1}$, где $x, y\in S$, имеет не больше $g$ решений. Если $g=1$, тогда мы приходим к классическому определению множеств Сидона (см. [29]). Для произвольного множества $A\subseteq \mathbf G$, обозначим через $\mathsf{Sid}^*(A)$ размер максимального по мощности cидоновского подмножества множества $A$ и через $\mathsf{Sid}^*_K(A)$ размер максимального $K$-сидоновского множества. Известно [14] (см. также [24]), что для любого подмножества $A$ нашей абелевой группы $\mathbf G$ имеет место следующая оценка:
$$
\begin{equation*}
\mathsf{Sid}^*(A) \gg \sqrt{|A|}.
\end{equation*}
\notag
$$
Клурман и Похоацэ, как указано в [13], спрашивают о возможности улучшить последнюю границу, имея две различные операции на кольце $\mathbf G$. В [28] автор доказал такой результат. Теорема 2. Пусть $A\subseteq \mathbb {F}$ – произвольное множество, где $\mathbb {F}=\mathbb R$ или $\mathbb {F}=\mathbb {F}_p$ (в случае простого поля положим дополнительно, что $|A|<\sqrt{p}$). Тогда существуют абсолютные константы $c>0$, $K\geqslant 1$ такие, что
$$
\begin{equation}
\max \{\mathsf{Sid}^{+}_K (A), \mathsf{Sid}_K^{\times}(A) \} \gg |A|^{1/2+c} .
\end{equation}
\tag{1.8}
$$
Относительно верхних границ для (1.8) мы отсылаем заинтересованного читателя к работам [20] и [28]. Отметим что $\mathsf{Sid}_K^{\times}(A)=\mathsf{Sid}_K^{+}(\log (A))$ и $\mathsf{Sid}_K^{+}(A)=\mathsf{Sid}_K^{\times}(\exp (A))$ для $A\subset \mathbb R^+$. Таким образом, возможно переписать неравенство (1.8) в терминах только одной операции. Рассмотрим общий вопрос, который был сформулирован А. Уорреном во время конференции CANT’2021 (см. [34]). Проблема 1. Пусть $f$, $g$ – некоторые “хорошие” (скажем, выпуклые или вогнутые) функции. Верно ли что для любого множества $A\subset \mathbb R^+$ выполняется
$$
\begin{equation*}
\max \{\mathsf{Sid}^{+}_K (A), \mathsf{Sid}_K^{+}(f(A)) \} , \qquad \max \{\mathsf{Sid}^{\times}_K (A), \mathsf{Sid}_K^{\times}(g(A)) \} \gg |A|^{1/2+c} ?
\end{equation*}
\notag
$$
Здесь $c>0$ и $K\geqslant 1$ – некоторые абсолютные константы. Что можно сказать для $K$, равной в точности единице? Какое оптимальное значение константы $c>0$? В этой работе мы получаем положительный ответ на вопрос выше для $g(x)=x+1$ и $f(x)=\exp(x)$, где в случае $\mathbb {F}_p$ последняя функция определена как $\exp(x) :=g^x$ и $g$ есть фиксированный первообразный корень. Теорема 3. Пусть $A\subseteq \mathbb {F}$ – произвольное множество, где $\mathbb {F}=\mathbb R$ или $\mathbb {F}=\mathbb {F}_p$ (в случае простого поля положим дополнительно, что $|A|<\sqrt{p}$). Тогда существуют абсолютные константы $c>0$, $K\geqslant 1$ такие, что
$$
\begin{equation}
\max \{\mathsf{Sid}^{\times}_K (A), \mathsf{Sid}_K^{\times}(A+1) \} \gg |A|^{1/2+c} ,
\end{equation}
\tag{1.9}
$$
$$
\begin{equation}
\max \{\mathsf{Sid}^{+}_K (A), \mathsf{Sid}_K^{+}(\exp(A)) \} \gg |A|^{1/2+c} .
\end{equation}
\tag{1.10}
$$
С другой стороны, для любого целого $k\geqslant 1$ существует $A \subseteq \mathbb {F}$ такое, что
$$
\begin{equation}
\max \{\mathsf{Sid}^{\times}_k (A), \mathsf{Sid}^{\times}_k (A+1) \} \ll k^{1/2} |A|^{3/4} .
\end{equation}
\tag{1.11}
$$
Мы благодарим Джимми Хе за очень полезные дискуссии и ценные предложения. Также мы благодарим рецензента за многочисленные комментарии и аккуратную вычитку нашей статьи.
§ 2. Основные определения Обозначим через $\mathbf G$ (абелеву) группу. Иногда мы указываем групповую операцию $+$ или $\times$ в рассматриваемых величинах (энергия, функция представления и т.п., см. ниже). Пусть $\mathbb {F}$ – это поле $\mathbb R$ или же $\mathbb {F}=\mathbb {F}_p=\mathbb {Z}/p\mathbb {Z}$ для простого $p$. Пусть $\mathbb {F}^*=\mathbb {F} \setminus \{0\}$. Мы используем ту же заглавную букву для обозначения множества $A\subseteq \mathbb {F}$ и его характеристической функции $A\colon \mathbb {F} \to \{0,1 \}$, а в случае конечного $\mathbb {F}$ мы пишем $f_A (x) :=A(x)-|A|/|\mathbb {F}|$ для балансовой функции множества $A$. Для двух множеств $A,B\subset \mathbf G$ определим множество сумм $A$ и $B$ как
$$
\begin{equation*}
A+B:=\{a+b\colon a\in{A},\,b\in{B}\}.
\end{equation*}
\notag
$$
Подобным образом определим множество разностей и множествах старших сумм, например, $2A-A$ есть $A+A-A$. Обозначим через $\dotplus$ прямую сумму, т.е. $A\dotplus B=\{a+b \colon a\in{A},\,b\in{B}\}$ и $a+b=a'+b'$ влечет $a=a'$ и $b=b'$. Также мы используем обозначение $A \times B=\{(a,b)\colon a\in A,\, b\in B\} \subseteq \mathbf G \times \mathbf G$ для декартова произведения $A$ и $B$. Для абелевой группы $\mathbf G$ выполняется неравенство Плюннеке–Ружа (см., например, [32])
$$
\begin{equation}
|nA-mA| \leqslant \biggl( \frac{|A+A|}{|A|} \biggr)^{n+m} |A| ,
\end{equation}
\tag{2.1}
$$
где $n$, $m$ – любые положительные целые. Мы используем обозначения для функций представлений $r_{A+B} (x)$ или $r_{A-B} (x)$ и т.п., которые равняются числу способов, которыми $x \in \mathbf G$ может быть выражено как сумма $a+b$ или $a-b$, где $a\in A$, $b\in B$, соответственно. Например, $|A|=r_{A-A} (0)$. Подобным образом, для функций $f_1,\dots,f_k\colon\mathbf G \to \mathbb{C}$ мы пишем $r_{f_1+\dots+f_k} (x)=\sum_{x_1+\dots+x_k=x} f_1(x_1) \dotsb f_k (x_k)$. Для любых двух множеств $A,B \subseteq \mathbf G$ аддитивная энергия $A$ и $B$ определена как
$$
\begin{equation*}
\mathsf{E} (A,B)=\mathsf{E}^{+} (A,B)=\bigl|\{(a_1,a_2,b_1,b_2) \in A\times A \times B \times B \colon a_1-b_1=a_2-b_2 \}\bigr| .
\end{equation*}
\notag
$$
Если $A=B$, то мы пишем $\mathsf{E} (A)$ вместо $\mathsf{E} (A,A)$. В более общем случае для множеств $A_1,\dots, A_{2k}$, принадлежащих произвольной (некоммутативной) группе $\mathbf G$, и $k\geqslant 2$ определим энергию $\mathsf{T}_{k} (A_1,\dots, A_{2k})$ как
$$
\begin{equation}
\begin{aligned} \, \notag &\mathsf{T}_{k} (A_1,\dots, A_{2k}) = \bigl|\bigl\{(a_1, \dots, a_{2k}) \in A_1 \times \dots \times A_{2k} \colon \\ &\qquad\qquad a_1 a^{-1}_2 \dotsb a_{k-1} a^{-1}_k=a_{k+1} a^{-1}_{k+2} \dotsb a_{2k-1} a^{-1}_{2k} \bigr\}\bigr| \end{aligned}
\end{equation}
\tag{2.2}
$$
для четных $k$ и для нечетных $k$ как
$$
\begin{equation}
\begin{aligned} \, \notag &\mathsf{T}_{k} (A_1,\dots, A_{2k}) =\bigl|\bigl\{(a_1, \dots, a_{2k}) \in A_1 \times \dots \times A_{2k} \colon \\ &\qquad\qquad a_1 a^{-1}_2 \dotsb a^{-1}_{k-1} a_k=a_{k+1} a^{-1}_{k+2} \dotsb a^{-1}_{2k-1} a_{2k} \bigr\}\bigr| . \end{aligned}
\end{equation}
\tag{2.3}
$$
Аналогично, имея вещественные функции $f_1,\dots, f_{2k} \colon \mathbf G \to \mathbb{C}$ (например, $k$ четно), мы полагаем
$$
\begin{equation*}
\mathsf{T}_{k} (f_1,\dots, f_{2k}) =\sum_{a_1 a^{-1}_2 \dotsb a_{k-1} a^{-1}_k=a_{k+1} a^{-1}_{k+2} \dotsb a_{2k-1} a^{-1}_{2k}} f_1(a_1) \dotsb f_{2k} (a_{2k}) .
\end{equation*}
\notag
$$
Если мы хотим подчеркнуть групповую операцию $+$, то мы используем обозначение $\mathsf{T}^{+}_{k} (f_1,\dots, f_{2k})$, так что (пусть $k$ четно)
$$
\begin{equation*}
\mathsf{T}^{+}_{k} (f_1,\dots, f_{2k}) =\sum_{a_1 -a_2+\dots+a_{k-1}-a_k=a_{k+1}-a_{k+2}+\dots+ a_{2k-1}-a_{2k}} f_1(a_1) \dotsb f_{2k} (a_{2k}) .
\end{equation*}
\notag
$$
Мы пишем $\mathsf{T}_k (f)$ вместо $\mathsf{T}_{k} (f,\dots, f)$. В абелевом случае положим для $k\geqslant 2$
$$
\begin{equation}
\mathsf{E}^{+}_k (A) :=\sum_{x\in \mathbf G} r^k_{A-A} (x)=\sum_{\alpha_1, \dots, \alpha_{k-1} \in \mathbf G} |A\cap (A+\alpha_1) \cap \dots \cap (A+\alpha_{k-1})|^2
\end{equation}
\tag{2.4}
$$
(тождество выше может быть найдено, например, в [23]). Ясно, что $|A|^k \leqslant \mathsf{E}^{+}_k (A) \leqslant |A|^{k+1}$. Также мы пишем $\widehat{\mathsf{E}}^{+}_k (A)=\sum_x r^k_{A+A} (x)$. Конечно, данные выше определения зависят от групповой операции, которая будет понятна из контекста. Например, используя умножение (скажем, в $\mathbb R$ или в $\mathbb {F}_p$), мы запишем $AB=\{ab \colon a\in A,\, b\in B\}$ для множества произведений множеств $A$ и $B$, далее $r_{AB} (x)=\sum_{ab=x} A(a)B(b)$ и т.п. Обозначим через $\mathrm{ord} (x)$ мультипликативный порядок элемента $x\in \mathbb {F}^*_p$ и пусть $\mathrm{ind} (x)$ будет определено как $x=g^{\mathrm{ind} (x)}$, где $g$ – фиксированный первообразный корень $\mathbb {F}_p^*$. Удобно полагать, что функция $\mathrm{ind} (x)$ принимает значения от $1$ до $p-1$ и, таким образом, $\mathrm{ind} (x)$ определено на $\mathbb {F}_p^*$. Похожим образом мы обозначаем через $\exp(x) \colon \mathbb {F}^*_p \to \mathbb {F}_p^*$ функцию $\exp(x)=g^x$, где $x\in \mathbb {F}^*_p$. Пусть $\mathrm{Aff} (\mathbb {F})$ – группа преобразований $x\to ax+b$, где $a\in \mathbb {F}^*$, $b\in \mathbb {F}$. Иногда мы пишем $(a,b)\in \mathrm{Aff} (\mathbb {F})$ для отображения $x\to ax+b$. Символы $\ll$ и $\gg$ – это обычные символы Виноградова. Когда константы в знаках зависят от параметра $M$, мы пишем $\ll_M$ и $\gg_M$. Все логарифмы в статье имеют основание $2$. Для множества $A$, $|A|>1$, мы пишем $a \lesssim b$ или $b \gtrsim a$, если $a=O(b \log^c |A|)$, где $c>0$ есть некоторая константа, которая может меняться от строчки к строчке. Обозначим через $[n]$ множество $\{1,2,\dots, n\}$. Упомянем теперь несколько полезных результатов, к которым мы будем обращаться в тексте. Начнем с результата из [27]. Лемма 1. Пусть $f_1,\dots,f_{2k} \colon \mathbf G \to \mathbb{C}$ – произвольные функции. Тогда
$$
\begin{equation}
\mathsf{T}^{2k}_{k} (f_1,\dots, f_{2k}) \leqslant \prod_{j=1}^{2k} \mathsf{T}_{k} (f_j).
\end{equation}
\tag{2.5}
$$
Следующая лемма 2 о коллинеарный четверках в множестве $A\times A$ (т.е. число $4$-кортежей $\{(x_1,l(x_1)), \dots, (x_4,l(x_4))\}$, где $x_1, x_2, x_3, x_4 \in A$, $l\in \mathrm{Aff}(\mathbb {F}_p)$ и $l(x_1), l(x_2), l(x_3), l(x_4) \in A$) была доказана в [18; с. 604–607]. Обозначим через $\mathsf{Q}(A)$ число таких коллинеарных четверок и перепишем асимптотическую формулу для $\mathsf{Q}(A)$, см. [18; теорема 11, (2)]
$$
\begin{equation}
\mathsf{Q}(A)=\frac{|A|^8}{p^2}+O(|A|^5 \log |A|)
\end{equation}
\tag{2.6}
$$
в следующей удобной форме (2.7), которая может использоваться в дальнейших результатах. Наконец, отметим что аффинное преобразование $\mathbb {F}_p$ может быть отождествлено с прямой в $\mathbb {F}_p \times \mathbb {F}_p$ с помощью ее графика. Лемма 2. Пусть $A\subseteq \mathbb {F}_p$ – произвольное множество и $f_A (x)=A(x)-|A|/p$. Тогда
$$
\begin{equation}
\mathsf{Q} (f_A):=\sum_{l \in \mathrm{Aff}(\mathbb {F}_p)} \biggl| \sum_x f_A(x) f_A(lx) \biggr|^4 \ll |A|^5 \log |A| ,
\end{equation}
\tag{2.7}
$$
где суммирование по $l$ в последней формуле берется по всеми аффинным преобразованиям (прямым), имеющим не меньше двух точек в $A\times A$. Нам понадобится [2; теорема A], которую мы повторим ниже в теореме 4. Лучшая зависимость $\delta'$ от $\delta$ в виде $\delta/(C_1 \log (C_2r/\delta))^k$, где $C_1,C_2>0$ – некоторые константы, может быть найдена в [26; теорема 46, следствие 47]. Также мы показали в [26], что в действительности условие $|A_j|\geqslant p^\delta$, $j\in [k]$, не требуется. Теорема 4. Пусть $k\geqslant 2$, $A_1, \dots, A_k \subseteq \mathbb {F}_p$ – произвольные множества, $|A_j|\geqslant p^\delta$, $j\in [k]$. Положим, что $\prod_{j=1}^k |A_j| \geqslant p^{1+\delta}$. Тогда для любого $\lambda \neq 0$ выполняется
$$
\begin{equation*}
\sum_{x_1\in A_1,\dots, x_k \in A_k} e^{2\pi i \lambda x_1 \dotsb x_k} \ll p^{-\delta'} |A_1|\dotsb |A_k| ,
\end{equation*}
\notag
$$
где $\delta' > (\delta/k)^{Ck}$ и $C>0$ есть абсолютная константа. В частности, для любого $l \geqslant 2$ и $A_1=\dots=A_k=A$ выполнено $\mathsf{T}^{+}_{l} (r_{f_A^k}) \leqslant |A|^{k(2l-1)} p^{-(2l-2)\delta'}$. Вспомним, что по определению $r_{f_A^k} (x)=\sum_{x_1\dotsb x_k=x} f_A (x_1)\dotsb f_A (x_k)$, где $f_A (x)$ есть балансовая функция множества $A$. Отметим, что возможно оценить $\mathsf{T}^{+}_{l} (r_{f_A^k})$ непосредственно, как было сделано в [25; теорема 5] (также см. [17]), чтобы улучшить неравенство $\mathsf{T}^{+}_{l} (r_{f_A^k}) \leqslant |A|^{k(2l-1)} p^{-(2l-2)\delta'}$. Мы оставляем эти вычисления читателю, так как это усложнило бы доказательство, но улучшило бы оценку $t_{\mathrm{mix}}$ только на $\log \log \log p$. Тем не менее мы используем теорему 5, которая является упрощенной версией [25; теорема 5], в последней части статьи. Теорема 5. Пусть $A,B\subseteq \mathbb {F}_p$ – произвольные множества, $|AB|\leqslant M|A|$, $k\geqslant 2$, и $|B| \gtrsim_k M^{2^{k+1}}$. Тогда
$$
\begin{equation}
\mathsf{T}^{+}_{2^k} (A) \lesssim_k M^{2^{k+1}} \biggl( \frac{|A|^{2^{k+1}}}{p}+ |A|^{2^{k+1}-1} |B|^{-(k-1)/2} \biggr) .
\end{equation}
\tag{2.8}
$$
§ 3. Инциденции и время перемешивания Начнем с нового считающего результата об инциденциях. Пусть $\mathcal{P}, \mathcal{L} \subseteq \mathbb {F}_p \times \mathbb {F}_p$ – произвольные множество точек и множество прямых соответственно. Число инциденций между $\mathcal{P}$ и $\mathcal{L}$ есть
$$
\begin{equation}
\mathcal{I} (\mathcal{P},\mathcal{L}) :=|\{(q,l)\in \mathcal{P} \times \mathcal{L}\colon q\in l\}| .
\end{equation}
\tag{3.1}
$$
Как и ранее, мы пишем $f_{\mathcal L} (x)=\mathcal L(x)-{|\mathcal L|}/{|\mathrm{Aff}(\mathbb {F}_p)|}$ для балансовой функции множества прямых $\mathcal L$. Предложение 1. Пусть $A,B \subseteq \mathbb {F}_p$ – произвольные множества и $\mathcal{L}$ – некоторое множество аффинных преобразований. Тогда для любого положительного целого $k$ выполнено
$$
\begin{equation}
\begin{aligned} \, \notag & \mathcal I (A\times B, \mathcal{L})-\frac{|A|\,|B|\,|\mathcal{L}|}{p} \\ &\qquad \ll \sqrt{|A|\,|B|\,|\mathcal L|}\, \max\Bigl\{ (\mathsf{T}_{2^k} (f_{\mathcal L}) |A| \log |A|)^{1/2^{k+2}}, \sqrt{|\mathcal{L}|} |A|^{-2^{-k}} \Bigr\} . \end{aligned}
\end{equation}
\tag{3.2}
$$
Доказательство. Имеем
$$
\begin{equation}
\mathcal I (A\times B, \mathcal{L})=\frac{|A|\,|B|\,|\mathcal{L}|}{p}+\sum_{x\in B} \sum_{l} f_{\mathcal L} (l) f_A (l x)=\frac{|A|\,|B|\,|\mathcal{L}|}{p}+\sigma .
\end{equation}
\tag{3.3}
$$
Таким образом, мы можем использовать обе балансовые функции в (3.3) или можем выбрать только одну из них. Чтобы оценить величину остаточного члена $\sigma$, мы применяем неравенство Гёльдера несколько раз, как в [17], [22], и получаем (ниже мы используем обе балансовые функции)
$$
\begin{equation*}
\sigma^2 \leqslant |B| \sum_{h} r_{f_{\mathcal{L}^{-1}} f_{\mathcal{L}} } (h) \sum_x f_A (x) f_A (h x) ,
\end{equation*}
\notag
$$
и далее
$$
\begin{equation}
\sigma^{2^{k}} \leqslant |B|^{2^{k-1}} |A|^{2^{k-1}-1} \sum_{h} r_{(f_{\mathcal{L}^{-1}} f_{\mathcal{L}})^{2^{k-1}}} (h) \sum_x f_A (x) f_A (h x) .
\end{equation}
\tag{3.4}
$$
Здесь группа $\mathbf G$ есть (некоммутативная) группа $\mathrm{Aff}(\mathbb {F}_p)$ и мы используем обозначение $r_f (x)$ для $f\colon \mathrm{Aff}(\mathbb {F}_p) \to \mathbb{C}$ и $x\,{\in}\, \mathrm{Aff}(\mathbb {F}_p)$. Вспомним, что $r_{(f_{\mathcal{L}^{-1}} f_{\mathcal{L}})^{2^{k-1}}} (h)$ означает величину
$$
\begin{equation*}
\sum_{x^{-1}_1 x'_1 \dotsb x^{-1}_{2^{k-1}} x'_{2^{k-1}}=h} f_{\mathcal{L}} (x_1) f_{\mathcal{L}} (x'_1) \dotsb f_{\mathcal{L}} (x_{2^{k-1}}) f_{\mathcal{L}} (x'_{2^{k-1}})
\end{equation*}
\notag
$$
в последней формуле. Разобьем сумму (3.4) на сумму $\sigma_1$, где суммирование берется над прямыми $h$ (другими словами, элементами $\mathrm{Aff}(\mathbb {F}_p)$), имеющими не менее двух точек в $A\times A$, и, обозначая оставшиеся элементы $\sigma_*$, предположим, что $\sigma_* \leqslant 2^{-1} \sigma$. Тогда применяя неравенство Гёльдера еще раз, мы получим
$$
\begin{equation}
\begin{aligned} \, \notag \sigma^{2^{k+2}} &\ll |B|^{2^{k+1}} |A|^{2^{k+1}-4} \biggl(\sum_{h} |r^{4/3}_{(f_{\mathcal{L}^{-1}} f_{\mathcal{L}})^{2^{k-1}}} (h)| \biggr)^3 \mathsf{Q}(f_A) \\ &\ll 2^{2^{k+1}} |B|^{2^{k+1}} |A|^{2^{k+1}-4} \mathsf{T}_{2^k} (f_{\mathcal L}) |\mathcal{L}|^{2^{k+1}} \mathsf{Q}(f_A), \end{aligned}
\end{equation}
\tag{3.5}
$$
как и требовалось благодаря лемме 2. Осталось оценить $\sigma_*$. Имеем
$$
\begin{equation*}
\sum_x f_A (x) f_A (h x)=\sum_x A (x) A (h x)-\frac{|A|^2}{p} ,
\end{equation*}
\notag
$$
как и
$$
\begin{equation*}
r_{(f_{\mathcal{L}^{-1}} f_{\mathcal{L}})^{2^{k-1}}} (h) =r_{(\mathcal{L}^{-1} \mathcal{L})^{2^{k-1}}} (h)- \frac{|\mathcal L|^{2^k}}{p(p-1)} .
\end{equation*}
\notag
$$
Конечно, произведение $(\mathcal{L}^{-1} \mathcal{L})^{2^{k-1}}$ означает произведение в $\mathrm{Aff} (\mathbb {F}_p)$. Обозначим через $\Omega$ множество прямых, имеющих не более одной точки в $A\times A$. Мы можем предположить, что $|A| \geqslant 2\sqrt{p}$, так как иначе мы получим
$$
\begin{equation}
\sigma^{2^{k+2}}_* \ll 2^{2^{k+2}} |B|^{2^{k+1}} |A|^{2^{k+1}-4} |\mathcal{L}|^{2^{k+2}},
\end{equation}
\tag{3.6}
$$
и это соответствует второй от максимума величине в (3.2). Далее, из основного результата [33] (также, см. [26] или просто формулу (3.20) ниже), мы видим что $|\Omega|\ll p^3/|A|^2$. Возвращаясь к (3.3), (3.4), находим
$$
\begin{equation*}
\sum_{h\in \Omega} r_{(f_{\mathcal{L}^{-1}} f_{\mathcal{L}})^{2^{k-1}}} (h) \sum_x f_A (x) f_A (h x) \ll 2^{2^k} |\mathcal L|^{2^k}+\frac{|\mathcal L|^{2^k} |A|^2 |\Omega|}{p^2(p-1)} \ll 2^{2^k} |\mathcal L|^{2^k}
\end{equation*}
\notag
$$
и, таким образом, снова получаем (3.6). Предложение доказано. Основное преимущество оценки (3.2) предложения 1 состоит в наличии асимптотической формулы для числа инциденций $\mathcal I (A\times B, \mathcal{L})$ (при этом множество $\mathcal{L}$ может быть небольшим), а не только верхних неравенств для $\mathcal I (\mathcal{P}, \mathcal{L})$, как в [30]. Асимптотическая формула для величины $\mathcal I (\mathcal{P}, \mathcal{L})$ была известна ранее для некоторых специальных случаев больших множеств (см. [33] или оценку (3.20) ниже) и для случая декартовых произведений, но больших множеств прямых (см. [26] и [30]). В следующей лемме мы оцениваем энергию $\mathsf{T}_k (\mathcal{L})$ для конкретного семейства прямых, которые возникнут в доказательствах результатов нашей работы. Лемма 3. Пусть $A,B \,{\subseteq}\, \mathbb {F}^*_p$ – произвольные множества и $\mathcal{L}\,{=}\,\{(a,b) \colon a\,{\in} A, b\in B\} \subseteq \mathrm{Aff}(\mathbb {F}_p)$. Тогда для любого $k\geqslant 2$ выполняется
$$
\begin{equation}
\mathsf{T}_k (f_{\mathcal{L}}) \leqslant |A|^{2k-1} \mathsf{T}^{+}_k (f_B) .
\end{equation}
\tag{3.7}
$$
Доказательство. Рассмотрим случай четного $k$, так как для нечетного $k$ рассуждения аналогичны. Имеем $\mathcal{L}^{-1}\mathcal{L}=\{(a/c, (b-d)/c) \colon a,c\in A,\, b,d\in B \}$. Рассматривая величину $\mathsf{T}_{2k} (f_{\mathcal{L}})$, мы приходим к двум уравнениям. Первое уравнение есть
$$
\begin{equation}
\frac{a_1 \dotsb a_k}{c_1 \dotsb c_k} =\frac{a'_1 \dotsb a'_k}{c'_1 \dotsb c'_k} .
\end{equation}
\tag{3.8}
$$
Если мы зафиксируем в этом уравнении все переменные $a_1, \dots, a_k, a'_1, \dots, a'_k, c_1, \dots, c_k, c'_1, \dots, c'_k\,{\in} A$, тогда число решений второго уравнения будет $\mathsf{T}^{+}_{2k} (\alpha_1 f_B, \dots, \alpha_{2k} f_B)$, где $\alpha_1,\dots, \alpha_{2k} \in \mathbb {F}_p^*$ – некоторые элементы $A$, зависящие от фиксированных переменных. Последняя величина не превосходит $\mathsf{T}^{+}_{2k} (f_B)$ по лемме 1. Возвращаясь к (3.8), мы получаем необходимое неравенство. Лемма доказана. Теперь мы готовы получить наш первый основной результат. Теорема 6. Пусть $A,B, X_1,Y_1,Z_1 \subseteq \mathbb {F}^*_p$ – произвольные множества, $A=X Y_1$, $B=X Y_2$, $|A|=|X|\,|Y_1|/K_*$ и $|B|=|X|\,|Y_2|/K_*$. Пусть $|Z| \geqslant p^\delta$ для данного $\delta \gg {\log \log \log p}/{\log \log p}$, $M\geqslant 2 \delta^{-1}$ и $|X Z^M|\leqslant K|X|$. Тогда для некоторой абсолютной константы $C>0$ выполнено
$$
\begin{equation}
\bigl|\bigl\{(a,b)\in A \times B \colon a :=f_* (b) \bigr\}\bigr| -\frac{K^2 K_*^2 |A|\,|B|}{p} \ll K K_* \sqrt{|A|\,|B|} \cdot p^{-\delta^{C/\delta}} .
\end{equation}
\tag{3.9}
$$
Доказательство. Пусть $\sigma$ – это величина из левой части (3.9) и $k\geqslant 2$ – некоторый параметр. Также пусть $Q_1=AZ^M$, $Q_2=BZ^M$. Тогда $r_{Q_1 Z^{-M}} (a)=|Z|^M$ и $r_{Q_2 Z^{-M}} (a)=|Z|^M$ для любого $a\in A$. Заметим, что $|Q_1|\leqslant |X Z^M|\,|Y_1| \leqslant K|X|\,|Y_1|=K K_* |A|$ и подобная оценка верна для $|Q_2|$.
Имеем
$$
\begin{equation*}
|Z|^{2M} \sigma \leqslant \biggl|\biggl\{(q_1,q_2,z_1,z_2)\in Q_1\times Q_2 \times Z^{M} \times Z^M \colon \frac{q_1}{z_1} :=f_* \biggl(\frac{q_2}{z_2}\biggr) \biggr\}\biggr| ,
\end{equation*}
\notag
$$
где $z_1$, $z_2$ берутся с весами $r_{Z^M}(z_1), r_{Z^M}(z_2)$. Используя определение функции $f^{\alpha,\beta}_*$, мы приходим к уравнению
$$
\begin{equation}
\frac{q_1}{z_1}=\frac{q_2}{\alpha q_2+\beta z_2} \quad \Longrightarrow \quad \frac{z_1}{q_1}-\frac{\beta z_2}{q_2}=\alpha .
\end{equation}
\tag{3.10}
$$
Последнее уравнение может быть проинтерпретировано как инциденции прямых и точек множества прямых $\mathcal{L}$, где любое $l\in \mathcal{L}$ имеет вид $l\colon z_1X-\beta z_2 Y=\alpha$, и множества точек $\mathcal{P}=Q^{-1}_1 \times Q^{-1}_2$. Применяя предложение 1, мы получаем, что для любого $k$
$$
\begin{equation*}
\sigma-\frac{|Q_1|\,|Q_2|}{p} \ll |Z|^{-M} \sqrt{|Q_1|\,|Q_2|} \cdot \bigl(\mathsf{T}_{2^k} (f_{\mathcal{L}}) |Q_1|^4 p^{-2} \log pr)^{1/2^{k+2}} .
\end{equation*}
\notag
$$
Используя наши оценки для размеров множеств $Q_1$, $Q_2$ и совмещая их с леммой 3 и теоремой 4, получаем
$$
\begin{equation*}
\sigma-\frac{K^2 K^2_* |A|\,|B|}{p} \lesssim K K_* \sqrt{|A|\,|B|} \cdot(p^{2-\delta'(2^k-2)} \log p)^{1/2^{k+2}} .
\end{equation*}
\notag
$$
Взяв $k$ такое, что $\delta' (2^k-2) \geqslant 3.1$, получим
$$
\begin{equation*}
\sigma-\frac{K^2 K^2_* |A|\,|B|}{p} \ll K K_* \sqrt{|A|\,|B|} p^{-\delta'/100}.
\end{equation*}
\notag
$$
Теорема доказана. Замечание 1. Повторим, что если использовать улучшенную формулу для $\delta'$ (см. замечание перед теоремой 4) вида $\delta/(C_1 \log (C_2r/\delta))^k$, где $C_1,C_2>0$ – некоторые константы, то ограничение на $\delta$ в теореме 6 может быть ослаблено до $\delta \gg {\log \log \log \log p}/{\log \log p}$ и, более того, прямая оценка для $\mathsf{T}_{2^k}$ дала бы $\delta \gg {1}/{\log \log p}$. С другой стороны, это усложнило бы доказательство и лишь немного улучшило бы конечную оценку на $t_{\mathrm{mix}}$, поэтому оставляем провести данные вычисления заинтересованному читателю. Следствие 1. Пусть $g$ – первообразный корень и $I,J \subseteq \mathbb {F}^*_p$ суть две геометрические прогрессии с одинаковым знаменателем $g$ такие, что
$$
\begin{equation}
\exp\biggl(\frac{C \log p \cdot \log \log \log p}{\log \log p}\biggr) \ll |I|=|J| \leqslant \frac p2 ,
\end{equation}
\tag{3.11}
$$
где $C>0$ – абсолютная константа. Тогда
$$
\begin{equation}
\bigl|\bigl\{(a,b)\in I \times J \colon a :=f_* (b) \bigr\}\bigr| \leqslant (1-\kappa) |I|,
\end{equation}
\tag{3.12}
$$
где $\kappa>0$ – это абсолютная константа. Доказательство. Пусть $I=a\cdot \{1,g,\dots, g^n\}$, $J=b\cdot \{1,g,\dots, g^n\}$, где $n=|I|=|J|$. Применим теорему 6 с $A=I$, $B=J$, $Y_1=\{a\}$, $Y_2=\{b\}$, $X=\{1,g,\dots, g^n\}$, $K_*=1$ и $Z=\{1,g,\dots, g^m \}$, где мы определили величину $\delta$ как $m:=p^\delta$, и пусть
$$
\begin{equation}
m\leqslant \frac{cn}r ,
\end{equation}
\tag{3.13}
$$
где $c=1/8$ и $M\geqslant 2/\delta$. Тогда $K=|XZ^M|/|X| \leqslant 1+2c$. По формуле (3.9) получаем
$$
\begin{equation*}
\bigl|\bigl\{(a,b)\in I \times J \colon a :=f_* (b) \bigr\}\bigr| -\frac{(1+2c)^2 |I|\,|J|}{p} \ll |I| \cdot p^{-\delta^{C/\delta}} ,
\end{equation*}
\notag
$$
где $C>0$ – это абсолютная константа. Имеем ${(1+2c)^2 |I|\,|J|}/{p} \leqslant (25/32) |I|$, поскольку $n\leqslant p/2$. Вспоминая, что $M\sim 1/\delta$ и ${\log n}/{\log p} \gg {\log \log \log p}/{\log \log p}$, мы удовлетворим условию (3.13), выбирая $\delta \sim \log \log \log p/ \log \log p$ и получим оценку (3.12) благодаря нашему предположению (3.11). Следствие доказано. Теперь можно доказать теорему 1, которую мы формулируем в немного более общем виде (опять можно ослабить условие (3.14) и верхнее ограничение на $n$). В наших рассуждениях мы используем некоторые части доказательства из [8]. Теорема 7. Пусть $p$ – простое число и $\gamma \in \mathbb {F}_p^*$ элемент порядке не менее
$$
\begin{equation}
\exp\biggl(\Omega\biggl(\frac{\log p \cdot \log \log \log p}{\log \log p}\biggr)\biggr) .
\end{equation}
\tag{3.14}
$$
Также пусть $\varepsilon_{j}$ – случайная величина, равномерно распределенная на $\{\gamma^{-1}, \gamma \}$. Рассмотрим ленивую марковскую цепь $0\neq X_0,X_1,\dots, X_n, \dots $, определенную как
$$
\begin{equation*}
X_{j+1}=\begin{cases} f_* (X_{j}) \cdot \varepsilon_{j+1} & \textit {с вероятностью }\dfrac12, \\ X_{j} & \textit {с вероятностью }\dfrac12. \end{cases}
\end{equation*}
\notag
$$
Тогда для произвольной $c>0$ и для любого $n=c \exp(\log p \cdot \log \log \log p/ \log \log p)$ выполняется
$$
\begin{equation*}
\| P_n-U\| :=\max_{A \subseteq \mathbb {F}^*_p} \biggl| \mathrm{P} (X_n \in A)- \frac{|A|}{p-1} \biggr| \leqslant K e^{-Kc} ,
\end{equation*}
\notag
$$
где $K>0$ – абсолютная константа. То же выполняется для цепи $X_{j+1}=f_* (X_{j}) \cdot \varepsilon_{j+1}$, где $\varepsilon_j$ обозначает случайную величину, распределенную равномерно на $\{1, \gamma^{-1}, \gamma\}$. Доказательство. Пусть $P$ – эргодическая цепь Маркова на $k$-регулярном ориентированном графе $G=G(V,E)$. Пусть $h(G)$ – константа Чигера
$$
\begin{equation}
h(G)=\min_{|S| \leqslant |V|/2} \frac{e(S,S^c)}{k|S|} ,
\end{equation}
\tag{3.15}
$$
где $e(S,S^c)$ – число ребер между $S$ и дополнением $S$. Нам нужен результат из [5] (более компактная версия – [8; теорема 4.1]). Теорема 8. Пусть $P$ – эргодическая цепь Маркова на графе $G=G(V,E)$. Рассмотрим ленивую цепь $X_0,X_1,\dots, X_n, \dots $ с матрицей переходов $(I+P)/2$, начиная с некоторого определенного $X_0$. Тогда для любого $c>0$ и любого $n=c h(G)^{-2} \log |V|$ имеем
$$
\begin{equation*}
\max_{A\subseteq V} \biggl| \mathrm{P} (X_n \in A)-\frac{|A|}{|V|} \biggr| \leqslant e^{-Kc} ,
\end{equation*}
\notag
$$
где $K>0$ – абсолютная константа. В нашем случае $G=G(V,E)$ с $V=\mathbb {F}_p^*$ и $x \to y$ тогда и только тогда, когда $y=f_*(x) \gamma^{\pm 1}$. Таким образом, наша задача состоит в оценке константы Чигера $G$. Берем любое $S$, $|S|\leqslant p/2$, и запишем $S$ как дизъюнктное объединение $S=\bigsqcup_{j\in J} G_j$, где $G_j$ – геометрические прогрессии с шагом $\gamma^2$. Здесь и далее мы используем факт, что группа $\mathbb {F}_p^*$ циклическая, изоморфна $\mathbb {Z}/(p-1)\mathbb {Z}$ и порождена фиксированным первообразным корнем $g$. Рассмотрим $z$, $z\gamma$, $z\gamma^2$, где $z\in S$ – правая конечная точка (если она существует) некоторого $G_j$. Тогда $z\gamma^2 \in S^c$ и $z,z\gamma^2$ смежны с $f^{-1}_* (z\gamma)$. Вершина $f^{-1}_* (z\gamma)$ принадлежит $S$ или $S^c$, но в любом из этих случаев мы имеем ребро между $S$ и $S^c$. Пусть $J=J_0 \bigsqcup J_1$, где для $j\in J_0$ множество $G_j$ не имеет правого конца и $J_1=J\setminus J_0$. Ясно, что $|J_0| \leqslant 2|S|/\mathrm{ord}(\gamma)$. По приведенным выше рассуждениям
$$
\begin{equation}
\frac{|J_1|}{|S|} \geqslant \frac{|J|}{|S|}-\frac{2}{\mathrm{ord}(\gamma)} .
\end{equation}
\tag{3.16}
$$
Мы хотим получить другую нижнюю оценку для $h(G)$, которая работает лучше в случае, когда $J$ мало. Положим $L=|S|/|J|$, и пусть $\omega \in (0,1)$ – некоторый малый параметр, который мы выберем позже. Имеем $\sum_{j\in J} |G_j|=|S|$ и, таким образом, $\sum_{j \colon |G_j|\geqslant \omega L} |G_j| \geqslant (1-\omega) |S|$. Разбивая $G_j$ на интервалы длины $L_\omega :=\omega L/2$, мы видим, что оставшаяся часть не более $2\omega |S|$. Таким образом, мы получили некоторые геометрические прогрессии $G'_i$, $i\in I$, имеющие длины $L_\omega$ и шаг $\gamma^2$ такие, что $\sum_{i\in I} |G'_i| \geqslant (1-2\omega) |S|$. Положим $S'=\bigsqcup_{i\in I} G'_j$, и пусть $\Omega=S\setminus S'$, $|\Omega| \leqslant 2\omega |S|$. Другими словами, мы имеем $S'=XY$, $|S'|=|X|\,|Y|\geqslant (1-2\omega)|S|$, где $X=[1,\gamma^2, \dots, \gamma^{2(L_\omega-1)}]$ и $Y$ – некоторое множество мультипликативных сдвигов. Ясно, что
$$
\begin{equation}
\frac{e(S,S^c)}{|S|} \geqslant 1- \frac{e(S,S)}{|S|} \geqslant 1-8 \omega-\frac{e(S',S')}{|S|} .
\end{equation}
\tag{3.17}
$$
Положим $Z=[1,\gamma^2, \dots, \gamma^{2(L'_\omega-1)}]$, где величина $\delta$ определена как $L'_\omega=[p^\delta]$, и пусть
$$
\begin{equation}
m\leqslant \frac{cL_\omega}M ,
\end{equation}
\tag{3.18}
$$
где $c=1/8$ и $M\geqslant 2/\delta$. Тогда $|XZ^M|/|X| \leqslant 1+2c$. Также по предположению элемент $\gamma$ имеет порядок не менее $\exp(\Omega(\log p\,{\cdot} \log \log \log p/\log \log p))$. Используя теорему 6 с $K=1+2c$, $M\sim 1/\delta$ и принимая $\delta \geqslant {C \log \log \log p}/{\log \log p}$ для достаточно большой константы $C>0$, получим
$$
\begin{equation*}
\frac{e(S',S')}{|S|}-\frac{25 |S'|}{16 p} \ll p^{-\delta^{O(1/\delta)}} \leqslant \frac{1}{32} .
\end{equation*}
\notag
$$
Вспоминая, что $|S'|\leqslant |S| \leqslant p/2$, находим
$$
\begin{equation*}
\frac{e(S',S')}{|S|} \leqslant \frac{25 |S'|}{16 p}+\frac{1}{32} \leqslant \frac{25}{32}+\frac{1}{32}=\frac{13}{16} .
\end{equation*}
\notag
$$
Подставляя последнюю формулу в (3.17), выбирая достаточно большое $p$ и полагая, скажем, $\omega=2^{-8}$, имеем $h(G) \geqslant 1/32$. Необходимо проверить условие (3.18). Если условие не выполняется, то
$$
\begin{equation*}
\frac{|S|}{|J|}=L \delta^{-1} \ll L_\omega \delta^{-1} \ll |Z| \leqslant p^\delta \sim \exp \biggl(O\biggl(\frac{\log p \cdot \log \log \log p}{\log \log p}\biggr)\biggr) ,
\end{equation*}
\notag
$$
и в этом случае $|J| \,{\gg}\, |S| \exp (-O(\log p \cdot \log \log \log p/\log \log p)))$. Но тогда по (3.16) и нашему предположение $\mathrm{ord}(\gamma)=\exp(\Omega(\log p \cdot \log \log \log p/\log \log p))$, и мы видим, что в любом случае $h(G) \gg \exp (-O(\log p \cdot \log \log \log p/\log \log p)))$. Сопоставляя последнюю оценку для константы Чигера и теорему 8, получаем
$$
\begin{equation*}
n \leqslant \exp \biggl(O\biggl(\frac{\log p \cdot \log \log \log p}{\log \log p}\biggr)\biggr) .
\end{equation*}
\notag
$$
Последняя часть теоремы 7 получается таким же методом, если добавить к нему рассуждения из [4] и [8; п. 4.3]. Нужно убедится, что биекция $f_* (f^{-1}_* (\cdot) \gamma)$: $\mathbb {F}_p^* \to \mathbb {F}_p^*$ имеет тот же вид, что и в (1.4) (конечно, учитывая, что, как обычно, $f_*(-\beta/\alpha)=1/\alpha$). Это можно проверить непосредственными вычислениями или использовать то, что $f_*$ соответствует стандартному действию нижнетреугольной матрицы из $\mathrm{GL}_2 (\mathbb {F}_p)$. Теорема 7 доказана. Замечание 2. Рассмотрим ленивую марковскую цепь (1.2) с $f(x)=x^2$ и $p\equiv 3 \pmod 4$, $\varepsilon_i$ – независимые случайные величины, равномерно распределенные на $\pm \gamma$, $\gamma \in \mathbb {F}^*_p$ и $p$ – достаточно большое простое число. Используя те же рассуждения, что и в доказательстве теоремы 7, мы приходим к уравнениям $y+a=f(x+b)=x^2+2bx+b^2$, где $a$, $b$ принадлежат некоторой арифметической прогрессии $P$ и $x$, $y$ из дизъюнктного объединения $J$ арифметических прогрессий (детали доказательства могут быть найдены в [8]). Строго говоря, теперь стационарное распределение $\pi$ не равномерно и задается формулой
$$
\begin{equation*}
\pi (\alpha)=(2p)^{-1} | \{\beta \in \mathbb {F}_p \colon \beta^2 \pm \gamma=\alpha\}| ,
\end{equation*}
\notag
$$
сходимость и, значит, $t_{\mathrm{mix}}$ определяются относительно $\pi (\cdot)$ и, более того, соответствующий граф уже будет нерегулярным, что приведет к изменению определения (3.15) (см. подробное обсуждение данных обстоятельств в [8; п. 2.1]). Тем не менее легко показать, что
$$
\begin{equation}
t_{\mathrm{mix}}=O(p\log p).
\end{equation}
\tag{3.19}
$$
Набросок доказательства (3.19). Как и в доказательстве теоремы 7, выберем $S$, $|S|\leqslant p/2$, определим граф $G=G(V,E)$, $x\to y$ тогда и только тогда, когда $y=x^2 \pm \gamma$, и далее определим множества и числа $G_j$, $J$, $L$, $S'=P+Y$, $|P| \gg L$, как ранее. Как было рассмотрено выше, мы получаем уравнение $y+a=x^2+2bx+b^2$, $a,b\in P$, $x,y\in S'$, и это уравнение может быть интерпретировано как вопрос об инциденциях множества прямых $\mathcal{L}$ вида $Y=2bX+ (b^2-a)$ и множества точек $\mathcal{P}=(y-x^2,x)$. Имеем $|\mathcal{L}|=|P|^2$ и $|\mathcal{P}|=|S'|^2$. Используя основной результат из [33] (также, см. [26]), получаем
$$
\begin{equation}
\biggl| \mathcal{I} (\mathcal{P}, \mathcal{L})- \frac{|\mathcal{P}|\,|\mathcal{L}|}{p} \biggr| \leqslant \sqrt{|\mathcal{P}|\,|\mathcal{L}|p} .
\end{equation}
\tag{3.20}
$$
По формуле (3.20) и вычислениям, как выше (см. подробности в [8; п. 4.2]), наш граф образует экспандер, если $|S|/J \sim |P| \gg \sqrt{p}$. Действительно, в этом случае
$$
\begin{equation*}
\frac{e(S',S')}{|S|} \leqslant \frac{|S'|^2}{p|S|}+|P|^{-2} |S|^{-1} \sqrt{|\mathcal{P}|\,|\mathcal{L}|p} \leqslant \frac{1}{2}+\sqrt{p |P|^{-2}} \leqslant 1-c
\end{equation*}
\notag
$$
для некоторого $c>0$. Наконец, если, наоборот, $J\gg |S|/\sqrt{p}$, тогда по формуле, аналогичной (3.16), получим $h(G) \gg 1/\sqrt{p}$. Таким образом, в силу теоремы 8 мы видим, что время перемешивания $O(p\log p)$, как и требовалось. Метод доказательства теоремы 7 (см. также замечание 2) позволяет легко получить ленивые цепи Маркова на $\mathbb {F}^*_p$ с временем перемешивания $O(p\log p)$, например,
$$
\begin{equation}
X_{j+1}=\begin{cases} \mathrm{ind} (X_{j}) \cdot \varepsilon_{j+1} & \text{с вероятностью }\dfrac12, \\ X_{j} & \text{с вероятностью }\dfrac12 \end{cases}
\end{equation}
\tag{3.21}
$$
($X_0 \neq 0$) или, как в (1.2) с $f(x)=\exp(x)$, а именно,
$$
\begin{equation}
X_{j+1}=\begin{cases} \exp (X_{j})+\varepsilon_{j+1} & \text{с вероятностью }\dfrac12, \\ X_{j} & \text{с вероятностью }\dfrac12 . \end{cases}
\end{equation}
\tag{3.22}
$$
(как всегда $\varepsilon_i$ обозначают независимые случайные величины, распределенные равномерно на $\pm \gamma$, $\gamma \in \mathbb {F}^*_p$). Действительно, в первой цепи мы приходим к уравнению $ya=\mathrm{ind} (x)+\mathrm{ind} (b)$, а во второй к $y+b=\exp(x) \cdot \exp(a)$. Оба уравнения соответствуют инциденциям точек и прямых. Заметим еще раз, что наша функция $\mathrm{ind} (x)$ определена на $\mathbb {F}_p^*$, но не на $\mathbb {F}_p$ (опять, для аддитивной цепи Маркова можно доопределить функцию $\exp(x)$ как $\exp(0)=0$ и получить биекцию), но в действительности два значения $\exp(0)$, $\mathrm{ind}(0)$ привносят пренебрежимую величину ошибки в инциденции. В любом случае имеется намного более лучшая оценка для времени перемешивания двух цепей Маркова, приведенных выше. Теорема 9. Пусть $p$ – достаточно большое простое число, $\gamma{\kern1pt}{\in}{\kern1pt}\mathbb {F}^*_p$. Тогда время перемешивания цепи Маркова (3.22) есть $\exp(O(\log p \cdot \log \log \log p/\log \log p))$. Если дополнительно порядок $\gamma$ равен $\exp(\Omega(\log p \cdot \log \log \log p/\log \log p))$, то время перемешивания цепи Маркова (3.21) есть $\exp(O(\log p\cdot \log \log \log p/\log \log p))$. Доказательство. Наши рассуждения следуют той же схеме, что и доказательства теоремы 6 и теоремы 7. В обоих случаях нужно оценить энергию $\mathsf{T}_{2^k}$ множества аффинных преобразований $L$ вида $x\to gx+s$, где коэффициенты $g\in \Gamma=a \cdot \{1, \gamma, \dots, \gamma^n\}$ и $s\in P$ принадлежат геометрической и арифметической прогрессиям размера $n=\sqrt{|L|}$ соответственно. В силу предложения 1 можно оценить требуемое число инциденций уравнения $y=gx+s$, $g\in \Gamma$, $s\in P$. Ниже мы можем предположить, что $P,\Gamma$ достаточно малы (но больше чем $\exp(\Omega(\log p \cdot \log \log \log p/\log \log p))$, конечно). Дальнейшее применение леммы 3 бесполезно, так как $\mathsf{T}^{+}_{2^k} (P)$ максимально. Тем не менее мы делаем дополнительный шаг, рассматривая множество $L^{-1}L$, и замечаем, что любой элемент $L^{-1}L$ имеет вид $x\to g_2/g_1 x+(s_2-s_1)/g_1$, где $g_1,g_2\in \Gamma$, $s_1,s_2 \in P$. Теперь в силу рассуждений из леммы 3 наша задача – получить оценку $|\Gamma|^{2^{k+1}-1} \mathsf{T}^{+}_{2^k} (f_{(P-P)/\Gamma})$. Запишем $W=Q/\Gamma$, где $Q=P-P$, и пусть $\overline{Q}=Q+Q$. Получим грубую нижнюю оценку $|W|$, а именно, $|W| \gg n^{3/2}$. Действительно, можно использовать неравенство
$$
\begin{equation*}
\mathsf{E}^\times (P,\Gamma) \leqslant n^{-2} \bigl|\bigl\{(g_1,g_2,q_1,q_2,\overline{q}_1, \overline{q}_2) \in \Gamma^2\times Q^2 \times \overline{Q}^2 \colon (\overline{q}_1-q_1) g_1=(\overline{q}_2-q_2) g_2\bigr \}\bigr|
\end{equation*}
\notag
$$
и, таким образом, для малых $P,\Gamma$ выполняется $\mathsf{E}^\times (P,\Gamma) \ll n^{5/2}$ в силу теоремы Руднева (см. [21]). Действительно, последняя оценка влечет $|W| \gg n^{3/2}$ в силу неравенства Коши–Шварца. Положим $X=\{1, \gamma, \dots, \gamma^m\}^{-1} \subset \Gamma^{-1}$ и $m=p^\delta$. Пусть
$$
\begin{equation}
\frac{4}{\delta}\, m \leqslant c n^{1/2}
\end{equation}
\tag{3.23}
$$
для достаточно малого $c>0$, и если это так, то мы видим, что для любого целого $M\leqslant 4/\delta$ выполняется
$$
\begin{equation*}
|W X^M|=\biggl|\frac{Q}{\Gamma \cdot X^M}\biggr| \leqslant |W|+M n m=\frac{5|W|}4.
\end{equation*}
\notag
$$
Применяя теорему 4 с $k\leqslant 4/\delta$, получим
$$
\begin{equation*}
\mathsf{T}^{+}_{2^k}(f_{(P-P)/\Gamma}) \lesssim \log p \cdot (|P|^2 |\Gamma|)^{2^{k+1}} p^{-\delta'(2^k-2)}.
\end{equation*}
\notag
$$
Опять, выбираем $k$ такое, что $\delta' (2^k-2) \gg 1$. Тогда, рассуждая, как в лемме 3, получим
$$
\begin{equation*}
\mathsf{T}_{2^{k+1}} (f_L) \lesssim |\Gamma|^{2^{k+1}-1} 2^{2r} \log p \cdot (|P|^2 |\Gamma|)^{2^{k+1}} p^{-\delta'(2^k-2)} \ll |L|^{2^{k+2}} p^{-\delta'(2^k-2)}.
\end{equation*}
\notag
$$
После этого мы применяем те же рассуждения, что и в доказательстве теоремы 7. Наконец, чтобы выполнить (3.23), выбираем $\delta \sim \log \log \log p/ \log \log p$ и вспоминаем наше условие $\exp(\Omega(\log p \cdot \log \log \log p/\log \log p))$. Теорема доказана.
§ 4. Комбинаторные применения Применим разработанную технику к множествам Сидона, следуя схеме из [28]. Нам понадобятся лемма 3, лемма 7 и теорема 4. Лемма 4. Пусть $A\subseteq \mathbf G$ – произвольное множество. Тогда для любого $k\geqslant 2$ имеем
$$
\begin{equation}
\mathsf{Sid}_{3k-3} (A) \gg \biggl( \frac{|A|^{2k}}{\mathsf{E}_k (A)} \biggr)^{1/(2k-1)} , \qquad \mathsf{Sid}_{2k-2} (A) \gg \biggl( \frac{|A|^{2k}}{\widehat{\mathsf{E}}_k (A)} \biggr)^{1/(2k-1)} .
\end{equation}
\tag{4.1}
$$
Лемма 5. Пусть $A\subseteq \mathbf G$ – произвольное множество, $A=B+C$ и $k\geqslant 1$ – целое число. Тогда
$$
\begin{equation*}
\mathsf{Sid}_k (A) \leqslant \min \Bigl\{|C| \sqrt{k|B|}+|B|, |B| \sqrt{k|C|}+ |C| \Bigr\} .
\end{equation*}
\notag
$$
Теорема 10. Пусть $A\subseteq \mathbf G$ – произвольное множество, $\delta, \varepsilon \in (0,1]$ – параметры, $\varepsilon \leqslant \delta$. 1) Тогда существует $k=k(\delta, \varepsilon)=\exp(O(\varepsilon^{-1} \log (1/\delta)))$ такое, что либо $\mathsf{E}_k (A) \leqslant |A|^{k+\delta}$, либо же найдутся $H\subseteq \mathbf G$, $|H| \gtrsim |A|^{\delta(1-\varepsilon)}$, $|H+H| \ll |A|^\varepsilon |H|$, и множество $Z\subseteq \mathbf G$, $|Z|\,|H| \ll |A|^{1+\varepsilon}$ с
$$
\begin{equation*}
|(H\dotplus Z) \cap A| \gg |A|^{1-\varepsilon} .
\end{equation*}
\notag
$$
2) Аналогично, либо найдутся множества $A'\subseteq A$, $|A'| \gg |A|^{1-\varepsilon}$, и $P\subseteq \mathbf G$, $|P| \gtrsim |A|^\delta$, такие, что для всех $x\in A'$ имеем $r_{A-P}(x) \gg |P|\,|A|^{-\varepsilon}$, либо же $\mathsf{E}_k (A) \leqslant |A|^{k+\delta}$ для $k \ll 1/\varepsilon$. Для работы в вещественном случае нам потребуется известная теорема Семереди–Троттера (см. [31]). Теорема 11. Пусть $\mathcal{P}$, $\mathcal{L}$ – произвольные конечные множества точек и прямых в $\mathbb R^2$. Тогда
$$
\begin{equation*}
\mathcal{I} (\mathcal{P}, \mathcal{L}) \ll (|\mathcal{P}|\,|\mathcal{L}|)^{2/3}+|\mathcal{P}|+|\mathcal{L}| .
\end{equation*}
\notag
$$
Теперь мы готовы доказать теорему 2. Возьмем любое $\delta<1/2$, например, $\delta=1/4$, и пусть $\varepsilon \leqslant \delta/4$ – некоторый параметр, который мы выберем позже. В силу леммы 4 мы видим, что неравенство $\mathsf{E}^{\times}_k (A) \leqslant |A|^{k+\delta}$ влечет
$$
\begin{equation}
\mathsf{Sid}^{\times}_{3k-3} (A) \gg |A|^{1/2+ (1-2\delta)/(2(2k-1))}=|A|^{1/2+1/(4(2k-1))},
\end{equation}
\tag{4.2}
$$
и мы получаем требуемое. Здесь $k=k(\varepsilon)$. Иначе существует $H\subseteq \mathbb {F}$, $|H| \gtrsim |A|^{\delta(1-\varepsilon)} \geqslant |A|^{\delta/2}$, $|HH| \ll |A|^{\varepsilon} |H|$, и существует $Z\subseteq \mathbb {F}$, $|Z|\,|H| \ll |A|^{1+\varepsilon}$, с $|(HZ) \cap A| \gg |A|^{1-\varepsilon}$. Здесь произведение $H$ и $Z$ прямое, т.е. $h_1 z_1=h_2 z_2$ для $h_1,h_2 \in H$, $z_1,z_2 \in Z$ влечет $h_1=h_2$ и $z_1=z_2$. Положим $A_*=(HZ) \cap A$, $|A_*| \gg |A|^{1-\varepsilon}$, и мы хотим оценить $\mathsf{E}^{\times}_{l+1} (A_*+1)$ или же $\widehat{\mathsf{E}}_{l+1}^{\times} (A_*+1)$ для большого $l$. После этого, имея хорошую верхнюю оценку для $\mathsf{E}^{\times}_{l+1} (A_*+1)$ или $\widehat{\mathsf{E}}_{l+1}^{\times} (A_*\,{+}\,1)$, применим лемму 4 еще раз для нахождения большого мультипликативного подмножества Сидона в $A_*$. Во-первых, заметим, что в силу (2.1) мы имеем
$$
\begin{equation*}
|H A^{-1}_*| \leqslant |H H^{-1}|\,|Z| \ll |A|^{2\varepsilon} |H|\,|Z| \ll |A|^{1+3\varepsilon} .
\end{equation*}
\notag
$$
Другими словами, множество $A^{-1}_*$ почти не растет после умножения на $H$. Пусть $Q=H A^{-1}_*$, $|Q| \ll |A|^{1+3\varepsilon}$, и также пусть $M=|A|^{\varepsilon}$. Во-вторых, фиксируем произвольное $\lambda \neq 0, 1$. Количество решений уравнения $a_1 / a_2=\lambda$, где $a_1,a_2 \in A_*+1$, не превосходит
$$
\begin{equation*}
\sigma_\lambda :=|H|^{-2r} \biggl|\biggl\{h_1,h_2\in H,\, q_1,q_2\in Q \colon \frac{h_1/q_1+1}{h_2/q_2+1}=\lambda \biggr\}\biggr| .
\end{equation*}
\notag
$$
Последнее уравнение имеет вид (3.10), а именно
$$
\begin{equation*}
\frac{h_1}{q_1}-\frac{\lambda h_2}{q_2}=\lambda-1,
\end{equation*}
\notag
$$
и оно может быть интерпретировано как вопрос о числе инциденций точек и прямых. Для каждого $\lambda \neq 0,1$ величина $\sigma_\lambda$ может быть оценена как
$$
\begin{equation}
\sigma_\lambda \ll |H|^{-2} \cdot |Q|\,|H|^{2-\kappa} \ll |A|^{1+3\varepsilon} |H|^{-\kappa}
\end{equation}
\tag{4.3}
$$
так же, как и в доказательстве теоремы 6 выше (в случае $\mathbb {F}=\mathbb R$ то же самое верно в силу теоремы 11). Здесь $\kappa=\kappa(\delta)>0$. Действительно, по нашему предположению $|A|<\sqrt{p}$, а также по теореме 5, предположению 1 и лемме 3 мы находим
$$
\begin{equation}
\sigma_\lambda-\frac{|Q|^2}{p} \lesssim |Q|\,|H|^{-1/2} (|Q| \mathsf{T}^{+}_{2^r} (H))^{1/2^{r+2}} \lesssim |Q| \sqrt{M} \bigl( M^3 |A|\,|H|^{-(r+1)/2} \bigr)^{1/2^{r+2}},
\end{equation}
\tag{4.4}
$$
поскольку еще $|H| \gtrsim_r M^{2^{r+1}}$ и $|H|^{r+1} \ll p$. Здесь $r$ – некоторый параметр и мы выбираем $r\sim 1/\delta$ для выполнения второго условия. Для выполнения первого условия просто возьмем $\varepsilon {2^{r+1}} \ll \delta$ (другими словами, $\varepsilon \leqslant \exp(-\Omega(1/\delta))$) и получим требуемое, ибо $|H| \gg |A|^{\delta/2}$. Далее, используя $|H| \gg |A|^{\delta/2}$, $|A_*| \gg |A|^{1-\varepsilon}$, оценку (4.3) и выбирая любое $\varepsilon \leqslant \delta \kappa/100$, получаем после вычислений, что $\sigma_\lambda \ll |A_*|^{1-\delta \kappa/4}$. Теперь, взяв достаточно большое $l \gg (\delta \kappa)^{-1}$, получаем
$$
\begin{equation*}
\begin{aligned} \, \widehat{\mathsf{E}}_{l+1}^{\times} (A_*) &=\sum_{\lambda} r^{l+1}_{A_* A_*} (\lambda) \ll |A_*|^{l+1}+(|A_*|^{1-\delta \kappa/2})^l |A_*|^2 \\ &\ll |A_*|^{l+1}+|A|^{l+2-\delta\kappa l/2} \ll |A_*|^{l+1}. \end{aligned}
\end{equation*}
\notag
$$
Применяя лемму 4 и выбирая $\varepsilon \ll l^{-1}$, мы видим, что
$$
\begin{equation*}
\begin{aligned} \, \mathsf{Sid}^\times_{2l} (A) &\geqslant \mathsf{Sid}^\times_{2l} (A_*) \gg |A_*|^{(l+1)/(2l+1)} \gg|A|^{((1-\varepsilon)(l+1))/(2l+1)} \\ & =|A|^{1/2+(1-2\varepsilon(l+1))/(2(2l+1))} \gg |A|^{1/2+c} , \end{aligned}
\end{equation*}
\notag
$$
где $c=c(\delta) >0$ – абсолютная константа. Мы получили неравенство (1.8) теоремы 2. Для получения оценки (1.10) мы используем те же рассуждения, что и выше, но теперь наш аналог величины $\sigma_\lambda$ – это $\exp(q_1) \exp(h_1)-\exp(q_2) \exp(h_2)=\lambda$, где $q_1,q_2 \in Q=A_*+H$, $h_1, h_2\in H$. Последнее уравнение может быть рассмотрено как вопрос об инциденциях множества прямых $x \exp(h_1)-y \exp(h_2)=\lambda$, $|\mathcal{L}|=|H|^2$ и соответствующего множества точек $\mathcal{P}$ размера $|Q|^2$. Тогда аналоги оценок (4.3), (4.4) верны и результат получен. Осталось доказать оценку (1.11) теоремы. Для любых множества $X_1,X_2,X_3$ рассмотрим множество $R[X_1,X_2,X_3]$
$$
\begin{equation*}
R[X_1,X_2,X_3]=\biggl\{\frac{x_1-x_3}{x_2-x_3} \colon x_1,x_2,x_3 \in X,\, x_2 \neq x_3 \biggr\} .
\end{equation*}
\notag
$$
Если $X_1=X_2=X_3=X$, то мы полагаем $R[X_1,X_2,X_3]=R[X]$. Можно проверить, что $1-R[X_1,X_2,X_3]=R[X_1,X_3,X_2]$. Для $\mathbb {F}=\mathbb R$ или $\mathbb {F}=\mathbb {F}_p$ возьмем $X=P$, $A=R[X]$, где $P=\{1,\dots, n \}$, $\overline{P}=\{-n, \dots, n \}$, и пусть $n<\sqrt{p}$ в случае $\mathbb {F}_p$. Тогда $A$ содержится в $\overline{P} / \overline{P} :=B \cdot C$ и в силу леммы 5 любое мультипликативное $k$-сидоновское подмножество $A$ имеет размер не более $O (\sqrt{k} |A|^{3/4})$, потому что, как можно проверить, $|A| \gg |P|^2$. Далее, $1-A=A$ и, таким образом, те же рассуждения применимы к множеству $1-A$. Осталось заметить, что $\mathsf{Sid}^\times (X)=\mathsf{Sid}^\times (-X)$ для любого множества $X$. Наконец, заметим, что существует альтернативный (но, возможно, немного более сложный) способ получить оценку (1.11). Действительно, рассмотрим $R[\Gamma]$, где $\Gamma\subseteq \mathbb {F}_p^*$, $|\Gamma|< \sqrt{p}$ – мультипликативная подгруппа (мы рассматриваем случай $\mathbb {F}=\mathbb {F}_p$). Можно заметить, что $R[\Gamma]=(\Gamma-1)/(\Gamma-1)$ и повторить те же рассуждения, что и выше. Посвящается академику А. Н. Паршину.
|
|
|
Список литературы
|
|
|
1. |
C. Asci, “Generating uniform random vectors”, J. Theoret. Probab., 14:2 (2001), 333–356 |
2. |
J. Bourgain, “Multilinear exponential sums in prime fields under optimal entropy condition on the sources”, Geom. Funct. Anal., 18:5 (2009), 1477–1502 |
3. |
J. Bourgain, A. Gamburd, “Uniform expansion bounds for Cayley graphs of $\mathrm{SL}_2(\mathbb {F}_p)$”, Ann. of Math. (2), 167:2 (2008), 625–642 |
4. |
S. Chatterjee, P. Diaconis, “Speeding up Markov chains with deterministic jumps”, Probab. Theory Related Fields, 178:3-4 (2020), 1193–1214 |
5. |
Fan Chung, “Laplacians and the Cheeger inequality for directed graphs”, Ann. Comb., 9:1 (2005), 1–19 |
6. |
F. R. K. Chung, P. Diaconis, R. L. Graham, “Random walks arising in random number generation”, Ann. Probab., 15:3 (1987), 1148–1165 |
7. |
S. Eberhard, P. P. Varjú, “Mixing time of the Chung–Diaconis–Graham random process”, Probab. Theory Related Fields, 179:1-2 (2021), 317–344 |
8. |
J. He, “Markov chains on finite fields with deterministic jumps”, Electron. J. Probab., 27 (2022), 28, 17 pp. |
9. |
J. He, Huy Tuan Pham, Max Wenqiang Xu, “Mixing time of fractional random walk on finite fields”, Electron. J. Probab., 27 (2022), 133, 15 pp. |
10. |
M. Hildebrand, “A lower bound for the Chung–Diaconis–Graham random process”, Proc. Amer. Math. Soc., 137:4 (2009), 1479–1487 |
11. |
M. Hildebrand, “Random processes of the form $X_{n+1}=a_n X_n+b_n \pmod p$ where $b_n$ takes on a single value”, Random discrete structures (Minneapolis, MN, 1993), IMA Vol. Math. Appl., 76, Springer, New York, 1996, 153–174 |
12. |
M. Hildebrand, “Random processes of the form $X_{n+1}=a_n X_n+b_n \pmod p$”, Ann. Probab., 21:2 (1993), 710–720 |
13. |
C. Pohoata, Sidon sets and sum–product phenomena https://pohoatza.wordpress.com/2021/01/23/sidon-sets-and-sum-product-phenomena/ |
14. |
J. Komlós, M. Sulyok, E. Szemerédi, “Linear problems in combinatorial number theory”, Acta Math. Acad. Sci. Hungar., 26:1-2 (1975), 113–121 |
15. |
И. А. Круглов, “Случайные последовательности вида $X_{t+1}=a_t X_t+b_t \pmod n$ с зависимыми коэффициентами $a_t$, $b_t$”, Дискрет. матем., 17:2 (2005), 49–55 ; англ. пер.: I. A. Kruglov, “Random sequences of the form $X_{t+1}=a_t X_t+b_t$ modulo $n$ with dependent coefficients $a_t$, $b_t$”, Discrete Math. Appl., 15:2 (2005), 145–151 |
16. |
D. A. Levin, Y. Peres, Markov chains and mixing times, 2nd ed., Amer. Math. Soc., Providence, RI, 2017, xvi+447 pp. |
17. |
B. Murphy, “Upper and lower bounds for rich lines in grids”, Amer. J. Math., 143:2 (2021), 577–611 |
18. |
B. Murphy, G. Petridis, O. Roche-Newton, M. Rudnev, I. D. Shkredov, “New results on sum–product type growth over fields”, Mathematika, 65:3 (2019), 588–642 |
19. |
K. O'Bryant, “A complete annotated bibliography of work related to Sidon sequences”, Electron. J. Combin., 2004, Dynamic Surveys, DS11, 39 pp. |
20. |
O. Roche-Newton, A. Warren, “Additive and multiplicative Sidon sets”, Acta Math. Hungar., 165:2 (2021), 326–336 |
21. |
M. Rudnev, “On the number of incidences between points and planes in three dimensions”, Combinatorica, 38:1 (2018), 219–254 |
22. |
M. Rudnev, I. D. Shkredov, “On the growth rate in $\mathrm{SL}_2(\mathbb {F}_p)$, the affine group and sum–product type implications”, Mathematika, 68:3 (2022), 738–783 |
23. |
T. Schoen, I. D. Shkredov, “Higher moments of convolutions”, J. Number Theory, 133:5 (2013), 1693–1737 |
24. |
А. С. Семченков, “Максимальные подмножества без арифметических прогрессий в произвольных множествах”, Матем. заметки, 102:3 (2017), 436–444 ; англ. пер.: A. S. Semchenkov, “Maximal subsets free of arithmetic progressions in arbitrary sets”, Math. Notes, 102:3 (2017), 396–402 |
25. |
I. D. Shkredov, “Some remarks on the asymmetric sum–product phenomenon”, Mosc. J. Comb. Number Theory, 8:1 (2019), 15–41 |
26. |
И. Д. Шкредов, “Об асимптотических формулах в некоторых вопросах теории сумм произведений”, Тр. ММО, 79, № 2, МЦНМО, М., 2018, 271–334 ; англ. пер.: I. D. Shkredov, “On asymptotic formulae in some sum–product questions”, Trans. Moscow Math. Soc., 2018 (2018), 231–281 |
27. |
I. D. Shkredov, “Modular hyperbolas and bilinear forms of Kloosterman sums”, J. Number Theory, 220 (2021), 182–211 |
28. |
I. D. Shkredov, “On an application of higher energies to Sidon sets”, Combinatorica, 2023, Publ. online |
29. |
S. Sidon, “Ein Satz über trigonometrische Polynome und seine Anwendung in der Theorie der Fourier-Reihen”, Math. Ann., 106:1 (1932), 536–539 |
30. |
S. Stevens, F. de Zeeuw, “An improved point-line incidence bound over arbitrary fields”, Bull. Lond. Math. Soc., 49:5 (2017), 842–858 |
31. |
E. Szemerédi, W. T. Trotter, Jr., “Extremal problems in discrete geometry”, Combinatorica, 3:3-4 (1983), 381–392 |
32. |
T. Tao, Van H. Vu, Additive combinatorics, Cambridge Stud. Adv. Math., 105, Cambridge Univ. Press, Cambridge, 2006, xviii+512 pp. |
33. |
L. A. Vinh, “The Szemerédi–Trotter type theorem and the sum–product estimate in finite fields”, European J. Combin., 32:8 (2011), 1177–1181 |
34. |
A. Warren, Additive and multiplicative Sidon sets, Report at CANT–2021 http://www.theoryofnumbers.com/cant/CANT2021-abstracts.pdf |
Образец цитирования:
И. Д. Шкредов, “О мультипликативном процессе Чанг–Диакониса–Грэма”, Матем. сб., 214:6 (2023), 136–154; I. D. Shkredov, “On the multiplicative Chung-Diaconis-Graham process”, Sb. Math., 214:6 (2023), 878–895
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/sm9811https://doi.org/10.4213/sm9811 https://www.mathnet.ru/rus/sm/v214/i6/p136
|
Статистика просмотров: |
Страница аннотации: | 248 | PDF русской версии: | 15 | PDF английской версии: | 31 | HTML русской версии: | 81 | HTML английской версии: | 113 | Список литературы: | 23 | Первая страница: | 2 |
|