MULTIPLE HARMONIC SUMS AND MULTIPLE HARMONIC STAR SUMS ARE (NEARLY) NEVER INTEGERS
|
|
- Wilfrid Montgomery
- 5 years ago
- Views:
Transcription
1 #A0 INTEGERS 7 (207) MULTIPLE HARMONIC SUMS AND MULTIPLE HARMONIC STAR SUMS ARE (NEARLY) NEVER INTEGERS Khodabakhsh Hessami Pilehrood The Fields Institute for Research in Mathematical Sciences, Toronto, Canada hessamik@gmail.com Tatiana Hessami Pilehrood The Fields Institute for Research in Mathematical Sciences, Toronto, Canada hessamit@gmail.com Roberto Tauraso Dipartimento di Matematica, Università di Roma Tor Vergata, Roma, Italy tauraso@mat.uniroma2.it Received: /4/6, Accepted: 3/5/7, Published: 4/4/7 Abstract It is well known that the harmonic sum H n () = P n k= k is never an integer for n >. In 946, Erdős and Niven proved that the nested multiple harmonic sum H n ({} r ) = P applek < <k rapplen k k r can take integer values only for a finite number of positive integers n. In 202, Chen and Tang refined this result by showing that H n ({} r ) is an integer only for (n, r) = (, ) and (n, r) = (3, 2). In 204, Hong and Wang extended these results to the general arithmetic progression case. In this paper, we consider the integrality problem for arbitrary multiple harmonic and multiple harmonic star sums and show that none of these sums is an integer with some natural exceptions like those mentioned above.. Introduction A classic result of elementary number theory is that even though the partial sum of the harmonic series P n k= /k increases to infinity, it is never an integer for n >. Apparently the first published proof goes back to Theisinger [9] in 95, and, since then, it has been proposed as a challenging problem in several textbooks; among all we mention [5, p.6, Problem 30], [7, p.33, Problem 37], [8, p.53, Problem 250]. In 946, Erdős and Niven [3] proved a stronger statement: there is only a finite number of integers n for which there is a positive integer r apple n such that the r-th
2 INTEGERS: 7 (207) 2 elementary symmetric function of, /2,..., /n, that is applek < <k rapplen k k r, is an integer. In 202, Chen and Tang [] refined this result and succeeded to show that the above sum is not an integer with the only two exceptions: either n = r = or n = 3 and r = 2. Recently, this theme has been further developed by investigating the case when the variables of the elementary symmetric functions are /f(), /f(2),..., /f(n) with f(x) being a polynomial of nonnegative integer coe cients: see [4] and [0] for f(x) = ax + b and see [6] for f of degree at least two. In this paper, we consider the integrality problem for sums which are not necessarily symmetric with respect to their variables. For an r-tuple of positive integers s = (s,..., s r ) and an integer n r, we define two classes of multiple harmonic sums: the ordinary multiple harmonic sum (MHS) H n (s,..., s r ) = k s applek < <k rapplen and the star version (MHS-star also denoted by S in the literature) H? n(s,..., s r ) = k s applek apple applek rapplen, () ksr r. (2) ksr r The number l(s) := r is called the length and s := P r j= s j is the weight of the multiple harmonic sum. Note that H n ({m} r ) is the r-th elementary symmetric function of /f(), /f(2),..., /f(n) with f(x) = x m. The multiple sums () and (2) are of a certain interest because by taking the limit as n goes to when s r > (otherwise the infinite sums diverge) we get the so-called multiple zeta value and the multiple zeta star value, lim H n(s,..., s r ) = (s,..., s r ) and lim n! n! H? n(s,..., s r ) =? (s,..., s r ), respectively. Note that the integrality of the MHS-star is quite simple to study. Theorem. Let n of H? (s ) =. r. Then H? n(s,..., s r ) is never an integer with the exception Proof. If n >, then by Bertrand s postulate, there is at least a prime p such that n/2 < p apple n. Then p apple n < 2p and H? (s) = applek apple applek rapplen 9i : k i6=p k s ksr r + applek apple applek rapplen 8i, k i=p k s ksr r = a bp t + p s
3 INTEGERS: 7 (207) 3 where gcd(b, p) = and t < s. Assume that H? (s) = m 2 N +. Then bmp s = ap s t + b, which is a contradiction because p divides the left-hand side and p does not divide the right-hand side. On the other hand, the case of the ordinary MHS is much more intricate. Our result is given below whereas the entire next section is dedicated to its proof. Theorem 2. Let n r. Then H n (s,..., s r ) is never an integer with the exceptions of H (s ) = and H 3 (, ) =. Summarizing and generalizing the results of Theorem, Theorem 2 and papers [, 4, 6, 0], we propose the following problem. Problem. Let n and r be positive integers such that r apple n. Let s = (s,..., s r ) be an r-tuple of positive integers and f(x) be a nonzero polynomial of nonnegative integer coe cients, f(x) 6= x. Let H n,f (s,..., s r ) = f(k ) s f(k r ) sr and H? n,f(s,..., s r ) = applek < <k rapplen applek apple applek rapplen f(k ) s f(k r ) sr. Find all values of n and s for which H n,f (s,..., s r ) and H? n,f (s,..., s r ) are integers. Note that when f(x) = x, the multiple sums H n,f (s,..., s r ) and H? n,f (s,..., s r ) coincide with multiple harmonic sums () and (2) and therefore, the integrality problem in this case is addressed in Theorem and Theorem 2, respectively. Throughout the paper, all the numerical computations were performed by using Maple TM. 2. Proof of Theorem 2 The main tool in the proof of Theorem is Bertrand s postulate. Unfortunately, such result is not strong enough to imply Theorem 2. The statement described in the following remark will replace it. Notice that the same argument had been used by Erdős and Niven in [3] and successively taken up in [, 4] and [0]. Remark. Let apple r apple n. If there is a prime p 2 ( n r+, n r ] and r < p, then H n(s) is not an integer when l(s) = r. Indeed, since < p < 2p < < rp apple n < (r +)p, it follows that H n (s) = applek < <k rapplen 9i : p-k i k s ksr r + applek < <k rapplen 8i, p k i k s ksr r = a bp t + cp s
4 INTEGERS: 7 (207) 4 where gcd(b, p) = gcd(c, p) = and t < s. Assume that H n (s) = m 2 N +. Then bcmp s = cap s t + b, which is a contradiction because p divides the left-hand side and p does not divide the right-hand side. For any integer r, let A r = [ p2p[rp, (r + )p) where P is the set of primes. Note that by Bertrand s postulate, A = [2, +). The crucial property of the set A r is that n 2 A r if and only if there exists a prime p such that p 2 ( n r+, n r ]. The next lemma is a variation of [4, Lemma 2.4]. Lemma. For any positive integer r, A r is cofinite, i.e., N \ A r is finite. Let m r = max(n \ A r ) +. Then the first few values of m r are as follows: r m r /r r m r /r and for any positive integer r 24, m r apple (r + ) exp( p.4 r). Proof. Let r and let n be such that x := n/(r + ) max(exp( p.4 r), 3275). Then ln 2 (x).4 r implies n r = x + x r x +.4 x ln 2 (x) x + x 2 ln 2 (x). Moreover, by [2, Theorem ], there is a prime p such that x n p 2 x, x + 2 ln 2 (x) r +, n r which implies that n 2 A r. This proves that N \ A r is finite. Note that if r 47, then exp( p.4 r) On the other hand, if 24 apple r apple 46 and n 2 [(r + ) exp( p.4 r), (r + )3275), one can verify directly that n 2 A r. In order to compare values of multiple harmonic sums of the same length, the following definition and lemma will be useful. Definition. Let s = (s,..., s r ) and t = (t,..., t r ) be two r-tuples of positive integers. We say that s t, if w(s) w(t), i.e., if s + + s r t + + t r, and s apple t,..., s l apple t l, s l+ t l+,..., s r t r for some 0 apple l apple r. In particular, s t if s i t i for i =,..., r.
5 INTEGERS: 7 (207) 5 Lemma 2. Let s = (s,..., s r ) and t = (t,..., t r ) be two r-tuples of positive integers, and s t. Then for any positive integer n, H n (s,..., s r ) apple H n (t,..., t r ). Proof. Let 0 apple l apple r be such that s apple t,..., s l apple t l and s l+ t l+,..., s r t r. Now we compare corresponding terms k s ksr r and, where k < < k r, ktr r k t of multiple sums H n (s) and H n (t). Since s + + s r k t s t2 s2 k and therefore, 2 k t l s l l apple k t+ +t l (s + +s l ) l = k (s l+ t l+ )+ +(s r t r) l k apple k s l+ t l+ l+ k k s apple ksr r which implies H n (s) apple H n (t), as required. Remark 2. Notice that H n () = + n k=2 k t sr tr r, ktr r Hence, if apple r apple n then, by the previous lemma, Z n k apple + dx = ln(n) +. x H n (s,..., s r ) apple H n ({} r ) apple (H n()) r r! apple t + + t r, we have t+ +tr (s+ +sr) l (ln(n) + )r r! where the second inequality holds because each term of H n ({} r ) is contained r! times in the expansion of (H n ()) r. Let p be a prime and let p (q) be the p-adic order of the rational number q, that is, if a, b are coprime with p and n 2 Z, then p (ap n /b) = n. It is known that the p-adic order satisfies the inequality p (a + b) min( p (a), p (b)) where the equality holds if p (a) 6= p (b). The following lemma will be our basic tool to find an upper bound for the index s. Lemma 3. Given 2 apple r apple n and (s 2,..., s r ), there exists an integer M (which depends on (s 2,..., s r ) and n) such that H n (s, s 2,..., s r ) is never an integer for any positive integer s > M.
6 INTEGERS: 7 (207) 6 Proof. If r = n, then H n (s, s 2,..., s r ) is trivially not an integer for all s > 0. If r < n, then we have that H n (s,..., s r ) = nr+ k= c k k s where c k := k<k 2< <k rapplen k s2 2 > 0. ksr r Let p be the largest prime in [2, n r + ]. Then 2p > n r + (otherwise by Bertrand s postulate there is a prime q such that p < q < 2p apple n r + ). Let 0 B M := p (c p ), p (c p ) min applekapplen r+ C ( p (c k )) A. We will show that p (H n (s)) < 0, which implies that H n (s) is not an integer. Assume that s > M, then Now i) s > p (c p ) and ii) s > p (c p ) min By ii), we have that 0 p applekapplen r+ and by i), Therefore c k k s C A H n (s) = c p p s + min applekapplen r+ 0 p (H n (s)) = min B applekapplen r+ c k ck p = min k s k s. applekapplen r+ cp p = p (c p ) s < 0. p s 0 applekapplen r+ c k k s C A, p cp p s applekapplen r+ p (c k ) > p (c p ) C A = p cp p s ( p (c k )). < 0. cp s = p, p s Remark 3. If, in addition to the inequalities 2 apple p apple n r +, the prime p satisfies n/2 < p, then ( p (c k ) min max 2appleiappler s i, if apple k < p, p k<k 2< <k rapplen k s2 2 = ksr r 0, if p apple k apple n r +.
7 INTEGERS: 7 (207) 7 Therefore This means that min applekapplen r+ ( p (c k )) max s i. 2appleiappler M 0 := p (c p ) + max 2appleiappler s i M. When the assumption n/2 < p is met, we will prefer to use the bound M 0 to M because the bound M 0 is computationally easier to determine. Proof of Theorem 2. Since H n (s ) = H n(s? ), by Theorem, the statement holds for r =. If e(ln(n) + ) apple r, then by Remark 2 and the fact that e r > r r /r!, we have r (ln(n) + )r ln(n) + H n (s) apple < apple, r! r/e which implies that H n (s) can not be an integer. Assume that 2 apple r < e(ln(n) + ). Then exp(r/e ) < n and, since it can be verified that (r + ) exp( p.4 r) apple exp(r/e ) for r 30, it follows that n 2 A r and we are done as soon as we use Remark. Remark can be applied successfully even when 2 apple r apple 29 and n 9599 because m r apple 33r apple = 9599 apple n. Hence the cases remained to consider are 2 apple r apple 29 and r apple n < m r (with n 62 A r ). For r = 25, 26, 27, 28, 29, by Remark 2, H n (s) < H mr (s) apple H mr ({} r ) apple (ln(m r) + ) r where the last inequality can be easily verified numerically. For r = 9, 20, 2, 22, 23, 24, by Lemma 2, r! < H n (s) < H mr (s) apple H mr ({} r ) and the non-integrality of H n (s) is implied by the following evaluations: H m24 ({} 24 ) < <, H m23 ({} 23 ) < <, H m22 ({} 22 ) < <, H m2 ({} 2 ) < <, H m20 ({} 20 ) < <, H m9 ({} 9 ) < <.
8 INTEGERS: 7 (207) 8 The strategy to handle the cases where 2 apple r apple 8 is fairly more complicated because H mr ({} r ) >. The analysis is based on the numerical values presented in Tables, 2, and 3. Here we give a detailed explanation of how the data in such tables are calculated and used for r = 5. The other cases can be treated in a similar way. What turns out at the end is that the only exception for r 2 is H 3 (, ) =. We first determine the optimal set of length 5, that is, a set of 5-tuples such that the multiple harmonic sums with n = m 5 = 45 are the largest sums less than with small weights (columns 2 and 3): H m5 ({} 4, 2) < <, H m5 (, 2, 2,, ) < <, H m5 (, 4, {} 3 ) < <. Then, thanks to Lemma 2, the size of the set of multiple harmonic sums less than (and therefore not integral) can be extended. Let 5 apple n < m 5. If s 2 4, then H n (s, s 2, s 3, s 4, s 5 ) apple H n (, 4, {} 3 ) < H m5 (, 4, {} 3 ) <. If s 2 2 {2, 3} and there is s j 2 with 3 apple j apple 5, then H n (s, s 2, s 3, s 4, s 5 ) apple H n (, 2, s 3, s 4, s 5 ) apple H n (, 2, 2,, ) < H m5 (, 2, 2,, ) <. If s 2 = and s 3 3, then H n (s,, s 3, s 4, s 5 ) apple H n (,, 3,, ) apple H n (, 2, 2,, ) < H m5 (, 2, 2,, ) <. If s 2 =, s 3 = 2, and s 4 2 or s 5 2, then H n (s,, 2, s 4, s 5 ) apple H n (,, 2, s 4, s 5 ) apple H n (,, 2, 2, ) apple H n (, 2, 2,, ) < H m5 (, 2, 2,, ) <. If s 2 =, s 3 =, and s 4 3, then H n (s,,, s 4, s 5 ) apple H n ({} 3, 3, ) apple H n (, 2, 2,, ) < H m5 (, 2, 2,, ) <. If s 2 =, s 3 =, s 4 = 2, and s 5 2, then H n (s,,, 2, s 5 ) apple H n ({} 3, 2, s 5 ) apple H n ({} 3, 2, 2) apple H n (, 2, 2, {} 2 ) < H m5 (, 2, 2, {} 2 ) <. If s 2 = s 3 = s 4 = and s 5 2, then H n (s, {} 3, s 5 ) apple H n ({} 4, s 5 ) apple H n ({} 4, 2) < H m5 ({} 4, 2) <.
9 INTEGERS: 7 (207) 9 The set of 5-tuples of positive integers which are excluded by the analysis above is what we call the exclusion set (column 4): (s, 3, {} 3 ), (s, 2, {} 3 ), (s,, 2,, ), (s,,, 2, ), (s, {} 4 ) with s. By using Lemma 3 and Remark 3, we are able to give an upper bound for s (column 5) and therefore to reduce the size of the exclusion set to a finite number. Finally, it su ces to compute the rational number H n (s) for 5 apple n < m 5 and for s in the exclusion set with the upper bound for s established in the last column. For r = 5, none of them is an integer. Acknowledgement. Kh. Hessami Pilehrood and T. Hessami Pilehrood gratefully acknowledge support from the Fields Institute Research Immersion Fellowships. References [] Y. Chen and M. Tang, On the elementary symmetric functions of, /2,..., /n, Amer. Math. Monthly 9 (202), [2] P. Dusart, Inégalités explicites pour (x), (x), (x) et les nombres premiers, C. R. Math. Acad. Sci. Soc. R. Can. 2 (999), [3] P. Erdős and I. Niven, Some properties of partial sums of the harmonic series, Bull. Amer. Math. Soc. 52 (946), [4] S. Hong and C. Wang, The elementary symmetric functions of reciprocals of elements of arithmetic progressions, Acta Math. Hungar. 44 (204), [5] K. Ireland and M. Rosen, A Classical Introduction to Modern Number Theory, Springer- Verlag, 990. [6] Y. Luo, S. Hong, G. Qian, C. Wang The elementary symmetric functions of a reciprocal polynomial sequence, C. R. Math. Acad. Sci. Paris 352 (204), [7] M. B. Nathanson, Elementary Methods in Number Theory, Springer-Verlag, [8] G. Pólya and G. Szegő, Problems and Theorems in Analysis II, Springer-Verlag, 976. [9] L. Theisinger, Bemerkung über die harmonische Reihe, Monatsh. Math. 26 (95), [0] C. Wang and S. Hong, On the integrality of the elementary symmetric functions of, /3,..., /(2n ), Math. Slovaca 65 (205),
10 INTEGERS: 7 (207) 0 Table : Optimal sets, exclusion sets and upper bounds for 2 apple r apple 8. Length Optimal set of Upper bound for Exclusion set Upper bound r (s, s 2,..., s r ) H mr (s, s 2,..., s r ) with s for s 2 (, 2) < (s, ) apple 3 3 (,, 2) < (s, 2, ) apple 3 (, 3, ) < (s,, ) apple 3 (,,, 2) < (s, 3,, ) apple 4 4 (, 2, 2, ) < (s, 2,, ) apple 3 (, 4,, ) < (s,, 2, ) apple 3 (s,,, ) apple 3 (s, 3, {} 3 ) apple 4 ({} 4, 2) < (s, 2, {} 3 ) apple 3 5 (, 2, 2,, ) < (s,, 2,, ) apple 3 (, 4, {} 3 ) < (s,,, 2, ) apple 3 (s, {} 4 ) apple 3 (s, 4, {} 4 ) apple 5 ({} 4, 2, ) < (s, 3, {} 4 ) apple 4 (,, 3, {} 3 ) < (s, 2, 2, {} 3 ) apple 3 6 (, 2,, 2,, ) < (s, 2, {} 4 ) apple 3 (, 3, 2, {} 3 ) < (s,, 2, {} 3 ) apple 3 (, 5, {} 4 ) < (s,,, 2,, ) apple 3 (s, {} 5 ) apple 2 (s, 4, {} 5 ) apple 5 ({} 4, 2,, ) < (s, 3, {} 5 ) apple 4 (,, 3, {} 4 ) < (s, 2, 2, {} 4 ) apple 3 7 (, 2,, 2, {} 3 ) < (s, 2, {} 5 ) apple 3 (, 3, 2, {} 4 ) < (s,, 2, {} 4 ) apple 3 (, 5, {} 5 ) < (s,,, 2, {} 3 ) apple 4 (s, {} 6 ) apple 2 (s, 4, {} 6 ) apple 5 ({} 5, 2,, ) < (s, 3, {} 6 ) apple 4 (,, 3, {} 5 ) < (s, 2, 2, {} 5 ) apple 5 8 (, 2,, 2, {} 4 ) < (s, 2, {} 6 ) apple 3 (, 3, 2, {} 5 ) < (s,, 2, {} 5 ) apple 4 (, 5, {} 6 ) < (s,,, 2, {} 4 ) apple 4 (s, {} 3, 2, {} 3 ) apple 2 (s, {} 6 ) apple 2
11 INTEGERS: 7 (207) Table 2: Optimal sets, exclusion sets and upper bounds for 9 apple r apple. Length Optimal set of Upper bound for Exclusion set Upper bound r (s, s 2,..., s r ) H mr (s, s 2,..., s r ) with s for s (s, 5, {} 7 ) apple 7 (s, 4, {} 7 ) apple 5 (s, 3, 2, {} 6 ) apple 6 ({} 6, 2,, ) < (s, 3, {} 7 ) apple 4 (, 2, {} 3, 2, {} 3 ) < (s, 2, 2, {} 6 ) apple 3 (,, 2,, 2, {} 4 ) < (s, 2,, 2, {} 5 ) apple 4 9 (,,, 3, {} 5 ) < (s, 2,,, 2, {} 4 ) apple 3 (, 3,, 2, {} 5 ) < (s, 2, {} 7 ) apple 4 (, 2, 3, {} 6 ) < (s,, 3, {} 6 ) apple 4 (, 4, 2, {} 6 ) < (s,, 2, 2, {} 5 ) apple 3 (, 6, {} 7 ) < (s,, 2, {} 6 ) apple 3 (s,,, 2, {} 5 ) apple 3 (s, {} 3, 2, {} 4 ) apple 3 (s, {} 4, 2, {} 3 ) apple 3 (s, {} 8 ) apple 2 (s, 5, {} 8 ) apple 6 (s, 4, {} 8 ) apple 6 (s, 3, 2, {} 7 ) apple 4 ({} 6, 2, {} 3 ) < (s, 3, {} 8 ) apple 4 (, 2, {} 3, 2, {} 4 ) < (s, 2, 2, {} 7 ) apple 4 (,, 2,, 2, {} 5 ) < (s, 2,, 2, {} 6 ) apple 4 0 (,,, 3, {} 6 ) < (s, 2,,, 2, {} 5 ) apple 3 (, 3,, 2, {} 6 ) < (s, 2, {} 8 ) apple 3 (, 2, 3, {} 7 ) < (s,, 3, {} 7 ) apple 4 (, 4, 2, {} 7 ) < (s,, 2, 2, {} 6 ) apple 3 (, 6, {} 8 ) < (s,, 2, {} 7 ) apple 4 (s,,, 2, {} 6 ) apple 3 (s, {} 3, 2, {} 5 ) apple 4 (s, {} 4, 2, {} 4 ) apple 3 (s, {} 9 ) apple 3 (s, 5, {} 9 ) apple 8 (s, 4, {} 9 ) apple 5 (s, 3, 2, {} 8 ) apple 6 ({} 6, 2, {} 4 ) < (s, 3,, {} 8 ) apple 5 (, 2,,, 2, {} 6 ) < (s, 2, 2, {} 8 ) apple 4 (,, 2, 2, {} 7 ) < (s, 2,, 2, {} 7 ) apple 3 (, 3,, 2, {} 7 ) < (s, 2,,, {} 7 ) apple 3 (, 2, 3, {} 8 ) < (s,, 3, {} 8 ) apple 5 (, 4, 2, {} 8 ) < (s,, 2, {} 8 ) apple 3 (, 6, {} 9 ) < (s,,, 2, {} 7 ) apple 3 (s, {} 3, 2, {} 6 ) apple 3 (s, {} 4, 2, {} 5 ) apple 3 (s, {} 0 ) apple 3
12 INTEGERS: 7 (207) 2 Table 3: Optimal sets, exclusion sets and upper bounds for 2 apple r apple 8. Length Optimal set of Upper bound for Exclusion set Upper bound r (s, s 2,..., s r ) H mr (s, s 2,..., s r ) with s for s (s, 4, {} 0 ) apple 5 (s, 3, {} 0 ) apple 4 ({} 6, 2, {} 5 ) < (s, 2, 2, {} 9 ) apple 3 (, 2,,, 2, {} 7 ) < (s, 2,, 2, {} 8 ) apple 4 2 (,, 2, 2, {} 8 ) < (s, 2, {} 0 ) apple 3 (, 3, 2, {} 9 ) < (s,, 3, {} 9 ) apple 4 (, 5, {} 0 ) < (s,, 2, {} 9 ) apple 4 (s,,, 2, {} 8 ) apple 3 (s, {} 3, 2, {} 7 ) apple 3 (s, {} 4, 2, {} 6 ) apple 3 (s, {} ) apple 3 (s, 4, {} ) apple 5 ({} 5, 2, {} 7 ) < (s, 3, {} ) apple 4 (, 2,, 2, {} 9 ) < (s, 2, 2, {} 0 ) apple 4 3 (,, 3, {} 0 ) < (s, 2, {} ) apple 3 (, 3, 2, {} 0 ) < (s,, 2, {} 0 ) apple 3 (, 5, {} ) < (s,,, 2, {} 9 ) apple 3 (s, {} 3, 2, {} 8 ) apple 3 (s, {} 2 ) apple 2 (s, 3, {} 2 ) apple 4 ({} 4, 2, {} 9 ) < (s, 2, {} 2 ) apple 3 4 (, 2, 2, {} ) < (s,, 2, {} ) apple 3 (, 4, {} 2 ) < (s,,, 2, {} 0 ) apple 3 (s, {} 3 ) apple 3 ({} 3, 2, {} ) < (s, 3, {} 3 ) apple 4 5 (, 2, 2, {} 2 ) < (s, 2, {} 3 ) apple 3 (, 4, {} 3 ) < (s,, 2, {} 2 ) apple 3 (s, {} 4 ) apple 2 6 (,, 2, {} 3 ) < (s, 2, {} 4 ) apple 3 (, 3, {} 4 ) < (s, {} 5 ) apple 3 7 (,, 2, {} 4 ) < (s, 2, {} 5 ) apple 3 (, 3, {} 5 ) < (s, {} 6 ) apple 3 8 (, 2, {} 6 ) < (s, {} 7 ) apple 3
New Multiple Harmonic Sum Identities
New Multiple Harmonic Sum Identities Helmut Prodinger Department of Mathematics University of Stellenbosch 760 Stellenbosch, South Africa hproding@sun.ac.za Roberto Tauraso Dipartimento di Matematica Università
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 informationProofs of the infinitude of primes
Proofs of the infinitude of primes Tomohiro Yamada Abstract In this document, I would like to give several proofs that there exist infinitely many primes. 0 Introduction It is well known that the number
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More informationAn identity involving the least common multiple of binomial coefficients and its application
Amer. Math. Monthly, 116 (2009, p. 836-839. An identity involving the least common multiple of binomial coefficients and its application Bair FARHI bair.farhi@gmail.com Abstract In this paper, we prove
More informationarxiv: v2 [math.nt] 9 Oct 2013
UNIFORM LOWER BOUND FOR THE LEAST COMMON MULTIPLE OF A POLYNOMIAL SEQUENCE arxiv:1308.6458v2 [math.nt] 9 Oct 2013 SHAOFANG HONG, YUANYUAN LUO, GUOYOU QIAN, AND CHUNLIN WANG Abstract. Let n be a positive
More informationChapter 8. Infinite Series
8.4 Series of Nonnegative Terms Chapter 8. Infinite Series 8.4 Series of Nonnegative Terms Note. Given a series we have two questions:. Does the series converge? 2. If it converges, what is its sum? Corollary
More informationSOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO /4
SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL VALUES GUY KATRIEL PREPRINT NO. 2 2003/4 1 SOLUTION TO RUBEL S QUESTION ABOUT DIFFERENTIALLY ALGEBRAIC DEPENDENCE ON INITIAL
More informationAn Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x]
An Asymptotic Formula for Goldbach s Conjecture with Monic Polynomials in Z[x] Mark Kozek 1 Introduction. In a recent Monthly note, Saidak [6], improving on a result of Hayes [1], gave Chebyshev-type estimates
More informationEGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS
#A5 INTEGERS 5 (205) EGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS Steve Butler Department of Mathematics, Iowa State University, Ames, Iowa butler@iastate.edu Paul Erdős
More information#A69 INTEGERS 13 (2013) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES
#A69 INTEGERS 3 (203) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri bankswd@missouri.edu Greg Martin Department of
More informationReview (11.1) 1. A sequence is an infinite list of numbers {a n } n=1 = a 1, a 2, a 3, The sequence is said to converge if lim
Announcements: Note that we have taking the sections of Chapter, out of order, doing section. first, and then the rest. Section. is motivation for the rest of the chapter. Do the homework questions from
More informationON `-TH ORDER GAP BALANCING NUMBERS
#A56 INTEGERS 18 (018) ON `-TH ORDER GAP BALANCING NUMBERS S. S. Rout Institute of Mathematics and Applications, Bhubaneswar, Odisha, India lbs.sudhansu@gmail.com; sudhansu@iomaorissa.ac.in R. Thangadurai
More informationGENERAL QUARTIC-CUBIC-QUADRATIC FUNCTIONAL EQUATION IN NON-ARCHIMEDEAN NORMED SPACES
U.P.B. Sci. Bull., Series A, Vol. 72, Iss. 3, 200 ISSN 223-7027 GENERAL QUARTIC-CUBIC-QUADRATIC FUNCTIONAL EQUATION IN NON-ARCHIMEDEAN NORMED SPACES M. Eshaghi Gordji, H. Khodaei 2, R. Khodabakhsh 3 The
More informationIntegral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis
June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
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 informationA NOTE ON AN ADDITIVE PROPERTY OF PRIMES
A NOTE ON AN ADDITIVE PROPERTY OF PRIMES LUCA GOLDONI Abstract. An elementary construction is given of an infinite sequence of natural numbers, having at least two different decompositions as sum of primes
More informationNOTES Edited by William Adkins. On Goldbach s Conjecture for Integer Polynomials
NOTES Edited by William Adkins On Goldbach s Conjecture for Integer Polynomials Filip Saidak 1. INTRODUCTION. We give a short proof of the fact that every monic polynomial f (x) in Z[x] can be written
More information8.1 Sequences. Example: A sequence is a function f(n) whose domain is a subset of the integers. Notation: *Note: n = 0 vs. n = 1.
8. Sequences Example: A sequence is a function f(n) whose domain is a subset of the integers. Notation: *Note: n = 0 vs. n = Examples: 6. Find a formula for the general term a n of the sequence, assuming
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 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 informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
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 information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More informationAP Calculus Chapter 9: Infinite Series
AP Calculus Chapter 9: Infinite Series 9. Sequences a, a 2, a 3, a 4, a 5,... Sequence: A function whose domain is the set of positive integers n = 2 3 4 a n = a a 2 a 3 a 4 terms of the sequence Begin
More informationConvergence of sequences and series
Convergence of sequences and series A sequence f is a map from N the positive integers to a set. We often write the map outputs as f n rather than f(n). Often we just list the outputs in order and leave
More informationarxiv:math/ v1 [math.nt] 27 Feb 2004
arxiv:math/0402458v1 [math.nt] 27 Feb 2004 On simultaneous binary expansions of n and n 2 Giuseppe Melfi Université de Neuchâtel Groupe de Statistique Espace de l Europe 4, CH 2002 Neuchâtel, Switzerland
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationOn some inequalities between prime numbers
On some inequalities between prime numbers Martin Maulhardt July 204 ABSTRACT. In 948 Erdős and Turán proved that in the set of prime numbers the inequality p n+2 p n+ < p n+ p n is satisfied infinitely
More informationON A PARTITION PROBLEM OF CANFIELD AND WILF. Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia
#A11 INTEGERS 12A (2012): John Selfridge Memorial Issue ON A PARTITION PROBLEM OF CANFIELD AND WILF Željka Ljujić Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia z.ljujic20@uniandes.edu.co
More informationSUMSETS MOD p ØYSTEIN J. RØDSETH
SUMSETS MOD p ØYSTEIN J. RØDSETH Abstract. In this paper we present some basic addition theorems modulo a prime p and look at various proof techniques. We open with the Cauchy-Davenport theorem and a proof
More informationA Geometric Proof that e is Irrational and a New Measure of its Irrationality
A Geometric Proof that e is Irrational and a New Measure of its Irrationality Jonathan Sondow. INTRODUCTION. While there exist geometric proofs of irrationality for 2 [2], [27], no such proof for e, π,
More informationCullen Numbers in Binary Recurrent Sequences
Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn
More informationTaylor and Maclaurin Series. Copyright Cengage Learning. All rights reserved.
11.10 Taylor and Maclaurin Series Copyright Cengage Learning. All rights reserved. We start by supposing that f is any function that can be represented by a power series f(x)= c 0 +c 1 (x a)+c 2 (x a)
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 informationAutomata and Number Theory
PROCEEDINGS OF THE ROMAN NUMBER THEORY ASSOCIATION Volume, Number, March 26, pages 23 27 Christian Mauduit Automata and Number Theory written by Valerio Dose Many natural questions in number theory arise
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China. Received 8 July 2005; accepted 2 February 2006
Adv in Appl Math 382007, no 2, 267 274 A CONNECTION BETWEEN COVERS OF THE INTEGERS AND UNIT FRACTIONS Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 20093, People s Republic of China
More informationA Subrecursive Refinement of FTA. of the Fundamental Theorem of Algebra
A Subrecursive Refinement of the Fundamental Theorem of Algebra P. Peshev D. Skordev Faculty of Mathematics and Computer Science University of Sofia Computability in Europe, 2006 Outline Introduction 1
More informationMath 200 University of Connecticut
IRRATIONALITY OF π AND e KEITH CONRAD Math 2 University of Connecticut Date: Aug. 3, 25. Contents. Introduction 2. Irrationality of π 2 3. Irrationality of e 3 4. General Ideas 4 5. Irrationality of rational
More informationSimilar to sequence, note that a series converges if and only if its tail converges, that is, r 1 r ( 1 < r < 1), ( 1) k k. r k =
Infinite Series We say an infinite series a k converges to s if its sequence of initial sums converges to s, that is, lim( n a k : n N) = s. Similar to sequence, note that a series converges if and only
More informationOn Systems of Diagonal Forms II
On Systems of Diagonal Forms II Michael P Knapp 1 Introduction In a recent paper [8], we considered the system F of homogeneous additive forms F 1 (x) = a 11 x k 1 1 + + a 1s x k 1 s F R (x) = a R1 x k
More informationEVERY NATURAL NUMBER IS THE SUM OF FORTY-NINE PALINDROMES
#A3 INTEGERS 16 (2016) EVERY NATURAL NUMBER IS THE SUM OF FORTY-NINE PALINDROMES William D. Banks Department of Mathematics, University of Missouri, Columbia, Missouri bankswd@missouri.edu Received: 9/4/15,
More informationPRACTICE PROBLEMS: SET 1
PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if
More informationSection 11.1 Sequences
Math 152 c Lynch 1 of 8 Section 11.1 Sequences A sequence is a list of numbers written in a definite order: a 1, a 2, a 3,..., a n,... Notation. The sequence {a 1, a 2, a 3,...} can also be written {a
More informationMATH 117 LECTURE NOTES
MATH 117 LECTURE NOTES XIN ZHOU Abstract. This is the set of lecture notes for Math 117 during Fall quarter of 2017 at UC Santa Barbara. The lectures follow closely the textbook [1]. Contents 1. The set
More informationMath 229: Introduction to Analytic Number Theory Čebyšev (and von Mangoldt and Stirling)
ath 9: Introduction to Analytic Number Theory Čebyšev (and von angoldt and Stirling) Before investigating ζ(s) and L(s, χ) as functions of a complex variable, we give another elementary approach to estimating
More informationIntroduction to Series and Sequences Math 121 Calculus II Spring 2015
Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/
More informationOn the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression
On the irreducibility of certain polynomials with coefficients as products of terms in an arithmetic progression Carrie E. Finch and N. Saradha 1 Introduction In 1929, Schur [9] used prime ideals in algebraic
More informationbe a sequence of positive integers with a n+1 a n lim inf n > 2. [α a n] α a n
Rend. Lincei Mat. Appl. 8 (2007), 295 303 Number theory. A transcendence criterion for infinite products, by PIETRO CORVAJA and JAROSLAV HANČL, communicated on May 2007. ABSTRACT. We prove a transcendence
More informationSolutions to Assignment-11
Solutions to Assignment-. (a) For any sequence { } of positive numbers, show that lim inf + lim inf an lim sup an lim sup +. Show from this, that the root test is stronger than the ratio test. That is,
More informationON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE
ON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE AMIR AKBARY, DRAGOS GHIOCA, AND QIANG WANG Abstract. We count permutation polynomials of F q which are sums of m + 2 monomials of prescribed degrees. This
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationGENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A52 GENERALIZATIONS OF SOME ZERO-SUM THEOREMS Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
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 informationProduct Representations of Polynomials
Product Representations of Polynomials Jacques Verstraëte Abstract For a fixed polyomial f Z[X], let ρ k (N denote the maximum size of a set A {1, 2,..., N} such that no product of k distinct elements
More informationRESEARCH PROBLEMS IN NUMBER THEORY
Annales Univ. Sci. Budapest., Sect. Comp. 43 (2014) 267 277 RESEARCH PROBLEMS IN NUMBER THEORY Nguyen Cong Hao (Hue, Vietnam) Imre Kátai and Bui Minh Phong (Budapest, Hungary) Communicated by László Germán
More information#A5 INTEGERS 18A (2018) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT
#A5 INTEGERS 8A (208) EXPLICIT EXAMPLES OF p-adic NUMBERS WITH PRESCRIBED IRRATIONALITY EXPONENT Yann Bugeaud IRMA, UMR 750, Université de Strasbourg et CNRS, Strasbourg, France bugeaud@math.unistra.fr
More informationIrrationality exponent and rational approximations with prescribed growth
Irrationality exponent and rational approximations with prescribed growth Stéphane Fischler and Tanguy Rivoal June 0, 2009 Introduction In 978, Apéry [2] proved the irrationality of ζ(3) by constructing
More informationPACKING POLYNOMIALS ON SECTORS OF R 2. Caitlin Stanton Department of Mathematics, Stanford University, California
#A67 INTEGERS 14 (014) PACKING POLYNOMIALS ON SECTORS OF R Caitlin Stanton Department of Mathematics, Stanford University, California ckstanton@stanford.edu Received: 10/7/13, Revised: 6/5/14, Accepted:
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics SOME NORMALITY CRITERIA INDRAJIT LAHIRI AND SHYAMALI DEWAN Department of Mathematics University of Kalyani West Bengal 741235, India. EMail: indrajit@cal2.vsnl.net.in
More informationPade Approximations and the Transcendence
Pade Approximations and the Transcendence of π Ernie Croot March 9, 27 1 Introduction Lindemann proved the following theorem, which implies that π is transcendental: Theorem 1 Suppose that α 1,..., α k
More informationMATH 1231 MATHEMATICS 1B CALCULUS. Section 4: - Convergence of Series.
MATH 23 MATHEMATICS B CALCULUS. Section 4: - Convergence of Series. The objective of this section is to get acquainted with the theory and application of series. By the end of this section students will
More informationSolutions to Problem Set 4 - Fall 2008 Due Tuesday, Oct. 7 at 1:00
Solutions to 8.78 Problem Set 4 - Fall 008 Due Tuesday, Oct. 7 at :00. (a Prove that for any arithmetic functions f, f(d = f ( n d. To show the relation, we only have to show this equality of sets: {d
More informationSOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1<j<co be
SOME REMARKS ON NUMBER THEORY BY P. ERDŐS 1. Let ABSTRACT This note contains some disconnected minor remarks on number theory. (1) Iz j I=1, 1
More informationChapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem
Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if
More informationPrimes in arithmetic progressions
(September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].
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 two-point configurations in subsets of pseudo-random sets
On two-point configurations in subsets of pseudo-random sets Elad Aigner-Horev 2 Department of Mathematics University of Hamburg Bundesstrasse 55 D-20146 Hamburg, Germany Hiệp Hàn 1,3 Instituto de Matemática
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationOn intervals containing full sets of conjugates of algebraic integers
ACTA ARITHMETICA XCI4 (1999) On intervals containing full sets of conjugates of algebraic integers by Artūras Dubickas (Vilnius) 1 Introduction Let α be an algebraic number with a(x α 1 ) (x α d ) as its
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More informationAn Exploration of the Arithmetic Derivative
. An Exploration of the Arithmetic Derivative Alaina Sandhu Research Midterm Report, Summer 006 Under Supervision: Dr. McCallum, Ben Levitt, Cameron McLeman 1 Introduction The Arithmetic Derivative is
More informationA CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS
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
More informationSUMS OF ENTIRE FUNCTIONS HAVING ONLY REAL ZEROS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 SUMS OF ENTIRE FUNCTIONS HAVING ONLY REAL ZEROS STEVEN R. ADAMS AND DAVID A. CARDON (Communicated
More informationON A FAMILY OF ELLIPTIC CURVES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic
More informationAnother Proof of Nathanson s Theorems
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.8.4 Another Proof of Nathanson s Theorems Quan-Hui Yang School of Mathematical Sciences Nanjing Normal University Nanjing 210046
More informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
More informationSplitting Fields for Characteristic Polynomials of Matrices with Entries in a Finite Field.
Splitting Fields for Characteristic Polynomials of Matrices with Entries in a Finite Field. Eric Schmutz Mathematics Department, Drexel University,Philadelphia, Pennsylvania, 19104. Abstract Let M n be
More informationIncomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators
ACTA ARITHMETICA XCIII.4 (2000 Incomplete exponential sums over finite fields and their applications to new inversive pseudorandom number generators by Harald Niederreiter and Arne Winterhof (Wien 1. Introduction.
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationAnalytic Number Theory Solutions
Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationINFINITE SEQUENCES AND SERIES
11 INFINITE SEQUENCES AND SERIES INFINITE SEQUENCES AND SERIES In section 11.9, we were able to find power series representations for a certain restricted class of functions. INFINITE SEQUENCES AND SERIES
More informationINTEGERS DIVISIBLE BY THE SUM OF THEIR PRIME FACTORS
INTEGERS DIVISIBLE BY THE SUM OF THEIR PRIME FACTORS JEAN-MARIE DE KONINCK and FLORIAN LUCA Abstract. For each integer n 2, let β(n) be the sum of the distinct prime divisors of n and let B(x) stand for
More information103 Some problems and results in elementary number theory. By P. ERDÖS in Aberdeen (Scotland). Throughout this paper c, c,... denote absolute constant
103 Some problems and results in elementary number theory. By P. ERDÖS in Aberdeen (Scotland). Throughout this paper c, c,... denote absolute constants, p p,,... are primes, P, P,,... is the sequence of
More informationJonathan Sondow 209 West 97th Street Apt 6F New York, NY USA
Which Partial Sums of the Taylor Series for e Are Convergents to e? (and a Link to the Primes 2, 5, 13, 37, 463,...) arxiv:0709.0671v1 [math.nt] 5 Sep 2007 Jonathan Sondow 209 West 97th Street Apt 6F New
More informationThe Distribution of Generalized Sum-of-Digits Functions in Residue Classes
Journal of umber Theory 79, 9426 (999) Article ID jnth.999.2424, available online at httpwww.idealibrary.com on The Distribution of Generalized Sum-of-Digits Functions in Residue Classes Abigail Hoit Department
More informationOn polynomially integrable convex bodies
On polynomially integrable convex bodies A. oldobsky, A. Merkurjev, and V. Yaskin Abstract An infinitely smooth convex body in R n is called polynomially integrable of degree N if its parallel section
More informationDISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k
DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k RALF BUNDSCHUH AND PETER BUNDSCHUH Dedicated to Peter Shiue on the occasion of his 70th birthday Abstract. Let F 0 = 0,F 1 = 1, and F n = F n 1 +F
More information1 i<j k (g ih j g j h i ) 0.
CONSECUTIVE PRIMES IN TUPLES WILLIAM D. BANKS, TRISTAN FREIBERG, AND CAROLINE L. TURNAGE-BUTTERBAUGH Abstract. In a stunning new advance towards the Prime k-tuple Conjecture, Maynard and Tao have shown
More informationMarkov s Inequality for Polynomials on Normed Linear Spaces Lawrence A. Harris
New Series Vol. 16, 2002, Fasc. 1-4 Markov s Inequality for Polynomials on Normed Linear Spaces Lawrence A. Harris This article is dedicated to the 70th anniversary of Acad. Bl. Sendov It is a longstanding
More informationOn Polya's Orchard Problem
Rose-Hulman Undergraduate Mathematics Journal Volume 7 Issue 2 Article 9 On Polya's Orchard Problem Alexandru Hening International University Bremen, Germany, a.hening@iu-bremen.de Michael Kelly Oklahoma
More informationMei-Chu Chang Department of Mathematics University of California Riverside, CA 92521
ERDŐS-SZEMERÉDI PROBLEM ON SUM SET AND PRODUCT SET Mei-Chu Chang Department of Mathematics University of California Riverside, CA 951 Summary. The basic theme of this paper is the fact that if A is a finite
More informationJe Lagarias, University of Michigan. Workshop on Discovery and Experimentation in Number Theory Fields Institute, Toronto (September 25, 2009)
Ternary Expansions of Powers of 2 Je Lagarias, University of Michigan Workshop on Discovery and Experimentation in Number Theory Fields Institute, Toronto (September 25, 2009) Topics Covered Part I. Erdős
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More information