[论文解读] On additive shifts of multiplicative almost-subgroups in finite fields

Dmitrii Zhelezov|arXiv (Cornell University)|Jul 20, 2015

Limits and Structures in Graph Theory参考文献 10被引用 7

一句话总结

本文在有限域中建立了涉及乘法几乎子群的加法平移积集的改进下界。通过利用关联几何与能量估计，证明了对于满足 $ |A| = |B| = |C| \leq \sqrt{p} $ 的集合 $ A, B, C \subset \mathbb{F}_p $，有 $ \max(|AB|, |(A+d)C|) \gg |A|^{1+1/26} $，优于先前结果。进一步将该结果推广至一般有限域 $ \mathbb{F}_q $，得到指数 $ 1+1/559+o(1) $，并提供了高斯和的显式幂次节省界，超越了经典 Weil 界在某些范围内的结果。

ABSTRACT

We prove that for sets $A, B, C \subset \mathbb{F}_p$ with $|A|=|B|=|C| \leq \sqrt{p}$ and a fixed $0 eq d \in \mathbb{F}_p$ holds $$ \max(|AB|, |(A+d)C|) \gg|A|^{1+1/26}. $$ In particular, $$ |A(A+1)| \gg |A|^{1 + 1/26} $$ and $$ \max(|AA|, |(A+1)(A+1)|) \gg |A|^{1 + 1/26}. $$ The first estimate improves the bound by Roche-Newton and Jones. In the general case of a field of order $q = p^m$ we obtain similar estimates with the exponent $1+1/559 + o(1)$ under the condition that $AB$ does not have large intersection with any subfield coset, answering a question of Shparlinski. Finally, we prove the estimate $$ \left| \sum_{x \in \mathbb{F}_q} ψ(x^n) ight| \ll q^{\frac{7 - 2δ_2}{8}}n^{\frac{2+2δ_2}{8}} $$ for Gauss sums over $\mathbb{F}_q$, where $ψ$ is a non-trivial additive character and $δ_2 = 1/56 + o(1)$. The estimate gives an improvement over the classical Weil bound when $q^{1/2} \ll n = o\left( q^{29/57 + o(1)} ight)$.

研究动机与目标

• 改进 $ \mathbb{F}_p $ 中乘法几乎子群的和积估计的指数，特别是针对满足 $ |A(A+1)| \gg |A|^{1+\delta} $ 的集合 $ A $。
• 在避免与子域陪集有大交集的条件下，将此类估计推广至一般有限域 $ \mathbb{F}_q = \mathbb{F}_{p^m} $。
• 为高斯和 $ \left| \sum \psi(x^n) \right| $ 提供显式幂次节省界，当 $ n \ll q^{29/57+o(1)} $ 时，优于经典 Weil 界。
• 回答 Shparlinski 提出的问题：当 $ AB $ 避免与大子域陪集相交时，$ \mathbb{F}_q $ 中积集的结构如何？

提出的方法

• 基于 Rudnev 最近在有限域中得到的关联结果，采用改进的关联理论方法。
• 应用能量估计与 Balog-Szemerédi-Gowers 定理，以控制平移集合中的加法与乘法能量。
• 使用一个关键引理，给出在子域交集条件下乘法能量的上界 $ E(G) \ll |G|^{3-\delta_2} $，其中 $ \delta_2 = 1/56 + o(1) $。
• 通过 $ |S(a,G)| \ll q^{1/8} E(G)^{1/4} $ 将能量界与高斯和估计结合，从而获得改进的指数和界。
• 对 $ n $ 和子域交集施加条件：$ \gcd(n, (q-1)/(p^\nu -1)) \ll n^\delta q^{1-\delta}/p^\nu $，其中 $ \delta = 119/605 $，以确保能量界适用。
• 将一般 $ \mathbb{F}_q $ 情形约化为 Li 和 Roche-Newton 的和积估计，因使用 BSG 与能量方法，指数较弱。

实验结果

研究问题

• RQ1 在 $ \mathbb{F}_p $ 中，和积估计 $ |A(A+1)| \gg |A|^{1+\delta} $ 的指数能否超越 $ \delta = 1/56 $？
• RQ2 当集合避免与子域陪集有大交集时，此类估计在一般有限域 $ \mathbb{F}_q $ 中如何表现？
• RQ3 能否为高斯和 $ \left| \sum \psi(x^n) \right| $ 推导出超越 Weil 界的显式幂次节省指数？
• RQ4 乘法几乎子群的结构如何影响平移积集 $ (A+d)C $ 的大小？
• RQ5 当 $ n \gg q^{1/2} $ 时，对 $ n $ 和子域施加何种条件，可获得 $ \sum \psi(x^n) $ 的非平凡界？

主要发现

• 对于满足 $ |A| = |B| = |C| \leq \sqrt{p} $ 的集合 $ A, B, C \subset \mathbb{F}_p $，对任意固定的 $ d \neq 0 $，有 $ \max(|AB|, |(A+d)C|) \gg |A|^{1+1/26} $，优于先前的 $ \delta = 1/56 $。
• 该结果蕴含 $ |A(A+1)| \gg |A|^{1+1/26} $，这是首次在 Roche-Newton 和 Jones 的 $ \delta = 1/56 $ 界之上取得改进。
• 在 $ \mathbb{F}_q $ 中，若对所有真子域 $ F $ 和 $ c \in \mathbb{F}_q $，均有 $ |AB \cap cF| \leq |F|^{1/2} $，则有 $ \max(|AB|, |(A+d)C|) \gg |A|^{1+1/559+o(1)} $。
• 本文给出了高斯和的新界：$ \left| \sum_{x \in \mathbb{F}_q} \psi(x^n) \right| \ll q^{(7-2\delta_2)/8} n^{(2+2\delta_2)/8} $，其中 $ \delta_2 = 1/56 + o(1) $，且当 $ n \ll q^{29/57+o(1)} $ 时成立。
• 该高斯和界在 $ q^{1/2} \ll n \ll q^{29/57+o(1)} $ 范围内优于 Weil 界，提供了显式幂次节省。
• 条件 $ \gcd(n, (q-1)/(p^\nu -1)) \ll n^{119/605} q^{1-119/605}/p^\nu $ 确保能量估计适用，从而支持高斯和界。