Extensions of the Furstenberg-Sárközy theorem via the arithmetic level-$d$ inequality

技术摘要：通过算术 d 级不等式对 Furstenberg–Sárközy 定理的扩展

问题陈述
本文探讨了 Furstenberg–Sárközy 定理的定量界限，具体涉及那些不存在非零差值 $h(n)$ 的整数集合，其中 $h \in \mathbb{Z}[x]$ 为相交多项式。令 $D(F, X)$ 表示集合 $\{1, \dots, X\}$ 的子集的最大规模，其差集不包含禁止集 $F$ 中的任何非零元素。经典定理确立了 $D(\{n^2\}, X) = o(X)$。

尽管 Green 和 Sawhney [9, 10] 最近利用“算术 d 级”不等式在平方情形（$h(n)=n^2$）下取得了拟多项式界限，但将这些结果推广到一般相交多项式面临着显著的技术障碍。主要挑战在于，与禁止差集在伸缩变换下保持稳定的平方情形不同，一般相交多项式需要一个迭代方案，其中基础多项式在每一步都会发生变化。这就要求对辅助多项式族进行统一控制，而这些多项式的系数在迭代过程中可能会增长。

方法论
作者将 Green 和 Sawhney 的密度增量策略调整至一般相交多项式的场景中。证明通过以下关键方法论组件进行：

1. 辅助多项式与迭代：作者利用辅助多项式 $h_\ell$ 的框架（通过 $h$ 的 $p$-进根定义）将问题在重缩放子集上重新表述。一项关键的技术贡献是证明这些辅助多项式的系数在整个密度增量迭代过程中保持受控，从而确保圆法估计在每一步都有效。
2. 算术 d 级不等式：证明的核心引擎是应用 Green 和 Sawhney 的算术 d 级不等式（定理 A）。该不等式允许将傅里叶质量定位到比经典方法小得多的分母上。作者通过案例分析应用该不等式两次，以细化集合特征函数的傅里叶系数较大的模 $q$ 的范围。
3. 平滑加权的指数和：为了在双重迭代策略所需的局部高斯和中实现必要的“平方根抵消”，作者发展了 Rice 指数和估计 [21] 的平滑加权版本。这涉及构造一个平滑权重函数 $w$，并分析辅助多项式在筛分集 $W_\ell(U)$ 上的指数和。
4. 密度增量方案：证明建立了一个密度增量命题（命题 5.1），该命题保证：如果集合 $A$ 缺乏 $h_\ell$-差值，则其要么具有极小的密度（拟多项式级小），要么在子算术级数上允许密度增量。该命题的迭代，结合对辅助多项式系数的仔细记录，得出了最终界限。

主要贡献

• 推广至相交多项式：本文将拟多项式界限从平方情形推广到所有次数至少为 2 的相交多项式 $h \in \mathbb{Z}[x]$。
• 辅助多项式的统一控制：作者提供了严谨的论证，表明算术 d 级不等式在迭代过程中生成的辅助多项式族上保持统一有效，克服了系数增长的问题。
• 改进的指数和估计：发展 Rice 估计的平滑加权版本，使得主弧的必要的收窄成为可能，这对于在一般多项式设定中应用算术 d 级不等式至关重要。
• 定量改进：本文改进了以往针对相交多项式的界限（如 Lucier [17]、Rice [21] 和 Arala [1] 的结果），这些界限的形式为 $X(\log X)^{-c \log \log \log X}$。

主要结果
核心结果是定理 1，该定理指出：对于任何首项系数为正的、次数至少为 2 的相交多项式 $h \in \mathbb{Z}[x]$，存在常数 $c_0, X_{\min} > 0$（取决于 $h$ 和参数 $d$），使得对于 $X > X_{\min}$：
$$D(h(\mathbb{Z}), X) \leq X e^{-c_0 (\log X)^d}$$
其中 $0 < d < 1/4$。

作者指出，利用 Green 和 Sawhney 论证第二版 [10] 中的思想，指数 $d$ 可以改进为 $d < 1/2$，他们打算在未来的更新中纳入这一改进。

意义与主张
本文声称提供了目前已知关于缺乏相交多项式差值集合的最佳定量上界。作者强调，他们的方法证实了 Green 和 Sawhney 的观察，即算术 d 级不等式并非本质上与单项式 $n^2$ 绑定，而是可以适应于一般多项式。

本文承认该上界与已知最佳下界（形式为 $X^c$，其中 $c < 1$）之间存在显著差距。作者并未声称要消除这一差距，而是旨在显著改善此类问题的上界格局。这项工作严重依赖于圆法、筛法理论与算术 d 级不等式特定组合结构之间的相互作用。