[论文解读] On sums of squares of primes II

Glyn Harman, Angel Kumchev|arXiv (Cornell University)|Feb 24, 2009

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

一句话总结

本文纠正了先前关于不能表示为三个或四个素数平方和的整数例外集合的严重错误，通过改进筛法和指数和估计，将例外集合大小的上界指数显著优化，从 $1/7$ 降低至 $3/20$，证明了 $E_3(N) \ll N^{17/20 + \epsilon}$ 与 $E_4(N) \ll N^{7/20 + \epsilon}$，并将其应用于加法数论中的相关问题。

ABSTRACT

In this paper we continue our study, begun in part I, of the exceptional set of integers, not restricted by elementary congruence conditions, which cannot be represented as sums of three or four squares of primes. We correct a serious oversight in our first paper, but make further progress on the exponential sums estimates needed, together with an embellishment of the previous sieve technique employed. This leads to an improvement in our bounds for the maximal size of the exceptional sets.

研究动机与目标

• 纠正作者先前在素数平方和研究中关于指数和估计（公式 (4.16)）的严重疏漏。
• 改进例外集合 $E_3(N)$ 与 $E_4(N)$ 的上界，其中 $E_3(N)$ 与 $E_4(N)$ 分别定义为在特定算术级数中不能表示为三个或四个素数平方和的整数集合。
• 通过不对称地筛除两个变量而非仅一个，改进筛法，从而增强估计的强度。
• 建立关于整数表示为 $p_1 + p_2^2 + p_3^2$ 的例外集合的新结果，证明 $E(N) \ll N^{7/20 + \epsilon}$。

提出的方法

• 作者采用一种改进的筛法技术，对两个变量进行不对称筛除，利用特征函数 $\rho_j(m)$ 从下界控制表示数的个数。
• 定义生成函数 $f_j(\alpha) = \sum_{m \in \mathcal{I}} \rho_j(m) e(\alpha m^2)$，并应用圆法分析主弧与小弧上的指数和。
• 该方法涉及将生成函数分解为 $G^*(\alpha)$ 与 $G(\alpha)$，其差值 $K(\alpha) = G^*(\alpha) - G(\alpha)$ 捕获误差项。
• 关键估计依赖于Hua引理以及指数和的 $L^4$-范数界，确保 $\int_0^1 |g_j(\alpha)|^4 d\alpha \ll P^{2+\epsilon}$。
• 通过 $L^2$-范数分析例外集合 $\mathfrak{Z}$ 的生成函数 $Z(\alpha)$，利用柯西-施瓦茨不等式与Parseval恒等式控制 $|\mathfrak{Z}|$ 的大小。
• 最终界通过结合 $L^4$-范数估计与 $L^2$-范数控制导出，得到 $|\mathfrak{Z}| \ll P^{17/10 + 2\epsilon} \ll N^{17/20 + \epsilon}$。

实验结果

研究问题

• RQ1 奇异级数 $\mathfrak{S}_3(n)$ 的正确渐近行为是什么？其平均估计如何影响三个素数平方和中例外集合的大小？
• RQ2 能否通过不对称地筛除两个变量而非仅一个，来改进筛法，从而增强指数和估计？
• RQ3 在范围 $1/7 \leq \sigma \leq 3/20$ 内，参数 $\sigma$ 的最优值为何，可使例外集合界中的指数最小化？
• RQ4 修正后的指数和估计如何影响 $E_3(N)$ 与 $E_4(N)$ 的界？该方法能否推广至其他加法问题？
• RQ5 该改进方法能否应用于其他表示形式，如 $n = p_1 + p_2^2 + p_3^2$，以导出更优的例外集合界？

主要发现

• 本文纠正了先前估计 (4.16) 中关于平均奇异级数的严重错误，该错误使原始界 $E_3(N) \ll N^{6/7 + \epsilon}$ 失效。
• 通过改进筛法与指数和技术，作者将例外集合界中的指数从 $6/7$ 降低至 $17/20$，证明了 $E_3(N) \ll N^{17/20 + \epsilon}$。
• 对于四个素数平方和，该界被改进为 $E_4(N) \ll N^{7/20 + \epsilon}$，显著减小了例外集合的大小。
• 该方法被拓展至新问题：对于满足 $n \equiv 1$ 或 $3 \pmod{6}$ 且不能表示为 $p_1 + p_2^2 + p_3^2$ 的整数，其例外集合 $E(N)$ 满足 $E(N) \ll N^{7/20 + \epsilon}$。
• 改进的方法依赖于不对称双筛法与更强的指数和 $L^4$-范数估计，其关键创新在于对差值 $K(\alpha) = G^*(\alpha) - G(\alpha)$ 的控制。