Additive Ramsey theory over Piatetski-Shapiro numbers

技术摘要：皮亚采茨基 - 沙皮罗数上的加性拉姆齐理论

问题陈述
本文研究了线性方程在皮亚采茨基 - 沙皮罗数集合上的划分正则性（partition regularity）及密度结果，该集合定义为 $\mathcal{P}\mathcal{S}_c = \{ \lfloor n^c \rfloor : n \in \mathbb{N} \}$，其中参数 $c > 1$。具体而言，作者探讨了当集合 $\mathcal{P}\mathcal{S}_c$ 被划分为有限个颜色类时，形如 $c_1 x_1 + \dots + c_s x_s = 0$（其中 $\sum c_i = 0$）的线性方程是否存在非平凡的单色解。

这项工作扩展了经典结果：

• 舒尔定理（Schur's Theorem, 1916）： 保证了在 $\mathbb{N}$ 中方程 $x+y=z$ 存在单色解。
• 拉多判据（Rado's Criterion, 1933）： 刻画了线性方程组的划分正则性。
• 问题 A（Erdős–Graham）： 寻求单色毕达哥拉斯三元组（$x^2+y^2=z^2$）。虽然对于 $s \ge 5$ 个变量的情况已获解决，但针对平方数（$c=2$）且 $s=3$ 的情况仍然未决。
• 问题 B： 作者将本研究框架为解决皮亚采茨基 - 沙皮罗数版本的问题 A 的尝试，即询问推论 1.5（单色舒尔三元组）的结论是否对任意 $c \in [1, 2]$ 成立。

方法论
作者采用了由格林（Green）开创并适应于皮亚采茨基 - 沙皮罗数稀疏环境的傅里叶分析转移原理。核心策略包括：

1. 权重函数构造： 定义一个支撑在 $\mathcal{P}\mathcal{S}_c(N)$ 上的权重函数 $\nu$，使得 $\|\nu\|_1 \sim N$。
2. 傅里叶衰减： 确立 $\nu$ 的傅里叶变换逼近区间 $[N]$ 指示函数的傅里叶变换，具体表现为对 $\|\hat{\nu} - \hat{1}_{[N]}\|_\infty$ 的界定。
3. 限制估计： 证明受 $\nu$ 支配的函数的傅里叶变换的 $L^t$ 范数界限。
4. 转移： 比较 $\mathcal{P}\mathcal{S}_c$ 中加权解的计数与 $[N]$ 中未加权解的计数。

方法论上的一个重要贡献是转移原理的强化（具体而言是格林原理的 Browning 和 Prendiville 版本）。通过结合算术级数无集（arithmetic progression-free sets）定量密度（Kelley–Meka, Bloom–Sisask）和伪随机性（Ko'sciuszko, Filmus 等）的最新进展，作者改进了转移机制的定量界限。

主要贡献与结果

1. 划分正则性（定理 1.4）：
   作者刻画了当 $1 < c < c^\dagger(s)$ 时，$\mathcal{P}\mathcal{S}_c$ 上线性方程的划分正则性，其中 $s \ge 3$ 为变量个数。阈值 $c^\dagger(s)$ 定义为：

   • $c^\dagger(3) = 12/11$
   • $c^\dagger(4) = 7/6$
   • $c^\dagger(s) = 2$ 对于 $s \ge 5$。

   在这些条件下，$\mathcal{P}\mathcal{S}_c$ 的任何有限划分都包含方程 $c_1 x_1 + \dots + c_s x_s = 0$ 的一个非平凡单色解。值得注意的是，对于 $s=3$，这解决了 $c < 12/11$ 时的舒尔三元组问题版本。

2. 定量密度界限（定理 1.8）：
   本文确立了：如果子集 $A \subseteq \mathcal{P}\mathcal{S}_c(N)$ 不包含该线性方程的非平凡解，则其密度受限于：
   $$|A| \le \frac{|\mathcal{P}\mathcal{S}_c(N)|}{\exp(C^{-1}(\log \log N)^{1/\tau(s)})}$$
   其中 $\tau(3)=9$，且对于 $s \ge 4$，$\tau(s)=7$。

   这一结果改进了 Browning 和 Prendiville 针对平方数（$c=2$）的先前工作，后者仅给出了 $(\log \log \log N)^{O(1)}$ 的节省。作者将这一改进归因于两个因素：

   • 在此特定设定下消除了对"W-技巧”的需求。
   • 强化了的傅里叶分析转移原理。

3. 精细化的转移原理（定理 4.3）：
   作者更新了文献 [6, 命题 2.8] 中的转移原理，纳入了源自加性组合学最新突破的伪随机性定量速率。这使得在稀疏集合中能够获得更精确的密度界限。

意义与主张
本文声称解决了皮亚采茨基 - 沙皮罗数上问题 A（单色毕达哥拉斯三元组）的一个版本，参数 $c < 12/11$（推论 1.5）。文章强调，阈值 $12/11$ 与皮亚采茨基 - 沙皮罗本人在证明这些数的素数定理版本时发现的阈值相吻合。

作者强调，他们的密度节省“显著大于”针对平方数所获得的结果，这主要归功于改进的转移原理以及皮亚采茨基 - 沙皮罗数特有的分析性质，这些性质允许进行更精确的指数和估计。虽然作者指出 Saito 和 Yoshida 此前已利用 Szemerédi 定理解决了 $c \in [1, 2)$ 的密度类比问题，但作者断言他们的结果提供了更优越的定量密度界限。

该工作还简要涉及了皮亚采茨基 - 沙皮罗素数，指出虽然 Mirek 在此背景下建立了无 3AP 集合的密度结果，但不可能存在奇数（从而也是素数）的单色舒尔三元组，尽管可以证明移位方程 $x+y=z+1$ 存在解。