| Математический сборник |
|
|
|
|
|
О мультипликативном процессе Чанг–Диакониса–Грэма И. Д. Шкредов Математический институт им. В. А. Стеклова Российской академии наук, г. Москва
Англоязычная версия:
Sbornik: Mathematics, 2023, Volume 214, Issue 6, Pages DOI: https://doi.org/10.4213/sm9811e 
Реферативные базы данных:
     § 1. Введение1.1.Процесс Чанг–Диакониса–Грэма (см. [6]) – это случайное блуждание на $\mathbb {F}_p$ (в более общем случае на $\mathbb {Z}/n\mathbb {Z}$ для составного $n$), определенное как где $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] была рассмотрена более общая нелинейная версия процесса Чанг–Диакониса–Грэма, определенная как где $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] и в других работах. Рассмотрим семейство функций где $\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$, Тогда для любого $c>0$ и для любого $n=c \exp(\log p \cdot \log \log \log p/\log \log p)$ имеем где $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$ имеет место следующая оценка: Клурман и Похоацэ, как указано в [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$ такие, что Относительно верхних границ для (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^+$ выполняется Здесь $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$ такие, что Мы благодарим Джимми Хе за очень полезные дискуссии и ценные предложения. Также мы благодарим рецензента за многочисленные комментарии и аккуратную вычитку нашей статьи. § 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$ как Подобным образом определим множество разностей и множествах старших сумм, например, $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]. Следующая лемма 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)] в следующей удобной форме (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$. Тогда где суммирование по $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$ выполняется где $\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}}$. Тогда § 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}
\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$ выполняется Доказательство. Рассмотрим случай четного $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$ выполнено Доказательство. Пусть $\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, получаем Взяв $k$ такое, что $\delta' (2^k-2) \geqslant 3.1$, получим Теорема доказана. Замечание 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$ такие, что где $C>0$ – абсолютная константа. Тогда где $\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$, и пусть где $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^*$ элемент порядке не менее Доказательство. Пусть $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|$ имеем где $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]$, и пусть где $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$ не равномерно и задается формулой Набросок доказательства (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$. Пусть для достаточно малого $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$ имеем Лемма 5. Пусть $A\subseteq \mathbf G$ – произвольное множество, $A=B+C$ и $k\geqslant 1$ – целое число. Тогда Теорема 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}$ с 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$. Тогда Теперь мы готовы доказать теорему 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), а именно и оно может быть интерпретировано как вопрос о числе инциденций точек и прямых. Для каждого $\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)$ и повторить те же рассуждения, что и выше. Посвящается академику А. Н. Паршину.
Цитирование в формате AMSBIB
\RBibitem{Shk23} |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Обратная связь: |
Пользовательское соглашение
|
Регистрация посетителей портала |
Логотипы |
|