现代筛法与加性问题前沿详解
现代筛法与加性问题前沿详解
目录
- 第一章 绪论
- 第二章 筛法的历史演进:从埃拉托斯特尼到现代
- 第三章 筛法的基本框架与核心概念
- 第四章 古典筛法:Brun筛法与Selberg筛法
- 第五章 大筛法
- 第六章 GPY筛法与有界素数间隙
- 第七章 Maynard-Tao多维筛法
- 第八章 加性数论中的筛法应用
- 第九章 奇偶性问题:筛法的根本性障碍
- 第十章 超越奇偶性:Friedlander-Iwaniec筛法
- 第十一章 Green-Tao定理与相对Szemerédi定理
- 第十二章 现代前沿:混合筛法与新方向
- 第十三章 开放问题与未来展望
- 附录:重要定理与公式汇总
第一章 绪论
1.1 什么是筛法
筛法(Sieve Method)是数论中一类历史悠久且极其强大的工具,其核心思想可以追溯到古希腊时代——埃拉托斯特尼筛法(Sieve of Eratosthenes)。筛法的基本范式是:从一个整数集合出发,系统地“筛除”那些具有某种 undesirable 性质的元素(例如被小素数整除的数),从而孤立出那些具有目标性质的元素(例如素数)。
筛法理论经过两千多年的发展,已经从最初一个朴素的枚举工具,演变为现代数论中最精密、最强大的武器之一。现代筛法不仅是研究素数分布的核心工具,更是连接解析数论、加性数论和组合数论的关键桥梁。
1.2 加性数论:问题的来源
加性数论(Additive Number Theory),又称堆垒数论,研究的是整数的加法分解问题。其核心问题是:
给定一个整数集合 \(\mathcal{A}\)(如素数集合、平方数集合等),哪些整数可以表示为 \(\mathcal{A}\) 中有限个元素之和?有多少种表示方式?
加性数论中最著名的两个问题是:
- 哥德巴赫猜想(Goldbach's Conjecture):每个大于2的偶数都可以表示为两个素数之和。
- 华林问题(Waring's Problem):每个正整数是否可以表示为有限个 \(k\) 次幂之和。
这两个问题分别代表了加性数论的两大方向:素数加性问题和幂加性问题。筛法在这两个方向上都发挥着不可替代的作用。
1.3 筛法与加性问题的交汇
筛法与加性问题的交汇点在于:
- 存在性证明:筛法可以证明“几乎每个”满足条件的数都可以表示为目标形式。
- 计数估计:筛法可以给出表示数量的上界和下界。
- 结构揭示:筛法可以揭示具有特定加性性质的数集的结构。
Green-Tao定理(2004)是筛法与加性数论结合的最辉煌成果之一:素数中包含任意长的算术级数。这一定理的证明将Szemerédi定理(组合数论)、筛法(解析数论)和伪随机测度(调和分析)融为一体。
1.4 本书的结构
本书将从筛法的历史演进出发,系统介绍:
- 古典筛法:Brun筛法与Selberg筛法
- 大筛法:从Linnik到Bombieri-Vinogradov
- 现代筛法革命:GPY方法、Maynard-Tao多维筛法
- 筛法在加性问题中的应用:哥德巴赫猜想、华林问题
- 筛法的根本性障碍:奇偶性问题
- 超越奇偶性:Friedlander-Iwaniec筛法
- 前沿方向:混合筛法、Green-Tao定理、开放问题
1.5 预备知识
阅读本书需要以下预备知识:
- 初等数论:素数、同余、算术函数(Möbius函数、von Mangoldt函数)
- 数学分析:级数、渐近估计、大O记号
- 复分析基础:围道积分、留数定理(用于理解L函数方法)
- 概率论基础:期望、方差、大数定律(用于理解概率方法)
第二章 筛法的历史演进:从埃拉托斯特尼到现代
2.1 埃拉托斯特尼筛法(公元前3世纪)
筛法的历史始于古希腊数学家埃拉托斯特尼(Eratosthenes of Cyrene,约公元前276-194年)。他的筛法是历史上最早的算法之一,其原理至今仍在使用。
算法 2.1(埃拉托斯特尼筛法) :
给定上限 \(N\),要找出所有不超过 \(N\) 的素数:
- 列出从2到 \(N\) 的所有整数。
- 从最小的素数2开始,划去所有2的倍数(不包括2本身)。
- 取下一个未被划去的数(即下一个素数),划去它的所有倍数。
- 重复步骤3,直到处理完所有不超过 \(\sqrt{N}\) 的数。
- 未被划去的数即为不超过 \(N\) 的所有素数。
这个算法的核心思想是容斥原理:一个数 \(n\) 是素数,当且仅当它不被任何不超过 \(\sqrt{n}\) 的素数整除。
2.2 Brun的突破(1920年)
在将近两千年的沉寂之后,筛法在20世纪初迎来了第一次革命性突破。1919年,挪威数学家维戈·布朗(Viggo Brun)发表了一篇划时代的论文。
Brun的核心创新是截断容斥原理(Truncated Inclusion-Exclusion):
- 完整的容斥原理包含 \(2^{\pi(z)}\) 项,当 \(z\) 较大时无法处理。
- Brun提出只取前 \(k\) 项(或只取偶数项/奇数项),从而得到上界和下界估计。
定理 2.1(Brun定理,1919) :孪生素数的倒数和收敛:
这个定理的意义在于:虽然我们不知道孪生素数是否有无穷多个,但至少知道它们“足够稀疏”——其倒数和收敛。
定理 2.2(Brun的筛法基本定理) :存在绝对常数 \(C > 0\),使得不超过 \(x\) 的孪生素数对的数量
这个上界估计是筛法理论的第一个重大成果。
2.3 Selberg筛法(1940年代)
1940年代,挪威裔美国数学家阿特勒·塞尔伯格(Atle Selberg)提出了一个全新的筛法框架。
Selberg的核心思想是:用优化的二次权重代替Möbius函数。
在古典筛法中,筛函数
的估计依赖于Möbius函数的容斥展开。
Selberg的洞察是:与其使用 \(\mu(d)\),不如选择一组实数 \(\lambda_d\)(\(\lambda_1 = 1\)),使得
然后最小化
这样得到的上界比Brun筛法更优。Selberg筛法后来成为几乎所有现代筛法的基础。
2.4 大筛法的诞生(1940年代-1960年代)
大筛法(Large Sieve)由尤里·林尼克(Yuri Linnik)在1940年代提出,后由邦比耶里(Enrico Bombieri)和达文波特(Harold Davenport)等人发展。
大筛法的核心不等式是:
大筛法的最重要应用是Bombieri-Vinogradov定理(1965),它是广义黎曼猜想在平均意义上的替代。
定理 2.3(Bombieri-Vinogradov定理) :对任意 \(A > 0\),存在 \(B = B(A) > 0\) 使得
其中 \(Q = \sqrt{x}/(\log x)^B\)。
这个定理是筛法理论的核心支柱之一,陈氏定理和Green-Tao定理的证明都依赖于它。
2.5 现代筛法革命(2000年代至今)
21世纪以来,筛法经历了又一场革命:
- 2005年:Goldston-Pintz-Yıldırım(GPY)提出了新的筛法,证明了素数间隙可以任意小(相对于 \(\log x\))。
- 2013年:张益唐利用GPY筛法的改进版本,首次证明了存在无穷多对素数,其间隙小于7000万。
- 2013年:James Maynard和Terence Tao独立发展出多维筛法,将素数间隙的上界大幅降低。
- 2024年:几何朗兰兹纲领取得突破性进展,为筛法理论提供了新的视角。
第三章 筛法的基本框架与核心概念
3.1 筛法的基本设定
筛法的一般设定如下:
- 筛对象:一个有限整数集合 \(\mathcal{A} \subset \mathbb{N}\),通常取 \(\mathcal{A} = \{ n \leqslant x : n \equiv a \pmod{q} \}\) 或其他算术序列。
- 筛除集合:一个素数集合 \(\mathcal{P}\)(通常取所有素数,或排除小素数后的集合)。
- 筛除范围:一个参数 \(z\),只考虑 \(\mathcal{P}\) 中 \(p < z\) 的素数。
- 筛函数:
其中 \(P(z) = \prod_{p < z, p \in \mathcal{P}} p\)。
3.2 筛函数的分解
筛函数可以分解为主项和余项:
其中:
- \(X\) 是 \(\mathcal{A}\) 的“大小”的某种度量(通常取 \(X = |\mathcal{A}|\))
- \(W(z) = \prod_{p < z} (1 - \rho(p)/p)\) 是局部密度因子
- \(R\) 是余项,需要被控制
Selberg筛法的精髓在于通过优化权重 \(\lambda_d\) 来最小化余项。
3.3 筛法的分类
按照不同的标准,筛法可以分为:
(1)按目标分:
- 上界筛法(Upper Bound Sieve):给出筛函数的上界估计
- 下界筛法(Lower Bound Sieve):给出筛函数的下界估计
- 渐近筛法(Asymptotic Sieve):给出渐近公式
(2)按方法分:
- 组合筛法(Combinatorial Sieve):基于容斥原理的截断(Brun筛法)
- 解析筛法(Analytic Sieve):基于优化权重(Selberg筛法)
- 大筛法(Large Sieve):基于傅里叶分析
(3)按应用分:
- 素数筛法:研究素数的分布
- 殆素数筛法:研究殆素数(几乎素数)的分布
- 加性筛法:研究加性问题
3.4 关键概念:筛法的“水平”
筛法的水平(Level)是指筛除参数 \(z\) 的大小。筛法的能力通常用 \(D = z^2\) 或类似量来衡量。
定义 3.1(分布水平) :称一个序列 \(\mathcal{A}\) 具有分布水平 \(\theta\),如果对任意 \(A > 0\),
Bombieri-Vinogradov定理给出了素数序列的分布水平 \(\theta = 1/2\)。Elliot-Halberstam猜想预测 \(\theta\) 可以任意接近1。
第四章 古典筛法:Brun筛法与Selberg筛法
4.1 Brun筛法
Brun筛法是最早的现代筛法。其核心是截断容斥原理。
定理 4.1(Brun纯筛法) :设 \(\mathcal{A} = \{ n \leqslant x \}\),\(\mathcal{P}\) 为所有素数。则对任意偶数 \(k\),
类似地,对奇数 \(k\) 可以得到下界。
Brun筛法的基本定理:
且存在绝对常数 \(c > 0\) 使得
当 \(z\) 不超过某个与 \(x\) 相关的阈值时。
4.2 Selberg上界筛法
Selberg筛法通过优化二次型给出了最优的上界。
定理 4.2(Selberg上界筛法) :设 \(\mathcal{A}\) 是有限整数集合,\(\mathcal{P}\) 是素数集合,\(z > 0\)。则对任意 \(D \geqslant 1\),
其中 \(f\) 是某个积性函数,\(R_d\) 是余项。
4.3 下界筛法与组合恒等式
要获得下界估计,需要更精巧的技术。Buchstab恒等式(Buchstab's Identity)是其中的核心工具:
这个恒等式允许我们将一个“大范围”的筛法问题递归地分解为“小范围”的问题。
4.4 陈氏定理(1973)
陈景润的陈氏定理(Chen's Theorem)是古典筛法的巅峰之作。
定理 4.3(陈氏定理) :每个充分大的偶数都可以表示为一个素数和一个殆素数(至多两个素因子之积)之和。
用符号表示为:\(1 + 2\)。
陈氏定理的证明综合运用了:
- Selberg筛法
- 加权筛法(Weighted Sieve)
- 陈氏“切换原理”(Switching Principle)
- Bombieri-Vinogradov定理
陈氏定理是哥德巴赫猜想研究中最接近 \(1+1\) 的成果。
第五章 大筛法
5.1 大筛法的基本原理
大筛法与古典筛法有着本质的不同:古典筛法处理的是“小”模数(\(q\) 较小),而大筛法处理的是“大”模数(\(q\) 可以大到 \(N\) 的量级)。
大筛法不等式(Linnik,1941):
这个不等式的本质是Bessel不等式在有限阿贝尔群上的应用。
5.2 大筛法的改进
大筛法不等式经过多次改进:
定理 5.1(Bombieri-Davenport大筛法) :
定理 5.2(Montgomery大筛法) :
5.3 大筛法的现代发展
大筛法在21世纪继续发展。2024年,Matthew P. Young证明了自守 \(\mathrm{GL}_2\) 族上的首个锐利大筛法不等式。
定理 5.3(Young,2024) :设 \(k\) 为正整数,\(\theta\) 遍历模 \(k\) 的Dirichlet特征,\(Q \geqslant 1\),\(T \geqslant 1\)。则
这是 \(\mathrm{GL}_2\) 族上首个锐利大筛法不等式,且在 \(\varepsilon\) 的意义下是最优的。
此外,Alexandru Pascadi(2024)发展了例外Maass形式的大筛法不等式,改进了Deshouillers-Iwaniec的经典结果。这些不等式作为Selberg特征值猜想的平均意义替代,缩小了条件结果与无条件结果之间的差距。
5.4 Bombieri-Vinogradov定理
Bombieri-Vinogradov定理是大筛法最重要的应用。
定理 5.4(Bombieri-Vinogradov) :对任意 \(A > 0\),存在 \(B > 0\) 使得
其中 \(Q = \sqrt{x}/(\log x)^B\)。
这个定理表明:在平均意义下,素数在算术级数中的分布与广义黎曼猜想的预测一致,尽管我们无法对每个 \(q\) 单独证明。
2024年,Bombieri-Vinogradov定理得到了多项改进:
- 对多项式模数的大筛法不等式和Bombieri-Vinogradov型定理
- 对Piatetski-Shapiro模数的分布水平的改进
- 对数级别的改进
第六章 GPY筛法与有界素数间隙
6.1 GPY方法
Goldston-Pintz-Yıldırım筛法(GPY筛法)是21世纪筛法理论的第一个重大突破。
定理 6.1(GPY,2005) :
这意味着素数间隙相对于 \(\log p_n\) 可以任意小——这是朝向孪生素数猜想(间隙为2)的重要一步。
GPY方法的核心创新是使用Selberg权重的一个变体,专门设计用于检测短区间中的素数。
6.2 张益唐的突破(2013)
2013年,张益唐(Yitang Zhang)在《数学年鉴》上发表了里程碑式的论文《素数间的有界间隙》。
定理 6.2(张益唐,2013) :
这是人类历史上第一次证明素数间隙有界(Bounded)。
张益唐的证明结合了:
- GPY筛法的框架
- 改进的分布水平估计(使用BFI筛法,即Bombieri-Friedlander-Iwaniec筛法)
- 对Siegel零点的精细处理
这一成就使张益唐获得了2014年Cole数论奖。
6.3 从7000万到246
张益唐的工作引发了Polymath8项目——由Terence Tao领导的 collaborative 数学项目,旨在优化张益唐的常数。
改进历程:
| 年份 | 数学家/项目 | 上界 |
|---|---|---|
| 2013 | 张益唐 | 70,000,000 |
| 2013 | Polymath8a | 4,680 |
| 2013 | Maynard | 600 |
| 2013 | Polymath8b | 246 |
| 2014 | 优化 | 246(在EH下可降至12) |
目前的无条件上界是 246。
第七章 Maynard-Tao多维筛法
7.1 多维筛法的提出
2013年,James Maynard和Terence Tao独立地提出了多维筛法(Multidimensional Sieve),这是对Selberg筛法的高维推广。
Selberg的原始筛法考虑的是一维权重:
Maynard和Tao的洞察是:考虑多维权重 \(\lambda_{d_1, \cdots, d_k}\),其中每个 \(d_i\) 对应一个移位 \(h_i\)。
7.2 多维筛法的核心思想
设 \(\mathcal{H} = \{ h_1, \cdots, h_k \}\) 是一个可容许的 \(k\)-元组(即对每个素数 \(p\),\(\mathcal{H}\) 不覆盖所有模 \(p\) 的剩余类)。
定义筛法权重:
其中 \(\lambda\) 被选择为使得当 \(n+h_1, \cdots, n+h_k\) 均为素数时权重最大。
定理 7.1(Maynard-Tao定理) :对任意 \(m \geqslant 1\),存在常数 \(C(m)\) 使得
特别地,对 \(m=1\)(相邻素数),\(C(1) \leqslant 600\)(无条件);在Elliot-Halberstam猜想下,\(C(1) \leqslant 12\)。
7.3 多维筛法的优势
与GPY筛法相比,Maynard-Tao多维筛法有以下优势:
- 不需要分布水平的改进:GPY方法需要素数分布水平 \(\theta > 1/2\),而Maynard-Tao方法在 \(\theta = 1/2\) 时已经有效。
- 适用于任意 \(m\):可以证明任意有限多个素数之间的有界间隙。
- 更简单的证明:Maynard的证明比张益唐的证明更简洁。
7.4 多维筛法的现代应用
多维筛法已被应用于多个方向:
- Hecke等分布中的素数间隙
- Goldbach素数的小间隙
- 算术级数中的素数间隙
第八章 加性数论中的筛法应用
8.1 哥德巴赫问题
筛法在哥德巴赫问题的研究中起着核心作用。
(1)奇数哥德巴赫猜想
定理 8.1(Vinogradov,1937) :每个充分大的奇数都可以表示为三个素数之和。
Vinogradov的证明使用圆法(Circle Method),但筛法在控制误差项中起重要作用。
定理 8.2(Helfgott,2013) :每个大于5的奇数都可以表示为三个素数之和。
Helfgott的证明是Vinogradov定理的有效化——将“充分大”变为具体的常数。
(2)偶数哥德巴赫猜想
偶数哥德巴赫猜想(\(1+1\))仍未解决。筛法给出的最佳结果是陈氏定理(\(1+2\))。
定理 8.3:每个充分大的偶数都可以表示为 \(p + P_2\),其中 \(p\) 是素数,\(P_2\) 是至多两个素因子之积。
8.2 Chen素数问题
定义 8.1(Chen素数) :称素数 \(p\) 为 Chen素数,如果 \(p+2\) 至多有两个素因子。
定理 8.4(Chen,1973) :存在无穷多个Chen素数。
2024-2025年的最新进展:
- 证明了几乎所有 \(n \equiv 4 \pmod{6}\) 都是两个Chen素数之和,例外集合具有幂节省。
- 开发了高效的筛法策略。
8.3 华林-哥德巴赫问题
华林-哥德巴赫问题(Waring-Goldbach Problem)研究将整数表示为素数幂之和。
定理 8.5:对充分大的 \(n\),存在素数 \(p_1, \cdots, p_s\) 使得
当 \(s\) 足够大时。
筛法在以下方面起作用:
- 估计素数幂的分布
- 控制误差项
- 处理“殆素数”情形
2024年的新进展包括:
- 短区间内的华林-哥德巴赫问题
- 四个立方和的华林-哥德巴赫问题
8.4 筛法与圆法的结合
筛法与圆法(Circle Method)是加性数论的两大支柱。
圆法(Hardy-Littlewood)处理的是“主项”——给出表示数量的渐近公式。
筛法处理的是“余项”——控制误差,处理“殆素数”情形。
两者结合可以产生最强的结果。例如,在哥德巴赫问题的研究中:
- 圆法给出主项的渐近估计
- 筛法控制误差项,并处理“殆素数”情形
第九章 奇偶性问题:筛法的根本性障碍
9.1 奇偶性问题的表述
奇偶性问题(Parity Problem)是筛法理论中最著名的障碍。
非正式表述:筛法无法区分具有奇数个素因子的数和具有偶数个素因子的数。
更精确的表述:如果 \(\mathcal{A}\) 是一个集合,其元素要么全是奇数个素因子的乘积,要么全是偶数个素因子的乘积,那么(在不引入额外信息的情况下)筛法无法给出 \(\mathcal{A}\) 的非平凡下界。
9.2 奇偶性问题的数学本质
奇偶性问题的根源在于筛法的线性性。
筛法的基本估计具有形式:
这个估计对于“奇”序列和“偶”序列是一样的——筛法“看不到”素因子个数的奇偶性。
定理 9.1(奇偶性障碍的形式化) :在筛法的标准公理体系下,任何上界估计必须与真实值相差至少一个因子2。
9.3 奇偶性问题的影响
奇偶性问题是以下问题至今未能解决的根本原因:
- 孪生素数猜想:孪生素数对 \((p, p+2)\) 中的 \(p\) 是素数(奇数个素因子),筛法无法给出非平凡下界。
- 哥德巴赫猜想:\(1+1\) 需要检测素数(奇数个素因子),筛法只能做到 \(1+2\)(一个素数加一个殆素数)。
Terence Tao曾指出:“筛法无法区分奇数和偶数个素因子的情况”。
9.4 绕过奇偶性问题
尽管奇偶性问题是一个根本性障碍,但数学家们已经找到了若干绕过它的方法:
- 增加额外信息:如使用L函数的零点信息(张益唐的方法)。
- 改变问题设定:研究“殆素数”而非素数(陈氏定理)。
- 使用更高阶的工具:如Green-Tao定理中的伪随机测度。
- 发展奇偶性敏感的筛法:如Friedlander-Iwaniec筛法。
第十章 超越奇偶性:Friedlander-Iwaniec筛法
10.1 Friedlander-Iwaniec定理
John Friedlander和Henryk Iwaniec在1997年发展了一种奇偶性敏感的筛法(Parity-Sensitive Sieve)。
定理 10.1(Friedlander-Iwaniec定理,1997) :存在无穷多个素数可以表示为 \(a^2 + b^4\) 的形式。
这个结果的重要性在于:
- 序列 \(\{ a^2 + b^4 \}\) 是稀疏的(Thin)——在 \(N\) 以下的元素个数约为 \(N^{3/4}\)。
- 传统筛法无法处理这种稀疏序列,因为奇偶性问题在稀疏情形下更为严重。
- Friedlander和Iwaniec的新筛法成功地绕过了奇偶性问题。
10.2 奇偶性敏感筛法的原理
Friedlander-Iwaniec筛法的核心创新包括:
- 渐近筛法(Asymptotic Sieve):不是简单地给出上界/下界,而是给出渐近公式。
- 双线性形式:利用序列的双线性结构(\(a^2 + b^4\) 自然地具有双线性性质)来绕过奇偶性障碍。
- 分布水平的改进:要求被筛序列的分布水平优于 \(N^{2/3}\)。
10.3 其他奇偶性敏感的结果
受Friedlander-Iwaniec工作的启发,后续研究取得了更多突破:
定理 10.2(Heath-Brown,2001) :存在无穷多个素数可以表示为 \(x^3 + 2y^3\) 的形式。
定理 10.3(Fouvry-Iwaniec) :存在无穷多个素数 \(p\) 使得 \(p-1\) 有一个大素因子。
10.4 现代发展
2024年,Jori Merikoski发展了在例外特征假设下的下界筛法,通过添加额外的公理打破了奇偶性问题。
此外,关于立方高斯和的研究表明,Heath-Brown的立方大筛法在广义黎曼猜想下是最优的。
第十一章 Green-Tao定理与相对Szemerédi定理
11.1 Green-Tao定理
定理 11.1(Green-Tao定理,2004) :素数集合包含任意长的算术级数。
这是Szemerédi定理在素数集合上的应用,但素数集合的密度为0,不能直接应用Szemerédi定理。
11.2 证明的三大支柱
Green-Tao定理的证明由三大支柱构成:
(1)Szemerédi定理
Szemerédi定理(1975)断言:任何正密度的整数子集都包含任意长的算术级数。
(2)伪随机测度的构造
Green和Tao构造了一个伪随机测度 \(\nu\),它是素数集合的“伪随机上界”。
这个构造依赖于:
- W-trick:将素数投影到与所有小素数互素的剩余类中
- 筛法:特别是Goldston-Yıldırım的筛法结果
(3)转移原理(Transference Principle)
转移原理允许我们将关于稠密集合的Szemerédi定理“转移”到稀疏的伪随机集合上。
11.3 W-trick
W-trick是Green-Tao证明中的关键技术。
设 \(W = \prod_{p \leqslant w} p\)(所有小素数的乘积)。定义:
其中 \(b\) 与 \(W\) 互素。
这个变换的效果是:
- 将素数集合“放大”到具有正密度的子集
- 消除了小素数的局部波动
- 使得伪随机测度的构造成为可能
11.4 后续发展
Green-Tao定理之后,该框架被扩展到:
- 多项式级数:素数中的多项式算术级数(Green-Tao-Ziegler)
- 其他稀疏集合:如平方数、光滑数中的算术级数
- 高维:\(\mathbb{Z}^d\) 中的算术级数
第十二章 现代前沿:混合筛法与新方向
12.1 混合筛法
混合筛法(Hybrid Sieve)是近年来兴起的新方向,它整合了多种筛法的优势。
定义 12.1(混合筛法) :将Maynard-Tao多维筛法与古典筛法(如Selberg筛法、加权筛法)相结合的方法。
混合筛法的优势在于:
- 综合利用多维筛法的灵活性和古典筛法的精度
- 可以处理更复杂的加性问题
- 有可能绕过某些奇偶性障碍
2024-2025年的最新工作提出了将Maynard-Tao筛法与包络筛法(Enveloping Sieve)整合的混合方法。
12.2 包络筛法
包络筛法(Enveloping Sieve)由Friedlander和Iwaniec发展,用于处理稀疏序列。
其核心思想是构造一个包络函数 \(f(n)\),它:
- 在目标序列上取值较大
- 在非目标序列上取值较小
- 具有良好的解析性质
包络筛法在以下问题中取得了成功:
- 形如 \(p = x^2 + y^2 + 1\) 的素数在算术级数中的分布
- Linnik素数的分布
12.3 加性组合学与筛法的融合
加性组合学(Additive Combinatorics)与筛法的融合是当前最活跃的前沿之一。
Gowers范数(Gowers Norms)是其中的关键工具。Gowers范数衡量函数的“伪随机性”程度,在Green-Tao定理的证明中起着核心作用。
12.4 机器学习辅助的筛法
一个新兴的方向是使用机器学习辅助筛法研究。
2024年的工作提出了一种机器辅助的猜想发现框架,通过分析筛法的结构提出了新的混合筛法,并给出了四个开放问题。
第十三章 开放问题与未来展望
13.1 孪生素数猜想
问题 13.1(孪生素数猜想) :证明存在无穷多个素数 \(p\) 使得 \(p+2\) 也是素数。
目前的最佳结果是:存在无穷多个素数 \(p\) 使得 \(p+246\) 也是素数。
13.2 哥德巴赫猜想
问题 13.2(强哥德巴赫猜想) :证明每个大于2的偶数都可以表示为两个素数之和。
目前的最佳结果是陈氏定理:\(1+2\)。
13.3 奇偶性问题的完全解决
问题 13.3:发展一种能够完全绕过奇偶性问题的筛法。
Friedlander-Iwaniec筛法在特定稀疏序列上取得了成功,但一般性的解决方案仍未出现。
13.4 Elliot-Halberstam猜想
问题 13.4(Elliot-Halberstam猜想) :证明素数在算术级数中的分布水平 \(\theta\) 可以任意接近1。
这个猜想如果成立,将立即将素数间隙的上界降至12。
13.5 分布水平的改进
问题 13.5:改进Bombieri-Vinogradov定理中的分布水平。
当前的无条件水平是 \(\theta = 1/2\)。任何改进都将直接推动筛法应用的边界。
13.6 未来展望
筛法与加性数论的未来发展方向包括:
- 更高阶的傅里叶分析:将Gowers范数等工具进一步融入筛法
- 与算术几何的结合:利用志村簇和L函数的工具
- 计算数论的辅助:利用大规模计算验证和启发式探索
- 跨学科融合:与概率论、信息论、量子计算的交叉
附录:重要定理与公式汇总
A.1 核心筛法不等式
| 名称 | 公式 |
|---|---|
| Selberg上界筛法 | \(S(\mathcal{A}, \mathcal{P}, z) \leqslant X (\sum_{d \leqslant D} \mu^2(d)/\prod_{p\mid d}(f(p)-1))^{-1} + O(\sum_{d \leqslant D} 3^{\omega(d)}|R_d|)\) |
| 大筛法不等式 | \(\sum_{q \leqslant Q} \sum_{a=1}^q |\sum_{n \leqslant N} a_n e^{2\pi i an/q}|^2 \leqslant (N+Q^2)\sum_{n \leqslant N}|a_n|^2\) |
| Bombieri-Vinogradov | \(\sum_{q \leqslant Q} \max_{(a,q)=1} |\pi(x;q,a) - \operatorname{li}(x)/\varphi(q)| \ll x/(\log x)^A\) |
A.2 核心定理
| 定理 | 内容 |
|---|---|
| Brun定理 | 孪生素数倒数和收敛 |
| 陈氏定理 | 每个大偶数为 \(1+2\) |
| GPY定理 | \(\liminf (p_{n+1}-p_n)/\log p_n = 0\) |
| 张益唐定理 | \(\liminf (p_{n+1}-p_n) \leqslant 70,000,000\) |
| Maynard-Tao定理 | 任意 \(m\),\(\liminf (p_{n+m}-p_n) < \infty\) |
| Friedlander-Iwaniec | 无穷多 \(a^2+b^4\) 型素数 |
| Green-Tao定理 | 素数包含任意长算术级数 |
A.3 重要常数
| 常数 | 值 | 来源 |
|---|---|---|
| 孪生素数间隙上界(无条件) | 246 | Polymath8b |
| 孪生素数间隙上界(EH下) | 12 | Maynard |
| Brun常数 | \(\sum_{p,p+2}(1/p+1/(p+2)) \approx 1.902\) | Brun |
A.4 常用记号
| 记号 | 含义 |
|---|---|
| \(S(\mathcal{A}, \mathcal{P}, z)\) | 筛函数 |
| \(P(z)\) | 小于 \(z\) 的素数的乘积 |
| \(\mu(n)\) | Möbius函数 |
| \(\Lambda(n)\) | von Mangoldt函数 |
| \(\pi(x;q,a)\) | 不超过 \(x\)、同余于 \(a \pmod q\) 的素数个数 |
| \(\operatorname{li}(x)\) | 对数积分 |
参考文献
- Friedlander, J. & Iwaniec, H. Opera de Cribro [M]. American Mathematical Society, 2010.
- Greaves, G. Sieves in Number Theory [M]. Springer, 2001.
- Halberstam, H. & Richert, H. E. Sieve Methods [M]. Academic Press, 1974.
- Goldston, D. A., Pintz, J. & Yıldırım, C. Y. Primes in tuples I [J]. Annals of Mathematics, 2009.
- Zhang, Y. Bounded gaps between primes [J]. Annals of Mathematics, 2014.
- Maynard, J. Small gaps between primes [J]. Annals of Mathematics, 2015.
- Tao, T. The Maynard-Tao sieve and bounded gaps between primes [J]. 2013.
- Green, B. & Tao, T. The primes contain arbitrarily long arithmetic progressions [J]. Annals of Mathematics, 2008.
- Bombieri, E. On the large sieve [J]. Mathematika, 1965.
- Friedlander, J. & Iwaniec, H. Using a parity-sensitive sieve to count prime values of a polynomial [J]. PNAS, 1997.
- Cojocaru, A. C. & Murty, M. R. An Introduction to Sieve Methods and Their Applications [M]. Cambridge University Press, 2005.
- 潘承洞, 潘承彪. 初等数论 [M]. 北京大学出版社.
- 王元. 哥德巴赫猜想研究 [M]. 科学出版社.
- Young, M. P. The large sieve for self-dual Eisenstein series of varying levels [J]. Acta Arithmetica, 2024.
- Pascadi, A. Large sieve inequalities for exceptional Maass forms and applications [J]. arXiv:2404.04239, 2024.
本文来自博客园,作者:Aries2011,转载请注明原文链接:https://www.cnblogs.com/Aries2011/p/23051521

浙公网安备 33010602011771号