[论文解读] Sums of dilates in groups of prime order

Alain Plagne|Apr 11, 2011

Rings, Modules, and Algebras被引用 5

一句话总结

该论文在 $\mathbb{Z}/p\mathbb{Z}$ 中建立了首个非平凡的关于和集 $|\mathcal{A} + t\cdot\mathcal{A}|$ 的下界，表明当 $t \neq 0, \pm1$ 且 $\mathcal{A} \subset \mathbb{Z}/p\mathbb{Z}$ 不是过大时，有 $|\mathcal{A} + t\cdot\mathcal{A}| > (2 + \vartheta_t)|\mathcal{A}| - w(t)$，其中 $\vartheta_t > 0$ 依赖于 $t$。对于 $t = 2$，论文证明了 $\vartheta_2 = 0.08$，显著优于平凡的 $2|\mathcal{A}|-1$ 下界。

ABSTRACT

We obtain a first non-trivial estimate for the sum of dilates problem in the case of groups of prime order, by showing that if $t$ is an integer different from $0, 1$ or -1 and if $\A \subset \Zp$ is not too large (with respect to $p$), then $|\A+t\cdot \A|>(2+ \vartheta_t)|\A|-w(t)$ for some constant $w(t)$ depending only on $t$ and for some explicit real number $\vartheta_t >0$ (except in the case $|t|=3$). In the important case $|t|=2$, we may for instance take $\vartheta_2=0.08$.

研究动机与目标

• 在 $\mathbb{Z}/p\mathbb{Z}$ 中建立和集 $|\mathcal{A} + t\cdot\mathcal{A}|$ 的非平凡下界，其中 $p$ 为素数且 $t \neq 0, \pm1$。
• 将已知的整数结果推广到素数阶有限循环群的设定中。
• 通过引入一个正的裕量 $\vartheta_t > 0$，量化和集 $\mathcal{A} + t\cdot\mathcal{A}$ 比平凡下界 $2|\mathcal{A}|-1$ 大多少。
• 证明即使在模运算设定下，这种定量改进也是可能的，方法包括调和分析和弗赖曼型同构论证。

提出的方法

• 使用 Lev 的指数和引理，寻找 $\mathcal{A}$ 与长度为 $p/(|t|+1)$ 的区间 $I$ 之间的大交集 $|\mathcal{A} \cap I|$。
• 定义一个函数 $f_t(c)$，其捕捉了以 $c$（与傅里叶系数 $\widehat{1_{\mathcal{A}}}(1)$ 相关的参数）表示的 $|\mathcal{A} + t\cdot\mathcal{A}|$ 相对大小的最优下界。
• 应用循环化论证：若 $\mathcal{A}_0 = \mathcal{A} \cap I$，则由于区间长度小于 $p$，$\mathcal{A}_0 + t\cdot\mathcal{A}_0$ 与其中的整数对应物弗赖曼同构，从而可使用已知的整数和集界。
• 推导出关键不等式 $x \geq (|t|+1)B_t(x,c)$，其中 $x = |\mathcal{A} + t\cdot\mathcal{A}| / |\mathcal{A}|$，由此得出 $x \geq f_t(c)$，从而建立改进后的下界。
• 对于 $|t| = 2$，使用定义 $M(\beta, \eta)$ 的最大值中的第一项，导出一个二次不等式并求解，得到 $\vartheta_2 = 0.08$。对于 $|t| \geq 3$，使用涉及反三角函数 $g^{-1}$ 的第二项。
• 利用和集在 $\mathbb{Z}/p\mathbb{Z}$ 中若包含于短区间内，则与整数和集同构的事实，使得可将 $\mathbb{Z}$ 中已知的加法组合结果转移至模运算设定。

实验结果

研究问题

• RQ1 能否在 $\mathbb{Z}/p\mathbb{Z}$ 中为 $t \neq 0, \pm1$ 建立形如 $|\mathcal{A} + t\cdot\mathcal{A}| > (2 + \vartheta_t)|\mathcal{A}| - w(t)$ 的非平凡下界？
• RQ2 使得和集在 $\mathbb{Z}/p\mathbb{Z}$ 中严格快于 $2|\mathcal{A}|$ 增长的最优 $\vartheta_t > 0$ 值是多少？
• RQ3 集合 $\mathcal{A}$ 的结构，特别是其傅里叶系数 $\widehat{1_{\mathcal{A}}}(1)$，如何影响 $\mathcal{A} + t\cdot\mathcal{A}$ 的大小？
• RQ4 通过循环化和区间同构，加法组合论在 $\mathbb{Z}$ 中的结果能在多大程度上被转移到 $\mathbb{Z}/p\mathbb{Z}$ 中？
• RQ5 是否存在一个与 $p$ 无关的统一常数 $w(t)$，使得在 $\mathbb{Z}/p\mathbb{Z}$ 中恒有 $|\mathcal{A} + t\cdot\mathcal{A}| \geq (|t|+1)|\mathcal{A}| - w(t)$？

主要发现

• 对于 $t = 2$，论文证明了 $|\mathcal{A} + 2\cdot\mathcal{A}| > (2 + 0.08)|\mathcal{A}| - 2$，确立了 $\vartheta_2 = 0.08$ 作为对平凡下界的具体定量改进。
• 对于 $|t| \geq 3$，论文建立了 $|\mathcal{A} + t\cdot\mathcal{A}| > (2 + \vartheta_t)|\mathcal{A}| - w(t)$，其中 $\vartheta_t > 0$，尽管其精确值依赖于 $t$，并通过边界中的反三角函数 $g^{-1}$ 推导得出。
• 该下界通过识别一个包含于长度为 $p/3$ 的区间内的大子集 $\mathcal{A}_0 \subset \mathcal{A}$（当 $t=2$ 时）而获得，使得 $\mathcal{A}_0 + 2\cdot\mathcal{A}_0$ 与其中的整数对应物同构。
• 该方法依赖于 Lev 的引理，将傅里叶系数 $|\widehat{1_{\mathcal{A}}}(1)|$ 与 $\mathcal{A}$ 在区间内的密度联系起来，从而实现从整数和集界向模运算设定的转移。
• 该结果在精神上证实了某个猜想：在 $\mathbb{Z}/p\mathbb{Z}$ 中，和集会超出 $2|\mathcal{A}|-1$ 的平凡下界，且扩展裕量 $\vartheta_t$ 明确量化。
• 对于 $t = 2$，当 $c = 1/35000$ 时，$f_2(c) = 2.08$ 成立，意味着 $|\mathcal{A} + 2\cdot\mathcal{A}| \geq 2.08|\mathcal{A}| - 2$，展示了严格超线性增长。