引言

经过了亿点点的时间,Halberstam的第一章终究还是看完了!只不过确实拖得有点久了

虽然已经在二潘的『哥德巴赫猜想』一书中简单看了Selberg筛法,自以为已经对筛法的思想有所入门.但是在看了Halberstam的第一章后,才发现我有很多忽略掉的细节和动机.而这些内容,也都是作者有意提及,让我突然意识到,竟然还有这种考量!

不愧是『筛法圣经』,收获颇丰!更让我想要把整本书都看完了,虽然现在只看完了1/10(会看完的).而第二章的内容则更是充实,这一章便已经又占去了整本书的1/6更多.可能是组合筛法并没有和后续内容有很多的配合,所以关于组合筛法要说的东西都浓缩在这一章中.

而张益唐关于素数间隙的工作主要便用到了组合筛法以及加权的想法,而细节方面,我后续还会仔细阅读原始论文的.这又是一个大工程了,应该还要翻译与之相关的一篇文献出来,但是以我的英语水平,我争取翻译出完整的句子来😇.

更新这一篇章应该也要一段时间了,虽然说目前还是以介绍符号为主,但是值得学习的内容还真不少.废话少说,直接开冲!🤠

前置(但不简单)的一些知识点

放在最前面的前面,是关于常数的一些默认的规定:

是与和无关的常数

则会是与(后续会知道的,因为我现在也不知道)相关的常数

筛法筛法,当然得有一个被筛集合,以及一个筛子,和描述筛子大小的一个量.因此我们有以下符号来进行描述(数学符号定义属性大爆发):

被筛集合是关于整数的有限集合,即Sifted Sequence,记作;

筛集合是关于素数的无限集合,即Sifting Set,记作;

筛子的大小由来决定,并且定义;

给出上面的符号后,便可以定义出筛选后元素的个数:

可以发现的是,筛函数给出的只是筛选后元素的个数,一个数又能说明什么呢?但实际上,我们如果能知道筛函数的上界和正的下界,那么很多问题将会有极大的突破,而在最后一节,利用Eratosthenes-Legendre筛法能得到素数分布的一个粗略的上界估计,其中函数表示小于的素数个数,考虑:

当然,从初等数论的方法还能得到的更精确的上下界,而这个我也会提上日程的,应该很快,大概吧:

以及Legendre本人提出了一个渐近公式:

这个1.08366很明显是凑出来的,但是Gauss给出了另一个更简单,更精细的渐近公式:

需要注意的是,和还是有所差别的,而我就经常没有注意到大小写的不同😭.

Gauss的这个渐近公式,在本书中直接作为定理使用(虽然这个本来就已经被称为素数定理了).当然还被直接拿来使用的大定理,还有Dirichlet定理.而这里才给出Dirichlet定理的两个更强结论(也是在第一章的Notes里出现的,我之前也完全不知道😫):

假设,可知中包含有无数的素数,并且有以下定量的描述:

并且还有以下一个更强的陈述:

Sifted Sequence

想法与符号

接下来就正式进入筛法的内容了(没想到吧,扯了这么久才入题呢😋)!首先便是从被筛集合Sifted Sequence开始,但是很快就会发现,这可以说是本章最难的一块(没想到吧,我也没想到,一个Sifting Sequence是本章的重点笔墨😭).

此处再重新强调一下Sifted Sequence是什么:

Sifted Sequence指的是一个有限的整数序列(不需要是正数和非异的):

以及在后续中会发现,我们常常需要处理对模的情况:

前面我们已经知道,我们更关注的是集合中元素的个数,但是基本上我们遇到的情况,具体的元素个数是无法显式表达的(否则也就没有什么事了),因此我们不得不寻找另外的方式去尽可能的接近,其中.此处我们已经窥见得:对似乎是更具有一般性的.

而我们最主要的想法就是:

用去接近

而对于,我们利用积性函数去接近

具体而言就是差不多为,此时便需要有

再记误差为,因此越小,说明拟合程度也就越好

而需要是积性函数的原因可能有很多,以下是我个人的一些理解,也不一定准确嗷:

1.只有是积性函数我们才能用更少的精力去拟合筛函数,因为数论函数大多处理的也是积性的,这样才能利用上算术基本定理(即使这样也逃不掉复杂的计算,麻😫).

2.在后面可以发现的是,我们总可以选取合适的和使得误差控制在一个暂且可以接受的范围(但如何缩小误差也是筛法的一个重点与难点😫).

因此我们也需要是没有平方因子的(squarefree),即,后续差不多都是考虑这种情况,但我还是尽量都加上这个条件.

一些『简单』的例子

例子1

假设:

则可得到的是:

简略推导如下:

因为有:

于是便可得到以及.

与此同时,为了保证,我们需要有.

其中需要注意的是,后续中(例子5以及例子6)会有一个符号,其和有一些区别,主要为:

例子2

假设:

则可得到的是:

简略推导如下:

因为有:

其中可知,有解当且仅当,并且此时同余式在中恰有个解.

因此可得:

于是得出:

与此同时,为了保证,我们需要有.

至此仍然是牛刀小试,下面开始才是真正的考验.

例子3

假设是一个次的整系数多项式:

记为的解数(由初等数论的知识可知其为积性函数).

则可得到的是:

简略推导如下:

将讨论的数量转换为对数量的讨论,于是有:

与此同时,为了保证,我们需要有.

值得注意的是,根据Lagrange定理,或者,也即:

此外还有一些比较奇妙的性质:

以及:

例子4

该例子是例子3的一个特殊情况,即考虑作为无重根的分裂多项式,具体如下:

其中使得没有fixed divisor,而无重根则还可以用判别式来更严格地说明:

实际上,在后边马上就能看到,利用判别式这一概念其实不仅仅是为了说明无重根的(直接说无重根不是更省事吗),而是可以更加方便地讨论筛除后的元素个数的情况.

假设:

则根据例3便可直接得到:

但是和例3不同的是,在此处我们能有更强的结论:

几乎对于所有的而言, 更具体而言就是,在满足以及的条件下,

其中,表示的素因子的个数(由于,因此不可能有重数).

简略推导如下:

在此处中,我们来解释为什么几乎对所有的素数而言,都有.

由于没有fixed divisor,因此在的情况下,总有:.

与此同时,单看可知,在的情况下有唯一解.

因此当时,可以得到的是有个的根(计入重数).

而要求,则可以保证有个各不相同的根,并且几乎所有的素数都是满足这个条件的(这也是为什么引入判别式,而不是仅仅声明无重根的原因).

详细写出我们便得到有:

利用积性便可以得到的情况:

而就是例3中所给.

例3和例4已经开始让人汗流浃背了,但是接下来才是重头戏.

例子5

假设:

其中还需要满足:

则可以得到的是:

其中将在推导中给出具体含义.

简略推导如下:

设,则有:

因此此时需要对两个同余式进行考虑,那么我们就需要尝试使用CRT来处理,但在此之前,我们得需要考虑条件.

Step 1(简单情况):

首先对进行处理,其有解的必要条件是.此处不是充要条件,因为解要求是素数.

但是还有条件.因此可知:

1. 若,则此时,因此也必然没有解.

2. 若,则此时也可以表示为:

于是.因此当时,那么此时也就至多个(更精细地,应该是至多一个).

因此我们得到了以下两种简单情况下的估计:

其中.

Step 2(重头戏):

接着便是处理上述讨论中跳过的且,也就是的情况.

通过将化为(5.1),这下我们就可以心安理得地使用CRT了.

而CRT便告诉我们,有解 ,即.

因此在的情况下,可以得到:

Step 3(总结):

此时根据(3.2.5.1)和(3.2.5.3)和定义,便可以给出以及的表达式.并且,要让,那么对的要求为:.

但是现在还没有结束!我们还可以考虑一下例5的特殊情况,也就是的情况.此时有:

前面也说过,只有尽可能的小,那么我们的筛法才算有效.那么对于上面选取出来的和,我们的筛法是不是有效的呢?

现在定义一个误差上界:

定义:

这东西到底特殊在哪呢,竟然能独享尊号(3.2.5.4)?原因在于:

并且在第三章中,引理3.3便会告诉我们:相对于而言,就是很小的.这个就告诉了我们以上的筛法是有效的,这可就太重要了!

例子6

接下来再对例5进行推广!将中的换成(开始窒息).

其中是次数为的整系数多项式,的定义也与例3一致,即:

但在推导过程中,会出现两个与相关的函数,为了推导过程的简洁,先将定义摆放至此,进一步的性质将放在推导结束后的部分.

如果要求(3.2.6.1)中的解还必须和互素,这样就得到了,即:

接着,再要求(3.2.6.2)中的解还要像有类似的结构,即模下与同余(当然,此处的和是根据已经提前给定了),那么这样就得到了,即:

假设:

则可得到的是:

简略推导如下:

仍然设,则有:

接下来就是对这项进行分析,将摸鱼的项给剔除掉.这里和例5中的讨论方式差不多:

1. 考虑同余式,有.

因此在时,此时对应的项则至多为.鉴定为:摸鱼项!

2. 其次仍然是CRT的使用,它告诉我们的是,有解 ,即.

因此若,则其对应的项为.鉴定为:拉去小孩那桌!

因此我们可以得到:

其中,并且是利用CRT得到的,类似与例5中的.

因此利用积性函数便可以得到一个简便的形式:

于是便可以得到和的表达式.同时再利用(3.2.5.4)以及与的关系,便可以得到的估计式,而这个估计式也说明了我们的筛法是有效的.

可以发现的是,例6的推导过程看着虽然唬人,但其本质还是例5的推导思路.接下来该说的就是推导过程中与的关系了.

简而言之(其实都还比较好验证的,可能是经历例5例6磨练后的结果吧):

对进行考虑便得到:

对于的,利用的积性便可以得到了.并且还可以得到下面的关系:

模仿在例4中的操作,在且的条件下,可得到:

终于!要开始进入新的一节了!其实熬过了这一节那六个『简单』的例子,接下来的内容可以说是相当友好的了.主要就是根据实际情况,我们需要对前面的符号进行一点点的调整,具体就是:,以及.但是在调整之前,对Sifting Set也还有几句话需要提及.

Sifting Set & Sifting Function

在筛法中,最重要的就是要减少无效计算,提高筛法的效率,而以下很多处理乍一感觉是『多此一举』,『徒增难度』的,但是从实际操作上来说,我们为了更准确的结果,而不得不舍弃一些易操作性.

那么,下面正式进入新的一节的内容!(终于不用处理一堆一堆的同余式了!!!🥳)

关于Sifting Set的一些补充

在筛法中,常常会给出一个足够大的正整数,那么Sifting set 往往不会选择全体素数,而一般会取:

而全体素数的集合往往记作,而为了简便,定义Sifting set在全体素数中的补集为,即:

接下来,对于任意实数,我们定义:

而的重要性在于,对于,如果,那么就将被筛掉;但如果,那么就在尺度为的筛法下存活了下来.这个在开头便有提到,同时看二潘『哥德巴赫猜想』引言中的例子就有了更深的了解,因此不再展开了.

对于特殊的问题,Sifting set也会有点特殊.比如考虑素因子都是形的数,则可令.

对Sifting Function的一些修改

Sifting Function再出现!

其实Sifting function在很前边就已经出镜过了,即:

同时,在第三节中,已经能够看到的重要性了(有时还得通过来获取信息),因此还有:

这里将(4.2.2)单独写一行,是为了强调其条件,那就是:

根据问题修改Sifting Function

对某些问题而言,我们可能得对Sifting function做一些修改,使得我们能够得到更精细的结论.例如以与孪生素数猜想相近的一个例子:

利用这个Sifting function,实际上也只能得到类似于『』的这样的结论.但是,如果将它的表达形式稍作修改:

那么这样我们就能进一步得到更精细的结果,类似于『』这样的结论,这无疑是很重要的成果.

Sifting Function新符号的引入

以及在引入后,我们也需要进一步对和做一定的调整了,修改后记作和,其中对的修改是比较容易的:

并且令,于是对于而言,得到:

那么也得跟着改变,在的情况下,其定义仍然是:

因此可知发现的是,在的情况下,并不代表余项,此时其值就是.但是在筛法的过程中,这个往往并不会纳入考虑的范畴,因此对实际操作而言,反而还会提高效率.因为引入后就不需要注意的这个条件了.

一些很重要的条件

现在我们还需要对和提一定的要求,而这些条件在后续会不断出现!

首先是对于某个合适的常数有以下这个很基本的条件:

假设:

变形后就是更常见的形式:

条件的作用便是控制的构造,限制余项的增长.当然这个条件一般也只要求对足够大的素数都成立即可.

在Legendre对的估计式中,还有以下两个很强的条件:

假设:

以及在,并且的情况下,假设:

容易知道的是,是比更强的条件.并且条件(R)实际上也是对余项进行了控制.

在满足和的情况下:

从而可以得到的是:

而这个估计式在最后一节中就会用到,这也就是为什么Erathosthenes筛法基本无效的原因了.

定义一些常用的结构式

本节的最后一块内容,也是一个铺垫性的工作,那就是对后续将会频繁出现的式子,我们索性给它们一个固定的符号,其实也是为了后面表述的简单而不得不做的事了(数学符号定义属性大爆发第二集):

定义:

同样的在时,定义:

很明显,以及将会和等条件息息相关.因此也会频频出现,因此也还有一些关于的式子常常出现.

定义:

定义:

容易知道,在时,.因此更特殊地有:.

最后还有一个关于素数的重要乘积式:

定义:

Sieve of Erathosthenes-Legendre

接下来也是Halberstam第一章的最后一节内容了!!!(当然,得去掉NOTES部分)

在这一节中,最重要的就是定理1了,后面就是对定理1的一个最简单直接的应用:Legendre对的一个上界估计.

假设.利用Mobius函数,我们能对Sifting function有以下的操作:

再利用是一个积性函数,并且有:

因此结合上面两个式子便可以得到:

定理1.1:

如果还满足条件和的话,利用即有:

其中.

因此从上面便可以看到,只有在很小的情况下,余项才能被控制在可接受的范围内.

实际上,当时,我们已经不能得到有效的结果了.

接下来我们来看定理1.1的应用,即Legendre对的上界估计:

取,以及Sifting set为,于是:

与此同时,容易得知:,因此有:

最后取便可以得到:

从而得到了Legendre的结果.

总结

至此,Halberstam的第一章内容顺利结束!起飞!!!

只能说本次工程巨大,代码达到了700行,用时也特别特别久(虽然中间休整了一周).😥

但是接下来的任务也还不少.比如说Halberstam的第二章也该开始了;以及接下来要看孪生素数猜想方面的三篇重要论文;以及期末考试.😫😫😫

接下来应该也要多线作战了.GPY这篇论文的翻译应该可以提上日程了,毕竟也看了差不多1/4了.以及Halberstam的书确实写得好,想继续学习.其中初等数论可能确实得加以训练才行了.

总之,冲就完了!!!

参考资料

[1] Halberstam, Richert. Sieve Methods[M]. Dover Publications, 2011. P1-P11.

[2] 潘承洞, 潘承彪. 哥德巴赫猜想, 第二版[M]. 科学出版社, 2011. P15-P23.

[3] 柯召, 孙琦. 数论讲义, 上册, 第二版[M]. 高等教育出版社, 2001.

[4] 潘承洞, 潘承彪. 初等数论, 第三版[M]. 北京大学出版社, 2013.

[5] [英]Hardy, [英]Wright. 哈代代数[M]. 张明尧, 张凡. 人民邮电出版社, 2021.