[论文解读] On a question of Cochrane and Pinner concerning multiplicative subgroups

Tomasz Schoen, Ilya D. Shkredov|arXiv (Cornell University)|Aug 4, 2010

Limits and Structures in Graph Theory参考文献 14被引用 3

一句话总结

本文通过证明：对于大小满足 $ p^\ho \leq |R| \leq p^{2/3 - \rho} $ 的乘法子群 $ R \neq \bbF_p^* $，其和集满足 $ |R \pm R| \gg |R|^{3/2 + \delta} $，其中 $ \delta > 0 $ 仅依赖于 $ \rho $，从而解决了 Cochrane 与 Pinner 提出的问题。证明方法结合了傅里叶分析、加性能量估计以及子群陪集上的不均匀度界，通过假设 $ |R \pm R| $ 过小导致矛盾，从而建立比以往更强的子群增长结果，尤其适用于小规模子群。

ABSTRACT

Answering a question of T. Cochrane and C. Pinner, we prove that for any ε>0, sufficiently large prime number p and an arbitrary multiplicative subgroup R of the field Z/pZ, p^ε < |R| < p^{2/3-ε} the following holds |R + R|, |R - R| > |R|^{3/2+δ}, where δ>0 depends on ε only.

研究动机与目标

• 解决 Cochrane 与 Pinner 提出的关于 $ \bbF_p^* $ 中小规模乘法子群加性能量增长的问题。
• 改进已知的乘法子群 $ R \subseteq \bbF_p^* $ 满足 $ |R| \leq p^{2/3} $ 时，和集 $ R \pm R $ 大小的下界。
• 对满足 $ p^\varepsilon \leq |R| \leq p^{2/3 - \varepsilon} $ 的子群，实现对经典结果 $ |R \pm R| \gg |R|^{3/2} $ 的定量改进。
• 证明当 $ |R| \geq p^{\kappa} $ 且 $ \kappa > 41/83 $ 时，有 $ 6R = \bbF_p^* $，从而改进有限域中的基型结果。

提出的方法

• 在有限阿贝尔群上使用傅里叶分析，特别是傅里叶变换与 Parseval 恒等式，将加性能量与指数和联系起来。
• 应用加性能量 $ \mathsf{E}(A) $ 与高阶能量 $ \mathsf{E}_3(A) $ 的概念，分析 $ R \pm R $ 的结构，利用 $ R $ 的特征函数的傅里叶系数的有界性。
• 采用反证法：假设 $ |R \pm R| $ 过小，将与子群陪集的已知均匀分布性质产生矛盾。
• 利用 $ R - R $ 是 $ R $ 的陪集的并集，且每个陪集模 $ p $ 均匀分布的事实，来界定最大傅里叶系数 $ \rho = \max_{\xi \neq 0} |\widehat{S}(\xi)| $。
• 结合引理 17 与引理 18 的估计，推导出 $ |R \pm R| $ 关于 $ |R| $、$ p $ 与 $ \log|R| $ 的界，从而得出两个主要不等式 (1) 与 (2)。
• 将该方法应用于改进基的结果：证明当 $ |R| \geq p^{\kappa} $ 且 $ \kappa > 41/83 $ 时，有 $ 6R = \bbF_p^* $，利用改进的和集界与 $ S^2 \cdot R^2 \cdot \widehat{\lambda R} $ 的傅里叶变换上的 Parseval 恒等式。

实验结果

研究问题

• RQ1 能否对满足 $ p^\varepsilon \leq |R| \leq p^{2/3 - \varepsilon} $ 的乘法子群，改进经典下界 $ |R \pm R| \gg |R|^{3/2} $？
• RQ2 对于小规模乘法子群，是否存在最优指数 $ \delta > 0 $，使得 $ |R \pm R| \gg |R|^{3/2 + \delta} $ 成立？
• RQ3 对于足够大的子群 $ |R| \geq p^{\kappa} $ 且 $ \kappa > 41/83 $，能否将 $ \bbF_p^* $ 的基数从 8 降低至 6？
• RQ4 高阶加性能量与子群陪集的傅里叶均匀性如何限制 $ R \pm R $ 的大小？
• RQ5 加性能量、傅里叶系数与有限域中 $ R - R $ 的结构之间存在何种相互作用？

主要发现

• 对任意 $ \varepsilon > 0 $，充分大的素数 $ p $，以及满足 $ p^\varepsilon \leq |R| \leq cp^{2/3} $ 的乘法子群 $ R \subseteq \bbF_p^* $，其和集满足 $ |R \pm R| \gg \min\left\{ |R|p^{1/3} (\log|R|)^{-1/3}, |R|^{3/2} p^{\delta} \right\} $，其中 $ \delta = \delta(\varepsilon) > 0 $。
• 对更大的子群，特别是当 $ |R| \sim p^{1/2} $ 时，该界改进为 $ |R \pm R| \gg |R|^{5/3 - \varepsilon} $，表明存在超二次增长。
• 当 $ |R| \geq p^{1/3 + \varepsilon} $ 时，不等式 $ |R \pm R| \gg |R|^{27/14} p^{-1/7} (\log|R|)^{-4/7} $ 成立，其值超过 $ |R|^{3/2} $，证实了更强的增长性。
• 本文证明：当 $ |R| \geq p^{\kappa} $ 且 $ \kappa > 41/83 $ 时，对所有充分大的 $ p $，有 $ 6R = \bbF_p^* $，优于 Glibichuk 的结果 $ 8R = \bbF_p^* $。
• 基于陪集傅里叶均匀性与能量界所导出的反证法表明，$ |R \pm R| $ 不可能过小，从而导出改进的生长估计。
• 该方法在 $ |R| \ll p^{2/3} $ 时，对 Heath–Brown 与 Konyagin 的 $ |R \pm R| \gg |R|^{3/2} $ 结果实现了定量改进，通过在 $ |R| $ 的指数中引入一个非平凡的 $ \delta > 0 $。