arxiv: v1 [math.nt] 15 Oct 2007

Transcription

1 PRIMES IN TUPLES II D A GOLDSTON, J PINTZ AND C Y YILDIRIM arxiv: v [mathnt] 5 Oct 2007 Abstract We prove that lim inf n p n+ p n log pnlog log p n 2 <, where p n denotes the n th prime Since on average p n+ p n is asymptotically log p n, this shows that we can always find pairs of primes much closer together than the average We actually prove a more general result concerning the set of values taken on by the differences p p between primes which includes the small gap result above Introduction In the first paper in this series [7] we proved that, letting p n denote the n th prime, p n+ p n = liminf = 0, n log p n culminating 80 years of work on this problem Since the average spacing p n+ p n in the sequence of primes is asymptotically log p n, this result showed for the first time that the prime numbers do not eventually become isolated from each other in the sense that there will always be pairs of primes closer than any fraction of the average spacing For the history of this problem, we refer the reader to [7] and [9] The information about primes used to obtain is contained in the Bombieri- Vinogradov theorem Let 2 θn; q, a = n N n amod q θn, where θn = { log n, if n is prime, 0, otherwise The Bombieri-Vinogradov theorem states that for any A > 0 there is a B = BA such that, for Q = N 2 log N B, 3 max a θn; q, a N φq N log N A q Q a,q= Thus the primes tend to be equally distributed among the arithmetic progressions modulo q that allow primes, and this holds for the primes up to N and at least for almost all the progressions with modulus q up to nearly N 2 The principle can be quantified by saying that the primes have an admissible level of distribution ϑ or satisfy a level of distribution ϑ if 3 holds for any A > 0 and any ǫ > 0 with 4 Q = N ϑ ǫ Elliott and Halberstam [3] conjectured that the primes have the maximal admissible level of distribution, while by the Bombieri-Vinogradov theorem we have immediately that /2 is an admissible level of distribution for the primes In [7] Date: October 5, 2007 The first author was supported in part by an NSF Grant, the second author by OTKA grants No K 67676, T 43623, T and the Balaton program, the third author by TÜBITAK

2 2 D A GOLDSTON, J PINTZ AND C Y YILDIRIM we proved that if the primes satisfy a level of distribution ϑ > 2 then there is an absolute constant Mϑ for which 5 p n+ p n Mϑ, for infinitely many n In particular assuming the Elliott-Halberstam conjecture or just ϑ 098 then 6 p n+ p n 6, for infinitely many n These are surprising results because they show that going beyond an admissible level of distribution /2 implies there are infinitely often bounded gaps between primes, and therefore questions as hard as the twin prime conjecture can nearly be dealt with using this type of information Since we obtained our results in 2005 there has been no further progress toward 5, and it appears now that an extension of the Bombieri-Vinogradov theorem of sufficient strength to obtain bounded gaps between primes will require some basic new ideas One can also pursue improving the approximations we used or improving the method used to detect primes, and again this now appears to require some essentially new idea Our goal in this paper is to extend the current method as much as possible in order to obtain strong quantitative results In particular we obtain the following quantitative version of Theorem The differences of consecutive primes satisfy p n+ p n 7 lim inf n log pn log log p n < 2 This result is remarkable in that it shows that there exist pairs of primes nearly within the square root of the average spacing By comparison, the best result for large gaps between primes [8] is that 8 lim sup n p n+ p n log p n log log p n log log log p n 2 log log log log p n 2eγ, where γ is Euler s constant Thus the best large gap result produces gaps larger than the average by a factor a bit smaller than log log p n, while now the small gaps are smaller than the average by a factor a bit bigger than log p n 2 In this sense the small gap result now greatly surpasses the large gap result There are conflicting conjectures on how large the gap between consecutive primes can get, but all of these conjectures suggest that there can be gaps at least as large as clog p n 2 for some constant c This paper is organized as follows In Section 2 we present a generalization of Theorem which applies to many interesting situations and which is the result we will prove in this paper Unlike in [7], to obtain our results we need to take into account the possibility of exceptional characters associated with Landau-Siegel zeros In Theorem 2 we assume that there are no Landau-Siegel zeros in a certain range and are able to obtain our main results including the gaps between primes in Theorem in intervals [N, 2N] for all sufficiently large N Next, using the Landau- Page Theorem we can find a sequence of ranges which avoid possible Landau-Siegel zeros Thus we obtain Theorem 3 which unconditionally gives the same results as Theorem 2 but without being able to localize them to a dyadic interval The proof of these theorems requires substantial refinements of the methods of [7], and in Section 3 we will discuss some of these refinements and how they arise The main technical tools needed in our proof, Theorems 4 and 5, are stated in Section 4 The proof of Theorems 4 and 5 take up Sections 5 through 3 In proving Theorem 5 in our general setting we need a modified Bombieri-Vinogradov theorem which is the topic of Section 2 Our method, as in [7], requires a result on the average of the singular series In [7] the well-known result of Gallagher [5] was used, but

3 PRIMES IN TUPLES II 3 in our current setting this result is not applicable, and therefore in Section 4 we prove a new result well adapted for our needs With Theorems 4 and 5 in hand together with the new singular series average result, the proof of Theorems 2 and 3 is completed in Section 5 Notation In the following c and C will denote sufficiently small and sufficiently large absolute positive constants, respectively, which have been chosen appropriately This is also true for constants formed from c or C with subscripts or accents We will allow these constants to be different at different occurences Constants implied by pure o, O, symbols will be absolute, unless otherwise stated The ν times iterated logarithm will be denoted by log ν N P denotes the set of primes 2 A generalization of Theorem Our method will allow us to prove a generalization of Theorem where instead of seeking two neighboring primes of the form n + i, n + j with 2 i < j h, h = hn = C log nlog log n 2, we look for two primes of the form n + a i, n + a j where 2 is satisfied and 22 A = {a i } h i= [, n] is an arbitrarily given set of integers We remark that an extension of this type is a trivial consequence of the prime number theorem if 23 h = h n > + clog n, c > 0 fixed, but that none of the earlier methods of Erdős [4], Bombieri Davenport [] and Maier [4] which produce small gaps between primes seem capable of proving a result of this type for any function satisfying 24 h = h n < clog n, c > 0 fixed According to a conjecture of de Polignac [20] from 849, every even number may be written as the difference of two primes Although we know that this is true for almost all even numbers, there is no known way to specify these values Our generalization makes a first step in this direction by proving that we can explicitly find sparse sequences A such that infinitely many of the elements 25 A A are differences of two primes, ie 26 P P A A = Here we make use of the usual notation that for sets A and B, A B = {a b : a A, b B} Some sequences for which our method applies are: 27 A = {k m } m=, k 2 fixed k N, 28 A = {k x2 +y 2 } x,y=, k 2 fixed k N, 29 A = {k fx,y } r=, k 2 fixed k N, where the value set R = {r N; x, y : fx, y = r} satisfies 20 RX = {m; m X, m R} > C X log 2 X this would happen eg for fx, y = x 2 + y m with arbitrary m 2, and for fx, y = x 3 + y 3, or in general any set of type 2 A = {k rj } j=, k 2 fixed k N,

4 4 D A GOLDSTON, J PINTZ AND C Y YILDIRIM if R = {r j } j= N satisfies the density condition 20 Among these sets the only trivial one is 2 m, that is 27 for k = 2 which has [log X/ log2] elements below X, thereby corresponding to the case 23 Unfortunately, the possible existence of Landau-Siegel zeros cf Section 2 makes it impossible to formulate a localized version of our result for all n N satisfying the conditions 2 and 22 Even in the special case when A is an interval we cannot guarantee the existence of gaps of size O log N log 2 2 N between primes in any interval of type [N, 2N] for any large N The first formulation of our main result assumes there are no exceptional characters in a certain range This is Hypothesis SY from Section 2, with Y = Y N = exp 3 log N Theorem 2 Let us suppose that an N > N 0 is given such that for any real primitive character χ mod q, q exp 3 log N we have ] 22 Ls, χ 0 for s 9 log N, Let A = A N = {a i } h i= [, N] N be arbitrary a i a j with 23 h C log N log 2 2 N, where C is an appropriate absolute constant Then there exists n [N, 2N] such that at least two numbers of the form 24 n + a i, n + a j, i < j h, are primes In Section 2 we show that 22, ie Conjecture SY N, is true for an infinite sequence N = N ν, and thus Theorem 2 implies Theorem by choosing N = N ν and 25 A = A N = {, 2,, h} with h = C log N log 2 2 N A more general formulation of this result which covers the special cases mentioned in and 2 as well as Theorem can be stated as follows Theorem 3 Let A N be an arbitrary sequence satisfying 26 AN = {n; n N, n A} > C log N log 2 2 N for N > N 0 Then infinitely many elements of A A can be written as the difference of two primes, that is, 27 P P A A = 3 Some Initial Considerations The main tool of our method is an approximation for prime tuples and almost prime tuples Consider the tuple n + h, n + h 2,,n + h K as n runs over the integers If these K values are all primes for some n then we call this a prime tuple, and we wish to examine the existence of prime tuples A first consideration is that the set of shifts 3 H = {h, h 2,,h K }, with h i h j if i j, imposes divisibility conditions on the components of the tuple which can effect the likelihood of obtaining prime tuples or even preclude the possibility of more than a single prime tuple Specifically, let ν p H denote the number of distinct residue classes modulo p occupied by the elements of H, and for squarefree integers d extend

5 PRIMES IN TUPLES II 5 this definition to ν d H multiplicatively The singular series for the set H is defined to be 32 SH = K ν ph p p p If SH 0 then H is called admissible Thus H is admissible if and only if ν p H < p for all p, while if ν p H = p then one component of the tuple is always divisible by p and there can be at most one prime tuple of this form Hardy and Littlewood [9] conjectured an asymptotic formula for the number of prime tuples n + h, n + h 2,,n + h K, with n N, as N Letting { log n, if n is prime, 33 θn = 0, otherwise; we define 34 Λn; H := θn + h θn + h 2 θn + h K and use this function to detect prime tuples The Hardy Littlewood prime-tuple conjecture is the asymptotic formula 35 Λn; H = NSH + o, as N, n N which is trivial if H is not admissible, but is otherwise only known to be true in the case K = which is the prime number theorem The starting point for our method in [7] is to find approximations of Λn; H for which we can obtain asymptotic formulas similar to 35 A further essential idea is that rather than approximating just prime tuples, we should approximate almost-prime K-tuples with a total of K +l prime factors in all the components, which if 0 l K 2 guarantees at least two of the components are prime The almost prime tuple approximation used in [7] and which we also use here is 36 Λ R n; H, l := where H = K, and K + l! d P Hn d R µd log R d K+l, 37 P H n := n + h n + h 2 n + h K Our method for proving in [7] is based on a comparison of the two sums 38 Λ R n; H, l 2 and θn + h 0 Λ R n; H, l 2 n N n N An asymptotic formula for the first sum can be obtained if R N /2 ǫ, while for the second sum we can use an admissible level of distribution of primes ϑ to obtain an asymptotic formula when R N ϑ/2 ǫ In [7] it was assumed that K and l are fixed, ie independent of N Using these asymptotic formulas we can now evaluate 2N 39 S R := θn + h 0 log 3N Λ R n; H, l 2, n=n+ h 0 h h,h 2,,h K h distinct If S R > 0 then the sum over h 0 must have at least two non-zero terms and thus there must be some n and h i h j such that n + h i and n + h j are both prime We find with ϑ = /2 and h = λlog N with any fixed λ > 0 that we can choose K and

6 6 D A GOLDSTON, J PINTZ AND C Y YILDIRIM l for which S R > 0, which proves In order to obtain this for any arbitrarily small λ > 0, the fixed K and l are chosen sufficiently large in an appropriate way To obtain quantitative bounds to replace, the first step is to obtain asymptotic formulas which are uniform in K and l so that these can be chosen as functions of N that go to infinity with N One also needs explicit error terms, and these error terms arise not only from lower order terms and prime number theorem type error terms, but also in 38 from the Bombieri-Vinogradov theorem error terms We will now establish the relations between our parameters that will be used throughout the paper Recalling the set A from 22, we will always take H A Next, R and l will be chosen as 30 K h, l K, R := 3N Θ = 3N /4 ξ, ξ = o We will make use of two important parameters U and V defined by 3 V := log N, U = e V, and will choose K later to be slightly smaller than V We next denote the product of primes not exceeding V by 32 P := p V where p will always denote primes As just mentioned above, our present treatment requires a much more delicate analysis of the error terms than in [7], and therefore we make an initial simplification to facilitate this analysis In [7] the irregular behavior of ν p H for small primes greatly complicated the estimate of the function Gs, s 2 and its partial derivatives We can avoid these difficulties, at least for primes dividing P, by proceeding somewhat similarly to Heath-Brown in [] We call a residue class amod P regular with respect to H and P if 33 P, P H a = and denote by AH = A P H the set of all regular residue classes mod P Thus 34 AH := { a; a P; P, P H a = } The number of regular residue classes mod P is clearly 35 AH = p Pp ν p H and their proportion of all the residue classes modp is AH 36 = ν ph, P p p P which is positive if H is admissible Thus in particular for a given H and all P there exists at least one regular residue class mod P, if and only if H is admissible With this notation, we now consider the sums 37 and 38 2N n=n+ n AH AH 2 2N n=n+ n AH AH 2 p, Λ R n; H, lλ R n; H 2, l Λ R n; H, lλ R n; H 2, lθn + h 0

7 PRIMES IN TUPLES II 7 with h 0 [, h], which are asymptotically evaluated in Theorems 4 and 5, respectively A new feature in the proof of these theorems which does not occur in [7] is that 37 and 38 are first evaluated for each residue class amod P with 39 a AH AH 2 = AH H 2 separately, and then the results are added over all regular residue classes modulo P It turns out that the asymptotic main term and even secondary terms are independent of the particular choice of the regular residue class a, so this summing presents no difficulty However, the restriction of the values of n to a single residue class amod P in 38 requires a stronger form of the Bombieri Vinogradov theorem cf Section 2 To detect primes, in place of 39 we consider 320 where S R N, K, l, P := Nh 2K+ 2N n=n+ log p log 3N p p n A 32 Ψ R K, l, n, h := Λ R n; H, l H, H =K n AH Ψ R K, l, n, h 2, On applying Theorems 4 and 5 we can asymptotically evaluate S R, which we carry out in Section 5 One condition that arises from the main terms is that in order to prove the existence of prime pairs in intervals of length h we need 322 h > C log N K Since K h this immediately implies that 323 h > C log N Our goal is to take h as small as possible, and therefore we can not obtain anything better than 323 when using the approximation in 36 together with 320 Apart from powers of log 2 N, we are able to prove our results for h of this size Our actual choices for K and h are 324 K c log N log 2 2 N, 25 logn h = K 25 c log N log 2 2 N, with a sufficiently small explicitly calculable absolute constant c to be chosen later We will need the error terms in Theorems 4 and 5 to be uniform in K with a relative error of size η satisfying 325 η < c K However, we do not achieve this for all admissible pairs H and H 2 of size K Instead, for all admissible pairs H, H 2 we obtain a weaker error term, but if 326 K H H 2 K then we do obtain the error estimate in 325 This turns out to be sufficient for our proof, since such pairs H, H 2 will be dominant in 320

8 8 D A GOLDSTON, J PINTZ AND C Y YILDIRIM 4 Two basic theorems In the following let N be a sufficiently large integer, c a sufficiently small positive constant, 4 K c log N log 2 N 2, 42 K k, k 2 K, K l, l 2 K We will consider sets H := H H 2, H, H 2 [, N] of sizes 43 H i = k i, H H 2 = r Let 44 m := K m for m [0, K], n := max K, n, n := n Our first main result is the following theorem Theorem 4 We have for N c < R N /2 exp c log N, as N 45 n N n AH AH 2 Λ R n; H, l Λ R n; H 2, l 2 = l + l 2 log R r+l +l 2 = N r + l + l 2! l SHP + O AH K r log 2 N log R + O Ne c log N For the next theorem we suppose that the following form of the Bombieri Vinogradov theorem holds see Section 2 For a given, sufficiently large N, and recalling the parameter P defined in 32, we have 46 where max a q Q a,q= q,p= N<p 2N p amod Pq log p N ϕpq N P exp c log N, 47 Q = N /2 P 3 exp c log N, with an arbitrary positive constant c Letting H 0 = H {h 0 }, our second main result is as follows Theorem 5 Suppose hold and let N c R Q Then 48 N<n 2N n AH AH 2 Λ R n; H, l Λ R n; H 2, l 2 θn + h 0 = N C Rl, l 2, H, H 2, h 0 l + l 2 r + l + l 2! l + O Ne c log N, where 49 C R l, l 2, H, H 2, h 0 = SH 0 log R r+l+l2 + O CK r log 2 N log R, if h 0 H; l +l 2+log R l, +r+l +l 2+ if h 0 H and h 0 H 2 ; l +l 2+2l +l 2+log R l, if h +l 2+r+l +l 2+ 0 H H 2 For the applications to Theorems 3 the simpler case l = l 2 = l will be sufficient

9 PRIMES IN TUPLES II 9 5 Lemmas We will use standard properties of the Riemann zeta function ζs Proceeding slightly differently from [7] we use the zero-free region, with s = σ + it, { } 5 ζ + s 0 for s R N := s; σ log 2 N + 6 log t + 3 Further we have for s R N by Titchmarsh [23, Ch 3] 52 max ζ + s s, ζ + s, ζ ζ + s + s log t + 3 In the course of the proof the following contours which lie in the zero-free region R N will be used with U and V given in 3 53 { L := σ = } { 28V, t U, L 2 := σ = }, t 2U, 4V { L 3 := σ = } { 28V, t U, L 4 := σ = }, t 2U, 4V { L 5 := 28V σ } 28V, t = U, L 6 := 54 L = L 0 L ; L 0 = { s; s = δ 0 e iϕ, { 4V σ, t = 2U 4V π 2 ϕ 3π }, 2 L = {s = it; δ 0 t U}, δ 0 = K log2 N Similarly to Lemma of [7], we have Lemma Let klog 2 N 2 log R, N c R N, N C, k 2, B Ck Then 55 log t + 3 B R s ds s k e c log N, 3 i 6, L i where the constant implied by the symbol depends only on C Proof The integral I in 55 satisfies for all i 56 2U /28V log t + 3B I R max k dt + R σ dσ t, U 3/2 0 28V σ /4V C e c log N 28V k dt dt + + e log N/4 /2 e c log N t 3/2 0 C We will prove a generalization of the combinatorial identity 86 of [7] in order to evaluate the terms I, of Section 8 Let us define for triplets of integers d, u, y with d 0, u 0, y + u 0 to be called suitable triplets the quantity 57 Zd, u, y := u u mdd + d + m u! m y + m! m=0 m y Lemma 2 We have for any suitable triplet d, u, y the relation 58 Zd, u, y = y d + y d + u u!y + u! },

10 0 D A GOLDSTON, J PINTZ AND C Y YILDIRIM Proof We will prove this by induction on u For u = 0 we have trivially for any non-negative d and y, Zd, 0, y = y! the empty product in the numerator of Z is by definition We can suppose u and that our statement is true for all suitable triplets d, u, y Making the convention that we define for n < 0 x 59 n! = 0 for any real number x in other words, we just neglect in a sum all terms with an n! in the denominator with n < 0, we obtain by u i = u i + u i where we define u u = u = 0, with the notation [S] = if the statement S is true and [S] = 0 if S is false, Zd, u, y = { u u i dd + d + i u! i y + i! = u! i=0 i y u j=0 j y { u i=0 i y } u j dd + d + j j y + j +! u i i dd + d + i y + i! d + i y + i + } u [ y 0] y dd+d y 2d y y = u u u idd + d + i y + d u! i y + i +! i=0 i y = y + d Zd, u, y + = u y + dy + 2 dy + u d u!y + u! Finally we mention a simple lemma for the mean value of the generalized divisor function 50 d m q := m ωq, where ωq denotes the number of prime-factors of q for a squarefree q Lemma 3 If m > 0, ν maxc logk +, then there exists a constant C depending on c such that, for K and x we have 5 and 52 q x q x d m q x + log x m d 3K q +/ν Proof Equation 5 follows from 53 q x d m q x q x Further, by 50 we have q d m q q + log x C K m x x + log x m j j x 54 d 3K q +/ν = d j q

11 PRIMES IN TUPLES II with 55 j = 3K +/ν 9e /c K, and Lemma 3 follows with C = 9e /c + 6 Preparation for the Proof of Theorem 4 Since the preparation for the proof of Theorem 4 is nearly the same as in Sections 6 and 7 of [7] for the analogous Proposition or 3 or 4, we will briefly summarize it and the reader is referred for the details to [7] Let } 6 Hp = {h,, h νph : h j h i mod p, h i H for some i, h j p, 62 ν p H H 2 := ν p H p H 2 p = ν p H + ν p H 2 ν p H For any a AH AH 2 cf 34, we have similarly to Section 7 of [7] 63 where S R N; H, H 2, l, l 2, a : = 64 T R l, l 2 ; H, H 2 := 2πi 2 65 Fs, s 2 := p>v 2N n=n+ n amod P Λ R n; H, l Λ R n; H 2, l 2 = N P T Rl, l 2 ; H, H 2 + OR 2 3 log R 7K, Fs, s 2 R s s K+l+ R s2 s K+l2+ 2 ν ph ν ph 2 + ν ph H 2, p +s p +s2 p +s+s2 ds ds 2, where now, differently from [7], primes not exceeding V do not appear in Fs, s 2 since by the regularity of a, P H n, P = P H2 n, P = Let 66 := h i h j N KK /2 i<j K Then if p consequently, for all sufficiently large primes p, 67 ν p H = H = K, ν p H 2 = H 2 = K, ν p H H 2 = H H 2 = r We therefore factor out the dominant zeta-factors and write ζ + s + s 2 d 68 Fs, s 2 = G H,H 2 s, s 2 ζ + s a ζ + s 2 b with a function Gs, s 2, regular for σ i > /5, say, which we write slightly more generally for future application in Theorem 5 as 69 G H,H 2 s, s 2 = Gs, s 2 = G = G G 2 G 3 = G G 4, where now a = b = K, d = r, ν p = ν p H, ν 2 p = ν p H 2, ν 3 p = ν p H H 2, 60 G s, s 2 = a b d, p +s p +s2 p +s+s2 p V p V p V d G 4 s, s 2 = νp p ν2p +s p + ν3p +s 2 p +s +s 2 p +s +s 2 6 a b p>v p +s p +s 2

12 2 D A GOLDSTON, J PINTZ AND C Y YILDIRIM = Let us use the notation p,p>v p,p>v =: G 2 s, s 2 G 3 s, s 2 62 δ i := max0, σ i, δ := δ + δ 2, s 3 := s + s 2, and } 63 R N {s; := /2 σ log 2 N + 6 log t + 3 We will estimate the order of Gs, s 2 in the region s, s 2 R N general conditions 64 a, b, d K, ν i p K, under the more 65 ν p = a, ν 2 p = b, ν 3 p = d for p Later we will examine more delicate properties of Gs, s 2 with further conditions on a, b, d, ν i p We have 66 G s, s 2 exp C K p δ expck log 3 N, p V 67 and G 2 s, s 2 exp C K p δ exp CK p 68 G 3 s, s 2 exp expck log 3 N, C p>v K 2 p 2 2δ exp where in we made use of the estimates 69 max V δ, log δ log 2 N /2 log 2 N = e; p log +o p δ CK 2 expck, V further in 67 the sum which was originally over p has been majorized by using the set of the smallest possible primes which could divide Summarizing we obtain 620 and further 62 Gs, s 2 e CK log 3 N for s, s 2 R n, Fs, s 2 e CK log 3 N log t + 3log t K for s, s 2, s 3 R n The above estimate shows that the integrand in 64 vanishes as either t or t 2, s, s 2, s 3 R N We will examine the integral analogously to 75 in [7] 622 I := TRd, a, b, u, v, H, H 2 := Ds, s 2 R s+s2 ds ds 2 2πi 2 s u+ s v+, 2 s + s 2 d where we introduce the function Ds, s 2, regular for s, s 2, s 3 R N, 623 Ds, s 2 := D 0 s, s 2 Gs, s 2, D 0 s, s 2 := W d s + s 2 W a s W b, Ws := sζ + s, s d a, b K, mina, b ck, K/8 u, v K

13 PRIMES IN TUPLES II 3 and by symmetry we can assume u v In the applications we will have a b, u v First step Move the contour for the integral over s to L, over s 2 to L 2 The vertical parts t U, and t 2U, resp can be neglected similarly to Lemma After this move the integral in s from L to L 3 L 5 The horizontal segments L 5 can be again neglected We pass a pole of order u + at s = 0, and obtain 625 I = I + 2πi 2 where 626 I : = 2πi = 2πi j= L 2 L 2 L 2 Res s=0 u! Ds, s 2 R s+s2 ds ds 2 L 3 s u+ s v+ = I 2 s + s 2 d + I 2 + O e c log N, { u i=0 Ds, s 2 R s+s2 u i s u+ s v+ ds 2 s + s 2 d 2 } u i i Ds, s 2 R s 2 log R s i s + s 2 s=0 d s v+ ds 2 2 We denote the complete integrand above by Zs 2 and express i Ds, s 2 s i s + s 2 d = s=0 i D0, s 2dd + d + i s d+i i i j + j s j Ds, s 2 i j dd + d + i j s=0 s d+i j 2 where in case of i = j including also the case when i = j = 0 and d 0 arbitrary the empty product in the numerator is Second step Let us denote the contribution of the first term in 627 to 626 by I i, 0 and the others by I i, j j i I i, 0 will belong to the main term, all I i, j with j will just contribute to the secondary terms Let us move now the contour L 2 for the integral over s 2 to L 4 L 6 in 626 The horizontal segments L 6 can be neglected again We pass a pole of order v + + d + i j in case of I i, j and we obtain in this way I = u u i i dd + d + i j log R u i i j u! i j v + d + i j! 628 i=0 v+d+i j j=0 v + d + i j log R v+d+i j ν ν j ν s ν ν=0 2 s j Ds, s 2 + Zs 2 ds 2 + O e c log N =: I, + I,2 + O e c log N 2πi L 4 7 Estimates of the partial derivatives of Ds, s 2 s=s 2=0 In this section we will estimate partial derivatives i j Ds s i s j, s 2 of Ds, s 2 2 for i + j CK with s i = s i in R N for i 3 We will often use Cauchy s estimate for functions regular in z z 0 η: 7 j! fj z 0 η j max z z 0 =η fz Applying this for Ds, s 2 we obtain i j 72 Ds i!j!, s 2 η i+j max s s η, s 2 s 2 η Ds, s 2 s i s j 2

14 4 D A GOLDSTON, J PINTZ AND C Y YILDIRIM In order to substitute the above maximum for Ds, s 2, we have to estimate 73 Ls, s 2 := max log Ds, s 2 s, log Ds, s 2 s 2, for s, s 2, s 3 R N ; since by the regularity of log Ds, s 2 for s i R N i 3 cf 60, 6, 623 we have, for η log 2 N + log t log t /00, 74 Ds, s 2 Ds, s 2 exp 2η max Ls, s 2 s s η, s2 s 2 η By symmetry it is enough to deal with 75 L s, s 2 := log Ds, s 2 s Since the logarithm is an additive function, using the representation 69 6 and 623 of Ds, s 2 it is sufficient to examine the factors D 0, G, G 2, G 3 separately We will choose a positive η 76 η /00 log 2 N + log T, T = T +T 2, T i = t i +3, t 3 = t +t 2 i 3 where by δ = δ + δ 2 2/ log 2 N, V = log N /2, log K 2 log N log 2 N we have 77 max V δ, V η, log δ, log η We have by 52 and ζ log D 0 s, s 2 = d s ζ + s ζ + s 2 + a s + s 2 ζ + s + s K log T Further we have 79 s log G s, s 2 = p V log p p +s Similarly to 67 we obtain by 77 dp s2 p +s+s2 a p +s K log 2 N 70 log G 2 s, s 2 s { log p p +s = p p>v K p ν p p s2 ν 3 p νp p +s ν2p p +s 2 + log p p δ K p log +o ν3p p +s +s 2 a p +s + log p p δ K log 2 K log 2 N } dp s2 p +s +s 2

15 PRIMES IN TUPLES II 5 Finally, analogously to 68 we have by 65 7 log G 3 s, s 2 s { log p p +s = p p>v p>v log p a p δ a p +s a dp s2 b p +s 2 + K p δ + dpδ2 d p +s +s 2 K p δ K 2 p>v a p +s + log p p 2 2δ } dp s2 p +s +s 2 K2 K2 V 2δ V K Summarizing 73 7 we have 72 max s s η, s 2 s 2 η Ds, s 2 ecηklog 2 N+log T Ds, s 2 if s, s 2, s 3 R N Hence, 72 and 72 imply by the choice η = 00Klog 2 N + log T the following estimate Lemma 4 We have for s, s 2, s 3 R N i j 73 Ds, s 2 i!j! CKlog 2 N + log T i+j Ds, s 2 s i s j 2 The above estimate is sufficient for our purposes at every point s, s 2 apart from 0, 0, which will appear in the main term We will show an analogous result for the point 0, 0 where η in 76 will be replaced by the larger value 74 η 0 = d log 2 N where we use the notation d, d of 44 Next we have Lemma 5 i!j! Ds, s 2 d log 2 N i+j D0, 0 s=s 2=0 s i j s j 2 Proof Let d = a d Analogously to 78 79, we have, for s, s 2 η 0, 75 log D 0 s, s 2 = d W s W s + s 2 a W W s W = d W s + s 2 W W s a d W W s and 76 log G s, s 2 = s p V p V log p p δ log p p +s Kη 0 + d K d + d K + d d, d p s2 p d +s p + d a +s p +s K p s 2 p δ2 + d K p V η 0 log 2 p p δ + d p V log p p δ V δ log V Kη 0 log V + d Kη 0 log 2 2 N + d log 2 N d log 2 N

16 6 D A GOLDSTON, J PINTZ AND C Y YILDIRIM The treatment of G 2 will be similar to this and 70 By ν p ν 3 p = ν p H ν p H p H 2 p H \ H 2 = a d we have 77 log G 2 s, s 2 = s log p p +s p p>v d p,p>v { ν p ν 3 p + ν 3 p p s2 νp p +s ν2p p +s 2 + ν3p p +s +s 2 d p +s log p p δ d log p + Kp η0 d p δ + Kη 0 p log +o log p p δ + Kη 0 p p log +o } d p p +s s2 p +s p p e 2/η 0 log 2 p K log + p δ log N d log 2 p p δ + K log p e /η0 p d log 2 + Kη 0 log log N K 3 log 2 Nd + Kη 0 log 2 N d log 2 N Finally we have, similarly to above and 7, using a dp s2 = a d+d p s2, log G 3 s, s 2 = { log p 78 a s p +s p p +s +s 2 p +s p>v + a dp s2 a p b +s p + d +s 2 p +s +s 2 { log p K p δ p δ + K d p δ + Kp η0 } p>v Kd p>v log p p 2 2δ + K2 η 0 V <p e /η 0 log 2 p + K2 p2 2δ Kd V 2δ + K2 η 0 log V K 2 V 2δ + log N 2δ η0 d } p +s +s 2 p>e /η 0 K V d + Kη 0 log 2 N + o d + Kη 0 log 2 N d Now, imply, by symmetry for i =, 2, that 79 log Ds, s 2 s i η 0, for s, s 2 η 0, and therefore, similarly to 72 we have 720 max s η0, s 2 η0 Ds, s 2 D0, 0, which by 72 proves Lemma 5 8 Contribution of the residue at s = s 2 = 0 log p p 2 2δ η0 This section will be devoted to the examination of I,, the sum of the residues in 628 The rather complicated formula 628 yields the main term and all secondary terms of the form log R m exclusively for m [d, d+u+v ] and will additionally contribute to other secondary terms for m [0, d ] However, from the terms I, i, j, ν belonging to the triplet i, j, ν in the triple summation, only those with

17 PRIMES IN TUPLES II 7 ν = 0, j = 0 contribute to the main term of order log R d+u+v, since in all other terms the exponent of log R is d + u + v j ν We have to work now more carefully than in [7] For example, by the aid of Lemma 2 a generalization of 86 in [7] we will exactly evaluate the coefficients A j,ν of ν j j!ν! s ν 2 s j Ds, s 2 log R v+d+u j ν in 628 as follows Let j, ν 0, 8 m := i j 0, y := v + d ν, where we can assume by ν v + d + m m ν v d = y Then we have from 628, by notation 57, 8 and Lemma 2 83 A j,ν = j!ν! u j u m + j dd + d + m m u! m + j j v + d + m ν!ν! = u j m=0 m y m=0 m y m dd + d + m u j m!m! v + d + m ν! = Zd, u j, v + d ν = v ν + v ν + u j u j!d + v ν + u j! We have to compare A j,ν with A 0,0 This will be furnished by the following Lemma 6 A j,ν := A j,ν A 0,0 CK j+ν Proof A j,ν = d+v+u! d+v+u ν j! 84 A j,ν = u j+u v+u j+v+u A j,ν CKj+ν A j,ν, where v ν + v ν + u j v + v + u j If ν 2v +, then clearly A j,ν, so we may suppose 85 ν = Bv +, B > 2 In this case we have by u j u v < v + : u j ν 86 A j,ν B v+ = B ν/b < 2 ν, v + since the maximum of x /x in [, is attained at x = e and e /e < 2 Now we are ready to evaluate the crucial term I, by the aid of Lemmas 2, 5 and 6 Namely by 4, 44, R N c, 628, 83 and 624 we have 87 I, = A 0,0 log R d+u+v {D0, 0 + u j=0 v+d+u j ν=0 j+ν = Zd, u, v + dlog R d+u+v D0, 0 +O = v+u u log R d+v+u D0, 0 + O d + v + u! A j,ν log R j+ν j=0 ν=0 j+ν CK d log 2 N log R j ν s } s 2 D0, 0 j!ν! CK d j+ν log 2 N log R The integral I,2 in 628 does not contribute to the main term and can be estimated relatively easily due to the presence of the term R s2 s 2 L 4 In fact,

18 8 D A GOLDSTON, J PINTZ AND C Y YILDIRIM choosing η = 00log 2 N +logt as earlier, we obtain by Lemma 4, 52, 620, for any s 2 L 4, u i log R u i CK i j Zs 2 CKlog u i!i j! 2 N + log T j D0, s 2 R σ2 88 s 2 d+i j+v+ i=0 j=0 e C K log 2 N log t K+O s 2 b+o K K R σ2 Now Lemma yields immediately by 624 and R N c I,2 = 89 Zs 2 ds 2 e C 2πi L 4 e c log N K log2 N c log N We may summarize 87 and 89 by D0, 0 = D 0 0, 0G0, 0 = G0, 0 0 which is true by the admissibility condition by 69 6 and 623 as Lemma 7 The integral I in 626 satisfies the asymptotic v+u u log R d+v+u G0, 0 K 80 I = + O d log 2 N + O e c log N d + v + u! log R 9 Estimate of the integral I 2 For I 2 in 625, after interchange of the two integrations we move the contour L 2 for the inner integral over s 2 to the left to L 4 passing a pole of order d at s 2 = s if t 2 U and a pole of order v + at s 2 = 0 and obtain 9 I 2 = 2πi L 3 Ds, s 2 R s+s2 Res s 2= s s u+ s v+ 2 s + s 2 d R s Fs, s 2 s a+u+ L 3 + 2πi 2 L 4 := I 2, + I 2,2 + I 2,3 + O e c log N ds + 2πi Res s 2=0 L 3 R s2 s 2 b+v+ ds ds 2 + O e c Ds, s 2 R s+s2 s u+ s v+ ds 2 s + s 2 d log N By the argument of Lemma and 62, the third integral I 2,3 is e c log N The second integral I 2,2 is completely analogous to I,2 in 628, which was estimated by e c log N in 89, the only change being that the role of s and s 2 is interchanged The residue in I 2, is zero if d = 0, while for d we have Ds, s 2 R s+s2 Res s 2= s s u+ s v+ 2 s + s 2 d 92 = where 93 j d B j s, H, H 2 = j We thus obtain 94 I 2 = ν=0 j j ν ν = lim s 2 s d! d s 2 d Ds, s 2 R s+s2 s u+ s 2 v+ d B j s, H, H 2 log R d j, d! s j ν 2 j=0 Ds, s 2 ν v + v + ν s2= s ν+v+ s u+v+ν+2 d C j H, H 2 log R d j + Oe c log N, d! j=0

19 PRIMES IN TUPLES II 9 where 95 C j H, H 2 = 2πi L 3 B j s, H, H 2 ds j = 0,, 2,, d It remains to estimate these quantities, which are independent of R We are allowed to transform the contour L 3 in 95 to the contour L, defined in 54 Our task is now the estimation of the integral C j on the new contour L = L 0 L since the integral on the horizontal segments t = U is O e c log N 0 Comparison of Ds, s and D0, 0 We have seen in Section 7 that by Lemma 4 we can estimate i s i j Ds s j, s 2 2 with the aid of Ds, s 2 We will show now how to estimate Ds, s /D0, 0 from above when s is on the contour L This, together with Lemma 8 will play a crucial role in the estimation of I 2, which is the main part of I 2 First we note that if s L is on the semicircle L 0, then by 72 we obtain 0 Ds, s e C K D0, 0, s L 0 Thus, in the following we may suppose 02 s = it, t > 0, since D it, it = Dit, it First we will examine the behavior of the functions D 0 s, s and G s, s on the imaginary axis, which requires a lemma concerning Ws from 623 Lemma 8 There exist positive absolute constants t 0 and t > such that 03 Wit e t2 /6 = W0 for t t 0, 04 Wit t 2/3 for t t Proof We will use that in a neighborhood of s = 0 we have for the entire function Ws the representation 05 Ws = + γ 0 s + γ ν s ν+ ν= where γ 0 = γ is Euler s constant and see [3], Notes on p γ 0 = γ = , γ = This implies 07 Wit 2 = WitW it = + iγt γ t 2 + Ot 3 iγt γ t 2 + Ot 3 = + t 2 γ 2 2γ + Ot 3 if t 0 Now prove 03 for t t 0, while 04 clearly holds by 52 Remark If 03 is true for any t which could be checked by computers, since t 0, t are explicitly calculable, then the following simple lemma is not necessary Lemma 9 Given any positive constants B 0, B, ε we have for any t [B 0, B ] and any X > CB 0, B, ε 08 Jt, X := p it p cb 0, B log X /2 ε p X

20 20 D A GOLDSTON, J PINTZ AND C Y YILDIRIM Proof Let us fix t Since every factor is at least, we can neglect those with cost log p > 0 On the other hand, if cost log p 0, then we have p it 09 log p > log p > p The primes satisfying cost log p 0 are in intervals of type [ ] π 2j + 2 π 2j I j = exp, exp =: [e mj, e mj+π/t ] t t and I j [, X] if 2πj + 3/4/t log X, that is, if 0 j t log X 3 2π 4 =: j Using the prime number theorem we obtain by partial summation 02 p I j p e m j +π/t e m j Hence, by 09 we have 03 log Jt, X > ε 2j j j dx xlog x = log 2j j O > ε 2 = 2j + O j 2 log 2 X c B 0, B Remark Working more carefully we could prove Lemma 9 with log X 2 ε replaced by log X But actually any lower bound larger than Ct 0, t = max Wit t 0 t t would suffice for us Taking into account the trivial relation 04 p it p, we obtain from Lemmas 8, 9 the following Lemma 0 We have, with a sufficiently small constant t 0 < and suitable positive constants c and c, 05 E 0 t := D 0 it, itg it, it D 0 0, 0G 0, 0 a+bt 2, if t t e c 0, and for any t > t 0 and N > N 0, 06 E 0 t e c a+b max, t a+b/2 Proof By 04 and the definition of D 0 in 623 we clearly have 07 G it, it G 0, 0, 08 D 0 it, it = Wit a+b, D 0 0, 0 = W0 =, which immediately imply 09 E 0 t Wit a+b Hence, by Lemma 8 we have 05 and 06 for t t Finally, for t 0 t t we have by Lemma E 0 t = J t, V Wit a+b ct0, t log V /3 C t 0, t a+b which proves 06 c log 2 N a+b/3 e c t a+b,

21 PRIMES IN TUPLES II 2 We will continue our study of Dit, it with that of 02 L 4 t := log G 4it, it = Re log G 4it, it G 4 0, 0 G 4 0, 0 d We first divide each term by + ν3p p p in the product representation of both G 4 it, it and G 4 0, 0 After this we take the logarithm of each term and use the formula z m 022 log z = z +, if z < m m=2 Now we separate the effect of the linear terms and those of order m 2 and write accordingly 023 L 4 t = L 4, t + L 4,2 t We have by the trivial relations ν p a, ν 2 p b, 024 L 4, t = a + b ν p + ν 2 p cost log p 0 p p + ν 3 p/p p>v We remark that the sum is convergent, since ν p = a, ν 2 b = p for p The logarithms of the higher order terms of G 4 which do not involve the functions ν i p can be estimated from above in modulus for any t by 025 a + b p>v m=2 2 mp m Ca + b V log V C log 2 N 3 Similarly we have for the contribution of the numerator to L 4,2 t the upper estimate valid for any t 2a + b m Ca + b2 Ca + b 026 mp m V log V log 2 N 3 p>v m=2 We see from 06 that this estimation is sufficient for t t 0 but not for small values of t Then, working more carefully we have for the contribution of the terms of G 4 involving the functions ν i p to L 4,2 t the upper estimate 027 m p>v m=2 j=0 C p>v m=2 m j Ca + b2 t 2 log V V ν p j ν 2 p m j mp + ν 3 p m cosm 2jt logp a + b m mp m t2 m 2 log 2 p Ca + b 2 t 2 p>v Ca + bt2 log 2 N log 2 p p 2 It is easier to see that the contribution of the terms of G 4 which do not involve the functions ν i p to L 4,2 are majorized by 028 Ca + bt 2 p>v log 2 p p 2 Ct2 log 2 N Summarizing we have proved Lemma G4it, it G 40,0 exp C a+b log 2 N min, t2 Comparing the above with we see that remain valid if we multiply them by G 4 it, it/g0, 0 This proves the final result of this section:

22 22 D A GOLDSTON, J PINTZ AND C Y YILDIRIM Lemma 2 Dit, it max, t a+b/2 D0, 0 for any real t Together with 0 this implies Lemma 3 Ds, s e C K max, t a+b/2 D0, 0 for s L Estimate of I 2 Evaluation of I In this section we will estimate the integral I 2, based on formulas 93 95, using Lemmas 4 and 3 First we obtain from the above lemmas for s L by j d mina, b K, v K B j s, H, H 2 dj s u+v+2 ec j ν v CKlog 2 N + log T j ν i + Ds, s s ν=0 K D0, 0d j log t + 3 j max, t a+b u+v δ0 s 2 e C K CK 2 log 2 N j δ u+v 0 s 2 D0, 0 i= j CK log 2 N j ν K log 2 N ν ν=0 Integrating the above upper bound along L we obtain 2 C j H, H 2 e C K CK 2 log 2 N j δ u+v+ 0 D0, 0 Finally, summation over j d yields in 94 by R N c 3 K I 2, ec D0, 0δ u+v+ 0 log R d d! d CK 2 log 2 N log R j=0 ecu+v D0, 0log R d K log 2 N u+v+ d! D0, 0log Rd+u+v CK 3/2 log 2 N d + u + v! log R This implies by 9 and 94 4 I 2 D0, 0log Rd+u+v log N K/50 d + u + v! u+v+ D0, 0log Rd+u+v log N K/50 + e c log N d + u + v! This yields by Lemma 7 the final asymptotic evaluation of I in 622 by D0, 0 = G0, 0 as v+u u log R d+v+u G0, 0 K 5 I = + O d log 2 N + O e c log N, d + v + u! log R where 6 G0, 0 = p P thereby proving Theorem 4 ν ph p p H = SHP p AH, j

23 PRIMES IN TUPLES II 23 2 A Bombieri Vinogradov type theorem In the present section we will prove a modified Bombieri Vinogradov theorem, where the examined moduli are all multiples of a single modulus M It would facilitate our task if we were entitled to use the following hypothesis Hypothesis SY If L δ, χ = 0 for a δ > 0 and a real primitive character χmod q, q Y, then 2 δ 3 log Y for Y > C 0, an explicitly calculable absolute constant We note that we have the effective unconditional estimate [6], [6], valid for q > q 0 : 22 δ q A further observation similar to that of Maier [4] is that by the Landau Page theorem cf Davenport [2, 4], with some constant c in place of /3, or Pintz [7] with /2 + o for any given Y there is at most one real primitive character χ which does not fulfill 2 This makes it possible to turn Hypothesis SY into a theorem, valid for a sequence Y = Y n for n > n 0, an explicitly calculable absolute constant with 23 Y n exp Yn In order to show this, suppose that 2 is false for a sufficiently large Y, ie by 22 there exists a χ mod q Y such that L δ, χ = 0 with 24 min, c 0 δ < Y q 3 log Y Let us choose Ỹ > Y in such a way, that 25 Ỹ = exp δ = 3δ 3 log Ỹ Then for any other zero δ 2 belonging to a real primitive χ 2 mod q 2, q 2 Ỹ, we have by the Landau Page theorem in the version of Pintz [7] 26 maxδ, δ 2 > 3 log Ỹ δ 2 > 3 log Ỹ Now, show that 2 is true for a value Y = Ỹ satisfying 27 Y < Ỹ < exp Y /3 We can formulate this as Lemma 4 Hypothesis SY holds for a sequence Y n with 28 Y n exp Y n where Y 0 can be chosen with Y 0 < C 0, an explicitly calculable absolute constant An alternative to this Lemma and this approach would be to use Heath-Brown s theorem [0] but only in case of Theorem according to which either i SY holds for every Y > C, with some absolute constant C, or ii there are infinitely many twin primes

24 24 D A GOLDSTON, J PINTZ AND C Y YILDIRIM The significance of the real zeros in Hypothesis SY is that a similar inequality holds with Re in place of δ and with a constant c 0 in place of /3 if Im is not too large; this is the standard zero-free region of L-functions cf Davenport [2, 4] Lemma 5 There exists an explicitly calculable absolute constant c 0 < /3 such that Ls, χ 0 in the region 29 σ > c 0 logq t + 3, apart from possible real exceptional zeros of real L-functions Now we are in a position to formulate and prove the following theorem which is similar to but stronger than Lemma 6 of Maier [4] Theorem 6 Let c be an arbitrary, fixed constant Let Y = Y X be a strictly monotonically increasing function of X with 20 exp 2 log X Y X X Then there exists a sequence X n satisfying X < C 0, an explicitly calculable constant, with the following property Let X = X n, L = log X, M be a natural number min Y X/4, X /8, 2 Q = X /2 M 3 exp c log X, 22 E X, q := max x X max a,q= Then 23 q Q q,m= where c 2 = minc /6, c 0 /4 EX, q, a := max x X max a,q= E X, Mq X M L5 exp c 2 p x p amod q log X log Y X log p x, ϕq Remark The above theorem holds with any X, for which SY X = SY is true, ie ] 24 Ls, χ 0 for s 3 log Y, holds without exception for all real primitive characters χ mod q, where 25 q Y = Y X Proof We will choose our sequence X n = Y Y n, where Y n is the sequence supplied by Lemma 4 for which SY is true and Y is the inverse function of Y X Alternatively, if hold, then we can choose X as an arbitrary sufficiently large number In both cases SY, ie hold Using the explicit formula for primes in arithmetic progressions with T = X log 2 X = β + iγ = δ + iγ denotes a generic zero of an L-function we obtain cf Davenport [2, 9] for any a with a, q =, q Q, y X the relation 26 Ey, q, a = ϕq χa χq = χ β /2, γ T, y + O L 2 y

25 PRIMES IN TUPLES II 25 The effect of the last error term is clearly suitable, OQ L 2 X in total We can classify zeros of all primitive L-functions modq M Q M, M M, up to height T into OL 4 classes Bκ, λ, µ, ν by Lemma 5, as 27 [ κc0 M [M λ /2, M λ, q [Q ν /2, Q ν, γ [T µ /2, T µ, δ L, κ + c 0, L where 28 M λ = 2 λ 2M, Q ν = 2 ν 2Q, T µ = 2 µ 2T, κc 0 L 2, with the additional class of index 0: γ [0, = [0, T 0 The set of quadruples κ, λ, µ, ν satisfying 28 with ν, µ 0, λ, κ 0 will be denoted by B In this case we have clearly by 26, similarly to Davenport [2, 28], 29 where q Q q,m= E X, qm X M L6 max κ,λ,µ,ν B 220 N σ, Q, T = N κ+c0 L, M λ Q ν, T µ Q ν T µ X c0κ/l, Q/2<q Q χq = χ χ primitive β σ, γ T We will see that, in order to prove our theorem, it will be enough to prove for any quadruple δ, M Q, T with the property cf 29, c 0 logqm T δ 2, 2 M M, 2 Q Q, T T or c 0 log Y δ 2, 2 M M, Q Y, T = T 0 =, the crucial inequality 0 δ 2, 2 M M, Q > Y, T = T 0 = 222 N δ, M Q, T L 9 QTX δ exp c log X/ logy with some positive absolute constant c The first line in 22 is meant to cover all non-real zeros, the second and third lines are meant to cover the real zeros We will use Theorem 22 of Montgomery [5] 223 N δ, Q, T Q 2 T 3δ +δ log QT 9 We do not need for the range δ /5 the stronger inequality of Theorem 22 of [5] with the exponent 3δ/ + δ replaced by the smaller 2δ/ δ Since 3δ/ + δ, 222 will follow if we can show 224 M 6δ Q 6δ +δ X δ e c2 log X with c 2 = c /6 Since in the range 0 δ /2 we have 6δ +δ 2δ, this is true by the definition Q = X /2 M 3 exp c log X, if δ /2 In case of δ /2 we have by N δ, M Q, T QT /2 M 6δ If we have here QT exp log X, then 225 directly implies 222, since 226 N δ, M Q, T QT QT /2 M 6δ X δ exp log X/2

26 26 D A GOLDSTON, J PINTZ AND C Y YILDIRIM c 0 log Y If δ /2 and QT e log X Y, then δ c 0 / logmqt or δ 3 log Y > by 24 25, since the modulus of the corresponding primitive character is q M 4QM Y Hence, M X δ X δ/4 exp c 0 = exp c 0 8 log X log Y log X 8 min log QT, log X log M, log X log Y Remark The condition for Q could be weakened to Q < X /2 M exp cfx, Y but this has no significance in our application 3 Proof of Theorem 5 The method of proof of Theorem 5 is quite similar to that of Theorem 4 The basic difference is that instead of the trivial problem of the distribution of integers in arithmetic progressions we have to use properties of the distribution of primes in arithmetic progressions Since we have to consider the weighted sum of the error terms in the formula for the number of primes in arithmetic progressions, the Bombieri Vinogradov theorem can help us However, due to the relatively weak estimate of the original Bombieri Vinogradov theorem, it does not lead to better results than lim inf p n+ p n / logp n = 0 That is partly why we need to use n Theorem 6 instead Our situation is even more complicated here, since we need the moduli of the progressions to be the multiples of a number V Fortunately our present Theorem 6 solves this problem in a completely satisfactory way, even without loss if P = M exp + o log N which is now the case by V = log N We will suppose that N = X n /3, n is sufficiently large, and M = P in Theorem 6 If we use Heath-Brown s theorem [0] we may assume Hypothesis SY for any N and then N can be an arbitrary, sufficiently large integer In the course of proof we will follow closely the analogous proofs of Propositions 4 and 5 in Sections 7 9 of [7], so we will sometimes omit details Let 3 x Θx; q, a : = log p = [a, q = ] + Ex; q, a, p x p amod q φq where [S] is if the statement S is true and 0 if S is false We have for a regular residue class ã with respect to H and P 32 S R N; H, H 2, l, l 2, P, ã, h 0 := = K+l!K+l 2! 2N n=n+ µdµe log R d d,e R Λ R n; H, l Λ R n; H 2, l 2 θn + h 0 K+l log R K+l2 θn + h 0 e n N,n eamod P d P H n,e P H2 n For the inner sum, we let d = a a 2, e = a 2 a 2 where d, e = a 2, and thus a, a 2, and a 2 are pairwise relatively prime We may suppose in the following d, P = e, P =, otherwise the last sum would be zero, since by the regularity of ã we have P H n, P = P H2 n, P = The n for which d P H n and e P H2 n cover certain residue classes modulo [d, e] If n b mod a a 2 a 2 is such a residue class, then letting m = n + h 0 b + h 0 mod a a 2 a 2, b b mod a a 2 a 2,

27 PRIMES IN TUPLES II 27 b ãmod P we see this residue class contributes to the inner sum 33 N++h 0 m 2N+h 0 m b+h 0 mod a a 2a 2P θm = θ2n + h 0 ; a a 2 a 2 P, b + h 0 θn + h 0 ; a a 2 a 2 P, b + h 0 N = [b + h 0, a a 2 a 2 P = ] φa a 2 a 2 P + O E 3N, a a 2 a 2 P We need to determine the number of these residue classes where b+h 0, a a 2 a 2 P = so that the main term is non-zero The condition ã + h 0, P = b + h 0, P = is equivalent to ã being regular with respect to H 0, since ã is regular with respect to H Thus we will assume from now on that ã is regular with respect to H 0 If p a then b h j mod p for some h j H, and therefore b + h 0 h 0 h j mod p Thus, if h 0 is distinct modulo p from all the h j H then all ν p H residue classes satisfy the relatively prime condition, while otherwise h 0 h j mod p for some h j H leaving ν p H residue classes with a non-zero main term We introduce the notation ν p H for this number in either case, where we define for a set G 34 ν p G = ν p G 0 and 35 G 0 = G {h 0 } We extend this definition to ν d H for squarefree numbers d by multiplicativity The function ν d is familiar in sieve theory, see [8] The same applies for ν d H 2 and ν d H H 2, as in 62 Since En; q, a log N if a, q > and q N we conclude 36 N+ n 2N,n eap d P H n,e P H2 n θn + h 0 = ν a H ν a2 H 2 ν a2 H H 2 + O d K a a 2 a 2 E 3N; a a 2 a 2 P N φa a 2 a 2 P Let P denote that the summation variables are relatively prime to P and to each other Substituting this into 32 we conclude by l i K 37 S R N; H, H 2, l, l 2, P, ã, h 0 N P µa µa 2 µa 2 2 ν a H ν a2 H 2 ν a2 H H 2 = ϕpk+l!k+l 2! φa a 2 a 2 + O log R4K a a 2 R a 2a 2 R a a 2 R a 2a 2 R log R a a 2 K+l log R a 2 a 2 P dk a a 2 a 2 E 3N; a a 2 a 2 P = N ϕp T R H, H 2, l, l 2, h 0 + O log R 4K E K N K+l2

28 28 D A GOLDSTON, J PINTZ AND C Y YILDIRIM Using the notation R 2 = Q, we obtain from Theorem 6 by the trivial estimate EX, Pq, a 2q P X log X for Pq X, Lemma 3 and by Hölder s inequality with parameters α = ν +, β = ν + /ν where ν Z +, c logk + ν c logk +, uniformly for K log N/2C, means summation over squarefree integers which are relatively prime to P 38 E K N q Q q Q q Q dk qe 3N, Pq q=a a 2a 2 dk qd 3 qe 3N, Pq = q Q q Q d 3K q q /β d 3K q β /β /α q α/β E 3N, Pq α q + 2 log N CK 6NP log 3N ν/ν+ q Q log N CK+ NP exp c 2 log N ν + NP exp CK + log 2 N c 2 ν + log N log N NP exp c logk + Since, by 324, K satisfies the inequality 39 K log 2 N < c log N/ logk From 39 we have, finally log N 30 log R 4K E K N P N exp c logk + q /β E 3N, Pq E ν+ 3N, Pq So, our task is reduced to the evaluation of TR which is very similar to TR in 622 Due to the more general treatment of TR in Section 5 than needed, the crucial part, the error analysis will remain the same The difference will be only the fact that we have now ϕa a 2 a 2 in the denominator in 37 in place of a a 2 a 2 Therefore νip ν has to be replaced by ip p +s i p p in the definition of Fs s i, s 2 and Gs, s 2 in 65 and 6 where s i = s, s 2 or s 3 = s + s 2 However, factors of type p +si remain unchanged, since they arise from the zeta-factors Summarizing our results above we have 3 S R N; H, H 2, l, l 2, P, ã, h 0 = N N ϕp T Rl, l 2 ; H, H 2 +O P exp c log N log 2 N where 32 T R l, l 2, H, H 2 := 2πi 2 33 Fs, s 2 := p>v Fs, s 2 R s s K+l+ R s2 s K+l2+ 2 ds ds 2, ν p p p ν 2p s p p + ν 3p s2 p p s3