[论文解读] Turan's problem 10 revisited

Johan Andersson|ArXiv.org|Sep 11, 2006

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

一句话总结

本文通过建立复数在单位圆上或圆外时幂和最大值的精确上界，解决了图兰的第10个问题。结合概率方法、算术构造（蒙特格默里、法布里克斯科普、安德森）、矩估计以及素数间隔界限（贝克-哈曼-平茨），作者证明了在 $\nu = 1,\dots,n^2$ 上，$\left|\sum_{k=1}^n z_k^\nu\right|$ 的下确界-最大值为 $\sqrt{n} + O(n^{0.2625+\epsilon})$，优于埃勒斯和雷尼之前的 $O(\sqrt{n\log n})$ 界限。

ABSTRACT

In this paper we prove that inf_{|z_k| => 1} max_{v=1,...,n^2} |sum_{k=1}^n z_k^v| = sqrt n+O(n^{0.2625+epsilon}). This improves on the bound O(sqrt (n log n)) of Erdos and Renyi. In the special case of $n+1$ being a prime we have previously proved the much sharper result that the quantity lies in the interval [sqrt(n),sqrt(n+1)] The method of proof combines a general lower bound (of Andersson), explicit arithmetical constructions (of Montgomery, Fabrykowski or Andersson), moments (probabilistic methods) and estimates for the difference of consecutive primes (of Baker, Harman and Pintz). We also prove some (conditional and unconditional) related results.

研究动机与目标

• 解决一般整数 $n$ 下的图兰问题10，扩展此前仅在 $n+1$ 为素数时成立的结果。
• 改进埃勒斯与雷尼对 $\nu = 1,\dots,n^2$ 时幂和最大值的 $O(\sqrt{n\log n})$ 界限。
• 为 $|z_k| \geq 1$ 时 $\left|\sum_{k=1}^n z_k^\nu\right|$ 的下确界-最大值建立紧致的渐近估计，趋近于 $\sqrt{n}$。

提出的方法

• 结合安德森的一般下界与针对模为1的 $z_k$ 的显式算术构造（蒙特格默里、法布里克斯科普、安德森）。
• 应用概率方法与矩估计，控制幂和最大值的尾部行为。
• 利用连续素数之间差值的估计（贝克-哈曼-平茨）以优化上界。
• 提出蒙特格默里构造的新变体，实现对 $\nu$ 达到 $m n^2$（$m$ 接近1）时的 $O(\sqrt{n})$ 类型界限。
• 运用牛顿-吉拉德恒等式与卡塞尔引理，推导出 $\nu$ 到 $n^2 - n + 1$ 时的通用下界 $\sqrt{n}$，并通过概率论证将其扩展至 $n^2$。
• 应用有限域上的特征和估计（卡茨）推导更高 $\nu$ 范围（如 $n^{2m}$）的下界。

实验结果

研究问题

• RQ1 能否对一般 $n$ 改进埃勒斯-雷尼对 $\nu = 1,\dots,n^2$ 时幂和最大值的 $O(\sqrt{n\log n})$ 界限？
• RQ2 当 $n$ 不一定满足 $n+1$ 为素数时，$\left|\sum_{k=1}^n z_k^\nu\right|$ 的下确界-最大值的下界 $\sqrt{n}$ 是否是紧的？
• RQ3 对于 $\alpha > 1$，$\inf_{|z_k|\geq 1} \max_{\nu=1,\dots,\lfloor \alpha n^2 \rfloor} \left|\sum_{k=1}^n z_k^\nu\right|$ 的正确渐近阶数是多少？
• RQ4 上界能否收紧至 $\sqrt{n} + o(\sqrt{n})$ 对于一般 $n$，还是 $n^{0.2625+\epsilon}$ 是最优指数？
• RQ5 当 $|z_k| = 1$ 与 $|z_k| \geq 1$ 时，渐近行为是否显著不同？

主要发现

• 本文建立了 $\inf_{|z_k|\geq 1} \max_{\nu=1,\dots,n^2} \left|\sum_{k=1}^n z_k^\nu\right|$ 的上界 $\sqrt{n} + O(n^{0.2625+\epsilon})$，显著优于埃勒斯与雷尼的 $O(\sqrt{n\log n})$ 界限。
• 在 $n+1$ 为素数的特殊情况下，该界是紧的：$\sqrt{n} \leq \inf \max \left|\sum z_k^\nu \right| \leq \sqrt{n+1}$，确认此情形下 $\sqrt{n}$ 阶是紧的。
• 该方法结合了概率技术、显式构造（蒙特格默里、法布里克斯科普、安德森）与素数间隔估计（贝克-哈曼-平茨），以优化误差项。
• 作者通过卡塞尔引理与牛顿-吉拉德恒等式证明了 $\sqrt{n}$ 是 $\max_{\nu=1,\dots,n^2 - n + 1} \left|\sum z_k^\nu\right|$ 的通用下界。
• 对于一般 $\alpha > 0$，本文给出界限 $\underline{A}(\alpha)\sqrt{n} \leq \inf \max \left|\sum z_k^\nu \right| \leq \overline{A}(\alpha)\sqrt{n}$，其中 $\underline{A}(\alpha) = 1 - \sqrt{1 - \alpha}$ 对于 $\alpha \leq 1$，暗示 $A(\alpha) = 1$ 对于 $\alpha < 1$。
• 猜想5提出，无论 $|z_k| \geq 1$ 还是 $|z_k| = 1$，渐近常数 $A\left(\alpha\right)$ 相同，意味着 $\sqrt{n}$ 阶在两种情形下均具有鲁棒性。