Simultaneous popular polynomial differences over finite fields

标题： 有限域上同时出现的流行多项式差值
作者： David Conlon, Dingding Dong, 和 Guo-Dong Hong

1. 问题陈述与动机

本文探讨了加法组合学中“流行差值”（popular difference）现象，特别是在有限域的背景下。这一概念源于 Green 的流行差值定理，该定理断言：对于任何稠密子集 $A \subseteq \mathbb{F}_p$，都存在一个非零差值 $d$，使得长度为 3 的算术级数的密度接近随机期望值 ($\alpha^3$)。

作者研究了两个相关但不同的问题：

1. $\mathbb{F}_p$ 上的同时性（Simultaneity over $\mathbb{F}_p$）： 是否可以使单个非零参数 $d$ 同时成为多个不同多项式构型的“流行差值”？具体而言，给定一组线性无关的多项式集合 $P = \{P_1, \dots, P_k\}$（其常数项均为零），是否存在一个 $d$，使得所有形式为 $x, x+P_i(d)$ 的子构型都以接近随机的密度出现？
2. $\mathbb{F}_p^n$ 上的局限性（Limitations over $\mathbb{F}_p^n$）： 当维度 $n$ 趋于无穷大而特征 $p$ 保持固定时，对于标准算术级数（其中 $P_i(d) = id$），类似的同步现象是否仍然成立？作者专门测试了单个 $d$ 是否能同时使 $d$ 和 $2d$ 成为三项级数的流行差值。

2. 研究方法

本文结合使用了加法组合学、傅里叶分析以及遍历理论类似工具的方法。

针对正向结果（定理 1.1）：
其证明依赖于一种针对有限域改编的三步策略：

• 多项式 Szemerédi 定理： 作者利用 Peluse 的有限域多项式 Szemerédi 定理，建立了线性无关多项式的渐近独立性。这为多项式计数算子提供了 $U_2$ 型控制估计。
• 算术正则性分解（Arithmetic Regularity Decomposition）： 将指示函数 $1_A$ 分解为三个部分：结构部分 ($f_{str}$)、伪随机部分 ($f_{psr}$) 以及微小误差部分 ($f_{sml}$)。
  • 结构部分在低秩 Bohr 集的平移下近似是不变的。
  • 伪随机部分具有较小的傅里叶系数。
  • 微小部分具有可忽略的 $L^2$ 范数。
• Bohr 集等分布性（Bohr Set Equidistribution）： 一个关键的技术引理（引理 3.4）表明，对于线性无关的多项式，随机参数 $d$ 的图像 $P_i(d)$ 关于固定的低秩 Bohr 集是等分布的。这确保了我们可以找到一个 $d$，使得所有的平移 $P_i(d)$ 都落在控制结构部分的 Bohr 集内，从而最大化结构部分的贡献并抑制伪随机部分和微小部分。

针对负向结果（定理 1.2）：
在 $\mathbb{F}_p^n$ 上构造反例的过程涉及：

• 二次傅里叶分析： 作者构造了一个依赖于二次型 $Q(x) = \sum x_i^2$ 的函数 $f$ 在 $\mathbb{F}_p^n$ 上。这通过将统计三项级数的问题简化为 $\mathbb{F}_p$ 上的二变量平均值来解决。
• 三角多项式构造： 他们在环面 $\mathbb{T}$ 上构造了一个特定的三角多项式 $P(x)$，使得对于每一个 $x$，至少有一个 $P(x)$ 或 $P(4x)$ 是显著为负的。
• 在有限域上的实现： 利用引理 4.5，他们将该三角多项式实现为函数 $F: \mathbb{F}_p \to [0,1]$ 的非零频率贡献。通过这种方式，利用二次型将此构造提升到 $\mathbb{F}_p^n$ 上，从而创造出一个使同时流行差值条件失效的集合。

3. 核心贡献与结果

定理 1.1（$\mathbb{F}_p$ 上的同时流行差值）：
设 $P = \{P_1, \dots, P_k\} \subset \mathbb{Z}[t]$ 为一组常数项为零的线性无关多项式。对于每个 $\epsilon > 0$，所有充分大的素数 $p$，以及每个密度为 $\alpha$ 的集合 $A \subseteq \mathbb{F}_p$，存在一个非零 $d \in \mathbb{F}_p$，使得：
$$\mathbb{E}_{x \in \mathbb{F}_p} 1_A(x) \prod_{i=1}^k 1_A(x + P_i(d))^{\omega_i} \ge \alpha^{1 + \sum \omega_i} - \epsilon$$
对于每一个 $\omega = (\omega_1, \dots, \omega_k) \in \{0, 1\}^k$ 同时成立。

• 意义： 这确立了单个参数 $d$ 对多项式模式的所有子构型都有效的结论，推广了 Frantzikinakis–Kra 的结果（全构型）和 Lyall–Magyr 的结果（同时个体递归）。

定理 1.2（$\mathbb{F}_p^n$ 上的局限性）：
对于任何充分大的素数 $p$，存在一个常数 $c > 0$，使得对于所有充分大的 $n$，存在一个密度为 $1/2 + o_n(1)$ 的集合 $A \subseteq \mathbb{F}_p^n$，满足：
$$\max_{d \neq 0} \min \left\{ \mathbb{E}_{x} 1_A(x)1_A(x+d)1_A(x+2d), \mathbb{E}_{x} 1_A(x)1_A(x+2d)1_A(x+4d) \right\} \le \frac{1}{8} - c.$$

• 意义： 这表明，要求 $d$ 和 $2d$ 同时作为流行差值的 Green 结果之强化版，在高度维度的有限域向量空间中是失效的，即使对于最简单的算术级数也是如此。

4. 意义与主张

本文声称提供了一个有限域上同时递归现象的“强化模拟”，统一了 Frantzikinakis–Kra 和 Lyall–Magyar 先前的研究结果。其主要贡献在于证明了多项式的线性无关性是存在覆盖所有子构型的单个流行差值的充分条件。

相反，本文强调了这种现象存在的“尖锐局限性”。通过在 $\mathbb{F}_p^n$ 上构造反例，作者展示了同时流行差值属性并非普适的；它严格取决于底层群的结构（特别是 $\mathbb{F}_p$ 与 $\mathbb{F}_p^n$ 之间的区别）以及构型的性质（多项式型与线性型）。

作者在结论部分指出，虽然其证明依赖于正则性方法（导致塔式界限/tower-type bounds），但对于其特定结果，是否必须使用此类界限，或者是否有更直接的方法能产生更好的定量估计，目前仍是一个开放问题。他们还提到，将研究扩展到有理函数，以及关于更长算术级数或不同缩放因子（例如 $d$ 和 $d^2$）的同时流行差值的开放问题。