Partitions of the set of nonnegative integers with the same representation functions
|
|
- Kerrie Weaver
- 6 years ago
- Views:
Transcription
1 Partitions of the set of nonnegative integers with the same representation functions Sándor Z. Kiss, Csaba Sándor arxiv: v [math.nt] 10 Aug 016 Abstract For a set of nonnegative integers S let R S (n denote the number of unordered representations of the integer n as the sum of two different terms from S. In this paper we focus on partitions of the natural numbers into two sets affording identical representation functions. We solve a recent problem of Lev Chen. 000 AMS Mathematics subject classification number: 11B34. Key words phrases: additive number theory, representation functions, partitions of the set of natural numbers. 1 Introduction Let S be a set of nonnegative integers let R S (n denote the number of solutions of the equation s + s = n, where s, s S s < s. Let N denotes the set of nonnegative integers. The binary representation of an integer n is the representation of n in the number system with base. Let A be the set of those nonnegative integers which contains even number of 1 binary digits in its binary representation let B be the complement of A. The set A is called Thue-Morse sequence. The investigation of the partitions of the set of nonnegative integers with identical representation functions was a popular topic in the last few decades [1], [], [7], [8], [9]. By using the Thue - Morse sequence in 00 Dombi [5] constructed two sets of nonnegative integers with infinite symmetric difference such that the corresponding representation functions are identical. Namely, he proved the following theorem. Theorem 1. (Dombi, 00 The set of positive integers can be partitioned into two subsets C D such that R C (n = R D (n for every positive integer n. The complete description of the suitable partitions is the following. Institute of Mathematics, Budapest University of Technology Economics, H-159 B.O. Box, Hungary, kisspest@cs.elte.hu This author was supported by the OTKA Grant No. NK This research was supported by the National Research, Development Innovation Office NKFIH Grant No. K Institute of Mathematics, Budapest University of Technology Economics, H-159 B.O. Box, Hungary, csor@math.bme.hu. This author was supported by the OTKA Grant No. K This paper was supported by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences. 1
2 Theorem. Let C D be sets of nonnegative integers such that C D = N, C D = 0 C. Then R C (n = R D (n for every positive integer n if only if C = A D = B. As far as we know this theorem has never been formulated in the above form, but the nontrivial part was proved by Dombi, therefore this theorem is only a little extension of Dombi s result. We give an alternative proof of the previous theorem. A finite version of the above theorem is the following. Put A l = A [0, l 1] B l = B [0, l 1]. Theorem 3. Let C D be sets of nonnegative integers such that C D = [0,m] C D =, 0 C. Then R C (n = R D (n for every positive integer n if only if there exists an l natural number such that C = A l D = B l. If C = A [0,m] D = B [0,m] then by Theorem we have R C (n = R D (n for n m, therefore Theorem 3. implies the following corollary. Corollary 1. If C = A [0,m] D = B [0,m], where m is a positive integer not of the form l 1, then there exists a positive integer m < n < m such that R C (n R D (n. In Dombi s example the union of the set C D is the set of nonnegative integers, they are disjoint sets. Tang Yu [11] proved that if the union of the sets C D is the set of nonnegative integers the representation functions are identical from a certain point on, then at least one cannot have the intersection of the two sets is the non-negative integers divisible by 4 i.e., Theorem 4. (Tang Yu, 01 If C D = N C D = 4N, then R C (n R D (n for infinitely many n. Moreover, they conjectured that under the same assumptions the intersection cannot be the union of infinite arithmetic progressions. Conjecture 1. (Tang Yu, 01 Let m N R {0,1,...,m 1}. If C D = N C D = {r+km : k N,r R}, then R C (n = R D (n cannot hold for all sufficiently large n. Recently Tang extended Theorem 4. In particular, she proved the following theorem [10]: Theorem 5. (Tang, 016 Let k be an integer. If C D = N C D = kn, then R C (n R D (n for infinitely many n. Chen Lev [] disproved the above conjecture by constructing a family of partitions of the set of natural numbers such that all the corresponding representation functions are the same the intersection of the two sets is an infinite arithmetic progression properly contained in the set of natural numbers. Theorem 6. (Chen Lev, 016 Let l be a positive integer. There exist sets C D such that C D = N, C D = ( l 1+( l+1 1N R C (n = R D (n for every positive integer n. Their construction is based on the following lemma:
3 Lemma 1. (Chen Lev, 016 If there exist sets C 0 D 0 such that C 0 D 0 = [0,m], C 0 D 0 = {r} R C0 (n = R D0 (n for every positive integer n then there exist sets C D such that C D = N, C D = r + (m+1n R C (n = R D (n for every positive integer n. When r = l 1 m = l+1 they proved the existence of two such sets C 0 D 0, which verifies the sufficiency of the following problem in [] (we use different notations then they applied. Problem 1. (Chen Lev, 016 Given R C (n = R D (n for every positive integer n, C D = [0,m], C D = {r} with integers r 0 m, must there exist an integer l 1 such that r = l 1, m = l+1, C = A l ( l 1 + B l D = B l ( l 1+A l? In this paper we solve this problem affirmatively. Theorem 7. Let C D be sets of nonnegative integers such that C D = [0,m] C D = {r}, 0 C. Then R C (n = R D (n for every n positive integer if only if there exists an l natural number such that C = A l ( l 1+B l D = B l ( l 1+A l. The previous theorem suggests that there are no other counterexample for Tang Yu s conjecture. Problem. (Chen Lev, 016 Given R C (n = R D (n for every n positive integer, C D = N, C D = r +mn with integers r 0 m, must there exist an integer l 1 such that r = l 1, m = l+1 1? Similar questions were investigated for unordered representation functions in [3], [4], [6]. Thoughout this paper the characteristic function of the set S is denoted by χ S (n, i.e., { 1, if n S χ S (n = 0, if n / S. For a nonnegative integer a a set of nonnegative integers S we define the sumset a+s by a+s = {a+b : b S}. Proof of Theorem. 3. First we prove that if there exists a natural number l such that C = A l D = B l, then R C (n = R D (n for every positive integer n. We prove by induction on l. For l = 1, A 1 = {0} B 1 = {1} thus R A1 (n = R B1 (n = 0. Assume the statement holds for any l we prove it to l + 1. By the definition of A B we have A l+1 = A l ( l +B l B l+1 = B l ( l +A l. Hence R Al+1 (n = R Al ( l +B l (n = {(a,a : a < a,a,a A l,a+a = n} + {(a,a : a A l,a l +B l,a+a = n} + {(a,a : a < a,a,a l +B l,a+a = n} 3
4 = R Al (n+ {(a,a : a A l,a B l,a+a = n l } +R Bl (n l+1. On the other h R Bl+1 (n = R Bl ( l +A l (n = {(a,a : a < a,a,a B l,a+a = n} + {(a,a : a B l,a l +A l,a+a = n} + {(a,a : a < a a,a l +A l,a+a = n} = R Bl (n+ {(a,a : a B l,a A l,a+a = n l } +R Al (n l+1, thus we get the result. Observe that if k l 1, then R Al (k = R A (k R Bl (k = R B (k. On the other h R Al (k = R Bl (k thus we have R A (k = R B (k for k l 1. This equality holds for every l, therefore we have R A (k = R B (k for every k. (1 To prove Theorem. 3. we need the following three claims. Claim 1. Let 0 < r 1 <... < r s m be integers. Then there exists at most one pair of sets (C,D such that C D = [0,m], 0 C, C D = {r 1,...,r s }, R C (k = R D (k for every k m. Proof of Claim 1. We prove by contradiction. Assume that there exist at least two pairs of different sets (C 1,D 1 (C,D which satisfies the conditions of Claim 1. Let v denote the smallest positive integer such that χ C1 (v χ C (v. It is clear that R C1 (v = R D1 (v R C (v = R D (v. We will prove that R D1 (v = R D (v but R C1 (v R C (v which is a contradiction. Obviously R D1 (v = {(d,d : d < d,d,d D 1,d+d = v}. As 0 / C D 0 C, we have d, d < v. We prove that D 1 [0,v 1] = D [0,v 1], which implies that R D1 (v = R D (v. Clearly we have C 1 [0,v 1] = C [0,v 1] [0,v 1] = (C 1 [0,v 1] (D 1 [0,v 1] [0,v 1] = (C [0,v 1] (D [0,v 1]. ( Let (C 1 [0,v 1] (D 1 [0,v 1] = {r 1,...,r t }. Thus we have D 1 [0,v 1] = [0,v 1]\(C 1 [0,v 1] {r 1,...,r t }. Similarly D [0,v 1] = ( [0,v 1]\(C [0,v 1] {r 1,...,r t }, which implies D 1 [0,v 1] = D [0,v 1]. On the other h as 0 C 1 C we have R C1 (v = {(c,c : c < c < v,c,c C 1,c+c = v} +χ C1 (v, R C (v = {(c,c : c < c < v,c,c C 1,c+c = v} +χ C (v, thus R C1 (v R C (v. Claim. Let (C,D be a pair of different sets, C D = [0,m], C D = {r 1,...,r s }, R C (n = R D (n for every n nonnegative integer if C = m C D = m D then C D = [0,m], C D = {m r s,...,m r 1 }, R C (n = R D (n for every positive integer n. Proof of Claim. Clearly, R C (k = {(c,c : c < c,c,c C,c+c = k} = {(c,c : c < c,m c,m c C,c+c = k} 4
5 = {(m c,m c : c < c,m c,m c C,m (c+c = m k} = R C (m k. Similarly, R D (k = R D (m k, which implies R D (k = R D (m k = R C (m k = R C (k, as desired. Claim 3. If for some positive integer M, the integers M 1,M,M 4,M 8,...,M u, u = log M 1 are all contained in the set A, then M = u+1 1. Proof of Claim 3. Suppose that theintegers M 1,M,M 4,M 8,...,M u, u = log M 1 are all contained in the set A. If M is even then M is also an even M 1 = (M +1, therefore by the definition of A, χ A (M 1 χ A (M, thus we may assume that M is an odd positive integer. Assume that M is not of the form k 1. Obviously, χ A (M χ A (M 1. Let M = u i=0 b i i be the representation of M in the number system with base. Let x denote the largest index i such that b i = 0. Then x log M 1. Thus we have thus we have x 1 M = b i i + x+1 + i=0 x 1 M x = b i i + x + i=0 u+1 i=x+ u+1 i=x+ b i i, b i {0,1}, u+1 b i i = b i i, b i {0,1}, which implies that u i=0 b i = u i=0 b i. It follows from the definition of A that χ A (M = χ A (M x. On the other h χ A (M χ A (M 1 = χ A (M = χ A (M 4 =... = χ A (M x, which proves Claim 3. Claim 4. If for some positive integer M, the integers M 1,M,M 4,M 8,...,M u, u = log M 1 are all contained in the set B, then M = u+1 1. The proof of Claim 4. is completely the same as Claim 3. Theorem. is a consequence of (1 Claim 1. (for s = 0. In the next step we prove that if the sets C D satisfies C D = [0,m], C D = R C (n = R D (n for every positive integer n, then there exists an l positive integer such that C = A l D = B l. Then Claim 1. (1 imply that C = A [0,m] D = B [0,m]. Let C = m C D = m D. By Claim 1., Claim. (1 we have C = A [0,m] or D = B [0,m]. It follows that i=0 χ C ( 0 = χ C ( 1 = χ C ( =... = χ C ( u, where u = log M 1, which implies that χ C (m 1 = χ C (m = χ C (m 4 =... = χ C (m u. By Claim 3. Claim 4. we get m = u+1 1. The proof of Theorem 3. is completed. 5
6 3 Proof of Theorem 6. First, assume that there exists a positive integer l such that C = A l ( l 1+B l, D = B l ( l 1+A l. Obviously, C D = [0, l+1 ], C D = { l 1}, 0 C we will prove that for every positive integer n, R C (n = R D (n. It is easy to see that R C (n = {(c,c : c < c,c,c A l,c+c = n} + {(c,c : c A l,c l 1+B l,c+c = n} + {(c,c : c < c,c,c l 1+B l,c+c = n} = R Al (n+ {(c,c : c A l,c B l,c+c = n ( l 1} +R Bl (n ( l 1. Moreover, R D (n = {(d,d : d < d,d,d B l,d+d = n} + {(d,d : d B l,d l 1+A l,d+d = n} + {(d,d : d,d l 1+A l,d+d = n} = R Bl (n+ {(d,d : d A l,d B l,d+d = n ( l 1} +R Al (n ( l 1. It follows from Theorem 3. that R Al (m = R Bl (m for every positive integer m, thus we get the result. In the next step we prove that if C D = [0,m], C D = {r}, 0 C R C (n = R D (n, then there exists a positive integer l such that C = A l ( l 1 + B l, D = B l ( l 1 + A l m = l+1, r = l 1. By Claim. if C D = [0,m], C D = {r} R C (n = R D (n for every positive integer n, then for C = m C, D = m D wehavec D = [0,m], C D = {m r}byclaim. R C (n = R D (n, thus we may assume that r m/. Let p C (x = m χ C (ix i, p D (x = i=0 m χ D (ix i. ( i=0 As C D = [0,m], C D = {r} we have p D (x = 1 xm+1 1 x p C(x+x r. (3 Since R C (n = R D (n for every positive integer n, thus we have R C (nx n = n=0 An easy observation shows that 1 p C(x 1 p C(x = R C (nx n = n=0 It follows from (3 (4 that R D (nx n. n=0 R D (nx n = 1 p D(x 1 p D(x. (4 ( 1 x (p C (x p C (x m+1 ( 1 x = 1 x p C(x+x r m+ p 1 x C (x +x r. 6 n=0
7 An easy calculation shows that p C (x = 1 xm+ 1 x ( +p C (x 1 xm+1 1 x m+1 x 1 x r 1 xm+1 1 x 1 x +xr p C (x. (5 We will prove that r must be odd. If r were even r k r m is also even then it is easy to see from ( the coefficient of x k in (5 we have ( k χ C = 1+ χ C (i (k +1 +χ C (k r, (6 i k If k +1 r m, then from the coefficient of x k+1 in (5 we have 0 = χ C (i (k + +χ C (k +1 r. (7 i k+1 By (6 - (7 dividing by we get that ( k χ C = 1 χ C (k +1+χ C (k r χ C (k +1 r. In view of Claim 1., k+1 r < r, k r is even, C [0,r 1] = A [0,r 1] by the definitionofaweget χ C (k+1 r+χ C (k r = 1thuswe haveχ C (k r χ C (k+1 r = ±1. Ifχ C (k r χ C (k+1 r = 1thenwegetthatχ C (k r = 1, χ C (k+1 r = 0, which (k yields χ C (k+1 = 1 χ C = 1. On the other h if χ C (k r χ C (k+1 r = 1 then we get that χ C (k r = 0, χ C (k + 1 r = 1, which yields χ C (k + 1 = 0 (k (k χ C = 0. This gives that χ C = χ C (k r. Putting k = r i+1, where i+1 log r we obtain that χ C (r i+1 = χ C (r i. It follows that χ C (r 1 = χ C (r = χ C (r 4 =... = χ C (r t. for t = log r 1. Moreover, Claim 3. Claim 4. imply that r = l 1, which contradicts the assumption that r is even. It follows that r must be odd. By using the same argument as before we prove that r = l 1. If r k < r m k is even then from the coefficient of x k in (5 we have ( k χ C = 1+ χ C (i (k +1 +χ C (k r. i k In this case k 1 is odd, k 1 r, therefore from the coefficient of x k 1 in (5 we have 0 = χ C (i k +χ C (k 1 r. i k 1 As before, subtracting the above equalities dividing by we get that ( k χ C = χ C (k+χ C (k r χ C (k 1 r. If r is odd, then k 1 r is even, we know from Claim 1. that C [0,r 1] = A [0,r 1] by definition of A we get χ C (k 1 r+χ C (k r = 1 thus we have 7
8 χ C (k r χ C (k 1 r = ±1. If χ C (k r χ C (k 1 r = 1 then we get that (k χ C (k r = 1, χ C (k 1 r = 0, which yields χ C (k = 0 χ C = 1. If χ C (k r χ C (k 1 r = 1 then we get that χ C (k r = 0, χ C (k 1 r = 1, (k which yields χ C (k = 1 χ C = 0. This gives that χ C (k r = χ C when r k < r k is even. Put k = r i+1, where i + 1 log r implies that χ C (r i+1 = χ C (r i. It follows that χ C (r 1 = χ C (r = χ C (r 4 =... = χ C (r log r 1, which yields by Claim 3. Claim 4. that r = u 1. If k = r, then from the coefficient of x k in (5 we have 0 = χ C (i (r (8 i r On the other h if k = r 1, then from the coefficient of x k 1 in (5 we have Since r C, it follows from (8 - (9 that ( (r 1 we get that 0 = χ C = χ A ( r 1 χ C = 1+ χ C (i r. (9 i r 1 ( r 1 χ C = +χ C (r = 0, r 1, thus r 1 = u 1 1, where u 1 is odd, so that r = l 1. As r m/, Claim 1. the first part of Theorem 3. imply that C [0,r] = A l ( l 1+B l D [0,r] = B l ( l 1+A l. We will show that m < 3 l. We prove by contradiction. Assume that m > 3 l. We will prove that C [0,3 l 3] = A l ( l 1+B l ( l+1 1+(B l [0, l ] D [0,3 l 3] = B l ( l 1+A l ( l+1 1+(A l [0, l ]. Define the sets E F by E = A l ( l 1+B l ( l+1 1+(B l [0, l ], F = B l ( l 1+A l ( l+1 1+(A l [0, l ]. In this case R E (m = R F (m for every m l+1. If l+1 < n 3 l 3, then we have R E (n = {(c,c : c A l,c l 1+B l,c+c = n} + {(c,c : c A l,c l+1 1+(B l [0, l ],c+c = n} + 8
9 {(c,c : c < c,c,c l 1+B l,c+c = n} = {(c,c : c A l,c B l,c+c = n ( l 1} + {(c,c : c A l,c B l,c+c = n ( l+1 1} + R Bl (n ( l 1 R F (n = {(d,d : d B l,d l 1+A l,d+d = n} + {(d,d : d B l,d l+1 1+(A l [0, l ],d+d = n} {(d,d : d < d,d,d l 1+A l,d+d = n} = {(d,d : d B l,d A l,d+d = n ( l 1} + {(d,d : d B l,d A l,d+d = n ( l+1 1} +R Al (n ( l 1, which imply R E (n = R F (n for every positive integer n by Theorem 3., therefore by Claim 1., this is the only possible starting of C D. We will prove that 3 l C. We prove by contradiction. Assume that 3 l D, that is C [0,3 l ] = A l ( l 1+B l ( l+1 1+B l D [0,3 l ] = B l ( l 1+A l ( l+1 1+A l. We have a solution 3 l = ( l+1 1+( l 1 in set D, thus we have R D (3 l = 1+ {(d,d : d B l,d l+1 1+A l,d+d = 3 l } On the other h + {(d,d : d < d,d,d l 1+A l,d+d = 3 l } = 1+ {(d,d : d B l,d A l,d+d = l 1} +R Al ( l. R C (3 l = {(c,c : c A l,c l+1 1+B l,c+c = 3 l } + {(c,c : c < c,c,c l 1+B l,c+c = 3 l } = {(c,c : c A l,c B l,c+c = l 1} +R Bl ( l, therefore by Theorem 3 we have R D (3 l > R C (3 l, which is a contradiction. We may assume that 3 l C. Using the fact 1 C we have R C (3 l 1 = {(c,c : c A l,c l+1 1+B l,c+c = 3 l 1} + {(c,c : c < c,c,c l 1+B l,c+c = 3 l 1} +χ C (3 l 1 = {(c,c : c A l,c B l,c+c = l } +R Bl ( l +1+χ C (3 l 1. On the other h using 1 B l, l 1 A l 3 l C we get R D (3 l 1 = {(d,d : d B l,d l+1 1+A l [0, l ],d+d = 3 l 1} 9
10 + {(d,d : d < d,d,d l 1+A l,d+d = 3 l 1} = {(d,d : d B l,d A l,d+d = l } +R Al ( l +1 1, therefore by Theorem 3 we have R C (3 l 1 > R D (3 l 1, which is a contradiction, that is we have m < 3 l. It follows that C = A l ( l 1+B l ( l+1 1+(B l [0,m ( l+1 1] D = B l ( l 1+A l ( l+1 1+(A l [0,m ( l+1 1]. Wewillprovethatm = l+1. Assumethatm > l+1. Ifm ( l+1 1 k 1, then by Corollary 1., there exists an m ( l+1 1 < u < (m ( l+1 1 such that R A [0,m ( l+1 1](u R B [0,m ( l+1 1](u. Since m+ l+1 1 < u+( l+1 1 < m we obtain R C (( l+1 1+u = R l+1 1+B l [0,m ( l+1 1](( l+1 1+u = R Bl [0,m ( l+1 1](u. Similarly R D (( l+1 1+u = R Al [0,m ( l+1 1](u, which is a contradiction. Thus we may assume that m ( l+1 1 = k 1, where k < l. Hence C = A l ( l 1+B l ( l+1 1+B k D = B l ( l 1+A l ( l+1 1+A k. If k = 0, then C,D [0, l+1 1] l+1, l+1 1 D, therefore R C ( l+ 3 = 0 R D ( l+ 3 = 1, a contradiction. Thus we may assume that k > 0. Then if C = l+1 + k C D = l+1 + k D itfollowsthatc D = [0, l+1 + k ], C D = { l + k 1}byClaim. R C (n = R D (nforeverypositiveintegern. Thus we have C [0, l + k ] = A [0, l + k ] or C [0, l + k ] = B [0, l + k ]. We prove that C [0, l + k ] = A [ l + k ]. Assume that C [0, l + k ] = B [ l + k ]. Then C [0, k 1] = B k C [ k, k+1 1] = k +A k, which is a contradiction because C [ k, k+1 1] = k +B k. We know C [0, k 1] = A k, then C [ k, k+1 1] = k +B k, C [ k+1,3 k ] = k+1 +B k [0, k ]. On the other h for C = l+1 (A l ( l 1+B l we have C [0, l ] = B [0, l ], therefore C [0, k 1] = B k C [ k, k+1 ] = k +A k [0, k ], which is a contradiction because C = A k ( k +C. The proof of Theorem 6. is completed. References [1] Y. G. Chen. On the values of representation functions, Sci. China Math., 54(011,
11 [] Y. G. Chen, V. F. Lev. Integer sets with identical representation functions, IN- TEGERS, 16 (016, A36. [3] Y. G. Chen, M. Tang. Partitions of natural numbers with the same representation functions, J. Number Theory, 19 (009, [4] Y. G. Chen, B. Wang. On additive properties of two special sequences, Acta Arith., 113 (003, [5] G. Dombi. Additive properties of certain sets, Acta Arith. 103 (00, [6] V. F. Lev. Reconstructing integer sets from their representation functions, Electron. J. Combin, 11 (004, R78. [7] Z. Qu. On the nonvanishing of representation functions of some special sequences, Discrete Math., 338 (015, [8] Cs. Sándor. Partitions of natural numbers their representation functions, IN- TEGERS, 4 (004, A18. [9] M. Tang. Partitions of the set of natural numbers their representation functions, Discrete Math., 308 (008, [10] M. Tang. Partitions of natural numbers their representation functions, Chinese Journal of Cont. Math., 37 (016, [11] M. Tang, W. Yu. A note on partitions of natural numbers their representation functions, INTEGERS, 1 (01, A53. 11
Groups, partitions and representation functions
Groups, partitions and representation functions Sándor Z. Kiss, Eszter Rozgonyi, Csaba Sándor bstract Let G be a finite (abelian) group. In this paper we determine all subsets G such that the number of
More information#A45 INTEGERS 9 (2009), BALANCED SUBSET SUMS IN DENSE SETS OF INTEGERS. Gyula Károlyi 1. H 1117, Hungary
#A45 INTEGERS 9 (2009, 591-603 BALANCED SUBSET SUMS IN DENSE SETS OF INTEGERS Gyula Károlyi 1 Institute of Mathematics, Eötvös University, Pázmány P. sétány 1/C, Budapest, H 1117, Hungary karolyi@cs.elte.hu
More informationarxiv: v1 [math.co] 30 Nov 2016
Rounds in a combinatorial search problem arxiv:1611.10133v1 [math.co] 30 Nov 2016 Dániel Gerbner Máté Vizer MTA Rényi Institute Hungary H-1053, Budapest, Reáltanoda utca 13-15. gerbner@renyi.hu, vizermate@gmail.com
More informationFamilies that remain k-sperner even after omitting an element of their ground set
Families that remain k-sperner even after omitting an element of their ground set Balázs Patkós Submitted: Jul 12, 2012; Accepted: Feb 4, 2013; Published: Feb 12, 2013 Mathematics Subject Classifications:
More informationarxiv: v2 [math.nt] 21 May 2016
arxiv:165.156v2 [math.nt] 21 May 216 PROGRESSION-FREE SETS IN Z n 4 ARE EXPONENTIALLY SMALL ERNIE CROOT, VSEVOLOD F. LEV, AND PÉTER PÁL PACH Abstract. We show that for integer n 1, any subset A Z n 4 free
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric
More informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Determine whether a relation is an equivalence relation by determining whether it is Reflexive Symmetric
More informationMATH 215 Final. M4. For all a, b in Z, a b = b a.
MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on
More informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationGoldbach and twin prime conjectures implied by strong Goldbach number sequence
Goldbach and twin prime conjectures implied by strong Goldbach number sequence Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this note, we present a new and direct approach to prove the Goldbach
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationOn (δ, χ)-bounded families of graphs
On (δ, χ)-bounded families of graphs András Gyárfás Computer and Automation Research Institute Hungarian Academy of Sciences Budapest, P.O. Box 63 Budapest, Hungary, H-1518 gyarfas@sztaki.hu Manouchehr
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationMath 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.
Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations
More informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More information1 x i. i=1 EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA
Volume, Number 2, Pages 63 78 ISSN 75-0868 ON THE EQUATION n i= = IN DISTINCT ODD OR EVEN NUMBERS RAFAEL ARCE-NAZARIO, FRANCIS N. CASTRO, AND RAÚL FIGUEROA Abstract. In this paper we combine theoretical
More informationOn the number of edge-disjoint triangles in K 4 -free graphs
On the number of edge-disjoint triangles in K 4 -free graphs arxiv:1506.03306v1 [math.co] 10 Jun 2015 Ervin Győri Rényi Institute Hungarian Academy of Sciences Budapest, Hungary gyori.ervin@renyi.mta.hu
More informationChromatic Ramsey number of acyclic hypergraphs
Chromatic Ramsey number of acyclic hypergraphs András Gyárfás Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences Budapest, P.O. Box 127 Budapest, Hungary, H-1364 gyarfas@renyi.hu Alexander
More informationARITHMETIC PROGRESSIONS IN SPARSE SUMSETS. Dedicated to Ron Graham on the occasion of his 70 th birthday
ARITHMETIC PROGRESSIONS IN SPARSE SUMSETS Dedicated to Ron Graham on the occasion of his 70 th birthday Ernie Croot 1 School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 Imre Ruzsa
More informationUnique Difference Bases of Z
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 14 (011), Article 11.1.8 Unique Difference Bases of Z Chi-Wu Tang, Min Tang, 1 and Lei Wu Department of Mathematics Anhui Normal University Wuhu 41000 P.
More informationSOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM
Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,
More informationColoring Vertices and Edges of a Path by Nonempty Subsets of a Set
Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp November 8, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct
More information64 P. ERDOS AND E. G. STRAUS It is possible that (1.1) has only a finite number of solutions for fixed t and variable k > 2, but we cannot prove this
On Products of Consecutive Integers P. ERDŐS HUNGARIAN ACADEMY OF SCIENCE BUDAPEST, HUNGARY E. G. STRAUSt UNIVERSITY OF CALIFORNIA LOS ANGELES, CALIFORNIA 1. Introduction We define A(n, k) = (n + k)!/n!
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationSolutions to Assignment 1
Solutions to Assignment 1 Question 1. [Exercises 1.1, # 6] Use the division algorithm to prove that every odd integer is either of the form 4k + 1 or of the form 4k + 3 for some integer k. For each positive
More informationSequences of height 1 primes in Z[X]
Sequences of height 1 primes in Z[X] Stephen McAdam Department of Mathematics University of Texas Austin TX 78712 mcadam@math.utexas.edu Abstract: For each partition J K of {1, 2,, n} (n 2) with J 2, let
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationarxiv:math/ v2 [math.nt] 3 Dec 2003
arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,
More informationPowers of 2 with five distinct summands
ACTA ARITHMETICA * (200*) Powers of 2 with five distinct summands by Vsevolod F. Lev (Haifa) 0. Summary. We show that every sufficiently large, finite set of positive integers of density larger than 1/3
More informationMATH 2200 Final Review
MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics
More informationA note on balanced bipartitions
A note on balanced bipartitions Baogang Xu a,, Juan Yan a,b a School of Mathematics and Computer Science Nanjing Normal University, 1 Ninghai Road, Nanjing, 10097, China b College of Mathematics and System
More informationSQUARES AND DIFFERENCE SETS IN FINITE FIELDS
SQUARES AND DIFFERENCE SETS IN FINITE FIELDS C. Bachoc 1 Univ Bordeaux, Institut de Mathématiques de Bordeaux, 351, cours de la Libération 33405, Talence cedex, France bachoc@math.u-bordeaux1.fr M. Matolcsi
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationPGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.
PGSS Discrete Math Solutions to Problem Set #4 Note: signifies the end of a problem, and signifies the end of a proof. 1. Prove that for any k N, there are k consecutive composite numbers. (Hint: (k +
More informationCHARACTER EXPANSIVENESS IN FINITE GROUPS
CHARACTER EXPANSIVENESS IN FINITE GROUPS Abstract. We say that a finite group G is conjugacy expansive if for any normal subset S and any conjugacy class C of G the normal set SC consists of at least as
More informationSUMSETS AND THE CONVEX HULL MÁTÉ MATOLCSI AND IMRE Z. RUZSA
SUMSETS AND THE CONVEX HULL MÁTÉ MATOLCSI AND IMRE Z RUZSA Abstract We extend Freiman s inequality on the cardinality of the sumset of a d dimensional set We consider different sets related by an inclusion
More informationarxiv:math/ v1 [math.nt] 6 May 2003
arxiv:math/0305087v1 [math.nt] 6 May 003 The inverse problem for representation functions of additive bases Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx, New York 10468 Email:
More informationOn reducible and primitive subsets of F p, II
On reducible and primitive subsets of F p, II by Katalin Gyarmati Eötvös Loránd University Department of Algebra and Number Theory and MTA-ELTE Geometric and Algebraic Combinatorics Research Group H-1117
More information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More information#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S
#A42 INTEGERS 10 (2010), 497-515 ON THE ITERATION OF A FUNCTION RELATED TO EULER S φ-function Joshua Harrington Department of Mathematics, University of South Carolina, Columbia, SC 29208 jh3293@yahoo.com
More informationON GENERALIZED BALANCING SEQUENCES
ON GENERALIZED BALANCING SEQUENCES ATTILA BÉRCZES, KÁLMÁN LIPTAI, AND ISTVÁN PINK Abstract. Let R i = R(A, B, R 0, R 1 ) be a second order linear recurrence sequence. In the present paper we prove that
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationAVOIDING ZERO-SUM SUBSEQUENCES OF PRESCRIBED LENGTH OVER THE INTEGERS
AVOIDING ZERO-SUM SUBSEQUENCES OF PRESCRIBED LENGTH OVER THE INTEGERS C. AUGSPURGER, M. MINTER, K. SHOUKRY, P. SISSOKHO, AND K. VOSS MATHEMATICS DEPARTMENT, ILLINOIS STATE UNIVERSITY NORMAL, IL 61790 4520,
More information1.4 Equivalence Relations and Partitions
24 CHAPTER 1. REVIEW 1.4 Equivalence Relations and Partitions 1.4.1 Equivalence Relations Definition 1.4.1 (Relation) A binary relation or a relation on a set S is a set R of ordered pairs. This is a very
More informationMulticolour Ramsey Numbers of Odd Cycles
Multicolour Ramsey Numbers of Odd Cycles JOHNSON, JR; Day, A 2017 Elsevier Inc This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Combinatorial Theory, Series
More informationCOUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF
COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationREPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES. Byeong Moon Kim. 1. Introduction
Korean J. Math. 24 (2016), No. 1, pp. 71 79 http://dx.doi.org/10.11568/kjm.2016.24.1.71 REPRESENTATION OF A POSITIVE INTEGER BY A SUM OF LARGE FOUR SQUARES Byeong Moon Kim Abstract. In this paper, we determine
More informationOn rainbow arithmetic progressions
On rainbow arithmetic progressions Maria Axenovich Department of Mathematics Iowa State University USA axenovic@math.iastate.edu Dmitri Fon-Der-Flaass Department of Mathematics University of Illinois at
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationStability of the path-path Ramsey number
Worcester Polytechnic Institute Digital WPI Computer Science Faculty Publications Department of Computer Science 9-12-2008 Stability of the path-path Ramsey number András Gyárfás Computer and Automation
More informationDownloaded 03/01/17 to Redistribution subject to SIAM license or copyright; see
SIAM J. DISCRETE MATH. Vol. 31, No. 1, pp. 335 382 c 2017 Society for Industrial and Applied Mathematics PARTITION CONSTRAINED COVERING OF A SYMMETRIC CROSSING SUPERMODULAR FUNCTION BY A GRAPH ATTILA BERNÁTH,
More informationTurán s problem and Ramsey numbers for trees. Zhi-Hong Sun 1, Lin-Lin Wang 2 and Yi-Li Wu 3
Colloquium Mathematicum 139(015, no, 73-98 Turán s problem and Ramsey numbers for trees Zhi-Hong Sun 1, Lin-Lin Wang and Yi-Li Wu 3 1 School of Mathematical Sciences, Huaiyin Normal University, Huaian,
More informationWhen are Sums Closed?
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Fall 2018 Winter 2019 Topic 20: When are Sums Closed? 20.1 Is a sum of closed sets closed? Example 0.2.2
More informationarxiv: v5 [math.nt] 23 May 2017
TWO ANALOGS OF THUE-MORSE SEQUENCE arxiv:1603.04434v5 [math.nt] 23 May 2017 VLADIMIR SHEVELEV Abstract. We introduce and study two analogs of one of the best known sequence in Mathematics : Thue-Morse
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationComplete Induction and the Well- Ordering Principle
Complete Induction and the Well- Ordering Principle Complete Induction as a Rule of Inference In mathematical proofs, complete induction (PCI) is a rule of inference of the form P (a) P (a + 1) P (b) k
More informationComposition of Axial Functions of Product of Finite Sets
Composition of Axial Functions of Product of Finite Sets Krzysztof P lotka Department of Mathematics University of Scranton Scranton, PA 18510, USA plotkak2@scranton.edu September 14, 2004 Abstract To
More informationA proof of strong Goldbach conjecture and twin prime conjecture
A proof of strong Goldbach conjecture and twin prime conjecture Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract In this paper we give a proof of the strong Goldbach conjecture by studying limit
More informationarxiv: v1 [math.gn] 2 Jul 2016
ON σ-countably TIGHT SPACES arxiv:1607.00517v1 [math.gn] 2 Jul 2016 ISTVÁN JUHÁSZ AND JAN VAN MILL Abstract. Extending a result of R. de la Vega, we prove that an infinite homogeneous compactum has cardinality
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationOscillation Criteria for Delay Neutral Difference Equations with Positive and Negative Coefficients. Contents
Bol. Soc. Paran. Mat. (3s.) v. 21 1/2 (2003): 1 12. c SPM Oscillation Criteria for Delay Neutral Difference Equations with Positive and Negative Coefficients Chuan-Jun Tian and Sui Sun Cheng abstract:
More informationAn improvement on the maximum number of k-dominating Independent Sets
An improvement on the maximum number of -Dominating Independent Sets arxiv:709.0470v [math.co] 4 Sep 07 Dániel Gerbner a Balázs Keszegh a Abhishe Methuu b Balázs Patós a September 5, 07 Máté Vizer a a
More informationMath 172 HW 1 Solutions
Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationINFINITY: CARDINAL NUMBERS
INFINITY: CARDINAL NUMBERS BJORN POONEN 1 Some terminology of set theory N := {0, 1, 2, 3, } Z := {, 2, 1, 0, 1, 2, } Q := the set of rational numbers R := the set of real numbers C := the set of complex
More informationAlmost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets
Almost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets Dániel Gerbner a Nathan Lemons b Cory Palmer a Balázs Patkós a, Vajk Szécsi b a Hungarian Academy of Sciences, Alfréd Rényi Institute
More informationStandard forms for writing numbers
Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,
More informationWe want to show P (n) is true for all integers
Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to
More informationARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS
Math. J. Okayama Univ. 60 (2018), 155 164 ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Kenichi Shimizu Abstract. We study a class of integers called SP numbers (Sum Prime
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationCycles in 4-Connected Planar Graphs
Cycles in 4-Connected Planar Graphs Guantao Chen Department of Mathematics & Statistics Georgia State University Atlanta, GA 30303 matgcc@panther.gsu.edu Genghua Fan Institute of Systems Science Chinese
More informationThe edge-density for K 2,t minors
The edge-density for K,t minors Maria Chudnovsky 1 Columbia University, New York, NY 1007 Bruce Reed McGill University, Montreal, QC Paul Seymour Princeton University, Princeton, NJ 08544 December 5 007;
More informationSEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION
CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright
More informationSolutions for Math 217 Assignment #3
Solutions for Math 217 Assignment #3 (1) Which of the following sets in R n are open? Which are closed? Which are neither open nor closed? (a) {(x, y) R 2 : x 2 y 2 = 1}. (b) {(x, y, z) R 3 : 0 < x + y
More informationRepresenting integers as linear combinations of powers
ubl. Math. Debrecen Manuscript (August 15, 2011) Representing integers as linear combinations of powers By Lajos Hajdu and Robert Tijdeman Dedicated to rofessors K. Győry and A. Sárközy on their 70th birthdays
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationA SHARP RESULT ON m-covers. Hao Pan and Zhi-Wei Sun
Proc. Amer. Math. Soc. 35(2007), no., 355 3520. A SHARP RESULT ON m-covers Hao Pan and Zhi-Wei Sun Abstract. Let A = a s + Z k s= be a finite system of arithmetic sequences which forms an m-cover of Z
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationarxiv: v2 [math.co] 19 Jun 2018
arxiv:1705.06268v2 [math.co] 19 Jun 2018 On the Nonexistence of Some Generalized Folkman Numbers Xiaodong Xu Guangxi Academy of Sciences Nanning 530007, P.R. China xxdmaths@sina.com Meilian Liang School
More informationTHE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS
SOOCHOW JOURNAL OF MATHEMATICS Volume 28, No. 4, pp. 347-355, October 2002 THE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS BY HUA MAO 1,2 AND SANYANG LIU 2 Abstract. This paper first shows how
More informationSubset sums modulo a prime
ACTA ARITHMETICA 131.4 (2008) Subset sums modulo a prime by Hoi H. Nguyen, Endre Szemerédi and Van H. Vu (Piscataway, NJ) 1. Introduction. Let G be an additive group and A be a subset of G. We denote by
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationarxiv: v2 [math.nt] 4 Nov 2012
INVERSE ERDŐS-FUCHS THEOREM FOR k-fold SUMSETS arxiv:12093233v2 [mathnt] 4 Nov 2012 LI-XIA DAI AND HAO PAN Abstract We generalize a result of Ruzsa on the inverse Erdős-Fuchs theorem for k-fold sumsets
More informationFermat numbers and integers of the form a k + a l + p α
ACTA ARITHMETICA * (200*) Fermat numbers and integers of the form a k + a l + p α by Yong-Gao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac
More informationSELECTIVELY BALANCING UNIT VECTORS AART BLOKHUIS AND HAO CHEN
SELECTIVELY BALANCING UNIT VECTORS AART BLOKHUIS AND HAO CHEN Abstract. A set U of unit vectors is selectively balancing if one can find two disjoint subsets U + and U, not both empty, such that the Euclidean
More informationCommentationes Mathematicae Universitatis Carolinae
Commentationes Mathematicae Universitatis Carolinae Keresztély Corrádi; Sándor Szabó A Hajós type result on factoring finite abelian groups by subsets. II Commentationes Mathematicae Universitatis Carolinae,
More informationarxiv: v1 [math.nt] 11 Jun 2017
Powerful numbers in (1 l +q l )( l +q l ) (n l +q l ) arxiv:1706.03350v1 [math.nt] 11 Jun 017 Quan-Hui Yang 1 Qing-Qing Zhao 1. School of Mathematics and Statistics, Nanjing University of Information Science
More informationActa Arith., 140(2009), no. 4, ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES. 1. Introduction
Acta Arith., 140(009), no. 4, 39 334. ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES SONG GUO AND ZHI-WEI SUN* arxiv:081.174v3 [math.co] 16 Dec 009 Abstract. Let n be a positive even integer, and let
More informationTHE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
More informationBetter bounds for k-partitions of graphs
Better bounds for -partitions of graphs Baogang Xu School of Mathematics, Nanjing Normal University 1 Wenyuan Road, Yadong New District, Nanjing, 1006, China Email: baogxu@njnu.edu.cn Xingxing Yu School
More informationSum of dilates in vector spaces
North-Western European Journal of Mathematics Sum of dilates in vector spaces Antal Balog 1 George Shakan 2 Received: September 30, 2014/Accepted: April 23, 2015/Online: June 12, 2015 Abstract Let d 2,
More informationA DEGREE VERSION OF THE HILTON MILNER THEOREM
A DEGREE VERSION OF THE HILTON MILNER THEOREM PETER FRANKL, JIE HAN, HAO HUANG, AND YI ZHAO Abstract An intersecting family of sets is trivial if all of its members share a common element Hilton and Milner
More informationDiscrete Mathematics, Spring 2004 Homework 4 Sample Solutions
Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions 4.2 #77. Let s n,k denote the number of ways to seat n persons at k round tables, with at least one person at each table. (The numbers s n,k
More informationCHARACTERISTICS OF COUNTER EXAMPLE LOOPS IN THE COLLATZ CONJECTURE. Thomas W. Allen II
CHARACTERISTICS OF COUNTER EXAMPLE LOOPS IN THE COLLATZ CONJECTURE by Thomas W Allen II An Abstract presented in partial fulfillment of the requirements for the degree of Master of Science in the Department
More information