Roth-type theorems in $K_{s,t}$-free sets

技术摘要：$K_{s,t}$-自由集中的 Roth 型定理

问题陈述
本文研究了避免特定加法构型的稠密整数（及有限域）子集的算术结构。具体而言，研究对象是 $K_{s,t}$-自由集。一个集合 $A \subseteq [N]$ 被定义为 $K_{s,t}$-自由，若其不包含形式为 $\{x_i + y_j : 1 \le i \le s, 1 \le j \le t\}$ 的构型，其中 $x_i$ 各不相同且 $y_j$ 各不相同。等价地，$A$ 不包含形式为 $B+C$ 的子集，其中 $|B|=s$ 且 $|C|=t$。

核心问题在于：这类集合即使在稠密的情况下（具体为规模为 $\Omega(N^{1-1/s})$，这与 Kővári–Sós–Turán 定理的极值界限相匹配），是否必须包含至少五个变量的固定平移不变线性方程的非平凡解。作者旨在将先前已知于 Sidon 集（$K_{2,2}$-自由集）的结果扩展到一般的 $K_{s,t}$-自由集族。

方法论
作者采用了傅里叶分析传递原理（Fourier-analytic transference principle），这是一个此前被用于 Sidon 集的研究框架（由 Conlon, Fox, Sudakov, Zhao 和 Prendiville 使用）。证明策略分为三个主要部分：

1. 稠密模型构建（傅里叶逼近）：
   给定一个密度 $\delta \approx N^{-1/s}$ 的稀疏 $K_{s,t}$-自由集 $A$，作者构建了一个非负“稠密模型”函数 $f$，该函数逼近 $A$ 的归一化指示函数。

   • 整数情形： 他们利用从 $A$ 的大谱（large spectrum）构造的 Bohr 集。一个关键的技术挑战是控制该 Bohr 集的秩，这是通过利用 $A$ 的 $K_{s,t}$-自由性来限制高阶矩能量来实现的。
   • 有限域情形： 该构建过程显著简化。Bohr 集的对应物是一个实际的子空间。通过选择一个消去 $A$ 大谱的子空间，他们创建了一个函数 $f$，该函数在保持良好的 $L^s$ 控制的同时，保留了大的傅里叶系数。

2. 稠密计数（超饱和性）：
   一旦建立了稠密模型 $f$，作者便应用计数引理来证明 $f$ 必然包含目标线性方程 $a_1 x_1 + \dots + a_k x_k = 0$（其中 $\sum a_i = 0$ 且 $k \ge 5$）的许多解。

   • 整数情形： 他们依赖于关于稠密集在 $[N]$ 中的定量结果，特别是 Bloom 类界的改进。
   • 有限域情形： 他们利用多项式方法，特别是 Fox, Lovász 和 Sauermann 的算术 $k$-圈移除引理，该引理提供了源自 cap set 问题文献的代数超饱和界限。

3. 传递（级数展开与矩控制）：
   最后一步是将稠密模型中的解的数量 $T(f)$ 与原集合中的解数量 $T(\nu)$ 进行比较（其中 $\nu$ 是 $A$ 的归一化指示函数）。通过使用级数展开恒等式和 Hölder 不等式，作者对误差项 $|T(f) - T(\nu)|$ 进行了估计。该误差取决于主函数（majorant function）的 $L^2$ 能量。$K_{s,t}$-自由性条件在此至关重要，因为它提供了对第二矩能量的强有力控制，从而允许将来自稠密模型的下界传递回稀疏集。

主要贡献与结果

• 定理 1.1（整数情形）：
  对于整数 $2 \le s \le t$，任何缺乏 $k \ge 5$ 个变量的平移不变线性方程非平凡解的 $K_{s,t}$-自由子集 $A \subseteq [N]$ 满足：
  $$|A| \ll N^{1-1/s} \exp\left(-O_{a_i, s, t}((\log \log N)^{1/7})\right)$$
  该结果将先前已知于 Sidon 集（$s=t=2$）的定性及定量界限推广到了整个 $K_{s,t}$-自由集族。其证明依赖于 $L^s$-稠密模型定理，扩展了先前工作中使用的基于 $L^2$ 的方法。

• 定理 1.2（有限域情形）：
  在向量空间 $\mathbb{F}_q^n$ 中（其中 $q$ 为固定的奇素数幂），对于任何缺乏上述类方程非平凡解的 $K_{s,t}$-自由集 $A$：
  $$|A| \ll N^{1-1/s} (\log N)^{-c}$$
  其中 $c > 0$ 为常数。通过结合傅里叶传递与多项式方法（特别是 Fox–Lovász–Sauermann 引理），该结果比整数情形实现了更强的定量界限（多项式对数级节省）。

• $k \ge 5$ 的最优性：
  作者指出 $k \ge 5$ 的条件是优化的。对于 $k=4$（例如 $x_1+x_2=x_3+x_4$）或 $k=3$（例如 $x+y=2z$），$K_{s,t}$-自由条件（特别是对于 $s=t=2$，即 Sidon 集）本身就已经排除了非平凡解。

意义
本文声称将对 Sidon 集进行研究的理解，扩展到了更广泛的 $K_{s,t}$-自由集类。通过确立稠密的 $K_{s,t}$-自由集必须包含 5 变量线性方程的解，作者证明了这些集合尽管具有稀疏性，但仍具有显著的算术结构。

这项工作将极值图论（通过 $K_{s,t}$-自由条件和 Kővári–Sós–Turán 界限）与加法组合学联系了起来。在有限域设置中，论文强调了结合傅里叶分析传递与多项式方法技术，以获得目前在整数设置中尚无法达到的更精确定量界限的能力。这些结果代表了向由禁选加法构型定义的集合的统一 Roth 型定理理论迈出的一步。