Representations of positive integers by three almost-prime squares

技术摘要：三个几乎素数平方表示正整数

问题陈述
本文研究了将正整数表示为三个平方数之和的问题，特别关注了对变量素因子分解所施加的约束。虽然 Legendre 和 Gauss 已经确立了整数 $m$ 可表示为 $m = x^2 + y^2 + z^2$ 的充分必要条件是 $m \neq 4^k(8\ell+7)$，但作者研究了当变量 $x_i$ 为“几乎素数”（即具有有界素因子个数的整数）时的表示情况。

主要研究对象是满足条件 $N \equiv 3 \pmod{24}$ 且 $5 \nmid N$ 的整数 $N$。本文旨在改进关于方程 $N = x_1^2 + x_2^2 + x_3^2$ 中变量 $x_1, x_2, x_3$ 所需的素因子个数（$P_r$ 数）的现有结果。具体而言，目标是降低使得 $x_1x_2x_3$ 为 $P_r$ 数，或使每个单独的 $x_i$ 为 $P_r$ 数时所需的界限 $r$。

第二个相关问题涉及 Sun 关于表示形式 $N = x^2 + y^2 + (2az)^2$ 的一个相关猜想，旨在改进关于 $z$ 的几乎素数性质的界限。

方法论
证明过程依赖于组合解析数论技术，具体包括：

1. 高维筛法： 作者采用了三维筛法来处理三个平方数的求和问题。
2. Richert 型加权筛法： 他们利用了由 Cai [6] 引入的加权筛法，该方法通过根据变量的素因子分配权重，从而实现对素因子个数的优化。
3. 分布估计： 论证的核心取决于三元二次型 $x_1^2 + x_2^2 + x_3^2$ 的“分布水平”。作者利用了 Waibel [21] 提供的 Bombieri-Vinogradov 型结果和对角范数估计。
4. Theta 级数与模形式： 为了建立表示分布所需的误差项界限，论文分析了与二次型相关的 Theta 级数的傅里叶系数。具体而言，作者使用 Waibel 的定理 2 来限制属（genus）平均值与实际表示数之间的差异。
5. 一维归约： 对于第二个结果（定理 1.3），该方法被适配到一维筛法设置中，通过在形式为 $N = x^2 + y^2 + (2az)^2$ 的单个变量 $z$ 上应用类似的加权筛法进行处理。

核心贡献与结果

• 定理 1.1： 对于满足 $N \equiv 3 \pmod{24}$ 且 $5 \nmid N$ 的充分大的整数 $N$，作者证明了 $N$ 可以写成 $N = x_1^2 + x_2^2 + x_3^2$，其中乘积 $x_1x_2x_3$ 是一个 $P_{67}$ 数（即至多含有 67 个素因子的整数）。此类表示的数量被证明为 $\gg N^{1/2-\epsilon}$。

  • 改进： 这改进了 Waibel [21] 的结果，后者得到的是 $P_{72}$ 数。

• 定理 1.2： 在相同条件下，作者证明了 $N$ 可以表示为 $N = x_1^2 + x_2^2 + x_3^2$，其中每个单独的变量 $x_i$ 都是 $P_{27}$ 数。此类表示的数量同样为 $\gg N^{1/2-\epsilon}$。

  • 注： 该结果是从与定理 1.1 相同的加权筛法论证中推导出来的，但它将几乎素数估计应用于每个坐标。

• 定理 1.3： 针对一个相关问题，作者证明了每个不属于 $4^k(8\ell+7)$ 形式的充分大整数 $m$ 都可以写成 $m = x^2 + y^2 + (2az)^2$，其中 $x, y, a$ 是非负整数，且 $z$ 是一个 $P_{18}$ 数。其表示数量为 $\gg m^{1/2-\epsilon}$。

  • 改进： 这显著改进了 Banerjee [1] 的结果，后者得到的是 $P_{118}$ 数。

• 推论 1.1： 作为定理 1.3 的直接推论，论文表明充分大的整数可以表示为形式 $m = x^2 + y^2 + 2^{2a} + (2bz)^2$，其中 $z$ 是一个 $P_{18}$ 数。

意义
本文声称改进了将整数表示为几乎素数平方和的最前沿界限。通过精炼加权筛参数并利用 Waibel 的分布估计，作者成功降低了这些表示中变量所需的素因子个数。从 $P_{72}$ 到 $P_{67}$（以及在相关情形下从 $P_{118}$ 到 $P_{18}$）的降低，证明了将高维筛法与现代二次型分布估计相结合的有效性。这项工作通过缩小“几乎素数”与“素数”之间的差距，为“此类整数可以表示为素数平方和”的广泛猜想做出了贡献。