大筛法

维基百科,自由的百科全书

大筛法(large sieve)是解析数论上的一类方法。跟塞尔伯格筛法等只移除数个同余类的小筛法不同的是,大筛法是一类可移除掉多达半数同余类的筛法。这类筛法的概念为可移除任意多同余类的更大筛法所推广。[1]

名字[编辑]

这筛法的名字源自其原始应用:给定一个集合,且规定其元素不能同时是对任意质数取模的集合的元素,那么可以有多大?在此,被假定是一个很大,大到大约与乘一个常数的集合;若不是此种情况,那就将相关的筛法给称为“小筛法”。

历史[编辑]

大筛法的历史可追溯至1941年尤里·林尼克英语Yuri Linnik最小二次非剩余的研究及伦伊·阿尔弗雷德英语Alfréd Rényi以几率论方法对此进行的后续研究;然而直到大约二十年后,由于许多其他学者的贡献,大筛法的形式才变得更加确定。大筛法的确定形式,是在1960年代早期,由克劳斯·罗特恩里科·邦别里各自独立发展出来的;而也是在这时,大筛法及二元性原理之间的连结逐渐变得明朗。在1960年代中期,大筛法的其中一个主要应用,是借由估计狄利克雷特征的平均值来证明邦别里—威诺葛拉多夫定理;而之后在1960年代晚期及1970年代早期,派翠克·X·加拉葛英语Patrick X. Gallagher简化了这证明的许多元素跟估计。[2]

发展[编辑]

目前对大筛法的发展已相对充分,因此大筛法也适用于许多本来使用小筛法的情形上。

一个跟大筛法有关的问题,未必是这问题是否关乎上述的情境,而是这问题的证明是否用到了下述两种传统上用以得到大筛法结果的方法的任何一种:

普兰哲瑞不等式(Plancherel inequality)的估计[编辑]

假若集合对质数取模的结果有不良分布(也就是说,不包含在同余类当中),那么对质数取模后的集合的特征方程的傅立叶系数平均而言会很大。这些系数可提至对的特征方程的傅立叶变换的取值(也就是

借由有界微分,可知平均来说,对所有靠近有理数的数[3]而言,必然会很大。这里所谓的“很大”指的是“有一个相对较大的常数乘上”。

由于之故,因此除非很小,不然我们可得到一个与普兰哲瑞不等式(Plancherel inequality)相矛盾的结果:

在实务上,为了得到最佳化的上下界,人们常将普兰哲瑞不等式(Plancherel inequality)给改成一个等式,而非上述的有界形式。

二元性原理(Duality principle)[编辑]

人们也可透过以下泛函分析的基本事实证明大筛法的强结果:

对一个线性算子而言,其范数会与其伴随的范数相等。像例如(此处A是一个将线性空间映至线性空间的算子)会等于

而在一些数学文献中,这原理本身就被称为“大筛法”。

此外也可使用塞尔伯格式的强级数,来得到大筛法。详情可见塞尔伯格《合集》第二卷(Collected Works vol II)中的“筛法讲义”(Lectures on sieves)一节。

参见[编辑]

注解[编辑]

  1. ^ Gallagher, Patrick. A larger sieve. Acta Arithmetica. 1971, 18: 77–81. 
  2. ^ Tenenbaum, Gérald. Introduction to Analytic and Probabilistic Number Theory. Graduate Studies in Mathematics 163. American Mathematical Society. 2015: 102–104. ISBN 9780821898543. 
  3. ^ x