[论文解读] New estimates of double trigonometric sums with exponential functions

M. Z. Garaev, A. A. Karatsuba|ArXiv.org|Apr 1, 2005

Analytic Number Theory Research参考文献 4被引用 4

一句话总结

本文提出了一类涉及有限域上乘法特征标与指数函数的双重指数和的新界，采用对Vinogradov均值值方法的精细化应用。关键贡献在于对 $ p $ 的指数实现了显著改进，当 $ |/mathcal{X}| \geq |\mathcal{Y}| \geq p^{3/4+\varepsilon} $ 时获得非平凡估计，超越了文献中针对一般系数序列此类和的先前结果。

ABSTRACT

We establish a new bound for the exponential sum \begin{eqnarray*} \sum_{x\in\mathcal{X}}\Big|\sum_{y\in \mathcal{Y}}γ(y)\exp(2πi a λ^{xy}/p)\Big|, \end{eqnarray*} where $λ$ is an element of the residue ring modulo a large prime number $p,$ $\mathcal{X}$ and $\mathcal{Y}$ are arbitrary subsets of the residue ring modulo $p-1$ and $γ(n)$ are any complex numbers with $|γ(n)| \le 1.$ In particular, we improve several previously known bounds.

研究动机与目标

• 改进形如 $ \\sum_{x\\in\\mathcal{X}} \\left| \\sum_{y\\in\\mathcal{Y}} \gamma(y) \\exp(2\pi i a \lambda^{xy}/p) \\right| $ 的双重指数和的现有界，其中 $ \lambda $ 在模素数 $ p $ 下的阶为 $ T $。
• 通过在估计过程中引入新要素，扩展并改进 [10] 的方法，从而实现对任意子集 $ \mathcal{X}, \mathcal{Y} \subset \mathbb{Z}_{p-1} $ 上和的更强界。
• 提供即使对稀疏集 $ \mathcal{Y} $ 也非平凡的改进估计，特别是当 $ |\mathcal{Y}| \geq p^{3/4+\varepsilon} $ 时，超越了先前的阈值 $ p^{7/8+\varepsilon} $。
• 建立一个适用于乘法特征标和与椭圆曲线上指数和的一般界，正如 [3] 和 [10] 中的应用所建议的那样。

提出的方法

• 作者使用了Vinogradov均值值方法的精细化版本，结合基于除数和与乘法特征标水平集的新型分解技术。
• 他们定义了集合 $ \mathcal{L}_d $，其中包含满足 $ dy \in \mathcal{Y} $ 且 $ (dy, p-1) = d $ 的索引 $ y $，从而实现对整除 $ p-1 $ 的 $ d $ 的二分分解。
• 对于小的 $ d < Tp^{-1/2}(\log p)^{-4k} $，他们应用了一种新的混合估计，结合 $ \ell $-水平集与柯西-施瓦茨不等式，以控制对 $ x $ 和 $ y $ 的和，利用指数和中的抵消效应。
• 该方法涉及通过 $ \delta(uv) $ 计数同余方程组 $ uv_j \equiv t \pmod{p} $ 的解数，并通过大筛法或指数和界应用 $ L^2 $-型估计。
• 关键创新在于引入参数 $ k $ 以在不同界之间插值，从而在 $ k \to \infty $ 时渐进地优化 $ p $ 的指数。
• 最终界通过遍历所有整除 $ p-1 $ 的 $ d $ 获得，将小 $ d $ 和大 $ d $ 的贡献分离，并利用 $ \tau(p-1) = p^{o(1)} $ 对除数个数的界。

实验结果

研究问题

• RQ1 能否将任意复系数 $ \gamma(y) $，满足 $ |\gamma(y)| \leq 1 $ 的双重指数和的界改进至超越当前最优的 $ p^{7/8+o(1)} $ 指数？
• RQ2 当 $ \mathcal{X}, \mathcal{Y} $ 是 $ \mathbb{Z}_{p-1} $ 的任意子集时，$ W_a(\gamma; T; \mathcal{X}, \mathcal{Y}) $ 的界中 $ p $ 的最优指数是多少？它如何依赖于 $ k $？
• RQ3 所提出的新方法能否扩展至椭圆曲线或其他代数簇上的特征和，如 [3] 所建议的那样？
• RQ4 该新界保持非平凡的 $ |\mathcal{Y}| $ 阈值是多少？与先前结果相比如何？

主要发现

• 本文建立了新界：$ W_a(\gamma; T; \mathcal{X}, \mathcal{Y}) \ll \frac{|\mathcal{X}|^{1-1/(2k)}|\mathcal{Y}|^{1-1/(2k+2)} p^{1/(2k) + 3/(4k+4) + o(1)}}{T^{1/(2k+2)}} $，对任意固定的 $ k \geq 1 $ 成立。
• 当 $ T = p-1 $ 时，该界变为 $ W_a(\gamma; p-1; \mathcal{X}, \mathcal{Y}) \ll |\mathcal{X}|^{1-1/(2k)}|\mathcal{Y}|^{1-1/(2k+2)} p^{1/(2k) + 1/(4k+4) + o(1)} $，优于先前的 $ p^{7/8+o(1)} $ 指数。
• 当 $ k \to \infty $ 时，该界在 $ |\mathcal{X}| \geq |\mathcal{Y}| \geq p^{3/4+\varepsilon} $ 时保持非平凡，优于先前的阈值 $ p^{7/8+\varepsilon} $。
• 对于 $ T \ll p $ 的情形，界 $ W_a(\gamma; T; \mathcal{X}_T, \mathcal{Y}_T) \ll |\mathcal{X}_T|^{1-1/(2k)}|\mathcal{Y}_T|^{1-1/(2k+2)} T^{1/(2k)} p^{1/(4k+4)+o(1)} $ 改进了先前对 $ T $-挠元和的 $ p^{1/8+o(1)} $ 指数。
• 该方法还导出了新界 $ W_a(\gamma; T; \mathcal{X}, \mathcal{Y}) \ll \frac{|\mathcal{X}|^{1/2}|\mathcal{Y}|^{3/4} p^{7/8+o(1)}}{T^{1/4}} $，对满足 $ |\mathcal{Y}| \leq p^{1-c} $ 的稀疏集 $ \mathcal{Y} $ 改进了早期结果。