arxiv: v2 [math.nt] 15 Feb 2014

Transcription

1 ON POLIGNAC S CONJECTURE FRED B. HOLT AND HELGI RUDD arxiv: v2 [math.nt] 15 Feb 2014 Abstract. A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations. As the recursion proceeds, adacent gaps within longer constellations are added together to produce shorter constellations of the same sum. These additions or closures correspond to removing composite numbers that are divisible by the prime for that stage of Eratosthenes sieve. Although we don t know where in the cycle of gaps a closure will occur, we can enumerate exactly how many copies of various constellations will survive each stage. In this paper, we broaden our study of these systems of constellations of a fixed sum. By generalizing our methods, we are able to demonstrate that for every even number 2n the gap g = 2n occurs infinitely often through the stages of Eratosthenes sieve. Moreover, we show that asymptotically the ratio of the number of gaps g = 2n to the number of gaps g = 2 at each stage of Eratosthenes sieve converges to the estimates made for gaps among primes by Hardy and Littlewood in Conecture B of their 1923 paper. 1. Introduction We work with the prime numbers in ascending order, denoting the k th prime by p k. Accompanying the sequence of primes is the sequence of gaps between consecutive primes. We denote the gap between p k and p k+1 by g k = p k+1 p k. These sequences begin p 1 = 2, p 2 = 3, p 3 = 5, p 4 = 7, p 5 = 11, p 6 = 13,... g 1 = 1, g 2 = 2, g 3 = 2, g 4 = 4, g 5 = 2, g 6 = 4,... A number d is the difference between prime numbers if there are two prime numbers, p and q, such that q p = d. There are already many interesting results and open questions about differences between prime numbers; a seminal and inspirational work about differences between primes is Hardy and Littlewood s 1923 paper [3]. Date: 15 Feb Mathematics Subect Classification. 11N05, 11A41, 11A07. Key words and phrases. primes, twin primes, gaps, prime constellations, Eratosthenes sieve, primorial numbers, Polignac s conecture. 1

2 2 FRED B. HOLT AND HELGI RUDD A number g is a gap between prime numbers if it is the difference between consecutive primes; that is, p = p i and q = p i+1 and q p = g. Differences of 2 or 4 are also gaps; so open questions like the Twin Prime Conecture, that there are an infinite number of gaps g k = 2, can be formulated as questions about differences as well. Polignac s conecture. In 1849 de Polignac conectured that for every n > 0 the gap g = 2n occurs infinitely often among primes. In this paper we provide supporting evidence for this conecture by proving that the analogue for Eratosthenes sieve is true. We show that for any n > 0 the gap g = 2n occurs infinitely often in the stages of Eratosthenes sieve, and we show that the ratio of occurrences of g = 2n to g = 2, which ratio we denote by w 2n,1, asymptotically approaches the ratio implicit in Hardy and Littlewood s Conecture B [3]: w 2n,1 ( ) = q 1 q 2. q>2, q n To accomplish this, we need to generalize the work in [4] and [6]. In those papers, we studied the cycle of gaps in each stage of Eratosthenes sieve, denoting the corresponding cycle of gaps G(p # k ). Here we study the cycle of gaps G(N) among the generators in Z mod N for any N. A constellation among primes [7] is a sequence of consecutive gaps between prime numbers. Let s = c 1 c 2 c be a sequence of numbers. Then s is a constellation among primes if there exists a sequence of + 1 consecutive prime numbers p i0 p i0 +1 p i0 + such that for each i = 1,...,, we have the gap p i0 +i p i0 +i 1 = c i. In Eratosthenes sieve, s is a constellation if for some p k and some i 0 and all i = 1,...,, c i = g i0 +i in G(p k # ). For a constellation s, the length of s is the number of gaps in s, denoted s. A driving term for a gap g in G(p # ) is a constellation whose gaps sum to g. A driving term of length 1 is the gap itself. The power of the recursion on the cycle of gaps is seen in the following theorem, which enables us to calculate the number of occurrences of a constellation s through successive stages of Eratosthenes sieve. Theorem 1.1. (from [4, 6]) Given a gap g = 2n, let n g, (p) be the number of driving terms for g in G(p # ) of length. For every prime p k such that g < 2p k+1, (1) n g, (p k+1 ) = (p k+1 1) n g, (p k ) + n g,+1 (p k ). The challenge in applying this approach to Polignac s conecture is that the condition g < 2p k+1 in Theorem 1.1 requires us to go far into the stages of Eratosthenes sieve, before we can get exact counts for the driving terms of g of each length, the n g, (p k ) in Equation 1.

3 ON POLIGNAC S CONJECTURE 3 = N n 2 n 3 n 4 n 5 n 6 n 7 n 8 g = p 0 = 13 g = counts in G(p # ) - 1 n 2 p g = g = ratios to g=2-1 b -1 = p - 2 w g = a = p p - 2 g = Figure 1. This figure illustrates the dynamic system of Theorem 1.1 through stages of the recursion for G(p # ), using ust the counts of gaps and their driving terms. The coefficients of the system at each stage of the recursion are independent of the specific gap and its driving terms. Below the diagram for the system, we record the initial conditions for a set of gaps at p 0 = 13. From this information we can derive the recursive count for primes q > p 0. Since the raw counts are superexponential, we take the ratio of the count for each constellation to the count for g = 2. Following [6], once we have the exact counts n g, (p k ) for a prime p k such that g < 2p k+1, we can set up a dynamic system representing the counts through all subsequent stages of Eratosthenes sieve. Since the gap g = 2 has no driving terms other than the gap itself, we take the ratios of the other gaps to the number of 2 s at each stage of the sieve. So instead of the raw counts of Equation 1, we use the ratios w g, (p) = n g, (p)/n 2,1 (p): w g, (p k+1 ) = p k+1 1 p k+1 2 w g,(p k ) + p k+1 2 w g,+1(p k ). If we assemble the w g, (p k ) into a vector, we get a matrix equation with a remarkably simple eigenstructure, from which we derive the following corollary to Theorem 1.1.

4 4 FRED B. HOLT AND HELGI RUDD Corollary 1.2. (from [6]) For any gap g with initial ratios w g, (p k ), such that g < 2p k+1, the ratio of occurrences of this gap g to occurrences of the gap 2 in G(p # ) as p converges to the sum of these initial ratios across all the driving terms for this gap: (2) w g,1 ( ) = w g, (p k ) Approach toward Polignac s conecture. To establish an equivalent of Polignac s conecture for Eratosthenes sieve, we show that for every n > 1 the gap g = 2n does occur at some stage of the sieve and that as p w g,1 ( ) = q 1 q 2. q>2, q n To obtain this result, we first consider Z mod Q and its cycle of gaps G(Q), in which Q is the product of the prime divisors of 2n. We then bring this back into Eratosthenes sieve by filling in the primes missing from Q to obtain a primorial p #. Once we are working with G(p # ), we are poised to apply Theorem 1.1 and Corollary 1.2. However, the condition g < 2p k+1 could still require us to work with later stages of the sieve. We are able to show that the conclusion of Corollary 1.2 holds under the construction we are using. 2. The cycle of gaps among the generators in Z mod N Let G(N) denote the cycle of gaps among the generators in Z mod N, with the first gap being that between 1 and the next generator. There are φ(n) gaps in G(N) that sum to N. There is a one-to-one correspondence between generators of Z mod N and the gaps in G(N). Let G(N) = g 1 g 2... g φ(n). Then for k < φ(n), g k corresponds to the generator γ = 1 + k =1 g, and since φ(n) =1 = N, the generator 1 corresponds to g φ(n). Moreover, since 1 and N 1 are always generators, g φ(n) = 2. For any generator γ, N γ is also a generator, which implies that except for the final 2, G(N) is symmetric. In our previous work [4, 5, 6], we focused on Eratosthenes sieve, in which N = p #, the primorials. For reference we provide a few base cases, since we will develop G(N) by building the cycle of gaps via one prime factor of N at a time.

5 ON POLIGNAC S CONJECTURE 5 Remark 2.1. i) For any prime number p, ii) G(5 # ) = G(30) = G(p) = } 1 {{ 1} 2 p 2 As a convention, we write the cycles with the first gap being from 1 to the next generator. For a prime p, every number is a generator in Z mod p except p itself. The last gap of 2 is the gap from p 1 past p (or 0) around to 1. With G(p) as a starting point, we can build G(N) for any N by introducing one prime factor at a time. Lemma 2.2. Given G(N), for a prime q we construct G(qN) as follows: a) if q N, then we concatenate q copies of N, G(qN) = G(N) G(N) }{{} q copies b) if q N, then we build G(qN) in three steps: R1 Concatenate q copies of G(N); R2 Close at q; R3 Close as indicated by the element-wise product q G(N). Proof. A number γ in Z mod N is a generator iff gcd(γ, N) = 1. a) Assume q N. Since gcd(γ, N) = 1, we know that q γ. For = 0, 1,..., q 1, we have gcd(γ + N, qn) = gcd(γ, qn) = gcd(γ, N) = 1. Thus gcd(γ, N) = 1 iff gcd(γ + N, qn) = 1, and so the generators of Z mod qn have the form γ + N, and the gaps take the indicated form. b) If q N then we first create a set of candidate generators for Z mod qn, by considering the set {γ + N : gcd(γ, N) = 1, = 0,..., q 1}. For gaps, this is the equivalent of step R1, concatenating q copies of G(N). The only prime divisor we have not accounted for is q; if gcd(γ + N, q) = 1, then this candidate γ + N is a generator of Z mod qn. So we have to remove q and its multiples from among the candidates. When we remove a multiple of q as a candidate, we add together the gaps on each side of this multiple. We call this closing the gaps at this multiple. We first close the gaps at q itself. We index the gaps in the q concatenated copies of G(N): g 1 g 2... g φ(n)... g qφ(n).

6 6 FRED B. HOLT AND HELGI RUDD Recalling that the first gap g 1 is the gap between the generator 1 and the next smallest generator in Z mod N, the candidate generators are the running totals γ = 1+ 1 i=1 g i. We take the for which γ = q, and removing q from the list of candidate generators corresponds to replacing the gaps g 1 and g with the sum g 1 + g. This completes step R2 in the construction. To remove the remaining multiples of q from among the candidate generators, we note that any multiples of q that share a prime factor with N have already been removed. We need only consider multiples of q that are relatively prime to N; that is, we only need to remove qγ for each generator γ of Z mod N by closing the corresponding gaps. We can perform these closures by working directly with the cycle of gaps G(N). Since qγ i+1 qγ i = qg i, we can go from one closure to the next by tallying the running sum from the current closure until that running sum equals qg i. Technically, we create a series of indices beginning with i 0 = such that γ = q, and thereafter i k = for which γ γ ik 1 = q g k. To cover the cycle of gaps under construction, which consists initially of q copies of G(N), k runs only from 0 to φ(n). We note that the last interval wraps around the end of the cycle and back to i 0 : i φ(n) = i 0. Theorem 2.3. In step R3 of Lemma 2.2, each possible closure in G(N) occurs exactly once in constructing G(qN). Proof. Consider each gap g in G(N). Since q N, N mod q 0. Under step R1 of the construction, g has q images. Let the generator corresponding to g be γ. Then the generators corresponding to the images of g under step R1 is the set: {γ + N : = 0,..., q 1}. Since N mod q 0, there is exactly one for which (γ + N) mod q = 0. For this gap g, a closure in R2 and R3 occurs once and only once, at the image corresponding to the indicated value of. Corollary 2.4. Let g be a gap. If for the prime q, q g, then wg, (qn) = w g, (N). Proof. Consider a driving term s for g, of length in G(N). In constructing G(qN), we initially create q copies of s. If q N, then the construction is complete. For each driving term for g in G(N) we have q copies, and so n g, (qn) = q n g, (N). Similarly n 2,1 (qn) = q n 2,1 (N), and w g, (qn) = w g, (N). We have equality for each and so the result about the sum is immediate.

7 ON POLIGNAC S CONJECTURE 7 If q N, then in step R1 we create q copies of s. In steps R2 and R3, each of the possible closures in s occurs once, distributed among the q copies of s. The 1 closures interior to s don t change the sum, and the result is still a driving term for g. Only the two exterior closures, one at each end of s, change the sum and thereby remove the copy from being a driving term for g. Since q g, these two exterior closures occur in separate copies of s. If the condition g < 2p k+1 applies, then each of the closures occur in a separate copy of s, and we can use the full dynamic system of Theorem 1.1. For the current result we do not know that the closures necessarily occur in distinct copies of s, and so we can t be certain of the lengths of the resulting constellations. However, we do know that of the q copies of s, two are eliminated as driving terms and q 2 remain as driving terms of various lengths. n g, (qn) = (q 2) n g, (N). Since n 2,1 (qn) = (q 2)n 2,1 (N), the ratios are preserved w g, (qn) = w g, (N). Corollary 2.5. Let g = 2n be a gap, and let q be the largest prime factor of g. Then w g,1 ( ) = w g, ( q # ). Proof. For Eratosthenes sieve, by Corollary 1.2 and the preceding corollary, for all primes p > q, wg, (p # ) = w g, ( q # ), and we have our result. 3. Polignac s conecture for Eratosthenes sieve We establish an equivalent of Polignac s conecture for Eratosthenes sieve. Theorem 3.1. For every n > 0, the gap g = 2n occurs infinitely often in Eratosthenes sieve, and the ratio of the number of occurrences of g = 2n to the number of 2 s converges asymptotically to w 2n,1 ( ) = q>2, q n q 1 q 2.

8 8 FRED B. HOLT AND HELGI RUDD We establish this result in two steps. First we find a stage of Eratosthenes sieve in which the gap g = 2n has driving terms. Once we can enumerate the driving terms for g in this initial stage of Eratosthenes sieve, we can establish the asymptotic ratio of gaps g = 2n to the gaps g = 2 as the sieve continues. Lemma 3.2. Let g = 2n be given. dividing 2n, including 2, Let Q be the product of the primes Q = q 2n q, and n 1 = 2n/Q. Finally, let q be the largest prime factor in Q. Then in G( q # ) the gap g has driving terms, the total number of which satisfies n g, ( q # ) = φ(q) (p 2). p< q, p Q Proof. By Lemma 2.2 the cycle of gaps G(2n) consists of n 1 concatenated copies of G(Q). In G(Q), there are φ(q) driving terms for the gap g = 2n. To see this, start at any gap in G(Q) and proceed through the cycle n 1 times. The length of each of these driving terms is initially n 1 φ(q). We now want to bring this back into Eratosthenes sieve. Let Q 0 = Q, and let p 1,..., p k be the prime factors of q # /Q. For i = 1,..., k, let Q i = p i Q i 1. In forming G(Q i ) from G(Q i 1 ), we apply Corollary 2.4. Although we don t have enough information about the lengths of the driving terms to apply the dynamic system of Theorem 1.1 for each length, we do know that J n 2n, (Q i ) = (p i 2) =1 Thus at p k we have J n 2n, (Q k ) = (p k 2) =1 = J n 2n, (Q i 1 ) =1 J n 2n, (Q k 1 ) =1 ( k ) J ( k ) (p i 2) n 2n, Q 0 = (p i 2) φ(q) i=1 Proof. of Theorem 3.1. Let g = 2n be given. Let Q be the product of the prime factors dividing g and let q be the largest prime factor of g. By =1 i=1

9 ON POLIGNAC S CONJECTURE 9 Lemma 3.2 we know that in G( q # ) there occur driving terms for g if not the gap g itself. We know the total number of these driving terms is n g, ( q # ) = φ(q) (p 2). p< q, p Q The number of gaps 2 in G(q # ) is n 2,1 (q # ) = 2<p q (p 2). So for the ratios we have w g, ( q # ) = n g, ( q # )/n 2,1 ( q # ) = φ(q)/ (p 2) = (p 1) (p 2). p Q, p>2 p 2n, p>2 p Q, p>2 By Corollary 2.4 and Corollary 2.5, we have the result w 2n,1 ( ) = ( ) p 1. p 2 This establishes a strong analogue of Polignac s conecture for Eratosthenes sieve. Not only do all even numbers appear as gaps in later stages of the sieve, but they do so in proportions that converge to specific ratios. Using the gap g = 2 as the reference point since it has no driving terms other than the gap itself, the gaps for other even numbers appear in ratios to g = 2 implicit in the work of Hardy and Littlewood [3]. 4. Data & Observations To anchor the above results in data, we exhibit a few tables of data extracted from stages of Eratosthenes sieve. In each table, the rows are indexed by the size of the gap, and the columns are indexed by the length of the driving terms. So if the table is for the cycle of gaps G(p # ), the i th entry is the number of driving terms for the gap g i of length in G(p # ). We have calculated the tables for G(37 # ), for gaps from 2 to 3528 and for lengths of driving terms from 1 to 500. These tables are quite large. We present samples from the larger tables, which are posted on Our first table shows the table of nonzero entries for G(13 # ), for gaps g = 2,..., 32. This is the range of gaps for which the condition g < 2p k+1 holds and thus for which the full dynamic system of Theorem 1.1 applies.

10 10 FRED B. HOLT AND HELGI RUDD gap n g, (13): driving terms of length in G(13 # ) g = , These results may lend some insight into the Jacobsthal function [1]. The Jacobsthal function g(n) is defined as the least integer such that for any g(n) consecutive integers there is at least one which is relatively prime to N. We observe that this is equivalent to defining g(n) to be the maximum gap in G(N), and by Lemma 2.2 g(n) = g(q), in which Q is the product of the prime factors of N. From Lemma 2.2 and Theorem 2.3, letting q be the maximum prime in Q, we know that g(q) g( q # ). From our tabulated data, it appears that the maximum gap that actually occurs in G(p k # ) is roughly 2p k 1. We know from previous work [4] that the gap g = 2p k 1 always occurs in G(p k # ). Although this gap is sometimes exceeded as the maximum gap, the tables suggest that this value is often the maximum gap. Maximum gap size occurring in G(p # ) p max g p max g p max g p max g In the next table we exhibit the part of the table for G(31 # ) at which the driving terms through length 9 are running out. In this part of the table we observe interesting patterns for the maximum gap associated with driving terms of a given length. The driving terms of length 4 have sums up to 90 but none of sums 82, 86, or 88. Interestingly, although the gap 128 is a power of 2, in G(31 # ) its driving terms span the lengths from 11 to 27; yet the gaps g = 126 and g = 132 already have driving terms of length 9. In each stage of Eratosthenes sieve, some copies of the driving terms of length will have at least one interior closure, resulting in shorter driving terms at the next stage. For this part of the table, g 2p k+1 and so more

11 ON POLIGNAC S CONJECTURE 11 than one closure could occur within a single copy of a driving term. Letting 31 = p 1, we therefore know that a gap g = 2n will occur as a gap in G(p k # ) for k min, the length of the shortest driving term for g in G(31 # ). gap n g, (31): driving terms of length in G(31 # ) g = wg, w g,1 ( ) From the tabled values for G(31 # ), we see that the driving term of length 3 for g = 74 will advance into an actual gap in two more stages of the sieve. Thus the maximum gap in G(41 # ) is at least 74, and the maximum gap for G(43 # ) is at least 90. For g = 74, 82, 86, 94, 106, 118, 122, note that in the table for G(31 # ) w g, (31 # ) w g,1 ( ). Up through G(31 # ) the ratio is 1; but for each gap, we know that this ratio will ump to equal w g,1 ( ) in the respective G( q # ). How does the ratio transition from 1 to the asymptotic value? If we look further in the data for G(31 # ), we see that for the gap g = 222, w 222,(31 # ) = 2 but the asymptotic value is w 222,1 ( ) = 72/35.

12 12 FRED B. HOLT AND HELGI RUDD These gaps g = 2n have maximum prime divisor q greater than the prime p for the current stage of the sieve G(p # ). From Corollary 2.4 and the approach to proving Lemma 3.2, we are able to establish the following. Corollary 4.1. Let g = 2n, and let Q = q 1 q 2 q k be the product of the distinct prime factors of g, with q 1 < q 2 < < q k. Then for G(p # ), w g, (p # ) = ( ) qi 1. q i 2 2<q i p Proof. Let p = q for one of the prime factors in Q. By Corollary 2.4 these are the only values of p at which the sum of the ratios w g,(p) changes. Let Q = q 1 q 2 q. In G(q # ), g behaves like a multiple of Q. As in the proof of Lemma 3.2, in G(Q ) each generator begins a driving term of sum 2n, consisting of 2n/Q complete cycles. There are φ(q ) such driving terms. We complete G(q # ) as before by introducing the missing prime factors. The other prime factors do not divide 2n, and so by Corollary 2.4 the sum of the ratios is unchanged by these factors. We have our result: w g, (q # ) = 2<q i q ( qi 1 q i 2 Once the gap g = 2n finally occurs in G(p # ), from the description of the dynamic system in [6], we know that the ratio w g,1 (p # ) converges to its asymptotic value as quickly as a k 2 = p k q=p 1 q 3 q 2 converges to 0. This convergence is very slow; for p 1 = 17 and p k , a k 2 is still around ). 5. Conclusion By identifying structure among the gaps in each stage of Eratosthenes sieve, we have been able, for a handful of conectures about gaps between primes, to resolve the equivalent conectures for Eratosthenes sieve. These results provide evidence toward the original conectures, to the extent that gaps in stages of Eratosthenes sieve are indicative of gaps among primes themselves. In [4] we established that across the stages of Eratosthenes sieve:

13 ON POLIGNAC S CONJECTURE 13 Spikes - liminf. In the k th stage of the sieve, there are consecutive gaps g k1 and g k2 such that as k, lim inf g k2 /g k1 = 0. Spikes - limsup. In the k th stage of the sieve, there are consecutive gaps g k1 and g k2 such that as k, lim sup g k2 /g k1 =. Superlinear growth. For any n > 2, there exists a stage k n of the sieve, such that for all stages k k n, there exists a sequence of n consecutive gaps g k,i+1,..., g k,i+n g k,i+1 < g k,i+2 < < g k,i+n. Superlinear decay. For every n > 2, there exists a stage k n of the sieve, such that for all stages k k n, there exists a sequence of n consecutive gaps g k,i+1,..., g k,i+n g k,i+1 > g k,i+2 > > g k,i+n. These results provide examples that persist through all subsequent stages of Eratosthenes sieve and thereby provide evidence to resolve conectures by Erdös and Turán [2]. In this paper we have generalized the approach we have used in [4, 5, 6] in order to establish for Eratosthenes sieve the analogue of Polignac s conecture. We have shown that for every n > 0, there is a stage k n such that for every stage k k n of the sieve there exist gaps of size g = 2n. Moreover, we have shown that the ratio of the number of gaps g = 2n to the number of gaps 2 in the k th stage of the sieve, which ratio is denoted w 2n,1 (p k ), asymptotically approaches the ratio suggested by Hardy and Littlewood [3]: w 2n,1 ( ) = q 1 q 2. q>2, q n References 1. P. Erdös, On the integers relatively prime to n and on a number-theoretic function considered by Jacobsthal, Math. Scand. 10 (1962), P. Erdös and P. Turán, On some new questions on the distribution of prime numbers, BAMS 54 (1948), G.H. Hardy and J.E. Littlewood, Some problems in partitio numerorum iii: On the expression of a number as a sum of primes, G.H. Hardy Collected Papers, vol. 1, Clarendon Press, 1966, pp F.B. Holt, Expected gaps between prime numbers, arxiv v1, 6 June F.B. Holt and H. Rudd, Estimating constellations among primes - I. uniformity, arxiv , 8 Dec F.B. Holt and H. Rudd, On small gaps among primes, arxiv , 29 Dec H. Riesel, Prime numbers and computer methods for factorization, 2 ed., Birkhauser, fbholt@uw.edu ; th Ave NE #500, Seattle, WA 98105; 48B York Place, Prahran, Australia 3181