arxiv: v1 [math.co] 14 Jul 2011

Transcription

1 arxiv:07.888v [math.o] 4 Jul 0 Monochromatic 4-term arithmetic progressions in -colorings of Z n Linyuan Lu Xing Peng July 5, 0 Abstract This paper is motivated by a recent result of Wolf [] on the minimum number of monochromatic 4-term arithmetic progressions (4-APs, for short) in Z p, where p is a prime number. Wolf proved that there is a -coloring of Z p with % fewer monochromatic 4-APs than random -colorings; the proof is probabilistic and non-constructive. In this paper, we present an explicit and simple construction of a -coloring with 9.3% fewer monochromatic 4-APs than random -colorings. This problem leads us to consider the minimum number of monochromatic 4- APs in Z n for general n. We obtain both lower bound and upper bound on the minimum number of monochromatic 4-APs in all -colorings of Z n. Wolf proved that any -coloring of Z p has at least (/6 + o())p monochromatic 4-APs. We improve this lower bound into (7/96+o())p. Our results on Z n naturally apply to the similar problem on [n] (i.e., {,,...,n}). In 008, Parillo, Robertson, and Saracino [5] constructed a -coloring of [n] with 4.6% fewer monochromatic 3-APs than random -colorings. In 00, Butler, ostello, and Graham [] extended their methods and used an extensive computer search to construct a - coloring of [n] with 7.35% fewer monochromatic 4-APs (and 6.8% fewer monochromatic 5-APs) than random -colorings. Our construction gives a -coloring of [n] with 33.33% fewer monochromatic 4-APs (and 57.89% fewer monochromatic 5-APs) than random -colorings. Introduction Let G be a finite subset of a commutative group. For any integer k 3, a k-term arithmetic progression (or k-ap, for short) is an (ordered) sequence of k elements in G of the form (a,a+d,...,a+(k )d), where a is the first element and d is the common difference. A -coloring of G is a map c: G {0,}. A University of South arolina, olumbia, S 908, (lu@math.sc.edu). This author was supported in part by NSF grant DMS University of South arolina, olumbia, S 908, (pengx@mailbox.sc.edu).this author was supported in part by NSF grant DMS

2 k-ap (a,a + d,...,a + (k )d) is monochromatic if c(a) = c(a + d) = = c(a + (k )d). Let m k (G,c) be the number of monochromatic k-aps in the -coloring c. A natural question is how small m k (G,c) can be? Let AP k (G) be the number of all k-aps in G. Define m k (G) := min c m k (G,c) AP k (G). () We are interested in the asymptotic value of m k (G) as G approaches infinity. (ThisissimilartothosequestionsonSchurTriples[3,7,9]orongeneralpatterns [, 4].) In this paper, we consider only the cases that G = [n] and G = Z n. Here [n] = {,,...,n} and Z n is the cyclic group of order n. When n is a prime number p, we write Z n as Z p for emphasis. A k-ap is degenerated if it contains repeated terms; it is non-degenerated otherwise. The mirror image of a k-ap (a,a+d,...,a+(k )d)isanotherk-ap(a+(k )d,...,a+d,a). Hereweallow k-aps to be degenerated; a k-ap differs from its mirror image except for d = 0. In contrast, many papers require k-aps to be non-degenerated and treat a k- AP the same as its mirror image. The two different definitions of k-aps derive two different versions of m k (G). However, they are asymptotically equivalent as G goes to infinity; this is because the number of degenerated k-aps is only O(n) while the number of all APs is Ω(n ). A k-ap (a,a+d,...,a+(k )d) is parametrized by a pair (a,d). The parameter space of all k-aps in [n] can be described as {(a,d): a n, a + (k )d n}. A k-ap (a,a + d,...,a +(k )d) in [n] is degenerated if and only if d = 0. The parameter space of all k-aps in Z n is simply Z n. A k-ap (a,a + d,...,a + (k )d) in Z n is degenerated if jd 0 mod n for some 0 j k. In both cases, the number of degenerated k-aps is O(n). Random -colorings of [n] (or Z n ) give the following upper bounds. m k ([n]) k +o(); () m k (Z n ) k +o(). (3) Van der Waerden s number [] W = W(, k) can be used to provide a lower bound on m k ([n]). For example, using a double counting method, one can prove m k ([n]) (k ) W + o() (see []). A similar argument can show 3 m k (Z n ) (k ) W +o(). These bounds are usually too weak; stronger bounds exist for k = 3 and k = 4. The case Z p is of particular interest. The number of monochromatic 3-APs in Z p depends only on the size of the coloring classes, but not on the coloring itself (see [3]). Namely, if c is a -coloring of Z p such that the size of red class is αp, then we have m 3 (Z p,c) = ( 3α+3α )p. (4) The minimum is achieved when α is closed to. Thus m 3(Z p ) is achieved by random -colorings.

3 For k = 4, Wolf [] proved that for any sufficiently large prime number p, we have 6 +o() m 4(Z p ) 8 ( )+o(). (5) 5900 This lower bound improved a previous lower bound due to ameron, illeruelo, and Serra [], m 4 (Z n ) +o(), (6) 33 where n is relatively prime to 6 and large enough. (ameron, illeruelo, and Serra sresultactuallyholdsforanyabeliangroupofordernprovidedgcd(n,6) =.) Wolf s upper bound indicates that m 4 (Z p ) is not achieved by random - colorings. This is a nice result. However, the quantity is only slightly less than 8 the density of monochromatic 4-APs in random -colorings. Her method for the upper bound relies heavily on the method initialized by Gowers (see []). The existence of such -coloring is proved by probabilistic methods; it is non-constructive. To get a better upper bound for m k (Z n ), we introduce a construction consisting of periodic blocks. For a fixed b, let B be a good -coloring of Z b with m k (Z b )b monochromatic k-aps. (Here B is viewed as a 0- string of length b.) Write n = bt + r with 0 r b. We consider the following periodic construction c } BB B {{} R. (7) t Here R is any bit-string of length r. If n is divisible by b, then R is empty. In this case, it is easy to see that the periodic construction above gives m k (Z b )n monochromatic k-aps. Thus, we have m k (Z n ) m k (Z b ) if b n. (8) If n is not divisible by b, then the computation of m k (Z n,c) is more complicated in general. Note that the number of k-aps containing some element(s) in R is a lower order term as n goes to infinity; the value m k (Z n,c) can be still determined asymptotically by B. (See Lemma 4 and 5.) Two colorings c and c of Z n are isomorphic if there is an integer m such that gcd(m,n) = and c (v) = c(mv) for any v Z n. Two colorings c and c of Z n are conjugated if c (v) = c(v) for any v Z n. It is clear that m k (Z n,c) = m k (Z n,c ), whenever c and c are isomorphic or conjugated to each other. To find a good coloring B, we implement an efficient bread-first search algorithm reducing isomorphic copies. From the proof of the lower bound for m 4 (Z n ), we need pay attention to those n divisible by 4. Using this efficient program, we find a good -coloring B 0 of Z 0 for 4-APs, B 0 = (,,,0,,,0,,,,0,0,0,,0,0,,0,0,0). This coloring B 0 gives m 4 (Z 0 ) =

4 We also search the coloring of Z p without any non-degenerated monochromatic 4-APs. At p =, there is a unique coloring with this property up to isomorphisms. Since 0 s and s are not balanced in this coloring, we search good colorings in Z instead. We found a good -coloring B of Z for 4-APs, B = (,,,0,,,0,,0,0,0,,,,0,,0,0,,0,0,0). In this coloring, all monochromatic 4-APs in B are degenerated; there are monochromatic 4-APs with d = 0 and 0 monochromatic 4-APs with d =. This coloring B gives m 4 (Z ) = 4 = 4. The following theorem improves both Wolf s lower bound and upper bound on m 4 (Z p ). Our lower bound is obtained by combining Wolf s elegant method and an exhaustive search. Our upper bound is proved by a novel method of analyzing the number of monochromatic k-aps in the periodic construction (7). Theorem If p is prime and large enough, then we have < 7 96 m 4(Z p ) 7 +o() < (9) 50 In fact, our methods naturally lead (asymptotic) bounds on m 4 (Z n ) for general n. The results depend on n case-wisely. For simplicity, we split it into two theorems: one on the lower bound and the other one on the upper bound. Theorem If n is sufficiently large, then we have { 7 96 if n is not divisible by 4, m 4 (Z n ) 33 if n is divisible by 4. Here is a theorem for the upper bound on m 4 (Z n ) for general n. Theorem 3 For n sufficiently large, we have m 4 (Z n ) { o() < if n is odd, +o() < if n is even. Note that Theorem is a corollaryof Theorem and 3. The upper bound above is small enough to beat the bound 8 reached by random -colorings. Using inequality (8), we can get a much better bound for certain n s. For example, { 0.09 if 0 n, m 4 (Z n ) if n, For m 5 (Z n ), we use the periodic construction with the following good coloring of Z 74 : B 74 = (,,,,0,,,,0,0,0,0,,0,,,0,0,,0,,0,,0,0,,,0,,0,0,0,0,,,,0,,,,,0,,,,0,0,0,0,,0,,,0,0,,0,0,0,,0,0,,,0,,0,0,0,0,,,,0). All monochromatic 5-APs in B 74 are degenerated ones. Among them there are 74 5-APs with d = 0 and 7 5-APs with d = 37. This coloring gives m 5 (Z 74 ) = = We have the following theorem. 4

5 Theorem 4 If n is sufficiently large, then we have m 5 (Z n ) { o() < if n is odd, ++o() < if n is even. Once again, the upper bound above is small enough to beat the bound 6, which is reached by random -colorings. Using inequality(8), we can get a much better upper bound for certain n. For example, we have m 5 (Z n ) 73 = if 74 n. 738 The following theorem gives the best lower bounds (for some n s). Theorem 5 We have lim m 4 (Z n ) n lim m 5 (Z n ) n 38. In fact, we show for any ǫ, there is an odd integer n with m 4 (Z n ) + ǫ. ombining this result with Theorem, we get 7 96 inf{m 4(Z n ): n is not divisible by 4 }. Note the gap is pretty small. Here we conjecture that the upper bound is tight. onjecture inf{m 4 (Z n ): n is not divisible by 4 } =. Maybe it is true even if the condition that n is not divisible by 4 is removed. The periodic construction also works for m k ([n]). We have Lemma For any k 3 and any positive integer b, we have In particular, we have lim m k([n]) m k (Z b ). n lim m k([n]) lim m k (Z n ). n n When we consider the similar problems for [n], the k-ap and its mirror image are often not distinguished in the literature. To avoid the ambiguity, we call a k-ap (in [n]) with d > 0 an increasing k-ap. For k 3, let c k be the largest number satisfying for any ǫ > 0, there is a sufficiently large n such that any -coloring of [n] contains at least (c k ǫ)n monochromatic increasing k-aps. Since [n] has ( (k ) +o())n increasing k-aps, it is equivalent to say c k = (k ) lim n m k([n]). (0) 5

6 In 008, Parillo, Robertson, and Saracino [5] proved 0.05< c 3 7 < () 9 Their construction was generalized by Butler, ostello, and Graham, who [] proved c 4 < and c 5 < via an extensive computation. Both bounds beat random -colorings. ombining Theorem 5 with Lemma, we have c 4 = , () 7 c 5 = (3) 304 These numerical results indicate that the periodic construction is often better than the block construction used in []. We believe the following conjecture holds. onjecture For fixed k 4, we have lim n m k ([n]) = lim n m k (Z n ). Bounding c 3 is very different from bounding c 4. This conjecture above is not true for k = 3. We have the following theorem. Theorem 6 If the integer n is large enough, then any -coloring of Z n contains at least 4 n monochromatic arithmetic progressions. In particular, we have m 3 (Z n ) = +o(). (4) 4 With the help of computer search, we found three good -coloringsb 0, B, and B 74, which are used as building blocks in constructing good -colorings of Z n and [n]. The data in Table,, 3, and 4, can be easily verified by anyone with limited programming experience. Some lower bound requires nontrivial exhaustive search in the same way as ameron, illeruelo, and Serra [] proved the previous lower bounds. However, those lower bounds using an exhaustive computer search are not the focus of this paper. The organization of the paper is following. In section, we will prove a necessary lemma and Theorem 6. In the section 3, we first prove a lemma and a corollary on counting lattice points in a polygon; then we prove Theorem 3 for odd n and Theorem 4. In section 4, we introduce a recursive construction and then use it to prove Theorem 5 and Theorem 3 for even n. In the last section, we will deal with the lower bounds and prove Theorem. Notations and the proof of Theorem 6 Let c: Z n {0,} be a -coloring of Z n. The coloring c is often viewed as a bit-string of length n. For convenience, we say an element v Z n is red if 6

7 c(v) = 0 and blue if c(v) =. The coloring c induces a partition Z n = A B, where A is the set of red elements while B is the set of blue elements. Let k 3 be an integer and A = αn. We have B = ( α)n. For each i k, let A i (or B i ) be the set of all k-aps whose i-th number is red (or blue), respectively; we have A i = αn, (5) B i = ( α)n. (6) Lemma For i < j k, if gcd(j i,n) =, then we have If gcd(j i,n), then we have A i A j = α n, (7) B i B j = ( α) n. (8) A i A j α n, (9) B i B j ( α) n. (0) Proof: For i < j k, the value of A i A j equals the number of k-aps whose i-th and j-th terms are red. If gcd(j i,n) =, then every ordered pair of elements (distinct or not) in Z n can be extended into a unique k-ap whose i-th and j-th terms are the given pair. Note the number of ordered pairs of red (and blue) elements is exactly α n (and ( α) n ), respectively. Equations (7) and (8) follow. If gcd(j i,n), then every pair of elements in Z n may or may not be extended into a k-ap whose i-th and j-th terms are the given pair. Let r = gcd(j i,n). For 0 l r, let x l be the number elements z in Z n such that z is red and z l mod r. For any pair (z,z ), the elements z and z are the i-th and j-th elements of an arithmetic progression if z z = (j i)d, () for some element d in Z n. Equivalently, z z 0 mod r. Moreover, if z z 0 mod r, then equation () has r solutions. It follows that r A i A j = r x l () l=0 r ( x l ) l=0 = α n. Equation (0) can be proved similarly. 7

8 Proof of theorem 6: Observe that if we assign red and blue to each number equally likely, then the expected value of m 3 (Z n,c) is n /4+O(n). Therefore, there is a -coloring c such that m 3 (Z n,c) n /4 + O(n), that is m 3 (Z n ) /4+O(/n). For the other direction, let c be any -coloring of Z n. We use the notations α, A i, and B i defined in the beginning of this section. We have the following inclusion-exclusion formula. A A A 3 = 3 A i i= i<j 3 A i A j + A A A 3. (3) NotethatA A A 3 = B B B 3 and B B B 3 = n B B B 3. Bythedefinitionofm 3 (Z n,c), wehave A A A 3 + B B B 3 = m 3 (Z n,c). Applying Lemma, we have m 3 (Z n,c) = n 3 A i + i= n 3αn +3α n = ( 3α( α))n. i<j 3 A i A j Notethatα( α)reachesthemaximumvalueatα = /. Wehavem 3 (Z n,c) n /4. Therefore m 3 (Z n ) /4 and the lemma follows. 3 Proofs of Theorem 3 and Theorem 4 In this section, we will examine the number of monochromatic k-aps in the periodic construction (7). 3. Proof of Lemma We need a tool to count the grid points inside a polygon on the plane. A point in R is a grid point if both coordinates are integers. Let Q be a simple polygon whose vertices are grid points. Let A(Q) be the area of Q, I(Q) be the number of grid points inside Q, and B(Q) be the number of grid points on the boundary of Q. The classical Pick s theorem [6] states A(Q) = I(Q)+ B(Q). Intuitively, if B(Q) is a lower order term, then I(Q) A(Q). Let P be a simple polygon in the plane R. For any t > 0 and a point v, a new polygon v +tp is obtained by first scaling P by a factor of t and then translating by a vector v. We have the following lemma. 8

9 Lemma 3 Suppose P is a simple polygon with m vertices and circumference L. For any point v and sufficiently large t, we have I(v +tp) A(P)t 3Lt+5m. Proof: Since P has m vertices, let v,...,v m be the vertices of the polygon v +tp. For i =,...,m, let u i be a grid point closest to v i (if there are more than one choice, then break ties arbitrarily). We have u i v i. Let Q be the polygon with vertices u,u,...,u m. (For convenience, we write v m+ = v 0 and u m+ = u 0.) The polygon Q can be viewed as an approximation of the polygon v +tp; thus Q is simple for sufficiently large t. Applying Pick s theorem to Q, we have A(Q) I(Q) = B(Q). We observe that the number of grid points on any line segment of length l is at most l+. We have B(Q) m ( u i u i+ +) i= m ( v i v i+ + u i v i + u i+ v i+ +) i= m ( v i v i+ + +) i= = tl+( +)m. Let S i be the convex region spanned by v i,v i+,u i,u i+. Note S i is covered by four triangles u i v i v i+, u i v i u i+, u i+ v i+ u i, and u i+ v i+ v i exactly twice. We have A(S i ) = (A( u iv i v i+ )+A( u i v i u i+ )+A( u i+ v i+ u i )+A( u i+ v i+ v i )) ( v iv i+ + u i u i+ ) 4 ( v iv i+ + u i v i + v i v i+ + v i+ u i+ ) 4 ( v iv i+ + ) = v iv i+ +. 9

10 Summing up, we get A(Q) A(v +tp) = m A(S i ) i= m ( i= v iv i+ + ) Lt+ m. Let T i be the set of grid points inside S i or on the line segment u i u i+. Let P i be the convex set spanned by T i. Applying Pick s theorem to P i, we have Thus A(P i ) = I(P i )+ B(P i). T i = I(P i )+B(P i ) (A(P i )+) (A(S i )+) v i v i+ +3. Summing up, we get Putting together, we have I(v +tp) A(v +tp) I(Q) I(v +tp) m T i i= m vi v i+ +3 i= = tl+3m. I(Q) A(Q) + A(Q) A(v +tp) + I(Q) I(v +tp) (tl+( +)m) +( tl+ m )+( tl+3m) = 3 + Lt+(4+ )m < 3Lt+5m. The proof of this lemma is finished. By counting grid points in ( x 0 /b, y 0 /b) + (n/b)p, we get the following corollary. Since the number of grid points on the boundary of np is always a lower order term, it does not matter whether grid points on the boundary are 0

11 included or not. In fact, in latter applications, the polygon region P is often defined with one part of boundary included while the other part of boundary excluded. orollary For any fixed point (x 0,y 0 ), let L b be a lattice {(x 0 + ib,y 0 + jb): i,j Z} and P be a simple polygon. For n b, we have L b np = n b A(P)+O(n b ). Proof of Lemma : Let B be a good -coloring/bit-string of Z b with m k (Z b )b monochromatic k-aps. Any k-ap in Z b can be parametrized by a pair (a,d ) satisfying 0 a,d b. Let S be the set of parameters (a,d ) such that the corresponding k-aps in Z b are monochromatic. We have S = m k (Z b )b. For sufficiently large n, we write n = bt+r with 0 r b. onsider the periodic construction BB BR (see (7)). Note that the number of k-aps containing some elements of R is O(n). We need estimate monochromatic k-aps lying entirely in [bt]. Let P be a parallelogram defined by P = {(x,y): 0 < x and 0 < x+y(k ) }. The area of P is clearly (k ). A k-ap (a,a + d,...,a + (k )d) in [bt] is monochromatic if and only if (a mod b,d mod b) S. Let L (a,d ) b be the lattice {(a +ib,d +jb): i,j Z}. Applying orollary, the number of monochromatic k-aps in [bt] is exactly Thus, (a,d ) S L (a,d ) b (bt)p = (a,d ) S A(P)t +O(t) = S A(P)t +O(b t) = k m k(z b )(bt) +O(b t). m k ([n],c) = k m k(z b )(bt) +O(b t). Note that the number of k-aps in [n] is n k +O(n). Taking the ratio, we have m k ([n]) m k([n],c) AP([n]) = m k(z b )+O( t ). First taking (upper) limit as n goes to infinity, we get lim m k([n]) m k (Z b ). n Then taking (lower) limit as b goes to infinity, we have The proof of Lemma is finished. lim m k([n]) lim m k (Z b ). n b

12 3. Proof of Theorem 3 It suffices to consider the case that n is not divisible by b. Write n = bt+r with r b. Recall the periodic construction } BB B {{} R. t Here R is any bit-string of length r. The number of 4-APs containing some bit(s) in R is O(n). The major term in the number of all monochromatic 4-APs depends only on B and r. We divide the set of all non-degenerated 4-APs in Z n into eight classes i for 0 i 7. lasses the meaning in Z n a < a+d < a+d < a+3d < n a < a+d < a+d < n a+3d < n a < a+d < n a+d < a+3d < n a < a+d < n a+d < n a+3d < 3n a < n a+d < a+d < a+3d < n a < n a+d < a+d < n a+3d < 3n a < n a+d < n a+d < a+3d < 3n a < n a+d < n a+d < 3n a+3d < 4n These 8 classes can be viewed as 8 regions in the parameter space of (a,d) as shown in Figure. Let us normalize the parameters so that the area of the whole square is. For 0 i 7, let a i be the area of the i-th normalized region. We have a 0 = 6, a =, a = 6, a 3 =, a 4 =, a 5 = 6, a 6 =, a 7 = 6. d n 7 n/3 3 6 n/3 n/ 5 n/ n/3 4 n/3 0 d/n /6 /3 / /6 / /3 / / /6 /3 / / /3 /6 0 n a 0 a/n Figure : The eight regions in the parameter space of all 4-APs in Z n. Figure : The areas of the eight normalized regions.

13 For r,r,r 3 0, an (r,r,r 3 )-generalized 4-term arithmetic progression is of form a,a+d r,a+d (r +r ),a+3d (r +r +r 3 ). Here (a,d) are the parameters determining the (r,r,r 3 )-generalized 4-term arithmetic progression. We have the following Lemma. Lemma 4 For 0 i 7, write i as a bit-string x x x 3 of length three. Let c i be the number of all monochromatic (x r,x r,x 3 r)-generalized 4-term arithmetic progressions in B. Then the number of monochromatic 4-APs in BB BR is In particular, we have 7 a i c i t +O(t). i=0 m 4 (Z n ) 7 i=0 a i c i b +o(). Proof: A 4-AP is said on the boundary of some i if it is in i and contains an element in R. Note that the number of 4-APs on the boundary is O(n). We can ignore these 4-APs in the calculation below. Forany0 a,d b,thelatticel (a,d ) b = {(a +ub,d +vb): 0 u,v < t} distributes evenly in the square [0,n) [0,n). Applying corollary, we have L (a,d ) b i = a i t +O(t) for 0 i 7. We also observe any monochromatic 4-term arithmetic progression with parameter (a,d) = (a + ub,d + vb) i if and only if the (x r,x r,x 3 r)-generalized 4-term arithmetic progression with parameter (a,d ) is monochromatic in B. Thus the number of monochromatic 4-term arithmetic progressions with parameter (a,d) i is c i a i t +O(t). Hence the number of monochromatic 4-term arithmetic progressions in BB BR is 7 i=0 a ic i t +O(t) and m 4 (Z n ) 7 i=0 a ic i /b i +O(/n). We are ready to prove Theorem 3. Proof of Theorem 3: RecallB 0 = (,,,0,,,0,,,,0,0,0,,0,0,,0,0,0) and B = (,,,0,,,0,,0,0,0,,,,0,,0,0,,0,0,0). When n is odd, we use the periodic construction B 0 B 0 B 0 R. We write n = 0t + r, where r =,3,5,...,9. For each odd r, it turns out that the values of c i depends only on i but not on r. These values are given in Table. By Lemma 4, we have m 4 (Z n ) 7 i=0 a i c i 7 +o() = b 50 +o(). 3

14 c 0 c c c 3 c 4 c 5 c 6 c Table : The values of c i s for B 0 and any odd r satisfying r 9. When n is even, we prove only a weaker result m 4 (Z n ) o() < here and postpone the proof of actual bound until the end of next section. We write n = t + r where r = 0,,4,...,0. We use the periodic construction B B B R. If r = 0, then we have m 4 (Z n ) m 4 (Z ) = 4 < We are done in this case. For r =,4,6,...,0, the values c i depends only on i, but not on r. These values are given in Table. c 0 c c c 3 c 4 c 5 c 6 c Table : The values of c i s for B and each even r such that r 0. By Lemma 4, we have m 4 (Z n ) 7 i=0 3.3 The Proof of Theorem 4 a i c i 75 +o() = b 45 +o(). Let B be a good -coloring of Z b. We consider the periodic construction c = BB BR. Similar to the proof of Theorem 3, we can divide all non-degenerated 5-APs into 4 classes i with index i in S = {0,...,5}\{3,}, see table below and Figure 3; let a i be the area of i-th normalized region (see Figure 4). We have a 0 = 8, a = 4, a =, a 4 =, a 5 =, a 6 = 4, a 7 = 4, a 8 = 4, a 9 = 4, a 0 =, a =, a 3 =, a 4 = 4, a 5 = 8. 4

15 type the meaning in Z p a < a+d < a+d < a+3d < a+4d < n a < a+d < a+d < a+3d < n a+4d < n a < a+d < a+d < n a+3d < a+4d < n a < a+d < n a+d < a+3d < a+4d < n a < a+d < n a+d < a+3d < n a+4d < 3n a < a+d < n a+d < n a+3d < a+4d < 3n a < a+d < n a+d < n a+3d < 3n a+4d < 4n a < n a+d < a+d < a+3d < a+4d < n a < n a+d < a+d < a+3d < n a+4d < 3n a < n a+d < a+d < n a+3d < a+4d < 3n a < n a+d < a+d < n a+3d < 3n a+4d < 4n a < n a+d < n a+d < a+3d < 3n a+4d < 4n a < n a+d < n a+d < 3n a+3d < a+4d < 4n a < n a+d < n a+d < 3n a+3d < 4n a+4d < 5n d n 3n/4 n/3 n/ n/3 n/ n/4 n/3 n/ n/3 n/4 d/n 3/4 /3 / /3 /4 /4 /4 / / /4 /8 / / /8 /4 / / /4 /4 3/4 /3 / /3 /4 n a a/n Figure 3: The 4 regions of the parameter space of all 5-APs in Z n. Figure 4: The areas of the 4 normalized regions. Assume r i 0 for i 4. An (r,r,r 3,r 4 )-generalized 5-term arithmetic progression is of form a,a+d r,a+d (r +r ),a+3d 3 r i,a+4d i= 4 r i. Given (r,r,r 3,r 4 ), an (r,r,r 3,r 4 )-generalized 5-term arithmetic progression is determined by (a,d). We have the following lemma; we will omit the proof since it is similar to Lemma 4. Lemma 5 Let S = {0,...,5} \ {3,}. For each i S, write i as a bitstring x x x 3 x 4 of length four. Let c i be the number of all monochromatic (x r,x r,x 3 r,x 4 r)-generalized 5-term arithmetic progressions in B. Then the i= 5

16 number of monochromatic 5-APs in BB BR is a i c i t +O(t). In particular, we have i S m 5 (Z n ) i S a i c i b +o(). Proof of Theorem 4: Recall the -coloring B 74 of Z 74 as following {,,,,0,,,,0,0,0,0,,0,,,0,0,,0,,0,,0,0,,,0,,0,0,0,0,,,,0,,,,,0,,,,0,0,0,0,,0,,,0,0,,0,0,0,,0,0,,,0,,0,0,0,0,,,,0}. Write n = 74t+r, where 0 r 73. If r = 0, then m 5 (Z n ) m 5 (Z 74 ) = ; we are done in this case. Now we assume r 0 and use the periodic construction B 74 B 74 B 74 R, where R is any bit-string of length r. The values c i in Lemma 5 depend on i and r. These values are given in Table 3. values c 0 c c c 4 c 5 c 6 c 7 c 8 c 9 c 0 c c 3 c 4 c 5 even r odd r r = Table 3: The values of c i s for B 74 and various r s. By Lemma 5, we have m 5 (Z n ) i S a i c i b +o() = 369/657+o() for odd r 37, 89/095+o() r = 37, 3647/657+o() for even r 0. The proof of Theorem 4 is finished. 4 Proof of Theorem 4 Recall the good coloring of Z : B = (,,,0,,,0,,0,0,0,,,,0,,0,0,,0,0,0). We observe that the first coordinates and last coordinates differ only by bit. Let B = (,,,0,,,0,,0,0,0),where could be either 0 or. B has the following property. (This is because B contains no non-degenerated monochromatic 4-APs.) Property No matter which bit-value the takes, B contains no nondegenerated monochromatic 4-APs of Z. 6

17 Lemma 6 For any t, we have m 4 (Z t ) 0+m 4(Z t ). (4) Proof: Let B t be a -coloring/bit-string of Z t which has exactly m 4 (Z t )t monochromatic 4-APs. First we consider the periodic construction B B } B {{. } t Each block B has exactly one ; there are t s in total. Finally, we replace these s by the values of B t in the cyclic order. We denote the coloring by B B t. (For example, B = B (,0).) BecauseofProperty, a4-apofb B t withparameter(a,d) ismonochromatic only if d. The number of monochromatic 4-APs is exactly 0t + m 4 (Z t )t. We have m 4 (Z t ) 0t +m 4 (Z t )t (t) = 0+m 4(Z t ). The proof of this lemma is finished. A similar construction can be applied to 5-APs. Let B 37 = (,,,,0,,,,0,0,0,0,,0,,,0,0,,0,,0,,0,0,,,0,,0,0,0,0,,,,0). LetB t bea-coloring/bit-stringofz t whichhasexactlym 5 (Z t )t monochromatic 4-APs. We can define B 37 B t similarly. For example, B 74 = B 37 (,0). Note that B 74 containsno non-degeneratedmonochromatic5-aps. We have the following property. Property No matter which bit-value the takes, B 37 contains no nondegenerated monochromatic 5-APs of Z 37. Usingthis propertyandthe constructionb 37 B t, wehavethe followinglemma. The proof is omitted. Lemma 7 For any t, we have m 5 (Z 37t ) 36+m 4(Z t ) 37. (5) Proof of Theorem 5: Applying Lemma 6 recursively, we have m 4 (Z s) 0 + m 4(Z s ) m 4(Z s ) s + sm 4(Z ) = 0 s + s = + s. 7

18 Thus, lim m 4 (Z n ) lim m 4 (Z s) n s lim ( s + s ) =. Similarly, from Lemma 7, we can show lim n m 5 (Z n ) 38. Proof of Theorem 3 for even n: Here we assume n is even and not divisible by. Let B = B B 0 which is a -coloring of Z 0. Write n = 0t+r with 0 r 8. Here r is even and not divisible by. onsider the periodic construction BB BR as before. For these r, the values c i depends only on i but not on r. These values are given in Table 4. c 0 c c c 3 c 4 c 5 c 6 c Table 4: The values of c i s for B = B B 0 and even r =,4,...,8 such that r is not divisible by. By Lemma 4, we have m 4 (Z n ) 7 i=0 The remaining case is proved. a i c i o() = +o() < b Proof of Theorem In this section, we will deal with lower bound of m 4 (Z n ). Proof of Theorem : Givena-coloringcofZ n, wewillestablishaninequality which is similarto equation (4.8) in []. For each 0 i 4, let u i be the number of 4-APs with exactly i red numbers. We have u +u 3 = A B B 3 B 4 + B A B 3 B 4 + B B A 3 B 4 Note that + B B B 3 A 4 + B A A 3 A 4 + A B A 3 A 4 + A A B 3 A 4 + A A A 3 B 4. A B B 3 B 4 = B B 3 B 4 B B B 3 B 4. (6) Applying equations similar to (6), we get 4u 0 +u +u 3 +4u 4 = ( A i A j A k + B i B j B k ). (7) i<j<k 4 8

19 By the inclusion-exclusion formula, for any i < j < k 4, we have A i A j A k = A s A s A t + A i A j A k. s {i,j,k} {s,t} ( {i,j,k} ) Since A i A j A k = n B i B j B k, we have A i A j A k + B i B j B k = n A s + s {i,j,k} By the symmetry of A i s and B i s, we get A i A j A k + B i B j B k = n s {i,j,k} B s + {s,t} ( {i,j,k} ) {s,t} ( {i,j,k} ) A s A t. (8) B s B t. (9) ombining equations (8) and (9) and summing over i < j < k 4, we get ( A i A j A k + B i B j B k ) i<j<k 4 = i<j<k 4 = 8n n + = 4n + n ( A s + B s )+ ( A s A t + B s B t ) i<j 4 s {i,j,k} i<j 4 {s,t} ( {i,j,k} ) ( A i A j + B i B j ) ( A i A j + B i B j ). ombining the equation above with equation (7), we have 4u 0 +u +u 3 +4u 4 = n + ( A i A j + B i B j ). (30) i<j 4 Lemma implies A i A j (αn) and B i B j (n αn) for (i,j) {(,),(,3),(3,4),(,4)}. We get u +u 3 +4u 0 +4u 4 n 8αn +8α n + A A 3 + A A 4 + B B 3 + B B 4. (3) Let E be the collection of all even-colored 4-term progressions and O be the collection of all odd-colored 4-term progressions. We have E = u 0 + u +u 4 and O = u +u 3. Inequality (3) together with 4 i=0 u i = n give that m 4 (Z n,c) = u 0 +u 4 = 4 (u +u 3 +4u 0 +4u 4 + E n ) ( 4 α+α )n + E ( A A 3 + B B 3 ) + 4 ( A A 4 + B B 4 ). (3) 9

20 We aim to modify the method in [] to find a lower bound on E which gives a lower bound on m 4 (Z n,c). Assume S is a 3-term progression in Z n. Let p S be the number of even-colored 4-APs containing S and q S be the number of odd-colored 4-APs containing S. Observe that p S +q S =. If a,a+d,a+d is a 3-AP, then it determines a pair of integers x,y Z n such that x,a,a+d,a+d and a,a+d,a+d,y are two 4-APs containing S; the pair (x,y) is the frame pair of S. We have E S p S = E and E S q S = O, where the expectation operator E S runs over all 3-APs. The following equality which ensures us to obtain a lower bound on E. We have E = O +E S (p S q S ) = (n E ) E S ( p S q S )+E S (p S q S p S > q S ). (33) Solving for E in equation (33) gives E = n 4 E S( p S q S )+ E S(p S q S p S > q S ). (34) We have the following claim which will be proved at the end of this section. laim E S (p S q S p S > q S ) n / for any positive integer n. Observe that p S q S = 0 if and only if the frame pair of S is monochromatic. Furthermore, p S q S = if p S q S = 0. Note that when n is prime, each frame pair belongs to a unique 3-term progression as 4 is invertible in Z n. However, if n is not prime, then each frame pair may belong to more than one 3-term progression or does not belong to any 3-term progressions. We will compute the value of E S ( p S q S ) case by case according to n modulo 4. ase : n,3 mod 4. In this case, each frame pair belongs to a unique 3-termprogressionsince 4 is invertiblein Z n. We havee S ( p S q s ) equalstwice of the number of monochromatic pairs in the coloring c, that is E S ( p S q s ) = (αn) +(n αn). We obtain E α( α)n + n 4. By Lemma, we have A A 3 = A A 4 (αn) and B B 3 = B B 4 (n αn). Therefore, in this case, inequality (3) is m 4 (Z n,c) (3 α α )n 4 + n 96. (35) It is straightforward to check that the minimum value of the right hand side of inequality (35) is 7n /96 and it is achieved at α = /. We have m 4 (Z n ) 7/96 in this case. ase : n mod 4. For 0 i 3, let Z i n = {z Z n : z i mod 4}, a i = A Z i n, and b i = B Z i n. A pair (x,y) is a frame pair if and only if 0

21 y x = 4d for some d Z n. Assume n = 4r+. If d is a solution for 4d = y x, then d+r+ is another solution. We have E S ( p S q S ) = 4(a 0 +a ) +4(a +a 3 ) +4(b 0 +b ) +4(b +b 3 ). (36) By the same argument, we have and A A 3 = A A 4 = (a 0 +a ) +(a +a 3 ) B B 3 = B B 4 = (b 0 +b ) +(b +b 3 ). Therefore, E + A A 3 + A A 4 + B B 3 + B B 4 is at least n +3((a 0 +a ) +(a +a 3 ) +(b 0 +b ) +(b +b 3 ) )+ n 4. We have the following inequality E + A A 3 + A A 4 + B B 3 + B B 4 (37) n ( a i ) ( b i ) + n 4. i=0 i=0 ( = + 3 α + 3 ( α) + ) n. 4 ombining inequalities (3) and (37), we get m 4 (Z n,c) (3 α+α )n 4 + n 96. Note the minimum is reached at α = /. It follows m 4 (Z n ) 7/96. ase 3: n 0 mod 4. This method fails in this case; which suggests that it is possible to find a good -coloring of Z n which contains few monochromatic 4-term progressions when n is a multiple of 4. Replacing the terms on the right hand side of inequality (3) by the lower bounds from Lemma, we obtain u +u 3 +4u 0 +4u 4 4n αn +α n. (38) ombining with 4 i=0 u i = n, we have u 0 +u 4 u 3 + 4αn +4α n u 3. (39) The remark following the proof of Theorem 4.4 in [] gives ombining inequalities (39) and (40), we get u 0 +u +u 4 8n 33. (40) m 4 (Z n,c) = u 0 +u 4 n 33.

22 It implies m 4 (Z n ) /33. We completed the proof of Theorem. We finish this section by proving laim. Proof of laim : Observe that p S > q S if and only if the coloring pattern of the 5-APs (S and its frame pair (x,y)) is in the following set F = {(,,,,),(,0,0,,),(,0,,0,),(,,0,0,), (0,0,0,0,0),(0,,,0,0),(0,,0,,0),(0,0,,,0)}. Moreover, for each S, p S q S = if p S > q S. Therefore the value of E S (p S q S p S > q S ) is twice of the number of increasing 5-term progressions with coloringpattern from F. Using an exhaustivesearch, one can showthat for any -coloring of [46], there is at least one increasing 5-AP of coloring pattern in F. A further computation shows that any -coloring of [74] contains at least 7 increasing 5-APs of coloring pattern in F. Note that the number of increasing 5-APs in [74] with d = is 70, the number of 5-APs in [74] with d = is 66, etc. The number of 5-APs in [74] is = 648. For any -coloring of Z n, the number of 74-APs is exactly n ; each of them (degenerated or not) contains 7 5-APs of coloring pattern in F. Each 5-AP with coloring pattern in F is counted at most 648-times. Thus, the number of 5-APs with coloring pattern in F is at least Thus we have n = 4 n. E S (p S q S p S > q S ) n. We finished the proof of the claim. References [] S. Butler, K. ostello and R. Graham. Finding patterns avoiding many monochromatic constellations. Experiment. Math. 9 (00), [] P. ameron, J. illeruelo and O. Serra. On monochromatic solutions of equations in groups. Rev. Mat. Iberoam. 3(007), [3] B. Datskovsky. On the number of monochromatic Schur triples. Adv. Appl. Math. 3 (003), [4] P. Frankl, R. Graham and V. Rödl. Quantitative theorems for regular systems of equations. J. ombin. Theory Ser. A. 47 (988), [5] P. Parillo, A. Robertson and D. Saracino. On the asymptotic minimum number of monochromatic 3-term arithmetic progressions. J. ombin.theory Ser. A. 5 (008), 85-9.

23 [6] G. Pick. Geometrisches zur Zahlenlehre Naturwiss. Z. Lotus (Prag). (899), pp [7] A. Robertson and D. Zeilberger. A -coloring of [,N] can have (/)N + O(N) monochromatic Schur triples, but not less!. Elec. J. ombin. 5 (998), Research Paper 9. [8] T. Schoen. The number of monochromatic Schur triples. Europ. J. ombinatorics. 0 (999), [9] T. Thanatipanonda. On the monochromatic Schur triples type problem. Elec. J. ombin. 6 (009), Research Paper 4. [0] A. Thomason. A disproof of a conjecture of Erdős in Ramsey theory. J. London Math. Soc. 39 (989), [] Van der Waerden. Beweis einer Baudetschen Vermutung. Nieuw Arch. Wisk. 5 (97), -6. [] J. Wolf. The minimum number of monochromatic 4-term progressions in Z p. J.of.ombinatorics. (00),