arxiv: v1 [math.nt] 27 May 2013

Transcription

1 arxiv: v1 [math.t] 27 May 2013 Polignac umbers, Conjectures of Erdős on Gaps between Primes, Arithmetic Progressions in Primes, and the Bounded Gap Conjecture by János PITZ Rényi Mathematical Institute of the Hungarian Academy of Sciences Budapest, Reáltanoda u H-1053 Hungary Abstract In the present work we prove a number of surprising results about gaps between consecutive primes and arithmetic progressions in the sequence of generalized twin primes which could not have been proven without the recent fantastic achievement of Yitang Zhang about the existence of bounded gaps between consecutive primes. Most of these results would have belonged to the category of science fiction a decade ago. However, the presented results are far from being immediate consequences of Zhang s famous theorem: they require various new ideas, other important properties of the applied sieve function and a closer analysis of the methods of Goldston Pintz Yıldırım, Green Tao, and Zhang, respectively. 1 Introduction 1.1. Very recently Yitang Zhang, in a fantastic breakthrough solved the Bounded Gap Conjecture, a term formulated in recent works of mine, often in collaboration with D. Goldston and C. Yıldırım. Let p n denote the n th prime, P the set of all primes and the n th difference between consecutive primes. Theorem A (Y. Zhang [28, 2013]). lim inf d n d n = p n+1 p n (1.1) Earlier, in a joint work with D. Goldston and C. Yıldırım we showed [11, 2009] this under the deep unproved condition that primes have a distribution level greater than 1/2, in other words, under the assumption that the exponent 1/2 in the Bombieri Vinogradov Theorem can be improved. Theorem B ([11, 2009]). If the primes have a distribution level ϑ > 1/2, then with a suitable explicit constant C(ϑ) we have lim inf d n C(ϑ). (1.2) If the Elliott Halberstam Conjecture (EH) is true, i.e. ϑ = 1 or, at least, ϑ > then 0 Supported by OTKA grants K , K and ERC-AdG lim inf d n 16. (1.3) 1

2 We say that ϑ is a level of distribution of primes if max logp X a ϕ(q) A,ε q X ϑ ε (a,q)=1 p a(mod q) p X X (log X) (1.4) for any A,ε > 0. The Bombieri VinogradovTheorem asserts that ϑ = 1/2 is a level of distribution and the Elliott Halberstam Conjecture [4, 1970] asserts that ϑ = 1 is also an admissible level. Zhang could not prove (1.4) with a level > 1/2 but showed that (i) it is possible to neglect in (1.4) all moduli q with a prime divisor > X b, where b is any constant, and (ii) managed to show for these smooth moduli a result which is similar but weaker than the analogue of (1.4) with ϑ = 1/2+1/584, which, however suits to apply our method of Theorem B. I have to remark that the present author mentioned the phenomenon (i) in his lecture at the conference of the American Institute of Mathematics in ovember 2005, Palo Alto, and worked it out in a joint paper with Y. Motohashi [18, 2008], however, without being able to show (ii). The present author worked out recently various consequences of a hypothetical distribution level ϑ > 1/2 ([19, 2010] and [22, 2013]) which partly appeared with proofs [19, 2010], partly exist at a level of announcements [22, 2013]. The purpose of the present work is to show that most of these conditional results can be shown unconditionally using Zhang s fantastic result [28, 2013] or in some sense, his method, coupled with other ideas. 2 History of the problems. Formulation of the results 2.1 Approximations to the Twin Prime Conjecture The problem of finding small gaps between primes originates from the Twin Prime Conjecture. lim inf d n = 2. Since by the Prime umber Theorem the average gap size is log n, Hardy and Littlewood considered first already in 1926 in an unpublished manuscript (see, however [24, 1940]) the upper estimation of 1 = liminf d n logn and showed 1 2/3 under the assumption of the Generalized Riemann Hypothesis (GRH). Erdős [5, 1940] was the first to show unconditionally (2.1) 1 < 1 c 0, c 0 > 0 (2.2) with an unspecified but explicitly calculable positive constant c 0. The full history with about improvements concerning the value of 1 is contained in [11, 2009], so we list here just the most important steps: 1 < (Bombieri, Davenport [1, 1966]), (2.3) 1 < (H. Maier [17, 1988]). (2.4) This was the best result until 2005 when we showed in a joint work with D. Goldston and C. Yıldırım what we called the Small Gap Conjecture: Theorem C ([11, 2009]). 1 = 0. Soon after it we improved this to 2

3 Theorem D ([12, 2010]). We have lim inf d n <. (2.5) (logn) 1/2 (loglogn) 2 FinallyafewyearsagoIimprovedtheexponentto3/7andannouncedtheresultattheJournées Arithmétiques, Vilnius, 2011, and Turán Memorial Conference, Budapest, Theorem E ([21, 2013]). lim inf d n <. (2.6) (logn) 3/7 (loglogn) 4/7 In a joint work with B. Farkas and Sz. Gy. Révész [9, 2013] we also showed that essential new ideas are necessary to improve (2.6). 2.2 Polignac numbers The Twin Prime Conjecture appeared already in a more general form in 1849 in a work of de Polignac. First we give two definitions. Definition 1. A positive even number 2k is a strong Polignac number, or briefly a Polignac number if d n = 2k for infinitely many values of n. Definition 2. A positive even number 2k is a weak Polignac number if it can be written as the difference of two primes in an infinitude of ways. The set of (strong) Polignac numbers will be denoted by D s, the set of weak Polignac numbers by D w. (We have trivially D s D w.) Polignac s Conjecture ([23, 1849]). Every positive even integer is a (strong) Polignac number. Since the smallest weak Polignac number has to be a strong Polignac number, an easy consideration gives that using A (or sometimes #A) to denote the number of elements of a set A, the following proposition is true. Proposition. The following three statements are equivalent: (i) the Bounded Gap Conjecture is true; (ii) there is at least one (strong) Polignac number, i.e. D s 1; (iii) there is at least one weak Polignac number, i.e. D w 1. The above very simple proposition shows that the Bounded Gap Conjecture itself leaves still many problems open about Polignac numbers or weak Polignac numbers, but solves the crucial problem that their set is nonempty. We will prove several unconditional results about the density and distribution of (strong) Polignac numbers. Theorem 1. There exists an explicitly calculable constant c such that for > 0 we have at least c Polignac numbers below, i.e. Polignac numbers have a positive lower asymptotic density. Theorem 2. There exists an ineffective constant C such that every interval of type [M,M +C ] contains at least one Polignac number. Remark. As mentioned earlier, the term Polignac number means always strong Polignac numbers. 3

4 2.3 The normalized value distribution of d n The Prime umber Theorem implies lim 1 dn = 1, (2.7) logn so it is natural to investigate the series d n /logn. Denoting by J the set of limit points of d n /logn, Erdős [7, 1955] conjectured { } dn J = = [0, ]. (2.8) logn While Westzynthius [27, 1931] proved more than 80 years ago that J, no finite limit point was known until 2005 when we showed the Small Gap Conjecture, i.e. Theorem C [11, 2009], which is equivalent to 0 J. Interestingly enough Erdős [7, 1955] and Ricci [25, 1954] proved independently about 60 years agothatj hasapositivelebesguemeasure. WhatIcanshowisaweakerformofErdős sconjecture (2.8). Theorem 3. There is an ineffective constant c > 0 such that [0,c] J. (2.9) Kálmán Győry asked me at the Turán Memorial Conference in Budapest, 2011 whether it is possible to find a form of the above result which gives answers about the more subtle valuedistribution of d n if we use a test-function f(n) logn, f(n) as n. Definition 3. Let F denote the class of functions f : Z + R + with a slow oscillation, when for every ε > 0 we have an (ε) > 0 such that (1 ε)f() f(n) (1+ε)f() for n 2, > (ε). (2.10) Theorem 4. For every function f F, f(n) logn, lim constant c f > 0 such that [0,c f ] J f := 2.4 Comparison of two consecutive values of d n f(n) = we have an ineffective { } dn. (2.11) f(n) Erdős and Turán proved 65 years ago [8, 1948] that d n+1 d n changes sign infinitely often. This was soon improved by Erdős [6, 1948] to lim inf d n+1 d n+1 < 1 < limsup. (2.12) d n d n Erdős [7, 1955] wrote seven years later: One would of course conjecture that lim inf but these conjectures seem very difficult to prove. In Section 6 I will show this in a much stronger form: Theorem 5. We have and d n+1 d n+1 = 0, limsup =, (2.13) d n d n lim inf lim sup d n+1 /d n < (2.14) (logn) 1 d n+1 /d n logn > 0. (2.15) 4

5 2.5 Arithmetic progressions in the sequence of generalized twin primes Based on the method of I. M. Vinogradov [26, 1937] van der Corput [2, 1939] showed the existence of infinitely many 3-term arithmetic progressions in the sequence of primes. The problem of the existence of infinitely many k-term arithmetic progressions was open for all k 4 until 2004, when B. Green and T. Tao [14, 2008] found their wonderful result that primes contain k-term arithmetic progressions for every k. I found recently [19, 2010] a common generalization of Green Tao s result and our Theorem B [12, 2010] under the deep assumption that there is a level ϑ > 1/2 of the distribution of primes. Combining Zhang s method with that of [19, 2010] I can prove now the following Theorem 6. There is a d such that there are arbitrarily long arithmetic progressions of primes with the property that p = p+d is the prime following p for each element of the progression. 3 Preparation for the proofs All the proofs use some modified form of the conjecture of Dickson [3, 1904] about k-tuples of primes. (Hisoriginalconjecturereferredforlinearformswith integercoefficients.) LetH = {h i } k i=1 be a k-tuple of different non-negative integers. We call H admissible, if P H (n) = k (n h i ) (3.1) i=1 has no fixed prime divisor, that is, if the number ν p (H) of residue classes covered by H mod p satisfies ν p (H) < p for p P. (3.2) This is equivalent to the fact that the singular series S(H) = p ( 1 ν )( p(h) 1 1 k > 0. (3.3) p p) Dickson conjectured that if H is admissible, then all n + h i will be primes simultaneously for infinitely many values of n. Hardy and Littlewood [16, 1923], probably unaware of Dickson s conjecture, formulated a quantitative version of it, according to which π H (x) = n x n+h i P(1 i k) 1 = ( S(H)+o(1) ) x log k x. (3.4) In the work [11, 2009] we attacked (but missed by a hair s breadth) the following weaker form of Dickson s conjecture which I called Conjecture DHL (k,2). If H is an admissible k-tuple, then n+h contains at least two primes for infinitely many values of n. It is clear that if DHL(k,2) is proved for any k (or even for any single k-tuple H k ), then the Bounded Gap Conjecture is true. DHL(k,2) was shown very recently by Y. T. Zhang [28, 2013] for k k 0 = and this implied his Theorem A, the infinitude of gaps of size However, results of this type cannot exclude the existence of other primes and therefore give information on numbers expressible as difference of two primes, in the optimal case of Zhang s very strong Theorem A prove the existence of many weak Polignac numbers. However, they do not 5

6 provide more information about (strong) Polignac numbers than the very deep fact that D s and they do not help in showing any of Theorems 1 6. For example, in case of Theorem 6 they do not yield, let say, 4-term arithmetic progressions of primes and a bounded number d such that p+d should also be prime for all four elements of the progression (even if we do not require that p and p+d should be consecutive primes). By a combination of the ideas of D. Goldston, C. Yıldırım, Y. Zhang and mine, I am able to show a much stronger form of Conjecture DHL(k,2) which may be applied towards the proof of Theorems 1 6. In case of Theorem 6 the ground-breaking ideas of Green and Tao [14, 2008] have to be used too, of course. In view of Zhang s recent result the stronger form of Conjecture DHL(k, 2) will obtain already the name Theorem DHL (k,2) for large enough k and can be formulated as follows, first still as a conjecture for k < Let P (m) denote the smallest prime factor of m. Conjecture DHL* (k,2). Let k 2 and H = {h i } k i=1 be any admissible k-tuple, Z+, ε > 0 sufficiently small (ε < ε 0 ) H [0,H], H εlog, P H (n) = k (n+h i ). (3.5) We have then positive constants c 1 (k) and c 2 (k) such that the number of integers n [,2) such that n +H contains at least two consecutive primes and almost primes in each components (i.e. P (P H (n)) > n c1(k) ) is at least i=1 c 2 (k)s(h) log k for > 0(H). (3.6) One can see that we have a looser condition than in DHL(k,2) as far as the elements of H are allowed to tend to infinity as fast as εlog. On the other hand we get stronger consequences as (i) we can prescribe that the two primes n+h i and n+h j in our k-tuple should be consecutive; (ii) we have almost primes in each component n+h i ; (iii) we get the lower estimate (3.6) for the number of the required n s with the above property. The condition n [,2) makes usually no problem but in case of the existence of Siegel zeros some extra care is needed if we would like to have effective results (see Section 8 for this). After this it is easy to formulate (but not to prove) our MAI THEOREM. Conjecture DHL (k,2) is true for k Proof. Since this result contains Zhang s Theorem and even more, it is easy to guess that a self contained proof would be hopelessly long (and difficult). We therefore try to describe only the changes compared to different earlier works. The first pillar of Zhang s work is the method of proof of our Theorem B. Although he supposes H as a constant the method of proof of Theorem B (see Propositions 1 and 2 in [11, 2009]) allow beyond H log (required by (3.5) above) the much looser condition H 1/4 ε for any ε > 0. The second pillar of Zhang s work is to show that distribution of primes according to non-smooth moduli, i.e. without any prime divisor > b for any fixed small constant b, can be neglected. As mentioned in the Introduction we showed this already much earlier in a joint work with Y. Motohashi [18, 2008]. This work also supposed H to be a constant but the only place where actually more care is needed in the proof is (3.11) of [18, 2008]. On the other hand, allowing here the condition H log, (3.7) 6

7 the same simple argument as in Section 6 of [11, 2009] adds an additional error term k 2 logloglogr logloglogr (3.8) to the right-hand side of (3.11) of [18, 2008] which is far less than the present error term logr 0 = logr/(loglogr) 5. Otherwise the proof works without any change, everything remains uniform under our condition (3.7) above. Remark. The crucial Lemmas 3 and 4 of our work [18, 2008] contain an additional factor γ(n,h). However, by the definition (4.17) of [18, 2008] we have γ(n,h) = 1 if P ( P H (n) ) > R η for any fixed η > 0. In such a way the extra factor γ(n,h) does not affect the validity of our Lemma 2 below since the asymptotic provided by Lemma 3 for the right-hand side of (3.11) (and similarly the analogue of it for primes, Lemma 4) is the same as if we used the constant weight 1 instead of γ(n,h). o change is required in the third pillar of Zhang s work where he proves some sort of extension of the Bombieri Vinogradov theorem for smooth moduli and the residue classes appearing by the method of Theorem B. However, the proof of Theorem DHL (k,2) (for k large enough, k ) requires a further important idea, namely Lemmas 3 4 of the author s work [19, 2010]. This we formulate now as Lemma 1. Let c0 < R /p(log) C, p P, p < R C0 with a sufficiently small positive c 0 and sufficiently large C. Then we have with the notation the relation Λ R (n;h,k +l) = n [,2) p P H(n) Lemma 1 immediately implies 1 (k +l)! d R,d P H(n) Λ R (n;h,k +l) 2 k logp plogr ( µ(d) log R ) k+l (l k) (3.9) d n [,2) Λ R (n;h,k +l) 2. (3.10) Lemma 2. Let c0 < R 1/(2+η) (log) C, η > 0. We have then Λ R (n;h,k +l) 2 k η Λ R (n;h,k +l) 2. (3.11) n [,2) P (P H(n))<R η n [,2) Remark. Lemmas 1 and 2 were already proved in [19, 2010] under the loose condition H log. Lemma 2 asserts that numbers n where P H (n) has a prime factor < R η (equivalently < b ) with a small enough value of η (or b) might be neglected, since the weight used in all proofs is actually of type (3.9). The value of η (or b) depends on k. These results play a crucial role in the common generalization of the Green Tao theorem and of our Theorem B (cf. [19, 2010]) and also in the proof that prime gaps < εlogp form a positive proportion of all gaps for any ε > 0 (proved in a joint work with Goldston and Yıldırım). These four pillars lead finally to the stronger form of Theorem DHL (k,2) if we combine it with a standard assertion following from Selberg s sieve, which we can formulate in this special case as Lemma 3. Let 0 < α < 1/2 be any constant. Then n [,2) P (P H(n))> α α k 1 k log k S(H). (3.12) 7

8 Proof. This is Theorem 5.1 of [15, 1974] or Theorem 2 in of [13, 2001]. This is also valid if we assume only H log. We further need a generalization of Gallagher s theorem proved by the author which we formulate as Lemma 4. Let H k be an arbitrary admissible k-tuple with Then we have for any η > 0 H = H k [0,H]. (3.13) if S H (H) := 1 H H h=1 S(H h) S(H) = 1+O(η) (3.14) H exp(k 1/η ). (3.15) Proof. This is Theorem 1 of [20, 2010]. Remark. As it is easy to see Lemma 4 implies Gallagher s classical theorem [10, 1976] on the singular series. Combining the proofs of Theorems A and B (in the modified forms mentioned above) with the assertion of Lemma 2 we obtain under the weaker condition (3.6), i.e. for all admissible k-tuples H k = {h i } k i=1, h i < h i+1, H = H k [0,εlog], (3.16) at least c 2 (k)s(h) log k (3.17) numbers n [,2) such that n + H contains at least two primes and almost primes in each components, i.e. P ( P H (n) ) > n c1(k). (3.18) However, we must show the same with consecutive primes as well. We can define for any subset V of {1,2,...,k} the set V() = { n [,2) : n+h i P i V }. (3.19) Since k is bounded the number of possible subsets V is also bounded, therefore we can choose a V 0 such that V 0 {1,2,...,k}, V 0 2, V 0 () c 3 (k)s(h) log k. (3.20) Choosing two arbitrary consecutive elements i,j V 0 () with i < j we have at least c 3 (k)s(h) log k numbers n [,2) such that for any µ (i,j) (3.21) n+h µ / P. (3.22) We have to assure, however, additionally that for a positive proportion of these numbers n we have also n+h / P for h / H, h i < h < h j. (3.23) 8

9 Applying Lemma 3 for all these values h and summing up we arrive at the conclusion that n [,2) P (P H(n))> c 1 (k) h h i<h<h j n+h P 1 C 4 (k) log k+1 S(H h) (3.24) h i<h<h j 2C 4 (k) εs(h) log k by Lemma 4. This shows that if ε was chosen sufficiently small depending on k, i.e. then our original primes n+h i and n+h j are consecutive for at least ε < ε 0 (k) (3.25) c 5 (k)s(h) log k elements n [,2), thereby showing our Main Theorem. (3.26) 4 Polignac numbers 1. Proof of Theorem 1 The fact that DHL (k,2) implies the positivity of the asymptotic lower density of Polignac numbers is expressed as Corollary 1 of [19, 2010] with the value 1 k(k 1) p k ( 1 1 p and proved in Section 11. The above value is about e γ /(k 2 logk) for large values of k. (If k, they are asymptotically equal.) 1. Proof of Theorem 2 We again suppose DHL (k,2) for k k 0. The reasoning is more intricate in this case and the resulting value C is ineffective. The trivial relation h k h 1 (k 1)min (h i h j ) (h i < h i+1 ) (4.2) i>j even gives the impression that the best we can prove about localization of Polignac numbers is an interval of type [ M,(k 1)M ]. (4.3) ) (4.1) Let us suppose that Theorem 2 is false. Then we have for any C 0 > 0 an infinite series of intervals I ν := [ M ν,m ν +C ν ], Mν > C ν > 4M ν 1, M 1 > C 0 (4.4) such that For p > k we have clearly ( D s ν=1 I ν ) =. (4.5) ν p (H k ) < p for p P, (4.6) so we have no problem of choosing an admissible system H k in a sufficiently long interval (e.g. if C k is large enough). Let H k := {h ν } k ν=1, h ν I ν := [ M ν +C ν /2,M ν +C ν ]. (4.7) 9

10 For h ν I ν, h µ I µ, ν < µ we have then h µ h ν [ M µ +C µ /2 2M µ 1,M µ +C µ ] Iµ. (4.8) Since in case of k k 0 at least one of the numbers h µ h ν (1 ν < µ k) (4.9) can be written as a difference of two consecutive primes, (4.8) contradicts to (4.5) and thus proves our theorem. 5 The normalized value distribution of d n 1. Proof of Theorems 3 4 Since Theorem 4 implies Theorem 3 it is sufficient to prove the latter. The structure of the proof will follow that of Theorem 2 proved in the previous section. Suppose that Theorem 4 is false. In this case we have for a sufficiently small c > 0 an infinite series of intervals such that for K large enough J ν = [ c ν,c ν +δ ν ], cν > 4δ ν > 20c ν+1, c 1 < c (5.1) { } ( dn K ) J ν =, where = (K) > 0. (5.2) f(n) n= ν=1 Let Then we have I ν (n) := [ c ν f(n),(c ν +δ ν )f(n) ], ν = 1,2,...,K. (5.3) d n / K I ν (n) for ν = 1,2,...,K, n [,2), > (k). (5.4) ν=1 Using our Main Theorem, similarly to (4.7) we can construct an admissible k-tuple H k = {h ν } k ν=1 with k K such that h 1 > h 2 > > h k and with a sufficiently small ε > 0 [( h ν I ν () := c ν + δ ) ] ν (1+ε)f(),(c ν +δ ν )(1 ε)f(). (5.5) 2 For h µ I µ, h ν I ν, µ < ν we have for > max ( (K), 0 (ε) ) h µ h ν [( c µ + δ ) ] µ 2 2c µ+1 (1+ε)f(),(c µ +δ µ )(1 ε)f() := Iµ (). (5.6) Since we have for any 1 µ < ν k 0 and any n [,2) I µ() I µ (n), (5.7) the fact that by the Main Theorem h µ h ν = d n for some n [,2), 1 µ < ν k 0 contradicts to (5.4) and thus proves Theorems 3 and 4. 10

11 6 Comparison of two consecutive values of d n 1. Proof of Theorem 5 Since the proof of the two inequalities are completely analogous, we will only prove the second one. The basis of it is the Main Theorem proved in Section 3. We can start with an arbitrary admissible k-tuple H = H k = {h i } k i=1, h 1 < h 2 < < h k with k Let with a fixed sufficiently small c 1 (k) define { B(i,j,) = n,n+h i P,n+h j P,P (P H (n)) > n c1(k)}, (6.1) T = { (i,j);j > i,limsup B(i,j,) log k and let us choose the pair (i,j) with maximal value of j, afterwards that with maximal value of i < j. Then for any h µ (h i,h j ) (i.e. i < µ < j) we have clearly lim sup B(µ,j,) log k > 0 } (6.2) = 0 (6.3) so all components n+h µ between n+h i and n+h j are almost always composite if n B(i,j,) and = ν through a suitable sequence ν. On the other hand if we have an arbitrary h (h i,h j ), h / H, then the assumption n+h P implies for H + = H h P ( P H +(n) ) > n c1(k). (6.4) However, by Lemma 3 the number of such n is for all k,c1 S(H {h}) log k+1 k,c 1 S(H) logh k log k+1 This, together with (6.3) shows that we have at least ( c1 (k,h)+o(1) ) log k k,c1,h log k+1. (6.5) values n with n+h i, n+h j being consecutive primes for some sequence = ν. Let us consider now these differences. Let where (6.6) n+h i = p ν P, n+h j = p ν+1 P, d ν = h j h i 1 (6.7) logn logν log. (6.8) Suppose now that the second inequality of Theorem 5 is false. Then we have for all those values of ν with an arbitrary ε > 0 for > (ε) d ν+1 d ν εlog Cεlog, C = h k h 1. (6.9) The already quoted sieve of Selberg (Lemma 3) gives an upper estimate how often this might happen for any particular value d ν+1 = d Cεlog. (6.10) Adding it up until Cεlog we obtain at most k,c1 log k+1 Cεlog h=1 S(H h) k,c1 S(H) C log k ε (6.11) by Lemma 4. This means that in view of (6.6) this cannot hold for all = ν. This contradiction proves Theorem 5. 11

12 7 Arbitrarily long arithmetic progressions of generalized twin primes Proof of Theorem 6 In this case we have to use again our crucial Main Theorem and the rest of the machinery executed in Section 7 of [19, 2010]. This yields the combination of Zhang s theorem with that of Green and Tao [14, 2008]. 8 How to make Zhang s theorem effective? Our last point is that in its original form Zhang s theorem is ineffective since it uses Siegel s theorem. His result and similarly to it all results of the present work can be made effective in the following way. According to the famous theorem of Landau Page there is at most one real primitive character χ with a modulus q (and the characters induced by it) which might cause ineffectivity in the Bombieri Vinogradov theorem, and this modulus has to satisfy (logx) 2 q (logx) ω(x) (8.1) for any ω(x) as X. This modulus can cause any problem only in the case q P H (n). (8.2) However, our Lemma 3 says that we can neglect all numbers n with P ( P H (n) ) < n c1(k), (8.3) so (prescribing additionally q d in the definition (3.9) of Λ R (n;h,k,l)) both Zhang s theorem and all our present results become effective. Remark. It is an interesting phenomenon that in the sieving process yielding bounded gaps between primes and in all our present results we can choose λ d = 0 (8.4) if d has either a prime divisor or if it has a prime divisor > c (k) (8.5) < c (k). (8.6) References [1] E. Bombieri, H. Davenport, Small differences between prime numbers, Proc. Roy. Soc. Ser. A 293 (1966), [2] J. G. van der Corput, Über Summen von Primzahlen und Primzahlquadraten, Math. Ann. 116 (1939), [3] L. E. Dickson, A new extension of Dirichlet s theorem on prime numbers, Messenger of Math. (2), 33 (1904), [4] P. D. T. A. Elliott, H. Halberstam, A conjecture in prime number theory, Symposia Mathematica Vol. 4 (1970) (IDAM, Rome, 1968/69), 59 72, Academic Press, London. 12

13 [5] P. Erdős, The difference of consecutive primes, Duke Math. J. 6 (1940), [6] P. Erdős, On the difference of consecutive primes, Bull. Amer. Math. Soc. (1948), [7] P. Erdős, Some problems on the distribution of prime numbers, Teoria dei umeri, Math. Congr. Varenna, 1954, 8 pp., [8] P. Erdős, P. Turán, On some new questions on the distribution of prime numbers, Bull. Amer. Math. Soc. 54 (1948), [9] B. Farkas, J. Pintz and Sz. Gy. Révész, On the optimal weight function in the Goldston Pintz Yıldırım method for finding small gaps between consecutive primes, submitted. [10] P. X. Gallagher, On the distribution of primes in short intervals, Mathematika 23 (1976), 4 9. [11] D. A. Goldston, J. Pintz, C. Yıldırım, Primes in tuples. I, Ann. of Math. (2) 170 (2009), no. 2, [12] D. A. Goldston, J. Pintz, C. Yıldırım, Primes in tuples. II, Acta Math. 204 (2010), no. 1, [13] G. Greaves, Sieves in umber Theory, Springer, Berlin, [14] B. Green, T. Tao, The primes contain arbitrarily long arithmetic progressions, Ann. of Math. (2) 167 (2008), no. 2, [15] H. Halberstam, H.-E. Richert, Sieve methods, Academic Press, ew York, [16] G. H. Hardy, J. E. Littlewood, Some problems of Partitio umerorum, III: On the expression of a number as a sum of primes, Acta Math. 44 (1923), [17] H. Maier, Small differences between prime numbers, Michigan Math. J. 35 (1988), [18] Y. Motohashi, J. Pintz, A smoothed GPY sieve, Bull. London Math. Soc. 40 (2008), no. 2, [19] J. Pintz, Are there arbitrarily long arithmetic progressions in the sequence of twin primes? An irregular mind. Szemerédi is 70. Bolyai Soc. Math. Stud. 21, Springer, 2010, pp [20] J. Pintz, On the singular series in the prime k-tuple conjecture, arxiv: v1 [math.t] [21] J. Pintz, Some new results on gaps between consecutive primes, Turán Memorial, umber Theory, Combinatorics and Analysis, de Gruyter, Berlin, to appear. [22] J. Pintz, Paul Erdős and the Difference of Primes. Erdős Centennial, Bolyai Soc. Math. Stud., Springer, 2013, to appear. [23] A. de Polignac, Six propositions arithmologiques déduites de crible d Ératosthene, ouv. Ann. Math. 8 (1849), [24] R. A. Rankin, The difference between consecutive prime numbers. II, Proc. Cambridge Philos. Soc. 36 (1940), [25] G. Ricci, Sull andamento della differenza di numeri primi consecutivi, Riv. Mat. Univ. Parma 5 (1954),

14 [26] I. M. Vinogradov, Representation of an odd number as a sum of three prime numbers, Doklady Akad. auk. SSSR 15 (1937), (Russian). [27] E. Westzynthius, Über die Verteilung der Zahlen, die zu der n ersten Primzahlen teilerfremd sind, Comm. Phys. Math. Helsingfors (5) 25 (1931), [28] Ytang Zhang, Bounded gaps between primes, Ann. of Math., to appear. 14