A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Abstract We describe a particular greedy construction of an arithmetic progression-free sequence from a finite composition We also give an analysis on the properties of the resulting sequence 1 Introduction One of the many open problems that remain in number theory addresses the question of existence of arbitrarily long finite arithmetic progressions of primes [3] Erdös asked a more general question: If A is an infinite set of positive integers such that the series a A a 1 diverges, then must A contain arbitrarily long finite arithmetic progressions [4]? If the answer to his question is yes, then this would definitely imply the existence of arbitrarily long finite arithmetic progressions of primes since p 1 is known to diverge p The main concern of this paper is approaching Erdös conjecture by the contrapositive: If A does not contain arbitrarily long finite arithmetic progressions, does a 1 necessarily converge? More specifically, we mainly concentrate on a A a specific case of his conjecture; ie, we concentrate on sets that do not contain any AP Hence it suffices to concentrate on sequences without a 3-term AP (AP will denote arithmetic progression from this point forward) We should also make the note that progression, without the qualifier arithmetic, will refer to a finite sequence In the case that an AP is infinite, we will say AP sequence We develop a construction to produce AP-free sequences; we then analyze and offer examples of the construction Description of the Construction 1 Introduction In order to discuss our construction, we must first define the notion of an irreducible composition Definition 1 A composition, m = c 1 +c + +c k, is reducible when the following condition is satisfied: c i = c i+ k+1 for i = 1,, k 1 and for k odd Example The composition 1,, 1 is reducible while the composition 1,, 4,, 1 is irreducible Date: April 5, 005 Paper originated from a master s thesis 1
BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY The basic idea is to start with an irreducible composition, c 1,, c n 1 (we will list a composition as before instead of using the convention c 1 + + c n 1 ), that satisfies the following conditions Proposition 3 A progression S constructed from a composition, k = c 1 + c + + c n, such that d 1 = 1, d n+1 = c i, is an AP-free progression if and only if c i 1 i n c j, for all a, b, s, 1 a s < b n Proof The proof is straightforward and therefore omitted Upon starting with an irreducible composition, an exact copy of the composition is appended leaving an open spot for a new value, µ, as in the following illustration: c 1,, c n 1 c 1,, c n 1, µ, copy c 1,, c n 1, µ, c 1,, c n 1 The value of µ is then chosen so that the resulting composition still satisfies the conditions of Proposition 3 This process is then repeatendefinitely Notice that after one iteration we have doubled the number of elements in the sequence and then added one more We can also re-index the resulting sequence as follows: d 1,, d n 1, µ, d 1,, d n 1 d 1,, d n 1, µ = d n, d n+1,, d n 1 Formal Description of the Construction We now formally describe the process Let c 1,, c n 1 be positive integers, n such that c i c j, for all 1 a s < b < n The conditions above are equivalent to those in Proposition 3 Hence by Proposition 3, the finite set of integers S = {m k k < n, m 1 = 1 and m k = 1<i k c i} also contains no AP We now inductively define a sequence {d k } of positive integers by c k, if 1 k < n d k = µ t, if k = t n for some t 0 d k t n, if t < k < t+1 n, where µ t is the least positive integer such that for all 1 a, b < t+1 n, µ t (1) for all t n + 1 s b () s j b µ t t n+1 i<s t n+1 j b a i< t n s<j< t n for all a s < t n Notice that in 1 and, the RHS takes only a finite set of possible values, and so by the Well-Ordering principle, µ t is well-defined We should also remark here that this algorithm produces sequences that coincide with the greedy construction of Odlyzko in certain cases It is now necessary to show that any sequence constructed as above does not contain an AP
A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS3 Theorem 4 Let {d k } be a sequence constructed as above from c 1,, c n 1 Then (1) For any 1 a s < b, () The subsequence d 0 n, d 1 n, d n, is strictly increasing Proof We will prove 1 by induction It is true for 1 a s < b < 0 n by assumption, so suppose the result is true for all 1 a s < b < t n By construction of {d k } and the induction hypothesis, the result holds for t n < a s < b < t+1 n, so it remains only to show that it holds for 1 a s, t n < b < t+1 n First suppose that s < t n Then = µ t = 0 since µ t satisfies Now suppose that s t n Then, = = 0 a i< t n a i< t n s<j< t n t n+1 j b µ t + µ t + t n<i s t n<j b t n+1 i s s<j< t n µ t since µ t satisfies 1 We now prove Notice that µ t+1 µ t by definition of µ t since µ t+1 must in particular satisfy the same inequalities as does µ t To see this, notice that µ t+1 cannot be less than µ t since µ t is the least positive integer such that 1 and hold Ie, µ t+1 < µ t contradicts the definition of µ t Thus it suffices to show that µ t+1 µ t This follows immediately from part 1 by taking a = 1, s = t n, b = t+1 n: 0 1 i t t n<j t+1 n = µ t µ t+1 1 i< t t n<j< t+1 n = µ t µ t+1 1 i< t 1 j< t n = µ t µ t+1 Corollary 5 Let c 1,, c n 1 and {d k } be defined as above Then the sequence defined by m 1 = 1, m k+1 = m k + d k contains no arithmetic progressions Proof Proof follows immediately from Proposition 3 since the conditions in Theorem 4 are equivalent to those in Proposition 3
4 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY 3 Example of the Construction Let us start with the initial composition of 1 Although it may seem rahter uninteresting at first glance, some very neat observations and patterns arise In fact, starting the construction with the initial composition 1 coincides with the greedy construction of S(1) described by Odlyzko and Stanely [1] By expanding the partition 1 by the algorithm we get the following partition after four iterations: 1,, 1, 5, 1,, 1, 14, 1,, 1, 5, 1,, 1, 41, 1,, 1, 5, 1,, 1, 14, 1,, 1, 5, 1,, 1 The value of the µ s in order are, 5, 14, 41 We then set up the equations as follows: µ 1 µ 0 = 5 = 3 1 µ µ 1 = 14 5 = 3 µ 3 µ = 41 14 = 3 3 µ t+1 µ t = 3 t+1 Then by adding all the equations, we get µ t+1 µ 0 = 3(1 + + 3 t ) ( 3 t+1 ) 1 = 3 = 3t+ 3 µ t+1 = 3t+ 3 + = 3t+ + 1 Now, consider the following (remember that we are using the initial parition 1, hence n = ): m 1 = 1 m = 1 + d 1 m n 1 = 1 + d 1 + + d n m n = 1 + d 1 + + d n + d n 1 = µ 0 m n+1 = 1 + d 1 + + d n m n = 1 + d 1 + + d n 1 + d n + d n+1 + + d n 1 = µ 1 Hence m k is the AP-free sequence Now since each µ t can now be described by a function of t, each m a= t n can also be described Therefore, we now have the means to determine the convergence properties of the sum of the reciprocals We now show the convergence of the sum of the reciprocals of the sequence constructed by the greedy algorithm Then we have
A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS5 m 1 1 implies 1 1 m, m }{{} 3 µ 0 1 terms implies n 1 i= t+1 n 1 m 1 i 0 3 0+1 + 1 m t n,, µ t+1 n 1 µ t implies m 1 i t }{{} 3 t+1 + 1 i= t n terms t n Thus adding the inequalities in the last column and replacing n with we get 1 + t=0 The summation t t=1 3 t+1 + c t+1 3 t+1 + 1 = 1 + 4 t 3 t+1 + 1 t=0 clearly converges 1 m t=1 t 4 Consequences of the Construction In the last section, it was shown that the µ t s for the greedy algorithm followed a certain pattern This is not, however, the general pattern for all sequences created by our construction We now attempt to generalize a pattern for all µ t s with any initial composition Lemma 6 Let {d m } be a sequence constructed as above from c 1,, c n 1 Then for any T > t 0, we have: (1) + T n+ t n, for all 1 i < t n () + t+1 n, for all T n t n i < T n (3) = t+1 n, for all T n < j < T n + t n (4) = + t n, for all T n t+1 n t n j T n t+1 n Proof Notice that 1 follows immediately from the definition of {d n } since + T n+ t n = + T n = For, notice that we may write i = T n t n + j for 0 j < t n Then i + t+1 n = T n + t n + j for 0 j < t n So, + t+1 n = d T n+ t n+j = by 1 And then d T 1 n+ + t n+j = d T n+ + t n+j = = To prove 3, let i = j t+1 n Then T n < j < T n + t n implies that T n t+1 n < i < T n Finally, for 4, notice that from we can write + t+1 n = t+1 n = t n for T n t n j < T n Then for i = t+1 n, we have d t n+i for T n t+1 n t n j T n t+1 n Theorem 7 Let T > t + 1 If µ T >, then µ T > Proof Assume by contradiction that µ T < We now will show that µ t = µ T the minimality of µ t We now proceed by cases Let = 1 i t n 1 i t n µ T > 0 satisfies 1 and thus contradicting
6 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Case 1: Now suppose, by way of contradiction, that there exist 1 a < t n < b < t+1 n and s [a, t n] so that µ t + We then have (3) s<j< t n µ T s<j< t n t n<j b t n<j b Now let ã = T n t n + a, b = T n t n + b and s = T n t n + s Then substituting into equation 3, we have, µ T s<j< T n Which upon simplifying, we get (4) s<j b T n<j b We now have T n t n + 1 ã < b < T n + t n, s [ã, T n] From Lemma 6, we have the following identities: (5) (6) (7) (8) T n t n i<ã T n t+1 n+1 i< T n t n b t+1 n<i< T n t n b t+1 n<i< T n t n T n+ t n i<ã+ t+1 n b<j< T n+ t n b t+1 n t n<i< T n t+1 n Notice that from Equation 7 and Equation 8, we have (9) b t+1 n t n<i< T n t+1 n b<j< T n+ t n By substituting Equation 5 into equation 4 and adding the LHS of Equation 6 and Equation 9 to the LHS of equation 4 while adding the RHS of Equation 6 and Equation 9 to the RHS of equation 4, and we get the following T n t+1 n<i< T n t n T n t n i<ã b t+1 n t n<i< T n t+1 n (10) = s<j b T n+ t n j<ã+ t+1 n b<j< T n+ t n We use the following picture to illustrate the substitutions:
A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS7 LHS LHS LHS 9 5 6 LHS T {}}{ {}}{ {}}{ {}}{ b 4 5 µ }{{}}{{}}{{} 1 3 ã s RHS RHS RHS 9 6 where (1) b t+1 n () T n t+1 n + 1 (3) T n t n (4) T n + t n (5) T n + t n + a Then by simplifying Equation 10, we have b t+1 n t n<i s s<j<ã+ t+1 n contradicting the definition of µ T Case : Now suppose, by way of contradiction, that there exist 1 a < t n < b < t+1 n and s [ t n, b] so that µ t + We then have (11) a i< t n µ T a i< t n 1 j< t n t n<i s, t n<i s s<j<b Now let ã = T n t n + a, b = T n t n + b and s = T n t n + s Then substituting into equation 11, we have, µ T ã i< T n 1 j< t n Which upon simplifying, we get (1) s<j b T n<i s 1 j< t n s<j b We now have T n t n + 1 ã < b < T n + t n, s [ T n, b] From Lemma 6, we have the following identities: (13) (14) T n t n i<ã T n+ t n+1 i< T n+ t+1 n T n+ t+1 n i<ã+ t+1 n+ t n By substituting Equation 13 into Equation 1 and adding the RHS of Equation 9 and Equation 14 to the RHS of Equation 1 while adding the LHS of Equation 14 and Equation 8, we get the following b t+1 n<i< T n t n T n t n i<ã s<j b
8 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY (15) b<i< T n+ t n T n+ t n+1 i< T n+ t+1 n T n+ t+1 n i<ã+ t+1 n+ t n We use the following picture to illustrate the substitutions: LHS LHS 8 14 LHS {}}{ {}}{ {}}{ s b 3 4 5 }{{}}{{}}{{}}{{} 1 ã µ T RHS RHS RHS RHS 9 13 14 where (1) b t+1 n () T n t n (3) T n + t n (4) T n + t+1 n (5) ã + t+1 n + t n Then by simplifying Equation 15, we have b t+1 n<i s contradicting the definition of µ T s<j<ã+ t+1 n+ t n, The last piece of the puzzle in order to show that the sum of the reciprocals of the sequences created using our construction converges is the following theorem Theorem 8 If T > t + and µ T >, then µ T > 1 i t n Proof Assume by contradiction that µ T < We now will show that µ t+1 = µ T 1 i< t+1 n 1 i< t+1 n Let = 1 i< t+1 n 1 i t+1 n µ T > 0 satisfies 1 and thus contradicting the minimality of µ t+1 We now proceed by cases Case 1: Now suppose, by way of contradiction, that there exist 1 a < t+1 n < b < t+ n and s [a, t n] so that µ t+1 + We then have (16) s<j< t+1 n t+1 n<j b µ T s<j< t+1 n 1 i< t+1 n t+1 n<j b Now let ã = T n t+1 n + a, b = T n t+1 n + b and s = T n t+1 n + s Then substituting into equation 16, we have, µ T s<j< T n 1 i< t+1 n T n<j b
A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS9 Which upon simplifying, we get (17) 1 i< t+1 n s<j b We now have T n t+1 n+1 ã < b < T n+ t+1 n, s [ã, T n] From Lemma 6, we have the following identities: (18) (19) (0) (1) 1 i< t+1 n T n t+1 n i<ã b<i< T n+ t+1 n T n t+ n+1 i< T n t+1 n T n+ t+1 n i<ã+ t+ n b t+ n t+1 n<j< T n+ t+ n By substituting Equation 18 into equation 17 and adding the LHS of Equation 19 and Equation 0 to the LHS of equation 17 while adding the RHS of Equation 19 and Equation 0 to the RHS of equation 17, and we get the following T n+ t+1 n<i< T n t n T n t n i<ã b t+1 n t n<i< T n t+1 n () = s<j b T n+ t n j<ã+ t+1 n b<j< T n+ t n Then by simplifying Equation, we have b t+1 n t n<i s s<j<ã+ t+1 n contradicting the definition of µ T Case : Because Case 1 is so similar to Case 1 of the previous theorem, Case is also very similar, We now show that the sequence built from our construction converges con- Corollary 9 Let {m k } be a sequence constructed as above Then k 1 verges 1 m k Proof By Theorems 7 and 8, we have µ T > 1 i t+1 n
10 BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY It then follows that µ T +3 > 1 i T +1 n = = > 3µ T 1 i< T n 1 i< T n 1 i< T n µ T + µ T + Then notice that by the same argument we have T n+1 i< T +1 n 1 i< T n µ T + µ T +1 µ T +4 > 3µ T +1 µ T +5 > 3µ T + µ T +1 µ T +1 Continuing in the same manner, we now have the following for k = 1,, 3, µ T +3k > 3 k µ T Notice that µ T +3k+1 > 3 k µ T +1 µ T +3k+ > 3 k µ T + m T +3+0 n+1 through m T +3+1 n 3µ T m T +3+1 n+1 through m T +3+ n 3µ T +1 m T +3+ n+1 through m T +3+3 n 3µ T + m T +3+j n+1 through m T +3+(j+1) n 3 j/3 +1 µ T +j mod 3 Therefore it follows that 1 1 = + m k m k k 1 k T +3 n j 0 1 + 8 T m k k T +3 8 T j=,5,8, j 3 j µ T + m j T +3+j n<i T +3+(j+1) n j=0,3,6, 1 + 8 T m k µ T k T +3 < j=0,3,6, References 1 j 3 j + 8 T µ T j=1,4,7, j 3 j + 8 T µ T +1 j=1,4,7, j 3 j µ T +1 + j 3 j + 8 T µ T + j=,5,8, [1] AM Odlyzko and Stanely, Some curious sequences constructed with the greedy algorithm, unpublished Bell Laboratories report, 1978 [] Brian L Miller, A Construction of Arithmetic-Free Sequences, Master s Thesis, 004 [3] Melvyn B Nathanson, Elementary Methods in Number Theory, Graduate Texts in Mathematics, Springer, 000 [4] Richard K Guy, Unsolved problems in number theory, First, New York; Berlin: Springer- Verlag, c1981, 1981 j 3 j
A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS 11 DEPARTMENT OF MATHEMATICS, ARIZONA TERRITORIAL NORMAL SCHOOL, TEMPE, ARIZONA 8587