[论文解读] Thick subsets that do not contain arithmetic progressions

Kevin O’Bryant|arXiv (Cornell University)|Dec 8, 2009

Limits and Structures in Graph Theory参考文献 2被引用 3

一句话总结

本文将Behrend型构造推广至任意有限集，以寻找其中不含$k$-项等差数列（AP）的大子集，尤其关注结构化集合（如平方数）和随机集合。本文建立了此类子集相对密度的下界，表明即使在等差数列较少的集合中，仍可找到正相对密度的$k$-AP自由子集，且给出了依赖于存在的$D$-等差数列类型数的显式指数型界。

ABSTRACT

We adapt the construction of subsets of {1, 2, ..., N} that contain no k-term arithmetic progressions to give a relatively thick subset of an arbitrary set of N integers. Particular examples include a thick subset of {1, 4, 9, ..., N^2} that does not contain a 3-term AP, and a positive relative density subset of a random set (contained in {1, 2, ..., n} and having density c n^{-1/(k-1)}) that is free of k-term APs.

研究动机与目标

• 将无$k$-AP子集的Behrend型构造从区间$[N]$推广至任意有限集$\mathscr{N} \subseteq \mathbb{Z}$，特别是那些$k$-项等差数列较少的集合。
• 在$D$-等差数列类型有限的集合中，建立$k$-AP自由子集大小的定量下界，如平方数集或$\{1,\dots,n\}$的随机子集。
• 证明即使在$k$-AP数量相对较少的集合中，仍可找到正相对密度的$k$-AP自由子集，挑战了此类集合必为稀疏的直觉。
• 形式化并分析$D$-等差数列（由低次多项式定义的序列）及其类型的定义，以控制给定集合中此类构型的数量。
• 通过证明区间$[N]$未必最小化$r_{k,D}(\mathscr{N})$，解决关于极值构型的开放问题，并探讨完全幂集中的$k$-项$D$-等差数列的存在性。

提出的方法

• 将Behrend方法中的基于多项式的构造适配至任意有限集$\mathscr{N}$，以$\operatorname{Type}_{k,D}(\mathscr{N})$（即$D$-等差数列类型数）作为关键参数。
• 引入$D$-等差数列的概念：其$(D+1)$-阶差分恒为零，并通过插值多项式的次数和首项系数定义其“类型”。
• 采用概率与几何方法：构造多项式序列的随机扰动，并估计随机平移避开特定环形区域中格点的概率。
• 利用$d$维空间中的体积估计，控制随机平移落入可能完成$D$-等差数列的区域的概率，借助环面$\mathbb{R}^d / \mathbb{Z}^d$的几何结构。
• 通过$d$维空间中环形区域与球体的体积关系，推导$r_{k,D}(\mathscr{N})/N$的下界，其中$d$作为$\log \Psi(N)$与$D$的函数选取。
• 结合先前工作（如[OBryant]）的递归估计，最终导出包含$\exp(-n2^{(n-1)/2}D^{(n-1)/n}\sqrt[n]{\log \Psi(N)} + \frac{1}{2n}\log\log \Psi(N))$的下界表达式。

实验结果

研究问题

• RQ1 能否在任意有限集$\mathscr{N} \subseteq \mathbb{Z}$中构造不含$k$-项等差数列的大子集，尤其当$\mathscr{N}$中此类等差数列较少时？
• RQ2 在平方数集中，$k$-AP自由子集的最大相对密度是多少？是否存在正相对密度的此类子集？
• RQ3 对于$\{1,\dots,n\}$的随机子集，其密度为$cn^{-1/(k-1)}$时，是否以高概率包含正相对密度的$k$-AP自由子集？
• RQ4 在固定$k,D,N$下，哪些集合$\mathscr{N}$最小化$r_{k,D}(\mathscr{N})$？区间$[N]$在此意义上是否为极值？
• RQ5 在完全幂集（如$p$-次幂）中，$k$-项$D$-等差数列在何种条件下存在？此类等差数列的类型数最多有多少种？

主要发现

• 对每个$N$，存在$\{1,4,9,\dots,N^2\}$的一个子集，其大小至少为$C \cdot N \cdot \exp\big(-2\sqrt{2}\sqrt{\log\log N} + \frac{1}{4}\log\log\log N\big)$，且不含3项等差数列，其中$C>0$为绝对常数。
• 在任意满足$|\mathscr{N}| = N$且$\operatorname{Type}_{k,D}(\mathscr{N}) \leq N\Psi(N)$的集合$\mathscr{N} \subseteq \mathbb{Z}$中，$k$-AP自由子集的相对密度满足$r_{k,D}(\mathscr{N})/N \geq C \exp\big(-n2^{(n-1)/2}D^{(n-1)/n}\sqrt[n]{\log \Psi(N)} + \frac{1}{2n}\log\log \Psi(N)\big)$，其中$C = C(k,D,\Psi)$。
• 对于$\{1,\dots,n\}$的随机子集$\mathscr{N}$，其边概率为$cn^{-1/(k-1)}$时，以高概率包含相对密度至少为$\delta > 0$的$k$-AP自由子集，对任意$\delta < 1$及充分大的$n$成立。
• 该构造表明，即使在$k$-AP数量相对较少（如$\Psi(N)$种类型）的集合中，仍可获得$k$-AP自由子集大小的非平凡下界，显著优于平凡界。
• 该方法表明，区间$[N]$并非所有$N$-元素集合中最小化$r_{k,D}(\mathscr{N})$的集合，暗示结构化或稀疏集合可能允许比区间更大的$k$-AP自由子集。
• 本文提供了一个分析完全幂集中$k$-项$D$-等差数列的框架，并指出在立方数中存在4项2-等差数列（如$3^3, 16^3, 22^3, 27^3$），但其一般存在性与类型数仍为开放问题。