[论文解读] Lower bounds in some power sum problems

Johan Andersson|ArXiv.org|Apr 15, 2007

Analytic Number Theory Research参考文献 5被引用 3

一句话总结

本文利用费耶尔核和单边估计，建立了单位圆上纯幂和最大值的改进下界。证明了对 $ j \geq 0 $，有 $$ \min_{|z_k|=1} \max_{\nu=1,\dots,n^2+j} \left| \sum_{k=1}^n z_k^\nu \right| \geq \sqrt{ \frac{n + (1+j)(n-1)}{2(j + n^2)} } $$，显著改进了先前的估计，尤其在 $ j \geq 2n^2 $ 时。该方法结合调和分析与费耶尔核的非负性，对具有模为1的根的指数和给出了紧致的界。

ABSTRACT

We study the power sum problem max_{v=1,...,m} | sum_{k=1}^n z_k^v | and by using features of Fejer kernels we give new lower bounds in the case of unimodular complex numbers z_k and m cn^2 for constants c>1.

研究动机与目标

• 改进现有对纯幂和 $ \sum_{k=1}^n z_k^\nu $ 最大值的下界估计，其中 $ |z_k| = 1 $，特别是针对长度为 $ n^2 + j $ 的区间。
• 通过费耶尔核技术和单边 $ L^2 $-型不等式，建立此类和的最小可能最大值的更紧致估计。
• 分析在长度为 $ \lfloor \alpha n^2 \rfloor $ 的区间上，幂和上确界下确界渐近行为，通过函数 $ \Lambda(\alpha) $ 描述其增长速率。

提出的方法

• 使用费耶尔核 $ F_{m+1}(x) = \sum_{\nu=-m}^m \left(1 - \frac{|\nu|}{m+1}\right) e(\nu x) $，其非负且已知 $ L^1 $-范数为 $ m+1 $，以控制指数和。
• 通过分解 $ g(\nu) = g^+(\nu) + g^-(\nu) $ 应用单边估计，其中 $ g^+ $ 和 $ g^- $ 分别为和的正部与负部。
• 利用恒等式 $ \sum_{\nu=1}^m \left(1 - \frac{\nu}{m+1}\right) g^+(\nu) \geq \text{关于 } A, B, M \text{ 的表达式} $，推导出 $ \max g^+(\nu) $ 的下界，其中 $ A = \sum b_k $，$ B = \sum b_k^2 $，$ M $ 为 $ |g(\nu)| $ 的上界。
• 将这些界应用于纯幂和情形，令 $ b_k = 1 $，故 $ A = n $，$ B = n^2 - n $，并导出涉及 $ j = m - n^2 $ 的关键不等式。
• 利用恒等式 $ |g(\nu)|^2 = n + h(\nu) $，其中 $ h(\nu) $ 是关于 $ i \neq j $ 的实值指数和，将问题转化为对 $ h(\nu) $ 的有界性分析。
• 基于 $ |h(\nu)| \leq B^2 $ 或否，进行分情况讨论，导出 $ \max |S(\nu)|^2 $ 的两个不同下界表达式。

实验结果

研究问题

• RQ1 当 $ |z_k| = 1 $ 且 $ j \geq 0 $ 时，$ \max_{\nu=1}^{n^2+j} \left| \sum_{k=1}^n z_k^\nu \right| $ 的最佳可能下界是什么？
• RQ2 费耶尔核方法所得的估计与已知的图兰型估计相比如何？
• RQ3 当 $ \alpha \to \infty $ 时，能否对 $ \max_{\nu=1}^{\lfloor \alpha n^2 \rfloor} \left| \sum z_k^\nu \right| $ 导出更紧的下界？
• RQ4 函数 $ \Lambda(\alpha) $ 的最优增长速率为何，使得 $ \inf_{|z_k|=1} \max_{\nu=1}^{\lfloor \alpha n^2 \rfloor} |S(\nu)| \geq \Lambda(\alpha) \sqrt{n} $ 成立？

主要发现

• 对 $ j \geq 0 $，本文证明了下界 $$ \min_{|z_k|=1} \max_{\nu=1}^{n^2+j} \left| \sum z_k^\nu \right| \geq \sqrt{ \frac{n + (1+j)(n-1)}{2(j + n^2)} } $$，优于先前估计。
• 当 $ m = n^2 + j $ 时，该下界在 $ j > 0 $ 时优于图兰的 $ \sqrt{n} $，而当 $ j = 0 $ 时，给出 $ \geq \sqrt{ \frac{n+1}{2n} - \frac{1}{2n^2} } $，略优于已知的 $ \sqrt{n} $。
• 当 $ j \geq 2n^2 $ 时，该下界变为 $ \geq \sqrt{ \frac{2 - 2/\alpha - o(1)}{\sqrt{n}} } $，进一步改进了先前表达式。
• 当 $ \alpha \geq 3 $ 时，渐近下界为 $ \left( \sqrt{2 - \frac{2}{\alpha}} - o(1) \right) \sqrt{n} $，表明最优 $ \Lambda(\alpha) $ 满足 $ \lim_{\alpha \to \infty} \Lambda(\alpha) = \sqrt{2} $。
• 本文表明，$ \max_{\nu=1}^{n^2} |S(\nu)| $ 的真实渐近行为为 $ \sim \sqrt{n} $，与早期结果一致，但当 $ \alpha > 1 $ 时，下界与上界尚未匹配。
• 推论3中的下界 $ \sqrt{ \frac{n+1}{2} - \frac{2n-1}{2(n^2+n-1)} } $，当 $ n+1 $ 为素数时，近似将已知上下界之间的差距减半。