筛法

筛法（Sieve Theory）是数论中的一类基本方法，其研究对象是筛函数，也就是某个被“筛选”过的有限整数子集的元素个数510,148-149。
埃拉托斯特尼筛法是一种古典筛法，但由于没有理论价值，在很长时期内都没有发展10；20世纪以来，筛法得到了改进。常见的筛法有布朗筛法、塞尔伯格筛法、图兰筛法和大筛法等等。另外作为现代筛法始祖的勒让德筛法是埃拉托斯特尼筛法的简单推广，且是理解筛法的基础，但很少有实际应用。
直接对质数集合进行研究的效果不佳，因此研究者常常会改成估计与特定目标集合（如质数的集合）类似但较简单的集合（如殆质数的集合）的元素个数，而通常这样的集合其大小会稍微大于目标集合，但也较好分析。更加细致的筛法也不直接研究集合本身，而是透过精心挑选的、对各集合的权重（也就是给部分集合较高的权重等作法）来计算集合元素个数；此外，在部分当代的研究中，研究者以筛法构造一个在集合中很大、但在集合外很小、且比集合本身的特征函数还容易分析的函数，而非直接估计「被筛选」集合的元素个数。

**基本筛法**
首先我们从非负数的有限序列开始。在最基本的状况中，这序列就只是我们要筛选的集合的指示函数；然而，这样的抽象化可套用在更一般的情境中。
接着我们引入一个称为「筛选范围」（sifting range）的质数集合，及这「筛选范围」中不大于的质数的乘积，此处可视为一个对的函数。
筛法的目标是估计「筛函数」（sifting function）的值，而「筛函数」表记如下：

在的状况下，这就单纯是计算整数子集中与的质因数互质的元素个数。

**相关表记**
下为此文表记的注意事项：
在文献中，人们常将序列集合与本身等同，也就是说，可以将表示成以定义序列；
此外，在文献中这和有时以集合的元素个数表示；然而此处我们因为已经将定义为元素个数之故，因此此处我们以 表示质数的集合，并以表示与的最大公因数。

**勒让德等式**
我们可透过默比乌斯函数及一组由中的元素生成的函数，将筛选函数表述为一个称为「勒让德等式」（Legendre's identity）的函数：

其中的形式如下：


**范例**
设及，由于默比乌斯函数对所有的质数都呈负值之故，因此有下式：


**同余和估计**
我们可以假定说可以下式表达：

其中是一个「密度」（density），也就是有如下形式的积性函数：

此外，此处的是的估计，而则是余项，因此筛函数可变为以下的形式：

或简单地说，

我们可透过找出、及的上下界来估计筛函数。
筛函数的部分和会交替性地大于跟小于集合大小本身，而其余项最终会变得非常大。玮哥·布朗解决这问题的方法，是将筛函数中的以一个包含受限默比乌斯函数的权重序列取代。透过选取两个适当的序列及并将筛函数以及表示，可得到原始筛函数的下界与上界：

另由于是积性函数之故，因此也可研究下式：


**筛法种类**
当代的筛法包括了布朗筛法、塞尔伯格筛法、图兰筛法、大筛法、更大筛法以及GPY筛法等；而筛法的一个原始目的，就是尝试证明孪生质数猜想等数论的问题。尽管筛法原始的目标依旧未达成，透过筛法学界依旧达成了部分目标，尤其在将此筛法与其他数论工具混合时更是如此。一些筛法取得的重要成果如下：
# 布朗定理，这定理指出所有的孪生质数的倒数之和收敛（但所有质数的倒数之和发散）
# 陈氏定理, 这定理指出，存在无限多的质数，使得要不就是质数，要不就是殆质数；而一个紧密相关的定理指出，任何一个充分大的偶数都可以表示成两个质数的和或者一个质数及一个半质数（2次殆质数）的和。这两个定理可分别视为与孪生质数猜想和哥德巴赫猜想最接近的定理。
# 筛法基本引理，这引理指出如果要对一个有N个元素的整数集合进行筛选，那在（像是1/10之类的分数常用于此情况）足够小的状况下，经过个步骤后就能得到精确的估计；然而，尽管这引理在筛出质数方面太弱（一般而言，这需要大约个步骤），但依旧足以证明殆质数方面的结果。
# Friedlander–Iwaniec theorem，这定理指出有无限多的质数可表成的形式。
# 张益唐定理，2014这定理指出有无限多对的质数，其彼此的间隔是有限的；而梅那–陶定理（Maynard–Tao theorem）2015将之推广为存在任意长度的质数序列。

**筛法技巧**
筛法是一个相当强力的技巧，但这技巧受限于奇偶性问题（parity problem）；而粗略地说，奇偶性问题指的是筛法在辨别有奇数个质因数的数及有偶数个质因数的数方面极为困难。截至目前为止，学界对奇偶性问题尚未有充分的了解。
跟其他数论方法相比，筛法是一个相对「初等」的技巧，而之所以会说筛法「初等」，是因为筛法不需要用到诸如解析数论或代数数论等其他更为进阶的理论的观念；然而，更加进阶的筛法也可变得非常复杂且细致，尤其在与其他数论技巧混合时更是如此；此外，目前也有专门介绍筛法的教科书，其中一个经典著作是1974；而一个更为现代的著作则是2010。
另外，本文中介绍的筛法与二次筛选法和普通数域筛选法等等作为整数质因数分解方法的筛选法并不密切相关，而这些质因数分解方法大多是利用埃拉托斯特尼筛法来有效率地决定一个数是否可以完全分解成小质数的演算法。

**参考文献**

**扩展阅读**
  author-link= - citation | last1= Cojocaru | first1 = Alina Carmen|author1-link= Alina Carmen Cojocaru | last2= Murty | first2= M. Ram | author-link2 = M. Ram Murty | title= An introduction to sieve methods and their applications | publisher= Cambridge University Press | year= 2006 | isbn= 0-521-84816-4 | series= London Mathematical Society Student Texts | volume= 66 | mr= 2200366 
*citation | last=Motohashi | first=Yoichi |title=Lectures on Sieve Methods and Prime Number Theory | series=Tata Institute of Fundamental Research Lectures on Mathematics and Physics | volume=72 | publisher=Springer-Verlag | date=1983 | isbn=3-540-12281-8 | location=Berlin | mr=0735437- citation | last=Greaves | first=George | title=Sieves in number theory | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (3) | volume=43 | publisher=Springer-Verlag | year=2001 | isbn=3-540-41647-1 | location=Berlin | mr=1836967 | doi=10.1007/978-3-662-04658-6-  location=Princeton, NJ- cite book | first1=Heini | last1=Halberstam | author-link1=Heini Halberstam | first2=Hans-Egon | last2=Richert | author-link2=Hans-Egon Richert | title=Sieve Methods | publisher=Academic Press | date=1974 | isbn=0-12-318250-6 | location=London-New York | mr=0424730 | series=London Mathematical Society Monographs | volume=4 - citation | last1=Iwaniec | first1=Henryk | author-link1=Henryk Iwaniec | last2=Friedlander |first2= John | author-link2=John Friedlander | title=Opera de cribro | publisher=American Mathematical Society | date=2010 | isbn=978-0-8218-4970-5 | mr=2647984 | location=Providence, RI | series=American Mathematical Society Colloquium Publications | volume=57- citation | last=Hooley | first=Christopher | author-link=Christopher Hooley | title=Applications of sieve methods to the theory of numbers | publisher=Cambridge University Press | date=1976 | isbn=0-521-20915-3 | series=Cambridge Tracts in Mathematics | volume=70 | location=Cambridge-New York-Melbourne | mr=0404173- cite journal | title=Small gaps between primes | url=https://archive.org/details/sim_annals-of-mathematics_2015-01_181_1/page/383 | last=Maynard | first=James | author-link=James Maynard (mathematician) | year=2015 | journal=Annals of Mathematics | volume=181 | issue=1 | pages=383–413 | mr=3272929 | doi=10.4007/annals.2015.181.1.7 | arxiv=1311.4600 - citation | title=Introduction to Analytic and Probabilistic Number Theory | first=Gérald | last=Tenenbaum | series=Cambridge studies in advanced mathematics | volume=46 | publisher=Cambridge University Press | year=1995 | isbn=0-521-41261-7 | pages=56–79 | mr=1342300 | others=Translated from the second French edition (1995) by C. B. Thomas - cite journal | title = Bounded gaps between primes | url = https://archive.org/details/sim_annals-of-mathematics_2014-05_179_3/page/1121 | first = Yitang | last = Zhang | author-link=Yitang Zhang | journal = Annals of Mathematics | year=2014 | volume=179 | issue=3 | pages=1121–1174 | doi=10.4007/annals.2014.179.3.7  
doi-access=free