[论文解读] On sets of integers not containing long arithmetic progressions

Izabella Łaba, Michael T. Lacey|ArXiv.org|Aug 22, 2001

Limits and Structures in Graph Theory参考文献 12被引用 21

一句话总结

本文通过高维球面构造的推广，建立了避免长度为 1 + 2^k 的等差数列的 {1, ..., N} 子集大小的新下界。通过分析基于 n 进制展开的整数集以及 ℤ^d 中的球面等值集，作者证明此类集合的大小至少为 N exp(−C(log N)^{1/(k+1)})，显著改进了长等差数列情况下的 Behrend 原有下界。

ABSTRACT

We construct subsets of {1,...,N} of cardinality at least N exp(-C(log N)^{1/(k+1)}) which do not contain arithmetic progressions of length 2^k+1. This extends a result of Behrend (1946) concerning sets which do not contain aritmetic progressions of length 3.

研究动机与目标

• 改进 Behrend 于 1946 年对 {1,…,N} 中无三项等差数列子集大小的下界估计，并将其推广至更长的等差数列。
• 研究 {1,…,N} 中避免长度为 k 的等差数列的子集最大大小 r(k,N)，特别是当 k = 1 + 2^k 时的情况。
• 开发一种基于数字展开和 ℤ^d 中基于范数的等值集的构造方法，以生成较大的无等差数列集合。
• 随着 k 增大，建立 r(k,N) 下界中对数因子指数的定量改进。

提出的方法

• 通过使用对称数字 [−q, q] 的 n 进制展开，将 {1,…,N} 中的整数表示为向量，映射至 ℤ^d，其中 d ≈ √log N。
• 对每个 x 定义范数 ‖x‖² = ∑x_i²，并考虑等值集 S_r = {x ∈ Q : ‖x‖² = r} 以避免等差数列。
• 利用次数为 2m 的非零多项式至多有 2m 个根的事实，证明 S_r 无法包含 2m+1 项的多项式等差数列。
• 在可能的范数范围内应用鸽巢原理，寻找具有大基数的等值集 S_r，确保其避免长等差数列。
• 采用归纳构造：通过取多个等值集的并集并利用避免次数为 2m 的多项式等差数列的集合 R 进行平移，构建更大的无等差数列集合。
• 利用 rQ 中向量线性组合的结构，保持在缩放和平移下保持等差数列性质。

实验结果

研究问题

• RQ1 能否将 Behrend 对三项无等差数列集合的构造方法推广至更长的等差数列？
• RQ2 r(k,N) 的最优下界是什么，即 {1,…,N} 中无长度为 k 的等差数列的子集最大大小？
• RQ3 下界中对数因子的指数如何随 k 变化，特别是当 k = 1 + 2^m 时？
• RQ4 能否利用高维几何结构（如 ℤ^d 中的球面）构造出比原始 Behrend 方法更大的无等差数列集合？
• RQ5 当 k 随 N 增大而增长，特别是当 k 指数增长于 m 时，r(k,N) 的渐近行为如何？

主要发现

• 本文建立了新下界：存在绝对常数 C > 0，使得 r(1 + 2^k, N) ≥ N exp(−C(log N)^{1/(k+1)})。
• 该下界在长等差数列情况下优于 Behrend 的原始估计 r(3,N) ≥ N exp(−C√log N)。
• 该构造使用对称数字的 n 进制展开，并选取 ℤ^d 中 ℓ² 范数的等值集，以避免多项式等差数列。
• 该方法依赖于：非零多项式次数为 2m 时至多有 2m 个根，从而防止范数等值集内出现长等差数列。
• 通过嵌套等值集和对无等差数列集合 R 的平移副本进行鸽巢原理分析的归纳论证，确保了大无等差数列子集的存在性。
• 最终下界通过选择 d ≈ (log N)^{1/(k+1)} 并设 N = n^d 获得，从而实现所陈述的指数-对数权衡。