[论文解读] On an inverse ternary Goldbach problem

Xuancheng Shao|arXiv (Cornell University)|Apr 24, 2014

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

一句话总结

本文建立了一种类三元哥德巴赫问题的逆定理结果：对于足够大的 $N$ 和足够小的 $c>0$，若三个子集 $A_1, A_2, A_3 \subset [N]$ 的大小均至少为 $N^{1/3 - c}$，则其和集 $A_1 + A_2 + A_3$ 必包含一个合数。证明结合了在加法结构假设下的新颖逆筛法结果与分析型大筛法的定制变体，通过加拉格尔的更大筛法改进了先前的 $N^{1/3 + o(1)}$ 界。

ABSTRACT

We prove an inverse ternary Goldbach-type result. Let $N$ be sufficiently large and $c>0$ be sufficiently small. If $A_1,A_2,A_3\subset [N]$ are subsets with $|A_1|,|A_2|,|A_3|\geq N^{1/3-c}$, then $A_1+A_2+A_3$ contains a composite number. This improves on the bound $N^{1/3}$ from Gallagher's larger sieve. The main ingredients in our argument include a type of inverse sieve result in the larger sieve regime, and a variant of the analytic large sieve inequality.

研究动机与目标

• 通过证明 $[N]$ 的大子集无法仅和为素数，以解决逆三元哥德巴赫问题。
• 在三元和集问题中，将子集大小的已知阈值提升至加拉格尔更大筛法所得的 $N^{1/3 + o(1)}$ 以上。
• 在更大筛法框架内，发展一种新的逆筛法结果，利用小素数模下的加法结构。
• 构建并应用一种针对具有结构化剩余分布的稀疏集量身定制的分析型大筛不等式变体。
• 在对模分布施加结构约束的前提下，建立和集避免合数的集合大小的定量界。

提出的方法

• 引入一种改进的逆筛法结果：若集合 $A \subset [N]$ 模每个满足 $p \leq N^{\alpha}$ 的素数 $p$ 的剩余类均包含于长度为 $\alpha p$ 的等差数列中，则 $|A| \ll N^{\alpha - c}$，其中 $c > 0$ 为足够小的常数。
• 采用嵌套集合 $A_i$ 的递归构造，其大小递减，且剩余类覆盖范围逐步缩小，同时保持对 $\sum \frac{\log p}{p} \cdot \frac{|S_p^i|}{p}$ 的控制。
• 应用一种分析型大筛不等式的变体，将标准的 $\delta$-间距条件替换为对素数的加权和，从而在 $P \ll N^{1/2}$ 时实现更紧的界。
• 借助加法组合工具，包括关于常见差值的标准论证，寻找一个平移 $h$，使得 $A_i \cap (A_i + h)$ 的交集较大，且剩余类覆盖范围减小。
• 使用反证法：若不存在此类 $h$ 能减少剩余类大小的加权和，则具有此类性质的平移集合 $H$ 必须很大，从而通过更大筛法导出矛盾。
• 应用波拉德定理与更大筛法来界定 $|H|$，与由加法能量导出的下界矛盾，从而证明存在一个合适的 $h$。

实验结果

研究问题

• RQ1 能否利用剩余类的结构假设，将避免合数的三元和集的阈值 $N^{1/3 + o(1)}$ 进行改进？
• RQ2 当集合本身具有加法结构（如包含于小素数模的等差数列中）时，能否加强更大筛法？
• RQ3 是否可以构造一种分析型大筛法的变体，使其在点数远小于 $N^{1/2}$ 时表现更优？
• RQ4 对于 $\alpha > 1/3$，逆大筛法猜想是否成立，且在受限于结构化剩余类的集合中能否实现非平凡的大小节省？
• RQ5 能否利用具有递减剩余类覆盖范围的嵌套集合的递归构造，在筛法理论设定中导出更强的统一界？

主要发现

• 对于足够大的 $N$ 和足够小的 $c > 0$，任意三个子集 $A_1, A_2, A_3 \subset [N]$ 满足 $|A_i| \geq N^{1/3 - c}$ 时，其和集 $A_1 + A_2 + A_3$ 必包含至少一个合数。
• 该界 $N^{1/3 - c}$ 改进了此前通过加拉格尔更大筛法获得的 $N^{1/3 + o(1)}$ 结果。
• 建立了新的逆筛法结果：若 $A \subset [N]$ 模每个满足 $p \leq N^{\alpha}$ 的素数 $p$ 的剩余类均包含于长度为 $\alpha p$ 的等差数列中，则对足够小的 $c > 0$，有 $|A| \ll N^{\alpha - c}$。
• 发展了一种新的分析型大筛不等式变体，当点数远小于 $N^{1/2}$ 时有效，从而在稀疏情形下实现更紧的界。
• 若初始集合过大，则具有递减大小与逐步缩小剩余类覆盖范围的集合 $A_i$ 的递归构造将导致矛盾，从而证明主定理。
• 该证明依赖于将更大筛法应用于具有常见差值的集合 $H$ 所导出的矛盾，表明若剩余类覆盖范围缩小足够快，则此类集合 $H$ 不可能很大。