[论文解读] On one problem of Gowers

Ilya D. Shkredov|ArXiv.org|May 21, 2004

Limits and Structures in Graph Theory参考文献 11被引用 9

一句话总结

该论文解决了 W.T. Gowers 提出的一个问题，即在二维网格 $[1,N]^2$ 的子集中保证存在角落——形如 $\{(k,m), (k+d,m), (k,m+d)\}$ 的三元组——所需的密度阈值。通过结合密度增量论证、傅里叶均匀性以及子格的迭代优化，作者证明：只要 $N \geq \exp\exp\exp(\delta^{-c})$（$c > 0$ 为绝对常数），任意密度至少为 $\delta$ 的子集在 $[1,N]^2$ 中必包含一个角落，从而得到定量界 $L(N) \ll 1/(\log\log\log N)^{C_1}$，其中 $L(N)$ 表示无角落子集的最大密度。

ABSTRACT

Let A \subseteq [1,..,N]^2 be a set of density at least 1/(log log log N)^c, where c some constant c>0. We prove that A contains a so-called right-angle triangle, i.e. a triple of the form {(k,m), (k+d,m), (k,m+d)}, where d>0.

研究动机与目标

• 解决 W.T. Gowers 提出的关于无角落子集最大密度 $L(N)$ 趋于零的速度的定量问题。
• 建立 $L(N)$ 的定量上界，即 $[1,N]^2$ 中不包含任何角落三元组的子集的最大密度。
• 将 Gowers 的方法从等差数列推广到二维角落问题，采用迭代密度增量与均匀性技术。
• 提供一个构造性证明：当 $N$ 足够大且相对于密度 $\delta$ 时，$[1,N]^2$ 中的任意稠密集必包含一个角落。

提出的方法

• 应用迭代密度增量策略，通过细化二进制子格 $P^{(i)}_1 \times P^{(i)}_2$ 来提高集合 $A$ 在这些子格中的密度。
• 利用傅里叶均匀性控制误差项：若一个集合的平衡函数满足 $\sum_k |\sum_s f(s)\overline{f(s-k)}|^2 \leq \alpha N^3$，则称其为 $\alpha$-均匀，从而保证伪随机性。
• 使用离散傅里叶变换与 Plancherel 恒等式，将卷积的 $L^2$-范数与傅里叶系数关联，实现误差估计。
• 实施递归细化过程：在每一步中，选择新的子格 $R^{(i+1)}_1 \times R^{(i+1)}_2$，使其密度更高且均匀性更优。
• 证明每一步的密度增量至少为 $10^{-10000}\delta^{3500}$，从而确保在 $O(\delta^{-\overline{c}})$ 步内收敛至密度 1（$\overline{c} > 0$ 为绝对常数）。
• 利用不等式 $|P^{(i)}| \geq |P^{(i-1)}|^{\kappa_0^{(1/\delta)^{\delta^{-C_6}}}}$ 证明最终子格 $\mathbf{P}$ 足够大，可应用角落定理。

实验结果

研究问题

• RQ1 在 $[1,N]^2$ 中，无角落子集的最大大小的最优定量界是什么？
• RQ2 当 $N \to \infty$ 时，无角落子集的最大密度 $L(N)$ 趋于零的速度有多快？
• RQ3 Gowers 类型的迭代密度增量与均匀性技术能否被适配到二维角落问题？
• RQ4 使得任意密度为 $\delta$ 的 $[1,N]^2$ 子集必包含一个角落的最小 $N$ 是多少？

主要发现

• 论文证明：对于任意满足 $\delta$ 密度的子集 $A \subseteq \{1,\dots,N\}^2$，只要 $N \geq \exp\exp\exp(\delta^{-c})$（$c > 0$ 为绝对常数），则必存在一个角落，从而给出了角落定理的定量版本。
• 无角落子集的最大密度 $L(N)$ 满足 $L(N) \ll 1/(\log\log\log N)^{C_1}$（$C_1 > 0$ 为绝对常数），优于以往的界。
• 证明表明：在 $O(\delta^{-\overline{c}})$ 次迭代密度增量后，集合 $A$ 在子格 $\mathbf{P}$ 中变得足够均匀，从而保证存在角落。
• 最终子格 $\mathbf{P}$ 满足 $|\mathbf{P}| \geq N^{\kappa^{(1/\delta)^{\delta^{-b}}}}$（$0 < \kappa < 1$，$b > 1$），确保其足够大以应用角落判别准则。
• 该方法保证：在有限步后，$A$ 在最终子格中的密度超过 $2\delta$，且均匀性条件的误差 $\leq 10^{-108}\delta^{44}$。
• 结果确认：角落问题存在类似于 Gowers 对等差数列所得的定量解，其依赖关系为 $\delta^{-1}$ 的三重指数形式。