组合数论详解

组合数论详解

目录

• 第一章 绪论
• 第二章 基本计数工具与组合恒等式
• 第三章 和集与加法组合学基础
• 第四章 核心定理：Cauchy-Davenport与Kneser
• 第五章 Freiman定理与逆问题
• 第六章 Szemerédi定理与算术级数
• 第七章 零和理论
• 第八章 Ramsey理论中的数论
• 第九章 和积问题
• 第十章 覆盖系统与同余
• 第十一章 组合数论中的概率方法
• 第十二章 组合数论在其它领域的应用
• 第十三章 开放问题与前沿方向
• 附录：重要公式与定理汇总

第一章 绪论

1.1 组合数论的定义

组合数论（Combinatorial Number Theory）是数论与组合数学的交叉学科，它研究整数集合及其子集的组合性质与结构性质。与传统的解析数论（研究素数分布）和代数数论（研究数域）不同，组合数论关注的是离散集合的加法结构、算术级数的存在性以及整数划分的计数问题。

组合数论的核心问题可以概括为：

给定一个整数集合，它必然包含什么样的算术结构？

例如：

• 任意足够大的正整数集合是否必然包含等差数列？（Szemerédi定理）
• 任意 \(2n-1\) 个整数中是否必然存在 \(n\) 个数，其和能被 \(n\) 整除？（Erdős–Ginzburg–Ziv定理）
• 一个集合与其自身的和集有多大？（和集问题）

这些问题介于数论与组合数学之间，既需要数论中的整除、同余等概念，又需要组合数学中的计数、极值等方法。

1.2 组合数论与加性组合学的关系

加性组合学（Additive Combinatorics）是组合数论在21世纪发展出的一个更广泛的框架。加性组合学研究阿贝尔群中子集的加法结构，其研究对象不仅包括整数 \(\mathbb{Z}\)，还包括有限群 \(\mathbb{Z}_p\)、向量空间 \(\mathbb{F}_p^n\) 等。

加性组合学的核心思想是结构与伪随机性的二分法（dichotomy of structure and pseudorandomness）：

• 结构化的集合：如等差数列、子群、Bohr集等，具有高度有序性
• 伪随机的集合：如随机集合，具有类似随机序列的统计性质

组合数论可以看作是加性组合学在整数集合上的特化，但两者在实际研究中往往不加区分。加性组合学使用的方法更加多样化，包括傅里叶分析、遍历理论、图论和高阶傅里叶分析等。

1.3 组合数论的历史发展

组合数论的历史可以追溯到18世纪，但作为一个独立学科的确立是在20世纪。

（1）早期阶段（18-19世纪）

• 欧拉（Euler）研究了整数分拆（partitions），发现了五边形数定理。
• 高斯（Gauss）研究了二次剩余和同余方程的解的个数。
• 拉格朗日（Lagrange）证明了四平方定理：每个正整数可表示为四个平方数之和——这是加性数论的早期典范。

（2）奠基阶段（20世纪初-1960年代）

• Schur（1916）证明了Schur定理：对正整数的任意有限染色，存在同色的 \(x, y, z\) 使得 \(x + y = z\)。
• van der Waerden（1927）证明了van der Waerden定理：对正整数的任意有限染色，存在任意长度的单色等差数列。
• Erdős 和 Turán（1936）提出了关于等差数列的猜想，后来由Szemerédi证明。
• Erdős–Ginzburg–Ziv（1961）证明了EGZ定理。

（3）黄金时代（1970年代-2000年代）

• Szemerédi（1975）证明了Szemerédi定理：任意正密度的正整数子集包含任意长的等差数列。
• Furstenberg（1977）用遍历理论给出了Szemerédi定理的新证明。
• Freiman（1973）证明了Freiman定理：小和集集合具有结构。
• Green 和 Tao（2004）证明了素数中包含任意长的等差数列——这是组合数论与解析数论的辉煌结合。

（4）当代（2010年代至今）

组合数论与高阶傅里叶分析、算术组合学、模型论等领域深度融合。Gowers范数、反推定理（inverse theorems）等成为核心工具。

1.4 组合数论的基本方法论

组合数论的方法论可以归纳为三类：

（1）极值方法：研究一个集合在避免某种结构时的最大可能大小。例如：不含3项等差数列的子集的最大大小（Roth定理）。

（2）结构方法：研究具有某种“小和集”性质的集合的代数结构（Freiman定理）。

（3）随机方法：利用概率论证明存在性，或研究随机集合的性质。

1.5 预备知识

学习组合数论需要以下预备知识：

1. 初等数论：整除、同余、素数、欧拉定理、中国剩余定理
2. 组合数学基础：排列组合、二项式系数、容斥原理
3. 集合论基础：有限集合的基数运算
4. 抽象代数（部分）：群、子群、商群的基本概念

第二章 基本计数工具与组合恒等式

2.1 二项式系数

定义 2.1（二项式系数） ：对非负整数 \(n\) 和 \(k\)（\(0 \leqslant k \leqslant n\)），定义

\[\binom{n}{k} = \frac{n!}{k!(n-k)!} \]

\(\binom{n}{k}\) 表示从 \(n\) 个元素中选取 \(k\) 个元素的方案数。

2.2 基本恒等式

（1）对称性：

\[\binom{n}{k} = \binom{n}{n-k} \]

（2）递推关系（Pascal恒等式） ：

\[\binom{n}{k} = \binom{n-1}{k} + \binom{n-1}{k-1} \]

（3）二项式定理：

\[(x + y)^n = \sum_{k=0}^n \binom{n}{k} x^k y^{n-k} \]

（4）Vandermonde恒等式：

\[\sum_{k=0}^r \binom{m}{k}\binom{n}{r-k} = \binom{m+n}{r} \]

（5）范德蒙德卷积：

\[\sum_{k} \binom{n}{k}^2 = \binom{2n}{n} \]

（6）二项式系数的单峰性：对固定的 \(n\)，序列 \(\binom{n}{0}, \binom{n}{1}, \cdots, \binom{n}{n}\) 先增后减，在 \(k = \lfloor n/2 \rfloor\) 或 \(\lceil n/2 \rceil\) 处达到最大值。

2.3 Lucas定理

定理 2.1（Lucas定理） ：设 \(p\) 是素数，\(n = n_0 + n_1 p + \cdots + n_r p^r\)，\(k = k_0 + k_1 p + \cdots + k_r p^r\) 是 \(n\) 和 \(k\) 的 \(p\) 进制展开（\(0 \leqslant n_i, k_i < p\)）。则

\[\binom{n}{k} \equiv \prod_{i=0}^r \binom{n_i}{k_i} \pmod{p} \]

其中约定 \(\binom{n_i}{k_i} = 0\) 若 \(k_i > n_i\)。

Lucas定理是计算大组合数模素数的基本工具。

推论 2.1：\(\binom{n}{k}\) 为奇数当且仅当 \(k\) 的二进制表示中的每一位都不超过 \(n\) 的对应位（即 \(k \subseteq n\) 按位）。

2.4 多项式系数

定义 2.2（多项式系数） ：对非负整数 \(k_1, \cdots, k_m\) 满足 \(\sum k_i = n\)，定义

\[\binom{n}{k_1, \cdots, k_m} = \frac{n!}{k_1! \cdots k_m!} \]

多项式定理：

\[(x_1 + \cdots + x_m)^n = \sum_{k_1 + \cdots + k_m = n} \binom{n}{k_1, \cdots, k_m} x_1^{k_1} \cdots x_m^{k_m} \]

2.5 容斥原理

定理 2.2（容斥原理） ：设 \(A_1, \cdots, A_n\) 是有限集合，则

\[\left| \bigcup_{i=1}^n A_i \right| = \sum_{k=1}^n (-1)^{k-1} \sum_{1 \leqslant i_1 < \cdots < i_k \leqslant n} |A_{i_1} \cap \cdots \cap A_{i_k}| \]

容斥原理在组合数论中用于计算满足某些同余条件的整数个数、计算互素数的个数等。

2.6 鸽巢原理

定理 2.3（鸽巢原理） ：若将 \(n\) 个物体放入 \(m\) 个盒子中，且 \(n > m\)，则至少有一个盒子包含至少两个物体。

推广：若 \(n > km\)，则至少有一个盒子包含至少 \(k+1\) 个物体。

鸽巢原理在组合数论中有着广泛的应用，尤其是在证明存在性定理时。

2.7 整数分拆

定义 2.3（整数分拆） ：正整数 \(n\) 的一个分拆（partition）是将 \(n\) 表示为正整数之和的一种方式，不考虑顺序。记 \(p(n)\) 为 \(n\) 的分拆数。

例 2.1：\(5\) 的分拆有：

\[5,\; 4+1,\; 3+2,\; 3+1+1,\; 2+2+1,\; 2+1+1+1,\; 1+1+1+1+1 \]

共 \(p(5) = 7\) 种。

定理 2.4（Euler五边形数定理） ：

\[\prod_{n=1}^{\infty} (1 - x^n) = \sum_{k=-\infty}^{\infty} (-1)^k x^{k(3k-1)/2} \]

这个定理在分拆理论中有重要应用。

定理 2.5（Euler恒等式） ：

\[\sum_{n=0}^{\infty} p(n) x^n = \prod_{k=1}^{\infty} \frac{1}{1 - x^k} \]

2.8 Stirling数

定义 2.4（第二类Stirling数） ：\(S(n, k)\) 表示将 \(n\) 个元素的集合划分为 \(k\) 个非空子集的方案数。

递推关系：

\[S(n, k) = S(n-1, k-1) + k S(n-1, k) \]

定义 2.5（第一类Stirling数） ：\(s(n, k)\)（带符号）或 \(c(n, k)\)（无符号）表示 \(n\) 个元素的排列中恰好有 \(k\) 个循环的排列数。

Bell数：\(B_n = \sum_{k=0}^n S(n, k)\) 表示 \(n\) 个元素的集合的所有划分数。

第三章 和集与加法组合学基础

3.1 和集的定义

定义 3.1（和集） ：设 \(A, B\) 是阿贝尔群 \(G\) 的子集。定义它们的和集（sumset）为

\[A + B = \{ a + b \mid a \in A, b \in B \} \]

特别地，\(2A = A + A\)，\(kA\) 表示 \(k\) 个 \(A\) 的和集。

定义 3.2（差集） ：

\[A - B = \{ a - b \mid a \in A, b \in B \} \]

定义 3.3（乘积集） ：在整数或域中，定义

\[A \cdot B = \{ ab \mid a \in A, b \in B \} \]

3.2 和集的基本不等式

性质 3.1：对任意有限非空集合 \(A, B\)，

\[|A + B| \geqslant \max(|A|, |B|) \]

性质 3.2：\(|A + B| \leqslant |A||B|\)。

性质 3.3（Ruzsa三角不等式） ：对任意有限集合 \(A, B, C\)，

\[|A - C| \leqslant \frac{|A - B| \cdot |B - C|}{|B|} \]

Ruzsa三角不等式是和集理论中最基本的不等式之一。

证明思路：构造从 \((A-B) \times (B-C)\) 到 \(A-C\) 的映射 \((x, y) \mapsto x + y\)。对每个 \(d \in A-C\)，需要估计原像的大小。

3.3 加倍常数

定义 3.4（加倍常数） ：设 \(A\) 是有限非空集合。定义 \(A\) 的加倍常数（doubling constant）为

\[\sigma[A] = \frac{|A + A|}{|A|} \]

性质 3.4：\(\sigma[A] \geqslant 1\)，且 \(\sigma[A] = 1\) 当且仅当 \(A\) 是子群（在群中）或空集。

定义 3.5（小加倍集合） ：若 \(\sigma[A] \leqslant C\)（\(C\) 为某个常数），则称 \(A\) 具有小加倍（small doubling）性质。

小加倍集合是加性组合学研究的核心对象之一。

3.4 Plünnecke不等式

定理 3.1（Plünnecke不等式） ：设 \(A, B\) 是阿贝尔群中的有限集合，且 \(|A + B| \leqslant K|A|\)。则对任意正整数 \(m, n\)，

\[|mB - nB| \leqslant K^{m+n} |A| \]

特别地，

\[|hA| \leqslant K^h |A| \]

Plünnecke不等式是证明Freiman定理的关键工具之一。

3.5 和集的增长

定义 3.6（和集的增长） ：研究函数 \(f(h) = |hA|\) 如何随 \(h\) 增长。

定理 3.2：对任意有限集合 \(A\)，\(|hA|\) 是 \(h\) 的多项式函数，次数不超过 \(|A|-1\)。

更精确的估计由Khovanskii定理给出：存在常数 \(C\) 使得

\[|hA| = P(h) + O(h^{d-1}) \]

其中 \(P\) 是某个多项式。

3.6 Bohr集

定义 3.7（Bohr集） ：设 \(G\) 是有限阿贝尔群，\(\Gamma \subset \widehat{G}\) 是特征子集，\(\delta > 0\)。定义 Bohr集为

\[B(\Gamma, \delta) = \{ x \in G \mid |\chi(x) - 1| < \delta, \forall \chi \in \Gamma \} \]

Bohr集是傅里叶分析中“结构”的基本单元，在Szemerédi定理的证明中有重要应用。

第四章 核心定理：Cauchy-Davenport与Kneser

4.1 Cauchy-Davenport定理

定理 4.1（Cauchy-Davenport定理） ：设 \(p\) 是素数，\(A, B \subset \mathbb{Z}_p\) 是非空子集。则

\[|A + B| \geqslant \min(p, |A| + |B| - 1) \]

这是加法组合学中最基本的定理之一。

几何意义：在素数阶循环群中，和集的大小至少是两个集合大小之和减1——这与实数轴上的直觉一致。

证明思路（经典证明）：

1. 若 \(|A| + |B| > p\)，则结论平凡（和集为整个群）。
2. 否则，用反证法。假设 \(|A+B| < |A| + |B| - 1\)。
3. 选择一个 \(A\) 的元素 \(a_0\) 使得 \(|A+B|\) 最小。
4. 构造一个多项式或利用平移论证导出矛盾。

推论 4.1：对任意非空 \(A \subset \mathbb{Z}_p\)，

\[|2A| \geqslant \min(p, 2|A| - 1) \]

4.2 Vosper定理

定理 4.2（Vosper定理） ：设 \(p\) 是素数，\(A, B \subset \mathbb{Z}_p\) 满足

\[|A|, |B| \geqslant 2,\quad |A| + |B| \leqslant p \]

且

\[|A + B| = |A| + |B| - 1 \]

则 \(A\) 和 \(B\) 都是等差数列（即 \(A = a + r \cdot \{0, 1, \cdots, |A|-1\}\)，\(B\) 类似）。

Vosper定理是Cauchy-Davenport定理的逆定理（inverse theorem），它刻画了达到等号时的极端情形。

4.3 Kneser定理

定理 4.3（Kneser定理） ：设 \(G\) 是阿贝尔群，\(A, B \subset G\) 是非空有限子集。则

\[|A + B| \geqslant |A + H| + |B + H| - |H| \]

其中 \(H = \{ g \in G \mid g + A + B = A + B \}\) 是 \(A+B\) 的稳定化子（stabilizer）。

Kneser定理是Cauchy-Davenport定理在一般阿贝尔群上的推广。

推论 4.2：若 \(A+B\) 的稳定化子是 \(\{0\}\)（即 \(A+B\) 不包含任何非平凡子群），则

\[|A + B| \geqslant |A| + |B| - 1 \]

4.4 Kemperman定理

定理 4.4（Kemperman定理） ：设 \(G\) 是阿贝尔群，\(A, B \subset G\) 是非空有限子集。则对任意 \(x \in A+B\)，

\[|A \cap (x - B)| \geqslant |A| + |B| - |A+B| \]

Kemperman定理是Cauchy-Davenport定理的另一种推广形式。

4.5 在有限域上的推广

定理 4.5：设 \(\mathbb{F}_q\) 是有限域，\(A, B \subset \mathbb{F}_q\) 是非空子集。则

\[|A + B| \geqslant \min(q, |A| + |B| - 1) \]

这个结果对任意有限域成立，不仅仅是素数域。

第五章 Freiman定理与逆问题

5.1 逆问题的基本思想

加性组合学的逆问题（inverse problem）是：

如果 \(|A + B|\) 很小（即 \(A\) 和 \(B\) 的和集几乎最小），那么 \(A\) 和 \(B\) 具有什么样的结构？

这类问题的核心是从和集的大小反推集合的结构。

Freiman定理是逆问题中最著名的结果。

5.2 Freiman 3k-4定理

定理 5.1（Freiman 3k-4定理） ：设 \(A \subset \mathbb{Z}\) 是有限整数集合，\(|A| = k\)。若

\[|A + A| \leqslant 3k - 4 \]

则 \(A\) 包含在一个长度为 \(|A+A| - k + 1 \leqslant 2k - 3\) 的等差数列中。

例 5.1：若 \(A = \{0, 1, 3\}\)，则 \(|A|=3\)，\(A+A = \{0,1,2,3,4,6\}\)，\(|A+A|=6 = 3 \times 3 - 3\)。Freiman定理的界 \(3k-4=5\) 不满足，因此 \(A\) 不一定是等差数列——事实上它确实不是等差数列。

5.3 Freiman定理的一般形式

定理 5.2（Freiman定理，一般形式） ：设 \(A \subset \mathbb{Z}\) 是有限集合，且 \(|A+A| \leqslant K|A|\)（即 \(A\) 的加倍常数至多为 \(K\)）。则 \(A\) 包含在一个广义等差数列（generalized arithmetic progression, GAP）中，其维数 \(d\) 和长度 \(L\) 满足

\[d \leqslant C(K),\quad |P| \leqslant C'(K)|A| \]

其中 \(C(K)\) 和 \(C'(K)\) 是只依赖于 \(K\) 的常数。

定义 5.1（广义等差数列） ：一个 \(d\) 维广义等差数列是形如

\[P = \left\{ a_0 + \sum_{i=1}^d n_i a_i \mid 0 \leqslant n_i < N_i \right\} \]

的集合，其中 \(a_0, a_1, \cdots, a_d \in \mathbb{Z}\)，\(N_i\) 是正整数。

广义等差数列是等差数列在更高维度的推广。

5.4 多项式Freiman-Ruzsa猜想

猜想 5.1（多项式Freiman-Ruzsa猜想，PFR） ：设 \(A \subset \mathbb{F}_2^n\) 满足 \(|A+A| \leqslant K|A|\)。则 \(A\) 包含在一个子群 \(H \subset \mathbb{F}_2^n\) 中，使得

\[|H| \leqslant K^{O(1)} |A| \]

且 \(A\) 被 \(H\) 的 \(K^{O(1)}\) 个陪集覆盖。

这个猜想是加性组合学中最重要的开放问题之一。它已在特征2的情形被证明（由Ruzsa、Green和Tao等），但在一般阿贝尔群上仍然是开放的。

5.5 Balog-Szemerédi-Gowers定理

定理 5.3（Balog-Szemerédi-Gowers定理） ：设 \(A, B\) 是阿贝尔群中的有限集合，且存在 \(\delta > 0\) 使得至少有 \(\delta |A||B|\) 对 \((a, b) \in A \times B\) 满足 \(a+b \in C\)（其中 \(C\) 是某个“小”集合）。则存在 \(A' \subset A\)，\(B' \subset B\)，\(|A'| \gg |A|\)，\(|B'| \gg |B|\)，使得

\[|A' + B'| \ll_{\delta} |A'| + |B'| \]

这个定理是连接图论与加法组合学的桥梁。

第六章 Szemerédi定理与算术级数

6.1 算术级数

定义 6.1（算术级数） ：一个 \(k\) 项算术级数（arithmetic progression, AP）是形如

\[a, a+d, a+2d, \cdots, a+(k-1)d \]

的序列，其中 \(a, d \in \mathbb{Z}\)，\(d \neq 0\)。

6.2 van der Waerden定理

定理 6.1（van der Waerden定理） ：对任意正整数 \(k\) 和 \(r\)，存在正整数 \(W(k, r)\)，使得当 \(N \geqslant W(k, r)\) 时，将集合 \(\{1, 2, \cdots, N\}\) 染成 \(r\) 种颜色，必然存在一种颜色包含一个长度为 \(k\) 的算术级数。

van der Waerden定理是Ramsey理论在数论中的最早成果之一。

6.3 Szemerédi定理

定理 6.2（Szemerédi定理） ：设 \(A \subset \mathbb{N}\) 具有正的上密度，即

\[\limsup_{N \to \infty} \frac{|A \cap [1, N]|}{N} > 0 \]

则 \(A\) 包含任意长的算术级数。

这是组合数论中最深刻的定理之一。

等价形式：设 \(r_k(N)\) 表示 \(\{1, 2, \cdots, N\}\) 中不含 \(k\) 项算术级数的子集的最大大小。则

\[r_k(N) = o(N) \]

即 \(r_k(N)/N \to 0\)。

6.4 特殊情况：Roth定理

定理 6.3（Roth定理，1953） ：对任意 \(\delta > 0\)，存在 \(N_0(\delta)\)，使得当 \(N \geqslant N_0\) 时，任何 \(A \subset [1, N]\) 且 \(|A| \geqslant \delta N\) 都包含一个3项算术级数。

Roth定理是Szemerédi定理在 \(k=3\) 时的特殊情况，其证明使用傅里叶分析。

更强的定量估计：

\[r_3(N) \ll \frac{N}{(\log N)^{1-o(1)}} \]

这个界由Bloom和Sisask（2020）给出，是当前最好的结果。

6.5 Gowers定理

定理 6.4（Gowers定理） ：对任意 \(k \geqslant 3\)，存在常数 \(c_k > 0\) 使得

\[r_k(N) \ll \frac{N}{(\log \log N)^{c_k}} \]

Gowers的证明引入了Gowers范数（Gowers norms），这是加性组合学中最重要的工具之一。

Gowers范数的定义：对函数 \(f: G \to \mathbb{C}\)（\(G\) 是有限阿贝尔群），定义

\[\|f\|_{U^d} = \left( \mathbb{E}_{x, h_1, \cdots, h_d \in G} \prod_{\omega \in \{0,1\}^d} f(x + \omega_1 h_1 + \cdots + \omega_d h_d) \right)^{1/2^d} \]

Gowers范数衡量函数的“伪随机性”程度。

6.6 Green-Tao定理

定理 6.5（Green-Tao定理，2004） ：素数集合包含任意长的算术级数。

这是Szemerédi定理在素数集合上的应用，但素数集合的密度为0，不能直接应用Szemerédi定理。Green和Tao证明了相对Szemerédi定理（relative Szemerédi theorem），将Szemerédi定理推广到“伪随机”的稀疏集合上。

证明的关键步骤：

1. 构造一个伪随机集合（“Goldston-Yıldırım伪随机模型”）
2. 证明素数集合可以嵌入到这个伪随机集合中
3. 在伪随机集合上证明相对Szemerédi定理

6.7 多维Szemerédi定理

定理 6.6（Furstenberg-Katznelson定理） ：设 \(d \geqslant 1\)，\(A \subset \mathbb{Z}^d\) 具有正的上密度。则 \(A\) 包含任意有限配置的同构拷贝。

这是Szemerédi定理在高维的推广。

第七章 零和理论

7.1 零和问题的基本框架

零和理论（Zero-Sum Theory）是组合数论的一个重要分支，研究在有限阿贝尔群中寻找和为零的子序列。

基本问题：给定有限阿贝尔群 \(G\) 中的一个序列（允许重复），序列需要多长才能保证存在一个非空的子序列，其元素之和为零？

零和理论起源于Erdős、Ginzburg和Ziv在1961年的工作。

7.2 Davenport常数

定义 7.1（Davenport常数） ：设 \(G\) 是有限阿贝尔群。定义 \(G\) 的 Davenport常数 \(D(G)\) 为最小的正整数 \(d\)，使得 \(G\) 中任意长度为 \(d\) 的序列（允许重复）都包含一个非空的零和子序列。

定理 7.1：对循环群 \(\mathbb{Z}_n\)，

\[D(\mathbb{Z}_n) = n \]

定理 7.2：对一般有限阿贝尔群 \(G \cong \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}\)（其中 \(n_1 \mid n_2 \mid \cdots \mid n_r\)），

\[D(G) \geqslant 1 + \sum_{i=1}^r (n_i - 1) \]

等号是否总成立是零和理论中最重要的开放问题之一（Davenport常数猜想）。

7.3 Erdős–Ginzburg–Ziv定理

定理 7.3（Erdős–Ginzburg–Ziv定理，EGZ） ：任意 \(2n-1\) 个整数中，必存在 \(n\) 个整数，其和能被 \(n\) 整除。

等价地，在循环群 \(\mathbb{Z}_n\) 中，任意长度为 \(2n-1\) 的序列都包含一个长度为 \(n\) 的零和子序列。

EGZ常数：\(s(\mathbb{Z}_n) = 2n-1\)。

定理的多种证明：

• 原始证明（Erdős–Ginzburg–Ziv, 1961）使用组合方法
• Chevalley-Warning定理的证明
• 多项式方法

高维东教授建立了Davenport常数与EGZ定理之间的基本联系，将这两个原本独立研究的课题统一起来。

7.4 一般群的零和常数

定义 7.2（EGZ常数） ：对有限阿贝尔群 \(G\)，定义 \(s(G)\) 为最小的正整数 \(s\)，使得 \(G\) 中任意长度为 \(s\) 的序列都包含一个长度为 \(\exp(G)\) 的零和子序列。

定理 7.4：对循环群 \(\mathbb{Z}_n\)，\(s(\mathbb{Z}_n) = 2n-1\)。

7.5 Olson定理

定理 7.5（Olson定理） ：设 \(G\) 是有限阿贝尔 \(p\)-群，\(S\) 是 \(G\) 中一个不包含零和子序列的序列。则 \(S\) 的长度至多为 \(|G|/p + p - 2\)。

Olson定理给出了Davenport常数在 \(p\)-群上的上界。

7.6 零和理论的应用

零和理论在以下方面有重要应用：

1. Krull幺半群中的因子分解理论
2. 代数数论中素理想的分解
3. 图论中的某些极值问题

第八章 Ramsey理论中的数论

8.1 Schur定理

定理 8.1（Schur定理，1916） ：对正整数集合 \(\mathbb{N}\) 的任意有限染色，存在同色的 \(x, y, z\) 使得 \(x + y = z\)。

等价形式：对任意 \(r\)，存在 \(S(r)\) 使得 \([1, S(r)]\) 的任意 \(r\) 染色都包含单色的 \(x, y, z\) 满足 \(x + y = z\)。

Schur数：最小的这样的 \(S(r)\) 称为 Schur数。

8.2 Rado定理

定理 8.2（Rado定理） ：设 \(A\) 是一个 \(m \times n\) 的整数矩阵。方程 \(A\mathbf{x} = \mathbf{0}\) 是划分正则的（即对 \(\mathbb{N}\) 的任意有限染色，存在单色解）当且仅当 \(A\) 满足列条件。

列条件：存在矩阵列的一个划分 \(C_1, \cdots, C_t\)，使得 \(\sum_{j \in C_1} \mathbf{a}_j = \mathbf{0}\)，且对每个 \(i > 1\)，\(\sum_{j \in C_i} \mathbf{a}_j\) 是 \(C_1 \cup \cdots \cup C_{i-1}\) 中列的整系数线性组合。

Rado定理是Schur定理和van der Waerden定理的极大推广。

8.3 Hindman定理

定理 8.3（Hindman定理） ：对 \(\mathbb{N}\) 的任意有限染色，存在一个无限子集 \(\{x_1, x_2, \cdots\}\)，使得所有有限和

\[\sum_{i \in F} x_i \quad (F \text{ 是非空有限子集}) \]

都是同色的。

Hindman定理是Folkman定理的强化版本。

8.4 划分正则性

定义 8.1（划分正则） ：一个方程或方程组称为划分正则的（partition regular），如果对 \(\mathbb{N}\) 的任意有限染色，都存在一个单色解。

例 8.1：

• \(x + y = z\) 是划分正则的（Schur定理）
• \(x + y = 2z\) 是划分正则的（van der Waerden定理的 \(k=3\) 情形）
• \(x + y = z + w\) 是划分正则的
• \(x^2 + y^2 = z^2\) 不是划分正则的

第九章 和积问题

9.1 和积问题的表述

和积问题（sum-product problem）由Erdős和Szemerédi于1983年提出。

核心问题：对一个有限整数集合 \(A\)，和集 \(A+A\) 和乘积集 \(A \cdot A\) 不可能同时很小。换句话说，一个集合要么产生许多不同的和，要么产生许多不同的积。

9.2 Erdős-Szemerédi猜想

猜想 9.1（Erdős-Szemerédi猜想） ：对任意 \(\varepsilon > 0\) 和任意有限集合 \(A \subset \mathbb{Z}\)，

\[\max(|A+A|, |A \cdot A|) \gg |A|^{2-\varepsilon} \]

即至少有一个集合的大小接近 \(|A|^2\)。

已知结果（Erdős-Szemerédi, 1983）：

\[\max(|A+A|, |A \cdot A|) \gg |A|^{1+\varepsilon} \]

其中 \(\varepsilon > 0\) 是某个绝对常数。

这个下界的指数已被不断改进。目前最好的结果是

\[\max(|A+A|, |A \cdot A|) \gg |A|^{4/3 + o(1)} \]

9.3 有限域上的和积问题

定理 9.1：设 \(\mathbb{F}_q\) 是有限域，\(A \subset \mathbb{F}_q\)。则

\[\max(|A+A|, |A \cdot A|) \gg \min(q, |A|^{1+\delta}) \]

其中 \(\delta > 0\) 是绝对常数。

Bourgain-Konyagin定理：对任意 \(A \subset \mathbb{F}_p\)，

\[\max(|A+A|, |A \cdot A|) \gg \min(p, |A|^{1+c}) \]

其中 \(c > 0\) 是绝对常数。

9.4 和积问题的意义

和积问题与以下领域有深刻联系：

1. 展开图（expander graphs）
2. 伪随机性（pseudorandomness）
3. 有限域上的代数几何
4. 加法组合学中的结构理论

第十章 覆盖系统与同余

10.1 覆盖系统

定义 10.1（覆盖系统） ：一个覆盖系统（covering system）是同余类

\[\{ a_i \pmod{n_i} \}_{i=1}^k \]

的集合，使得每个整数至少属于其中一个同余类。

定义 10.2（不相交覆盖系统） ：若每个整数恰好属于一个同余类，则称为不相交覆盖系统（exact covering system）。

10.2 基本问题

问题：是否存在一个覆盖系统，其中所有的模数 \(n_i\) 都不同且都大于1？

Mirsky-Newman定理（1950）：在一个不相交覆盖系统中，最大的模数必然出现至少两次。

Erdős自覆盖猜想：不存在覆盖系统 \(\{a_i \pmod{n_i}\}\) 使得 \(n_i\) 两两不同且 \(n_i > 1\)。

这个问题至今仍未完全解决。

10.3 覆盖系统的构造

定理 10.1：对任意 \(m\)，存在覆盖系统 \(\{a_i \pmod{n_i}\}_{i=1}^k\) 使得所有 \(n_i\) 都是 \(m\) 的倍数且互不相同。

例 10.1：一个经典的覆盖系统：

\[\{0 \pmod{2}, 1 \pmod{4}, 3 \pmod{8}, 7 \pmod{16}, 15 \pmod{32}, 31 \pmod{32}\} \]

但这不是不相交的（31被最后一个同余类覆盖了两次）。

10.4 零和问题与覆盖系统的联系

定理 10.2（Sun的统一定理） ：零和问题、子集和问题与整数覆盖系统之间存在深刻的联系。

孙智伟（Zhi-Wei Sun）将这三个主题统一在一个框架下，证明了它们之间可以相互转化。

第十一章 组合数论中的概率方法

11.1 概率方法的基本思想

概率方法（probabilistic method）由Erdős开创，其基本思想是：

为了证明某个数学对象的存在性，构造一个随机对象，证明它以正概率具有所需性质。

在组合数论中，概率方法用于：

• 证明某些集合的存在性
• 给出下界估计
• 研究随机集合的典型性质

11.2 随机集合中的算术级数

定理 11.1：设 \(A \subset [1, N]\) 是以概率 \(p\) 独立选取的随机集合。则 \(A\) 中包含的3项算术级数的期望数量为

\[\mathbb{E}[\#\text{AP}_3(A)] \approx p^3 N^2 \]

推论：当 \(p \gg N^{-1/2}\) 时，\(A\) 几乎必然包含3项算术级数。

11.3 随机图方法与Ramsey数

定理 11.2：\(R(k) > 2^{k/2}\)，其中 \(R(k)\) 是使任意 \(R(k)\) 个顶点的图包含 \(k\) 个顶点的团或独立集的 Ramsey 数。

证明使用随机图：随机 \(2^{k/2}\) 个顶点的图中，没有 \(k\)-团或 \(k\)-独立集的概率小于1。

11.4 素数中的模式

随机模型（Cramér模型）将素数视为以概率 \(1/\log n\) 随机出现的集合。这个模型预测了许多关于素数的统计性质，包括：

• 素数中的算术级数（由Green-Tao定理证实）
• 孪生素数的分布

第十二章 组合数论在其它领域的应用

12.1 在计算机科学中的应用

组合数论在计算机科学中有广泛应用：

1. 伪随机数生成：基于数论函数的伪随机生成器
2. 哈希函数：基于同余的哈希设计
3. 纠错码：基于有限域和组合设计的编码
4. 密码学：组合数论中的难题（如子集和问题）用于密码设计

12.2 在调和分析中的应用

加性组合学与调和分析（harmonic analysis）有着深刻的联系：

1. 傅里叶分析用于研究集合的加法结构（如Roth定理的证明）
2. Gowers范数是调和分析与组合学的桥梁
3. Bohr集和Heisenberg群上的分析

12.3 在遍历理论中的应用

Furstenberg对应原理建立了组合数论与遍历理论之间的联系：

整数集合 \(A \subset \mathbb{Z}\) 的某些组合性质等价于某个保测变换的遍历性质。

利用这个对应原理，Furstenberg给出了Szemerédi定理的遍历理论证明。

12.4 在模型论中的应用

非标准方法（nonstandard methods）在Ramsey理论和组合数论中有重要应用。

非标准方法通过引入非标准自然数（无穷大自然数），将有限组合问题转化为无限结构中的问题，从而简化证明。

第十三章 开放问题与前沿方向

13.1 Erdős-Turán猜想

猜想 13.1（Erdős-Turán猜想） ：若 \(A \subset \mathbb{N}\) 满足 \(\sum_{a \in A} 1/a = \infty\)，则 \(A\) 包含任意长的算术级数。

这个猜想比Szemerédi定理更强（Szemerédi定理只要求正密度，而正密度隐含调和级数发散，但反之不成立）。

13.2 多项式Freiman-Ruzsa猜想

猜想 13.2（多项式Freiman-Ruzsa猜想） ：在任意阿贝尔群中，若 \(|A+A| \leqslant K|A|\)，则 \(A\) 被一个子群 \(H\) 的 \(K^{O(1)}\) 个陪集覆盖。

这是加性组合学中最重要的开放问题之一。

13.3 和积猜想的完全解决

Erdős-Szemerédi和积猜想的完全解决仍然是开放的。

目前最强的下界是 \(|A|^{4/3+o(1)}\)，离 \(|A|^{2-o(1)}\) 还有很大距离。

13.4 Davenport常数猜想

猜想 13.3（Davenport常数猜想） ：对任意有限阿贝尔群 \(G = \mathbb{Z}_{n_1} \oplus \cdots \oplus \mathbb{Z}_{n_r}\)（\(n_1 \mid \cdots \mid n_r\)），

\[D(G) = 1 + \sum_{i=1}^r (n_i - 1) \]

这个猜想在 \(r \leqslant 2\) 时已知成立，一般情形仍然开放。

13.5 覆盖系统的Erdős猜想

猜想 13.4（Erdős覆盖系统猜想） ：不存在覆盖系统 \(\{a_i \pmod{n_i}\}\) 使得所有 \(n_i\) 互不相同且都大于1。

这是数论中最古老的开放问题之一。

附录：重要公式与定理汇总

A.1 组合恒等式

名称	公式
二项式定理	\((x+y)^n = \sum \binom{n}{k} x^k y^{n-k}\)
Pascal恒等式	\(\binom{n}{k} = \binom{n-1}{k} + \binom{n-1}{k-1}\)
Vandermonde恒等式	\(\sum_k \binom{m}{k}\binom{n}{r-k} = \binom{m+n}{r}\)
Lucas定理	\(\binom{n}{k} \equiv \prod \binom{n_i}{k_i} \pmod{p}\)

A.2 和集不等式

名称	公式
平凡下界	\(|A+B| \geqslant \max(|A|,|B|)\)
平凡上界	\(|A+B| \leqslant |A||B|\)
Ruzsa三角不等式	\(|A-C| \leqslant |A-B||B-C|/|B|\)
Cauchy-Davenport	\(|A+B| \geqslant \min(p, |A|+|B|-1)\)
Kneser定理	\(|A+B| \geqslant |A+H|+|B+H|-|H|\)

A.3 核心定理

名称	内容
Szemerédi定理	正密度集合包含任意长算术级数
Roth定理	\(r_3(N) = o(N)\)
Green-Tao定理	素数包含任意长算术级数
Freiman定理	小和集集合包含在广义等差数列中
EGZ定理	\(2n-1\) 个整数中有 \(n\) 个和能被 \(n\) 整除

A.4 零和理论常数

名称	定义	循环群上的值
Davenport常数 \(D(G)\)	最小长度保证非空零和子序列	\(D(\mathbb{Z}_n) = n\)
EGZ常数 \(s(G)\)	最小长度保证长度为 \(\exp(G)\) 的零和子序列	\(s(\mathbb{Z}_n) = 2n-1\)

A.5 和积问题

名称	内容
Erdős-Szemerédi猜想	\(\max(|A+A|,|AA|) \gg |A|^{2-\varepsilon}\)
已知下界	\(\max(|A+A|,|AA|) \gg |A|^{4/3+o(1)}\)

参考文献

1. Tao, T. & Vu, V. Additive Combinatorics [M]. Cambridge University Press, 2006.
2. Geroldinger, A. & Ruzsa, I. Z. Combinatorial Number Theory and Additive Group Theory [M]. Birkhäuser, 2009.
3. Landman, B. M. & Robertson, A. Ramsey Theory on the Integers [M]. American Mathematical Society, 2004.
4. Nathanson, M. B. Additive Number Theory: Inverse Problems and the Geometry of Sumsets [M]. Springer, 1996.
5. 潘承洞, 潘承彪. 初等数论 [M]. 北京大学出版社.
6. Zhao, Y. Graph Theory and Additive Combinatorics [M]. MIT OpenCourseWare, 2023.
7. Green, B. Additive Combinatorics [M]. Oxford Lecture Notes, 2025.
8. Sun, Z. W. Groups and Combinatorial Number Theory [J]. arXiv:math/0411289, 2004.