In number theory, the Selberg sieve is a technique for estimating the size of "sifted sets" of positive integers which satisfy a set of conditions which are expressed by congruences. It was developed by Atle Selberg in the 1940s.
In terms of sieve theory the Selberg sieve is of combinatorial type: that is, derives from a careful use of the inclusion–exclusion principle. Selberg replaced the values of the Möbius function which arise in this by a system of weights which are then optimised to fit the given problem. The result gives an upper bound for the size of the sifted set.
Let
A
\lex
P
Ad
A
d
d
P
A1
A
z
P(z)
P
\lez
S(A,P,z)=\left\vertA\setminuscuppAp\right\vert.
We assume that |Ad| may be estimated by
\left\vertAd\right\vert=
1 | |
f(d) |
X+Rd.
where f is a multiplicative function and X = |A|. Let the function g be obtained from f by Möbius inversion, that is
g(n)=\sumd\mu(d)f(n/d)
f(n)=\sumdg(d)
where μ is the Möbius function. Put
V(z)=\sum\begin{smallmatrixd<z\ d\midP(z)\end{smallmatrix}}
1 | |
g(d) |
.
Then
S(A,P,z)\le
X | |
V(z) |
+O\left({\sum\begin{smallmatrixd1,d2<z\ d1,d2\midP(z)\end{smallmatrix}}\left\vert
R | |
[d1,d2] |
\right\vert}\right)
where
[d1,d2]
d1
d2
V(z)
V(z)\ge\sumd
1 | |
f(d) |
.
. Christopher Hooley . Applications of sieve methods to the theory of numbers . Cambridge University Press . 1976 . 0-521-20915-3. 7–12 . 0327.10044 . Cambridge Tracts in Mathematics . 70 .