Fundamental lemma of sieve theory

In number theory, the fundamental lemma of sieve theory is any of several results that systematize the process of applying sieve methods to particular problems. Halberstam & Richert [1]^:92–93 write:

A curious feature of sieve literature is that while there is frequent use of Brun's method there are only a few attempts to formulate a general Brun theorem (such as Theorem 2.1); as a result there are surprisingly many papers which repeat in considerable detail the steps of Brun's argument.

Diamond & Halberstam[2]^:42 attribute the terminology Fundamental Lemma to Jonas Kubilius.

Common notation

We use these notations:

A is a set of X positive integers, and A_d is its subset of integers divisible by d
w(d) and R_d are functions of A and of d that estimate the number of elements of A that are divisible by d, according to the formula

\left\vert A_{d}\right\vert ={\frac {w(d)}{d}}X+R_{d}.

Thus w(d) / d represents an approximate density of members divisible by d, and R_d represents an error or remainder term.

P is a set of primes, and P(z) is the product of those primes ≤ z
S(A, P, z) is the number of elements of A not divisible by any prime in P that is ≤ z
κ is a constant, called the sifting density,[3]^:28 that appears in the assumptions below. It is a weighted average of the number of residue classes sieved out by each prime.

Fundamental lemma of the combinatorial sieve

This formulation is from Tenenbaum.[4]^:60 Other formulations are in Halberstam & Richert,[1]^:82 in Greaves,[3]^:92 and in Friedlander & Iwaniec.[5]^:732–733 We make the assumptions:

w(d) is a multiplicative function.
The sifting density κ satisfies, for some constant C and any real numbers η and ξ with 2 ≤ η ≤ ξ:

\prod _{\eta \leq p\leq \xi }\left(1-{\frac {w(p)}{p}}\right)^{-1}<\left({\frac {\ln \xi }{\ln \eta }}\right)^{\kappa }\left(1+{\frac {C}{\ln \eta }}\right).

There is a parameter u ≥ 1 that is at our disposal. We have uniformly in A, X, z, and u that

S(a,P,z)=X\prod _{p\leq z,p\in P}\left(1-{\frac {w(p)}{p}}\right)\{1+O(u^{-u/2})\}+O\left(\sum _{d\leq z^{u},d|P(z)}|R_{d}|\right).

In applications we pick u to get the best error term. In the sieve it represents the number of levels of the inclusion–exclusion principle.

Fundamental lemma of the Selberg sieve

This formulation is from Halberstam & Richert.[1]^:208–209 Another formulation is in Diamond & Halberstam.[2]^:29

We make the assumptions:

w(d) is a multiplicative function.
The sifting density κ satisfies, for some constant C and any real numbers η and ξ with 2 ≤ η ≤ ξ:

\sum _{\eta \leq p\leq \xi }{\frac {w(p)\ln p}{p}}<\kappa \ln {\frac {\xi }{\eta }}+C.

w(p) / p < 1 - c for some small fixed c and all p
| R_d | ≤ ω(d) where ω(d) is the number of distinct prime divisors of d.

The fundamental lemma has almost the same form as for the combinatorial sieve. Write u = ln X / ln z. The conclusion is:

S(a,P,z)=X\prod _{p\leq z,\ p\in P}\left(1-{\frac {w(p)}{p}}\right)\{1+O(e^{-u/2})\}.

Note that u is no longer an independent parameter at our disposal, but is controlled by the choice of z.

Note that the error term here is weaker than for the fundamental lemma of the combinatorial sieve. Halberstam & Richert remark:[1]^:221 "Thus it is not true to say, as has been asserted from time to time in the literature, that Selberg's sieve is always better than Brun's."

Notes

Halberstam, Heini; Richert, Hans-Egon (1974). Sieve Methods. London Mathematical Society Monographs. 4. London: Academic Press. ISBN 0-12-318250-6. MR 0424730.
Diamond, Harold G.; Halberstam, Heini (2008). A Higher-Dimensional Sieve Method: with Procedures for Computing Sieve Functions. Cambridge Tracts in Mathematics. 177. With William F. Galway. Cambridge: Cambridge University Press. ISBN 978-0-521-89487-6.
Greaves, George (2001). Sieves in Number Theory. Berlin: Springer. ISBN 3-540-41647-1.
Tenenbaum, Gérald (1995). Introduction to Analytic and Probabilistic Number Theory. Cambridge: Cambridge University Press. ISBN 0-521-41261-7.
Friedlander, John; Henryk Iwaniec (1978). "On Bombieri's asymptotic sieve". Annali della Scuola Normale Superiore di Pisa; Classe di Scienze 4^e série. 5 (4): 719–756. Retrieved 2009-02-14.

gollark: I assume it's basically a bytestring internally with some invariants and nicer interfaces.

gollark: ByteStrings are for bytes. The various "char array" types are uncool.

gollark: No, you really just want Text.

gollark: Like Vec vs &[u8].

gollark: A String is a string you own.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[HR-1] Halberstam, Heini; Richert, Hans-Egon (1974). Sieve Methods. London Mathematical Society Monographs. 4. London: Academic Press. ISBN 0-12-318250-6. MR 0424730.

[DH-2] Diamond, Harold G.; Halberstam, Heini (2008). A Higher-Dimensional Sieve Method: with Procedures for Computing Sieve Functions. Cambridge Tracts in Mathematics. 177. With William F. Galway. Cambridge: Cambridge University Press. ISBN 978-0-521-89487-6.

[Greaves-3] Greaves, George (2001). Sieves in Number Theory. Berlin: Springer. ISBN 3-540-41647-1.

[Tenenbaum-4] Tenenbaum, Gérald (1995). Introduction to Analytic and Probabilistic Number Theory. Cambridge: Cambridge University Press. ISBN 0-521-41261-7.

[5] Friedlander, John; Henryk Iwaniec (1978). "On Bombieri's asymptotic sieve". Annali della Scuola Normale Superiore di Pisa; Classe di Scienze 4^e série. 5 (4): 719–756. Retrieved 2009-02-14.